加强约束的布尔可满足硬件求解器

利用现场可编程门阵列固有的并行性和灵活性,提出在硬件可编程平台上基于随机局部搜索算法的布尔可满足性求解器,用于求解大规模的布尔可满足性问题。相对其他求解器,该求解器的预处理技术能极大提高求解效率;其变元加强策略避免了同一变元被反复连续翻转,降低了搜索陷入局部最优的可能。评估结果表明,求解器最多能处理32 000个变元/128 000个子句的实例。相比当前同类型的求解器,其求解效率明显提高。     

掠飞末敏弹耦合运动动导数计算

以新型掠飞末敏弹为研究对象,提出了基于欧拉转动定理和滑移网格技术的复杂角运动模拟方法,利用著名的罗德里格斯转换矩阵插值求得弹箭在每个时间步的角速度修正值,并指定给球形滑移网格区。通过对非定常气动参数进行求解辨识,分析了不同马赫数下掠飞末敏弹滚转运动对其俯仰组合动导数和升力系数动导数的影响规律。结果表明:所提角运动模拟方法可有效消除姿态角计算的累积误差,实现对弹箭任意给定角运动的准确模拟;弹箭滚转运动对俯仰组合导数和升力系数动导数的辨识结果均存在显著影响,在进行弹箭动导数计算和稳定性分析时需充分考虑俯仰耦合效应的影响。     

半自治作战agent在舰艇编队对空防御中的研究

针对目前水面舰艇编队对空防御作战中舰艇具有受制性,层次性等特点,引入了半自治防空作战agent的概念,设计构建了基于多个半自治防空agent的编队对空防御的层次体系模型,并初步研究了半自治防空agent的结构模型,使其更加适合于描述编队防空各作战实体,为完善编队防空作战研究提供了更多一项参考.     

改进的Euler方法应用于非线性方程求根

本文通过引入动力系统,将改进的Euler方法应用于非线性方程求根问题,给出非线性方程求根的预估-再校正迭代格式,证明了该格式至少二阶收敛并可以调节参数达到超收敛。最后给出数值实验,数值结果验证了算法的有效性。     

吸气式导弹尾部喷流对底部阻力影响数值研究

通过数值模拟方法研究了吸气式导弹尾部喷流对底部阻力的影响.采用内通道截断方法进行热喷状态下流场数值计算,获得了热喷状态下底部干扰流场结构和底部阻力系数,同时研究了燃气属性对热喷效应的影响.最后与冷通气状态流场计算结果进行比较,进一步分析了热喷效应的影响机理.计算结果表明,热喷效应和燃气属性都会对导弹底部阻力产生极大影响.     

基于最小维修策略的多阶段任务成功性仿真模型

基于最小维修策略,给出了一种新的多阶段任务成功性仿真模型.该模型可以对多阶段任务中部件的失效维修过程进行仿真,从而计算出多阶段任务的成功概率,并对任务成功率关于备件的敏感性进行分析.仿真结果表明了该模型的正确性和易用性.     

半穿甲导弹性能的攻角效应数值分析

利用LS—DYNA软件分析弹体攻角和目标运动对穿甲过程中装药安定性、弹体剩余速度及弹头姿态的影响。在穿甲过程中,弹体速度为300m／s,攻角分别为0°,10°和20°,弹体和目标板选择了考虑应变、应变率和温度效应的Johnson—cook材料模型。结果表明：随攻角的增大,装药局部受力显著增大,弹体剩余速度下降,弹头发生偏转;目标运动使穿甲能力减弱,但目标运动会使装药受到的外力在一定程度上减少。     

生物柴油对柴油机油高温清净性的影响

研究了生物柴油和矿物柴油对柴油机油高温清净性的影响。在柴油机油中分别加入不同比例的生物柴油和矿物柴油,通过热管氧化试验对高温清净性进行评定。结果表明,生物柴油自身较易氧化,加速了柴油机油的氧化变质,使柴油机油清净性变差;不同质量等级柴油机油高温清净性受生物柴油影响的程度不同,不同原料制备的生物柴油对柴油机油高温清净性影响也不同。