论文部分内容阅读
<正>1.引言 近年来,为了在开发一个复杂系统的过程中尽量提高系统的正确性,减少开发过中重复、较琐的工作,国内外许多学者都从逻辑的角度进行研究,用逻辑系统对并发系统程序行描述、验证,以期通过逻辑系统的简洁和严密来保证友型并发系统的正确
并发系统的操作时序逻辑描述和验证
【摘 要】
：
<正>1.引言 近年来,为了在开发一个复杂系统的过程中尽量提高系统的正确性,减少开发过中重复、较琐的工作,国内外许多学者都从逻辑的角度进行研究,用逻辑系统对并发系统程
【机 构】
：
中国人民解放军通信工程学院计算机教研室
【出 处】
：
计算机科学
【发表日期】
：
1997年6期
【基金项目】
：
国家自然科学基金,项目号:69572041
其他文献
本文以Ｇｏｏｄｍａｎ条件事件代数理论为基础，在有限布尔命题集上建立了一个自由布尔多项式代数，Ｂ并在Ｂ上利用布尔关系给出条件事件的一种新的表示法。
<正> 在并行程序设计中,SPMD是最为常用的一种编程模式,该模式下的任务调度有其自身的一些特点,本文首先讨论了如何用闭式表达式来决定该执行模式下的最佳处理器数。然后,针
<正>烟草行业是属国家专卖的一个特殊领域,国家烟草专卖总局决定在此行业推广使用MIS系,开发领域的应用软件。由于各省烟草公司之间及下设烟草分公司和烟草厂商之间在管理上
<正>1.引言80年代多媒体应用,网络技术成就,以及各大公司推出的大量计算机辅助软件工程工具(CASE),把OO技术炒得火爆,似有90年代OO技术将会像
<正>近年来,人们普遍认识到,软件产品和其它产品一样,其生产率和质量的高低与生产产品过程有关,改进软件过程的质量,可最终获得高质量的软件产品。因此,从八十年代开始,学界
协同工作的需要和计算机技术的发展群件的产生和发展提供了条件，协同工作的需要同样体现在软件开发过程中，因此应对支持协同工作的ＣＡＳＥ工具加以研究，而上前国外在这方面所作的工作却
<正>引言 1.1 eoRBA对象服务 coRBA是OMG组织制定的分布对象计算设计规范,其目的是在分布异构环境中实现信息和资源共享。对象服务是建立在CORBA核心ORB之上的服务接口,它独
<正>1.引言近年来,Agent一词变得越来越引人注目,有关Agentr 的各项研究在国外已得到迅猛发展,Agent 一词的译法在国内还没有定论,通常译为智能体、智