检索结果-维普期刊中文期刊服务平台

一种基于Petri网的RFID事件检测的形式化方法被引量：4: 1; 作者孙基男黄雨 +2 位作者黄舒志张世琨袁崇义《计算机研究与发展》 EI CSCD 北大核心 2012年第11期2334-2343,共10页; 无线射频识别(RFID)采用唯一的电子标签识别物理对象,可高速收集大量目标数据.为向各类应用提供语义信息,RFID系统需从收集的数据中检测用户自定义的复合事件.通过提出一种基于Petri网的RFID事件检测方法,引入形式化的ED-net模型描述复... 展开更多; 关键词无线射频识别(RFID) PETRI网形式化方法事件检测复合事件; 在线阅读下载PDF 职称材料

操作表达式的Petri网表示(英文) 被引量：2: 2; 作者袁崇义黄雨 +1 位作者赵文黄舒志《计算机科学与探索》 CSCD 2010年第11期961-976,共16页; 程序以操作表达式的形式呈现,而其语义则以公理的形式给出。为帮助理解这些公理并作为实现操作表达式的基础,给出了操作表达式的Petri网表示。传统Petri网的库所(place)概念与程序中变量概念有本质的不同,增加了变量概念的Petri网称为C_... 展开更多; 关键词物理对象操作表达式 PETRI网语义公理; 在线阅读下载PDF 职称材料

基于Petri网的协同设计过程模型: 3; 作者何宇黄舒志 +1 位作者刘淼黄雨《系统仿真学报》 CAS CSCD 北大核心 2011年第B07期11-15,共5页; 协同设计技术广泛应用于航天、船舶等重要军工领域,协同设计过程具有数据驱动,多层次,多状态等特点,目前仍缺少协同设计形式化过程模型,给不同学科、行业、部门之间的协同交互带来了很大的困难,因此有必要建立一个协同设计过程的形式化... 展开更多; 关键词协同设计过程模型 PetriNets 工作流形式化模型; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	一种基于Petri网的RFID事件检测的形式化方法	孙基男黄雨黄舒志张世琨袁崇义	《计算机研究与发展》 EI CSCD 北大核心	2012	4	在线阅读下载PDF 职称材料
2	操作表达式的Petri网表示(英文)	袁崇义黄雨赵文黄舒志	《计算机科学与探索》 CSCD	2010	2	在线阅读下载PDF 职称材料
3	基于Petri网的协同设计过程模型	何宇黄舒志刘淼黄雨	《系统仿真学报》 CAS CSCD 北大核心	2011	0	在线阅读下载PDF 职称材料