航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10...     

PWM低速爬行状态系统波动分析

脉宽调制技术（PWM）在自动控制领域有着广泛的应用。然而,在实际工程应用的过程中,包含PWM的系统在低速驱动的条件下难以达到高精度速度指标的要求。在工程实践经验的基础上,对这一问题进行详细分析,提出PWM的截断效应和移频效应引起波动的理论,并结合典型的机电伺服系统模型进行仿真,完成仿真层面的验证。仿真结果展示了机电伺服系统在低转速状态下由于PWM的截断效应引起转速波动的现象,契合了实际系统中表现的情况,验证了截断效应和移频效应的正确性,为提高系统精度指标提供了依据。     

电脉冲除冰系统参数的合理选择

目前,尽管可采用各种防(除)冰方法,但它们在需用能量及除冰性能上尚有不足之处。电脉冲除冰所需能量少、维护方便(无运动部件)、可靠性高、重量小及经济性好等方面大大优于现有的其他防(除)冰系统。本文介绍了电脉冲除冰系统的基本工作原理,分析了能量,电容和电压等电气参数、线圈的几何参数及蒙皮的材料等对除冰性能的影响。根据分析和实验室、冰风洞及飞行实验的资料,提出了有效除冰时各种參数的选择范围,以及提高性能的措施。     

冗余系统两种应力-强度分布模型的可靠度计算

本文运用应力-强度干涉理论,说明如何确定相同设备(或元件)构成的冗余系统的可靠性。讨论了冗余系统的并联和从n中取k两种结构形式的数学模型,推导了应力和强度服从瑞利分布的并联冗余系统,以及应力和强度分别服从麦克思韦分布和瑞利分布n中取k冗余系统的数学公式。最后,给出这两个模型在应力作用下,对应于不同的强度参数,设备或元件的可靠性曲线,直观地说明应力强度参数的改变对可靠性的影响。     

无人机单片机控制系统软件容错设计

本文介绍了某型无人驾驶飞机系列MCS-51单片机控制系统的软件容错设计方法与实现。该软件采用了关键数据的余度管理技术,在充分考虑了本系统的任务功能及单片机固有特点的基础上,采用了若干行之有效的软件检错技术,包括执行条件检测、数据合理性检测、异常复位检测及软件陷井等。在检测到软件错误后,软件将执行一个恢复操作。恢复操作的基础是依据一组经过余度管理及相容性分析而保证为正确可靠的关键数据。恢复操作将消除软件系统所有可能的错误状态,将系统恢复至出错前的运行状态。实践表明,该软件的容错设计是可靠且有效的。     

无人机六自由度简化模型和风扰动处理

在不具备数模混合仿真实验的条件下,本文提出了在模拟计算机上,无人驾驶飞机六自由度非线性全量方程的飞行控制系统动态物理模拟仿真和对阵风扰动处理的方法。飞行控制系统动态物理模拟仿真是在几种特定的状态下进行的,考虑到模拟机上实现的可能,在每个状态计算飞机气动力和气动力矩系数时,冻结高度、速度、质量,使这些系数简化为常数或单变量函数,预先在数字计算机上算好,或者计算好一部分使模拟机上实施简单,少用非线性部件,减少了误差。但在计算阻力时,不冻结速度,考虑速度负反馈。从而实现了对大机动无人机KJ-9C和超低空无人机KJ-9E飞行控制系统的动态物理模拟仿真。     

有色噪声补偿下降阶系统状态的最优估计

在大型空间结构的控制系统设计中,降阶系统的状态估计是非常重要的环节,它直接关系到控制器的性能。针对B.Friedland的工作,本文提出了有色噪声补偿模型,在恒等变换下显式地消去了有色噪声项,利用正交投影定理仅对感兴趣的状态分量导出了无偏、最小方差估计。这组递推估计式与采用增广状态方法相比,不仅在处理容量、计算效率上有很大改进,而且是标准Kalman滤波方程的推广。注意到原系统与降阶系统之间的内在联系,本文采用随机系统分析方法,给出了在高斯、马尔可夫假设下,有色噪声模型特征参数的在线识别技术。数字仿真表明,对偏差补偿起主要作用的是有色噪声补偿模型中的驱动白噪声项,这是对B.Friedland工作的发展。     

考虑粘性时激波反射及壁面热流计算

本文采用显式 TVD 格式,求解薄层 Navier-Stokes 方程,计算了激波与楔面相互干扰的流场情况,得出了马赫反射的各种等强度线及固壁面上详细的物理量分布,根据计算得出的流场,计算了壁面摩擦阻力及热流分布。     

过程控制机

过程控制机由数据采集系统、智能控制器、控制过程量输入输出部件和标准接口等组成。数据采集系统采集测力天平和压力传感器的输出信号,它的模拟量输入通道32路,采集速度5万次/秒,系统精度0.04%。模拟量输出控制调压阀系统,频率量输出控制模型姿态角系统,标准接口 IEEE-488和上位机通讯,传送命令和数据,所有软件固化在智能控制器的 ROM 中,它分析上位机送来命令指挥各部件工作。文章还介绍过程控制机在风洞测控系统中的工作过程以及使用后取得的良好效益。     

三角机翼过失速非定常空气动力特性研究

在３ｍ低速风洞中研究了７０°后掠角三角翼过失速气动特性。实验中使用了专门设计的液压动态实验台，它可以模拟迎角的变化规律以便研究角速度，迎角变化历程对空气动力特性的影响。实验中迎角范围０°－９０°。使用六分力应变天测量非定常空气动力。研究指出：当作大迎角纵向过失速机动时，其空气动力有很大超调量和呈现滞回线特征，它们随着减缩频率增大而增大。特别是力矩特低迎角（α＞３０°）具有阻尼特征，但在高迎角时（３