舰炮武器系统的适装性评估模型研究

针对舰炮武器系统适装性评估问题,提出了一种基于层次分析法的适装性评估模型。该模型选取火炮、跟踪传感器、火控设备的适装性作为模糊变量来评估舰炮武器系统的适装性,结合三个变量的具体评估准则,基于层次分析法给出了适装性的具体计算方法。应用实例表明,该模型实现了舰炮武器系统适装性的量化评估,可操作性强,可为选型决策提供有力支撑。     

基于标注事件图的空间数据库主动规则终止性分析

主动规则的终止性分析强化了规则的设计高效性。给出主动规则元模型的概念作为主动规则终止性分析和比较的基础;对精化触发图进行扩展,提出标注事件图分析模型。结合实例给出终止性分析算法。与各种方法的对比说明标注事件图是可应用于终止性分析的通用抽象模型。     

全力推动国防科技工业工艺技术跨越发展

工艺技术是产品研制生产的重要手段,是制造业生存和发展的核心和基础技术,也是市场竞争能力和制造业可持续发展能力的重要体现。军工工艺技术具有覆盖面宽、技术要求高、特殊工艺专用性强等特点,在缩短研制周期、降低生产成本、提高经济可承受性和批生产能力方面起着至关重要的作用,是武器装备研制生产和军民结合高技术产业发展的关键技术,是国防科技工业实现可持续发展的重要保障。为满足国防建设和国民经济发展的需要,全面增强自主创新能力、高新技术武器装备供给能力和军民结合高技术产业发展能力,建立新型国防科技工业体系,国防科工委将…     

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

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

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

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

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

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