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

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

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

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

基于改进Petri 网的装备维修资源需求预测

为解决维修工作分析方法在装备维修资源预测中存在的不足,提出一种用维修工作Petri网(maintenance task Petri net,MTPN)来描述装备维修过程的方法.基于Petri网理论并结合装备维修过程的特点,以某装备液压机构的故障维修为例,建立MTPN模型,并得出所需维修资源的种类和数量.实例结果表明:该方法对装备维修过程的描述清晰直观,得出所需装备维修资源的种类和数量准确详细.     

基于Petri网的排队网分析方法

基于Petri网的排队网分析方法,利用分层仿真方法,先对离散系统进行初步排队网建模并转化为GSPN模型.模型可分为单/多服务窗损失制排队模型、单/多服务窗等待制排队模型、单服务窗混合制排队模型与多服务窗损失制排队模型、单/多服务窗闭合式排队模型几种情况.仿真结果证明,该方法由于GSPN的可执行性和图形的直观性,仿真更为方便.     

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

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

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

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

基于广义随机有色Petri网的测试性建模方法

针对现有测试性模型简化系统故障与测试之间的关系,忽略故障模式之间复杂性的问题,提出一种基于广义随机有色Petri网（CGSPN）的测试性建模方法。在Petri网的理论基础上对故障模式复杂性进行分析,并用不同颜色表示严酷度等级,完成CGSPN模型的构建。应用编码方案区分同一故障的多种故障模式,有效降低建模难度。采用可达性算法获取相关性矩阵。引入三角模糊数算法获取专家知识,将专家数据作为先验信息与后验测试数据相结合,解决数据量少和不可靠问题。以某型导弹为例建立CGSPN模型,对其进行测试性分析,得到96.8%的故障检测率和100%的故障隔离率,在满足系统测试性指标要求基础上丰富了模型的内容,为装备的测试性建模提出了一种新方法。     

基于Agent的Petri网在舰炮系统中的应用

作为传统的舰载武器装备,舰炮武器系统需要向着智能化和自动化方向发展.Agent技术和Petri网理论已成为复杂系统设计和分析中两种必不可缺的工具,这两种技术为舰炮武器系统的研究提供了重要的平台.基于Agent的时间Petri网建模(AOTPN)结合了Agent技术和Petri网理论的优点,即解决了Petri网模型的复杂性问题,又为Agent系统提供了形式化的描述.在此基础上建立了舰炮武器系统的AOTPN模型结构清晰,更好的反映了系统的工作流程和各设备间的交互关系.对模型的分析结果表明,这种方法是有效的,提出的舰炮武器系统协作机制是可行的.     

基于Petri网/JavaBean的物流系统建模仿真技术

基于Petri网／JavaBean的分层有色Petri网(HCPN)物流系统建模，通过建立递阶层次、对象，子网和整个HCPN等模型，将其接入主Petri网(PN)，用颜色描述Petri网中流动的令牌．以汽车总装为例，将物流过程分解成若干子网和HCPN模型．并以HCPN仿真模型为核心，定义通用接口、建立与PN相应的模型组件．用户根据现场布局进行组态，通过拖放和连线建立模型间的联系构成HCPN仿真系统．     

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

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

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

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

模糊Petri网在装备维修任务调度中的应用

针对军事装备维修任务调度决策的非结构化特点,以战时装甲装备的维修任务调度辅助决策为例,详细分析了影响此类决策问题的各方面因素及流程。结合模糊Petri网的基本理论,建立了针对此类问题的模糊Petri网模型JCFPN,该模型明确了推理过程中各因素所占权重、变迁触发的阈值、规则的可信度等,给出了模型推理过程的并行推理算法。通过实例对模型进行了仿真验证,模型JCFPN合理体现了各个因素的主次地位。     

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

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

基于Petri网的导弹技术保障能力评估模型研究

介绍了Petri网理论的基本原理,分析了Petri网的技术特点,根据导弹技术保障的特点研究了模型建立的基本原则,建立了基于Petri网的保障能力评估模型.     

基于时间扩展Petri网的实时嵌入式软件体系结构建模及可靠性评估

软件可靠性是软件质量评估最重要的指标之一,随着软件工程和组件重用技术的发展,近年来基于体系结构的软件可靠性评估已经成为工程研究的热点之一。为有效地提高软件可靠性,调研现有体系结构的可靠性评估模型,给出了现有体系结构模型的分类和模型代表,并分析了现有模型的不足。由于Petri具有良好的扩展性并且对异步和并行软件有良好的描述性,因此重点研究Petri网可靠性评估模型,通过划分时间变迁和瞬时变迁,并引入时间相关的可靠度,包括延时可靠度与时序可靠度,对Petri网进行了扩展,给出了时间扩展的Petri网进行体系结构建模方法。通过研究组件状态和系统可达状态的关系,创建可达状态转移矩阵,对系统进行可靠性评估。将所研究的方法应用于某航电嵌入式系统软件中,完成了体系结构建模及可靠性评估,并通过误差分析验证了该方法的有效性及准确性。     

Petri网在某型舰炮防御过程中的应用

水面舰艇在作战中受到各方面的威胁,为了进行科学地防御,保持战斗力,以某型舰炮的防御过程为研究对象,建立了相应的Petri网模型,使战术规则与变迁相关联,并对射击的决策过程做了定量描述。通过可达标识图对建立的Petri网进行了仿真运行,仿真结果证明了模型的正确性,为下一步研究整个舰艇的防御提供了理论基础。     

一种面向故障诊断的模糊Petri网模型

根据故障发生具有并发性，故障诊断具有模糊性等特点，提出了一种面向故障诊断的模糊Petri网（FPN）模型。从模糊产生式出发，提出了一种新的模糊推理算法。解决了现有算法中不能准确处理产生式规则中“或”逻辑的问题，以及传统的基于模糊Petri网的可达图求解模型描述复杂、推理缺少智能的问题。使用简单的矩阵计算，减少了诊断时间，最后通过飞机故障实例验证了模型及推理算法的正确性和有效性。     

面向对象分层Petri网在对抗系统建模中的应用

从面向对象的自顶向下的设计方法入手,利用Petri网的替换及合成运算,分析了对抗系统建模的顶层Petri网模型。通过进一步细化和分解,利用实际系统逻辑含义分析了各层Petri网的结构性质。为利用Petri网构造高层构建块和分解建模系统提供了一种思路。     

基于对象Petri网的炮兵侦察网的作战模型

将系统分解成敌我两大子系统,再分成若干个独立实体。利用对象Petri网构建炮兵侦察网的OPN模型,实现复杂电磁环境下炮兵侦察网的侦察与信息分发的静态与动态描述。其各子网的OPN模型包括：目标类、雷达类、声测类、观测所类、我／敌方信息中心类、敌方电子干扰类的OPN模型。该研究可为进一步对其侦察效能进行动态评估和作战使用提供理论依据。     

赋时着色Petri网在建模仿真中的应用

赋时着色Petri网(TCPN)在着色Petri网(CPN)基础上引入时间概念,更适于复杂系统建模仿真.其库所赋时实施规则同CPN,变迁赋时实施规则将令牌移入变迁的输出库所.基于TCPN优先权服务排队系统,用CPN的元语言实现优先权排队,由于时间引入,可真实模拟顾客到达时间和服务台服务时间.