摘要
针对很多基于RFID的安全巡检系统缺乏具有普遍指导性系统模型的问题,通过对巡检系统进行模块分解、计划元素的定义和规范约束条件,提出了一种具有一般性的安全巡检模型.在对模型进行较完整的形式描述基础上,给出了重点算法,即事件匹配算法,并对相应的责任事故和隐患问题提出了评价方法.经过仿真实验,证实了模型和算法的正确性,该模型对基于RFID的巡检系统具有指导作用,给出的执行结果评价方法有利于调整计划,提高系统的安全性.
Aiming at the system problem that a lot of safety patrolling-systems based on RFID （Radio Frequency Identification） technology are lack of general instructive model, an general safety patrol model was proposed by decomposing module of patrol system, defining elements of patrol plan and gauging constraint conditions. An event matching algorithm was obtained on the basis of complete formal specification for general patrol model. The evaluation methods of related liability accident and hidden trouble were presented. The correctness of both patrol model and evernts matching algorithm is proved by simulation experiment. The model is of the dirrecting effect for safety patralling systems based on RFID. The executing result evaluation methods can adjust the patrol plan and improve the system safety.
出处
《沈阳工业大学学报》
EI
CAS
2009年第4期462-465,共4页
Journal of Shenyang University of Technology
基金
辽宁省自然科学基金资助项目(972136)
关键词
巡检模型
射频技术
巡检计划
安全
巡检目标
巡检事件
匹配算法
巡检任务
patrol model
radio frequency technology
patrol plan
safety
patrol object
patrol event
matching algorithm
patrol task
