摘要
随着空间信息的广泛应用,产生了对基于空间关系的复合事件检测需求。本文建立了空间事件模型,在该模型基础上扩展定义了空间事件复合算子及其语义,并证明该定义的复合算子封闭;采用组合着色Petri网构造基于空间关系的复合事件检测模型,充分利用事件公共表达式简化Petri网;采用变迁优先级解决冲突变迁的问题,并提出基于该模型的检测算法;通过实验仿真验证该检测模型是一个简洁、有效的复合事件检测机制。
With the widely application of spatial information, requirement of composite events detection related to spatial information are emerged greatly. A spatial event model is built. Spatial composite event operators which are closure and its semantic are defined. Compositional colored Petri net is adopted to construct composite event detection model based on spatial relation, which fully utilizes common event expression. Conflicting transitions problem is solved by their priority. A detection algorithm based on the model is proposed and an experiment simulation is used to verify the model and algorithm.
出处
《信号处理》
CSCD
北大核心
2006年第3期402-407,共6页
Journal of Signal Processing
基金
本文研究工作得到国家863项目(2002AA131010
2002AA134010)的资助