一种基于同例和异例的溯因推理

溯因推理是在给定的理论和观察下,求出对于该观察可能的解释.然而,在一般的溯因推理中,并不要求解释的直观性和归纳性,从日常生活和科学发现的某些规律出发,本文提出了同例和异例的概念,提出了一个基于同例和异例的溯因推理框架,并引入了可诱导和可允许这两个限定条件.接下来,本文给出在该框架下求出所有极大解释的算法AH并验证了它的可靠性和完备性.最后,一个具体的例子演示了算法AH,相对于一般的溯因推理系统,本框架主要有如下的优点:溯因得到的解释更符合直观,溯因得到的解释还可以用来推导出更多的新的语句.     

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

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

ARP协议与邻居发现协议的安全性分析

本文针对IPv4及其IPv6下局域网IP地址映像到其它主机不需提供IP与MAC地址真实性检验.对ARP协议和邻居发现协议进行了深入的分析比较,提出预防类似攻击的常用措施.     

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

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

浅谈指称词IT在英汉语篇中的回指用法对比

本文在前人的研究成果基础上,基于实际的语料分析,对英语中的指示代词It和汉语中相对应的它在回指方面作了对比分析.结果发现,it和它在两种语言中的回指用法基本相同.其不同之处主要在于it可以回指人而它不可以,it回指事情的情况相对较多而它的这种用法极少.此外,it不能单独作限定成分来回指,而它可以.     

阿赖耶识语义流变研究

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

浅谈语境对语义的影响

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

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

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

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

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

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.