【摘 要】
：
模型检测技术的最大障碍是状态爆炸问题-系统的状态数会随着系统的变元(包括相互作用的子系统以及值域杂的数据结构)数呈指数增长.由于这一问题关系到模型检测技术在实际应用
论文部分内容阅读
模型检测技术的最大障碍是状态爆炸问题-系统的状态数会随着系统的变元(包括相互作用的子系统以及值域杂的数据结构)数呈指数增长.由于这一问题关系到模型检测技术在实际应用中能够处理的问题规模,因上寻找高效能行的算法已成为该领域的研究热点之一.该文提出了一种基于一般传值系统的π演算局部模型检测算法,主要工作如下:在模态μ演算的基础上给出了一种π演算的模态逻辑及其语义,和适用于π演算的模态逻辑图,并给出了基于符号迁移图和π演算模态罗辑图的模型检测算法;使用SML语言实现了该算法,构造了一个高效的模型检测工具.该系统能够根据π演算公式所描述的进程和嵌套等式系形式的模态μ演算公式描述的性质进行自动验证.
其他文献
该文主要涉及以下几个方面的内容:1.对人机界面的发展进行了回顾.概述了多通道用户界面的概念、特点、研究的主要问题及目前的研究现状.2.提出了多通道交互语言的概念.3.介绍
该文给出了现场总线的定义,介绍子现场总线的特点,简述了其发展现状;并对不同现场总线作了比较,就现场总线标准谈了自己的看法;论述了如何以CAN为基础上设计现场 总线控制系
人们正在开发的虚拟现实写作系统VREditor采用普通相机拍摄的图片,通过无缝缝合技术制作成360度全景图和物体电影,结合传统媒体制作成逼真度很高的虚拟现实系统,而且具有很强
现在，计算机软件界普遍认为软件复用思想是解决软件危机的主要出路。软件复用是在软件开发中避免重复劳动的的解决方案，出发点是应用系统的开发不再采用一切“从零开始”的模式
该课题研究的主要内容是通过分析面向对象数据模型及其关系实现机理,研究对象模型技术和空间数据存储技术,探讨对象模型在关系模式上的投影方法及其对关系实现系统效率的影响
该文介绍了一种在Windows平台下,基于对象的实时控制实现方法,主要解决了在Windows平台下,确保数据采集和控制的实时性以及系统运行的可靠性问题.运用OOP方法,对系统进行合理
情绪与情感极大地影响着我们的日常生活,在人工智能迅猛发展的今天,如何让计算机处理情感信息,创造更为和谐的人机对话环境,成为了一个新的研究热点。语音是人与人之间交流信
小波分析方法在图像压缩领域中的应用目前已成为压缩算法研究的热点,与传统的交换编码方法相比较,小波交换具有变换后系数能量集中、时频局部化等特点,能够有效地去除图像数
论文分为六章.第一章简要介绍了课件开发的一般情况,并在充分分析的基础上发掘了目前该领域中存在的问题,提出了作者所做工作的思路;第二章给出了将要实现的教参系统的总体结