基于扩展块的星载软件控制流容错评价方法

空间环境因素引发的星载软件瞬态的控制流错误可能对系统执行效能造成严重影响，为避免容错算法存储开销和执行开销给系统带入过多的计算压力，提出在容错算法开销和所取得的系统的可靠性提升上取得一定折衷，这是星载软件可靠性设计的合理方向。设计了一种适合于弹性添加容错代码的容错方法：扩展块数字签名的控制流检测方法ESCFC（Extend block Signatures for Control Flow Checking）。由空间高能粒子的实验结果和在轨实测结果为系统可靠度建模，提出了算法开销和可靠性效能提升的平衡关系的工程参考和理论依据。定性分析和模拟，充分说明了将该方法运用于航天工程的可行性。     

应用于空空导弹火箭发动机的少烟丁羟固体推进剂

研究了应用于空空导弹发动机中的一种少烟、低燃温下羟推进剂。推进剂具有中等燃速、微波衰减量低、在＋７０—－４０℃内具有优良的力学性能，经受了测试冲击、温度循环、气动加热及各种环境考验。试验证明：该推进剂性能稳定、可靠。     

过失速飞机最速指向目标机动研究

基于飞机质点动力学模型建立了指向活动目标的终端条件,并进行最速指向机动动作的数值优化,其中用共轭梯度法寻优,用罚函数处理约束条件.计算结果表明,优化可以指导寻找对应于不同战术要求的有利机动过程;在近距空战中,具有快速改变航迹方向并进入过失速超大迎角机动的能力非常有利于快速指向目标、争取首攻机会,而改变航迹方向倾向于使用最大升力区迎角.     

惯导测试设备及其检测

阐述了惯导测试设备的作用、种类,介绍了其典型结构及基本精度指标的概念。说明了惯导测试设备的发展趋势;总体布局向卧式发展;轴系结构向有源磁悬浮发展;台体向复合材料球形壳体发展;输电装置向滚环发展;分度元件采用高精度的感应同步器。列举了检定技术的实例,说明了其发展方向:不断提高检定精度;开展动态检定;改善测量设备对三轴空间位置的适应性。此外,管理上要制度化,名词术语与数据处理要标准化,设计与检定要相协调。     

四足步行机运动机构及步态参数对行走稳定性影响分析

本文研究了四足步行机的行走稳定性问题,建立了考虑运动机构包括腿机构及其传动系统影响的稳定性模型;分析了各步态参数对稳定性的影响,并以研制的四足步行样机为例进行了计算机仿真。     

感应电动机的精确控制方法

利用非正则反馈线性化技术，对一类五阶感应电动机模型进行精确线性化，给出了控制器的显式表达式。     

可溶性改性双马来酰亚胺树脂基体的研究

在双马来酰亚胺/二元胺/改性剂A预聚体系中加入环氧丙烯酸树脂,制备了一种可用作耐热复合材料基体的改性双马来酰亚胺树脂。用DSC研究了该树脂基体的反应特性,并制定出了合适的固化工艺参数:改性树脂基体经140℃/1 h 160℃/1 h 180℃/2 h初固化,于220℃/8 h后固化处理,其热变形温度(HDT)为245℃;该树脂与玻璃纤维制备的单向复合材料层压板的室温拉伸强度、弯曲强度和层间剪切强度分别为1 030 MPa、1 600 MPa和92．1 MPa;180℃下测得弯曲强度保持率为67．8%,层间剪切强度保持率为63．2%,用DMA法测得T_g为273℃。     

关于天地往返运输系统动力装置

本文对未来天地往返运输系统宜采用的动力装置方案提出一些看法,着重阐明液氧/烃类/液氢三组元推进剂发动机的优点。     

二维粘性不可压缩流场的分块耦合求解方法

本文用分块耦合的方法，并采用S.Abdallah^[1,2]和M.L.Mansour^[3]的在非交错网络上隐式求解原始变量的Navier-Stokes方程的提法和离散格式，成功地解决了二维复杂流场的数值求解问题，获得了空腔流、T型叉管流、NACA0020翼型绕流和方块钝体绕流的稳态解，并进行了讨论。此方法还可推广到三维复杂流场的计算问题。     

产品数据管理(PDM)数据元标准化研究

结合ISO/IEC1117标准中的相关规定,采用自上而下的方法进行PDM标准数据元的设计.从分析PDM数据元来源入手,通过绘制PDM系统对象类图,整理出PDM领域的数据元名称,对每个数据元进行了表示层和语义层上的详细规范,形成数据元目录集(即数据元字典).最后注册管理机制把数据元字典动态地管理起来.PDM标准数据元可为企业信息系统集成、信息分类编码和PDM系统选型提供重要的参考依据.