n-精化与n-互模拟之间相关问题的研究

• 作者: 张晋津 施晓静
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: n-精化 n-互模拟 翻译函数 相对化
• 年，卷（期）: 2018,（4）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 46-49
• 页数: 4页
• 分类号: TP301
• 字数: 3513字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2018.04.010

摘要

n-精化关系在计算机科学领域中发挥着重要作用.在理论计算机科学中,学者们常用互模拟来刻画状态转换系统(例如,实时控制系统)之间的行为关系,当两个系统之间存在互模拟等价关系时,从某种意义上来说,一个系统的行为可以模拟另一个系统,反之亦然.但是互模拟关系并不能使得在模型检测时所需检测状态空间得到明显的缩减,因此引入了精化关系.精化与互模拟的区别在于,其对向前条件没有限制,如果精化关系满足向前条件,那么该精化关系也是互模拟关系.在刻画系统状态之间精化关系是否在有限的可达关系上成立这个问题时,需要将精化扩展到n-精化关系上,从而提出n-精化的概念,进一步地,探究n-精化关系与n-互模拟关系的联系;提出与标准相对化不同的a-相对化的概念,并研究其与标准相对化之间的区别与联系;在这些研究基础上,将n-精化模态逻辑语言翻译成n-互模拟量化语言.

作者信息

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