基于SOA的战场武器协同系统服务语义描述

高效的武器协同能充分发挥各作战单元的整体作战效能。SOA(Service Oriented Architecture)体系结构松耦合性、平台独立性及可重用性等特点,为武器协同系统的实现提供了有效的技术途径。文章针对现行集中式的武器协同系统体系结构,重点讨论了武器协同本体构建及战场服务语义描述的实现问题。首先介绍了武器协同系统的组成及工作流程;然后依据系统的操作过程,构建了完整一致的武器协同本体,并用OWL语言对其进行描述;分析、比较了几种服务描述语言优缺点,选择了WSDL-S语言进行服务描述,并以火炮射击服务为例,给出了战场服务的封装和描述方法,主要包括基本服务信息描述和服务描述的语义扩展。最后,对下一步工作进行了展望。     

一种业务概念模型驱动的需求分析与获取方法

需求分析是军事电子信息系统建设的难点。本文在总结国外ADL/ESS研究成果基础上,结合军事电子信息系统开发特点,定义了一个通用语义框架,在借鉴UML建模方法基础上形成了一个基于业务概念框架的需求描述语言和建模方法。文章介绍了该方法的基本概念,给出了语言的部分定义,最后用示例描述了建模方法。     

词汇外延语义与阅读理解

从外来语言文化的影响和行业术语的推广应用两个方面揭示了词汇语义的外延 .依据图式理论论证了词汇语义外延是妨碍学生阅读理解的主要障碍之一 .从哲学观点出发 ,说明了语境中的词语和词典中的词条之间的差异和学生在掌握词义方面的片面性 ;进而阐明了阅读课培养学生获取词汇外延意义的必要性和做法 ,以及由此带来的积极影响     

语义树方法及其可靠性和完备性

Ａｎｄｒｅｗｓ在《ＡｎＩｎｔｒｏｄｕｃｔｉｏｎｔｏＭａｔｈｅｍａｔｉｃａｌＬｏｇｉｃａｎｄＴｙｐｅＴｈｅｏｒｙ：ＴｏＴｒｕｔｈＴｈｒｏｕｇｈＰｒｏｏｆ》一书中给出的语义树方法是一种能直接适用于句子集的反驳方法,但其中关于语义树方法的可靠性和完备性定理（３２０１）及其证明是错误的。本文通过例子指出并纠正了这一错误,同时对修正后的可靠性和完备性定理给出了详细的证明。     

线性核时频信号表示及其仿真

根据ｃｈｉｒｐ信号在模糊域的特点,本文提出了线性核时频表示方法。这种方法在提高分辨率、消除交叉项以及抑制噪声等方面都具有较高的性能。理论分析和实验结果都证实了这种方法的有效性     

谈充分条件假言判断逻辑性质

在形式逻辑的判断中,假言判断分为充分条件假言判断、必要条件假言判断和充分必要条件(简称充要条件)假言判断。一个假言判断它通常由前件、后件和联结项三个部分组成,不同的联结词表示了前件和后件不同的逻辑关系。     

蓝色镜头

俄将用空地两种撒手锏武器反击美反导系统；中韩海空军开通军事热线 有助预防东海冲突；日欲借反海盗行动为海外动武第一枪铺路；金融危机致美日联合海上演习规模大幅缩水；美海军首艘濒海战斗舰“自由”号服役     

基于统一描述框架的导弹设计知识模型研究

为了解决基于知识的导弹设计中异构知识难以共享、重用及有效支持推理的问题,提出了一种基于统一描述框架的本体化知识模型.首先研究了导弹设计中各类知识的表达形式,针对这些异构的知识提出了一种统一描述框架,而后研究了基于这种统一描述框架的本体化知识模型,在该模型中定义了知识基本建模单元,其可直接用于各类异构知识的表达和建模.最后利用导弹气动设计知识建模的应用示例说明了研究成果的有效性.     

故障诊断专家系统外壳设计与实现

设计了一个故障诊断专家系统外壳,给出了外壳的总体框架结构,基于对象式框架的知识表示,融经验诊断和原理诊断为一体的推理机制.介绍了在Windows环境下实现故障诊断专家系统外壳的方法.只要通过知识库管理系统,在Access数据库中建立不同的知识库,就可以创建不同系统的专家系统.开发的故障诊断专家系统已经在实际中应用,取得了良好的效果.     

现代文本分类技术研究

分析了当前的文本分类技术,总结了文本分类需要解决的问题;在详细比较了各种不同的分类算法以及文本模型以后,为进一步开展优化以及提高文本分类技术的研究工作提供了一些参考和建议。