防化装备维修保障系统的Petri网

为了解决传统的Petri网模型结构复杂、缺少时间描述等不足,在装备维修保障系统建模中,利用有色Petri网、赋时Petri网理论,提出了装备维修保障系统的Petri网模型,具有结构顺序明确、计算简便、效率高等特点。     

基于OPN模型的装备维修保障系统动态性能仿真

为克服用数学方法分析装备维修保障系统的OPN(Object-oriented Petri Net) 模型数量庞大和结构复杂的问题,提出了用CPN(Colored Petri Net) tools 仿真软件分析装备维修保障系统的OPN模型,成功地构建了对装备维修保障系统OPN模型的CPN仿真模型,并用CPN tools对装备维修保障系统的OPN模型进行动态性能仿真。结果表明,用该方法分析装备维修保障系统的OPN模型动态特性是合理可行的,无任何冲突和死锁现象。     

基于Petri网的通信装备维修共享资源的分析

本文以多个通信装备维修任务并发进行,维修时除了基本的维修资源外还共享一些特殊维修资源为例,基于Petri网对维修保障系统进行建模,并对如何能够保证维修任务的可靠性,同时特殊资源又能够得到充分利用等问题进行分析。     

TPN通信导航装备战场抢修系统建模

描述了用时间Petri网(TPN)在装备战场抢修系统(BDAR)建模中的优势,在给出了一种基于时间Petri网通信导航装备战场抢修系统的建模方法和步骤的基础上,建立了一个通信导航装备战场抢修系统的TPN模型,并进行实例分析,验证模型是可行的。     

随机Petri网对装备维修保障的建模与分析

利用Petri网与马尔可夫链的同构关系,采用Petri网与马尔可夫链理论相结合的维修保障系统性能分析方法,对系统性能有效评估提供了理论依据。通过两个不同实例分析了系统状态空间、各状态在稳态下的期望概率、系统可靠性和维修人员的工作强度。实例表明,相比传统的建模方法,在分析装备维修保障各状态间的逻辑关系和系统动态过程中,随机Petri网具有显著的有效性和优越性。     

基于时间Petri网的薪酬绩效系统的研究

本文提出一套薪酬绩效系统模型。系统采用Hibernate连接数据库,以时间Petri网(TPN)的并行式工作流模型建模。文中首先介绍了该薪酬绩效系统的体系结构和系统功能结构,通过基于层次时间Petri网工作流模型(HTPN)对该系统工作流运行时间进行计算。最后对系统通用性、可移植性和效率进行分析。     

基于时间Petri网的薪酬绩效系统的研究

本文提出一套薪酬绩效系统模型。系统采用Hibernate连接数据库,以时间Petri网(TPN)的并行式工作流模型建模。文中首先介绍了该薪酬绩效系统的体系结构和系统功能结构,通过基于层次时间Petri网工作流模型(HTPN)对该系统工作流运行时间进行计算。最后对系统通用性、可移植性和效率进行分析。     

战时装备维修备件携运行量确定方法研究

为科学合理地确定战时装备维修备件携运行量,针对战时的特点,分析了战时典型的装备维修备件保障系统的结构和运行规律;通过数学推理,表明备件保障度与战时装备的战备件完好性直接相关,从而确定了系统的量化目标——备件保障度;以满足战时备件保障度为目标,基于战时备件更新过程理论,建立了单不修复部件和多不修复部件的备件携运行量模型,并给出了相应模型的计算机求解过程,为战时装备维修备件的科学决策提供了模型支持。     

多级保障系统的广义随机Petri网建模与分析

针对多级保障系统的建模及其优化问题,基于广义随机Petri网建立了三级维修二级库存保障系统的工作流模型. 根据不同等级的维修工作流,提出了广义排队时间的概念,运用扩展的排队模型分析各维修流程的性能等价时间. 为了保证单元的可用度,提出了以最小化缺货次数为目标的优化策略. 采用随机Petri网分析方法对模型进行规约优化,并构造同构的马尔可夫链,求解稳定状态概率分析系统性能,获得一种单元可用度的新计算方法.     

Petri网在复杂系统建模中的意义

图灵机模型是计算机的理论模型,它能实现模型相互之间的模拟,但应用于通信系统等异步、并行的复杂系统却很难模拟,从而引入了一种建模工具--Petri网.通过介绍自动机和图灵机的原理.分析Petri网.给出一个具体的基于Petri网建模方式的实例,并对实例模型和现有的建模工具进行比较,从而证明Petri网在复杂系统建模中是处于优势的.     

基于着色Petri网理论的通信装备维修系统建模

讨论了一种基于着色Petri网理论建立通信装备第二级维修子系统模型的方法。该方法通过运用着色Petri网理论的优势对原有的通信装备第二级维修子系统模型进行改造,克服了以往用普通Petri网建模的不足,细化了其系统模型的中间操作过程,有利于模型分析和仿真实现。     

基于指数法的装备维修保障系统效能评估模型

建立了装备维修保障系统效能评估指标体系,利用指数法对其3个组成要素———维修检测系统、备件保障系统和修复技术设备保障系统进行效能分析,构造出装备维修保障系统的效能评估模型;有利于对其效能进行全面、具体的评价,从而方便、快速地确定出其维修保障水平。     

某型导弹检测维修训练的半实物仿真

 针对某型导弹装备检测维修训练实际问题,本文在深入研究检测维修对象和操作过程的基础上,提出了半实物仿真的总体技术方案,设计了基于C8051F040的半实物仿真适配器并给出了适配器硬件结构及软件流程,实现了模拟训练系统对检测维修对象的信号采集和串口通信;建立了基于扩展Petri网的检测维修操作过程模型,采用虚拟现实技术实现了该过程模型并给出了软件结构及具体实现流程,进而构建了虚拟检测维修环境。作为检测维修模拟训练系统的一部分,半实物仿真设计将检测维修对象加入到虚拟检测维修环境,解决了实际训练问题的同时也提高了模拟训练系统的真实感。     

基于本体的通信设备维修案例知识表示与管理

针对通信设备故障维修领域知识表示规范性差、结构性不强、案例利用率低等问题,结合设备维修案例知识多样、异构、经验性强等特点,提出了一种基于本体的三层设备故障维修案例知识管理框架。构建了由领域本体、案例表示本体、特征属性、故障逻辑和真实案例五要素组成的通信设备维修案例本体,并基于关系数据库设计了相应的OWL(ontology web language)本体存储模型及转换算法,实现了维修案例的结构化表示和精细化管理,提高了案例检索的准确率。最后以通信电源交流接触器故障案例验证了所提方法的可行性和有效性。     

基于Arena的通信装备备件保障流程建模与仿真

通信装备备件保障系统的复杂性决定了运用建模仿真技术对其性能研究的适用性及有效性。针对两级备件保障体制下备件配置问题,在分析通信装备备件保障流程的基础上,以备件利用率及故障装备修复率为输出指标,利用Arena仿真软件建立了基于流程的通信装备备件保障系统仿真模型。通过仿真实例,分析了不同备件配置策略对备件利用率及故障装备修复率的影响规律,仿真结果验证了模型的有效性,同时也表明:相比传统建模方法,在描述备件保障过程中变量的随机特性及系统的动态行为方面,Arena软件有显著的有效性和优越性。     

战时任务条件下舰艇装备多级备件优化

战时舰艇装备通常为三级备件维修保障体制和四级备件供应保障模式,各级备件库存是影响舰艇编队任务持续能力的重要因素.在分析编队作战任务过程和备件保障流程基础上,对动态帕尓姆定理进行了扩展,使其适用于车间可更换单元（SRU）在修件数概率分布计算.综合考虑战时动态任务、装备的自然故障和战损故障、备件的报废和采购等因素,建立了战时备件维修和供应保障模式下的舰艇编队任务成功性评估模型.以备件保障费用为目标函数,舰艇编队任务成功性为约束条件,建立了基于舰艇编队任务成功性的备件库存优化模型,并运用边际效应方法对该优化模型进行求解.实例运算表明,该模型可以为战时各舰艇装备保障单位制定保障方案提供一定的决策支持.     

Efficiency Evaluation for the Annual Equipment Maintenance Based on Set Pair Analysis

Most traditional assessment methods, which have complicated mathematic formulas,are difficult for calculation and application in system efficiency evaluation. A new approach to annual equipment maintenance system efficiency assessment,the set pair analysis method( SPAM),has been proposed based on the principle of set pair analysis( SPA). Firstly,the evaluation index system of the annual equipment maintenance is proposed. Secondly,the evaluation model of the annual equipment maintenance efficiency based on the SPAM is built. Then the application processes of the SPAM are introduced. At the end of the paper,a real application example is given. The results of the application indicate that the proposed model is feasible and effective. It can give strong supports to improve the evaluation effect of the unit equipment maintenance support.     

列控-安全信息传输系统可靠性及安全性的形式化分析

基于通信的列控(CBTC)系统使用基于IEEE 802.11系列的无线局域网实现车-地双向信息传输,但是无线局域网无法满足安全苛求列控系统在信息传输可靠性和安全性方面的需求.为了解决该问题,可以采用双网冗余的结构提高无线局域网信息传输的可靠性,再在无线局域网之上增加安全通信协议来保证信息传输的安全性.本文提出在双网冗余无线局域网基础之上增加安全通信协议形成列控-安全信息传输系统(China-Radio),使用随机Petri网建立了双网冗余结构的无线局域网的可靠性模型,并与单网结构进行了定量对比和形式化分析,验证了双网冗余结构可靠性的提升;使用有色Petri网对China-Radio系统建模,并采用模型检验的方法证明China-Radio系统的功能安全性,能够满足列控系统的需求.     

基于生命周期风险图的设备检修策略优化

为提高设备检修策略优化的科学性,考虑检修策略对设备故障率和系统经济风险的动态影响,提出了生命周期风险图的概念,该图表征了一定检修策略支撑下系统风险随设备老化的变化趋势、刻画了经济寿命和可接受风险区间。在此基础上,建立了检修成本影响状态年龄、故障率和运维成本的函数关系,并以包括投资、运维和检修的全寿命周期成本平均值最小为目标,以可接受风险水平为约束,建立了检修次数和检修时间的优化决策模型,采用枚举和遗传算法联合进行模型求解。以区域电网变压器设备检修优化为例,验证了所提方法和模型的有效性。     

水下生产系统关键设备维修策略优化方法

为研究水下生产系统关键设备预防性维修策略制定及优化问题,通过建立以威布尔分布为模型的可靠性衰退趋势模型,构建以可靠性和经济性为指标的多组件系统的预防性维修策略多目标优化模型,并在可靠性预测数学模型的基础上,对水下生产系统中实际生产中各组件全寿期内的维修成本进行计算,并对三种维修策略下的维修成本与可靠性进行分析与讨论。研究结果表明,采用基于功能的多组件成组维修策略可以在对可靠性水平较小的牺牲下,有效降低维修成本,同时有效避免传统成组维修策略中欠维修与过维修的现象发生。