基于自注意力和类监督的遥感图像跨模态检索

针对智能化联合作战场景中,情报分析人员对海量无标签遥感图像进行信息检索时面临的大数据问题,提出适用于遥感图像的文本-视觉跨模态检索技术框架,并对其中核心的跨模态检索模型进行针对性改进,构建一种基于自注意力模块和类监督约束联合训练的深度学习模型。通过引入类监督指导的全局-局部视觉特征提取模块、主导语义掩码建模的文本特征提取模块,以及融合文本-视觉语义信息的交叉提取模块,提升检索效果,实现在无图像描述标签情况下的文本-视觉跨模态语义检索。公开数据集上与相关算法的对比实验,证明该方案的先进性与可行性。     

基于认知的武器系统能力描述模式

研究武器系统能力的过程,是通过实践不断认知武器系统能力,并不断反馈的过程。为此,提出基于认知的武器系统能力描述模式。首先,研究武器系统能力的基本概念,提出将武器系统能力分解为能力要素,直至底层的能力原子,对能力原子分析起关键作用的特性称为能力属性。其次,建立基于认知的武器系统能力描述的三维模型——包括语用维、语义维和语法维。第三,提出由语用分析、语义分析和语法描述构成的武器系统能力的描述框架。最后,通过一个案例示例以说明了模式的有效性和实用性。     

潜艇作战系统的服务描述与建模方法研究

在军事信息服务定义的基础上,针对军事信息服务的语义化、动态化等特性,提出一种潜艇作战系统的服务描述和建模方法。其中服务描述采用基本描述、功能描述和非功能描述相结合的方法;建模方法采用扩展的本体定义元模型,增强了军事信息服务的语义性和动态性。最后将所提方法应用到面向服务的潜艇作战系统中,为开展潜艇作战系统服务化研究提供参考。     

可组合仿真模型的语义形式描述及组合判定方法

如何判定仿真组件之间是否可组合是组合仿真中的关键问题之一.建立了组合判定问题的参考模型,基于Hoare逻辑给出仿真模型语义的描述方法,并以此为基础通过构造模型语义之间的组合匹配规则,从组合相容性及可替换性两个方面刻画模型的可组合性质.形成语义层次的组合判定方法;对组合相容性与可替换性质之间的关系进行了分析.     

基于OWL本体扩展的视频语义内容分析

随着可获得视频数据的快速增长,迫切需要有效的方法在语义层理解和管理视频数据。对OWL语言进行扩展,提出了V-OWL本体描述框架,支持视频内容蕴含的时空关系和不确定性关系的建模,使用基于贝叶斯网络的B-图描述模型,将V-OWL本体概念、关系映射为B-图中的节点、边,利用贝叶斯网络训练推理算法实现视频高层语义的自动推理发现。实验结果显示,V-OWL本体描述框架对复杂视频内容具有很好的描述能力,基于V-OWL的视频内容分析框架对视频高层语义探测具有较高的查准率和查全率。     

面向基本对象模型BOM和Web服务的建模技术研究

介绍了BOM模型和面向Web服务技术，从概念、表示以及语义层次上对2种技术进行了对比分析。基于二者数据类型和语义的一致性，提出了从BOM模型到Web服务描述的映射规则，阐述了这种映射的实际操作步骤，最后通过实例验证了该方法的可行性和有效性，并分析和总结了运用BOM和Web服务建模的优越性。     

Smalltalk-80 的形式语义研究

Smalltalk-80是原型的面向对象程序设计语言和环境。本文简要地介绍了Smalltalk-80的基本概念和抽象文法,给出了其形式模型,并基于该模型描述了Smalltalk-80的静态指称语义和动态指称语义。     

利用对象Petri网验证场景

序列图表示的场景常被用于系统开发早期的需求获取与描述,但因其弱语义性而难以被验证.将序列图表示的场景转换为语义精细的对象Petri网模型OPDL,并通过其仿真环境OPMSE对其进行仿真,将场景描述的系统行为"展示"给需求开发者和用户,以此进行行为需求的验证.     

中间产品C~4ISR体系结构动态行为语义一致性验证方法

目前对于C4ISR体系结构动态行为一致性设计还没有有效的验证方法.针对C4ISR体系结构动态行为的语义一致性.首先分析了其验证的内容和规则,然后以体系结构动态行为描述关键产品为基础,构建一个中间产品,再将其转换为可执行的对象Petri网模型,利用该对象Petri网模型进行动态行为语义一致性验证,最后通过一个案例对其进行了说明.     

情报信息系统结构及数据流程与挖掘研究

情报信息系统是军事信息系统的重要组成部分,其基本结构可按物理结构、逻辑结构和理想结构进行研究。针对系统数据的6个特点及数据处理流程,给出情报数据挖掘的全生命周期和体系结构形式化描述。对非结构化数据挖掘,提出检索结果评估算法及基于语义网络的知识提炼法。     

模拟罐声发射试验研究

为验证常压储罐声发射的基本规律,并获得罐底缺陷声发射信号数据,在模拟罐进行声发射试验。原始状态的模拟罐底部存在沉淀,通过原始状态与清洗罐底后声发射试验结果对比,得出罐底沉淀物会产生部分声发射信号并影响声发射检测,以及涂层对声发射检测影响较小的结论。凹坑和通孔是罐底常见腐蚀缺陷,通过设计和预制3种罐底缺陷状态,分别对各种缺陷状态的罐底进行声发射试验,分析缺陷的声发射信号特征,得到缺陷在升压和保压检测中的声发射信号数据,为声发射检测数据分析提供参考。     

m序列在电视指令制导中的应用

针对某电视指令制导系统的无线电指令编码加密进行了分析和研究,介绍了一种基于171序列编码加密方案.该方案根据m序列的特点采用双层密钥,大大扩大了密钥空间,限制了密码分析者攻击时的累加性,提高了通讯的安全性.     

目标散布下反舰导弹捕捉概率的计算

分析了反舰导弹在攻击海上目标时,由于测量误差的存在,从而造成目标真实位置散布的情况,并给出了求目标散布区域的计算方法;同时根据导弹末制导雷达搜捕目标的原理,提出了目标散布时导弹对目标的捕捉概率的大小计算方法,探讨了其战术意义,并给出了算例分析.     

沿海船舶边防治安管理浅探

面临海上治安管理的新形势,要加大对驻泊地船舶的边防检查登记力度,摸清辖区内船舶的有关情况,结合海上的巡逻检查,及时查明、掌握辖区海上治安情况,有效打击海上各类违法犯罪活动,维护海上治安秩序.     

基于移动agent的入侵检测系统模型研究

在分析目前入侵检测系统所面临问题的基础上,提出了一个基于移动agent的入侵检测系统模型.该系统具有安全性强、可移植性好、效率高等突出特点,代表了入侵检测技术发展的方向.     

未来海上防空作战战场环境研究

战场环境对海上防空作战有着直接的影响,针对日益复杂的战场环境,从空中威胁环境、自然环境、电磁环境等方面深入分析了未来海上防空作战可能面临的战场环境及其对防空作战的影响,提出了未来海上防空武器和防空体系发展的几点建议。     

试论以可持续发展促进和谐世界的构建

文章论述了构建和谐世界与可持续发展的关系,世界可持续发展的制约因素,提出了促进和谐世界构建的应对之策。     

三无船舶存在的原由及对策

“三无”船舶问题由来已久，成因复杂。从我国船舶管理和海洋开发利用的实际出发，应当改革现行做法，加强行政指导，减免行政收费，切实发挥好行业协会的自律作用。     

试论建构主义理论对写作教学的启示

传统教学以学生被动接受，死记课本知识，教师为课堂主宰，教学单向流动，学生个性受到严重压抑为特点。建构主义摒弃了这些传统教学方式，强调学生是知识意义的主动建构者，学生是教学的主体，教师是学生知识建构的组织者、参与者、帮助者，学生的背景知识受到重视，学生的个性得到充分的尊重，师生、生生的交流互动是教学中重要环节。在建构主义理论指导下的写作教学体现了平等、互动、创新的特质。     

基于信息系统的体系作战工程保障模式探析

探索适应基于信息系统体系作战需求的工程保障模式,对于指导军队工程兵部分队平时建设和战时运用具有重要的理论和实践价值。论文提出了四种工程保障模式：触点感应式、基点预设式、机动伴随式和自主运作式,并分析了各种保障模式的内涵、特点和适用场景。