重庆进近雷达管制顺利实施

按照西南空管局和重庆空管站的预定方案，重庆进近管制室雷达管制已于2005年11月24目零时正式实施。     

基于Object-FMA的软件代码审查方法

针对传统代码审查方法中使用的检查单具有的两个不足:缺少从代码到检查单缺陷记录的映射方式,检查单记录的代码缺陷类型不全而导致审查时代码缺陷的遗漏,提出了一种将代码进行层次划分,并使用对不同层次代码对象进行失效模式分析来代替使用传统检查单的代码审查方法.此外,提出了一种对象失效模式分析方法(Object-FMA,Object Fail-ure Modes Analysis),用于系统地分析代码对象的失效模式,为不同层次的代码对象建立失效模式库.在某型号软件的代码审查中对该方法进行了实例应用,结果表明此方法提供了一种从审查代码对象到失效模式库的映射方式,提高了代码审查的效率,审查时不仅能发现传统检查单中记录的代码词法、语法和常见语义的缺陷,还能有效地发现代码中人为疏忽或算法设计错误而引入的代码缺陷.     

网络端口线序自适应功能的分析与应用

在网络组建过程中,不仅双绞线的接线质量会影响网络的整体性能,双绞线在各种设备之间的接法也非常有讲究。有经验的网络管理员都知道,在选择网线的时候需要注意的一点就是线序问题。     

基于轴线马赫数分布的喷管扩张段无粘型面设计

针对高超声速风洞轴对称喷管设计问题，开展了喷管扩张段无粘型面设计研究。介绍了基于预设轴线马赫数分布的直接设计方法，改进了基于面积比的轴线马赫数分布预设方法，提出了一种方便多点控制的轴线特征点分布方法。对设计喷管流场进行特征线网三角化，与数值模拟结果进行比较，并分析了影响喷管无粘型面的设计因素。表明:改进的面积比方法可以保证轴线马赫数分布预设的合理性；轴线马赫数分布、轴线上特征点分布和边界特征点数明显影响喷管无粘型面。     

俄首次试射“安加拉”火箭

俄罗斯“安加拉”系列运载火箭7月9日在普列谢茨克发射场进行了首次亚轨道试射。试射采用了专为这次首飞建造的“安加拉”1.2PP火箭（PP表示“首飞”）,全长约43米,携带了并不入轨的一个模拟有效载荷,所配备仪器设备用于记录和传送飞行各阶段的各种技术参数。飞行持续了21分钟,火箭第二级和模拟有效载荷按预定计划落到俄远东地区的堪察加半岛。     

基于ASBU的遥控驾驶航空器系统解读

为更好地理解和发展遥控驾驶航空器系统,以国际民航组织推出的"航行系统组块升级"为框架,从"运行概念"、"实施规划"、"技术支持"3个方面对RPAS进行阐述,进而指出"指挥和控制链路功能"和"感知和避让功能"的可靠性和效率对于实现RPAS的重要性,最后提出确保以上功能实现的关键技术,为实现遥控驾驶航空器与载人大飞机融合运行提供参考借鉴.     

基于扩展Petri网的除冰软件安全需求建模和验证

Petri网是形式化的系统建模方法,以严格的数学基础来保证系统的正确构建,但在支持复杂软件建模和自动化验证方面存在不足.扩展了Petri网的形式语义,区别定义了状态型和数值型库所,区别定义了变迁的激发和抑制状态,引入了无前置、一元和组合判断规则,同时根据形式化定义将模型自动转换为检验程序实施安全性验证.最后给出了以上方法在典型安全关键软件-除冰系统上的应用,过程和结果表明扩展的模型和方法增强了Petri网对复杂软件系统的建模能力,提高了软件的安全性,从模型到验证代码的自动转换解决了完善模型时人工修改相应代码的工作量和因此而引入人为错误的重复工作量的问题.     

关于九寨黄龙机场塔台的程序管制

九寨黄龙机场（以下简称九黄机场）投入使用已经两年了，作为西部地区典型的高原机场，作为西南地区飞行流量最大的程序管制机场，在气象、地形条件极其复杂和设备简陋的情况下，能够安全运行至今，这与九黄机场塔台管制室（以下简称九寨塔台）精心严密的指挥是密不可分的。九黄机场是西南地区比较繁忙的程序管制机场，虽然总体空中飞行流量不大，但是空中活动时常呈现短时集中的形态，加之管制条件恶劣、气候地形复杂、通讯不畅，都给管制指挥带来了很大难度。相比于西南地区成都、重庆、昆明、贵阳等干线机场的雷达或者雷达监控下的程序管制，九寨塔台的管制工作有着非常突出的特点，现就其程序管制作一些简单阐述。     

高超声速风洞真空系统临界压力比实验研究

临界压力是暂冲式高超声速风洞实验段流场破坏时真空罐中的压力值，临界压力比影响Ma10以上大型高超声速风洞真空系统的设计。在Φ0.3m高超声速低密度风洞中进行了Ma10以上喷管的实验，测量了风洞实验段静压、流场的皮托压力、扩压器内表面前后压力、真空罐压力等参数，了解了各部位流场随真空罐压力升高的变化过程，获得了现有风洞Ma10、Ma12和Ma16各自的流场维持所需临界压力比分别为0.34、0.35和0.5。采用FASTRAN软件模拟了风洞流场建立到破坏的非定常过程，计算结果与实验结果较为一致。临界压力比的获得为类似大型高超声速风洞真空系统设计提供了关键基础数据。     

基于管制员工作负荷的扇区优化

近年来，随着中国民航空中交通运输量的快速增长，原有的空域结构形式已经成为制约空中交通流量增长的瓶颈。因此，目前国内较大流量的机场都纷纷进行了空中分流，繁忙的管制空域还进行了扇区划分和优化，可以说扇区划分和优化是空域管理最重要的一项内容之一，它已经成为空管部门减小管制员工作负荷、缓解空中交通压力、保证空中交通安全的一项重要手段。