您的位置： 专家智库 > >

袁崇义

作品数：37 被引量：151H指数：6
供职机构：北京大学信息科学技术学院软件研究所更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划国家教育部博士点基金更多>>
相关领域：自动化与计算机技术电子电信理学更多>>

合作作者

文献类型

  • 24篇期刊文章
  • 13篇会议论文

领域

  • 32篇自动化与计算...
  • 1篇电子电信
  • 1篇理学

主题

  • 20篇PETRI网
  • 8篇工作流
  • 4篇英文
  • 3篇网络
  • 3篇计算机
  • 3篇计算机网
  • 3篇计算机网络
  • 3篇UNINET
  • 2篇信息流
  • 2篇因果
  • 2篇有色
  • 2篇语义
  • 2篇射频识别
  • 2篇同步网
  • 2篇无线射频
  • 2篇无线射频识别
  • 2篇连接器
  • 2篇面向对象
  • 2篇库所
  • 2篇工作流过程

机构

  • 35篇北京大学
  • 3篇武汉大学
  • 3篇教育部
  • 1篇兰州大学
  • 1篇解放军信息工...
  • 1篇清华大学
  • 1篇西北大学
  • 1篇新加坡国立大...
  • 1篇中国科学院数...

作者

  • 37篇袁崇义
  • 12篇屈婉玲
  • 9篇赵文
  • 7篇黄雨
  • 6篇张世琨
  • 6篇霍金健
  • 6篇余鹏
  • 6篇王立福
  • 4篇周国富
  • 2篇黄舒志
  • 2篇王捍贫
  • 2篇王生原
  • 2篇徐春香
  • 1篇刘殿兴
  • 1篇李信鹏
  • 1篇闫哲
  • 1篇刘刚
  • 1篇赵宗涛
  • 1篇孙基男
  • 1篇高昕

传媒

  • 5篇系统仿真学报
  • 4篇计算机科学与...
  • 3篇电子学报
  • 3篇软件学报
  • 3篇计算机科学
  • 3篇第九届全国P...
  • 3篇中国计算机学...
  • 2篇计算机学报
  • 1篇计算机研究与...
  • 1篇北京大学学报...
  • 1篇南京大学学报...
  • 1篇计算机应用与...
  • 1篇'2005系...
  • 1篇第十次全国P...
  • 1篇全国第五次程...
  • 1篇中国计算机学...

年份

  • 1篇2013
  • 1篇2012
  • 3篇2010
  • 1篇2009
  • 1篇2008
  • 1篇2007
  • 4篇2006
  • 6篇2005
  • 1篇2004
  • 8篇2003
  • 1篇2002
  • 3篇1998
  • 4篇1995
  • 1篇1992
  • 1篇1991
共 37 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于规则推理的语义检索若干关键技术研究被引量：8
2013年
针对专业领域复杂的检索需求,目前相关研究采用基于语义的方法来扩展检索范围并提高准确度.在语义推理方面,目前搜索引擎通常直接采用语义网中的推理算法,推理效率不高.在排序方面,基于关键字的搜索引擎的排序算法也不适合对语义检索结果进行排序.针对上述问题,本文给出了基于语义网的语义规则建立方法,并提出了一种基于闭合世界假设的反向链接推理算法,提高推理效率,同时给出了一种基于特征相似性排序算法,使检索结果排序方式更加符合语义检索的特点.基于本文提出的方法,构造了语义搜索引擎MaterialHub,实验表明该搜索引擎提高了检索的准确率和查全率,有较好的查询响应时间,并已经得到实际应用.
马森赵文袁崇义张世琨王立福
关键词：语义检索语义规则
求生有门——信息流的应用
袁崇义
关键词：信息流
基于P/T系统化简方法的工作流过程模型验证被引量：18
2004年
目前工作流技术在管理、生产和科学研究等领域中已经被广泛应用.由于过程逻辑的复杂性和变化性等原因,如何建立良构的业务过程是一个比较现实的问题.因此,对过程模型进行分析和优化成为工作流技术的研究方向之一.首先,根据改进的工作流过程元模型,研究并提出了一种基于P/T系统的工作流过程模型过程网.基于过程网给出了一组化简规则,用于验证过程模型中的死锁和乏同步两种结构冲突.最后,结合一个业务过程实例,根据转换规则把它映射为过程网,应用规则进行化简并得到验证结果.
赵文袁崇义刘刚张世琨王立福
关键词：化简规则
工作流模型精化及验证
＜正＞ 1 引言工作流技术是企业业务过程建模、分析、优化、管理与集成的重要技术之一。工作流过程模型的研究一直是工作流技术研究中的热点,许多研究者和联盟提出了各种工作流的建模分析方法以及描述语言,使用最广泛的是van de...
黄雨袁崇义王捍贫
关键词：REDUCTION
文献传递
从河内塔的并行解到UNITY程序设计被引量：4
1998年
从事并行程序设计实践的人往往把精力耗费在为变量分配内存，为循环体寻求并行上，却忽略对问题本身的分析．其实能否并行的决定因素是应用问题本身．人们往往急于得到能够运行的代码，一开始就把复杂的问题和复杂的并行环境掺和起来了．河内塔（HanoiTower）问题看似无法并行，实际上却允许极大的并行．它的并行解及求解过程对并行程序设计应有一定的启发．
袁崇义屈婉玲
网络系统中文件的并行传输
袁崇义
关键词：数据传输计算机网络
程序属性的UniNet描述
在传统建模方法中,程序操作和程序自我控制相脱离,使得程序的计算与并行特性不能形成完整的一致性的描述,因此形成的规范都只是从某一个角度来刻画了程序.为克服这些不足,本文在揭示程序状态与操作,操作与控制共存的事实的基础上,采...
周国富余鹏袁崇义屈婉玲
关键词：PETRI网
文献传递
用Ｐｅｔｒｉ网设计消息服务器（ＭＰＳ）
孙晓明袁崇义
关键词：一致性计算机网络PETRI网消息服务器
基于同步网的BPEL建模和验证被引量：1
2007年
Web服务组合是面向服务架构的一个应用,是指将已有的Web服务组合成为新的服务。业务流程执行语言BPEL(Business Process Execution Language)是一种描述Web服务组合的语言。为了保证BPEL描述的Web服务组合的正确性,提出了分层建模和验证的思想,将BPEL流程分为逻辑层和语义层,并分别建立形式化模型和验证方法。这样不仅能保证对流程正确地建模,而且能降低建模和验证的复杂度。在逻辑层,BPEL元素映射为基于同步网的WSL_net模型。畅通性和无冗余变迁性质保证了BPEL流程基本控制流的正确性并避免了资源的浪费。语义层的建模和验证将另文给出。
徐春香屈婉玲王捍贫黄雨袁崇义
关键词：WEB服务组合BPEL同步网
基于UniNet的对象概念研究被引量：2
2003年
1研究背景 对象以其良好的模块化和重用性,已经在软件设计和开发过程中得到广泛的应用.面向对象的理论已成为计算机领域的一个研究热点.
周国富余鹏袁崇义
关键词：面向对象软件设计UNINET软件开发建模方法PETRI网
全选 清除 导出
共4页<1234>
聚类工具0