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

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

关于一类Hopf曲面的同调群

给出一类Ｈｏｐｆ曲面陈类的一个详细计算，并对层上同调群的维数和Ｐｉｃａｒｄ群给出一个具体结果     

三角域上B-B曲面片的保凸对接

本由曲面凸性的定义，得到了三角域上Bernstein-Bezier曲面片在光滑连接条件下，整个曲面保凸对接时曲面 Bezler点所满足的条件．     

自由曲面的数控加工与仿真

介绍了自由曲面数控加工中无干涉刀轨的形成及其仿真系统的开发方法,该方法对于利用球头铣刀加工任意形状曲面具有很强的适应性;在VisualC 集成开发环境下通过NC程序的检验,实现了该过程的模拟仿真.     

曲面到复射影空间的调和方程

建立从曲面到复射影空间的调和映射满足的方程。     

局部对称黎曼流形中具有常平均曲率的完备超曲面

本文研究了局部对称黎曼流形中具有常平均曲率的完备超曲面,利用邱成桐的广义极大值原理得到两个重要的内蕴刚性定理。     

拟Hermite曲线/曲面及其应用

在代数三角函数空间中构造了一种代数三角基函数,具有类似于Herm ite基函数的性质,称其为拟Herm ite基函数。利用此基函数定义拟Herm ite曲线,结合Bézier曲线的思想,给出了拟Herm ite曲线的另一种定义及张量积拟Herm ite曲面的定义。实验表明,拟Herm ite曲线可以精确表示直线段、正弦线、余弦线、椭圆弧(圆弧)及摆线,Herm ite曲面可以精确表示椭球面(球面)、圆锥面及圆环面等二次曲面。     

K3曲面上交错群A5的作用

以交错群A5在曲面上的作用为研究对象,从一类特殊的K3曲面的A5作用出发,得到了该类K3曲面上A5作用的不动点,利用不动点集计算了群作用的一些不变量H2(X;C),H2+(X;C)和H2-(X;C)。在此基础上,把其中的一些结果推广到了一般情形下的同伦K3曲面上,计算出当A5满足某些特定条件时的Direc算子G-指标及K-理论度。     

端曲面齿联轴器的创成原理及设计

根据联轴器工作原理,结合空间坐标变换理论、共轭曲面求解理论及正交非圆面齿轮副传动原理,提出端曲面齿联轴器这一新的结构形式,建立端曲面齿联轴器求解的共轭坐标系,推导端曲面齿联轴器的端曲面参数方程,生成端曲面;结合端曲面齿齿盘的几何参数设计理论,采用\"共轭截线投影法\"新型齿面生成方法,通过solidworks软件对端曲面齿齿面进行几何求解,获得端曲面齿联轴器的连接齿面及十字轴式端曲面齿万向联轴器的三维实体模型;将端曲面齿联轴器应用于冶金等工程设备中,验证端曲面齿联轴器几何设计方法的正确性和在工程应用中的可行性。     

参数曲面形状误差计算迭代逼近法

针对曲面形状误差评定使用传统的模板定性检测、定性描述的方式已不能满足现代制造对产品质量的控制要求，提出了一种新的参数曲面形状误差计算的迭代逼近法．计算机仿真结果表明，本算法符合曲面形状误差评定的最小区域原则．