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…     

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

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

基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.     

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

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

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

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

BAN逻辑与串空间的比较

研究了2种安全协议的分析方法,即BAN逻辑和串空间.利用这2种方法分别分析了Needham-Schroeder公钥协议,指出了这2种方法各自的优点和缺点.在对这2种方法进行了比较后,指出了这2种方法有2种结合方式.1种是利用串空间给出BAN逻辑的语义,另外1种结合方式是串行,即对于需要分析的协议,先利用BAN逻辑进行分析,然后再利用串空间进行分析,使分析出的结果更加可靠.