计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2012年
7期
148-153,169
,共7页
复杂事件%世系%模糊时间Petri网%时间自动机
複雜事件%世繫%模糊時間Petri網%時間自動機
복잡사건%세계%모호시간Petri망%시간자동궤
复杂网络安全事件、物联网世系追溯等新型应用为复杂事件的世系研究提出许多挑战.由于模糊时间以及状态不确定性转移等因素的存在,追溯复杂事件的世系时往往出现时间推导不精确以及无法有效逆向推导等问题,因此无法高效地追踪及查询复杂事件的形成世系.针对此类问题,结合起源语义提出了一种基于扩展的模糊时间Petri网的逆向推理模型(BREFTN),并根据时间自动机理论利用此模型设计了逆向推理算法.在给定目标库所以及相关条件的情况下,它不仅可以得到所有演变路径信息并分析其可能性分布,还可以对复杂事件的各个状态及变迁的模糊时间函数值进行有效地推算分析.最后分析了BREFTN模型的完备性及演变路径的性质,并通过实验检测了算法的性能.
複雜網絡安全事件、物聯網世繫追溯等新型應用為複雜事件的世繫研究提齣許多挑戰.由于模糊時間以及狀態不確定性轉移等因素的存在,追溯複雜事件的世繫時往往齣現時間推導不精確以及無法有效逆嚮推導等問題,因此無法高效地追蹤及查詢複雜事件的形成世繫.針對此類問題,結閤起源語義提齣瞭一種基于擴展的模糊時間Petri網的逆嚮推理模型(BREFTN),併根據時間自動機理論利用此模型設計瞭逆嚮推理算法.在給定目標庫所以及相關條件的情況下,它不僅可以得到所有縯變路徑信息併分析其可能性分佈,還可以對複雜事件的各箇狀態及變遷的模糊時間函數值進行有效地推算分析.最後分析瞭BREFTN模型的完備性及縯變路徑的性質,併通過實驗檢測瞭算法的性能.
복잡망락안전사건、물련망세계추소등신형응용위복잡사건적세계연구제출허다도전.유우모호시간이급상태불학정성전이등인소적존재,추소복잡사건적세계시왕왕출현시간추도불정학이급무법유효역향추도등문제,인차무법고효지추종급사순복잡사건적형성세계.침대차류문제,결합기원어의제출료일충기우확전적모호시간Petri망적역향추리모형(BREFTN),병근거시간자동궤이론이용차모형설계료역향추리산법.재급정목표고소이급상관조건적정황하,타불부가이득도소유연변로경신식병분석기가능성분포,환가이대복잡사건적각개상태급변천적모호시간함수치진행유효지추산분석.최후분석료BREFTN모형적완비성급연변로경적성질,병통과실험검측료산법적성능.
