C4ISR网络安全态势的可拓云理论综合评估方法

为了对C4ISR网络的安全态势进行精确评估,提出了一种基于云理论和可拓学的评估方法。分析了影响C4ISR网络安全态势的评价指标体系,通过主客观综合赋权法确定各评价指标的权系数。在此基础上,利用云理论和可拓学中的基元理论,构建C4ISR网络安全态势的综合评估方法。通过对实例的分析,表明了该方法的可操作性和优越性。     

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

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

可展开遮阳罩技术研究进展及其关键科学问题

可展开遮阳罩一般是由多层轻质柔性高精度无褶皱薄膜和展开支撑臂及其控制装置组成,在轨后展开支撑臂有序展开多层大面积薄膜实现光控制和热控制性能,能有效改善和防护空间航天器。针对可展开遮阳罩结构,依据一维轴向、二维平面与三维周向的展开方式分类总结国内外可展开遮阳罩技术的研究进展,并对不同遮阳罩结构形状、薄膜材料、层数与展开方式等进行对比分析;梳理出遮阳罩在杂光抑制、折叠与展开变形机理、极端环境下薄膜多场耦合、低温热控、太阳辐射光压力矩及其计算方法等方面的关键科学问题,并给出了中国研究遮阳罩的发展建议。     

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

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

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

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

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

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

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

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

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

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