证明系统相关论文
该文用符号化方法对带有不等名测试算子π-演算模型中开观察同余关系进行了深入研究.主要的工作包括以下三方面:1.参照Fu和Yang关......
随着硬件描述性语言(Hardware Description Language,HDL)的高速发展,Verilog作为一种标准化的硬件描述性语言,被广泛地应用在数字......
<正> 我矿湿法系统电解工序投产十余年来,一直沿用大循环间断进液方式进行电解,其间隔时间长达六、七小时以上,致使电解液中的锌酸......
在临床和基础科研工作中,随着计算机应用水平不断提高,数据处理手段日趋先进,可选用的统计方法不断增加,利用已知数据所能得到的结......
语形、语义、语值、语境是汉语语法的基本要素，是研究、解释汉语语法事实和语法理论的基本前提。因而，从“语形、语义、语值、语境”......
三值逻辑模型检验是对更高层的模型抽象验证的一种方法,对其验证中常常需要给出正例和反例.为此,讨论了三值逻辑模型检验以及正例......
移动系统无处不在。传名演算，通常称为π演算，是由Milner、Parrow和Walker为了刻画移动系统提出的并发移动模型。π演算不仅是移动系......
基于构件的设计方法在信息物理融合系统(Cyber-Physical System, CPS)设计研究中的广泛使用,促进了分层调度分析模型的研究.分层调......
