互模拟相关论文
模态逻辑和行为等价在并发系统的规约和验证中起着重要作用。前者可用于模型检查,特别是用于指定要验证的属性。后者可用于状态聚......
本文通过量子互模拟性检测对由量子进程代数描述的量子程序,主要是量子通讯协议,进行正确性验证。量子进程代数是用于量子程序形式......
本文以包含觉知算子的信念态度逻辑为基础,研究该逻辑在增加个体信念更新算子后的扩充,在给出这一扩充的公理系统后,证明其对于包......
该文探讨了并发计算模型__χ-演算的逻辑模型.给出了χ-演算的一个初步逻辑模型.分别定义了四组完整的逻辑连接词,并且对应地给出......
互模拟关系是π-演算中研究的重要等价关系,研究自动验证互模拟关系的算法并建立相应的工具对π-演算应用于实际有着重要的意.该文......
该文对π-演算和χ-演算上的弱互模拟同余关系的公理化系统进行了系统、深入的研究,主要的贡献有以下五个方面:1.对带不等名测试算......
如今,无处不在的反应式系统(Reactive System)已经广泛深入了人们的生活,典型的反应式系统有操作系统、网络协议、飞机航线控制系......
计算机软件理论发展至今,研究焦点已从顺序计算转移到了并移计算.该文提出了对称λ-π演算,然后针对它进行了系统、深入的研究,给......
学位
计算的模型一般可以分为两类,一类是顺序计算,一类是并行与并发计算.以π-演算为代表的移动进程演算是描述并发系统的一种理论模型......
该文的主要研究内容和成果包括:1.非对称χ-演算的语法和语义 定义了非对称χ-演算的语法和语义:在语法上,给出了一组算子用以构造......
徐开发分布式计算已经成为计算机科学前沿的研究热点之一.由于并发分布式计算与传统的顺序计算有着本质的不同,以及并发分布式系统......
随着Web服务数量的急剧增多,用户面临大量的服务选择。因此如何从众多功能相似的Web服务中高效地发现满足条件的服务,如何判定服务......
随着计算机技术和网络通信技术的高速发展,以并发性、分布性、实时性、异构性和互操作性等为主要特征的并发分布式系统已成为计算......
林惠民研究员十几年来一直从事计算机科学基础研究 ,主要研究领域是并发程序的形式语义学和形式化方法。在进程代数的验证工具、消......
交互式电子白板是将传统的黑板与现代的多媒体技术相结合在一起的新型教学手段,能够改变传统课堂上那种教条的灌输方式,增强课堂的......
非对称 χ ≠ 演算是一种移动计算模型 通过研究该演算的互模拟格 ,能够增强理解非对称性和不等名算子对移动进程代数理论的影响 ......
互模拟的逻辑特征是进程代数研究中的重要内容之一。指标互模拟是最近提出的用于描述进程近似等价的概念。由于指标互模拟在度量ρ......
该文研究非对称χ≠-演算的基同余.文中引入一组L -互模拟关系,并确定基互模拟就是由L -互模拟定义导出的12个互异的互模拟关系中......
讨论pi演算和chi演算之间的关系问题.通过构造从pi演算到chi演算的翻译,证明了chi演算的表达能力不亚于pi演算.该翻译保持操作性质......
提出符号迁移图作为π 演算进程直观而高效的表示模型 ,并给出了符号迁移图多种版本 (强 /弱 ,基 /符号 )的早操作语义 ,在此基础......
互模拟是连接模态逻辑、计算机科学和集合论领域中许多重要理论的桥梁和纽带.可在扩展模态逻辑中证明一些结果,然后通过互模拟运用......
异步非对称Chi演算是目前更接近于现在的分布式程序语言的形式化系统.本文研究了异步非对称Chi演算的各种互模拟关系,文中定义了异......
期刊
为刻画和验证无穷值域上的传值进程, Hennessy和Lin先后提出符号迁移图(STG)和带赋值符号迁移图(STGA)作为传值进程的语义表示模型......
为了对不相容或不完备信息的系统进行形式化描述和满足对系统进行量化验证的需要,根据经典的双标号转换系统,提出基于完备剩余格......
提出一新型并发计算模型-x-演算,它与π-演算的不同之处在于;具有统一的输入和输出,只有一类受限名,通讯的范围由局部化操作作界定,允许更大......
在新型并发计算模型-X-演算的基础上进一步研究高价X-演算,并从代数性质,递归能力等方面研究该计算模型,该演算的特点是它的对称性。......
首先介绍模态逻辑的两种语义:克里普克模型和非良基集合模型,表明这两种语义的相互可推演性,证明非良基模型,描述互模拟等价的克里......
在概率Applied Pi下对安全协议的匿名度进行研究:它在概率Applied Pi进程上定义了metric,以对进程间的相似进行度量;该定义被证明......
用 Baire 度量标准,这份报纸由开发近似 reachability 和近似 bisimulation 等价的观点建议转变系统近似的一个概括框架。建议框架......
针对嵌入可计算函数的C模型语法中没有Summation操作符,定义了PrimeProcess概念,并给出进程范式化过程以及有限公理系统,研究在扩展C......
在chi进程间互模拟格的基础上,利用L-互模拟的开刻划,给出所有4个L-互模拟等价诱导的同余关系的完全公理化系统。4个L-互模拟等价中最小的同余关......
含有命题变元的非良基集合能够被看作解释模态语言的模型。任给非良基集合a,一个命题变元p在a上真当且仅当p属于a。命题联结词的解......
本文首先讨论了模态逻辑与μ算子的表达能力、博弈语义,给出一阶逻辑与Monadic二阶逻辑的博弈形式,然后讨论互模拟等价在这些逻辑......
针对软件即服务(SaaS)流程的个性化配置需求,引入特征元代数结构来描述软件的非功能特性,通过把Pi演算进行语法扩展(EPi),对软件的......
文献[1]中给出了模态描述逻辑的语法与语义,同时给出了两个模型之间的互模拟关系。目前对各种模态描述逻辑系统的研究主要是它们的......
首先描述一般集合范畴Set的伴随对及其性质,其次讨论了在偏序集范畴中的一个性质.最后说明认知逻辑中的互模拟关系事实上就是一种......
两阶段提交协议是最简单且最常用的原子提交协议,该协议使分布式事务的提交具有原子性和持久性。在本文中,我们使用π演算对两阶段提......
由量子力学原理,酉变换和测量算子可以完成量子计算中的所有操作,但仅用酉变换和测量算子的序列并不能清楚地描述量子世界的并发与......
为解决服务组合中的Web服务可替换性问题,在工作流网、开放网等Petri网模型的基础上,提出一种适合面向服务系统的Petri网模型——......
文中[1]给出模态描述逻辑MALC的语法与语义,同时给出MALC两个模型之间的互模拟关系,讨论MALC的模型之间互模拟及互模拟所组成集合具......
课堂教学是学生获得知识的主阵地,处在民族地区的新建本科地方院校学生学习的主动性、积极性、学习方法、提出问题、解决问题都存在......
互模拟已成为模态逻辑模型论的一个核心概念。笔者在克里普克模型上定义了互模拟和互模拟不变性概念,接着证明模态逻辑具有互模拟不......
模拟和互模拟是分析模态逻辑的表达能力的一个强有力的工具.巴德尔(Baader)率先提出,可以运用描述图之间的模拟关系来分析描述逻辑的......
为了探索Kdpke模型、非良基集合和知识结构之间的联系,引入了有界互模拟的概念。首先,在Kripke模型上定义了互模拟与有界互模拟,并给......