论文部分内容阅读
检查并发系统的性质变得日益困难。随着验证方法的发展,一些复杂系统并发性越来越高,越来越难以理解。偏序约简方法被提出以减少自动验证并发系统所需要的时间和内存。文中介绍了偏序约简技术的主要概念和基本算法,介绍了其在LTL中的应用,提出了改进方法。
模型检测中的偏序约简
【摘 要】
：
检查并发系统的性质变得日益困难。随着验证方法的发展,一些复杂系统并发性越来越高,越来越难以理解。偏序约简方法被提出以减少自动验证并发系统所需要的时间和内存。文中介
【机 构】
：
扬州大学信息工程学院
【出 处】
：
电脑知识与技术
【发表日期】
：
2009年26期
其他文献
<正>我国居民饮食结构表现为动物性食物和油脂的摄入量不断提高,植物性食物则持续下降。尤其是老年人健康状况堪忧,如肥胖、高血压、高脂血症、糖尿病等的发生率正在逐年增加
铝挤压机挤压生产过程的虚拟技术,具有重要工程意义。以多学科仿真软件ITI-SimulationX为核心平台,集成三维建模软件SolidWorks建立的挤压机机械结构、成形工艺软件Simufact
目的观察创面清创后行负压封闭引流技术(VSD)治疗糖尿病足溃疡的临床效果。方法对12例糖尿病足溃疡患者先采用抗感染、降血压血脂等基础治疗,再对创面进行有效地清创后行VSD
强直性脊柱炎(AS)是一种病因未明的慢性炎性进行性疾病,尚无根治方法。笔者通过临床不断验证,形成了以新九针疗法为主治疗强直性脊柱炎的诊疗特色,防止脊柱或关节变形,达到改
荨麻疹是临床常见的皮肤病。温成平教授从中医角度认为,荨麻疹发病多由感受风邪,侵袭肌表,致水湿、瘀血内停,产生伏邪,郁于皮肤,瘙痒益甚。治疗上以固表祛风、运脾除湿、活血
阐述了用于图像边缘检测的数学形态学方法,在图像边缘检测的预处理、边缘提取、以及边缘连接等方面均可采用数学形态学来实现,并用实验证明数学形态学用于边缘检测有其独有的
该文提出一种基于数学形态学的车牌图像分割算法。首先,对原始车牌图像进行预处理;然后,利用一种抗噪型数学形态学边缘检测算子进行车牌边缘检测;最后,去除图像水平噪声,结合
该文针对Web信息资源描述现状,将Web资源/信息质量评测模型WebQM理解为Web资源质量元数据模型。按照都柏林核心元数据集DC规范,使用DC元数据对网络资源进行描述,将质量元模型
温肾法治疗骨质疏松主要是通过对机体多部位的影响,对骨代谢多层次的调节而实现的,能促进骨形成、增加骨密度、改善骨质量和骨微结构等作用。温肾法具有明显的抗骨质疏松的作