n-精化关系及其相关研究

• 作者: 张晋津 施晓静 邢惠丽
• 来源期刊: 电子世界
• 关键词: n-精化 n-互模拟,n-精化模态逻辑
• 年，卷（期）: 2017,（2）
• 所属期刊栏目: 技术交流
• 页码范围: 193-194
• 页数: 2页
• 字数: 3229字
• 语种: 中文

摘要

精化关系是研究反应式系统的重要内容之一.本文在n-互模拟的基础上提出了分层精化精化关系,探究n-精化关系与分层互模拟关系之间的区别与联系,定义n-精化模态逻辑语言并给出相关的永真式.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	施晓静	南京航空航天大学计算机科学与技术学院	4	0	0.0	0.0
2	张晋津	南京航空航天大学计算机科学与技术学院	5	0	0.0	0.0
3	邢惠丽	南京航空航天大学计算机科学与技术学院	1	0	0.0	0.0