英译汉翻译技巧之词类转译法

翻译不仅是把一种文字用另一种文字表达出来，而且还是两种不同的文化的融合。因此在英译汉时务必要注意一些翻译技巧，来使两种不同的文化进行交融，其中较为重要的是词类的转译；本文通过大量的例句说明了在英译汉时词类的转译法的一些技巧运用，特别是不同词类转译成动词的用法，强调了词类的转译法在翻译中的重要性。     

Hamilton线图中的泛圈性

对于图Ｇ的边ｅ＝ｕｖ，定义ｄ（ｅ）－ｄ（ｕ）＋ｄ（ｖ），这里ｄ（ｕ）和ｄ（ｖ）分分别表示ｕ和ｖ的度，该文的主要结果是：对阶为ｎ（ｎ≥４０）的简单连通图Ｇ，如果对Ｇ中任意两条边距离为２的边ｅ１，ｅ２都有ｄ（ｅ１）＋ｄ（ｅ２）≥ｎ，并且线图Ｌ（Ｇ）是Ｈａｍｉｌｔｏｎ的，则Ｌ（Ｇ）是泛圈的，并且条件Ｌ（Ｇ）是Ｈａｍｉｌｔｏｎ是必要的。     

逻辑代数的集合图方法

本文提出了一种新的逻辑代数分析方法，集合图法。它兼具代数法与图解法的功能，与传统的卡诺图法相比，具有一些独到的特点。     

一类资源分配问题的最优化方法的研究

建立了树型生产系统的一类资源分配问题的数学模型和计算法,并给出一般网络简化为树型网络的树化变换。然后建立了一般生产系统资源分配问题的网络优化算法。     

用MUX实现组合逻辑的卡诺图列解法

本文采用卡诺图列解法来处理MUX组件的地址变量少于待发生逻辑函数变量的设计问题。方法简单易行、适用范围广。尤其是对于含有任意项的逻辑函数中任意项的处理,提供了寻找最佳方案的途径。     

集成系统中工艺卡片填写与工序图绘制的研究

利用VBA实现CAD和CAPP系统集成，讨论了基于Word平台进行工艺卡填写，并在此基础上进行工艺卡填写和工序图并行输出的一般问题。工艺文件的填写是在CAPP数据库的支持下，直接读取CAD所提供的CAPP工艺数据文件，经推理机推理自动生产工艺过程；工序图绘制是在特征图表级和参数化绘图原理的基础上进行的。     

图族S_(r(k+m)+1)~ψ∪(rk-1)K_1的补图的色等价性定理

设ψ( k,m)表示把星图 Sk+ 1的 k度点与路 Pm的一个 1度点重迭后得到的图 ,Sψ*r(k+ m) + 1表示把星图 Srk+ 1的 rk个 1度点分别与 rψ( k,m)的每个分支的 k个 1度点 (均邻接于ψ( k,m)的 k +1度点 )依次重迭后得到的图。证明了图族 Sψ*r(k+ m) + 1∪ ( rk -1 ) K1的补图的色等价性及非色唯一性 ,进而推广了这一结果     

边剖分、点扩张与图的最大亏格的可约性

设γM（G）是连通图G=（V，E）的最大亏格，记EM^-（G）={e∈E(G)|G\e连通，且γM（G\e）=γM（G）}。若EM^-(G)≠0，则称G是γ（G）-可约的；否则称G是γM（G）-不可约的。本文证明了边的剖分不改变图的最大亏格可约性，点的扩张不改变上可嵌入图的最大亏格可约性；并给出了两类满足EM^-（G）=E（G）的非4-边连通图。     

拆边法求最短路径

本文利用局部比较法 ,在图中定义子图、无效路径、以及可去边 .利用推导的有关定理 ,拆去可去边 ,利用最短路径相同的等价性 ,达到化简图 ,从而求出最短路径