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

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

现代文本分类技术研究

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

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

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

无动力运载器出水过程误差分析

无动力运载器在出水过程中受海浪的扰动作用,运动参数会产生一定的偏差。针对海浪随机性的特点,应用波能谱理论,在P-M谱基础上构建了随机海浪模型,并使用四元数法建立运载器水弹道数学模型,解决了运载器垂直出水姿态角存在的奇异性问题,通过采用二元切片法给出波浪力的计算公式。最终在Matlab/Simulink仿真工具箱下建立了运载器仿真模型,就不同海况与主浪向角影响下运载器出水的运动参数偏差进行了仿真计算,分析了其变化规律。仿真结果表明,运载器在4级海况以下各项运动参数都满足出水要求,对运载器的设计与使用具有一定的参考意义。     

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

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

Web服务组合算法的研究与分析

Web服务组合是提高Web服务资源利用率的一种重要方式,也是发掘增值服务,加快系统开发速度的重要手段。通过服务组合为网络系统应用提供了更加丰富的资源。首先介绍了Web服务组合的运行框架;然后以Web服务组合算法使用的设计方法学为依据,对现有经典服务组合算法进行了分类并从执行流程、应用场景、核心技术等方面分析了算法的优缺点;最后总结了全文,探讨了下一步的研究方向。     

基于语义的服务发现架构浅析

服务发现问题的核心是如何根据用户需求,快速、高效的确定并获取网络中所提供的服务。基于语义的服务描述利用本体概念来表述领域内的知识,使计算机通过自动逻辑推理,完成服务的匹配、查找成为可能,并给服务发现架构的设计提出了新的要求。文章从基于语义的角度出发,按集中式、分布式、混合式三种类型对现有的服务发现架构进行分析,并给出下一步的研究方向。     

浅析我国新阶段下的“三农”问题

三农(农民、农业、农村)在中国城市化、工业化、现代化过程中具有不可逾越的地位,有着不可低估的人口影响、空间影响、素质影响和政治影响。由于受经济、产业、制度的制约,出现了农民增长缓慢、农业发展动力不足、农村剩余劳动力过多等“三农”问题。新的国际、国内发展阶段又加剧了“三农”问题,使其成为影响我国经济持续健康发展的重要因素。“三农”问题的解决需要新的思路、新的方法和新的措施,这要求我们必须从以下几方面思考:大力发展小城镇,转移农村剩余劳动力;调整产业结构,提高农产品市场竞争力;大力发展教育,增加劳动力的人力资本存量;加大对“三农”的支持力度,创造良好的发展环境。     

Smalltalk-80 的形式语义研究

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

探讨英语多义词和同形异义词引起的语义含糊现象

讨论了由多义词和同形异义词引起的语义含糊现象以及两者的区别 .了解它们有助于我们更好地进行语言交际和英语词汇教学 .