支持MDD的体系结构模型的形式化语义

 为解决模型驱动开发中模型映射关系的定义和模型转换的正确性验证等方面存在的问题,利用范畴理论形式化描述软件体系结构模型及其间的关系,使之具有严格的语义。态射合成被用来追踪构件模型之间的关联和映射关系,不同抽象层次的体系结构模型之间的一致性由函子来维持。范畴理论支持图形化建模,可以使模型中的构件关系以及结构特征可视化,有利于对模型转换的理解和追踪。应用研究表明,该方法不仅可为验证模型之间映射规则的正确性提供依据,还能为模型转换的具体实现提供理论指导。     

基于区间参数摄动法的黏弹性区间有限元研究

对线性静力区间有限元应力区间计算方法进行了评述,认为将含有区间参数的高斯点应力在区间参数均值处进行Taylor展开,计算得到的应力区间扩张不明显.将区间分析方法应用于黏弹性问题分析,推导了黏弹性问题的区间参数摄动法计算公式,研制了相应的黏弹性区间有限元计算程序.通过算例分析认为:采用区间参数摄动法进行黏弹性问题分析是可行的;随着位移均值的增加,位移离差也逐渐增大;位移区间最终随着位移均值的稳定而逐渐趋于稳定.     

基于相对熵的不确定性群决策集成方法

针对带有区间数的不确定性群决策问题做了研究.首先在区间数比较可能度概念的基础上,获得各个决策者对方案集不确定性评价的可能度矩阵,并将其转化为方案集的排序向量;然后从相对熵的概念出发,提出了一种相对熵的不确定性群决策最优化集成模型,讨论了模型的求解;最后实例分析表明文中所提方法的可行性和有效性.     

英语形容词的状语功能探析

人们通常认为,形容词在英语句中可充当定语、表语和补语。那么,它是否具有副词功能用作状语?语法界对此研究甚少。本文试就形容词作状语的现象来分析探究其语义功能。     

阿赖耶识语义流变研究

以佛教经典为依据,考证阿赖耶识语义的渊源和流变,初步梳理从佛教初期到中晚期阿赖耶识语义的变迁,从而较为全面的诠释阿赖耶识概念的内涵和外延.     

浅谈语境对语义的影响

为了更好的交流,准确的把握语义是十分重要的。但是要做到这一点的确十分困难。那么怎么做才能更好的理解语义呢?语言学家认为:对语义的理解不应该只建立在词汇和语法的基础上,更重要的是要结合具体的语言环境对语义进行分析和把握。语境对语义的准确理解有举足轻重的作用。不同的语境对语义有不同的影响,在理解语境的过程中要尽可能的把各种相关语境都考虑在内。本文主要是在对语境和语义分析的基础上,阐明语言环境在语义理解过程中的作用。     

UML 2．0状态图的XYZ/E时序逻辑语义研究

UML2.0状态图适合于描述软件体系结构中组件内部的动态行为及组件端口的行为,但UML2.0状态图的语义不够精确,使得它的描述结果不利于进行进一步的分析和验证。基于此,本文在定义UML 2.0状态图的语法的基础上,给出了UML 2.0状态图的XYZ/E时序逻辑语义,为使用UML 2.0状态图与XYZ/E相结合的方式来描述软件体系结构中组件内部的动态行为及组件端口的行为奠定了基础。     

语义场理论在近义词辨析中的应用

英语是一门发达的语言,同义词数量众多。如何有效的区分同义词,从而正确的选词、用词是英语学习者面对的一大难题。传统的方法是把所有近义词的意义查出来放在一起比较,从而加以区分。由于近义词在意义、用法等方面差异的细微性,通过意义比较有时无法区分近义词或区分不是很明显,仍然会导致近义词的误用、滥用。在总结前人辨析同义词方法的基础上,本文试图借助语义场理论,从语义场中词与词之间在意义上相互联系,相互制约的角度出发,把同义词放入词汇系统中进行区分,从而有效的解决同义词的误用、滥用,提高英语学习效率。     

基于模糊本体的智能交通系统知识建模

为有效处理交通知识建模中的模糊与不确定现象,提出包括领域本体与顶层本体的模糊本体模型.在领域本体中引进模糊概念属性值,并将普通的概念关系扩展为模糊关系与直觉模糊关系.顶层本体基于模糊语言变量的形式化表示,考虑了模糊概念间的实质性语义关系:集合关系、序关系与等价关系.以交通事故分析与预测系统为例,建立交通知识本体模型与基于语义的信息检索系统.该模型可有效进行智能交通系统的知识建模,有利于语义Web环境下智能交通的信息管理与知识管理.     

The exchange from relational schemas to XML schemas based on semantic constraints

XML is the standard format for data exchange between inter-enterprise applications on the Internet. To facilitate data exchange, industry groups define public document type that specify the format of the XML data to be exchanged between their applications. In this paper, we propose a new method to solve the problem of automating the conversion of relational data into XML. During the conversion, we considers not only the structure of relational schemas, but also semantic constraints such as inclusion dependencies during the translation--it takes as input a relational schema where multiple tables are interconnected through inclusion dependencies and converts it into an X-Schema. Finally, in order to validate our proposal, we present experimental results using real schemas.