基于Petri网的UML状态图的形式化模型

提出一种可以准确描述UML状态图动态特征的形式化模型SC_Net.首先给出了UML状态图的形式化语法定义,其中用状态集合、转移集合、事件集合、条件集合、活动集合、对象集合和变量集合,定义了一系列辅助函数描述UML状态图特征,用确定目标状态和受限源状态表示层次关系,用开放事件和封闭事件表示对象之间的消息.基于C_Net定义了描述UML状态图动态语义的Petri网模型SC_Net,既能描述状态图中的控制部分,又能描述状态图中的数据处理部分,并给出了从UML状态图到SC_Net的转换步骤,便于实现自动转换过程.最后以柔性制造系统的一个实例说明SC_Net能用于分析UML状态图的性质.      

基于着色Petri网的维修作业建模与人机工效分析

基于着色Petri网和CPN Tools平台,研究了维修作业过程的建模方法,提出了维修作业过程建模方法与步骤,采用模特法计算每一步操作所需时间值,采用人体动作代谢能耗预测模型计算每个操作的能耗值,实现了维修作业建模与仿真、作业序列的控制以及维修人员工作负荷和工作时间的定量计算。以A320飞机前起落架轮胎拆卸作业为例,采用CPN Tools软件进行了维修作业建模和仿真模拟,验证了模型和方法的可行性与有效性。该方法引入了传统维修作业模型中没有涉及的人机工效因素,能够有效评价维修人员的作业舒适性。     

基于外包合同网的自治电磁探测卫星群任务规划

针对具有星间通信能力的自治电磁探测卫星群任务及载荷特点,建立了基于MAS (Multi\|Agent System)的电磁探测卫星群自主规划模型,提出了基于外包合同网的电磁探 测卫星群自主规划算法。根据模拟的数据进行仿真实验及分析,该方法能有效解决电磁 探测卫星群自主任务规划问题。
     

神舟飞船供配电及电缆网设计与研制

介绍了神舟飞船供配电及电缆网的配置组成、功能任务、技术特点、测试及功能验证、以及电磁兼容性、可靠性及安全性设计等。并展望了载人航天二期工程总体电路分系统的设计前景。     

模糊Petri网在航天发射系统故障诊断中的应用研究

航天发射系统结构复杂,各分系统相互耦合,且故障传播模式多样化,故障特征和故障模式之间存在着模糊关系.因此,本文提出利用模糊Petri网对航天发射系统进行故障诊断,并给出了基于模糊Petri网的故障传播模式模型及反正向结合的推理算法.反向推理用于故障诊断,以选择检测路径,有效地找到发生某一故障的原因及其传播路径;正向推理用于计算该故障发生的真实度.文中以某运载火箭控制系统漏电故障诊断为例,说明了该模型直观、表达能力强的优点,同时表明了算法的适用性和有效性.     

基于仿真的单元化制造系统的单元分组

在传统单元分组方法的基础上,提出了用仿真方法解决瓶颈机床的分组问题.采用着色Petri网,对生产系统建模.以BEA算法作为分组基础,经过仿真试验得到最终的单元分组结果.试验表明,用仿真的方法能够弥补传统分组算法复杂的缺点.     

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

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

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

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

基于DSPN的航天测控系统任务可靠性仿真建模

提出了基于确定与随机Petri网（deterministic and stochastic Petri nets,DSPN）的航天测控系统（tracking,telemetry and command,TT&C）任务可靠性定量分析方法,旨在对相关航天测控方案进行可靠性预计.通过对TT&C系统任务剖面进行时序弧段划分,考虑实际系统中测控单元阶段依赖、单元故障可修以及各单元参与任务起止时间不同等其他建模方法难以处理的复杂因素,建立了“单元层-系统逻辑层-阶段层”3层相互关联的TT&C系统任务可靠性DSPN模型.通过对模型仿真运行,实现了对给定测控方案下TT&C系统任务可靠性定量化评估.分析表明:仿真结果随着仿真次数增加逐渐收敛,与Markov解析方法求得的精确值对比误差控制在1%以内.      

可压缩粘性流动笛卡尔网格虚拟单元方法研究

以二维高雷诺数可压缩粘性流动问题为背景,提出了一种全新的笛卡尔网格虚拟单元方法。基于壁面函数基本假设,构造了壁面函数-虚拟单元方法(WF-GCM),用于定义湍流壁面边界条件。引入参考点的概念计算虚拟单元上的基本变量与湍流变量值,定义了"非贴体"笛卡尔网格下的湍流壁面边界条件,并通过壁面函数模型修正近壁面单元与界面单元。基于自适应笛卡尔网格体系,采用发展的具有二阶精度的格心格式有限体积求解器,数值模拟了跨音速RAE2822翼型绕流问题与超音速圆柱绕流问题,计算结果与实验值吻合良好,显示了WF-GCM对高雷诺数可压缩粘性问题是有效的。