英汉词语的语义对应与翻译

英汉词汇的语义对应是双语翻译的前提,是两种语言相互转换的桥梁.但是由于受词汇用法、语言环境和文化背景差异等因素的制约,这种对应往往被简单地曲解成了对等.要实现语言的正确理解和翻译,应注意在英译汉的过程中摆脱语义对等的困扰,使译文在词汇意义这一层面上更贴近原文,以最大限度地实现科学的转换.     

一类不确定非线性系统的鲁棒稳定控制器的设计

运用微分流形的分布为工具，先将一类多输入多输出不确定非线性系统通过对角状态反馈变换为一个状态矩阵为区间矩阵的不确定线性系统，把非线性系统的不确定性和对角状态反馈变换误差转化为区间矩阵。再对区间矩阵系统应用实对称矩阵集合的最小上界定理进行鲁棒控制器设计，从而达到对原非线性系统的鲁棒稳定控制。最后通过一个算例验征了该方法的有效性。     

论文本意境及其理论渊源

本试图从本视角鸟瞰意境研究领域中诗歌意境向度上的研究盲区，认为意境具有语义模糊、语象有机统一和未定点多三个基本特征，并兼论意境范略理论渊源于先秦儒道两家对本语义层和语象层的基始认识。     

区间动力系统稳定性分析的最新进展

综述了区间力系统稳定性,广义区间动力系统正则、无脉冲膜、稳定性方面的近期结果,并对其中一些结论所使用的工具及方法进行了总结.     

试析英汉动物名词语义位移产生的原因及翻译策略

由于化内涵的不同，英汉动物名词在跨化交际中，会产生语义位移的现象。本分析了产生语义位移的几个原因，并在翻译策略上作了一些探讨，以克服语义位移，消除交际障碍。     

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…