卫星集群网络仿真建模与路由算法性能分析

卫星集群是一类基于星间协同工作的分布式卫星系统,具有空间结构灵活、数据共享、智能服务等特点。针对当前卫星集群网络仿真平台及其路由算法的研究的不足,基于网络仿真软件NS-3与卫星场景分析软件STK,设计了卫星集群生成模块,搭建了更准确、通用且可扩展的卫星集群网络仿真平台。通过同单一的STK卫星轨道数据对比,验证了仿真平台中卫星运动模块的有效性。对AODV(自组网按需距离矢量路由),DSDV(目标序列距离矢量路由)和OLSR(链路状态优化路由)算法应用在卫星集群网络中的性能进行了仿真。结果表明:OLSR算法在卫星集群网络中性能最优,其分簇和链路状态感知机制可为卫星集群网络路由算法的研究提供借鉴。     

基于有限状态机的操作系统需求层形式化验证

操作系统是航天器必备的基本软件，操作系统的可靠性和安全性直接关系航天型号任务的成败.虽然目前已采用多种手段对操作系统进行可靠性和安全性保障，但仍存在不能完全排除缺陷的情况，因此对空间操作系统开展形式化验证研究势在必行.需求层验证是操作系统形式化验证的一部分，本文在分析操作系统需求的基础上，采用有限状态机在操作系统需求层进行形式化描述，并针对应用在某航天器上的SpaceOS2在需求层进行了建模，相应地在定理证明工具Coq中进行了描述建模；然后定义了六条操作系统应满足的全局性质并进行了形式化描述，给出了系统模型满足这些性质的机器可检查的证明.证明结果表明采用有限状态机方法对操作系统需求层进行形式化验证是可行的，为进一步全面形式化验证奠定了基础.     

基于变参数广义结构的距离扩展目标检测方法

针对特定杂波背景下的最优或次优检测器结构难以适应过渡杂波环境的问题，首先，给出基于变参数广义结构的距离扩展目标检测器，通过调整参数来适应杂波特性。其次，确定检测器最佳参数的经验公式，经验公式符合数值结果。最后，利用仿真试验分析检测器的检测性能。仿真结果表明，在介于高斯和复合高斯杂波之间的过渡环境中，提出的检测器比现有检测器具有更加优异的目标检测性能，对杂波非高斯程度时空渐变性具有较强的适应能力。     

基于自适应双稳态随机共振的中介轴承故障诊断方法

针对航空发动机中介轴承故障信号微弱，故障特征提取困难的问题，提出了基于容忍遗传算法（TAGA）的自适应双稳态随机共振（BSR）的中介轴承故障诊断方法。在传统自适应遗传算法中引入容忍度思想，建立一种容忍遗传算法，采用容忍遗传算法对双稳态随机共振系统的结构参数a，b进行优化，建立自适应双稳态随机共振系统对故障信号进行处理。为验证该方法的有效性，搭建了中介轴承故障模拟实验系统，开展中介轴承内圈和外圈故障模拟实验。采用该方法分别对仿真信号和实验信号进行处理。结果表明:该方法能够对故障信号进行增强，提升了故障特征频率提取能力。自适应优化结构参数后，提取的特征频率与故障频率理论值的误差小于0.1%。      

我国浮空器的发展与标准现状

总结了国内浮空器的发展情况,简要介绍了国外浮空器的发展现状,对国内外浮空器方面的标准进行了梳理,从浮空器发展的形势分析了浮空器标准编制工作中存在的问题,就浮空器标准体系的建立和完善提出了建议.     

特种加工技术

随着航空工业的发展以及各种新结构、新材料的应用,传统的切削加工方法难于或不能满足要求,特种加工技术在需求牵引下越来越广泛地应用于航空航天等领域,同时也推动着航空航天工业的快速发展。     

面向需求的通用弹药质量评价

为更好地发挥军事需求的牵引作用,将武器装备符合性质量观念提升到适用性质量观念,提高通用弹药质量水平,科学地评价通用弹药质量非常重要.分析了外军武器装备需求实现和现代质量观念,提出了面向需求的武器装备质量评价理念,论述了面向需求的武器装备质量评价的作用,研究并建立了面向需求的武器装备质量评价模型,评价模型贯彻了需求牵引的思想.通过对通用弹药的特点和基本需求分析,建立了科学的、系统的通用弹药质量评价指标体系.     

复苏中的卫星通信业

2004年通信卫星市场处于意想不到的低迷状态,但航天业内人士预测,随着卫星电视直播市场容量的继续扩大及对高清晰电视、高速宽带等卫星应用新业务需求的日益增长,2005年卫星通信市场需求将从低迷走向适度升温。     

虹桥机场调整改造部分店铺 满足旅客多样化需求

日前,虹桥机场根据旅客需求,在新增店铺的同时对现有店铺进行了调整改造,以更好地为旅客提供服务。3月15日,具有百年历史的国际知名皮具品牌——BALLY巴利虹桥T2店完成改造,并正式对外营业。该店铺所在位置为虹桥机场2号航站楼出发8米层禁区内南侧三角区,主要经营皮鞋、皮具等。