基于分层着色Petri网的飞机战伤抢修系统建模

飞机战伤抢修的系统模型,基于分层着色Petri网理论建立.即通过引入复杂库所从复杂的主Petri网中划分出子网对系统进行建模,并用复杂库所替换可从主Petri网中分离的子网,这些子网在原来的主Petri网中留下的位置,由一个等价的复杂库所代替,从而简化主Petri网.     

基于着色Petri 网的混杂监控系统建模分析

针对现有建模分析方法在混杂系统中系统建模和性能分析中表现的不足,提出一种基于离散事件监控框架的混杂系统仿真建模分析方法。应用着色Petri网技术构建混杂系统离散事件系统模型框架,内嵌连续系统模型,利用Petri网标识线性约束实现系统动态行为仿真分析和基于局部关联矩阵的Petri网监控设计。基于现有的离散事件动态理论的监控分析,采用离散事件系统Petri网监控方法实现混杂系统监控行为分析。并通过导弹拦截系统案例进行验证,实践结果证明了该混杂建模分析方法的可行性。     

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

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

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

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

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

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

基于Arena 和Petri 网的雷达系统仿真

为研究雷达系统的逻辑行为和系统性能,提出一种基于Petri网和Arena的综合仿真方法。利用Petri网提供的工具,对系统逻辑行为进行单次仿真,分析系统的可行性;运用Arena对系统进行多次仿真,分析系统的性能。结果表明Petri网和Arena相结合是一种实用的系统建模分析方法,可以应用于系统逻辑行为分析和性能分析。     

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

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

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

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

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

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

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

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

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

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

基于模糊Petri网的故障诊断方法

故障诊断专家系统的推理策略取决于诊断知识的表达方式.基于模糊Petri网的知识表达是库所、命题、变迁、输入、输出及其可信度、影射等的集合.基于模糊产生式规则的模糊Petri网模型,能较好地表示和处理模糊知识,并能根据变迁的可信度大小,采用深度优先的搜索方法,以反向并行推理来缩小搜索空间,寻找到一条最有可能产生已知故障的路径.为此,以机车柴油机故障信息诊断系统为例,针对其故障信息的不确定性和模糊性,给出了基于Petri网的模糊诊断知识表达方法,讨论了建立在模糊Petri网模型基础上的反向模糊推理算法.     

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

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

发射车建模与仿真的VV&A应用探索

发射车建模与仿真的校核、验证和确认(Verification Validation and Accreditation,VVA)是建模与仿真过程中保证模型可信度的重要环节,简要论述国内外VVA的基本概念、研究与应用现状和应用方法。介绍发射车仿真及VVA应用现状,提出发射车建模与仿真中VVA的应用方法以及发射车建模与仿真的VVA应用发展途径。     

Modeling of Testability Requirement Based on Generalized Stochastic Petri Nets

Testability design is an effective way to realize the fault detection and isolation. Its important step is to determine testability figures of merits （TFOM）. Firstly, some influence factors for TFOMs are analyzed, such as the processes of system operation, maintenance and support, fault detection and isolation and so on. Secondly, a testability requirement analysis model is built based on generalized stochastic Petri net （GSPN）. Then, the system＇s reachable states are analyzed based on the model, a Markov chain isomorphic with Petri net is constructed, a state transition matrix is created and the system＇ s steady state probability is obtained. The relationship between the steady state availability and testability parameters can be revealed and reasoned. Finally, an example shows that the proposed method can determine TFOM, such as fault detection rate and fault isolation rate, effectively and reasonably.     

地地导弹机动发射的建模与仿真

针对地地导弹机动发射的分布、并发、异步等特性,建立了地地导弹机动发射的Petri网系统模型。建立了导弹、发射装置和地形的三维模型库。设计并实现了基于HLA的机动发射仿真系统,通过硬件、软件结合的方式仿真了机动发射过程。系统运行结果表明,模型库具有良好的可重用性,仿真系统模块间具有良好的互操作性,可以替代实际装备进行训练。     

面向武器装备体系对抗的多Agent建模方法研究

面向武器装备体系对抗的多Agent建模方法,首先依据Agent的自然描述特性和Agent的人性化特征,在一定粒度上对体系对抗系统进行自然分类,然后建立一一对应的Agent实体模型,并通过对每个Agent实体模型的封装,采用合适的多Agent体系结构对Agent实体模型的综合集成,最终实现对体系对抗系统仿真模型的建立。