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

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

中国深空网首次△DOR联合测轨试验分析

通过分析中国深空网首次△DOR（Delta Differential One way Ranging,双差分单向测距）联合测轨试验的干涉测量事后数据,重点从观测量随机精度、闭合时延等方面讨论了国内深空网与国内VLBI（Very Long Baseline Interferometry,甚长基线干涉测量）观测网、国内深空网与国际深空网的联合干涉处理情况,并与ESOC（European Space Operation Center,欧洲空间操作中心）数据处理结果进行了比对.试验结果表明：我国深空网已具备独立或联合开展深空探测器导航测轨的系统支持能力;深空站系统具备高速率数据接收、采集、记录、传输能力,采集数据处理精度优于1 ns;深空网干涉测量信号处理中心具备多体制信号的干涉处理分析能力,其分析精度与ESOC处理精度差异在0.1 ns量级.     

应急通信中 WSN 的角色及生存性分析

无线传感网（WSN）具有部署方便、灵活健壮的特点,在应急通信场合发挥着重要作用,但复杂恶劣的网络环境对无线传感网的设计和部署提出了更高要求。说明了应急通信的特点,并分析了应急通信中无线传感网的角色及面临的技术挑战。从网络生存性的角度归纳了网络生存性的相关研究工作,并重点探讨了应急通信环境下无线传感网的生存性技术问题。     

天线组阵中SUMPLE算法的合成相位漂移补偿

针对SUMPLE算法在低信噪比时存在的相位漂移问题,在分析权值估计误差引起的合成信号相位漂移现象的基础上,提出一种以固定时刻合成权值作为参考的补偿算法。该算法以收敛后某个固定时刻的合成权值作为参考,其他时刻的相位补偿值通过与该参考权值进行相关计算得到。从理论上分析了该算法的可行性,并进行仿真验证。理论分析与仿真结果表明,所给出的相位补偿方法能有效地消除合成信号的相位漂移现象,补偿后的合成信号相位中心稳定。     

NASA的先进地面站结构

本文描述了用于NASA地面网(GN)的一种新型地面站结构。试结构充分利用正在出现的各种新技术，显著地减小了体积、操作复杂性、操作和维护费用。此结构以空间通信先进系统计划办公室负责研制的新接收机为基础，可以在同一电子系统中综合进地面网和天基网的两种工作模式。通过软件以及电耦合器件（CCD）技术，使其具有极强的重组配能力，具备多种工作模式。而且，功能高度模块化，可根据任务任意选用，最终的系统包括先进的射频、数字和远控技术，能为大量NASA的通信和跟踪任务带来巨大的性能改善和操作及成本的降低。     

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

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

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

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

深空网伪码测距技术研究

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

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

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

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

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