基于着色赋时面向对象Petri网的AUV系统建模研究

研究并实现一种着色赋时面向对象Petri网(CTOPN)建模方法,它将面向对象技术与着色赋时Petri网相结合,从而综合了两种方法的优势,降低了Petri网模型的复杂性,增加了时间描述,便于系统定量分析.首先给出CTOPN的形式定义,然后建立AUV系统的CTOPN模型,最后给出模型的死锁检测算法,从而验证模型无死锁,为系统仿真创造了条件.     

一种着色赋时的面向对象Petri网及在自动制造系统中的应用

着色赋时的面向对象Petri网(Colored Timed Object-Oriented Petri Net,CTOPN)是在面向对象Petri网的基础上,添加了着色令牌和输入输出变迁函数的概念而形成的,是Petri网的扩展形式.给出了CTOPN的基本定义和建立CTOPN模型的方法,给出了CTOPN在自动制造系统(Autommated Manufacturing Systems,AMS)中的应用实例,最后对模型进行了死锁分析.CTOPN可以准确地描述复杂系统的静态结构及动态特性,能够成为面向对象系统的一种形式化的建模工具.     

门户网自助系统的扩展有色Petri网建模与分析

文章探讨了一种基于扩展有色Petri网的门户网自动生成系统,详细论述了有色Petri网与面向对象技术的融合方式,给出了面向对象的扩展有色Petri网的映射规则和形式化定义,并构建了门户网自动生成系统的ECPN模型,最后利用状态空间法和系统在实际生产中的效率统计,证明了模型的可用性、高效性。     

面向集成电路制造的基于Petri网的生产调度

本文提出了一个新的面向集成电路(IC)制造的调度方法,核心内容包括两方面:首先,用本文提出的扩展定时Petri 网对IC生产工艺进行描述;其次,对所得Petri 网模型的状态空间进行搜索,得到以Transition序列表示的最优或近似最优调度.该方法可以很好地描述IC制造系统中存在的多制造路径、资源共享、可变晶片组及并发等特性,通过引入测试弧增强Petri 网的建模能力,进而在调度模型上对设备维护、设备优先级以及操作优先级进行描述,而且支持多目标的评价函数,使得到的调度结果更具实用价值.文中给出试验结果表明了算法的有效性.     

基于对象Petri网的水面舰艇编队网络中心战系统建模

介绍了网络中心战的概念和面向对象技术、Petri网及其扩展理论的相关知识,分析了在网络中心战条件下单舰和水面舰艇编队的系统结构组成。根据网络中心战(NCW)条件下水面舰艇编队网络系统的分布、并发及复杂性特点,利用面向对象和Petri网结合的技术,建立了基于对象Petri网的水面舰艇编队网络中心战(NCW)系统模型。     

面向对象Petri网建模技术与应用

面向对象方法使得系统设计简化,符合所描述的现实事物的特点,简单易于理解.但是在设计系统时没有进行严格的检验和验证.Petri网提供了形式化的图形表示,层次化的结构在表示类的继承以及描述对象的动态性方面非常有用.现介绍一种抽象节点技术,将面向对象设计模型转换成层次化的Petri网模型将对象和对象属性封装到数据结构中去,从而结合了两者的优点.     

基于蚁群优化的时间Petri网及其在柔性制造系统调度优化中的应用

Petri网的优化调度求解主要采用基于状态空间的智能搜索方法,执行效率往往不高.提出基于蚁群优化的时间Petri网,通过在Petri网的变迁和进化规则中引入蚁群优化机制,改变Petri网原有的非确定性选择行为,使之具备蚁群寻优选择智能行为,克服了需要基于状态空间进行启发式搜索的缺陷,提高了调度优化的计算效率.最后应用蚁群优化时间Petri网模型,对柔性制造系统的区间Job Shop调度问题进行建模和优化求解.实验结果进一步验证了所提模型和方法的有效性.     

基于UML-OOPN的武器装备体系可靠性建模方法

针对传统可靠性模型在武器装备体系建模中存在的描述能力不足和Petri网建模存在的模型爆炸和模型构建困难问题,引入面向对象建模思想,利用UML模型便于描述系统和对象Petri网模型易于动态仿真的优点,提出了基于UML-OOPN的武器装备体系任务可靠性建模方法,通过建立UML到对象Petri网的映射规则,完成了由任务描述模型向任务可靠性对象Petri网模型的转化,从而实现了两者有效结合,并以某野战防空反导体系为例验证了该方法的可行性和有效性,为解决武器装备体系任务可靠性模型构建和高效输入问题提供了一种新的方法.     

基于DFA-Petri网模型的桥式起重车辆IWD优化调度

为了提高车间桥式起重车辆(OTC)运行的有效调度,实现最短运输时间目标,提出基于DFA-Petri网模型的OTC系统车辆IWD优化调度算法。首先,对OTC系统车辆的时间-序列模型进行描述,并利用Petri网模型方法来简化优化约束,利用有限自动机(DFA)方法实现OTC系统状态空间二进制输入的降维,降低模型复杂度;其次,构建基于DFA-Petri网的OTC系统车辆优化调度模型,并利用智能水滴算法(IWD)进行调度优化;最后,通过仿真实验,验证了所提模型在调度时间指标上的优势,体现了所提方法的车辆调度实时性。     

基于Petri网的两阶段网格任务调度模型与分析

首先给出了一种集成P2P模式的网格资源管理模型,针对此模型,提出了两阶段的网格任务调度方法,并分别利用层次颜色Petri网和颜色时延Petri网来进行建模.最后,分析了网格可达任务图,给出了集成P2P模式的网格任务最佳调度方案.     

基于面向对象模糊Petri网的信息物理系统能耗模型

信息物理系统是一种融合了计算、通信和控制的高级嵌入式系统,其能耗分析方法是目前的热点研究问题.文中针对CPS的模块化架构与其组件能耗的不确定性,提出面向对象模糊Petri网作为一种新的CPS能耗模型.在该模型中,CPS的模块化逻辑结构与功能流程由面向对象技术描述,而其不确定性则通过使用模糊数学理论对模型中的变迁能耗属性...     

扩展的模糊时间Petri网

网络实时系统对时间和QoS有严格要求.扩展的模糊时间Petri网是一种对网络实时系统进行建模和分析的形式化模型,Petri网数学理论基础能保证并发系统的可靠性和正确性.本文介绍了扩展的模糊时间Petri网的定义,模型检验方法,仿真工具,网精简技术和应用领域,并探讨了进一步研究的方向.     

含有非马尔可夫过程的排队Petri网模型和性能分析

本文提出了一种新的高级性能模型技术,称作NM-QPN(含有非马尔可夫过程的排队Petri网,Queuing Petri Net including Non-Markovian processes),它综合了排队网,随机Petri网以及模拟求解各自的特点.NM-QPN以模拟模型为总体框架,发挥排队网和随机Petri网各自的优势对系统进行建模.提出了一套完整的NM-QPN模型求解方案,通过流等价方法将模型中的马尔可夫过程进行化简,这样可以大大减少模型的状态,最后再用模拟求解方法求解剩下的非马尔可夫过程.     

Petri网模型在电信结算系统中的应用

由于Petri网模型具有强大的描述离散事件系统的能力,电信综合结算系统采用了基于Petri网的系统模型,作为分析工作流模型的理论基础。讨论了结算系统优化求解模型和工作流Petri网模型。结算系统建立了全局流程管理机制,调度系统统筹管理任务、进程和资源等各方面要素,成功减少了计算机资源消耗,也使结算系统的监控、配置、操纵更加方便和智能。     

随机Petri网模型中变迁的串、并联性能等价化简技术

随机Petri网的状态空间爆炸问题的研究始终是Petri网研究的主要问题之一.在随机Petri网模型中,变迁的串、并联是Petri网模型的主要基本形式,对它的化简不仅有助于解决随机Petri网状态空间的爆炸问题,而且也为其他随机Petri网的化简技术提供一个坚实的基础.另外在诸如工作流、多媒体等重要的随机Petri网模型中也存在大量的变迁的串、并联结构,所以对随机Petri网模型变迁的串、并联的化简,特别是能够推导出它的性能等价的数学公式就显得很有必要.本文详细阐述了随机Petri网变迁的串并联的模型化简技术,推导出了变迁的串、并联化简的性能等价公式,并给出一个化简的例子,最后对结果的相关问题进行了分析.     

一种基于逻辑Petri网的过程挖掘方法

逻辑Petri网是抑制弧Petri网和高级Petri网的抽象和扩展,可在过程挖掘中简洁准确的表示活动之间复杂的业务逻辑关系.本文在传统Petri网挖掘方法的基础上,为了进一步提高复杂系统挖掘模型的简洁度和拟合度,尤其是对并行活动间存在复杂与或关系的系统,提出了一种基于逻辑Petri网的过程挖掘方法,并给出了逻辑Petri网中逻辑变迁的挖掘算法.它可以充分挖掘活动之间的业务逻辑,并且业务逻辑可用逻辑表达式表示.通过与相应Petri网模型的实例比较分析,例证了本文方法的正确性和有效性,且逻辑Petri网模型更加适合日志行为.     

MapReduce的随机Petri网模型研究

首次提出用随机Petri网为MapReduce逻辑模型建立Petri网模型的思想,目的在于采用随机Petri网工作流性质对其进行分析。因此,在研究MapReduce逻辑模型的基础上,为其建立了随机Petri网模型。该随机Petri网模型符合随机Petri网工作流系统的性质,本文利用随机Petri网的工作流系统的性能等价公式,分析了模型的性能,最终求出整个系统的性能参数。该性能参数能够很好地说明MapReduce处理大数据集的优势。     

基于QoS的超级节点模式网格调度研究

提出一种基于超级节点模式的网格管理模型,引入市场经济机制,允许网格用户提出任务的截止完成时间、费用上限以及时间、费用偏好参数,并作为用户QoS参数给出对应的网格复合任务调度算法。根据此算法,利用层次颜色Petri网、价格时延和颜色Petri网对调度过程进行形式化动态建模。最后,构建模型的可达任务图,通过实例分析系统的最佳调度方案及其吞吐量、负载平衡、时间和费用等性能参数。     

基于直觉模糊集决策的多Agent敏捷车间调度

由于静态调度忽略了实际车间调度的不确定性,而动态调度则不一定能达到车间调度的敏捷性要求,为此,研究了基于直觉模糊集决策的多Agent敏捷车间调度方法。文中提出了具有自治性和全局优化性的多Agent敏捷调度生产控制结构。研究了基于粒子群算法的静态调度方案和基于直觉模糊集决策的合同网方法,并将两者进行结合,形成了新的敏捷车间调度策略。最后,进行了实例分析,结果表明该调度策略在敏捷车间调度问题的应用上是有效的。     

面向柴油机制造企业基于MES的车间单元调度探究

针对柴油机制造企业产品结构复杂、加工制造周期长、设备利用率低以及生产过程中人为调度密集,底层信息不能及时反馈等现状,提出了面向柴油机制造企业基于MES的车间单元调度系统。首先分析了系统的体系结构,调度流程以及实现功能,在此基础上建立了车间单元调度的多目标模型,并进一步采用基于TOC的遗传-分散搜索混合算法进行求解,使车间单元调度系统更具科学性和实用性。