【摘 要】
：
互模拟关系是π-演算中研究的重要等价关系,研究自动验证互模拟关系的算法并建立相应的工具对π-演算应用于实际有着重要的意.该文对π-演算中互模拟关系的自动验证算法和工
论文部分内容阅读
互模拟关系是π-演算中研究的重要等价关系,研究自动验证互模拟关系的算法并建立相应的工具对π-演算应用于实际有着重要的意.该文对π-演算中互模拟关系的自动验证算法和工具及相关应用进行了研究和探讨.该文中的主要工作有:1.互模拟验证算法的优化:在"模式互模拟"的基础上,提出了"紧模式互模拟"关系;并证明了模式互模拟和紧模式互模拟关系的等价性.根据紧模式互模拟得到了π-演算互模拟验证的优化算法,从而节省了验证所需的时间和空间.2.互模拟验证工具的实现:在传值CCS验证工具的基础上实现了π-演算的互模拟验证工具,对实现中的核心技术进行了一些探索.和国外同类工具相比,在许多实例上能达到更高的效率.3.对移动通信系统建模的尝试:对移动计算领域中的移动IP协议进行了建模并在系统中给予验证,建模中尝试了新的模型.
其他文献
规则引擎因其可理解性,易增删,易修改等特点被广泛用于各种智能领域,但其规则匹配效率极其低下,不适合大规模推理。RETE算法通过规则条件共享和保存临时匹配结果获得对产生式
电子邮件是一种通过计算机联网与其他用户进行联络的快速、简便、廉价的现代化通信手段.该文根据现实的需求,设计并实现了基于垃圾邮件过滤的安全电子邮件系统,针对上述问题
为了衡量任务调度算法的优劣,该文首先讨化了并行算法的评价指标.由于已有的典型性能评价指标,即加速比和效率,都有一定的局限性.因此,该文提出了一种评价并行算法的新方法,
随着互联网技术的发展,信息呈爆炸式增长,信息过载的问题日益明显。上世纪90年代,推荐系统的出现有效地帮助人们从浩如烟海的信息中提取有用的部分。如今在各个领域,随处可见
在本论文中，作者以西安理工大学图书馆数据仓库系统开发为实例，对数据仓库技术，特别是对信息打包技术、星型建模技术、多维数据建模、数据传输服务（DTS）、在线分析处理（OLAP）等数据
该文以面向数字地球的网络虚拟现实系统为研究对象,在系统模型、大规模地形多分辨率表示、网络地形数据简化、地形数据实时传输等方面作了比较深入的研究.
该文重点介绍了LPCCEP系数和VQ模型.从理论上分析了倒谱具有较好的分离声道特性的性质,是反映个人特征的一个好参数.文中还提出了平均互-自差异比的概念,给出了一种对特征矢
安全性是当前发展电子支付的关键问题,而加密则是安全技术的重要组成部分.该文在对常用密码技术的研究的基础上,对非确定型公角密码体制--概率加密体制(PEC)进行了深入的讨论
该文讲述了基于分组网的H.323多媒体会议系统的体系结构,介绍了视频压缩协议(H.263)、实时传输协议(RTP)、IP组播协议以及它们对实时多媒体通信的支持,设计了一个基于H.323的
该文首先回顾决策支持系统的发展,指出OLAP在决策系统中的重要作用.然后分析了传统的OLAP系统各个组成部分及相应技术.通过分析传统的OLAP系统在网络时代面临的困境,提出了新