Java字节代码程序的部分计值

为了有效地构造一个Java部分计值器，并且形式化地描述计值规则，提出了Java字节代码程序的静态语义，在此基础上构造了一个online的Java部分计值器，为今后能够建立一个完善而且实用的计值器提供了基础。     

再论音义联觉

不满足于罗列大量的音义逻辑关系的现象，从全新的视角－音义关系的原始机理论述音义之间的逻辑关系，从理论和实践上证明音义之间存在着必然的逻辑关系。     

模式语义链元建模及其应用

大粒度的模型转换是模型驱动软件开发场景下的重要技术需求，仅通过定义通用模型转换语言不足以满足这一需求，其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上．文中提出一种模式语义链(PSL)元建模方法．通过重型扩展统一建模语言(UML)元模型以直接形式化描述可表达一般设计意图的模式，并应用UML动作语义和元模型继承实现模式自动生成及转换．该方法为实现一船设计意图层次上的大粒度模型转换提供了有效支持．     

知道者悖论与"知道"的语义分析

知道者悖论产生的根源在于“知道”一词的意义的模糊性。现代逻辑追求对“知道”的明晰表达，但对于“知道”本身缺乏深入的反省。本文从语义分析的角度出发给出了一个相对稳定的“知道模型”，此模型可以作为认识论逻辑的语义基础。在这个模型中，“时间秩序”是核心概念。     

Ontology-Based Semantic Annotation for Problem Set Archives in the Web

0 IntroductionAsneim mapnotircta nWte pbre i-sco tnhdieti oabnilfiotry r etaoli zainnngotthatee go aWle obf trhe-esources with semanticinformation[1]. However ,annotationtools so far basically allowthe user to annotate with plaintext using the method of information extraction.In manycases ,one can hardly extract semantics from Web docu-ments ,such as problemset archivesinthe Web.Massive problemset archives are availableinthe Web,for example,http://acm.uva.es, while each problemsetarchives pr…     

关于英语语法教学的一点思考

语法学的核心任务在于揭示语义内容和语法形式之间的对应关系，因此英语语法教学在英语教学中起着举足轻重的作用。从客观实际来说，专业思想要求学习语法，教学现状要求学习语法，在实际交际过程中也要求学习语法。所以，在英语教学中要强调学习语法的重要性，注重语法的教授与学习。     

"红"与"Red"的语义扩展对比研究

本文通过对汉语“红”和对应的英语“red”的语义扩展模式进行对比发现，在两种语言中，两个词的原型义都是“火或血的颜色”，虽然语义扩展的路径基本相同，不同的文化视角使两千词的语义产生了差异。颜色词通过表达相应的颜色概念，把客体，颜色和主体三方面联系在一起，使颜色词不仅指称了颜色概念所表达的客体方面的特征，而且还表达了颜色在人的主体方面所能引起的一切刺激反映的特征。     

论汉语植物词语国俗语义的形象保留译法

国俗语义是把语义和文化结合起来考虑的一门新的语言学分支,它是语义民族性的一种表现,其中隐藏了一种特殊的看待世界的方法和角度.植物词汇的使用大多都伴随着一定的植物形象,本文根据关联理论,将植物词语国俗语义的翻译作为一种过程进行研究,并具体落实在形象保留翻译方法上.     

Web服务复合技术研究

Web服务复合技术整合企业应用,能提高企业争力和适应性。对基本概念进行了定义,概述了该领域早期研究,讨论了该领域内的两个关键问题：QoS和语义,对当前的研究进行了分类介绍,指出了下一步主要的研究方向。     

英语教学中的心理词汇及其激活

英语教学中激活心理词汇能有效提高学习者的词汇运用效率.本文旨在通过对心理词汇的定义分析,了解心理词汇的有关内容并提出激活心理词汇的有效方法.