基于完备剩余格的双标号转换系统

摘要：

　　为了对不相容或不完备信息的系统进行形式化描述和满足对系统进行量化验证的需要，根据经典的双标号转换系统，提出基于完备剩余格的双标号转换系统作为此类系统的一般模型。在该模型框架下，将传统的互模拟关系推广到格值情形，来度量系统之间的接近程度。通过引入格值Hennessy-Milner逻辑的概念，给出格值互模拟关系的逻辑刻画。

关键词： 双标号转换系统 互模拟 Hennessy-Milner逻辑 完备剩余格

作者: 潘海玉 张敏 陈仪香

作者单位: 安徽工程大学计算机与信息学院,安徽芜湖241000;华东师范大学上海市高可信计算重点实验室,上海200062 华东师范大学上海市高可信计算重点实验室,上海200062

会议类型: 国内会议

会议名称: 中国系统工程学会模糊数学与模糊系统专业委员会第十六届学术会议

会议地点: 福州

会议语种:中文

页码: 21-29,1-1

在线出版日期: 2012-11-02（万方平台首次上网日期，不代表论文的发表时间）