并发系统的操作时序逻辑描述和验证

来源 :计算机科学 | 被引量 : 0次 | 上传用户:sjtygk
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
<正>1.引言 近年来,为了在开发一个复杂系统的过程中尽量提高系统的正确性,减少开发过中重复、较琐的工作,国内外许多学者都从逻辑的角度进行研究,用逻辑系统对并发系统程序行描述、验证,以期通过逻辑系统的简洁和严密来保证友型并发系统的正确
其他文献
本文以Goodman条件事件代数理论为基础,在有限布尔命题集上建立了一个自由布尔多项式代数,B并在B上利用布尔关系给出条件事件的一种新的表示法。
本文综述了利用符号替换逻辑进行光学数字计算的原理和技术途径,分析探讨了基于符合替换逻辑光学数字计算技术的发展前景。
<正> 在并行程序设计中,SPMD是最为常用的一种编程模式,该模式下的任务调度有其自身的一些特点,本文首先讨论了如何用闭式表达式来决定该执行模式下的最佳处理器数。然后,针
<正>烟草行业是属国家专卖的一个特殊领域,国家烟草专卖总局决定在此行业推广使用MIS系,开发领域的应用软件。由于各省烟草公司之间及下设烟草分公司和烟草厂商之间在管理上
<正>1.引言80年代多媒体应用,网络技术成就,以及各大公司推出的大量计算机辅助软件工程工具(CASE),把OO技术炒得火爆,似有90年代OO技术将会像
<正>大规模互连网络的出现及其与并行工程、远程教育等新型分布式应用的结合,已开始迅速地影响
<正>近年来,人们普遍认识到,软件产品和其它产品一样,其生产率和质量的高低与生产产品过程有关,改进软件过程的质量,可最终获得高质量的软件产品。因此,从八十年代开始,学界
协同工作的需要和计算机技术的发展群件的产生和发展提供了条件,协同工作的需要同样体现在软件开发过程中,因此应对支持协同工作的CASE工具加以研究,而上前国外在这方面所作的工作却
<正>引言 1.1 eoRBA对象服务 coRBA是OMG组织制定的分布对象计算设计规范,其目的是在分布异构环境中实现信息和资源共享。对象服务是建立在CORBA核心ORB之上的服务接口,它独
<正>1.引言近年来,Agent一词变得越来越引人注目,有关Agentr 的各项研究在国外已得到迅猛发展,Agent 一词的译法在国内还没有定论,通常译为智能体、智