宽带雷达信号源的自动功率定标

介绍了一种利用功率检波电平实现对宽带雷达信号源的输出功率进行功率定标的方法,通过制定衰减表自动装载和规避不同工作环境条件下（主要是微波机箱的工作温度）引起的系统误差。     

基于线性二次型的飞控参数故障渐近调节

 研究了含有参数故障的线性系统,提出了一种基于线性二次型的控制策略。采用该渐近调节反馈控制律,可以减小系统由于容错控制算法时延所致的性能下降。针对某飞机模型进行了仿真,结果验证了所提出策略的有效性。     

折叠式变体飞行器轨迹优化及控制分析

针对临近空间高超声速飞行器存在的问题,设计了一种折叠翼飞行器,可以通过折叠机翼来适应各种飞行状态,保持最优的气动特性。并针对临近空间滑翔式高超声速的特点,采用高斯伪谱法对固定翼飞行器和折叠翼飞行器的轨迹优化,通过将折叠翼飞行器与传统固定翼飞行器在射程能力、规避热流能力方面进行对比,提出了一种综合目标的轨迹优化思想。设计的折叠翼飞行器相比传统固定翼飞行器性能更加优越,更适合临近空间环境,提高了17.67%的航程,减少了热流率峰值的35.72%,并通过控制系统的设计和仿真加以验证,仿真结果表明变体飞行器机动能力相比固定翼飞行器有了显著的提高。     

紧凑型横向变焦系统关键器件的设计方法与功能验证

变焦系统可实现连续的光学变焦,可对不同景深的目标实现连续成像。在焦深延拓和光学检测等领域具有广泛地应用和发展潜力。本文提出了一种紧凑型可实现连续变焦功能的扁平化位相衍射元件,并设计分析和验证了横向调制相位型变焦衍射元件的功能。通过标量衍射基本理论模型,借助菲涅尔波带和多台阶相位衍射元件的设计方法,实现了横向变焦关键器件的设计仿真和实验验证。并以多波长响应的空间光调制器为基础,搭建了器件相位调制验证实验系统,通过测试证明了所设计器件的变焦能力,仿真和实验测试均可实现5倍变焦目标的有效调制。     

基于激光反射层析法的换能器声场测量技术及仿真研究

换能器的辐射声场分布能够直接反映出换能器声学性能的好坏,若不能精确测量出换能器的辐射声场,则会对换能器的诊断和评估造成严重影响。从理论仿真的角度出发,推导了运用激光反射层析法重建换能器辐射声场的理论公式,着重利用推导出的理论公式对激光反射层析法进行了仿真计算。结果表明激光反射层析法能够精确地重建出换能器的辐射声场分布及声场中的声压量值,这为换能器的声场重建及声压测量提供了一种可行的方法。     

超高频脉冲电弧焊接熔池金属流动行为

熔池金属流动一方面受电弧行为影响,另一方面与凝固组织形核、结晶过程联系紧密,是电弧焊接基础研究的关键,针对电弧力作用研究了超高频脉冲电弧焊接(UHFP-AW,Ultra High Frequency Pulsed Arc Welding)熔池金属流动特点,采用理论研究与试验分析相结合的方式对熔池流动方式、强度、温度分布等要素进行了分析,并完成了液态金属表面运动特征监测.结果表明,超高频脉冲电弧对熔池液态金属的热、力作用显著,表面流体流速大于30cm/s,UHFP-AW电弧力造成熔池表面沉降变形,引起双环流,熔池温度扩散范围相应减小,有效降低了电弧热量对母材金属的影响,尤其在钛合金焊接中对控制焊缝晶粒尺寸具有重要意义.      

一种用于纳型卫星在轨分离释放装置的设计

针对纳型卫星分离载荷的在轨分离释放需求,给出弹簧式分离释放装置的设计方案,解决国际上的商用现货产品不适用于这种非标准质量体积比的纳型卫星的问题.设计的分离释放装置能承载体积6 U(1 Unit即1 dm3体积),质量10 kg的分离载荷.由设计要求出发,给出包括中心承力构架、分离释放机构和对接环的方案,进行结构模态分析和过载分析.最后给出两两对称分离的在轨分离释放过程.结构设计结果表明该方案能满足一般的运载发射要求.该设计为任务的实施提供了有效可行的解决方案.     

深空探测器接近段自适应滤波方法研究

天文导航是一种广泛应用于深空探测任务的全自主导航方法.基于状态模型和量测模型的非线性卡尔曼滤波方法在天文导航中被广泛使用.卡尔曼滤波要求状态和量测模型误差是高斯白噪声且先验协方差信息已知,但在深空探测器天文导航系统中,状态模型和量测模型噪声通常不能精确知道且是时变的.因此,自适应卡尔曼滤波器广泛用于解决状态和量测模型误差未知且时变的问题.本文首先结合火星探测器接近段的实际情况分析了火星探测器接近段模型噪声的时变特性,然后对三种常用的在线调节自适应滤波方法在火星探测接近段的滤波表现进行了仿真实验.     

基于Event B的中断管理需求和设计形式化建模与验证方法

随着软件复杂度的迅速增长,传统的基于测试的方法逐渐难以满足航天器操作系统的可靠性和安全性需求,形式化方法逐渐成为航天器操作系统安全可靠性的有效保障.基于Rodin平台,采用Event B形式化语言,通过需求和设计重写、制定精化策略并逐步精化的方法,对航天嵌入式操作系统SpaceOS2的中断管理模块建立了需求层和设计层形式化模型,将模型检验和定理证明相结合,验证模型的正确性并且满足安全性质.