排序方式： 共有59条查询结果，搜索用时 46 毫秒
1.
代数理论已经在抽象数据类型、程序语义等计算机科学领域有了广泛的应用,而代数的对偶概念--共代数,则直到20世纪90年代中后期才被越来越多的计算机学者关注.代数从"构造"的角度研究数据类型,而共代数则从"观察"的角度考察系统及其性质.共代数方法对研究基于状态的系统有独特的优越性,可以对系统的行为等价、不确定性等从数学上进行深入的探讨.目前,共代数理论已经逐步应用在自动机理论、并发程序的语义、面向对象程序的规范等领域.对共代数的基本概念、范畴理论基础、共代数逻辑及应用等方面的最新研究成果进行了介绍,以引起国内相关研究领域的学者对计算机科学中的共代数方法的关注. 相似文献
2.
传值系统的互模拟与谓词等式系 总被引：3，自引：0，他引：3
本文引入描述传值并系统的新模型“带赋值符号迁移图（ＳＴＧＡ）”推广了Ｈｅｎｎｅｓｓｙ和Ｌｉｎ提出的“符号迁移图”的概念，允许迁移上带有赋值，从而能将更大的一类传值系统表示为有穷状态图，ＳＴＧＡ的中车优点是在并行运算不封闭，文中给给ＳＴＧＡ的操作语义，在此基础上定义了ＳＴＧＡ的互模拟等价关系，为了刻划ＳＴＧＡ的互模拟，以谓词等式系的形式在一阶逻辑的正子集中扩充了最大和最小不动点，并设计了一个算法将Ｓ 相似文献
3.
提出了一个结构化操作语义模型,用于描述Verilog核心子集的语言特征,此子集包含了事件驱动、基于共享变量的并发特性、时间延迟等Verilog的主要语言成分.在此操作语义模型中,所有的Verilog程序将被统一地认为是开放式系统,所以在此操作语义模型的基础上能够进一步提出Verilog开放进程的观察模型,并提出基于互模拟的观察等价概念来判定进程之间的等价关系.最后证明了所定义的观察等价关系对所有的Verilog构造子而言是一个同余关系,从而为发展相应的进程代数理论提供了一个可靠性基础. 相似文献
4.
基于CCS的软件规范描述及实例研究 总被引：2，自引：0，他引：2
软件规范描述方法主要是软件工程化的UML方法与形式化方法二类方法。论文主要给出了基于CCS的软件规范描述，首先根据系统需求画出进程派生树和迁移图，再根据操作语义和系统约束条件得到进程表达式．并用Java语言实现了系统原型代码。笔者的工作证明了CCS具有细节化地描述系统内部状态，便于系统软件实现的能力：在手工转换进程迁移图到进程表达式的基础上，提出了自动转换的进一步研究思路。 相似文献
5.
时间符号迁移图及其互模拟判定 总被引：2，自引：1，他引：1
引入时间符号迁移图的概念，作为既涉及通讯又具有实时性的并发系统的模型，该文给出了这种迁移图时间互模拟的算法，并证明了该算法的正确性。 相似文献
6.
7.
并发计算模型是理论计算机科学研究的重要领域之一。以π演算为代表的移动进程演算是目前并发理论的研究热点。互模拟等价定义是移动进程演算研究中的核心概念和问题，而传名机制使得移动进程演算中的互模拟同余关系更加复杂和有趣。本文在分析了常见的互模拟同余定义的基础上，通过抽取定义的核心要素，提出了一个三维的互模拟同余定义模型，从而将一般文献中常见的互模拟定义纳入到一个统一的框架中来，加深了我们对移动进程演算中互模拟概念的理解；同时本文利用这个模型，系统分析了各种互模拟之阿的关系。模型的优点在于它的普适性和开放性。 相似文献
8.
移动进程演算中的开互模拟 总被引：1，自引：0，他引：1
该文就移动进程演算中的弱开同余关系进行了研究。文中考虑了一种简单的非确定性移动进程演算模型，证明了Milner的三条tau规则在有等名测试算子时不足以将强开同余关系的完全公理化系统提升到同余关系的完全公理化系统，文中提出了第四条tau规则，处理了在前缀操作下的等名测试算子，并证明了强开同余关系的完全公理化系统加上四条tau规则可得到弱开同余关系的完全公理化系统。该文的结论否定了关于Milner的三条tau规则足以将π－演算中的强同余关系的完全公理化系统提升到弱同余关系的完全公理化系统的猜想。 相似文献
9.
10.