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

Investigation on the n-refinement relations

作　　者：施晓静[1] 邢惠丽[1] 张晋津[1] 

机构地区：[1]南京航空航天大学计算机科学与技术学院

出　　处：《电子世界》2017年第2期193-194,共2页Electronics World

基　　金：国家自然科学基金Nos.11426136;60973045;江苏省高校自然科学基金No.61602249~~

摘　　要：精化关系是研究反应式系统的重要内容之一。本文在n-互模拟的基础上提出了分层精化精化关系,探究n-精化关系与分层互模拟关系之间的区别与联系,定义n-精化模态逻辑语言并给出相关的永真式。The refinement relations is one of the important contents of studying reactive systems. This paper introducing the notion of nrefinement by the definition of n-bisimulation, studying the the differences between the n-refinement and n-bisimulation, as well as defining nrefinement modal logic language and giving relevant validities.

关 键 词：n-精化 n-互模拟 n-精化模态逻辑 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]