n-精化相关论文
命题模态逻辑是命题逻辑增加模态算子后的扩充,常用于刻画多agent认知所遵循的逻辑规律。信息事件的发生会导致agent认知的改变,为......
n-精化关系在计算机科学领域中发挥着重要作用。在理论计算机科学中，学者们常用互模拟来刻画状态转换系统（例如，实时控制系统）之间的行......
精化关系是研究反应式系统的重要内容之一。本文在n-互模拟的基础上提出了分层精化精化关系,探究n-精化关系与分层互模拟关系之间......
