作者:李绍荣; 王超近似等价事件结构单元失败语义步进语义迹语义
摘要:迹等价和测试等价等事件结构上的系统等价关系都立足于观测集上的精确相等,然而精确相等需要的精确度量在现实物理世界里是无法实现的,因此精确等价的应用是非常有限的,并且精确等价关系不具有鲁棒性。为了克服以上缺陷,该文通过使用Baire度量,提出了包含近似交织迹等价、近似交织单元失败等价、近似步骤迹等价和近似步骤单元失败等价的事件系统近似等价框架。这些近似等价具有以下几种良好性质:1)近似等价涵盖了精确等价,即传统精确等价是近似等价的特例。2)近似等价关系具有传递性,可以连续使用。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社