查询词典 first-order theory

abstract: translation is meant to give the specific meaning of the language from one language into another, in the 1960s nida first put forward the concept of equivalence,and so on, as reflected in its translation of the application process of thinking, but from now, and this theory has been put forward over 40 years, the equivalent point of view has changed dramatically, in the process of translation reflects the present-day equivalent of the point of view worth considering.

翻译主要是把特定语言文字的意思从一种语言转换成另一种语言，上世纪60年代nida首先提出了动态对等的概念，以此反映其在翻译过程中的应用思考，而现在距等值理论的提出已经过了40余年，等值的观点也发生了显著变化，如何在当今翻译过程中体现等值的观点值得思考。

In the first chapter we introduce the basic notions and results of topological dynamics, including some basic knowledge of ergodic theory which will be used in context.

在第一章中，我们简要的介绍了本文涉及到的拓扑动力系统与遍历理论的一些基本概念与结论。

After introducing some basic results from ergodic theory, two probIems related to the dynamical system are studied: first the existence of absolute continuous invariant measures, and then their computation. They correspond to the functional analysis and numerical analysis of the Frobenius-Perron operator associated with the dynamical system.

首先介绍了遍历理论的一些经典结果；然后着重研究了对应于混沌映射的绝对连续不变测度的存在性与计算问题，这归结于相应的Frobenius-Perron算子的泛函分析与数值分析；最后《确定性系统的统计性质》介绍了Shannon熵、Kolmogorov熵、拓扑熵以及Boltzmann熵，并给出了不变测度的一些最新应用。

In this dissertation, we first introduce the basic knowledge of Markov skeleton processes, the present condition of queueing theory, and the Markovization of queueing system and the criteria for several types of ergodicity.

本文首先介绍了马尔可夫骨架过程的基本知识，排队论的现状及排队系统的马氏化及各种遍历性准则。

Study on application and simulation of Kalman filter technology in SINS Because Kalman filter some merits, such as provided a fast and accurate method for SINS, adopting it to do initial alignment in this paper. The Kalman filter theory is introduced and the dynamic error vector equation of the initial alignment is derived at the first. Using velocity error as exterior value of observation, maneuverable characteristic that is influenced with system's observability and its degree is studied at length by do amount of simulations and experiences.

首先介绍了卡尔曼滤波理论及相关技术，建立了系统卡尔曼滤波的状态方程和观测方程；首先采用速度误差作为观测值，详尽的研究了系统机动特性对可观测性和可观测度的影响，并做了大量仿真实验：通过对滤波原理的分析研究了影响的原因；分别选用加速度计输出误差和转台输出姿态角误差作为外部观测值，推导建立它们的观测模型，并通过仿真证明了分析结论的正确性。

By using the Kalman filtering method, a unified and general white noise estimation theory is presented for the first time.

应用Kalman滤波方法，首次提出了一种统一的和通用的白噪声估计理论。

This article is divided into the following major parts:The first part is an introduction of the general theory of economic evaluation, briefly introduce the methods of evaluation of social service functions and the research status of at home and abroad.

本文主要分为以下几大部分：第一部分：介绍项目经济评价的一般理论，对项目成果社会化服务评估方法做简要介绍，并对国内外研究现状进行简要分析。

I have done detailed analysis to the concept and connotation of the exhaustible resources at first, then carried on the survey to the theory of economic growth with exhaustible resources and had some comments on them.

笔者首先具体分析了可耗竭性资源的概念和内涵，然后分时期的对可耗竭性资源与经济增长的理论做了综述与评价。

First, considering the volume expansion process of corroded bolt, the displacement model of mortar inner surface leaded by bolt corrosion is established after the loss of corrosion production is denoted by a filling factor. Second, based on elastic theory, the mortar cracking process is analyzed after the concept of influence coefficient of surrounding rock is introduced in the course of analyzing, and the degree of cracking course affected by surrounding rock parameter is also analyzed; the finite element method is adopted to verify the results.

考虑锚杆锈蚀体积膨胀过程，以填充系数表示砂浆开裂过程中锚杆锈蚀产物的损失，建立了锚杆锈蚀后砂浆内部位移模型，以弹性力学为基础，引入围岩参数影响系数概念，对锚杆锈蚀导致砂浆保护层开裂过程以及围岩参数对开裂过程的影响程度等进行了分析研究，并采用有限元分析方法对其进行了验证。

The first part is to expatiate the concept,theory and characteristics of people-oriented management.

第一部分着重阐述了企业人本管理的概念、理论及其特点，为企业人本管理寻找了其思想及理论依据。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。