从酝酿到决策——民用飞机预发展阶段工作分析

对比军机和民机项目研制目标的差异，指出民机项目的最终目标是追求商业成功。通过对民机项目各阶段投入比例的对比，强调了预发展阶段有奠定项目基调、指明发展方向和降低研制风险的作用,明确了预发展阶段工作的两大任务是飞机定义和概念方案迭代、优化,并对预发展阶段的工作内容进行划分，将其分为市场分析与飞机定义、可行性研究及初步设计三部分内容，阐述了各部分的承接关系、内部工作流程与做法。指出市场分析与飞机定义部分的输出成果是以飞机定义文件呈现，并由飞机定义评审会确定；可行性研究部分的重点是方案的展开和迭代，其中市场验证是方案优选的重要参考依据；初步设计部分要持续关注市场验证与技术环境研究工作。最后总结了民用飞机预发展阶段工作的市场指向性、科学性和相关投入的必要性。     

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

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

无人机地面座舱语音控制系统验证平台开发

介绍了一种面向无人机地面座舱的语音控制系统的综合验证平台的设计方案,从系统与实现层面对构成平台的各个组成部分进行了具体功能阐述,并提出了一种动态显示语音指令控件的配置格式,为无人机语音控制系统的测试提供了一种新的解决方案。     

直升机旋翼塔总体设计与研究

为对新型直升机主旋翼系统进行充分地面验证,本文提出一种直升机旋翼塔总体设计方案,通过对设计输入、总体方案、塔体设计、驱动系统、测试系统、标定工装、试验厂房等方面进行总体设计与研究,制订了直升机旋翼塔总体设计方案,并开展了旋翼塔CAE建模和分析。CAE分析结果表明,旋翼塔模态等关键参数符合直升机主旋翼系统地面验证要求,证明了该直升机旋翼塔总体设计方案的可行性,本研究可为各类型直升机主旋翼系统的产品研发、地面验证提供借鉴和参考。     

基于缩比模型的全尺寸飞机纵向Ⅰ类PIO预测

驾驶员诱发振荡（PIO）对飞机的飞行安全构成严重威胁，在进行全尺寸飞机PIO特性评估飞行试验之前，利用与全尺寸飞机动力学相似的缩比模型进行飞行试验，对全尺寸飞机的PIO特性进行初步评估，可以达到节约试验成本和降低试验风险的目的。针对驾驶杆操纵到指令形成过程中的时间延迟这一因素诱发的纵向Ⅰ类PIO，选取带宽准则和Neal-Smith准则作为评定准则，分析了全尺寸飞机和缩比模型对应PIO评定参数的相似比例关系，并建立了基于缩比模型的全尺寸飞机纵向Ⅰ类PIO预测方法。以某型军用运输机及其缩比模型作为算例飞机进行了仿真验证，验证结果表明:分析得到的相似比例关系是正确的，基于缩比模型试验数据可以较为准确地评估全尺寸飞机的Ⅰ类PIO特性。      

基于北斗三号导航系统的卫星定位技术

对北斗三号体制下的传输链路、接收门限进行理论分析,得出捕获算法采用4次非相干累加,可以使捕获灵敏度达到-130 dBm,同时实现定位时间小于5 min的综合较优结果.接着以低轨太阳同步轨道卫星为例,利用STK建模进行全轨道周期仿真,结果显示全程收星数超过4颗,定位精度达到2.59 m,速度误差为0.00378 m/s....     

军事航天

高能自由电子激光器(FEL)项目取得阶段进展美国海军自由电子激光器项目近期取得了一系列重大突破,2010年12月20日成功演示验证了一台能够生成海军新一代武器系统兆瓦级激光束所需的电子的电子束注入器,这个里程碑式的突破比原计划提前了数月。此外,在2011