双酚A环氧树脂改性二氧化双环戊二烯体系固化动力学分析及其性能研究

二氧化双环戊二烯(CDR -0122)环氧树脂固化物的耐热性较好,但脆性大.采用不同质量分数的环氧(E -51)改性CDR -0122.对不同的改性体系进行DSC分析,确定其活化能、反应级数和最佳固化工艺.对改性的CDR - 0122环氧树脂固化物进行力学性能和耐温性能测试.结果表明:当加入E-51的质量分数为30％时,CDR -0122的树脂体系的综合性能最优.相比改性前,改性后的树脂体系活化能略有下降,并且其拉伸强度和弯曲强度分别提高了52.38％和54.77％,但玻璃化转变温度略有下降.     

列车用复合材料阻燃性能研究

不同类别的阻燃剂配合使用能产生协效作用,大大提高阻燃效果。在甲基丙烯酸类不饱和聚酯树脂9001基体中,添加微囊化红磷/氢氧化铝/三氧化二锑/甲基膦酸二甲酯(MRP/Al(OH)3/Sb2O3/DMMP)阻燃剂体系,对其树脂体系固化物及玻璃纤维织物复合材料的力学性能和阻燃性能进行了实验研究,提出了一种有望用于列车复合材料大尺寸构件制造的性能优异、价格低廉的新体系。结果表明,当质量添加比例分别为12%MRP、50%Al(OH)3、2%Sb2O3时,树脂体系室温粘度100mPa.s左右,凝胶时间超过80min,适用于RTM和VIMP等大尺寸构件成型工艺;复合材料拉伸强度215.4MPa,弯曲强度177.15MPa,拉伸模量13.85GPa,弯曲模量13.36GPa,氧指数39.7。     

基于深度优先搜索与增量式求解的极小一阶不可满足子式提取算法

随着寄存器传输级甚至行为级的硬件描述语言应用越来越广泛,基于一阶逻辑的可满足性模理论(Satisfiability Modulo Theories,SMT)逐渐替代布尔可满足性(Boolean Satisfiability,SAT),在VLSI形式化验证领域具有更加重要的应用价值。而极小不可满足子式能够帮助EDA工具迅速定位硬件中的逻辑错误。针对极小SMT不可满足子式的求解问题,采用深度优先搜索与增量式求解策略,提出了深度优先搜索的极小SMT不可满足子式求解算法。与目前最优的宽度优先搜索算法对比实验表明:该算法能够有效地求解极小不可满足子式,随着公式的规模逐渐增大时,深度优先搜索算法优于宽度优先搜索算法。     

载人登月软着陆制动段最优制导方法(英文)

提出一种解决软着陆制动段燃料最优制导以及闭环控制的方案.首先使用庞氏极大值原理将制动段燃料最优问题转化为一个初值问题,并使用遗传算法搜索求解;其次为了解决最优制导的闭环控制问题,将最优弹道作为标称弹道,使用RCS系统对轨道面内两个方向误差量进行解耦,分别使用极限环控制.仿真表明,所规划出的燃料最优弹道比阿波罗方案能节约159.7 kg的燃料,而闭环控制系统可以将初始1 000 m的位置误差和5 m/s的速度误差收敛到接近段入口误差要求以内,在闭环控制过程中,燃料消耗不大于87.75 kg,总体燃料消耗节约至少71.95 kg.     

WSEIAC模型的中远程空空导弹武器系统效能分析

依据中远程空空导弹武器平台系统的战术指标,建立了中远程空空导弹武器平台系统的效能评价体系.对ADC扩展模型中的人为因素K进行了修正,在能力矩阵C中增加对载机生存能力和信息支持能力的体现.在此基础上给出了修正扩展模型下的系统效能,计算了在原始ADC模型下的系统效能,并对两种模型下的效能差异进行了比较.     

HLA的雷达目标跟踪算法验证系统

构建了一个基于HLA的雷达目标跟踪分布式仿真系统。采用组件设计思想,实现目标跟踪组件和滤波组件,并将这两套组件嵌入到目标跟踪分布式仿真系统中。实践结果表明:基于组件思想构建的目标跟踪和滤波算法能够很好嵌入到分布式雷达目标跟踪系统中,从而为跟踪算法的合理选择、算法参数的优化设计,以及实际系统的研制提供有力支撑。     

反舰导弹红外图像生成研究

红外成像仿真的关键环节在于红外图像的生成,反舰导弹的红外图像生成是重要的研究内容,具有重要的军事意义。基于理论分析和计算机技术提出了导弹目标红外图像生成的方法,根据红外物理学、空气动力学以及传热学等基本理论,建立导弹目标的红外理论模型,计算出蒙皮、尾喷管和尾喷焰等重点辐射区域的温度场和辐射场,利用灰度等级描述红外辐射信息,经过建模、视点变换、环境设置等一系列处理并渲染生成红外图像。实验结果证明,红外图像生成方法可行,结果可信。     

榴弹搭载伞降子弹减旋特性分析

针对榴弹搭载伞降子弹减旋翼片的结构特点,分析了其所受力矩,建立了伞降子弹在减速减旋阶段运动微分方程,仿真计算得出了在此阶段子弹的转速-时间曲线,计算结果和实弹试验均表明减旋翼片能使子弹的转速在较短的时间内由几百转/s降至零,从而使子弹达到稳定工作状态,说明减旋翼片能够满足伞降子弹的减旋要求。最后,分析了不同展长和开伞点不同存速对减旋翼片减旋性能影响。     

无人机航迹规划常用算法

无人机航迹规划是实现无人机自主飞行的关键技术保障,航迹规划算法则是航迹规划的核心。首先介绍无人机航迹规划的相关理论,其次分析归纳了当前常用的航迹规划算法,最后阐述了航迹规划所面临的挑战及其发展方向。     

基于线加速度计的高分辨率光学影像颤振检测与重建方法

卫星平台颤振条件下,推扫式高分辨率光学影像成像往往产生扭曲,从而影响影像的定位及信息提取精度。针对当前颤振下影像成像扭曲补偿的问题,提出一种基于线加速度计测量平台颤振下的稳态重成像模型实现高分辨率卫星颤振扭曲影像的重建。采用受平台颤振影响而扭曲变形的高分某型号卫星全色影像数据进行验证。分析结果表明:提出的线加速度计可以有效检测并测量出平台的颤振,设计的颤振影像地面重建模型可以有效提高光学影像成像质量,补偿后影像扭曲变形现象明显消除。