基于TCPN的装备维修保障资源管理模型

探讨了一种带优先级的时间有色Petri网,并利用其建立了一种装备维修保障资源管理模型,尔后利用CPNTools进行了仿真;分析了维修过程的总体运行、资源利用率等情况,提出了资源优化配置和调度的方法。     

自动导引车系统的有色时延PN-有向图建模

基于有色时延Petri网理论、有向图理论、PN的合成和简化技术,结合烟草行业的卷接包车间为典型实例对自动导引车系统(AGVS)进行分析,构造了AGVS的有色时延Petri网-有向图模型,包括适合于仿真软件开发的AGVS有色时延Petri网模型,适合于路径优化研究的AGVS有向图模型和从有向图模型得到有色时延Petri网模型的转换算法。利用该模型成功的开发了AGVS仿真软件系统AGVSim。     

带监督弧的扩展Petri网模型及其应用研究

Petri网是对分布式系统进行分析和建模的图形化工具,它在系统出现并发、冲突和同步等现象时具有很强的描述模拟能力。提出了一种带监督弧的Petri网扩展模型,引入监督弧使复杂的Petri网模型变得简化,而且有利于Petri网模型的模块化设计。最后研究了带监督弧的Petri网应用并作了相应实验仿真,结果验证了监督弧的有效性。     

基于可执行规格说明的维修机构建模与仿真

为分析维修机构的性能,采用基于赋时有色Petri网的可执行规格说明语言建立了维修机构模型。模型采用自顶而下逐层分解细化、组件重用和基于状态的Petri网建模方法,对维修机构进行维修资源分析,并对动态组成维修小组和维修过程的系统状态变化过程进行了详细描述,准确反映了维修机构的维修等待和资源竞争现象,同时将定量关系嵌入到描述模型中。通过模型执行,以动画显示系统状态的变化,分析系统性能。最后给出了一个建模与仿真实例。实例表明,基于可执行规格说明建模和仿真方法是研究维修机构运行的有效工具。     

基于约束组合CTPN的带式输送机系统建模

带式输送机控制系统是复杂实时系统,基本Petri网在描述该类系统时会出现＂节点爆炸＂问题。提出采用约束组合弧来克服该问题。约束组合弧不仅可以描述库所组合触发变迁的效果,而且可以描述变迁发生时部分输入库所托肯不变的情况。在为带式输送机控制系统建模中,提出了基于时间Petri网的带式输送机联锁控制系统模型,并将时间Petri网模型折叠成约束组合有色时间Petri网模型,提高了模型的抽象能力,降低了模型复杂性。     

库所组合有色网-一种新型的有色网

为了解决用Petri网描述复杂系统时出现的"节点爆炸"问题,本文提出了四种特殊的弧约束弧、柔性弧、组合弧和因果弧.库所组合有色网就是在有色网的基础上添加这四种特殊的弧得到的,这种网系统并没有增加描述能力,但在描述具有组合效果的系统时具有强大的先天优势.本文通过为电梯控制系统建模示例了这四种弧为简化模型带来的便捷之处.     

基于嵌入Petri网的GERTS维修保障流程仿真模型研究

在分析维修保障流程建模与仿真重要性的基础上,分析了GERTS模型和Petri网模型在流程仿真中的应用特点,提出了基于嵌入Petri资源约束网的GERTS仿真模型,并给出了具体的仿真算法。该模型通过在GERTS模型中嵌入Petri资源控制网,解决了GERTS难以对具有较强资源依赖性的过程很好描述的缺陷,可用于复杂流程的仿真建模分析。最后,文章针对某型生产设备的维修保障流程进行了实例分析。     

产品开发过程资源管理及其仿真

资源建模是现代产品开发过程管理的一个重要问题。首先分析了产品开发过程中的资源及其属性和分类，形成了可以在仿真模型中应用的资源类。应用有色Petri网仿真软件，建立了基于资源分配和控制的产品开发过程模型。在对模型的交互式仿真过程中，实现了对资源使用性能的定量分析和资源优化配置。从仿真结果看，该方法具有很好的应用价值。     

基于有色petri网的多媒体流同步控制

有色Petri网是一种高级网系统,可以为系统建模提供强有力地支持,既可以反映静态结构,又可以描述动态过程。本文针对多媒体的同步控制问题,以信宿端的缓存控制和时间戳为控制策略,建立了变迁时化有色Petri网模型,并对该模型进行了基于Simulink的实验仿真,实验结果验证了该模型的有效性。     

基于有色Petri网的安全协议安全性仿真

如何验证安全协议的安全性是一项非常重要的工作。提出了一种基于有色Petri网的安全协议形式化描述与安全性仿真验证方法。给出协议的有色Petri网模型,分析协议运行过程中可能出现的不安全状态,利用Petri网的状态可达性判断这些不安全状态是否可达从而验证协议的安全性。针对Diffie-Hellman协议给出了具体的仿真分析过程,证明了这种方法的有效性。     

战场抢修多需求点多资源二层优化调度模型

在战时协同维修保障过程中,针对各维修任务间经常发生维修资源短缺及资源冲突的问题,在分析连续消耗条件下战场抢修资源调度的特点及决策目标的基础上,建立了在抢修开始时间最早的条件下支援点数目最少的战场抢修多需求点多资源二层优化调度模型,并给出了算法和优化调度方案.算例分析结果表明了模型的合理性和算法的有效性.     

一种基于Petri网的虚拟维修过程建模方法

在虚拟维修领域,一般采用Petri网进行维修过程建模,存在建模方法复杂、理解困难,无法描述维修工作中复杂的行为关系等问题。因此根据维修资源属性和维修过程的特点,提出了一种实用的建模方法,首先将资源分为可变资源与不可变资源,提出了元模型融合的定义,给出了资源共享元模型和操作过程元模型,同时根据过程模型的拓扑特征,提出了广义状态机的概念,在分析模型结构的基础上,提出了基于广义状态机的子网合并。结合实际维修给出了模型实例,并验证了模型的正确性。     

基于Project的虚拟维修拆装过程建模

分析虚拟维修拆装过程描述的复杂性,提出利用项目管理软件Microsoft Project建立维修拆装过程模型的方法。建立的过程模型主要包括:拆装结构模型、拆装资源模型和拆装运动模型。其中,利用了Project中WBS层次管理、设定任务优先级及任务链接等功能建立基于层次关系和关联关系的拆装结构模型;构造用于表现螺旋运动、直线运动和空间运动的三个描述公式,建立拆装运动模型。最后以某型坦克起动电机的拆卸为实例,说明建立的模型能很好地应用于维修拆装过程的描述,并且具有直观性。     

基于HLA的导弹装备军民一体化维修保障仿真系统设计与实现

针对有效开展导弹装备军民一体化维修保障及其训练的需求,提出了开发导弹装备军民一体化维修保障仿真系统的课题. 在分析导弹装备军民一体化维修保障系统的基础上,设计了基于HLA的导弹装备军民一体化维修保障仿真系统体系结构, 开发了联邦成员的对象模型,并运用RTI实现了联邦成员间的信息交互. 最后,设计了仿真系统的仿真流程、时间管理服务和所有权管理服务. 该仿真系统可为提高器材及其他保障资源利用率、科学制定保障方案、加强军民双方协调指挥控制能力提供一个技术平台.     

基于两级策略的器材立体仓库货位分配方法

针对军用维修器材立体仓库的货位分配问题,充分考虑物资的不同存储状态以及货位分配相关的影响因素,提出了一种结合物资需求频率及相关性的多目标货位分配模型。该模型基于分类存储思想,把整个分配过程划分为两级(货物到物资〖JP3〗类、货位到特定物资),很好地适应了军用维修器材仓库的储存特点。针对该模型,设计了基于Pareto保持机制的多目标模拟退火算法,经算例验证,该方法具有良好的寻优性能,达到了提高存储效率的目的。     

基于图论的装备维修仿真模型

文章从图论的角度讨论了装备维修过程中采用的维修统筹图模型 ,并进行了改进 ,以便该模型能够反映出维修过程资源对维修的影响 ,另外 ,该模型还可以用于辅助设备购置决策 .     

基于Petri网的软件维护过程建模及应用分析

软件维护过程建模是实现过程改进、合理分配资源、提高维护效率的基础,它在越来越多的软件需要更新换代的今天更为重要。提出了采用形式化的建模工具Petri网来描述维护过程,从而可以利用Petri网的分析方法,如可达图,不变量对维护过程进行分析。在此基础上,关注Petri网中各变迁的触发时刻,估算维护周转时间、资源利用率等指标,从而为维护过程的优化和改进提供决策上的支持。     

典型陆军部队装备维修作业能力评估系统仿真建模研究

针对陆军部队维修作业仿真评估需求,提出了一套仿真模型设计方案。分析了部队维修作业能力仿真评估原理,进而明确了评估模型需求;给出了维修任务生成、维修保障系统建模方案;结合备件调度和保障设备使用过程,设计了维修保障资源模型。为陆军部队装备维修作业能力评估提供建模基础,用于支撑部队维修作业能力仿真评估系统的设计和应用案例研究。