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