查询词典 elementary analysis

Under the most elementary conditions for backward stochastic differential equation introduced by Peng S., we put forward and prove a general converse comparison theorem.

在由彭实戈引入的倒向随机微分方程的最基本的条件下，提出并证明了一个一般的反比较定理。

In the paper, the elementary principle of the Compensator and the assembly process is explained in detail.

本文对该无功补偿装置的软硬件基本原理及安装调试方法进行了介绍。

The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.

二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究，证明了LP中任何一个格值逻辑公式等值于一个广义合取范式； 2、对LP中不可分极简式的判定方法进行了研究，讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件； 3、对LP中不可分极简式的α-归结域进行了研究，得到了一些基本结果； 4、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

Firstly,we introduce its definition,then construct two groups of operator functions by an elementary method,and extend the function f= t(t+2)log(t+2)/(t+1)~2 to linear situation,at last we discuss some results about operator monotone function under the complex order and conjugate complex order.

首先介绍了Furuta不等式的几何结构，将普通的算子序推广到更弱的算子序A~4≥(A~2B~2A~2)~2/3，讨论在此序下的函数的算子单调性，并且推广到更一般的序A~(2m)≥(A~mB~2A~m)~m/m+1，得到了一些新的研究方法与结果。

Graph theory is one of the unified modelling methods. Based on the traditional linear graph theory, the paper proposed the Extensible Elementary Linear Graph method, which could realize composable simulation for multidiscipline system, and perform inter-energy domain expression in a unified way.

图论方法是多领域统一建模方法之一，本文基于线性图建模方法，研究和发展了一种模块化的多领域建模方法——可扩展单元线性图复合仿真方法，以实现跨能量域的统一模型表达。

By means of deriving the approximate solution and a process of approaching iteration, we have shown that a general solution exists for a non-Newtonian compressible fluid in 3D bounded domains. The proof is based on an elementary energy method.

文章利用构造近似解和极限的过程证明了三维有界区域中非牛顿可压缩流体广义解的存在性，所用的证明方法为能量方法。

Elementary education is compulsory in almost every country in the world.

在全世界几乎的国家中，小学教育都是义务的。

With the development of educational enterprise and the reform of elementary education, teacher training shows the signs of concernment.

随着我国教育事业的发展和基础教育的改革，中小学教师培训成为我国教师教育的一个重要课题。

In Chapter 1,some elementary knowledge was introduced,such as theBernstein-Bezier representation for polynomials,conform triangulation,theconditions of convexity for Bézier spline surfaces,the funtional andgeometric continuity condition for neibour Bézier surface patches etc.,specially,based on the Liu-Ding-Yuan Theorem for geometric continuity,some simple and practical conditions were obtained.

第一章介绍一些基本知识，如多项式的Bernstein-Bézier表示，相容三角剖分的定义，Bézier三角样条曲面保凸的条件，相邻Bézier曲面片函数连续和几何连续的条件等，特别地，在刘鼎元关于几何连续条件的一般定理的基础上，导出了几个较简单的实用的一阶几何连续条件。

The traditional methods used to confect the standard solution in the elementary determining of the glass samples containing sodium and calcium by atomic absorption spectrum are very fussy .

传统原子吸收法测定钠钙玻璃中各元素的标准溶液的配制方法既繁琐且不容易消除干扰。

Effective local search tactics reaches local searchers when they are ready to buy - with every way that it is possible for them to buy from you.

有效的地方搜索策略达到当地的搜索，当他们准备购买-以各种方式，这是他们有可能从您那里进行购买。

The first two are periodic sentences for their beginnings; and the fifth and the last are also periodic sentences each for the embedding of a parenthetic structure.

1960年代中后期，当战后女权主义和当时的许多其他抗议运动在西欧和北美发展成某种势力时，性别的概念演绎成补充和延伸生物性别差异的概念。