基于LDRA TESTBED的汇编语言软件测试方法研究

在航天型号软件的开发过程中 ,充分的测试是软件质量和可靠性的必要保证。本文以软件代码分析工具─LDBATESTBED为背景 ,详细阐述了汇编程序的单元测试方法 ,并研究了测试结果的分析方法及在软件质量度量方面的应用     

控制输入约束下非线性系统输出反馈容错控制

针对一类非线性系统的执行器增益故障,在考虑控制输入幅值约束下,研究了故障系统的主动容错控制策略。利用静态输出反馈控制策略,基于Lyapunov理论和线性矩阵不等式技术给出了重构容错控制器的递推设计方法,确保故障闭环系统在满足给定控制输入幅值约束下的鲁棒稳定性,并具有与无故障正常系统接近的其他优化控制性能。仿真算例表明了本文容错设计策略的有效性。     

石英挠性加速度计温度特性测试与建模

为分析石英挠性加速度计在不同温度条件下的特性和规律,对加速度计两个主要参数偏值K₀和标度因数K₁的温度特性测试方法进行研究。根据变温速率和保温时间建立了加速度计的静态和动态温度曲线,并在不同的温度条件下对两只加速度计样品进行测试。利用最小二乘法对测量得到的加速度计温度特性进行建模,并提出通过温度特性曲线评判加速度计性能优劣的基本方法。最后将温度特性模型应用到系统精度补偿上,并取得了较好的效果。     

基于脉冲激光定位的SRAM单粒子闩锁事件率预估

器件单粒子闩锁效应(SEL)预估方法一般是建立在只有一个敏感体积单元的长方体(RPP)模型上,静态随机存储器(SRAM)单粒子闩锁敏感区的定位试验结果表明敏感体积单元不仅有一个.利用脉冲激光定位SRAM K6R4016V1D单粒子闩锁效应敏感区的试验结果对器件在轨SEL事件率进行了修正计算.首先利用脉冲激光定位SRAM SEL敏感区,获得敏感区的分布情况,并确定整个器件敏感体积单元的数量.然后针对不同的空间轨道、辐射粒子以及敏感体积厚度和敏感体积单元数进行了相应的器件SEL事件率计算,并对计算结果进行了分析讨论.结果表明,重离子引起的SEL事件率随敏感体积单元数量的增大而减小;修正敏感体积单元数量对预估质子引起的SEL事件率非常必要,否则将会过高评估质子直接电离作用对SEL事件率的贡献.      

静态随机存储器在轨自检算法

静态随机存储器（SRAM）在轨自检应用于星载电子设备上电初始化过程中,能够在电子设备开始工作前发现存储器的故障单元,为评估电子设备健康状态提供依据。分析了SRAM的结构和常见的故障原理,针对在轨应用这一特殊背景开展研究,提出了对典型测试算法的改进方案。在完成对改进方案的分析和评价后,以8 K×8 bit存储器为例开展算法的实现,并验证了改进方案的可行性。与典型测试算法相比,所提改进方案具有资源开销少、故障覆盖率高等优点。      

静态混合器用于纯氧曝气的实验研究

本文采用实验的方法研究了静态混合器的纯氧曝气性能。结果表明：由于气液传质条件得到改善，溶解氧浓度及溶解氧量的均显著提高；在一定条件下，最大的氧气转移率对应于最佳工况。此外，该装置还具有动力消耗小，可靠性高的优点，在废水处理等方面具有重大应用价值。     

广义系统静态输出反馈镇定的一个充要条件

研究广义系统静态输出反馈镇定的问题．基于广义李雅普诺夫方程,给出广义系统通过输出反馈镇定的一个充要条件,该结果是正常系统输出反馈镇定相应结果的推广。另外给出了求取镇定控制器参数的一个算法,并通过数字算例说明该算法是有效的。     

基于接触式高温应变测试试验的涡轮叶片强度分析

基于涡轮叶片实际工况,建立了热-流-固耦合有限元仿真模型,得到了涡轮叶片的温度场、压力场、应力场与应变场。开展了涡轮叶片强度测试试验,试验中根据温度场仿真结果,通过感应加热装置对叶片加热;根据叶片转速计算等效离心载荷,通过液压拉伸试验机对叶片施加等效载荷。基于接触式高温应变测试方法开展了叶片静态应变测量,并通过测量结果与仿真结果的对比,验证了测试方法在涡轮叶片静态高温应变测量中的可行性。     

飞机目标静态与动态测量的姿态一致性

对飞机目标静态与动态测量对比时的姿态一致性开展研究.介绍了目标特性测量中常用的几种坐标系,并给出了其相互转换关系.对静态测量和动态测量时典型的雷达视线和飞机目标的相对位置关系进行了分析,给出了静态测量和动态测量之间姿态解算的流程图.结合仿真实例,给出了某飞行航迹下雷达测量得到的飞机航迹结果,解算得到了飞行过程中极化坐标系和目标坐标系下雷达视线和飞机目标的相对位置关系.该研究成果有助于正确进行静态测量和动态测量时目标特性的对比,对于目标特性的动态仿真也具有一定的指导作用.