基于组合着色Petri网的空间复合事件检测机制
发布时间:2007/4/23 0:00:00 访问次数:2597
复合事件及其检测可以应用到股票交易、网络管理、航空交通控制、指挥决策等领域。随着空间信息的广泛应用,在远程监控、LBS、Location-aware计算等领域,也需要实现与空间有关的事件检测。传统空间信息应用系统中与空间有关的复合事件检测通过在应用处理逻颖嘈词录觳獾拇胧迪帧U庵纸饩龇桨覆焕谑迪挚拧⒖评┱沟耐ㄓ孟低场S捎诤芏嗍录蓖ㄓ玫?事件检测机制应该是多个应用系统共享,否则系统的维护代价较大。
对复合事件检测的研究最初是在主动数据库领域中进行的[2]。Ode采用有穷自动机实现复合事件检测。SAMOS采用着色Petri网对复合事件检测,可以携带事件流及事件参数等复杂信息。但是SAMOS也没有定义和说明Petri网的组合问题。为解决不满足交换律的复合算子的冲突问题,文献[5]引入了时序算子,提出TR-Petri网。文献[2]引入部分检测事件缓冲池和时间缓冲池对原子事件进行高效的过滤。在空间事件检测方面目前尚未展开更多的研究工作,文献[1]使用三元组{OID, TS, LOC }定义空间事件模型,支持简单的空间谓词检测,但是这种方法是基于空间对象而不是基于事件本身的空间属性。文献[4]讨论了从空间完整性约束导出数据库ECA规则的方法,由于ECA条件和动作部分可以分别在数据库中的查询处理和事务处理技术中找到相应的解决方案,而事件部分研究的不是很多。本文将在此基础上,研究基于空间关系的复合事件检测机制。
1 空间事件模型
在讨论基于空间关系的复合事件检测机制之前,首先必须形式化描述空间事件及空间事件复合算子。空间事件模型采用三元组来表示SE={EID,T,S},其中EID∈N表示事件标识;T∈N,表示等距离离散时间信息;S∈R×R表示参照坐标系统定义的坐标。空间对象和空间谓词SP(Spatial Predicate)定义如下:
简单线段L: Sbegin×Send, Sbegin, Send∈R×R, Sbegin和Send分别表示线段的起始点和结束坐标;坐标S在线段L上时IN(S,L)为真。
封闭区域Z:∪(L×N);坐标S在区域Z内时IN(S,Z)为真。
假设方向关系握兆晗低扯ㄒ?即North方向与y轴方向一致,East方向与x轴方向一致。令b表示对象的MBR,则b可以通过其左下角坐标(b.xl,b.yl)和右上角坐标(b.xu, b.yu)定义。如果以s为目标,b和s1分别是参考矩形和参考点,那么采用基于投影的方向模型,s相对于b、s1的方向关系谓词可以由North-South方向(N,S)s,b、(N,S)s,s1和East-West方向(E,W)s,b、(E,W)s,s1的组合定义。其中,(N,S)s,b和(E,W)s,b可以通过下面的公式定义,(N,S)s,s1和(E,W)s,s1可以采用类似方式定义:
如果将(N,S)s1,s2和(E,W)s1,s2的组合记作(N,S,E,W)s1,s2,那么基于四元组(N,S,E,W)s1,s2的不同取值可以定义s1相对于s2的16种方向关系,如NW(s1,s2)=(1,0,0,1)。
空间事件的语义解释函数Φ(SE):T×S→{True,False}定义为:Φ(SE(t,s))=True,if an event of type SE occurs at time t and location s。
首先将传统的事件复合算子语义扩展定义如下:
· 非空间算子NSO(NonSpatial Operator)
OR(SE1,SE2)(t,s)=SE1(t,s)∨SE2(t,s)
方向和距离算子有参考事件或者区域,因此这些算子是不满足交换律的。从定义来看,这些算子在时间上是以参考事件的出现为检测起始事件的。
2 基于组和着色Petri网的空间复合事件检测模型
2.1检测模型
传统的Petri网对于公共事件表达式需要构造冗余的Petri网,而且无法对位置信息进行检测,需要对之改造和扩展。本文提出基于组合着色Petri网的复合事件检测模型,既能够利用复合事件的公共表达式,也可以在存储较少事件历史的情况下,保持积聚算子。
定义(1)——复合事件检测组件Petri网CPN(Component Petri Net)
CPN的静态结构是一个八元组,CPN=(P,PI,PO,T,A, C,E,W)相关含义如下:
P是库所的有限集合。将每个原子事件对应到组件Petri网的一个输入库所,复合事件对应到组件Petri网的一个输出库所,则定义PIP为有限输入库所集合,定义PIP为有限输出库所集合。T是变迁的有限集合。AP×T∪T×P是连接变迁和库所的弧的有限集合。C是标记类型(即颜色)的有限集合。E为弧函数。将每条弧映射到一个表达式、空间算子或者是缺省的单位权值。Eik表示由Pi到Tk或者Ti到Pk的弧函数。其中权值函数只作用在P×T,空间算子只作用在T×P。W: T→N变迁权值函数,将每个变迁映射到一个自然数表示的权值。
定义(2)——组件Petri网的联接变迁、联接弧及标记向量
联接变迁(Connection Transition)集合TOI为联接输出库所和输入库所的变迁,联接弧(Connection Arc)集合AOI定义为AOIPO×TOI∪TOI×PI,同时定义PTI为联接输入库所集合,PTO为联接输出库所集合。令Pi∈P,mark(Pi)=(t,s)表
复合事件及其检测可以应用到股票交易、网络管理、航空交通控制、指挥决策等领域。随着空间信息的广泛应用,在远程监控、LBS、Location-aware计算等领域,也需要实现与空间有关的事件检测。传统空间信息应用系统中与空间有关的复合事件检测通过在应用处理逻颖嘈词录觳獾拇胧迪帧U庵纸饩龇桨覆焕谑迪挚拧⒖评┱沟耐ㄓ孟低场S捎诤芏嗍录蓖ㄓ玫?事件检测机制应该是多个应用系统共享,否则系统的维护代价较大。
对复合事件检测的研究最初是在主动数据库领域中进行的[2]。Ode采用有穷自动机实现复合事件检测。SAMOS采用着色Petri网对复合事件检测,可以携带事件流及事件参数等复杂信息。但是SAMOS也没有定义和说明Petri网的组合问题。为解决不满足交换律的复合算子的冲突问题,文献[5]引入了时序算子,提出TR-Petri网。文献[2]引入部分检测事件缓冲池和时间缓冲池对原子事件进行高效的过滤。在空间事件检测方面目前尚未展开更多的研究工作,文献[1]使用三元组{OID, TS, LOC }定义空间事件模型,支持简单的空间谓词检测,但是这种方法是基于空间对象而不是基于事件本身的空间属性。文献[4]讨论了从空间完整性约束导出数据库ECA规则的方法,由于ECA条件和动作部分可以分别在数据库中的查询处理和事务处理技术中找到相应的解决方案,而事件部分研究的不是很多。本文将在此基础上,研究基于空间关系的复合事件检测机制。
1 空间事件模型
在讨论基于空间关系的复合事件检测机制之前,首先必须形式化描述空间事件及空间事件复合算子。空间事件模型采用三元组来表示SE={EID,T,S},其中EID∈N表示事件标识;T∈N,表示等距离离散时间信息;S∈R×R表示参照坐标系统定义的坐标。空间对象和空间谓词SP(Spatial Predicate)定义如下:
简单线段L: Sbegin×Send, Sbegin, Send∈R×R, Sbegin和Send分别表示线段的起始点和结束坐标;坐标S在线段L上时IN(S,L)为真。
封闭区域Z:∪(L×N);坐标S在区域Z内时IN(S,Z)为真。
假设方向关系握兆晗低扯ㄒ?即North方向与y轴方向一致,East方向与x轴方向一致。令b表示对象的MBR,则b可以通过其左下角坐标(b.xl,b.yl)和右上角坐标(b.xu, b.yu)定义。如果以s为目标,b和s1分别是参考矩形和参考点,那么采用基于投影的方向模型,s相对于b、s1的方向关系谓词可以由North-South方向(N,S)s,b、(N,S)s,s1和East-West方向(E,W)s,b、(E,W)s,s1的组合定义。其中,(N,S)s,b和(E,W)s,b可以通过下面的公式定义,(N,S)s,s1和(E,W)s,s1可以采用类似方式定义:
如果将(N,S)s1,s2和(E,W)s1,s2的组合记作(N,S,E,W)s1,s2,那么基于四元组(N,S,E,W)s1,s2的不同取值可以定义s1相对于s2的16种方向关系,如NW(s1,s2)=(1,0,0,1)。
空间事件的语义解释函数Φ(SE):T×S→{True,False}定义为:Φ(SE(t,s))=True,if an event of type SE occurs at time t and location s。
首先将传统的事件复合算子语义扩展定义如下:
· 非空间算子NSO(NonSpatial Operator)
OR(SE1,SE2)(t,s)=SE1(t,s)∨SE2(t,s)
方向和距离算子有参考事件或者区域,因此这些算子是不满足交换律的。从定义来看,这些算子在时间上是以参考事件的出现为检测起始事件的。
2 基于组和着色Petri网的空间复合事件检测模型
2.1检测模型
传统的Petri网对于公共事件表达式需要构造冗余的Petri网,而且无法对位置信息进行检测,需要对之改造和扩展。本文提出基于组合着色Petri网的复合事件检测模型,既能够利用复合事件的公共表达式,也可以在存储较少事件历史的情况下,保持积聚算子。
定义(1)——复合事件检测组件Petri网CPN(Component Petri Net)
CPN的静态结构是一个八元组,CPN=(P,PI,PO,T,A, C,E,W)相关含义如下:
P是库所的有限集合。将每个原子事件对应到组件Petri网的一个输入库所,复合事件对应到组件Petri网的一个输出库所,则定义PIP为有限输入库所集合,定义PIP为有限输出库所集合。T是变迁的有限集合。AP×T∪T×P是连接变迁和库所的弧的有限集合。C是标记类型(即颜色)的有限集合。E为弧函数。将每条弧映射到一个表达式、空间算子或者是缺省的单位权值。Eik表示由Pi到Tk或者Ti到Pk的弧函数。其中权值函数只作用在P×T,空间算子只作用在T×P。W: T→N变迁权值函数,将每个变迁映射到一个自然数表示的权值。
定义(2)——组件Petri网的联接变迁、联接弧及标记向量
联接变迁(Connection Transition)集合TOI为联接输出库所和输入库所的变迁,联接弧(Connection Arc)集合AOI定义为AOIPO×TOI∪TOI×PI,同时定义PTI为联接输入库所集合,PTO为联接输出库所集合。令Pi∈P,mark(Pi)=(t,s)表
相关IC型号
公网安备44030402000607
