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

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

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

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

千兆网技术综述

本文从千兆以太网及其发展现状，特点、标准，如何构建千兆以太网以及千兆以太网的发展前景等几方面对千兆以太网技术进行了较详细的描述，使读者从理论上更好地了解千兆以太网。     

深空网伪码测距技术研究

介绍了NASA深空网所采用的伪码测距的基本原理,讨论了深空航天器应答机相干转发或再生所采用伪码序列的两种形式,对再生测距系统中的具体序列产生和相关、以及用中国剩余定理解算距离的实现方法和技术途径进行了分析,并计算分析了测距精度、捕获时间等系统关键指标,以对我国深空网的建设提供技术理论参考.     

基于模糊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%以内.      

基于资源动态配置的IMA任务调度机制研究

航空电子系统对于任务执行的实时性有很高的要求。本文通过对综合模块化航空电子(IMA)下的航电任务进行分析,提出了一种基于资源动态配置的任务调度方案,包括资源管理、任务管理以及任务调度等。通过利用随机Petri网对该调度方案的时间性能进行分析,验证了此调度方案可以缩短航电任务的平均执行时间,提高航电系统的效率。     

基于SPN的跑道利用率模型分析与研究

采用随机Petri网(SPN)建立了跑道系统运行约束方程;通过构造同构马尔科夫链建立了系统处于各种状态时的稳态概率表达式;改变变迁的触发速率,分析跑道利用率的变化情况。证明了模型的可达性、有界性,且不存在死点。     

飞机着陆撞网问题研究

在大量调研的基础上，对飞机着陆撞网问题进行了深入的分析与研究，提出了解决该问题所采取的措施，为机场管理和维护工作提供了科学的依据。     

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

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