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

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

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

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

基于同构的语义距离算法

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

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

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

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

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

基于形式语义的Web服务交互模型

现有的W eb服务缺少明显的语义,W eb服务之间不能很好地理解其相互传递的消息,因而不能实行W eb服务的发现、调用和组合自动化。为此,提出一种基于形式语义的W eb服务交互模型。该方法通过定义W eb服务接口描述的词汇集以及词汇集之间映射规则,实现了开放和分布式环境下的W eb服务的语义交互。与已有的方法相比,该方法考虑了分布式本体的解释及可满足性问题,可自动根据W eb服务接口的描述因子进行分布式本体推理,解决了开放和分布式环境下W eb服务的语义交互问题。     

连动句时序特征的形式语义分析

句子的逻辑语义信息是由其中的谓词决定的,谓词通常对应句子中的动词,而动词通常凸显较为明显的时间特征。汉语连动句是由多个动词短语组成的单句。探究其内部的时间结构机制后,发现连动句内部各个VP之间具有彼此参照的时序意义。考虑到集中性,把讨论的范围限于以专名充当NP的连动句,对VP结构不作深入分析,则连动句的时序特征在形式上可以用■t1■t2…■tn[V1’(t1,a)&V2’(t2,a)&…&Vn’(tn,a)&Φ[t,t1,t2,…,tn]]来表示。     

论《左传》中的省略

省略作为语言中一种重要的现象，得到了语言学史上绝大多数学派的承认和关注。对语法的分析可以从句法、语义、语用三个平面来进行，这一点在汉语语法学界已为越来越多的人所接受。以《左传》的语言材料为例，可以从句子的深层语义结构和表层句法结构的关系分析古代汉语的省略现象，即句法的省略、语义的省略、语用的省略，以及这三种省略的成因，从而对上古汉语省略的本质加以描写。     

浅谈UML形式语义研究的意义和现状

作为一种定义良好、功能强大的图形化建模语言，UML因为缺乏精确的语义描述，因此对系统的建模无法进行形式化的分析和验证。阐述了UML形式语意义研究的重要意义并分析了当前的研究现状。     

基于组合神经网络的语义省略“的”字结构识别

针对语义省略“的”字结构识别任务, 提出一种基于组合神经网络的识别方法。利用词语和词性, 通过双向LSTM (long short-term memory)神经网络, 学习“的”字结构深层次的语义语法表示。通过Max-pooling层和基于GRU(gated recurrent unit)的多注意力层, 捕获“的”字结构的省略特征, 完成语义省略“的”字结构识别任务。实验结果表明, 所提模型在CTB8.0(Chinese Treebank 8.0)语料中, 能够有效地识别语义省略的“的”字结构, F1值达到96.67%。     

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语义是紧致的     

一种基于范畴论方法的形式语言模型

针对形式语言理论研究的国内外现状,建立了一种基于范畴论方法的形式语言模型,在范畴论的形式化框架内论证了该形式语言模型与其生成范畴间的内在联系,利用范畴论的素描工具结合实例对该模型进行了应用,通过分析比对说明了该模型在保持形式语言语义完整性方面的优势,为形式语言的建模理论研究提供了一种基于范畴论方法的新思路,为形式系统结构设计与形式语言理论框架的研究提供一个高效、便利的形式化理论框架.