formula translation

formula translation的基本解释

-

公式翻译, 公式翻译程序语言, 公式翻译语言, 公式交换语言

与formula translation相关的网络例句 [注：此内容来源于网络，仅供参考]

translation is a cultural activity;it's more than the transformation between two languages.what translation should achieve is to explain and spread culture between two languages.under the guidance of susan bassnett and andre lefevere,urger and impeller of'cultural turn',translation has been elevated to the height of cultural construction.culture discussion has become one of the newest headings in translation research.traditional chinese medicine is the embodiment and one of the most important parts of traditional chinese culture.as a result,in the procedure of translation of traditional chinese medicine,translation of culture characteristic is the most important thing.translation research of traditional chinese medicine has always been focused on what method should be used,such as the discussion about literal translation or free translation,the discussion whether use foreignizing method or domesticating method in the translation of traditional chinese medicine.it is only the argument of whether convey traditional chinese medicine culture in english translation and how much the culture should be conveyed.

翻译本身是一种文化活动。翻译不仅是两种文字的相互转化，翻译活动所完成的是将文化内涵在两种语言之间阐释和传播。在翻译研究"文化转向"的两位主要倡导者和推进者susan bassnett和andre lefevere研究进展的启发之下，翻译被提到文化构建的高度。从文化角度研究翻译成为翻译研究的前沿课题，为翻译理论的发展注入了新的活力。中医体现了中国传统文化，是其重要组成部分，对文化内涵的处理得当与否决定了翻译的好与坏。中医翻译学术界在操作层面上一直有直译与意译之争，归化与异化之争，说到底不过是对中医传统文化在英译文中是否体现以及体现多少的争论。

This thesis tries to introduce translator's subjectivity applied in the translation of english film titles with concrete examples from the following aspects: the importance of the translation of english film titles, the methods of the translation of english film titles, translator's purposiveness applied in the translation of english film titles, translator's autonomy applied in the translation of english film titles, translator's activity applied in the translation of english film titles and translator's creativity applied in the translation of english film titles.

因此本文试着从影视片名的重要性，影视片名翻译的标准和方法，译者的目的性在影视片名翻译中的应用，译者的自主性在影视片名翻译中的应用，译者的能动性在影视片名翻译中的应用和译者的创造性在影视片名翻译的应用等方面说明译者主体性在影视片名翻译中的应用。

At the same time , we discuss the determinism and nondeterminism of formula-clock automata and the closure propertied under Boolean operation of the language which is accepted by formula-clock automata. We also prove the expressive equivalence between the deterministic formula-clock automata and the nondeterministic formula-clock automata. This means that every nondeterministic formula-clock automata can be transformed to a deterministic formula-clock automata which exactly accept the timed language identified by the fomer.We also extend timed words to infiniteness and define the formula-clock Buchi automata and the formula-clock Muller automata. At last, we show its application in formal verification and modeling of real-time system.

然后讨论了公式时钟自动机的确定性和非确定性，公式时钟自动机识别的语言类在并、交、补运算下的封闭性；并证明了确定的公式时钟自动机和非确定的公式时钟自动机表达能力的等价性，这意味这每一个非确定的公式时钟自动机都能转换为一个与之识别相同时间语言的确定的公式时钟自动机；我们将时间字扩展为无穷的，从而定义了公式时钟Buchi自动机与公式时钟Muller自动机；最后给出了用它进行实时系统的形式化验证方面及对实时系统建模的应用。

与formula translation相关的网络解释 [注：此内容来源于网络，仅供参考]

Literal Translation and Free Translation：直译与意译

口译:oral translation | 直译与意译:literal translation and free translation | 英译:C-E Translation

translation group：平移群

辐射向量的平移公式 translation formula for radiation vector | 平移群 translation group | 转移数 translation number

formula translating language：公式翻译语言

公式识别 formula recognition | 公式翻译语言 formula translating language | FORTRAN 程序语言 formula translation