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

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

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

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

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

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

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

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

一种基于组件的DEVS建模与仿真方法研究

针对当前DEVS建模仿真中存在的一些主要问题,将XML和组件技术开发方法引入到仿真系统开发中.提出了基于组件的DEVS建模仿真框架,可以很好地支持仿真模型组件从静态模型描述到动态模型的调用,支持模型组件的重用和组合.     

旋转点云特征识别及重建的2D线性架构方法

现有反求技术不能高效地处理带附加形状特征的旋转零件,为此提出了一种旋转点云特征识别及重建的2D线性架构方法:先将点云从旋转特征形式转换成展开形式,再提取旋转点云数据中的关键信息,并将提取的信息转变为对应的设计要素和参数,然后修正关键的几何特征参数。实验验证了该方法的有效性。     

铝质壳体弹丸破碎性试验破片回收率研究

针对当前没有铝质壳体弹丸破碎性试验破片回收率标准的现状,进行某型铝质壳体破甲弹破碎性试验,认为破片回收率低的原因是回收过程中破片损失和部分金属铝熔化,并从理论上计算铝质壳体在爆炸破裂过程熔化率,验证试验中破片回收率的合理性。     

部队装备保障训练质量管理模式研究

对基于＂符合规定性＂质量观和基于＂符合需要性＂质量观的部队装备保障训练质量的内涵和实施过程进行了对比分析,指出了基于＂符合规定性＂质量观部队装备保障训练的局限性,建立了基于＂符合需要性＂质量观确定必训科目、训练需求和受训者的过程模型。