追踪复杂事件的形成世系

摘要：

复杂网络安全事件、物联网世系追溯等新型应用为复杂事件的世系研究提出许多挑战.由于模糊时间以及状态不确定性转移等因素的存在,追溯复杂事件的世系时往往出现时间推导不精确以及无法有效逆向推导等问题,因此无法高效地追踪及查询复杂事件的形成世系.针对此类问题,结合起源语义提出了一种基于扩展的模糊时间Petri网的逆向推理模型(BREFTN),并根据时间自动机理论利用此模型设计了逆向推理算法.在给定目标库所以及相关条件的情况下,它不仅可以得到所有演变路径信息并分析其可能性分布,还可以对复杂事件的各个状态及变迁的模糊时间函数值进行有效地推算分析.最后分析了BREFTN模型的完备性及演变路径的性质,并通过实验检测了算法的性能.

关键词：复杂事件、世系、模糊时间Petri网、时间自动机

所属期刊栏目：39

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

资助基金：国家自然科学基金60803001;中国博士后科学基金特别资助项目200902517;江苏省博士后基金0801043B;江苏省高校2010年“青蓝工程”优秀青年骨于教师项目,南京市科技计划重点项目020142010;南京理工大学2009年紫金之星资助

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

页数：共7页

页码：148-153,169