论文部分内容阅读
ＰＶ查斯坦福机构开发的强大的规约。验证系统，它的适用领域广泛，在概要介绍ＰＶＳ的构成。功能后，着重分析了ＰＶＳ的规约语言，验证系统的特点，以及使得ＰＶＳ灵活，强大的设计决策和内在机制。
定理证明辅助工具PVS剖析
【摘 要】
：
ＰＶ查斯坦福机构开发的强大的规约。验证系统，它的适用领域广泛，在概要介绍ＰＶＳ的构成。功能后，着重分析了ＰＶＳ的规约语言，验证系统的特点，以及使得ＰＶＳ灵活，强大的设计决策和内在机制。
【机 构】
：
南京大学计算机科学与技术系
【出 处】
：
计算机工程
【发表日期】
：
2000年9期
其他文献
视频分段技术是未来信息高速公路上基于内容视频检索服务的基本和关键技术。介绍了目前几类视频分段方法的基本思想，并主要讨论了基于全图象的视频突变和渐变分段方法。
随着我国西部大开发战略全面开展,交通发展特别迅速,山区铁路建设工程越来越多。这就产生了很多的桥隧过渡段和仰坡。其力学行为十分复杂且易产生落石灾害,但目前国内外对桥
目的：评价颈内静脉置管在血液透析中的应用价值。方法：回顾分析我院肾内科2008年12月至2011年11月27例接受右颈内静脉置管血液透析的慢性。肾功能衰竭患者的治疗效果，对透析血流
用软件实现在低码率信道上的实时视频编解码是图像压缩领域的研究热点，该文就此提出了一种基于离散余弦变换（ＤＣＴ）系数的频域块匹配法，通过引入阈值矩阵，降低了运动估值算法的运算量，提
目的：观察应用颞肌颞筋膜悬吊修复永久性面瘫遗留如口角歪斜、闭目不能等的疗效。方法：6例永久性面瘫患者遗留口角歪斜、闭目不能等应用颞肌颞筋膜悬吊术进行治疗。结果：采用颞
产品数据管理系统在支持产品快速开发方面,存在诸多缺点.该文就此作了深入分析.提出了广义设计信息的概念,用面向对象的方法作了类图设计.深入研究了产品数据管理系统的对象