基于案例推理的危险化学品事故警戒范围研究

为了更有效地确定危险化学品事故现场警戒范围,提出一种基于案例推理技术的危险化学品事故现场警戒范围划分办法。通过对影响危险化学品灾害事故后果、发展程度、发展方向的特征要素的分析,确定了基于案例特征要素的案例表示方法。针对实现危险化学品事故现场警戒范围确定这一决策目的,采用了层次分析法对案例特征要素赋权。最后基于最邻近算法,实现了案例的匹配。参考案例库中匹配案例的警戒范围划分方法,为当前案例提供指导,对危险化学品事故现场警戒范围确定有一定借鉴意义。     

日本为啥相中“黄蜂”？

2014年8月3日日本防卫省透露,日本政府已决定向美国购买1艘4万吨级的黄蜂级两栖攻击舰,拟在2019年交付口本海上自卫队并完成实战部署,使口本海上自卫队相关军购动向再次引起广大军迷的关注。该级舰战力与日本海上自卫队现役的大隅级两栖船坞运输舰（与一般同类舰不同,采用全通甲板设计）相比,孰高孰低？本文将作较深入介绍。     

基于非负张量表示的扩展LDA标注模型

由于“语义鸿沟”的存在,自动图像标注是一项极具挑战性的工作。考虑到图像低层视觉特征与高层语义概念的差异,分别从图像表示与语义建模两个方面来实现自动图像标注。在图像表示方面,提出了一种正则化约束下的非负张量表示方法,用以提取符合人眼视觉直观理解的图像高阶结构特征。在语义建模方面,提出了一种三层贝叶斯模型——扩展隐Dirichlet分配。该模型利用隐变量来实现图像与标注词的关联,并通过一种基于变分推理的期望最大值方法来估计其参数。实验结果表明,ELDA模型在大规模数据库NUS-WIDE上的标注结果相较于现有方法有了显著的提高。     

舰载弹炮结合近程武器系统技术研究

现代高性能反舰导弹是舰艇末端防御的最大威胁,而舰载弹炮结合近程武器系统为舰艇的末端防御提供了一种有效的途径。分析了舰载弹炮结合近程武器系统的作战使用和主要特点,针对海上空袭武器的特点,重点研究了增强系统抗饱和攻击能力的设计方法,并探讨了舰载弹炮结合近程武器系统在现代海战中的使用方向。     

攻击，从水下发起：世界主要国家蛙人部队全透视

随着水下无人作战平台、蛙人输送器等特战装备的不断发展,蛙人部队成为近海港口水域渗透、侦察、破坏的主角,其采用水下与水面作战,远程和近程相结合的模式,除了能潜入敌方海军基地进行破坏活动外,蛙人还能够对停靠在军港内的军舰实施攻击和破坏,对海军的舰艇、军用港口、码头和军事设施等造成严重威胁。     

大洋上的“骆驼”——解析美海军MLP机动登陆平台

随着美海军“海上基地战略”的不断深化,包括航空母舰、两栖攻击舰、运输舰等构成的联合作战网络倍受青睐。2005年,美海军提出MLP,即机动登陆平台概念,旨在通过建设这种犹如骆驼一样的平台,为各类战舰提供运输中转,未来或将成为美海军“海上基地战略”及两栖作战的核心。本文将对美军MLP机动登陆平台予以解析。研发历程 MLP的英文全称是MobileLaunchingPlatform,即机动登陆平台,意为能够实施机动、可以由其他战舰登陆其上的海上平台。这里需要明确的是,“登陆”指的是提供“登陆”,这个平台并不具备自身登上陆地的能力。     

苏伊士运河上的“快客”——埃及海军“大使MK4”型苏菜曼·艾扎特级新型导弹艇

2013年11月19日,埃及海军在佛罗里达州彭萨科拉港接收首艘大使MK4型苏莱曼·艾扎特级新型导弹艇（埃及官方又称快速攻击艇,但根据其排水量看,则是典型的轻型护卫舰）“苏莱曼·艾扎特”号,使世人再次关注守卫地中海进入印度洋咽喉——苏伊士运河的海上劲旅埃及海军的最新装备发展动向。     

针对DSA滑动窗口算法实现的指令Cache计时攻击

在现有的针对RSA等公钥密码的指令Cache计时攻击的研究基础上,提出了一套可行的针对DSA的指令Cache计时攻击方法,并对计时信息采集、识别、密钥恢复等环节进行了研究,给出了一种随机密钥恢复算法。搭建了攻击实验平台,利用编写的间谍程序对滑动窗口算法实现的DSA签名进行了实际攻击,验证了指令Cache计时攻击方法是可行、有效的．     

F-35作战能力综述

F-35项目正式研制至今已经有11年,目前仍面临超重、超支和延期等问题。外界对其能力也是众说纷纭、莫衷一是。文章对F-35可能具备的能力作了比较全面的梳理、阐述和分析,给出了一个比较系统的认识和理解。     

基于HNC的命题逻辑推理方法

针对面向自然语言推理中计算机难以准确提取命题并进行符号化的难题,运用HNC(Hieratical Network of Concepts)理论中的语言逻辑概念与句类分析技术,从概念的角度出发,对自然语言描述的推理问题进行理解处理,使计算机能自动提取出推理条件中蕴涵的命题,然后将命题进行公式化处理,最后得到用自然语言描述的结论命题.试验结果表明:该方法能准确理解自然语言中的语义逻辑关系,完成命题逻辑推理.