基于分层着色Petri网的地空导弹装备维修建模

讨论了一种基于分层着色Petri网理论建立地空导弹装备基地级维修系统模型的方法.该方法运用着色Petri网理论克服了以往用普通Petri建模的不足,细化了其系统模型的中间过程,有利于模型分析和仿真实现.     

飞行程序发布订阅服务Petri网建模分析

发布订阅服务是未来航行情报管理所面临的主要问题之一。利用UML建立了飞行程序发布订阅概念模型,刻画了系统需求和发布订阅的具体过程。建立了相应的Petri网模型,通过可达树分析和P不变量分析得出所建Petri网模型的有界性、守衡性和活性,从而证明了概念模型的正确性和有效性。     

基于MDA的工作流建模技术的研究与实现

为提高企业Web应用系统开发效率,弥补模型驱动架构在业务逻辑建模方面的不足,提出一种基于模型驱动的工作流建模方法。以Petri网为理论基础,提出基于XML的工作流过程定义,并将描述工作流模型的XML作为平台无关模型的一部分送交MDR环境来解释执行。实现了业务流程的可配置,极大提高了Web应用系统开发效率。应用实例表明,可以实现业务流程的自动生成,满足企业业务流程快速开发部署和灵活变更的需求。     

基于OPN和UML的导航装备维修建模方法研究

探讨了一种基于面向对象Petri网与UML模型的系统层次建模方法,结合UML和Petri网分析方法的各自优势,首先利用面向对象Petri网模型描述和分析地面导航装备维修保障系统的动态特性,然后按照一定的映射算法将Petri网模型转化成UML模型的状态图和顺序图,描述地面导航装备维修系统组织结构和系统的静态特征。最后验证了这种方法在地面导航装备维修保障系统建模应用中的实效性、科学性。     

基于Petri网多通道火控系统的建模与分析

多通道火控系统是一个实时多任务系统,具有实时、并发、异步、分布、不确定性等特点。Petri网是描述异步并发现象的一种有效工具。文章以Petri网为工具建立某多通道火控系统的模型,对其结构性能、功能、任务忙闲程度、死锁进行了定性分析,并给出从模型到程序自动转换方法,可有效分析与评价多通道火控系统。     

基于赋时可重构Petri网的可重构制造系统建模

系统建模是可重构制造系统生产管理控制技术的基础。分析了可重构制造系统的建模需求,提出基于赋时可重构Petri网的可重构制造系统建模的方法。该建模方法是先建立可重构制造系统当前系统的赋时可重构Petri网模型,再通过修改其建模元素得到可重构制造系统重构后系统的赋时可重构Petri网模型。实例研究表明基于赋时可重构Petri网的可重构制造系统建模方法能够满足可重构制造系统的建模需求,因此它是可重构制造系统的正确的形式化表示。     

基于Petri网的建模方法在叶片制造流程重组中的应用

采用基于Petri网的流程建模方法,结合数字化条件下叶片工艺流程设计与评估的相关理论,对叶片制造流程进行重组,并绘制流程框图.利用可达树对Petri网模型进行死锁分析,从而减少流程重组的盲目性和风险.最后通过工程事例说明Petri网模型的死锁分析过程.     

基于Petri网的航空维修分解装配序列规划及其应用

Petri网可用于分解装配序列规划中的关系表达与推理，对于零部件数量大的航空发动机，通过求解Petri网可达集搜索目标分解装配序列的方法是NP难度的。基于装配Petri网与分解Pe试网互逆的观点，分剐采用启发式搜索算法和优先级调度算法求解搜索最小可分解和最大可装配变迁集，然后构造最简Petri子网达到降低搜索难度的目的。并将分解装配序列规划算法用于发动机零部件跟踪控制过程中，达到降低和防止维修差错的目的。     

Petri网模型在智能型电话管理系统开发中的应用

基于Petri网模型的智能仪器监控软件设计方法是一种新型的软件设计方法。运用该方法 ,在对智能型电话管理系统中的内部因素和外部因素综合分析的基础上 ,结合Petri网模型理论 (Petri -net-modeltheo ry) ,找到了智能仪器监控软件的形式化描述技术和数学化设计方法 ,给出了其工程化的解决方案。工程应用实践表明 ,Petri网模型及其在智能仪器监控软件设计中的应用是可行而成功的。     

飞机装配生产过程的仿真与工艺优化

针对飞机装配产品结构、生产工艺复杂,装配过程离散,数据量庞大多变,难以建立产品化的信息化解决方案的问题,探索出一种基于Petri网模型建立的模拟装配生产线的模型.通过对离散数据的分析与处理,建立装配过程中相关联变量之间的关系网络,运用时延Petri网TdPN模型具有的成熟的数学分析方法,对装配过程进行模拟分析,从而找到最优的人员、工艺、质量、设备和管理资源的配置,达到装配生产过程的优化.最后,通过对某型号飞机外翼的装配过程进行仿真优化,验证了建模仿真和优化算法的可行性.     

离散事件系统的Petri网图仿真

1.前言 离散事件动态系统DEDS(Discrete Event Dynamic System)的传统分析方法——应用排队论和随机过程理论为离散事件动态系统建立排队网络模型,在很多情况下已不适用。新的理论和研究方法相继提出。其中之一是“皮特里网”(Petri Nets)理论。另一种比较成熟的方法是仿真法,但是,仿真法要以高昂的计算机设备的大量计算时间为代     

A hazard analysis via an improved timed colored petri net with time–space coupling safety constraint

Petri nets are graphical and mathematical tools that are applicable to many systems for modeling, simulation, and analysis. With the emergence of the concept of partitioning in time and space domains proposed in avionics application standard software interface(ARINC 653), it has become difficult to analyze time–space coupling hazards resulting from resource partitioning using classical or advanced Petri nets. In this paper, we propose a time–space coupling safety constraint and an improved timed colored Petri net with imposed time–space coupling safety constraints(TCCP-NET) to fill this requirement gap. Time–space coupling hazard analysis is conducted in three steps: specification modeling, simulation execution, and results analysis. A TCCP-NET is employed to model and analyze integrated modular avionics(IMA), a real-time, safety-critical system. The analysis results are used to verify whether there exist time–space coupling hazards at runtime. The method we propose demonstrates superior modeling of safety-critical real-time systems as it can specify resource allocations in both time and space domains. TCCP-NETs can effectively detect underlying time–space coupling hazards.     

三种系统可靠性评估方法的比较与分析

故障树、故障Petri网和贝叶斯网络是评估系统可靠性、安全性的三种重要模型。其中,故障树在工程中应用最广,而后两种模型其各自具有不可替代的优点,可以弥补故障树在实际应用中的不足。在介绍三种模型的基础上,通过对故障树向故障Petri网转化方法、故障树向贝叶斯网络转化方法的研究,给出描述三种模型的典型逻辑关系等价结构图的表格,揭示三种模型的内在联系。结合该表,提出故障Petri网向贝叶斯网络的转化方法。同时,利用上述三种模型对导弹发动机故障进行对比分析,结果表明故障Petri网使故障传播过程一目了然,而通过故障Petri网络或故障树转化而来的等价贝叶斯网络可计算出更多定量结果。     

基于拆卸及扩展广义随机 Petri网的维修性仿真

在装备研制早期,难以有效地利用试验的方法进行维修性估计,此时适合采用仿真手段。对于机械系统拆卸路径的分析与优化,先基于赋时变迁Petri网建立拆卸Petri网模型,再利用A＊算法搜索最优拆卸路径,并确定拆卸时间。为了建立系统整个维修事件的过程模型,对广义随机Petri网进行了扩展,将其延时变迁与实际分布关联,对基于变迁的维修作业之间的逻辑关系进行了描述,并给出了基于蒙特卡罗法的维修时间仿真算法。最后,以对某火炮装备发射系统不击发故障的分析与排除为例,仿真计算了维修时间均值与方差,并对结果进行了分析。     

Petri网在制造系统建模与仿真中的应用

依据面向对象的Petri网的理论,给出了制造系统的建模过程,最后将统一建模语言(UML)融入到制造系统的建模与仿真中,通过实例进一步阐明了Petri网在制造系统建模与仿真中是如何应用的。     

面向复杂航空电子系统的GSPN 任务可靠性建模研究

考虑资源备份与重构的动态特征,采用广义随机Petri 网对具有资源备份机制的典型航空电子系统架 构进行可靠性建模,通过在TimeNet 平台中开展模型仿真,基于功能模块的可用度指标对系统任务可靠性进行 了评估应用,得到的瞬态仿真结果有效预测了该系统可用度时域特性,稳态分析结果经数值验证具有较高的精 度,该建模方法为航空电子系统动态可靠性评估提供了参考。     

光纤通道交换网络WRR实时调度算法分析

 随着综合航电系统的发展,1553B总线已经不能满足发展的需要,光纤通道交换式网络作为新一代高性能网络通信协议被引入到航电系统中,其性能指标与整个航电系统的总体指标有着密切的关系.为了解决系统消息实时发送的问题,研究了光纤通道交换网络实时条件下加权轮询调度算法的通信性能,利用随机Petri网对光纤通道交换网络的调度过程进行了建模,通过对模型的仿真和分析,得到了数据传输量及传输时限变化时系统网络负载、延迟时间、超时消息所占比例等重要性能指标,并分析了调度算法的性能.仿真结果证明光纤通道交换式网络具有高速稳定性,加权轮询调度算法能够满足消息传输的实时性、公平性要求.     

基于FTP协议网络流量模拟的设计与实现

针对网络实验室中难以实现与真实网络环境一致、需要进行网络流量模拟的问题,提出了一种基于FTP协议的网络流量模拟方案。基于FTP协议特点和网络流量模拟需求,详细分析了网络流量模拟系统的架构、运行拓扑结构,设计了FTP流量的生成算法。通过实验证明,实现的模拟系统可以对模拟流量的发送速度和时长进行设定,而且可以随时进行更改,满足了虚拟网络流量的要求,为网络安全试验提供了模拟的网络测试环境。     

航空发动机滑油通风系统性能计算仿真

采用自主研发的航空发动机滑油通风系统性能分析软件,对某型发动机通风流路进行了数值仿真。数值仿真以流动换热的网络算法为基础,经过结构分析,构建了通风流路仿真元件与节点组成的网络仿真模型。在给定实验条件下,数值仿真了稳态情况下通风流路腔室节点的压力,各密封装置泄漏量的分配。最终的仿真结果与实验参考值的误差在l％以内,验证了数值仿真方案的精度。