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

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

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

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

混合电路仿真的新方法

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

随机载荷下累积损伤可靠性计算

本文对导弹受随机载荷作用时,考虑载荷在空域和时域上的分布状态,分析了强度累积损伤可靠性计算模型,并列举了算例。     

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

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

线性矩阵方程AXB－CXD＝E的误差界

首先讨论线性矩阵方程ＡＸＢ－ＣＸＤ＝Ｅ在有唯一解的条件下方程之解Ｘ的一个上界，再考虑系数矩阵Ａ，Ｂ，Ｃ，Ｄ，Ｅ发生小扰动时，线性矩阵方程（Ａ＋δＡ）Ｘ（Ｂ十δＢ）－（Ｃ＋δＣ）Ｘ（Ｄ＋δＤ）＝Ｅ＋δＥ之解Ｘ作为Ｘ的近似值的相对误差的一个上界。     

导弹复合材料立尾的动力特性分析

对Ｈｅｌｌｉｎｇｅｒ－Ｒｅｉｓｓｎｅｒ变分原理进行了详尽论述。依据该变分原理推导了基于折线假设的复合材料层板元素的刚度矩阵，复合材料面板蜂窝夹芯元素的刚度矩阵。在形成元素刚度矩阵时，在子域一极求逆节省大量机时。介绍了动力特性的分析和试验方法。运用Ｈ－Ｒ元素计算了导弹复合材料立尾的动力持性，取得了满意的结果。     

非线性薄梁结构对冲击波载荷的大挠度响应分析

采用大挠度弹性梁理论和中心差分法分析计算了非线性薄梁结构对冲击波载荷作用的大挠度响应，模型包括了纵向变形和横向变形之间的弹性耦合。算例给出了拉－弯耦合、拉／弯刚度比和冲击波冲量对挠度响应的影响。     

系统可靠性预测方法

概述了系统可靠性预测的主要方法，对它们各自的优缺点和适用范围进行了系统的介绍了评论。在此基础上，提出一些新的可靠性预测方法，并对新方法的合理性进行了论证。     

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

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