黄舒志
- 作品数：5 被引量：6H指数：2
- 供职机构：北京大学更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于注释的仿真代码同步生成方法
- 一种基于注释的仿真代码同步生成方法，包括：设计一个仿真描述模型；将该仿真描述模型导出为底层仿真代码；将导出的仿真代码放入实际仿真机中进行执行，并根据执行结果对仿真代码进行修改，然后将修改结果同步到仿真描述模型。通过上述方...
- 黄雨黄舒志张世琨
- 文献传递
- 操作表达式的Petri网表示(英文)被引量：2
- 2010年
- 程序以操作表达式的形式呈现,而其语义则以公理的形式给出。为帮助理解这些公理并作为实现操作表达式的基础,给出了操作表达式的Petri网表示。传统Petri网的库所(place)概念与程序中变量概念有本质的不同,增加了变量概念的Petri网称为C_net。从回顾C_net的基本定义入手,研究操作表达式的网表示。
- 袁崇义黄雨赵文黄舒志
- 关键词：PETRI网
- 基于Petri网的协同设计过程模型
- 2011年
- 协同设计技术广泛应用于航天、船舶等重要军工领域,协同设计过程具有数据驱动,多层次,多状态等特点,目前仍缺少协同设计形式化过程模型,给不同学科、行业、部门之间的协同交互带来了很大的困难,因此有必要建立一个协同设计过程的形式化模型。给出了一个层次化的有色Petri网来描述协同设计过程,并根据协同设计过程特点,给出了不同的触发规则,刻画了任务的不同状态,并在此模型的形式理论基础上,开发了一个数据驱动工作流引擎。
- 何宇黄舒志刘淼黄雨
- 关键词：工作流
- 一种基于注释的仿真代码同步生成方法
- 一种基于注释的仿真代码同步生成方法，包括：设计一个仿真描述模型；将该仿真描述模型导出为底层仿真代码；将导出的仿真代码放入实际仿真机中进行执行，并根据执行结果对仿真代码进行修改，然后将修改结果同步到仿真描述模型。通过上述方...
- 黄雨黄舒志张世琨
- 文献传递
- 一种基于Petri网的RFID事件检测的形式化方法被引量：4
- 2012年
- 无线射频识别(RFID)采用唯一的电子标签识别物理对象,可高速收集大量目标数据.为向各类应用提供语义信息,RFID系统需从收集的数据中检测用户自定义的复合事件.通过提出一种基于Petri网的RFID事件检测方法,引入形式化的ED-net模型描述复合事件语义,并以此为基础实现一种事件检测方法.ED-net模型是对传统Petri网的一种扩展,提供了描述用户自定义类型、函数及表达式的能力,可精确描述RFID复合事件的属性及时域、非时域、参数化等约束条件.通过对RFID事件形式化描述,各种RFID事件可以统一在ED-net模型,并可自动化进行检测处理,避免了不同复合事件间公共子事件重复检测的问题.最后,经过实验测试和分析,验证了该形式化方法的有效性及其优势.
- 孙基男黄雨黄舒志张世琨袁崇义
- 关键词：PETRI网形式化方法
