基于HTCPN的装备维修仿真与资源需求确定

针对维修工作分析法(MTA)确定维修资源繁琐复杂,不能体现占用型资源的占用与释放过程的问题,提出了采用Petri网理论来描述维修过程的方法。考虑维修工作特点,对Petri网进行改进,使用层次时间颜色Petri网(HTCPN)建立装备维修过程模型。运用基于JAVA环境下的PIPE软件对模型进行分析和仿真,直观展示出资源占用、释放和消耗的过程,并提取维修过程所需维修资源。以某自行发射装备液压系统故障维修为例,验证了该方法的合理性和有效性。     

基于带优先级时间有色Petri网的装备维修过程模型研究

本文在分析维修过程中确定维修活动次序和选择维修资源常用规则的基础上，为时间有色Petri网的变迁规则增加了约束，提出了带优先级的时间有色Petri网的概念，并利用带优先级的时间有色Petri网进行了维修过程的仿真，仿真结果表明带优先级的时间有色Petri网能更好的模拟实际的维修过程。     

维修机构Petri网建模方法研究

在分析维修机构的任务、过程和资源等建模要素的基础上,提出了面向任务的维修机构性能建模框架.分析比较了离散事件系统建模方法,提出了Petri网在维修机构建模中的优势.研究了维修机构基本建模元素的Petri网实现方法和系统冲突的三种消解策略,包括变迁优先级、可实施谓词和随机开关.为提高建模效率和简化模型结构,提出了系统合成、逐步求精和逐步抽象相结合的Petri网系统建模方法,研究了模型的解析和仿真分析方法.该方法满足维修机构形式化描述和定量性能分析的需要,可进行维修保障效果分析与优化.     

基于Petri网的维修保障流程多层次仿真模型研究

基于Petri网的武器装备系统维修保障流程多层次仿真模型，从简单Petri网开始，用子网代替初始简单网的库所或变迁，自顶向下重复至理想的细化程度．系统的装备、资源及其动态协作关系用Petri资源、库所、变迁描述．其建模过程为：分析维修保障活动→划分活动为独立事件→建立保障流程描述的上层Petri网模型→分析独立的任务过程→得到子过程模型→基本事件的Petri网模型→利用模型仿真计算整个流程的参数及提出改进建议．并以飞机轮胎刹爆维修保障过程详述了该模型的建立．     

基于Petri 网的虚拟维修过程建模

针对维修过程中复杂的活动关系,提出一种基于状态机Petri网的虚拟维修过程建模方法。对维修过程中的约束关系进行描述分析,建立了维修过程逻辑网模型,表达出整个维修操作过程,并结合示例验证模型的合理性。该方法解决了装备复杂维修过程的建模问题,可为实际维修提供技术支持。     

基于UML-OPN的装甲装备维修保障系统建模

为了对维修保障系统正确建模,提出基于UML和Petri网相结合的UML-OPN建模方法。根据建模系统的特点,按照一定的映射算法,通过UML模型和OPN模型分别分析描述了装甲装备维修保障系统的静态和动态特性,不断完善系统的建模模型,并以基层级修理机构为例,验证了该方法在装甲装备维修保障系统建模中的实效性。分析结果表明:该方法极大地降低了系统模型的复杂度,使其更清晰、易懂,且具有良好的可重用性和扩展性。     

基于Petri网的鱼雷保障虚拟训练系统

结合当前鱼雷武器保障训练实际需求,设计了基于虚拟样机和仿真控制技术的鱼雷保障虚拟训练系统方案.详细论述了基于维修知识描述Petri网的鱼雷保障过程,通过分析其保障资源、约束条件和操作过程建模,得出了鱼雷保障过程的建模原则,设计了该虚拟训练系统仿真流程.通过仿真实例说明,Petri网能很好地解决系统中的资源及作业结果对操作过程的约束问题.     

Petri网维修过程仿真模型的HLA邦元改造

Petri网维修过程仿真模型的HLA兼容性改造,采用面向对象方法分析维修过程仿真系统的运行过程,确定其与外界的信息交换能力,将维修过程仿真系统需向外公布和引入信息映射成对象类及其属性、交互类及其参数,确定维修过程仿真系统的SOM.并对其信息接口进行HLA改造,实现Petri网维修过程仿真模型与RTI的无缝连接.     

面向非计划维修停机时间分析的装备维修过程有色Petri网模型

在总结装备非计划维修过程特点的基础上，进行了非计划停机时间组成及影响因素分析。采用有色Petri网建立了多类任务并行维修的过程模型，实现了维修资源动态组合和服务台数量动态变化的形式化建模。结合维修任务生成模型，实现了装备非计划维修停机时间分析功能，最后进行了实例研究。     

运用工作流管理系统的装备保障指挥模型

采用Petri网建模方法,参照工作流参考模型组件和接口,基于VC 开发了图形化的建模工具.以车辆装备大中修管理为例,建立基于Petri网的工作流业务过程模型,映射成经典Petri网,并将其转换成工作流过程定义语言.用ExSpect对工作流模型仿真,以分析模型的正确性及运行效能.     

基于Simpy 的部队装备维修仿真系统设计与实现

针对新形势下装备维修保障的优化问题,提出一种装备维修仿真系统的体系结构。分析部队维修保障过 程中关键要素之间的关系,阐述装备维修仿真系统的用户需求;以维修时间优化为例建立静态维修的任务分配优化 模型,设计动态维修条件下维修保障的过程模型,并采用层次分析法(analytic hierarchy process,AHP)和逼近理想解 排序法(technique for order preference by similarity to an ideal solution,TOPSIS)对不同维修分队的维修效能进行比较。 基于离散事件仿真库Simpy 实现了仿真系统的数据分析仿真功能,结合某型装备的维修保障数据进行了仿真验证, 仿真结果表明,该系统能为装备维修的流程设计、资源配置与优化等方面提供参考依据。     

基于模糊概率Petri网的弹载二次电源故障诊断模型

针对某型弹载二次电源的故障诊断问题,采用模糊Petri 网进行建模验证。在传统模糊Petri 网的基础上, 通过引入变迁概率信息,阐述模糊产生式规则及基于矩阵的推理运算,并对其进行建模验证。结果表明：模糊概率 Pteri 网适用性强,基于矩阵的推理运算清晰、高效,易于诊断模型库的扩充、维护。     

工程装备维修能力优化评估系统的Petri网仿真模型

结合我军的技术保障制度和装备的具体维修过程,考虑装备维修能力的指标体系及影响因素,建立工程装备维修过程的Petri网模型,充分反映装备维修能力与其影响因素之间的关系,并通过装备维修能力评估实施过程这一实例,表明工程装备维修能力优化评估系统的开发具有现实意义。     

基于Petri 网的给水保障方案建模与优化

针对现代战争中给水保障面临着保障环境复杂,保障空间扩大,净水难度大,供水保障强度大等问题,提出一种基于Petri网的给水保障方案。利用Petri网可对系统资源动态和静态分析的特点,在分析给水保障方案流程的基础上,建立基于Petri网的保障方案流程模型,并对模型进行了详细分析,给出优化的具体方法,实现了给水保障根据战场态势动态调整的效果。该模型提高了给水保障的能力,使给水保障适应现代战争的要求。     

基于petri网的自动装弹机故障诊断推理

针对自动装弹机零部件众多、工作流程复杂、故障多发、故障原因机理多种多样等问题,采用petri网的方法对自动装弹机故障原因进行了快速推理诊断。在分析基于Petri网故障诊断方法步骤的基础上,利用petri网构建了自动装弹机故障模型;以旋转输弹机为例,建立了关联矩阵和状态方程,并对其故障进行了推理诊断。结果表明,与传统的完全故障树方法相比,基于Petri网的故障诊断推理方法具有图形直观明了、推理快捷、故障诊断数学化等优点,这对于自动装弹机快速诊断和适情适时维修具有重要的实用意义。