检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
出 处:《沈阳工业大学学报》2009年第4期462-465,共4页Journal of Shenyang University of Technology
基 金:辽宁省自然科学基金资助项目(972136)
摘 要:针对很多基于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.
关 键 词:巡检模型 射频技术 巡检计划 安全 巡检目标 巡检事件 匹配算法 巡检任务
分 类 号:TP311[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.62