论文部分内容阅读
本文讨论了由古典公理系统和时态逻辑运算所组成的通信协议正确性证明系统的构造和应用。借助于这种基于一阶谓词演算的系统进行协议验证,具有方便、简洁和严谨等特点。该系统已成功地用于对一些通信协议进行验证,且取得了令人满意的效果。
古典公理系统在通信协议证明中的应用
【摘 要】
：
本文讨论了由古典公理系统和时态逻辑运算所组成的通信协议正确性证明系统的构造和应用。借助于这种基于一阶谓词演算的系统进行协议验证,具有方便、简洁和严谨等特点。该系统已成功地用于对一些通信协议进行验证,且取得了令人满意的效果。
【机 构】
：
南京通信工程学院
【出 处】
：
计算机应用与软件
【发表日期】
：
1991年03期
其他文献
目的：探析临床助产在促宫颈扩张缩短产程中的有效性.方法：随机选择2016年9月-2016年12月我院产科自然分娩的产妇175例,分成A组（75例）、B组（50例）、C组（50例）,A组仅采用催产素给予促宫
本文讨论了逻辑程序变换的问题,设计了一个基本逻辑程序变换系统,给出了系统的变换规则,提出了一种支持集宽度优先的变换策略,证明了交换系统的正确性,并在此基础上提出了一种逻辑程序结构化变换的方法。
目的：探讨肺栓塞介入治疗放置静脉滤器的配合及护理体会。方法：回顾性分析4例因下肢静脉血栓脱落阻塞肺动脉造成肺栓塞的危重患者的护理配合过程，并观察治疗前后血气分析、生命
本文论述实现Prolog系统的基本思想,并且对若干实现技术进行了讨论,提出了我们的观点。文中首先介绍Prolog及其基本实现方法,然后讨论Prolog编译实现的几个问题。文中对Warren抽象机进行了介绍和分析,论述了我们对硬件支持的考虑。
北京协和医院感染内科主任李太生团队绘制出中国艾滋病病毒一乙肝病毒共感染地区分布图，揭示出乙肝能加速艾滋病发展进程，合并感染不影响抗艾药物疗效和肝毒性，并探索出效优价廉
第四军医大学西京医院成功实施世界首例组织工程再生骨修复大段骨缺损。此举标志着应用组织工程技术修复大段骨缺损成为可能。