1) test translator
测试翻译程序
2) testran
试验用翻译程序
5) translation testing
翻译测试
1.
This paper,with an analysis of the existing problems in translation testing,aims to propose some suggestions on translation testing reform by establishing new norms and principles for it.
本文首先就简要分析了商务英语翻译测试存在的问题,然后主要针对测试标准和测试原则进行分析,提出对测试改革的几点想法,即商务英语翻译测试应该更注重学生的真实语言运用能力,测试者应根据一致性和真实性的原则,创造现实的、正常的语境,全面衡量被试者。
2.
The present article attempts a definition for translation testing, which is followed by an examination of its relationship with the criteria for criticism and assessment or evaluation of translation.
要研究翻译测试,首先要对研究对象做一个界定,其中包括翻译测试的定义及其与相关研究的关系,或者说是翻译测试在相关知识体系中的定位。
3.
This thesis tries to present an analysis of how translation testing influences English teaching and learning.
英语翻译能力的培养是大学英语教学的重点之一,翻译测试是评估学生翻译水平的重要手段,也是大学英语四级测试新题型的必考项目之一。
6) translation test
翻译测试
1.
Foreign language translation teaching in university is still weak mainly due to two reasons: one is that the students and those who are engaged in translation have never equipped themselves with a correct translation view;the other is that the translation test needs to be reformed greatly.
翻译一直是大学外语教学中的一个薄弱环节,主要有两方面的原因,一是学生和翻译从业者没有正确的翻译观,二是翻译测试需要大大改革。
2.
Multiple-choice is an attempt of translation test.
翻译多项选择题是翻译测试题型的一种尝试。
补充资料:程序的翻译
程序的翻译
translation of programs
程序的翻译【transla丘价of脚理邓1115;TPaHc月,”一皿upo-rPaMM」 l)程序设计(progi刊rnm山g)中程序的翻译,也称为程序的编译(comP血tionofProgr~),是一个系统过程,它把用输人(卿ut)算法语言(魂。ritir而cla列孚坦ge)Ll编写的程序iP变换成用目标(。均ect)语言Lo编写的某个程序。几进一步,两个程序iP和op应该实现同样的功能,即如果d是程序的输人数据,则iP(d)兰oP(d). 2)在可计算函数(c Olnputa比加!Ictjon)理论和算法理论(目gorithn昭,theoryof)中,程序的翻译是从可计算函数的一个枚举(Cll切rneration)到另一个枚举的任何映射,它保持这样的性质:图象和预图象是同一函数的数目(一个有效的翻译映射的存在也称为从一个枚举到另一个枚举的可归约性(reducibiUty)). 在程序设计实践中,人们使用的程序设计语言(Progla几切山ng hngjage)通常是输人语言,而目标语言通常是由机器程序直接执行的语言.程序翻译本身,通常是自动执行的,即用某个实现语言LR写的程序t,称为翻译程序(trans址or)(或编译程序(com-piler)),使t(ip)=口p.对某些类语言中的任何输人语言Ll的翻译程序的系统开发构成自动程序设计(a ut0Inatic prog丑~ng),这种开发的对应手段称为编译程序构造系统(systeTns of comPiler constructlon)或编译程序的编译程序(co呷ilers of co哪ilers),tr:tt(Ll)=t.这里,实现语言或者包含目标语言或者和它相符合:LO二LR. 在可计算函数的理论中程序翻译(可归约性)的概念导致主枚举(pnnc巾al~rations)的概念,即某个类的任何其他枚举能被归约到主枚举.已经证明对所有可计算函数的具体模型存在主可计算枚举;特别对部分递归函数和对Turing机.再有,主可计算枚举的存在来源于可计算函数执行所谓部分计算(part词comPutations)的能力,即存在一般递归函数(在程序设计中,部分计算机(part阎comPuter);在可计算函数理论中,一个占一m一n函数)S,(x。,二,x,),使得如果U”(x。,·,x,)是对n个变量的可计算函数的一个通用函数,则对任何。+n个变量的可计算函数F和数NF,有恒等式 F(x,,…,x,+。)=U“+”(NF,xl,…,x.+。)= =U”(S口(NF,xl,…,x,),x,十l,…,x。十。)· 从这个恒等式可见,部分计算机由m+n个变量的函数的程序和m个变量的给定值构成n个变量的函数的程序,它是由原来的程序通过把它的m个变元同这些给定值联系起来而得到的.部分计算的结果称为程序NF在它的m个变元的给定值x,,…,x。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条