|
|||||
|
|
| 一种基于Petri网的RFID事件检测的形式化方法 | |
| 引用本文： | 孙基男,黄雨,黄舒志,张世琨,袁崇义.一种基于Petri网的RFID事件检测的形式化方法[J].计算机研究与发展,2012,49(11):2334-2343. |
| 作者姓名： | 孙基男 黄雨 黄舒志 张世琨 袁崇义 |
| 作者单位： | 1. 北京大学信息科学技术学院 北京 100871;北京大学软件工程国家工程研究中心 北京 100871;教育部高可信软件技术重点实验室(北京大学) 北京100871 2. 北京大学软件工程国家工程研究中心 北京 100871;教育部高可信软件技术重点实验室(北京大学) 北京100871 3. 北京大学信息科学技术学院 北京 100871;教育部高可信软件技术重点实验室(北京大学) 北京100871 |
| 基金项目： | 国家自然科学基金项目，高等学校博士学科点专项科研基金项目 |
| 摘 要： | 无线射频识别(RFID)采用唯一的电子标签识别物理对象,可高速收集大量目标数据.为向各类应用提供语义信息,RFID系统需从收集的数据中检测用户自定义的复合事件.通过提出一种基于Petri网的RFID事件检测方法,引入形式化的ED-net模型描述复合事件语义,并以此为基础实现一种事件检测方法.ED-net模型是对传统Petri网的一种扩展,提供了描述用户自定义类型、函数及表达式的能力,可精确描述RFID复合事件的属性及时域、非时域、参数化等约束条件.通过对RFID事件形式化描述,各种RFID事件可以统一在ED-net模型,并可自动化进行检测处理,避免了不同复合事件间公共子事件重复检测的问题.最后,经过实验测试和分析,验证了该形式化方法的有效性及其优势. |
| 关 键 词： | 无线射频识别(RFID) Petri网 形式化方法 事件检测 复合事件 |
Formal Method Based on Petri Nets to Detect RFID Event |
|
| Sun Ji'nan , Huang Yu , Huang Shuzhi , Zhang Shikun , Yuan Chongyi.Formal Method Based on Petri Nets to Detect RFID Event[J].Journal of Computer Research and Development,2012,49(11):2334-2343. | |
| Authors: | Sun Ji'nan Huang Yu Huang Shuzhi Zhang Shikun Yuan Chongyi |
| Affiliation: | 1,3 1(School of Electronics Engineering and Computer Science,Peking University,Beijing 100871) 2(National Engineering Research Center for Software Engineering,Peking University,Beijing 100871) 3(Key Laboratory of High Confidence Software Technologies(Peking University),Ministry of Education,Beijing 100871) |
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |
