基于自动机理论的UML活动图模型检验方法

UML活动图被认为是最合适的软件过程描述语言,研究UML活动图的模型检验方法是很有必要的。提出一种基于自动机理论的UML活动图的模型检验方法。该方法给出UML活动图的形式语义,通过计算RTC-STEP,得到LTS,并将LTS映射到Büchi自动机,用LTL表示系统性质,并将LTL公式转换为相应的Büchi自动机,用基于自动机理论的模型检验方法检验UML活动图。     

语义认知与翻译中的择义选词

指出近来国内外认知语言学研究发展迅速，已经成为语言学的主流学派。从取决英汉翻译是否成功的重要因素的角度出发，集中论述翻译选词依据的两个方面：模糊性和体验性，并进一步探讨两者影响英汉、汉英翻译的原因。以及它们是怎样应用于翻译选词中，以强调它们对翻译的影响和作用。     

《吴越春秋》复音名词浅析

复音词研究是汉语词汇研究的重要课题之一。专书复音词研究，对于展示一个时期复音词的状况有着十分重要的意义。从单纯词、联合、偏正、支配、表述、附加、综合等七大类分析《吴越春秋》中的复音名词，并分别从语义、词性、语序等方面分析其构成特点，可以总结出《吴越春秋》复音词在构词上对前代的继承和发展。     

"以免"的词汇化

连词"以免"最初是"连词‘以' 动词‘免'"的非句法结构. "以免"最初连用在先秦,词汇化的过渡阶段在宋代,发展和成熟在明代和清代. "以免"的词汇化是句法、语义、语用和韵律等方面合力的结果.     

英汉移就辞格的语义特征

移就是普遍存在于不同社会中的常见的语言现象，是一种精心排练而又故意误用语义的修辞手段。文章从英汉移就辞格的语义特征出发，论述英汉移就辞格怎样通过“故意误用语义”、“精心排练”语言使其产生变异，从而取得别具一格的语言艺术效果。     

从动植物词汇的语义内涵看中西文化的差异

语言中某些特殊词汇除本身固有的意义外,还蕴含着丰富的文化内涵。不同民族由于文化背景不同,所指事物的词汇的内涵未必相同。文章从社会学、语义学的角度出发,通过对英汉两种语言中动植物词语的文化内涵的对比,揭示了中西文化间的一些差异。     

语用等效原则和广告翻译

本文从语用学角度出发，通过对语用意义和语义意义的区分，针对广告语言艺术的特点，提出了广告翻译应遵循的原则是语用等效原则；并指出为了取得语用等效，常牺牲或改变语义意义，从而不可避免产生语义偏离。     

论英语作格动词被动意义的实现

英语作格动词是词汇语义范畴内讨论的热点问题,有特殊的语义表征。就词汇语义性质来说,作格动词属于强动作性使役动词,具有动作自发性,可以不需要外力作用与其客体发生致使关系。当存在于具体命题的时候,隐含被动意义,语法操作不允许增加被动语法标记。通过解释作格动词进入作格句式后自身"动因"使句式呈现受动性语义属性,从而揭示受动性语义属性是作格动词被动意义实现的语义基础。     

循环ALC~+的固定点存在性研究

分析了循环ALC+的语法及语义特征,指出循环ALC+-TBox具有固定点语义的充分非必要条件,并进行了证明,讨论了其固定点模型存在需满足的一些条件,并给出了一个实例应用.     

“说X就X”格式语义类型分析

“说X就X”格式由于其中“说”的语法化程度的不同而形成了两种不同的格式语义,即“说”为实义动词时,该格式表示对言说者的言说内容或主观态度、意愿进行确认,“说”为标记词时,该格式表示在超出言说者或言说对象主观预期的极短时间内出现或即将出现某种情况。该格式连用时,由于语义的增值或异化,也会形成两种不同的连用格式语义。