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

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

不合格品控制分析与改进

不合格品处理的目的是当出现不合格品时,能及时、有效地控制和处置.企业在什么条件下允许让步使用,如何采取措施将风险降至最低,对提高生产效率、降低质量成本、保证产品质量至关重要.本文论述了不合格品的常见处理方式,探讨不合格品的预防与控制、让步使用风险与分析,以及停用件处置和使用方法,并通过实例验证了让步使用分析及停用件处置方法的可行性.     

基于神经网络的磁平静期赤道电集流预测

利用BP神经网络技术分别对2008年后磁平静期印度扇区、秘鲁扇区以及CHAMP卫星的赤道电集流（EEJ）变化进行预测，其中神经网络训练数据为对应的2000—2007年磁平静期EEJ观测数据，输入参量为天数、地方时、太阳天顶角、太阳活动指数（F_10.7）、太阴时以及卫星地理经度，输出参量为EEJ.对EEJ预测结果进行了统计学分析，并且与实际观测结果进行对比.结果表明:BP神经网络对事件中EEJ的变化具有很好的预测能力，预测结果能够反映EEJ的重要分布特征；EEJ预测值与观测值之间具有很好的相关性，其中地磁台站观测值与预测值相关性系数可达85%以上.此外，将BP神经网络模型的预测结果与Yamazaki提出的经验模型结果进行对比，结果显示BP神经网络与其经验模型性能相当.研究结果表明，BP神经网络技术在平静期EEJ变化预测方面性能优异，具有良好的应用前景.      

仿壁虎刚毛阵列对卫星表面吸附能力模型与计算

壁虎脚的粘着机理对航天机器人脚掌的研制和开发具有重要启发意义.通过单根刚毛与光滑表面黏着力模型与计算、卫星粗糙表面分布模型与接触概率与计算、刚毛阵列与卫星粗糙表面黏着力模型与计算等，分析仿壁虎刚毛阵列对卫星表面的吸附能力，发现在一定条件下仿壁虎刚毛阵能够在太空失重环境中黏着在卫星表面，对航天舱内爬行机器人、管道机器人的研制和开发具有重要的启示意义.     

基于等效电路模型与CDKF的锂离子电池荷电状态(SOC)估计

锂离子电池在社会生产各领域应用广泛,由于其复杂的电化学系统,状态检测难度较大,给供电保障带来不利影响.结合Thevenin等效电路与中心差分卡尔曼滤波法(CDKF),构建了一种聚合物锂离子电池的荷电状态(SOC)估计模型.MATLAB仿真验证表明,该模型能有效防止安时计数误差累积,电池SOC估计误差不超过5%.     

更高速(400+km/h)列车气动减阻技术发展与展望

合理有效的气动减阻技术是我国研发运营速度400+?km/h高速列车的过程需展开深入研究的重点内容.首先阐述了高速列车气动阻力的基本分布特征,并针对国外下一代更高速列车的气动减阻技术进行了调研,尤其分析了欧洲、日本和韩国的下一代更高速列车气动减阻技术的特征,总结了国外下一代高速列车气动减阻的关键技术与方法.然后根据列车气动减阻技术实施部位的差异,从列车头型优化以及转向架、受电弓和风挡等局部结构优化两个方面对我国目前高速列车气动减阻技术研究现状进行了分析和梳理,同时归纳了新型气动减阻技术的研究现状.最后在综合国外下一代更高速列车气动减阻技术与我国气动减阻技术研究的基础上,对我国更高速(400+?km/h)列车气动减阻技术中可行性较高且效果明显的发展方向进行了展望与建议,为我国更高速列车气动减阻技术的设计与发展提供有价值的参考.     

基于模态反转的半球谐振陀螺零位自校准方法

针对半球谐振陀螺的零位漂移问题，本文研究了基于模态反转电路控制技术的零位自校准方法。首先，从动力学模型引入阻尼不对称、频率裂解等非理想因素，讨论半球谐振陀螺的工作机理及驻波漂移特性。其次，通过理论分析模态反转的零位校准以及虚拟进动控制的模态反转技术。最后，基于FPGA数字控制平台，设计并实现了半球谐振陀螺零位自校准半实物仿真实验。实验结果表明，基于模态反转的半球谐振陀螺零位校准，实现了半球谐振陀螺的零位从15 降低至2 ，短期零偏稳定性和长期稳定性也分别提高了11.8％和45.86％，有效地抑制了零位漂移，提高了半球谐振陀螺测量精度。     

纤维织物超高速碰撞热-力学模型与分析

A new thermo mechanical model for fiber fabric of hypervelocity impact is established by using the Johnson Cook model, the Gruneisen equation of state and the FEM SPH coupling algorithm, while some new factors are taken into account such as the heat generation, strain rate strengthening and high temperature softening of materials. Mechanical and thermal information could be obtained with the model, such as penetration, fragmentation, stress and strain, heat generation and temperature field of fiber fabric. The analysis results are in good agreement with the experimental results.     

环氧树脂基复合材料加筋板结构吸湿行为研究

环氧树脂基复合材料的性能对湿热环境敏感，掌握该材料所组成结构的吸湿行为对其实际应用具有重要意义。通过以碳纤维环氧树脂基复合材料层合板的non-Fickian吸湿模型为基础，建立环氧树脂基复合材料加筋板结构的non-Fickian吸湿模型，在70℃/85% RH湿热条件下开展加筋板结构的吸湿实验，对所建立模型进行验证，并与已有的加筋板吸湿模型进行对比，通过所建立模型给出了加筋板沿厚度方向的吸湿量分布规律。结果表明:所建立加筋板non-Fickian吸湿模型的计算结果与实验结果吻合良好，在整个吸湿阶段相对误差小于5%，模型的预测精度高于传统Fick模型。所建立的加筋板non-Fickian吸湿模型可用于环氧树脂基复合材料加筋板层合结构吸湿量的准确预测。      

三维四向编织复合材料疲劳性能分析

建立基于八边形纤维束截面假设的三维四向编织复合材料单胞模型。基于单向复合材料疲劳剩余刚度和剩余强度模型,结合组分材料的疲劳失效判据和性能突降方法,建立了三维四向编织复合材料疲劳寿命预测模型。利用ABAQUS有限元软件UMAT开发了疲劳寿命预测与渐进损伤分析程序,研究了三维四向编织复合材料在不同应力水平下的损伤扩展过程和疲劳寿命。研究表明,疲劳损伤是从纤维束之间的接触面的单元开始发生损伤破坏,然后向纤维束表面以及纤维束内部开始扩散,并且损伤扩展速率随着应力水平的提高而加快。本文研究为预测三维四向编织复合材料的疲劳寿命提供了一种途径。