n-精化与n-互模拟之间相关问题的研究
万方数据知识服务平台
应用市场
我的应用
会员HOT
万方期刊
×

点击收藏,不怕下次找不到~

@万方数据
会员HOT

期刊专题

10.3969/j.issn.1673-629X.2018.04.010

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

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

n-精化、n-互模拟、翻译函数、相对化

28

TP301(计算技术、计算机技术)

国家自然科学基金11426136,60973045;江苏省高校自然科学基金61602249

2018-05-11(万方平台首次上网日期,不代表论文的发表时间)

共4页

46-49

相关文献
评论
暂无封面信息
查看本期封面目录

计算机技术与发展

1673-629X

61-1450/TP

28

2018,28(4)

相关作者
相关机构

专业内容知识聚合服务平台

国家重点研发计划“现代服务业共性关键技术研发及应用示范”重点专项“4.8专业内容知识聚合服务技术研发与创新服务示范”

国家重点研发计划资助 课题编号:2019YFB1406304
National Key R&D Program of China Grant No. 2019YFB1406304

©天津万方数据有限公司 津ICP备20003920号-1

信息网络传播视听节目许可证 许可证号:0108284

网络出版服务许可证:(总)网出证(京)字096号

违法和不良信息举报电话:4000115888    举报邮箱:problem@wanfangdata.com.cn

举报专区:https://www.12377.cn/

客服邮箱:op@wanfangdata.com.cn