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

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

基于AMTEC的空间核反应堆电源热力学性能分析

随着深空探测任务不断推进,空间探测器对于动力的需求也在不断提升,基于碱金属热电转换器(Alkali Metal Thermal to Electric Converter,AMTEC)的空间核反应堆电源系统由于其自身优良的特性被广泛关注.基于热力学第一和第二定律,结合空间核反应堆电源系统内部热力过程能量传递特性,建立了...     

PMSM电流预测控制参数误差量化分析方法

交流永磁同步电机（PMSM）电流环控制性能是制约交流伺服系统性能的关键。电流预测控制拥有更快的动态响应、更低的电流谐波和优良的转矩响应,但该算法依赖精确的电机模型,参数失配会引发稳态电流误差,无法输出额定转矩,进而导致电机转矩输出效率降低。根据永磁同步电机电流预测模型,详细分析了d、q轴电流静差产生的原因,以及电流预测控制对电机参数误差的敏感性,提出了一种参数误差量化分析方法。该方法引入了电机参数偏差因子,量化描述了电机电感、磁链参数误差与电流静差之间的制约关系。通过仿真分析,验证了所提方法的合理性,为高性能永磁伺服电流预测数字控制技术打下了良好基础。     

捆绑火箭气动载荷分布不确定性分析

针对带捆绑火箭气动载荷分布受飞行状态及本身外形参数变化影响存在波动的现象,提出了依据多项式混沌理论对捆绑火箭气动载荷分布特征进行全局灵敏度分析及不确定性量化的方法,并以两助推构型火箭为例对所提方法进行验证。首先,提出了捆绑火箭气动载荷分布不确定性分析的方法,并给出仿真分析流程。其次,以两助推构型火箭为例对所提方法进行验证,建立火箭气动外形参数化模型,验证气动特性分析结果。最后,对该模型开展影响因素灵敏度分析及载荷分布不确定性分析,得到了不同因素的影响程度,以及气动轴力和法向力的不确定性分布形式,分析了流场流动情况及气动载荷波动的主要原因。分析结果为捆绑火箭气动载荷波动控制提供了一定参考,通过定量描述气动载荷分布不确定性,可以有效降低安全系数冗余,为开展精确结构设计提供依据。      

混合电路仿真的新方法

实际的数字系统均由数字电路和模拟电路组成，分析数字电路的方法与分析模拟电路的方法是完全不同的。本文将给出一种仿真混合电路的新方法及相应的模拟器。ＭＣ－ＳＩＭ的主要原理如下：首先把被模拟电路划分成许多模拟模块和数字模块，模拟（数字）模块只有模拟（数字）输出；任一模拟输入均视一系列发生在离散的时间点上的事件；模拟模块在达到之前与数字模块一样参加排队；不论是数字模块还是模拟模块都在统一的时间轮下进行计算     

受拉螺栓的应变疲劳可靠性分析

分析了受拉螺栓的应力与变形，指出这种螺栓的强度失效的主要原因是应变疲劳破坏，进一步在探讨应力-应变统计特性的基础上，提出了确定螺检应变疲劳可靠性寿命的方法，因此方法可进行螺栓可靠性寿命的预测。     

减少特征向量导数计算空间与时间的探索

从几种不同途径初步探索了减少大型结构特征向量导数计算的时间以及对计算机内存空间的信赖，从而发现了各个不同途径中存在的问题，并指出了解决这些问题的方向。     

周期结构和太阳电池翼的模态分析

基于周期结构的振动理论,把折叠状态太阳电池翼当作拟周期结构处理,解释了太阳电池翼在进行模态分析时所出现的“主模态局部化”现象,了解该现象对于在实验模态分析中确定阻尼系数具有重要意义。同时从理论上说明了,简单的基板模型的第1阶特征值是整翼模型的第1阶特征值的近似值。两个算例计算的结果支持了这个观点。     

气相色谱法定量分析氧气中气体杂质方法研究

为寻找一种能够有效检测氧气中微量气体杂质的方法,采用配有氢火焰离子化检测器的气相色谱仪分析氧气中的微量气体杂质,研究了分析氧气中CO、CO₂及C₂H₂等气体杂质的操作参数,确定了氧气中微量气体杂质的分析方法,验证了该方法的可行性,该分析方法各组份分离效果良好,各种杂质组份定量精确度较高。     

核磁共振陀螺高精度磁场驱动技术

核磁共振陀螺（NMRG）是利用激光与核磁共振气室中的碱金属原子和惰性气体原子的相互作用使核子以拉莫尔频率进动,并通过磁场驱动技术对气室磁场实现闭环控制和对剩磁进行补偿来维持核子的共振状态,进而能够检测载体的角速度信息。磁场驱动技术作为磁场闭环控制的重要部分,直接影响核磁共振陀螺的磁场控制精度和稳定性。为了解决核磁共振陀螺磁场控制精度和稳定性不足的关键问题,采用交直流分离设计的压控电流源方案改善磁场驱动问题,基于噪声分析理论对电路进行建模和噪声分析,并通过实验验证对三轴线圈的横向磁场控制精度达±0.046 2 nT,纵向磁场控制精度为±0.003 1 nT,实验证明该技术方案具有较强的工程应用价值。