可重构制造系统的性能分析

可重构制造系统的生产管理与控制是实施可重构制造系统哲理的关键技术,而可重构制造系统的性能分析是可重构制造系统生产管理与控制的重要功能。基于可重构制造系统的赋时可重构Petri网模型及其调度Gantt图,提出可重构制造系统的性能指标评价方法,定义最大完成时间、生产资源利用率、作业完成时间和零件的平均生产能力等可重构制造系统的性能指标,并计算了实例系统的性能指标。实例研究表明,可重构制造系统的性能分析方法体现了可重构制造系统的重构柔性本质。     

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

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

支持效率优化的可配置制孔装备控制软件开发方法

针对飞机自动化装配制孔系统下位机开发过程中存在的下位机逻辑复杂、开发难度高的问题，提出了一种支持效率优化的可配置制孔装备控制软件开发方法，可根据工艺信息自动生成飞机自动化装配制孔系统下位机控制软件。对飞机自动化装配制孔流程进行了Petri网建模研究，利用赋时变迁Petri网分析了制孔流程的效率，为配置制孔装备控制软件提供依据。通过定义不同的工艺信息，可配置出适用于不同多轴制孔系统的下位机软件。     

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

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

可重构生产系统的BAOOIM建模法研究

提出了一种集成的建模方法——BAOOIM建模法。这种方法集成了面向对象模型、功能模型、动态模型的优势从不同的角度描述了可重构生产系统,而且BAOOIM建模法采用一定的映射机制在各个子模型之间进行转换,最终在整体上保持了集成模型中各子模型的一致性,从而为可重构生产系统的设计与控制、性能分析和调度奠定基础。     

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

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

机载嵌入式动态可重构计算机设计

动态可重构技术在降低机载嵌入式计算机的体积、重量和功耗方面有巨大的潜力。分析机载应用环境对嵌入式计算机的要求,探讨部分可重构和软件可编程重构两种动态可重构方法,并针对机载嵌入式计算机的需求,从硬件资源利用率、系统灵活性和系统可维护性等方面详细分析比较了两种动态可重构方法。基于部分可重构方法,提出了一种高性能、高灵活的体系结构,有效提高了系统资源利用率,具有深远的军事应用前景。     

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

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

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

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

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

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

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

在装备研制早期,难以有效地利用试验的方法进行维修性估计,此时适合采用仿真手段。对于机械系统拆卸路径的分析与优化,先基于赋时变迁Petri网建立拆卸Petri网模型,再利用A＊算法搜索最优拆卸路径,并确定拆卸时间。为了建立系统整个维修事件的过程模型,对广义随机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.     

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

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

基于CPN的飞机驾驶操纵过程建模及工效分析

驾驶舱人机界面的设计直接关系到飞行员在飞行任务中的操纵表现和飞行安全.分析了飞机驾驶操纵过程中的人机交互特性,基于着色Petri网构建了飞机操纵过程模型并给出了模型的公理化定义.提出了任务可达性,飞行员认知负荷和基于熵值的操纵程序复杂性评估方法,能够实现在驾驶舱设计初期对飞行员认知负荷与操纵过程的分析.结合某型飞机的起飞中断过程给出了操纵过程建模与工效分析实例,表明模型与方法的有效性.     

基于鲁棒伺服LQR的结冰飞机纵向控制律重构方法

由于防/除冰系统总会出现故障或者除冰不彻底,因此仅依靠防/除冰系统实现结冰条件下的安全飞行并非完全可靠,研究结冰后飞机控制律重构对飞机操纵安全和飞行安全极其重要。针对飞机的纵向运动建立了结冰影响模型和纵向动力学模型,采用鲁棒伺服线性二次型调节器(LQR)最优控制设计了飞机结冰后空中飞行纵向控制律,模拟了飞机在俯仰姿态保持模式下遭遇不同严重程度结冰后的动态响应特性,并与常规PID控制进行对比。结果表明,所设计的控制律能够有效改善结冰飞机的飞行性能和飞行品质,准确跟踪给定的俯仰角指令,且抗干扰能力、动态性能以及鲁棒性均优于常规PID控制。为飞机结冰后的重构控制问题和自动飞行控制,提供了新的思路。     

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

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