论文部分内容阅读
为了准确描述离散事件控制系统对象之间的逻辑关系和编写控制程序，提出了一种基于规则的语言——逻辑规则描述语言（LRDL）。用EBNF给出了LRDL的语法定义，基于Hoare逻辑的公理系统，形式化地给出并证明了LRDL的公理语义，为用LRDL编写的程序的正确性证明提供了理论依据。
一种基于规则的语言的公理语义
【摘 要】
：
为了准确描述离散事件控制系统对象之间的逻辑关系和编写控制程序，提出了一种基于规则的语言——逻辑规则描述语言（LRDL）。用EBNF给出了LRDL的语法定义，基于Hoare逻辑的公理系统，
【机 构】
：
合肥工业大学计算机与信息学院,教育部安全关键工业测控技术工程研究中心
【出 处】
：
计算机工程与应用
【发表日期】
：
2008年20期
其他文献
介绍了一种新的数控车床螺纹插补加减速控制方法，其核心思想就是将加减速的过程离散成N级，在每一级中步进电机要以给定的频率恒速运行给定的步数，而后再升速。该算法有效地解决
目的观察胺碘酮与洋地黄类药物联合应用转复持续心房纤颤的临床疗效。方法将持续性心房纤颤患者98例,随机分为两组,A组52例胺碘酮与洋地黄类药物联合应用,B组46例应用胺碘酮
为了解决了现有参数生产前沿面分析中先验生产函数难以选择的问题，提出参数生产前沿面分析的单边支持向量回归模型．该模型通过引入核方法，采用非线性映射将各生产决策单元的资源
在构建农业现代化水平评价指标体系的基础上,运用熵权TOPSIS法对2006~2016年山东省农业现代化水平进行了评价,并采用综合指数法进行了验证。同时,借助障碍度诊断模型分析了影
多通道技术是目前三维图形实时生成系统的一个重要发展方向,在多通道系统中模拟三维雨雪对实时性和通道间同步性有着较高的要求。在分析传统粒子系统生成方法的基础上,提出一种基于纹理滚动技术的雨雪模拟算法。基本思想是建立以视点为中心的多层圆柱面,以此为载体滚动雨雪纹理,并根据多层圆柱面间的深度差实现具有立体感的视差效果。实验证明,该方法能够生成逼真的视觉效果,并能较好地满足多通道系统的实时和通道间同步要求。
空间目标雷达散射截面（RCS）序列为非平稳序列，经典的数学方法很难对其进行分析。针对空间目标RCS序列的产生机理，首次引入了混沌理论的Kolmogorov熵理论对空间目标RCS序列进行分
患者,男,49岁。主因行为异常、语无伦次1周入院。入院精神检查：意识清,定向力可,接触合作,表情激动,思维缓漫,有言语性幻听,继发被害妄想,情感淡漠,智能可,自知力无。入院诊断