查询词典 first-order theory

The theory of Cellular Automata was proposed for the discrete numerical value computations at the first. Now, the researches and applications of CA are deeper and larger.

元胞自动机(Cellular Automata，CA)理论是针对离散数值计算而提出的，目前CA研究和应用越来越深广。

As follows is idiographic research:The first portion is correlation theory of this text.

具体研究工作如下：第一部分，是本研究的相关理论部分。

Contains more engineering and physics applications, and more mathematical proofs and theory of partial differential equations, than the first edition.

本书在第1版的基础上增加了偏微分方程在工程和物理学方面的应用，并且提供了更多数学证明和偏微分方程的原理。

In this paper,first of all,we discuss the basic theory of the two dimensions magnetic flux leakage testing,which is the basic of the design of "the monitor system of two dimensions magnetic flux leakage testing equipment for the steel tube ".

在本文中首先讨论了二维漏磁检测法的基本原理，这是"钢管二维漏磁检测设备监控系统"设计的基础。

First it introduces the theory and method of information spreading estimation.

首先介绍信息扩散估计的理论和方法，然后对受到粗差污染的大坝观测数据，应用信息扩散估计方法进行线性模型的参数估计。

First,the fixed point theory of set valued functions is discussed,it play animportant role in its applications.

本文首先讨论了具有重要应用价值的集值映射不动点理论。

First the dynamical game model is created for them. Then the optimal solution of the model is given by the theory of differential games.

首先建立两国的动态博弈模型，然后利用微分对策理论分析模型的均衡解。

According to economic insurance system based on probability theory and law of large numbers, insurers should first make prediction and calculation about the risk conditions of insurance objects and then decide whether to accept insurance and determine premium rate, so as to maintain the payment balance.

建立在概率论与大数法则基础上的保险经济制度务求保险人在订立合同前正确预测与评估保险标的危险状况并以此决定是否承保及确定保险费率，借以维持保险业收支平衡。

In the first chapter, we introduces the basic ideas of rough sets theory.

第二章详细综述了模糊粗糙集理论的研究进展。

First, the time series model of the random road roughness running by construction machinery is built up based on the measured data of the random road roughness and by means of the basic theory and method of the time series analysis. A real-time parameter estimation method of fuzzy weighted recurrence least square algorithm is represented through analyzing the conventional recurrence least square algorithm. Then, the new recurrence algorithm and the on-line tuning method of the weighted matrix are given out, and computer simulation is performed.

首先，以实测的地面随机不平度数据为依据，应用时序分析的基本理论和方法，建立了工程机械行驶地面随机不平度的时间序列模型，并在分析传统参数估计方法递推最小二乘算法的基础上，提出了模糊加权递推最小二乘算法的参数实时估计方法，给出了在此基础上的递推算法及加权矩阵的实时在线整定方法，并对其进行了计算机仿真研究。

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.

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