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

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

模糊群体决策的多方案评价方法

针对多方案评估中因素评价难于精确表示的问题,提出了一种基于模糊语言变量和OWA(OrderedWeightedAveraging)集结算子的群体评价模型与方法,给出各因素的方案两两对比偏好语言评价值,并通过对多决策者、子因素、主因素的三次集结和对模型中α值的恰当选取,可得到方案集的优序排列。该方法可行、有效,可为群体决策提供新的途径。     

军事训练演习数据汇集与融合系统的设计与实现

实现海量军事训练演习数据的汇集与融合,是生成相应的作战效能数据的基础。结合军事训练基地数据的收集与运用现状,提出了一个基于Web服务的多源异构数据汇集与融合系统的解决方案：运用XML Schema技术实现了异构数据模式的标准化转换,完成了多源数据的汇集;以作战平台为中心,以作战效能的各项影响因素为维度,实现了相关数据的融合。设计了系统的功能与架构并加以实现。运行情况表明,系统能够满足功能需求,具备良好的数据整合与处理能力。     

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

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

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

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

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

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

Web GIS／“北斗”技术在应急器材保障系统中的应用研究

通过分析万维网地理信息技术、"北斗"卫星定位技术和网络技术的综合应用,提出了应用Web GIS和"北斗"卫星定位技术的应急器材保障系统的基本思路和方法,探讨了实现应急器材保障系统的技术途径.     

基于二元语义群决策的油料供应站选址方法

针对油料供应站的选址决策问题,提出了一种基于二元语义群决策的选址方法。构建了油料供应站选址指标体系,在简要介绍二元语义概念的基础上,给出了基于二元语义群决策的油料供应站选址步骤,通过该方法可以得到以二元语义形式给出的油料供应站评价值。并通过实例说明了该选址方法的有效性。     

基于．NET Framework的ClickOnce部署技术应用探讨

ClickOnce是一种性能卓越的Windows窗体应用程序部署技术,它引入以前只有基于Web的应用程序才具有该项技术。使用该技术可创建自行更新的基于Windows的应用程序,这些应用程序可以通过最纸程度的用户交互来安装和运行。该技术克服了Windows Installer部署中的一些问题,文章介绍了CickOnce部署技术中的关键技术和策略。     

汉语原型句蜕向英语多元逻辑组合的变换

汉语原型句蜕的英译形式多种多样,其中变换成英语的多元逻辑组合是涉及比较复杂变换细节的一种,因而成为颇具特色的语义块构成变换子类.文章从概念阐释入手,详尽分析了这种变换的语言现象、变换的必要性以及实施变换的技术准备.