国家自然科学基金(69973003)
- 作品数：6 被引量：46H指数：3
- 相关作者：袁崇义余鹏屈婉玲王小明马建峰更多>>
- 相关机构：北京大学陕西师范大学西安电子科技大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 并行程序与状态序列——交叉语义约定的研究
- 2003年
- 许多程序模型是以数学或逻辑为基础设计并分析的,但程序模型的实现首先是个物理系统,它依物理规律,而非数学或逻辑规则活动。但人们习惯于用状态序列对并列程序模型的语义作数学处理。一旦偏序的状态空间用交叉的方法全序化,并用于论证程序性质,误导就在所难免。所谓误导,指的是与实际运行的偏差,借助于Petri网,可以将它们暴露出来。其实偏差的出现与Petri网的基本现象冲突(conflict)、冲撞(contact)、并发(concurrency)和混惑(confusion)相关。本文用Petri网分析误导的情况。
- 袁崇义余鹏王生原
- 关键词：PETRI网冲撞并发
- 并发面向对象中的继承反常现象被引量：3
- 2002年
- 如果不考虑继承性,并发性与对象技术的结合是很自然的.继承反常(又称继承异常)现象是继承性和并发性不相容的主要原因之一.现阶段人们对继承反常现象的认识有许多模糊之处,出发点不尽相同,形式化的工作也很少.对不同的subtyping关系考虑其特有的渐增式继承方法有利于把握继承反常现象的实质,也丰富了在并发面向对象语言中应将inheritance层次和subtyping层次区别对待这一认识的内涵.在阐述基本观点之后,采用范畴论的术语对相关的概念和定义做了形式化工作.一些观点和结论适用于区分和解释相关工作的出发点和贡献,并对并发面向对象技术中继承性的建模问题有所启示.
- 王生原杨良怀袁崇义杨萍
- 关键词：并发面向对象范畴论程序设计
- 一种新的RBAC角色协同关系及其Petri网模型被引量：7
- 2003年
- 角色授权约束是RBAC研究的重要内容 .有效表达多角色授权和激活的序约束是一个难点问题 .提出了新的角色授权协同及其序关系 ,扩展了现有的角色关系概念 ,使RBAC能够表达复杂的角色授权和激活序约束 .其次 。
- 王小明王小明赵宗涛
- 关键词：序关系时间PETRI网
- 支持AFTER子句的综合算法研究
- 2005年
- 为了提高综合系统的效率 ,减少对综合系统的人工干预 ,提高其自动化程度 ,对 VHDL 硬件描述语言中的AFTER子句进行研究 .通过对其行为综合语义的定义 ,给出了在 AFTER子句时延约束下的 ASAP和 AL AP算法 ,建立了 AFTER子句时延约束下的调度模型 ,并采用整数线性规划法求解调度模型 .实验结果表明 ,在综合过程中考虑 AFTER子句 ,不仅提供了一个有效给出时序约束的手段 ,而且使得设计描述方式更能够符合思维习惯 ,同时扩大了行为描述中可用语法范围 。
- 程利新石峰
- 关键词：数据路径
- 基于Petri网的工作流模式——工作流模式分析研究被引量：36
- 2003年
- 随着企业建模、工作流概念的出现以及相关技术的发展,Petri网因其既有严格的形式定义,又有直观的图形表示,既有丰富的系统描述手段和系统行为分析技术,又为计算机科学提供坚实的概念基础等诸多优点也被应用于这一新兴领域,对工作流理论基础进行研究。本文将利用Petri网来描述和分析工作流的各种模式,比较模式之间的异同,并对模式进行合并和重划分。
- 余鹏周国富屈婉玲袁崇义
- 关键词：工作流PETRI网连接器
- 程序属性的UniNet描述
- 2003年
- 在传统建模方法中,程序操作和程序自我控制相脱离,使得程序的计算与并行特性不能形成完整的一致性的描述,因此形成的规范都只是从某一个角度来刻画了程序。为克服这些不足,本文在揭示程序状态与操作,操作与控制共存的事实的基础上,采用UniNet独特的描述方法来完整而全面地刻画程序。
- 周国富余鹏袁崇义屈婉玲
- 关键词：PETRI网UNITYUNINET
