涡轮级三维粘性流场的数值模拟

本文给出了一种求解涡轮级三维定常粘性流场的计算方法,并对某型航空发动机的高压涡轮进行了数值模拟。该计算程序考虑到了涡轮级工作温度范围较大而引起的变比热问题。文中采用了三阶精度的TVD格式和B-L湍流模型。叶列间参数的传递采用了“混合平面”法。叶列间处理采用外推无反射边界条件来保证参数在交接面上的周向不均匀。同时在交接面上构造了Riemann解和使用松弛因子来提高程序在叶列间小间隙情况下的稳定性。      

基于QFT的鲁棒飞行控制器设计

首先对定量反馈控制理论及其发展进行了介绍,并指出了其所能解决的问题,以及器的一般求解步骤,按着讲述了鲁棒控制中的灵敏度设计方法,讨论了基于ＱＦＴ的鲁棒灵敏度设计思路,最后以某型号飞机为算例,采用ＱＦＴ方法设计了鲁棒控制律,计算和仿真结果说明了定量反馈控制理论是一种设计鲁棒飞行控制律的有效方法。     

航天器自主天文导航系统的可观测性及可观测度分析

天文导航系统中的观测量是一个重要的精度影响因素,星光角距和星光仰角是天文导航中两种最常用的观测信息,首先介绍了这两种观测信息及其量测方程的建立,然后从天文导航系统的可观测性和可观测度的角度,以观测矩阵的条件数作为系统可观测度的度量标准,分析了由于所选用的观测量的不同所导致的系统导航性能的差别,同时给出了一种衡量天文导航系统中的观测量和系统性能的分析方法.计算机仿真结果证明了该方法的有效性.     

萤火一号探测器有效载荷数据管理器设计

针对萤火一号探测器各有效载荷的需求设计出安全、可靠的载荷数据管理器(PDHU), 实现对其 进行数据采集、处理、存储以及供配电等; PDHU提供操作系统, 便于应用软件的 开发; 针对火星探测的实际情况, 对地通信采用无交错的RS码加卷积码的级连编码方式进行信道编码.      

小型磁选态铯原子钟产品化进展

本文介绍了磁选态铯原子钟产品化进展情况,包括人们广泛关注的产品的性能指标测试、可靠性保证及寿命评估等,提出了铯束管采用单束束光学和电路采用了数字化技术是实现性能指标的基本保证;给出了产品化初期出现的一些故障现象及解决措施,以及为进一步提高可靠性开展的环境适应性试验;并讨论了电子倍增器寿命评估方法,提出寿命评估公式,对铯钟的寿命给出了评估结果。最后提出了产品化过程中还需要进一步探索的问题,不仅对磁选态铯原子钟的产品化有帮助,而且对光抽运铯钟甚至其他种类原子钟的产品化亦有参考价值。     

飞机微波着陆模拟器自动计量系统研制CSCD

本文首先简述了MLS模拟器及其计量性能要求,然后对研制的MLS模拟器自动计量系统进行了详细介绍,包括硬件分系统组成及其关键技术,软件分系统架构及其核心流程;最后将自动计量系统应用于多台MLS模拟器的校准/检定。应用表明,MLS模拟器自动计量系统能够解决MLS模拟器计量保障中存在的问题,确保MLS机载设备各项参数准确一致,进而保证了飞行安全。     

伪随机屏蔽二进阵列偶

提出了一种新的周期循环相关信号,即伪随机屏蔽二进阵列偶.文中给出了其定义,并研究了它的变换性质.为了减少搜索范围,提高计算机搜索效率,文中研究给出了一些伪随机屏蔽二进阵列偶存在的组合允许务件,在此基础上,利用计算机搜索出若干体积小于22的伪随机屏蔽二进阵列偶.搜索结果表明:伪随机屏蔽二进阵列偶具有很高的能量效率,因而可以作为同步码或多用户码应用于工程中.     

蝉翅翼的运动研究与三维数值分析

以蝉为研究对象,首先通过分析蝉翅翼在高速摄像机下的运动影像获得了其运动方程,然后建立了蝉翅翼的三维模型,并研究了基于Fluent软件的蝉翅翼周围流场数值模拟方法,最后模拟分析了三维蝉翅翼模型在不同运动参数(拍动频率、拍动幅值和最大扭转角度)下的平均升力系数和平均阻力系数.研究结果表明最大扭转角度对蝉翅翼气动力影响较大,因此在仿蝉扑翼飞行器的设计与操控中必须考虑扭转运动.      

嵌入式操作系统的形式化验证方法

对嵌入式操作系统类安全关键软件,测试、模拟、分析等传统软件验证方法不能保证其正确性,需要使用形式化方法。综述了主流商用嵌入式操作系统所采用的形式化验证方法,分析了操作系统内核不同特性的形式化验证思路。通常对空间隔离、信息流控制、系统调用、进程间通信等的证明采用定理证明方式,而对时间隔离的证明则采用模型检测方式。 seL4的通用抽象和逐层精化方法、模型检测和定理证明的混合方法在工程使用中都有前途。