黄雨

作品数：11被引量：25H指数：2
导出分析报告
供职机构：北京大学更多>>
发文主题：存储介质计算机设备语言模型PETRI网数据集更多>>
发文领域：自动化与计算机技术文化科学医药卫生电气工程更多>>
发文期刊：《南京大学学报（自然科学版）》《北京大学学报（自然科学版）》《电子学报》《系统仿真学报》更多>>
所获基金：国家自然科学基金国家教育部博士点基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
重症肌无力共同数据元编制及其在表型研究中的意义被引量：2
《中国现代神经疾病杂志》2020年第1期34-47,共14页李海峰 黄雨 陈向军 
国家自然科学基金资助项目(项目编号:81771362).
共同数据元是描述疾病特征的标准化数据元素,旨在促进数据的结构化和标准化,以减少对重要数据的遗漏及缩小数据获取过程中不同收集者之间的差异。疾病表型的多样性和异质性需在研究中合理编制共同数据元以从多维度反映疾病表型。本文介...
关键词：重症肌无力 共同数据元(非MeSH词) 表型 综述 
一种基于Petri网的RFID事件检测的形式化方法被引量：4
《计算机研究与发展》2012年第11期2334-2343,共10页孙基男 黄雨 黄舒志 张世琨 袁崇义 
国家自然科学基金项目(60803014);高等学校博士学科点专项科研基金项目(200800011017)
无线射频识别(RFID)采用唯一的电子标签识别物理对象,可高速收集大量目标数据.为向各类应用提供语义信息,RFID系统需从收集的数据中检测用户自定义的复合事件.通过提出一种基于Petri网的RFID事件检测方法,引入形式化的ED-net模型描述复...
关键词：无线射频识别(RFID) PETRI网 形式化方法 事件检测 复合事件 
基于Petri网的协同设计过程模型
《系统仿真学报》2011年第B07期11-15,共5页何宇 黄舒志 刘淼 黄雨 
国家自然科学基金(60803014);教育部博士点基金(200800011017)
协同设计技术广泛应用于航天、船舶等重要军工领域,协同设计过程具有数据驱动,多层次,多状态等特点,目前仍缺少协同设计形式化过程模型,给不同学科、行业、部门之间的协同交互带来了很大的困难,因此有必要建立一个协同设计过程的形式化...
关键词：协同设计过程模型 PetriNets 工作流 形式化模型 
操作表达式的Petri网表示(英文)被引量：2
《计算机科学与探索》2010年第11期961-976,共16页袁崇义 黄雨 赵文 黄舒志 
The National Natural Science Foundation of China under Grant No.60803014;the National Grand Funda-mental Research973Program of China under Grant No.2010CB328103;the National High-Tech Research and Development Plan of China under Grant No.2006AA01Z160;the National Research Foundation for Doctoral Program of Ministry of Education of China under Grant No.200800011017~~
程序以操作表达式的形式呈现,而其语义则以公理的形式给出。为帮助理解这些公理并作为实现操作表达式的基础,给出了操作表达式的Petri网表示。传统Petri网的库所(place)概念与程序中变量概念有本质的不同,增加了变量概念的Petri网称为C_...
关键词：物理对象 操作表达式 PETRI网 语义公理 
O-表达式的性质定义与规范(英文)被引量：3
《计算机科学与探索》2010年第1期20-28,共9页袁崇义 赵文 高昕 黄雨 
The National Natural Science Foundation of China under Grant No.60803014;the National High-Tech Researchand Development Plan of China under Grant No.2006AA01Z160;the National Research Foundationfor Doctoral Program of Higher Education of China under Grant No.200800011017~~
在所提出的程序设计方法中,赋值是物理对象上的操作,而程序则是这种操作的表达式。给出了此类表达式(O-表达式)的安全性和进展性性质的形式化定义,用实例说明了基于这些性质的形式化程序规范的模式。具有明确运行目标的O-表达式称为独...
关键词：O-表达式 独立O-表达式 安全性 进展性 不变性 程序规范 
基于Petri网的WSCI形式化模型分析
《计算机工程与科学》2009年第10期60-63,158,共5页黄雨 胡文蕙 高昕 王捍贫 
国家自然科学基金资助项目(60803014;60803061);国家863计划资助项目(2006AA01Z160);国家973计划资助项目(2009CB320701);教育部博士点基金资助项目(200800011017)
WSCI是一种Web服务组合标记语言,对于一些关键的业务流程,任何设计错误都会造成重大损失,因此有必要为WSCI语言建立形式化模型并给予分析,从而保证正确的业务流程部署。本文主要给出了WSCI的分析方法,基于文献[1]给出了形式化模型,提出...
关键词：WSCI PETRI NETS WEB服务组合 
基于扩展库所网的工作流过程规约和模式描述(英文)
《北京大学学报（自然科学版）》2009年第4期572-578,共7页黄雨 胡文蕙 张世琨 
国家自然科学基金(60803014);教育部博士点新教师基金(200800011017)资助
通过扩展库所的属性,给出了一种新的Petri网模型,用来规约工作流过程和表示工作流模式,并提出了一种称为参数化模式的新模式。通过区别变迁和工作流路由,使得模型中的库所和变迁能够分别表示引擎的动作和需执行的任务。基于传统的Petri...
关键词：工作流过程建模 工作流模式 扩展库所网 PETRI网 
程序:物理对象上的操作表达式(英文)被引量：4
《计算机科学与探索》2009年第2期144-153,共10页袁崇义 黄雨 赵文 
The National Natural Science Foundation of China under Grant No.60803014,60873061;the National High-TechResearch and Development Plan of China under Grant No.2006AA01Z160;the National ResearchFoundation for Doctoral Program of Higher Education of China under Grant No.200800011017.~~
把赋值语句看作物理对象上的操作时,程序就呈现为物理对象上的操作构成的表达式(简称O表达式)。给出了定义O表达式语法的BNF公式,并用公理规定O表达式的语义。主动式的O表达式以计算最终结果为目的,因而相关公理给出的是施行表达式中操...
关键词：程序 物理对象 物理对象上的操作 物理对象上的操作表达式 语义公理 
基于Petri网的RFID中间件中复合事件检测研究被引量：13
《电子学报》2008年第B12期1-8,共8页叶蔚 黄雨 赵文 张世琨 王立福 
国家高技术研究发展计划(No.2006AA04A119;No.2006AA04A121);国家自然科学基金(No.60803014)
探讨了一种利用复杂事件处理技术处理RFID高层业务逻辑的机制.通过用复合事件来表达RFID应用系统中常见的高层业务逻辑,将对业务逻辑的处理转化为RFID中间件对复合事件的检测.从RFID中间件检测行为的角度探讨了在这一转化过程中事件定...
关键词：无线射频识别 无线射频识别中间件 复杂事件处理 复合事件检测 有色网 
基于同步网的BPEL建模和验证
《系统仿真学报》2007年第A01期97-100,共4页徐春香 屈婉玲 王捍贫 黄雨 袁崇义 
973项目(2002CB312004);863项目(2006AA01Z160)。
Web服务组合是面向服务架构的一个应用,是指将已有的Web服务组合成为新的服务。业务流程执行语言BPEL(Business Process Execution Language)是一种描述Web服务组合的语言。为了保证BPEL描述的Web服务组合的正确性,提出了分层建模和验...
关键词：WEB服务组合 BPEL 建模 验证 同步网 WSL_net 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部