基于模型的FADEC软件结构覆盖率分析

结构覆盖率分析是基于需求测试的补充和完善,能够发现软件中是否存在预期外的功能.在基于模型的软件开发过程中,模型覆盖率代替了传统的代码覆盖率,运用模型检查技术自动生成测试用例是形式化方法在模型覆盖率测试中的主要途径,涵盖了判定覆盖(DC)、条件覆盖(CC)、修改条件/判定覆盖(MC/DC)等多种方式.以航空发动机FADEC软件开发过程中的一个实际案例为例,结合Simulink Design Verifier分析验证工具,检验其生成的用例对模型的覆盖率,表明方法的实用性.     

跨声速自由滚转试验技术研究

采用中等展弦比、薄翼型、边条、锯齿、折叠翼等设计的先进作战飞机在跨声速易出现机翼突然失速现象，从而引起非指令性横滚运动。为研究该问题，在 FL-3风洞中研制了一套跨声速自由滚转试验装置，设计某验证性模型，选取马赫数范围0.8~0.95的典型飞行状态进行了静态测力和自由滚转验证性试验。试验结果预测了某模型不同构型的机翼突然失速敏感范围，并评估了非指令性横滚运动的严重程度，从而验证了试验机构的可靠性，建立了评估方法，实现了跨声速自由滚转试验技术。     

瑞士schmid公司ICS200／60内话系统性能分析

瑞schmid公司生产的内话系统于2000年进入中国民航市场，该设备以其稳定、可靠、安全赢得了广大民航业内人士的认可。本人参加了该设备在兰州中川机场及西安成阳机场的安蓑、调试。现将自己在调试过程中的一点体会及系统情况介绍给大家共同探讨。     

硝酸铵喷雾干燥表面改性

为降低硝酸铵、（AN）的吸湿性，采用喷雾干燥技术，用聚合物和偶联剂对相稳定硝酸铵（PSAN）进行改性。通过吸湿性、接触角、包覆层质量百分数、XPS和SEM对改性后的PSAN进行了表征，研究结果表明，用偶联剂和聚合物对PSAN进行复合表面改性可有效抑制PSAN的吸湿，改性后平均相对吸湿率为46%，比用液相沉积法平均下降了约3%，包履层质量下降了76%，说明喷雾干燥技术的改性效果明显优于液相沉积技术。     

海洋遥感雷达的一体化发展趋势

利用雷达高度计、微波散射计、海洋波谱仪和合成孔径雷达SAR（Synthetic Aperture Radar）观测海面风、浪等海洋动力环境要素的技术已经日趋成熟，针对现有单星多传感器体制存在的重量大、稳定性差、功耗高、整星系统复杂等缺点，首先对以上四种海洋微波遥感器的发展和应用情况进行了梳理，随后根据目前的发展趋势，提出了一种新的多模式一体化设计方法并进行详细描述，最后，对未来星载海洋微波遥感器的多模式一体化技术进行了展望，为今后海洋微波遥感器的多模式一体化研究提供参考。     

低信噪比下快速分裂Bregman迭代ISAR超分辨率成像

针对低信噪比条件下的逆合成孔径雷达ISAR(Inverse Synthetic Aperture Radar)超分辨率成像处理问题,提出了一种基于快速分裂Bregman迭代的ISAR超分辨率成像算法.首先,在正则化框架下,将方位分辨率的提高问题转化为一个正则化问题;其次,利用托普利兹矩阵的低位移秩特征和Gohberg-...     

浅谈兰州管制区比选器的方案设计及应用

引言随着西北民航地空通信系统的飞速发展,目前兰州管制区域内地空通信主要通过甚高频通信来实现,并且分为4个扇区,每个扇区又有主频、备频、应急频率及相邻扇区频率。这就需要话音比选器,对管制中心收到的多个话音信号进行比选,并将信噪比最好的一路信号输出给主、备内话面板供管制员使用。比选器已成为地空通信系统的重要设备组成部分。     

论中国传统吉祥观念在现代书籍设计中的体现

中国传统工艺美术中的吉祥图案,以其多样的形式、丰富的内容、深邃的内涵而富有极其耐人寻味的文化意蕴。以远古先民的自然信仰,中国传统哲学思想以及富有浓郁特色的民俗等方面全面诠释传统吉祥图案所透射出的美学价值,从而结合传统艺术中的吉祥观念对现代书籍设计所产生的影响进行讨论。     

基于ADN基液体推进剂的无毒可贮存空间发动机试验研究

对一台基于ADN基液体推进剂的无毒空间发动机进行了试验研究。通过三维PDA(Phase Doppler Anemometry)综合测量系统,获得了发动机喷注器的雾化性能,得到了喷注器雾化液滴空间上的双分支分布以及液滴尺寸上的双峰状分布;通过高空模拟热试车试验,对于发动机的稳态、脉冲工作性能、工作过程中包含的催化分解及燃烧反应特性有了深入理解,研究了发动机启动时燃烧室内的建压和温度抬升过程,揭示了ADN基发动机在点火过程中体现出的点火延迟特性。     

基于高速相机阵列的起飞着陆段航迹测量技术

针对基于GPS的飞机起降性能测试关键段轨迹细节信息描述不清晰、测量精度低的问题,提出一种利用高速相机阵列对飞机的起飞着陆运动过程进行接力拍摄,通过对各站点高速相机拍摄到的图像序列进行分析处理,得到飞机上标志点在图像坐标系中的坐标,利用近景数字摄影测量中三维直接线性变换(DLT)等算法,解算出飞机的位置及速度数据的方法.介绍了该方法涉及的数学模型及其推导过程,并利用坐标观测量数据进行解算,试验证明了该方法有效.