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

• 作者: 张敏 潘海玉 陈仪香
• 来源期刊: 模糊系统与数学
• 学科: 数学
• 关键词: 双标号转换系统 互模拟 Hennessy-Milner逻辑 完备剩余格
• 年，卷（期）: 2012,（5）
• 所属期刊栏目: 模糊集理论
• 页码范围: 21-29
• 分类号: O141|O159
• 字数: 7077字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-7402.2012.05.004

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张敏	华东师范大学上海市高可信计算重点实验室	34	171	7.0	12.0
2	陈仪香	华东师范大学上海市高可信计算重点实验室	20	64	4.0	7.0
3	潘海玉	安徽工程大学计算机与信息学院	2	13	2.0	2.0