【摘 要】
：
该文对π-演算和χ-演算上的弱互模拟同余关系的公理化系统进行了系统、深入的研究,主要的贡献有以下五个方面:1.对带不等名测试算子的π-演算和χ-演算,在Parrow和Sangorigi
论文部分内容阅读
该文对π-演算和χ-演算上的弱互模拟同余关系的公理化系统进行了系统、深入的研究,主要的贡献有以下五个方面:1.对带不等名测试算子的π-演算和χ-演算,在Parrow和Sangorigi提出的强迟/早互模拟等价的完全公理化系统的基础上,验证了Milner的三条τ规则足以将其提升到弱迟/早互模拟等价的完全公理化系统.2.对带不等名测试算子的π-演算,提出了弱迟/早开互模拟等价的概念,提出了几种新的τ-规则,给出了相应的完全公理化系统.3.对带不等名测试算子的χ-演算,改正了fusion演算上的超互模拟等价(hyperequiva-lence)的错误定义,提出了弱迟/早/基开互模拟等价,并给出了相应的完全公理化系统.4.对带不等名测试算子的χ-演算,研究了barbed互模拟等价,给出了一个开语义的刻画,从开语义刻画出发,研究了barbed互模拟等价的公理化系统,提出了几条新的τ-规则,证明了公理化系统的可靠性和完备性.5.除了公理化问题的研究外,该文还研究了带为等名测试算子的χ-演算上的L-互模拟和χ-演算上的符号互模拟.
其他文献
该文共分为四章.在第一章中主要介绍辆外数字电视技术的发展概况,进而引出条件接收系统的基本要领并论述了研发条件接收系统的意义和热点问题.第二章围绕条件接收系统的原理
该文主要研究肝CT图像的计算机辅助诊断系统.该系统的核心是通过一系列分割、增强和图像识别等处理技术检测二维的肝CT图像中的可疑的病变区,提供给医生作为诊断的参考.该系
由于信用卡的使用量不断的增加,网络的规模为断的扩张,对系统的可靠性的要求也越来越高,从而要注提高交易的成功率,减少易常的产生,维护用户的利益和银行的声誉.解决方法之一
该文研究基于重写归纳的高效定理证明技术,分析了现有的测试集方法和显式及隐式归纳法,总结了各种方法在证明定理效率上的提高程度,并在测试集方法的基础上,引入一个新的概念
虽然数据库的应用已有30余年的历史，数据库中也积累了大量的数据，但数据挖掘却是20世纪80年代后期兴起的一门学科。这门学科的发展主要是应用驱动的结果。随着各行各业，特别是商
该课题研究应用计算智能技术实现自主式移动机器人集群协同作业的方法.多机器人协作是机器人学中的一个研究热点,以往的方法在优化效率和自适应性方面不尽如人意.该课题的研
现有的网络管理软件需要真实的网络环境作为支撑,实现网络监视和管理的功能。如果在真实的网络环境中进行网络管理软件的开发和测试,不仅需要耗费大量人力物力进行网络环境的
计算机技术的飞速发展和广泛应用使当今社会积累了大量的数据，然而各种有用信息却被深埋在数据背后，难以为人们所用。因此研究如何从大量的数据中智能地、自动地采掘出有价值的
该文以三维虚拟战场的应用为背景,主要研究了其中的关键图形技术——网格简化与碰撞检测.网格简化是实时地形显示中的关键技术,根据地形模型数据特点和实时性的要求,采用了"
该文首先介绍了文语转换系统(TTS,Text Tso Speech)的发展及汉语言语转换系统(CTTS,Chinese Text To Speech)的语言学和语音学基础,然后提出了将基音同步叠加(PSOLA,Pitch Sy