计算机技术与发展2018，Vol.28Issue(4)：46-49,4.DOI:10.3969/j.issn.1673-629X.2018.04.010
n-精化与n-互模拟之间相关问题的研究
Research on Relationship between n-refinement and n-bisimulation
摘要
Abstract
The notion of n-refinement plays an important role in computer science.In the area of theoretical computer science,researchers often use bisimulations to model the action of different state transition systems,such as real-time control system.While there exits bisimu-lation equivalence relation of the two systems,in a sense,the behavior of one of these two systems can simulate the other system's behav-ior,and vice versa.However,this relation does not often make the state space significantly reduced,so the notion of the refinement rela-tionship was introduced.The difference between refinement and bisimulation is that there is no restriction in the forth condition,but when refinement satisfies the forth condition,then we get the bisimulation back.To characterize the problem that whether the refinement be-tween the state of the system exists in a limited accessible relation,we need to introduce the n-refinement.So in this paper,the concept of n-refinement is given based on the refinement,and we could further explore the relationship between n-refinement and n-bisimulation. The notion of a-relativization which is different from the standard version is proposed,and the relationship between them are researched. Then we present the translation function from n-refinement modal logic language into n-bisimulation quantification language.关键词
n-精化/n-互模拟/翻译函数/相对化Key words
n-refinement/n-bisimualtion/translation function/relativization分类
信息技术与安全科学引用本文复制引用
施晓静,张晋津..n-精化与n-互模拟之间相关问题的研究[J].计算机技术与发展,2018,28(4):46-49,4.基金项目
国家自然科学基金(11426136,60973045) （11426136,60973045）
江苏省高校自然科学基金(61602249) （61602249）
