实时系统构件非功能性接口语义规约

该文给出了基于构件的实时多任务应用系统图形化设计软件的具有分布式C/S关系实时构件的接口定义,主要论述实时构件非功能性接口模型,针对实时特性,提出构件的非功能性接口在时间性、调度性、合成性、同步、互斥以及资源设备控制方面的语义规约。

构式“What's X doing Y?”的内部结构及其规约性语义的构建条件

本文在秉承"重视语法形式背后的语义问题"的构式语法的理论框架下,探讨半固定构式"What's X doingY?"内部组成成分的句法和语义特征,发现:疑问词what的"语义虚指"语法化机制、活动动词do的词义泛化机制及进行体的"状态性"语义特征使构式中规约项背景化,凸显了两个变量X项和Y项的语义关系。在语境中,该语义关系为构式整体的规约性语义"不协调性"创造了构建条件。

语义规约实证研究

语义条件能够制约句子中词与词之间的组合关系。句子的意义和形式之间存在一定的匹配关系,形式表达意义,意义也影响、制约着句子的形式。语义规约存在的客观基础是语言与思维的关系以及语言与现实的关系。语言和思维密切相关,思维影响着语言的形式与选择;语言反映现实,现实在一定程度上也制约着语言。

英语名词非规约性句法语义的认知研究——基于非范畴化理论的阐释

以语言非范畴化理论为基础,分析了英语名词非规约性使用的句法语义表现,主要体现在英语名词可数性的转化、形容词化和副词化。英语名词在非范畴化后,其在语义、句法等范畴属性上发生改变,呈现新的语法功能。作为非范畴化的工作机制,转喻认知促成名词非规约性使用的认知处理和语义构建。非范畴化作为一种思维创新方式和认知过程,是名词非规约性使用的内在认知动因,而追求语言表达的经济性则是其外在的语用动机。

程度副词"全"及其规约化语义特征

"全"的程度副词身份是不容忽视的,其代表的程度为百分之百.判断句子中的"全"是范围副词还是程度副词,取决于其所在句的主语或宾语是否是复数集合名词."全"可做补语,还可通过重叠变成"全全"做程度补语,起到加强程度的作用.根据词义的规约化原则,状语位置上的"全"有[+一体化]语义特征,补语位置上的"全"有[+强调范围或程度的完整性]语义特征,补语位置上的强调功能不是句子焦点赋予的,而是"全"的基本语义决定的.

现代汉语对外来词汉化翻译的规约

借用外来词语是一种语言与异质文化交往时不可避免的普遍现象，外来词内部形式的选择实际上就是外来词在汉化翻译时所接受的现代汉语语言特点的规约。汉语主要通过音译、意译、音意译结合和英汉夹杂等四种方式向英语借用词语。由这些方式借入的外来词的内部形式分别表现为：内部形式的消失、附会、移植、残存和羡余。

协同副词对名词性成分的句法语义选择

协同副词的语义指向多个名词性成分,协同副词对名词性成分的要求在句法上必须是复数的,形式有有标记的和无标记的两种,语义关系有主从式和并列式两种;同时协同副词对名词性成分的语义有规约作用,名词性成分必须是有界的,且内部关系存在一个连续统:从典型的语义场到某种语义的相关性再到语用场的渐变过程。

框架语义学视角下德语介词定语前置研究

本文旨在从框架语义学的视角下研究德语介词定语前置的语义限制条件。研究表明,介词定语、支配动词和中心名词之间的紧密关系对介词定语前置有着巨大的影响。介词定语要么属于相关语义框架的主要元素,要么与其有着紧密的语义联系。对于由中心名词指派论元的介词短语,中心名词与支配动词之间需要形成一个规约化的语义框架。对于介词定语修饰语,则应该考虑介词的意义以及中心名词与支配动词之间的语义关系。

为π演算建立具有安全级别的简单类型系统(英文)

为π演算建立具有安全级别的简单类型系统,并证明该类型系统在规约语义下的类型可靠性.此类型系统使得π演算成为安全系统、安全协议分析与规范的普适形式化工具.