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

• 作者: 李绍荣 王超
• 来源期刊: 电子科技大学学报
• 学科: 工学
• 关键词: 近似等价 事件结构 单元失败语义 步进语义 迹语义
• 年，卷（期）: 2016,（4）
• 页码范围: 674-683
• 页数: 10页
• 分类号: TP301
• 字数: 1973字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-0548.2016.04.020

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李绍荣	电子科技大学光电信息学院	34	234	7.0	14.0
2	王超	中国电子信息产业集团有限公司第六研究所	37	46	4.0	6.0