基于机器翻译的原型句蜕及其包装研究

首先简要介绍了HNC理论及其机器翻译观,结合机器翻译的难点与原型句蜕存在的普遍性,说明了解决原型句蜕变换的意义:接着对原型句蜕构成现象进行了描述,从汉英语义块构成对比分析中导出了汉英变换规则;从现有的机器翻译系统所暴露的问题中,说明原型句蜕变换对提高机器翻译质量的必要性和可行性;最后是对本文的结论和说明。     

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

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

浅议火工品药剂相容性分析方法

火工品药剂作为火工品的基本装药,在武器系统中用量比较小,但对武器系统的安全性和可靠性有重要影响,相容性是用来评价火工品药剂长期贮存安全性与可靠性的一项重要性能指标。在研究火工品药剂相容性问题时,通常会涉及试验方法选取,火工品药剂相容性试验程序的应用以及对试验结果进行评价。     

一种基于本体的功能建模表示方法

通过分析典型的功能模型并提取具有共性的公共概念和关系,结合本体建模技术,提出了一种基于本体的功能建模方法,以解决异种功能建模框架之间知识交换与协同设计问题.该方法将功能建模过程自顶向下分解成功能、行为、流与结构4个本体类,定义分析了相关属性,并建立了概念映射关系模型,有利于构造领域功能设计本体库.最后,利用该方法构建了离心通风机的功能建模本体库.     

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

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

Smalltalk-80 的形式语义研究

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

现代文本分类技术研究

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

敏捷指挥控制一致决策度量技术研究

针对敏捷指挥控制过程中的一致决策问题,研究了基于语言短语的偏好表示技术和一致决策度量技术,提出一种改进的基于二元语义的复合标度评价模型,建立三种不同的一致因子模型,可分别度量决策者、方案、决策过程的一致程度,从而提供一种评价决策者、方案、决策过程的量化标准,为更加敏捷地选择调整决策者和决策方案提供量化模型与评价依据。     

基于SOA和本体的指挥信息系统数据集成研究

随着信息化作战的发展,迫切需要对指挥信息系统的数据进行集成整合,在分散异构的数据源上实现统一的数据交换.针对这一问题,提出了一种基于SOA和本体的多源异构数据集成架构,并详细阐述了其体系结构、模块设计、功能特点以及关键技术,最终实现了一个多源异构数据集成原型系统.通过Web Service技术解决了客户端与服务端之间的...