汉英翻译中隐性逻辑的显性化研究——以刘宇昆译《北京折叠》为例

汉语句子或句群内部的逻辑关系通常由语序来实现,而英语则通过外在形态体现逻辑关系。因此,汉英翻译时,需要对汉语源文的隐性逻辑进行显性化处理。参照英汉语言对比、语篇分析和句法学的相关理论,以汉语科幻小说《北京折叠》的刘宇昆英译本为研究对象,分析并归纳出八种汉英翻译中隐性逻辑的显性化途径,提出中国译者应着重借鉴情景具体化、增译总说词、逻辑重组这三种难度系数较高的逻辑显性化途径。     

二根树指标马氏信源关于赌博系统的极限定理

研究任意二根树图上二阶非齐次马氏信源的极限性质。通过构造相容分布和非负上鞅的方法,得到了任意无限连通二根树上二阶非齐次马氏信源关于广义赌博系统的一类广义渐近均匀分割性定理,也称广义ShannonMc Millan定理,并推广了已有的结果 。     

刺纹车轮虫 18S rDNA 克隆与序列分析

首次对刺纹车轮虫(TrichodinacentrostrigataBasson,VanAs & Paperna, 1983)进行了 18S rDNA 的克隆测序并分析，研究结果显示：刺纹车轮虫是一种具有辐射状中央颗粒的淡水车轮虫，具有相对较高的 GC 含量而位于分子系统树的顶枝，它与海水环境中的车轮虫具有较高的序列相似性及较近的遗传距离从而聚为一枝。研究提示刺纹车轮虫具有较强的宿主适应性，在系统进化中分化较晚并与海水种类具有较近的亲缘关系；此外，车轮虫的同源性与 18S rDNA序列相似性、遗传距离具明显相关性，GC 含量与分子支序树分枝具有明显相关性。
     

New Develoopment of the Basic Theory of Extenics

In this paper,the new development of three basic theories of Extenics,incluing basic-element theory,extension set theory and extension logic theory ,has been introduced.And the new theoretical frame of Extenics has also been set forth.     

数学难以理解的逻辑透视

对数学教学内容的逻辑结构、逻辑规则和方法以及数学语言进行逻辑透视，探讨数学难以理解的客观因素及对策．     

同步设计方法在CPLD中的应用研究

同步设计和异步设计是时序电路设计中的两种基本类型。通过在CPLD器件中同步设计方法和异步设计方法的应用对比,可知同步设计方法所得电路的工作频率较高且电路中不易产生竞争-冒险现象,因此在复杂可编程逻辑器件的设计中采用同步设计方法是保证电路高效、可靠工作的有效措施。     

一种用于PLC的模拟量／开关量转换电路

本文以可编程逻辑控制器(PLC)在某大型远洋测量船上首次成功的应用为例,提出一种简便、实用、可靠的模拟量/开关量转换电路。     

电子线路基于树枚举技术的符号分析

给出了电路符号分析的一种拓扑方法，该方法建立在Ｕｎｉｓｔｏｒ图树积的衍生基础上。给出了以独立组生成Ｕｎｉｓｔｏｒ图的全部有向树的直接方法。网格的代数余子式由计算机简化的Ｕｎｉｓｔｏｒ图的行列式获得。还介绍了该方法的ＰＣ机程序。     

k-树的补图的最小填充和树宽

一个图的最小填充问题是寻求边数最少的弦母图,一个图的树宽问题是寻求团数最小的弦母图,这两个问题分别在稀疏矩阵计算及图的算法设计中有非常重要的作用．一个k-树G的补图G称为k-补树．本文给出了k-补树G的最小填充数f(G) 及树宽TW(G)．     

可集成量子计算中的非近邻相互作用

我们研究一维自旋1／2链中的非近邻相互作用的影响。和近邻相互作用相比，非近邻的相互作用强度一般会较弱，因而在以前的许多方案中，这种长程的相互作用被忽略了。本文首先估计由被忽略的非近邻相互作用所引起的量子逻辑门的误差。我们得到的结果是，这项误差不仅和非近邻相互作用的强度有关，更依赖于一维自旋链所包含的粒子数，忽略非近邻相互作用有可能会对可集成量子计算造成影响。我们进一步研究如何消除或者压缩这种长程的相互作用所造成的影响。我们提出了一个量子计算方案。在这种方案中，次近邻的相互作用的影响被完全消除，从而我们可以使量子逻辑门的精度得以提高。我们也讨论了这种方案在超导量子计算体系里面的物理实现问题。