交际翻译与语义翻译在汉诗英译中的结合——以《清明》、《春怨》英译为例

纽马克提出的交际翻译与语义翻译理论应用范围十分广泛,对于汉诗英译也有着重要的指导作用。将二者结合起来应用于汉诗的英译可以达到传神达意的效果以及音美、形美、韵美的结合。     

卡尔达诺关于三次方程的特殊法则

基于对卡尔达诺关于三次方程的一般法则和《大术》第6章的命题的分析,复原了卡尔达诺关于三次方程的17条特殊法则的构造过程,由此揭示出隐藏在这些法则背后的数学思想和方法,阐明了卡尔达诺对这些法则所作的模糊暗示的意义,并指出其综合叙述方式与这些法则的构造过程并不完全一致。另外,根据对这些特殊法则的适用范围的分类讨论,认为卡尔达诺构造这些特殊法则的目的并非专为解决三次方程的不可约情形。     

M－矩阵的图相容分裂

在这篇文章里，首先我们得到了一个使得图相容分裂与正则分裂等价的充要条件。其次，我们也得到Ｍ－矩阵的正则分裂是图相容分裂的必要条件和充分条件。     

无限维离散不可控系统二次判据问题讨论

通过构造一个范数，并利用动态规划原理对无限维离散不可控系统二次判据问题进行了讨论，得到了最优反馈控制的存在唯一性，以及自治情形下的Ｒｉｃｃａｔｉ方程。     

Γ_N－环的反单本原根

设Ｍ是ＮｏｂｕｓａｗａＮ意义下的Γ－环，ＫｙｕｎｏＳ定了环Ｍ２＝　．文中建立Γ－环Ｍ，Ｍ－环Γ及Ｍ_２的本原亚直不可约理想及反单本原根之间的关系。     

不可压缩流体的区域分裂算法

给出了定常不可压Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程的区域分裂算法；并借助于一个等价问题的泛函的严格凸性质以及无散度Ｈｉｌｂｅｒｔ空间和分解等技巧，证明了算法的收敛性。有关数值算例表明该算法是有效的。     

不可约非负矩阵的周期与指标集的分类算法

文［１］和［２］讨论了不可约非负矩阵指标集的分类理论，在此基础上，本文给出了不可约非负矩阵的周期与指标集的分类算法。这一算法能同时求出周期与同余类，当矩阵的阶不大时，该算法容易在图上实现。     

SO(10)大统一模型的有效势

本文讨论了一般有效势的计算方法和 SO(10)群的破缺机制,并计算了 SO(10)大统一模型单圈近似下的有效势。这一有效势的得出不但对讨论 SO(10)大统一模型理论的整体对称性是有益的,而且可用来讨论极早期宇宙的剧烈膨胀过程。     

一类拟可微函数的优化算法

本文对于一类形如F(x)=g(x,maxΦ_(ij)(x),…,maxΦ_(mj)(x))+h(x)的拟可微函数(在Demyanov和Rubinov意义下)给出了一种优化算法,其中g,Φ_(ij)分别为R~(m+n)和R~n上的连续可微函数,且g(x,y_1,…,y_m)关于每一个y_i都是非增的,h(x)为R~n上的凸函数。     

一个编译课程教学、实习辅助系统

本文介绍一个编译课程教学、实习模型,以及在IBM—PC和VAXⅡ上实现的基于此模型的教学、实习辅助系统。