事件结构的近似迹与单元失败等价

摘要：

迹等价和测试等价等事件结构上的系统等价关系都立足于观测集上的精确相等，然而精确相等需要的精确度量在现实物理世界里是无法实现的，因此精确等价的应用是非常有限的，并且精确等价关系不具有鲁棒性。为了克服以上缺陷，该文通过使用Baire度量，提出了包含近似交织迹等价、近似交织单元失败等价、近似步骤迹等价和近似步骤单元失败等价的事件系统近似等价框架。这些近似等价具有以下几种良好性质：1)近似等价涵盖了精确等价，即传统精确等价是近似等价的特例。2)近似等价关系具有传递性，可以连续使用。

关键词：近似等价、事件结构、单元失败语义、步进语义、迹语义

所属期刊栏目：45

分类号：TP301(计算技术、计算机技术)

在线出版日期：2016-08-11（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：674-683