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

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

基于ACE Streams框架的舰船综合电子仿真系统设计

软件构件具有良好的功能封装性及接口规范性,在增强软件的可移植性和提高复用率等方面意义重大。在舰船综合电子仿真系统开发过程中,通过引入ACE Streams框架的技术,有效地降低了软件各层次间的耦合度,增强了数据的传输处理能力,固化了该系统的通信机制。     

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

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

基于高阶曲面拟合的边缘检测算法研究

图像的边缘检测是图像分析领域十分重要的基础,在工程应用中占有很重要的地位.提出了一种基于高阶曲面拟合的边缘检测算法.算法首先利用自适应滤波对图像进行了去噪处理,接着通过曲面拟合获取图像的梯度信息,最后用统计方法进行了阈值选取.实验证明该算法得到的边缘图像相对简单,边缘点较少,有利于识别,同时该检测算法也为后续的图像分析、图像理解打下了良好的基础.     

潜艇内部平台对舱壁支持作用的对比试验

为了研究平台对舱壁的支撑作用,针对以内部平台取代水平桁作为一级支持构件的潜艇平面舱壁结构形式,设计制作了两个平台强度不一样的舱段模型.然后,分别对两个模型进行静水压力试验,测量了其应力和承载能力.模型试验结果表明,平台的使用使舱壁的承载能力明显提高,且平台越强对舱壁的支持作用越大.平台结构的改变主要影响舱壁上垂向加强材上的应力水平,舱壁的破坏是由于平台受压失稳后失去对舱壁的支持引起的.     

非致命武器在反恐中的应用进展及发展趋势

随着现代科学技术的日益发展,非致命武器越来越显得其重要。本文综述了非致命武器的相关概念,总结了非致命武器在反恐中的应用状况,并展望了非致命武器在未来的发展趋势。认为在未来的研究中应该发展使人员战斗力丧失的失能性武器,主要是物理型、化学型的非致命性武器。     

多轴向织物层合板层间剪切强度有限元分析与实验研究

用VIMP工艺制备了UD、0/45/-45、0/45/90/-45三种多轴向织物增强,四种厚度的GFRP层合板试样,采用短梁剪切实验考察了层间剪切强度和破坏模式。建立了GFRP层合板短梁剪切试样有限元模型,计算了内部层间剪应力分布。结合计算和实验结果分析表明层合板存在由宽度方向层间剪应力变化导致的自由边缘效应,含偏轴铺层的层合板更容易发生边缘开裂破坏。厚度相同时0/45/-45多轴向织物增强层合板的层间剪切强度最高。短梁剪切强度测试存在尺寸效应,随着厚度的增加,强度下降,样品波动系数增大。     

大口径穿甲弹用材料应用研究动态及分析

为了提高穿甲弹的威力,有效对抗新型防护装甲和防护技术,对现有提高大口径穿甲弹穿甲威力的技术途径进行了分析,得出了弹芯材料和弹托材料的力学性能是制约穿甲威力提高的关键因素。详细阐述了目前国内外在大口径穿甲弹用弹芯材料的强韧化、绝热剪切敏感性,新型复合材料弹芯的研究和轻质弹托材料的应用研究动态,并对研究中存在的问题进行了分析。最后,对我国大口径穿甲弹用材料的研究工作进行了展望。     

弹着时间可控的机动目标多弹协同制导律

针对机动目标的多导弹齐射攻击,运用最优控制和卡尔曼滤波理论探索机动目标下弹着时间可控制导律问题。设计了一种最优弹着时间可控的制导律,它由指定弹着时间和预计弹着时间的误差作为反馈信号与传统比例制导律结合推导得出,称之为弹着时间可控制导律（Impact-time-control Guidance Law,简称ITCG）,同时利用卡尔曼滤波估计了目标加速度。通过对作战模型情况的仿真,可以看出这种新型的制导律应用于引导多发导弹以指定时间同时攻击目标时的有效性和可行性。     

强电磁脉冲对空中目标的毁伤效应计算和仿真

高强度的电磁脉冲能够干扰、毁伤敏感的电子设备,特别对空中的飞机、导弹构成了严重威胁.计算了辐射强电磁脉冲对空中目标的作战区域,其大小取决于目标所在高度、波束角和倾角.推导出作战区域各典型点处的功率密度计算公式,考虑电磁脉冲在大气传输中的衰减,最后对一定距离上的晶体混频器造成毁伤所需的辐射功率进行了仿真,研究结果可为探讨强电磁脉冲的毁伤效应提供理论依据.