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

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

合成分队双层主从决策模型研究

针对合成分队不同指挥层级之间的决策交互优化问题,提出了基于主从决策的双层武器目标分配模型。该模型能够体现上下指挥层级之间交互式决策协调优化的特点:上层目标为主攻方向我方遭受威胁最小,下层目标为对敌打击最大。结合合成分队作战决策的特点和要求,提出了一种求解该模型的改进型粒子群优化算法。仿真结果表明,该模型合理有效,改进的求解算法能够获得满意解。     

雷达目标识别中获取基本概率赋值的方法

由于传感器的精度、系统组成的许多环节、外部环境影响以及数据的后处理等因素的影响,雷达目标识别中存在大量的不确定性.在这种情况下,利用精确的方法处理不确定性信息,必然造成识别误差的提高.证据理论是近年发展起来的一种新型推理技术,由于它能够处理由不知道引起的不确定性,因此被广泛地应用于目标识别中.然而,在利用证据理论时,基本概率赋值的构建是证据理论实际应用中面临的最大难题.针对雷达目标识别具体问题,在系统分析证据理论的基础上,提出构建基本概率赋值的方法,并通过仿真实验验证了方法的可行性.     

国防工业投入产出模型的改进

为克服现有国防工业投入产出模型的不足,作者改进了现有的投入产出表;建立了适用于分析国防工业内部诸如军转民、平转战等问题的新的数学模型;给出了几个直接消耗系数和完全消耗系数的定义;得到了模型的有关解。     

Al-Mn 多层膜离子束混合

离子束混合是一种材料改性和新材料研制的有效方法,本实验用Ａｒ＋离子束对Ａｌ－Ｍｎ多层薄膜在室温下进行轰击使其非晶化,并对样品电阻率随离子注入剂量及温度的变化关系进行原位测量．电阻温度系数ＴＣＲ和ＴＥＭ观测证实了样品离子束混合后电性能和结构发生改变生成了非晶相．     

反应法制备SiC涂层组成与结构

采用反应法在C/SiC复合材料表面制备SiC致密涂层,利用XRD分析涂层的组分及晶体结构,利用扫描电镜及金相显微镜观察涂层的断口及表面形貌,并对涂层形成过程进行了分析。结果显示:涂层主要由SiC及少量的游离Si组成,致密不开裂的SiC涂层与C/SiC复合坯体之间有很好的梯度过渡结构;相反,涂层与坯体之间如果没有形成过渡层,涂层会因热残余应力过大而开裂;反应法制备不开裂SiC涂层与CVDSiC涂层有很好的热匹配性,同时在其表面制备的CVDSiC涂层无点缺陷。     

提升匹配度：国防动员亟待解决的现实课题

战争的铁律一再告诫我们:不打无准备之仗,不打无把握之仗。信息条件背景下局部战争越来越凸显的精确化特征,要求战争形态牵引下的国防动员必须紧跟时代步伐走精确之路,大力提升国防动员匹配度。国防动员匹配度,是国防动员与战争需求的对接程度和保障效能。提升动员匹配度,就是充分运用现代技术,准确预测、分析和跟踪战争需求,科学制定动员计划,精确组织动员实施,使需求与供给之间动态衔接和平衡,有效规避动员活动的随意性和盲目性,从而最大限度、最快速度、最高效率地把动员潜力转换成战争实力的一种过程。提升国防动员匹配度,是确保战争“…     

CsLiB6O10晶体Ⅰ型光参量过程中角度调谐研究

根据三波耦合过程中的能量动量守恒,基于非线性晶体的相位匹配理论,利用CsLiB6O10(CLBO)晶体的Sellmeier方程,详细分析了Ⅰ型共线及非共线参变过程中CLBO晶体的角度调谐特性.这对于激光脉冲的激光参量过程的优化具有重要的意义.     

网络入侵检测的快速规则匹配算法

在分析入侵检测系统的基础上,指出现有规则匹配算法的不足.提出一种新的规则匹配算法,该算法主要利用非精确匹配技术,缩小入侵分类的检测范围,达到快速匹配的目的.根据不同的安全性要求设置不同的门限值,该算法可用于预测适合不同门限值的可疑入侵行为.     

一种改进的自适应Chirplet分解方法及其实现方法

参数自适应时频分布成为当前非平稳信号分析与处理的研究热点。针对自适应Chirplet分解所用基函数的时频关系为线性,对含有非线性时变分量的信号逼近效果不好的问题,提出了一种改进的自适应Chirplet分解方法,并给出其快速实现算法。首先在Chirplet时频原子的基础上添加了弯曲算子,构造了新的时频原子,得到了一种改进...