一种基于改进蚁群算法的维修拆卸序列规划方法

鉴于现有的蚁群算法用于维修拆卸序列规划时易受到初始序列的影响而陷入局部最优解的问题,本文根据维修拆卸的特点,基于DCPN模型构建了拆卸Petri网可达图,将拆卸序列规划问题转化为对Petri网可达图最优路径的搜索问题。同时以拆卸代价最小为目标,提出了一种适用于维修拆卸序列规划的蚁群算法,并以飞机前机身电子设备舱设备作为典型实例,验证表明该方法准确有效。     

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

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

基于CSPNAT的航空维修测量过程仿真

维修检查仿真系统有利于培训机务人员的测量技能,维修测量仿真是维修检查仿真系统的核心技术。针对测量过程仿真中测量对象种类繁多,通过引进自顶向下设计方法对Petri网进行理论扩展,在基本Petri网的基础上引入颜色标记、随机时间变迁,对测量对象、测量工具等要素进行描述,构建基于自顶向下设计方法的CSPNAT测量过程模型。通过实例验证其有效性和优越性。     

面向多层次赋时Petri网的维修动作要素时间度量方法研究

针对装备研制阶段维修时间度量缺乏有效方法的问题,探讨了一种基于虚拟维修模型的维修动作要素(简称动素)时间度量方法,为后续深入开展基于多层次赋时Petri网(HTPN)的维修时间度量奠定基础。首先,在虚拟维修仿真的基础上,按照维修事件分层设计的方法,提出了"维修事件-维修活动-维修动素"的维修过程层次化分解结构。针对底层维修动素时间度量问题,提出了基于改进模特法的维修动素时间度量方法。然后,将维修动素流程数据映射至Petri网,构建了基于HTPN的维修过程模型。最后,通过实例对上述方法进行了应用分析。     

机场场面运行控制仿真软件开发及关键技术

针对飞行区场面运行控制仿真的需求,在Anylogic仿真平台上设计和开发了基于Petri网的飞行区场面运行控制仿真软件,并用于实现A-SMGCS冲突监控算法。通过分析基于Petri网的场面运行建模与控制仿真需求,确定了软件的功能目标和体系结构。研究了软件实现和开发中的几个关键技术问题,如Petri网模型基本类的设计、面向闭环控制的Petri网模型扩展定义、开环和闭环场面运行Petri网模型的仿真算法设计。某机场飞行区的场面运行控制仿真表明,软件可以完成场面运行的闭环控制仿真,支持实现冲突监控算法。     

通航维修资源调度分配方法及应用研究

通航维修作业多为跨地域作业且作业时间多具有不确定性,这给通航维修资源的调度带来了一定困难。针对通航维修资源调度是一个典型的离散事件动态系统,结合Petri网模型理论,建立了基于着色和时间的高级Petri网维修资源调度模型,通过该模型用于维修资源的预调度,实现了调度时间预估、可视化调度状态查询。根据预估调度时间结合实际通航维修资源的状况,通过动态规划算法对维修资源进行合理分配,达到了保障飞机持续适航和提高维修资源利用率的目的,为通航维修资源的调度分配提供理论支持和应用参考。     

基于扩展Petri网的飞机装配系统设备调度方法

针对飞机装配过程中设备调度的复杂性,提出了基于扩展Petri网构建设备调度模型的新方法。结合飞机装配的实际特点,论述了模型定义过程和建立方法。该模型以面向对象Petri网表达飞机装配过程,以赋时Petri网将装配过程与辅助设备相关联,利用混合算法以时间和设备利用率为目标对模型进行优化求解。以某模型飞机中机身装配过程为例,应用该方法进行建模并求解,实例应用与分析表明该方法对实际装配设备调度具有较大的指导意义。     

基于模糊Petri网的维修保障活动可视化建模与仿真研究

介绍了模糊Petri网矩阵推理算法,并对模糊Petri网中的元素进行了抽象定义,同时,为了仿真实现矩阵推理算法,定义了用于存储模型数据和中间计算结果的动态数组,并给出具体代码建模流程图。最后,作为验证实例,应用飞机前轮更换轮胎对该维修保障活动仿真软件进行验证。结果表明,该软件可对该维修保障活动进行建模,即直观清晰地体现出飞机某环节维修保障活动的进程,同时也可以根据相关参数进行分析,将能为在航空系统产品保障效能评估中找出可靠性、维修性、测试性和保障性设计存在的薄弱环节提供技术支持。     

基于FWFPN的装备保障性定性指标评价算法

以模糊Petri网为基础,将权重、可信度等约束条件应用到模糊Petri网中,建立了一种新的、称之为加强的带权模糊Petri网;给出了加强带权模糊Petri网的形式化推理算法,并将推理算法与矩阵运算相结合,用Matlab进行计算;最后,结合舰炮装备的一些保障性定性指标对该推理算法进行了验证.     

基于Arena的飞行前机务准备流程仿真与优化研究

运用面向对象Petri网（OOPN）和随机Petri网（SPN）对飞行前机务准备流程进行建模,在所建立模型的框架下利用Arena进行仿真和分析,并采用流程优化理论进行优化,对优化后的流程进行仿真和分析。结果表明,优化后的飞行前机务准备时间较主机厂所的准备时间明显缩短,同时根据保障人员岗位配置新模式,人员工作量均衡问题得到了改善。     

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

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

基于着色Petri网的航空发动机总装作业调度研究

针对航空发动机作业并行交叉的特点,提出一种“自底向上”的柔性建模方法,着重描述异类对象作业工序对资源的占用与冲突。引入基于资源库所的共享合成运算,解决了Petri网结构重用性差而无法动态建模的问题,合成模型具有守衡、有界和无死锁的结构性质。模型的状态方程在极大-加法代数意义下具有线性的形式,结合遗传算法实现基于周期的静态调度优化。     

基于工效分析与过程仿真模型的机载设备拆装时间评估方法

机载设备拆装时间是重要的维修性设计指标,是选择或优化设计方案的重要参数。提出一种以过程 仿真模型为基础,综合考虑维修作业复杂度和维修工效评估结果的拆装时间综合评估方法。首先,将机载设备 拆装过程分解为基础维修活动单元,规划仿真过程并建立仿真模型;然后,使用模特分析法分析基础维修活动 时间,并根据维修作业复杂度与维修工效综合评估结果确定维修时间修正系数,修正基础维修活动时间;最后, 根据基础维修活动时间和工作流程评估机载设备拆装时间,并以飞机发动机拆卸时间分析为例进行应用验证。 结果表明:该方法可对机载设备拆装时间进行准确评估,能够满足飞机研制的需要。     

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.     

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

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

基于遗传算法的飞机维修拆卸/装配序列规划研究

飞机维修拆卸/装配序列规划是整个飞机产品维修作业的重要组成部分,同时也是飞机远程诊断与远程维修的重要研究内容。针对飞机维修过程中拆卸/装配序列规划问题的特点和要求,本文从维修产品的拆卸/装配过程稳定性、拆卸/装配方向和拆卸/装配工具的改变次数三个方面来设置目标函数,解决了零件数量大的产品规划计算效率不高且没有考虑产品的维修过程稳定性问题。本文开发出了基于遗传算法的飞机维修拆卸/装配序列规划系统,并结合具体产品进行了验证。     

基于小生境遗传算法的航空发动机维修构型控制

为实现航空发动机维修中构型控制,建立了基于Petri网的构型控制描述模型,通过变迁序列的激发求得改型后可能的零件集合,作为后续的约束满足条件,并提出一种基于小生境遗传算法的发动机构型多方案求解方式.