n-互模拟相关论文
n-精化关系在计算机科学领域中发挥着重要作用。在理论计算机科学中,学者们常用互模拟来刻画状态转换系统(例如,实时控制系统)之间的行......
n-互模拟理论在许多领域都被独立建立。在计算机科学领域中,如果系统之间存在n-互模拟关系,那么在n-步以内的路径,系统之间的行为均可......
n-互模拟量化逻辑语言是计算机理论科学中重要的研究内容之一。本文将针对n-互模拟量化语言,探究其互模拟不变性的特征。......
精化关系是研究反应式系统的重要内容之一。本文在n-互模拟的基础上提出了分层精化精化关系,探究n-精化关系与分层互模拟关系之间......