搜索筛选:
搜索耗时0.9599秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[期刊论文] 作者：谷伟卿,张智慧,白涛,齐敏,
来源：自动化博览 年份：2017
同步数据流语言是一种广泛应用于核电及其他安全关键领域的语言,在同步数据流语言到顺序执行语言的翻译转换过程中,语义等价要保证赋值语句的左右值地址互不相交,这至关重要...
[期刊论文] 作者：谷伟卿,施智平,关永,张杰,赵春娜,叶世伟,
来源：计算机科学 年份：2013
积分是许多数学理论的基础，如实数分析、信号与系统中微分方程的求解等等。Gauge积分是黎曼积分在闭区间上的推广，应用更加方便。将Gauge积分的运算性质在HOL4（Higher-Order Log...
相关搜索：
