袁崇义
【姓名】 袁崇义
【职称】 教授;
【研究领域】 计算机软件及计算机应用;电信技术;自动化技术;
【研究方向】 Petri网
【发表文献关键词】 知识库一致性,UNITY程序,知识库系统,河内塔问题,知识库,Petri网模型,检测算法,Petri网,继承反常,代数并发语义,冲突,程序组合,л演算,模式,专家系统,渐增式继承,河内塔,并行程序,P...
【工作单位】 北京大学
【曾工作单位】 北京大学;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/24 13 23 7 230 4325
中国期刊全文数据库    共找到20篇
[1]孙基男;黄雨;黄舒志;张世琨;袁崇义;.一种基于Petri网的RFID事件检测的形式化方法[J]计算机研究与发展.2012,(11)
[2]马森;赵文;袁崇义;张世琨;王立福;.基于规则推理的语义检索若干关键技术研究[J]电子学报.2013,(05)
[3]袁崇义;黄雨;赵文;.程序:物理对象上的操作表达式(英文)[J]计算机科学与探索.2009,(02)
[4]袁崇义;赵文;高昕;黄雨;.O-表达式的性质定义与规范(英文)[J]计算机科学与探索.2010,(01)
[5]袁崇义;黄雨;赵文;黄舒志;.操作表达式的Petri网表示(英文)[J]计算机科学与探索.2010,(11)
[6]李信鹏;赵文;刘殿兴;袁崇义;张世琨;王立福;.基于RFID发现服务的一种供应链建模技术[J]电子学报.2010,(S1)
[7]闫哲;赵文;袁崇义;王立福;.基于同步网的工作流过程变动问题研究[J]电子学报.2006,(02)
[8]赵文;袁崇义;张世琨;王立福;.一种模型驱动的工作流过程定义途径[J]计算机科学.2006,(12)
[9]袁崇义;.赋值:物理对象上的操作(英文)[J]计算机科学与探索.2008,(05)
[10]袁崇义,余鹏,王生原.并行程序与状态序列——交叉语义约定的研究[J]系统仿真学报.2003,(S1)
更多
中国重要会议全文数据库    共找到4篇
[1]黄雨;袁崇义;王捍贫;.工作流模型精化及验证[A].2005年全国理论计算机科学学术年会论文集.2005-08-01
[2]霍金健;袁崇义;屈婉玲;.基于Petri网的工作流仿真原理及实现[A].系统仿真技术及其应用（第7卷）——'2005系统仿真技术及其应用学术交流会论文选编.2005-08-01
[3]霍金健;袁崇义;屈婉玲;.基于Petri网的工作流语义研究[A].2005通信理论与技术新进展——第十届全国青年通信学术会议论文集.2005-08-01
[4]霍金健;徐春香;屈婉玲;袁崇义;.SimNet——一种新型的工作流仿真模型[A].2006年全国理论计算机科学学术年会论文集.2006-08-01
更多
承担国家科研项目    共找到2个
[1]袁崇义;.非交叉语义并行计算模型及其语义组合规则[A].北京大学;.项目经费 13万元.1999-03-31.资助文献数 4 篇
[2]苏开乐;王捍贫;刘田;叶峰;袁崇义.信息服务的构造与验证[A].北京大学.项目经费 -.2009-03-31.资助文献数 0 篇
更多