位置:立项数据库 > 立项详情页
基于时段逻辑和时间Petri网的RFID复杂事件描述与检测模型及验证研究
  • 项目名称:基于时段逻辑和时间Petri网的RFID复杂事件描述与检测模型及验证研究
  • 项目类别:青年科学基金项目
  • 批准号:60803014
  • 申请代码:F020301
  • 项目来源:国家自然科学基金
  • 研究期限:2009-01-01-2011-12-31
  • 项目负责人:黄雨
  • 负责人职称:副研究员
  • 依托单位:北京大学
  • 批准年度:2008
中文摘要:

随着现代计算技术和传感网络的飞速发展,以无线射频识别技术为核心的软件系统已成为当前国际上研究的热点和前沿领域。RFID复杂事件处理的基础理论模型与分析验证技术是RFID 系统研究中最基础、最核心、最有挑战性的问题之一。本项目立足深入分析RFID 系统及其数据的本质属性,充分运用了离散时段逻辑描述方法和时间Petri网的建模方法,提出了复杂事件描述网模型C_net和ED_net,通过Petri网的理论分析方法分析了相关性质,如可检测性、活性等等,并给出了基于网的复杂事件检测思想及算法,提出了基于时间Petri网的RFID数据分析和挖掘方法,同时将复合事件理论应用在供应链中,提出了基于Petri网的供应链建模技术,实现了基于复合事件理论的RFID发现服务系统及RFID公共服务平台等原型,本项目的成果得到了推广应用,产生了一定经济价值。

结论摘要:

英文主题词Petri net; Duration Calculus; RFID; Complex Event Description; Complex Event Detection


成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 19
  • 4
  • 1
  • 0
  • 0
相关项目
期刊论文 36 会议论文 10 著作 2
黄雨的项目