论英语省略语篇中空位语义的翻译

本文运用认知语言学的理想认知模式理论对省略的空位语义现象进行研究。通过研究发现,理想认知模式理论能够促进语篇的整体理解,减少省略语篇中的翻译误差。     

形式语义描述方法研究进展与评价

程序设计语言形式语义描述技术在1990年代进入新一轮发展高潮,它对程序设计语言的设计和标准化,编译程序的设计和优化,程序推理,以及安全协议形式化描述、分析验证与设计等都有着重要的意义。但不同于成熟统一的形式化语法描述技术,语义的形式描述技术尚处于蓬勃发展和多种技术并存时期。首先回顾形式语义描述方法的研究发展史;然后通过实例介绍当前主要的语义形式描述方法;最后给出这些方法的评价标准和比较结果,并指出最有发展潜力的语义描述方法,以及将来的发展方向。     

语义反向投射下的"语义异常组合"探微

语义反向投射下反逻辑的“语义异常组合”越来越多地出现在现代语言中。它们表面上不符合正常思维逻辑,但是通过深层的语义分析与考察,就可以看出它们能够存在并为社会接受的理由。通过对“救生=救死”等具体实例做深层语义的义位选择建构和语义干涉的分析,探求这些“语义异常组合”的内在逻辑合理性。     

基于同构的语义距离算法

句子语义距离计算在许多智能系统中发挥着重要的作用.针对句子语义知识的表达方式、语义框架,提出一种基于语义同构的语义距离算法,通过计算代表句子语义的两个语义框架的最大同构子框架和最大包容子框架,计算句子的语义距离,并且通过动态调整句子成分的权重,提高算法的有效性.实验证明,该算法可以使语义距离计算精确率达到97.7%,与现有方法相比具有更高的精确度.     

"NP+了"结构语义分析

＂NP＋了＂结构具有口语性。能进入＂NP＋了＂结构的NP主要有五种语义类型：阶段NP、时间NP、关系NP、处所NP和数量（名）NP,并且NP具有[＋顺序义]、[＋推移性]、[＋特指性]的语义特征。含有＂NP＋了＂的句子,句式不同,语义重心所在不同。     

"X于"结构的语义分析

“X于”是一类常用的结构,性质比较复杂,需要全方位、多角度地进行考察。本文主要从语义层面考察对“X于”结构所带宾语的语义类型和“X于”结构的语义指向等情况。     

语义和语用因素对双数量化句式变化的制约性分析

"双数量化句式"是一个句子的主语部分和宾语部分都含有数量词作修饰语的句子。主语部分可称之为前项,宾语部分可称之为后项。本文试图从前项和后项中的数量词是否可以省略以及前、后项是否可以换位两方面来考察"双数量化句式"的变化特点以及语义语用因素对移位和省略的制约作用。     

述补谓语句的形式语义分析

中文信息处理是当今众多学科关注的热门话题,而自然语言的形式分析是实现这一任务的必要环节。分析了述补谓语句中各类补语在语形、语义等各方面的特点,并利用转换生成语法、现代谓词逻辑、类型论、范畴论、广义量词理论、集合论和λ-转换等工具分别对各类述补谓语句的语义及句法生成等作了探讨,以期有助于中文信息处理的相关研究。     

形状形容词"直"的逻辑语义分析

“直”是高频的形状形容词,在传统词汇语义分析的基础上,运用逻辑语义学理论以“直”为个案考察形状形容词“直”在不同分布中的语义结构关系,旨在初步建立汉语形状形容词的逻辑语义模型及理解模式,可以为进一步形式化提供语义信息和知识,从而为中文信息处理的词义分析提供一种新的思路。     

"鼓腹"之"鼓"的语义选择

“鼓”字取象于“壴,”取用于“支(攴),”其词义引申为动词后,大致分为两大系统:一个是形态系统,即使物凸起如鼓之状可谓之“鼓;”另一个是动态系统,击鼓可谓之“鼓,”而“敲击”以及相类的动作亦可谓之“鼓”。以“鼓”字为语根的合成词,其语义选择大致不外乎这两个系统。“鼓腹”之“鼓”因宾词“腹”既可以使之凸起如鼓状,又可以用为被敲击之物,因此语义选择当视具体的语境而定。     

《论衡》中助动词“能”的句法和语义

对《论衡》中的助动词“能”在穷尽数量统计的基础上做了细致的描写,并在此基础上分析其语法和语义特点。“能”的语法特点是：前面受副词修饰;后面接动词、形容词或动词性结构;构成“不-不”双重否定格式;单独做谓语等。“能”在句法结构中表示三种语义：条件或情理上的许可;具备某种能力或达到某种效率;肯愿。     

Compactness theorems of fuzzy semantics

The relationship among diverse fuzzy semantics vs. the corresponding logic consequence operators has been analyzed systematically. The results that compactness and logical compactness of fuzzy semantics are equivalent to compactness and continuity of the logic consequence operator induced by the semantics respectively have been proved under certain conditions. A general compactness theorem of fuzzy semantics have been established which says that every fuzzy semantics defined on a free algebra with members corresponding to continuous functions is compact.     

Repeat-until语句的操作语义与指称语义的等价性证明

在计算机科学中，形式语义学以数学为工具，精确地定义和解释计算机程序设计语言的含义或语义．其中操作语义学和指称语义学是形式语义学的两大类别．本文使用简单的命令式语言IMP的语法，首先给出了repeat—until循环语句的操作语义，然后详细推导出了其指称语义，并在此基础上详细证明了它们二者之间的语义等价性．     

语义学理论在俄语词汇教学中的应用

语义学是直接研究意义的语言学分支,对词汇教学具有重要的指导作用。本文回顾了语义学的起源、发展和分类,从语义学理论中的上下义关系、同义关系、反义关系和相关语义场等方面入手,探讨了其在俄语教学中的应用。     

基于语义的逻辑模型优化研究

在不改变模型结构的基础上,从语义描述的角度,根据模型扩展原则和优化指标确定扩展内容,采用扩展参照实体的标准值方式,通过语义约束来更好的响应企业的业务变化需求。从而有效的保证逻辑模型的实用性,稳定性,和可持续性。     

OCL 2.0表达式语义学比较研究

从语法、语义域和语义映射三个方面,给出了基于UML元模型和形式化的OCL表达式语义描述.并探讨了OCL表达式上下文、OCL表达式赋值环境的概念.在OCL表达式语义的形式化描述中,定义了对象模型和OCL表达式语法,给出OCL表达式语义解释和OCL后置条件表达式的语义解释.通过对OCL表达式语义二种描述方法比较,可以看到OCL表达式语义学描述的关键是反映OCL表达式本质的语法描述.     

非可换线性逻辑及其Quantale语义

扩充了V．M．Abrusci定义的非可换线性逻辑，使其兼容直党逻辑、可换线性逻辑及cyclic线性逻辑，并利用提出的对偶quantale概念给出了非可换线性的可靠且完备的quantale语义。     

Java面向对象语义的一种代数描述方法

运用代数语义学的基本理论给出了用于描述面向对象语言抽象语义的几个关键概念,并在此基础上给出了Java面向对象语义的一种代数描述模型的框架.     

基于全序语义结构化工作流的研究

针对业务过程的规范化建模问题,研究结构化工作流.证明了基于全序语义的任意工作流均可转化为与其等价的结构化形式,提出了一种结构化工作流代数,并给出了其语义解释模型.在此基础上,形式化地定义了结构化工作流过程和结构化工作流过程函数,从理论上提供了构建规范化、合理化和柔性化业务工作流概念模型的表示方法和操作语言.医疗实例分析证明了结构化工作流理论在过程建模、再造和动态重组中的有效应用.     

关于抽象逻辑紧致性的一个定理

以模糊语义为背景 ,在标号集具有一定结构的一族全序完备格的乘积上引入了抽象语义及其连续性概念 ,证明了具有这种连续性的抽象语义是紧致的 ,由此可以推出取值于 [0 ,1]的Lukasiewicz语义是紧致的