计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2012年
11期
2334-2343
,共10页
孙基男%黄雨%黄舒志%张世琨%袁崇义
孫基男%黃雨%黃舒誌%張世琨%袁崇義
손기남%황우%황서지%장세곤%원숭의
无线射频识别(RFID)%Petri网%形式化方法%事件检测%复合事件
無線射頻識彆(RFID)%Petri網%形式化方法%事件檢測%複閤事件
무선사빈식별(RFID)%Petri망%형식화방법%사건검측%복합사건
无线射频识别(RFID)采用唯一的电子标签识别物理对象,可高速收集大量目标数据.为向各类应用提供语义信息,RFID系统需从收集的数据中检测用户自定义的复合事件.通过提出一种基于Petri网的RFID事件检测方法,引入形式化的ED-net模型描述复合事件语义,并以此为基础实现一种事件检测方法.ED-net模型是对传统Petri网的一种扩展,提供了描述用户自定义类型、函数及表达式的能力,可精确描述RFID复合事件的属性及时域、非时域、参数化等约束条件.通过对RFID事件形式化描述,各种RFID事件可以统一在ED-net模型,并可自动化进行检测处理,避免了不同复合事件间公共子事件重复检测的问题.最后,经过实验测试和分析,验证了该形式化方法的有效性及其优势.
無線射頻識彆(RFID)採用唯一的電子標籤識彆物理對象,可高速收集大量目標數據.為嚮各類應用提供語義信息,RFID繫統需從收集的數據中檢測用戶自定義的複閤事件.通過提齣一種基于Petri網的RFID事件檢測方法,引入形式化的ED-net模型描述複閤事件語義,併以此為基礎實現一種事件檢測方法.ED-net模型是對傳統Petri網的一種擴展,提供瞭描述用戶自定義類型、函數及錶達式的能力,可精確描述RFID複閤事件的屬性及時域、非時域、參數化等約束條件.通過對RFID事件形式化描述,各種RFID事件可以統一在ED-net模型,併可自動化進行檢測處理,避免瞭不同複閤事件間公共子事件重複檢測的問題.最後,經過實驗測試和分析,驗證瞭該形式化方法的有效性及其優勢.
무선사빈식별(RFID)채용유일적전자표첨식별물리대상,가고속수집대량목표수거.위향각류응용제공어의신식,RFID계통수종수집적수거중검측용호자정의적복합사건.통과제출일충기우Petri망적RFID사건검측방법,인입형식화적ED-net모형묘술복합사건어의,병이차위기출실현일충사건검측방법.ED-net모형시대전통Petri망적일충확전,제공료묘술용호자정의류형、함수급표체식적능력,가정학묘술RFID복합사건적속성급시역、비시역、삼수화등약속조건.통과대RFID사건형식화묘술,각충RFID사건가이통일재ED-net모형,병가자동화진행검측처리,피면료불동복합사건간공공자사건중복검측적문제.최후,경과실험측시화분석,험증료해형식화방법적유효성급기우세.
