有色Petri网在软件开发中的应用

为了提高软件开发的质量,尽量在编写代码和执行软件系统之前找出错误,减少软件开发的费用,在软件开发的过程中引入了既有形式化的描述方法又有图形表达能力的工具有色Petri网.在介绍了有色Petri网的形式化定义及其图形表示后,提出了引入有色Petri网后的软件开发框架,最后介绍了一个应用实例.     

基于随机Petri网的通信线路抢占式服务分析

随机Petri网是一种图形化的数学建模工具.对基于随机Petri网的具有抢占式服务策略的通信线 路进行了分析.为了实现高优先级用户对低优先级用户服务中断的模拟,采用了基于变迁的抑制弧.推导 了瞬时概率的表达式.最后,针对2个不同用户的实例,给出了M/G/1/2/2排队模型的分析结果.     

Control model for reconfigurable assembly systems

This paper proposes knowledge based object-oriented timed colored Petri net, a modeling method for reconfigurable assembly systems. Combining knowledge and object-oriented method into timed colored Petri net, a comprehensive and powerful representation model for control of RAS is obtained. With object-oriented method the whole system can be decomposed into concrete objects explicitly, and their relationships are constructed according to the system assembly requirements. Finally, a simple assembly system modeled by the KTCOPN is presented.     

网上作业和考试系统中试题管理模块的设计与实现

针对现有网上作业和考试系统中试题类型单一、自动组卷满意度不高等问题提出了改进.首次提出了采用试题类型模版,避免了试题类型录入的重复;其次,结合现有的技术条件解决了表格、图片、公式、音频和视频的录入问题,使得所设计的系统能够对各种试题类型的数据资源进行录入、存储和使用;最后,实现了自动组卷、手动组卷和手工录入试卷三种组卷方式的自由结合,更大地提高了网上作业和考试系统的便利性.     

Petri网理论在电力系统输电网络故障诊断中的应用

提出了1种利用Petri网对电力系统输电网络进行故障诊断的方法.即先找出电力系统输电网络故障区域,再利用Petri网对此故障区域电网元件建模,并在计算机辅助下快速查找诊断故障点.     

投资决策评价指标的非自恰性分析

投资项目评估的主要标准是NPV和IRR,但两标准之间存在多方面的不自恰性．文章从理论上分析了两种决策指标评价导致结论不一致的原因,提出了新的解决方法,从而使两种方法的评价结果趋于一致。     

工作流模型验证及分解的多项式算法分析

基于工作流的Petri网结构化建模方法,证明了工作流网的T-不变量和P-不变量的存在性、可覆盖性,给出了一个工作流模型完整性的充要条件,进一步得到了基于T-不变量的多项式分解算法,与以往非多项式分解算法相比,克服了遍历的不足,降低了算法复杂度,给出的实例验证了算法的有效性.     

基于Petri网的Web服务组合分析方法

为提高Web服务组合的运行效率,提出了基于有色Petri网的Web服务组合网系统概念,用于Web服务组合的建模和性能分析.以电子资源跨库查询过程为实例,构建实例的理想模型和缓存限制模型.模型支持Web服务组合协调节点间的网络延迟、数据依赖、控制依赖等因素.基于CPN Tools仿真平台,验证了模型的正确性,并在仿真实验中监测了查询延迟、查询成功率、缓存占用率等指标.结果表明,实施缓存限制策略前后,分布式模型比集中式模型均有更好的性能.     

基于随机着色Petri网的RUDP协议建模与分析

鉴于运输层传输协议TCP的低效率和UDP的不可靠性,文章提出了一种新型的多帧无线传输RUDP协议,同时引入了广义随机着色Petri网(GSCPN),并利用GSCPN对本RUDP进行了建模和分析,为以后更好地研究RUDP协议提供了模型参考.     

带岛屿多边形Delaunay三角剖分算法

提出一种适用于任意多边形(含岛屿或不含岛屿)的统一Delaunay三角剖分算法.该算法首先将带岛屿多边形的所有顶点统一构建基于多边形边约束的Delaunay不规则三角网(CD-TIN);基于三角形顶点绕向,提出了多边形域外三角形的判定法则,剔除CD-TIN中的域外三角形,实现了带岛屿多边形的三角剖分.实验表明,该算法在含有大量岛屿的带岛屿多边形三角剖分中具有很高的时间效率和很强的鲁棒性,并成功将其应用到基于剖面的三维矿体建模与可视化系统中,解决了含有夹石或孔洞的矿体剖面多边形三角剖分问题,具有一定的实际应用价值.