基于时段逻辑和时间Petri网的RFID复杂事件描述与检测模型及验证研究

随着现代计算技术和传感网络的飞速发展，以无线射频识别技术（Radio Frequency Identification，RFID）为核心的软件系统已成为当前国际上研究的热点和前沿领域。RFID复杂事件处理的基础理论模型与分析验证技术是RFID系统研究中最基础、最核心、最有挑战性的问题之一。本项目立足深入分析RFID系统及其数据的本质属性，充分运用离散时段逻辑描述方法和时间Petri网的建模方法，研究基于时段逻辑和时间Petri 网的RFID复杂事件描述语言与检测模型及其验证分析技术，着力在RFID复杂事件处理的基础理论领域开展创新性探索，为RFID系统研究与推广应用提供理论模型支持和分析手段。本项研究的开展对于攻克RFID共性基础及前瞻性、产业化关键技术，建立起我国RFID技术自主创新体系，具有重要的意义。