基于时段逻辑和时间Petri网的RFID复杂事件描述与检测模型及验证研究
批准号:
60803014
项目类别:
青年科学基金项目
资助金额:
20.0 万元
负责人:
黄雨
依托单位:
学科分类:
计算机系统结构与硬件技术
结题年份:
2011
批准年份:
2008
项目状态:
已结题
项目参与者:
王立福、袁崇义、顿海强、黄星琪、叶蔚、陈霄、郭珩、刘泽、汤传喜
中文摘要
随着现代计算技术和传感网络的飞速发展,以无线射频识别技术(Radio Frequency Identification,RFID)为核心的软件系统已成为当前国际上研究的热点和前沿领域。RFID复杂事件处理的基础理论模型与分析验证技术是RFID系统研究中最基础、最核心、最有挑战性的问题之一。本项目立足深入分析RFID系统及其数据的本质属性,充分运用离散时段逻辑描述方法和时间Petri网的建模方法,研究基于时段逻辑和时间Petri 网的RFID复杂事件描述语言与检测模型及其验证分析技术,着力在RFID复杂事件处理的基础理论领域开展创新性探索,为RFID系统研究与推广应用提供理论模型支持和分析手段。本项研究的开展对于攻克RFID共性基础及前瞻性、产业化关键技术,建立起我国RFID技术自主创新体系,具有重要的意义。
英文摘要
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
登录
查看更多内容
A study on fairness of place/transition systems
场所/转换系统公平性研究
DOI:
--
发表时间:
--
期刊:
TRANSACTIONS OF THE INSTITUTE OF MEASUREMENT AND CONTROL
影响因子:
1.8
作者:
[Wen Zhao, Chongyi Yuan, Xinpeng Li, Yu Huang]
通讯作者:
Yu Huang
DOI:
--
发表时间:
--
期刊:
计算机科学与探索
影响因子:
--
作者:
[赵文, 黄雨, 袁崇义]
通讯作者:
袁崇义
A Secure Communication Mechanism of P2P RFID Code Resolution Network RFID Code Resolution Network
一种P2P RFID代码解析网络的安全通信机制 RFID代码解析网络
DOI:
--
发表时间:
--
期刊:
Chinese Journal of Electronics
影响因子:
1.2
作者:
[Zhang Shikun, Zhao Wen, Feng Zhiming, Huang Kaimu, Wang Lifu, Liu Xueyang]
通讯作者:
Liu Xueyang
DOI:
--
发表时间:
--
期刊:
电子学报
影响因子:
--
作者:
[张世琨, 邓鹏鹏, 顿海强, 赵文, 王立福]
通讯作者:
王立福
DOI:
--
发表时间:
--
期刊:
计算机科学与探索
影响因子:
--
作者:
[黄舒志, 黄雨, 赵文, 袁崇义]
通讯作者:
袁崇义
共 18 条
基于Petri网和DSM的型号产品协同设计过程和数据世系建模及分析方法研究
-
批准号:61170001
-
项目类别:面上项目
-
资助金额:58.0万元
-
批准年份:2011
-
负责人:黄雨
-
依托单位:
国内基金
海外基金