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

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

聚合物材料与液氧相容性的研究

为研究聚合物材料与液氧的相容性,针对四种结构不同的环氧树脂与氰酸酯的共聚固化物,以液氧冲击敏感性试验作为其与液氧相容性的判定方法,通过热分析测试手段测定各固化物的恒温氧化热增重、热分解失重和闪点等热氧性能,并与其液氧冲击敏感性进行分析对照,证实环氧/氰酸酯类改性树脂与液氧不相容的程度与其常规热氧化反应的难易程度是一致的,提高其抗氧化性可以改善其与液氧的相容性。由此加深了对于聚合物与液氧相容性本质的认识,为进一步研究与液氧相容的聚合物材料指明了方向。作为常规分析手段的热分析,在聚合物与液氧相容性的科学表征中可发挥重要作用。     

Smalltalk-80 的形式语义研究

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

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

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

仿真模型的语法可组合问题及组合判定

层次化特征是仿真可组合问题的本质特征之一,首先介绍了仿真可组合问题的基本概念,提出多层次的组合参考模型,以此引出语法层次的可组合问题,进而从命名、顺序及复杂类型匹配三个方面刻画了语法层次仿真模型的组合失配现象.为解决组合失配问题,建立了三类变换条件下的类型等价及子类型匹配关系,并以此为基础构建了语法层次组合相容性及可替换性的判定规则.     

试论语言活动中语义关系的普遍性

词语不是一个凌乱的集合,也是不像词典中那样按照字母顺序排列的,而是按照语义关系相互联系的。语义关系在语言活动中无处不在。本文论述五种情况下的语义关系：自由回忆、智力测验、语言习得、词典定义、词典插图。     

基于WindowsXP+RTX的模拟测试系统开发

采用建模仿真技术、半实物仿真技术和WindowsXP+RTX技术开发研制的模拟测试系统,用于在复杂试验条件下,对舰炮武器系统及组成设备进行检验评估,是一种充分检验舰炮武器系统性能的技术途径和试验方法,目前该系统已成功应用于舰炮武器系统工程实践中。     

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

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

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

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