查询词典 theorem

In this paper,we generalize the intermediate value theorem from continuous to discontinuous .

本文将连续函数的介值定理推广到间断的情况，文中的思想方法在其他领域如数论中也是有用的。

The mechanism of the least squares approximation that MFNN with finite nodes carried out on a given discrete point set is made, which, for the first time, results in an important theorem.

分析了有限规模多层前向网络用于离散点集上的最小二乘逼近的机理，首次给出了一个有关的定理。

In 1976 Jorgensen established a fundamental theorem of Mobiusgroup in plane---criterion of discreteness.

Jorfensen在1976年建立了Mobius群的基本定理——离散性准则。

A new complete disjunctive normal form, which is in the sense of equivalence, to an extension system of medium logical proposition calculus MP is defined and the theorem of its existence and uniqueness is established and proved.

讨论中介逻辑命题演算扩张系统MP＊中在等值意义下的完全析取范式的存在性和唯一性。引入MP＊中等值全析范式的概念，并用分步构造法证明这种范式在等值意义下是存在的，且是唯一的。

The introduction of displacement operator, derivation operator, integral operator and the operator, such as differential calculus operator and the definition of the form of computing, will be applied to similar derivation formula gives Newton a Kete Si formula and Bernstein theorem Law said the operator, and form is derived; linear differential equations is the operator solution.

有没有高手可以帮我翻译下这段话啊？？？引入位移算子、求导算子、积分算子和差分算子等微积分算子的定义及其形式运算，将其应用于近似求导公式；给出牛顿一柯特斯公式和伯恩斯坦定理的算子法表示，并进行形式推导；给出线性常微分方程的算子解法。

Like most university graduates in mechanical engineering, I do not have the sufficient mathematical knowledge to judge major mathematical problems, i.e. Fermat's Last Theorem, Riemann's Hypothesis, Jiang Chun-xuan's proof of FLT, Wiles's in question proof of FLT, or Jiang Chun-xuan's disproof RH, etc.

像大部分机械工程大学毕业生那样，我没有足够的数学知识判断重大数学问题，如费马大定理〔FLT〕、黎曼假设〔RH〕等，以及蒋春暄对于FLT的证明、怀尔斯〔Wiles〕对FLT有问题的证明、蒋春暄对于RH的否定。

In studying applications of CABMUT, it discusses how to estimate disputant's utility. For the situation with incomplete information, it defines the satisfaction function as a measure of disputant's utility, and gets the satisfaction programming and uses it to prove the existence theorem of fair and F——marginal solutions.

在应用方面，该方法讨论了关于冲突者的效用估计问题，特别是对不完全信息的冲突局势，采用满意函数量度冲突者的效用后，得出了满意规划模型，并用之证明了公平解、边际解的存在性定理。

The main work of this dissertation is that after the conventional codebook design algorithm is used to decrease the expected distortion, evolutionary algorithm is introduced into vector quantization based on the partial distortion theorem to design the optimal codebook.

本论文的主要工作正是在利用传统码本设计算法减少平均误差的前提下，根据矢量量化的部分失真定理，引入进化算法，设计出较优的码本。

A partial distortion theorem based Channel-Optimized VQ design algorithm using the evolutionary algorithm on noisy channel was presented.

提出了一个使用进化算法、引入部分失真定理的信道最优矢量量化器的设计算法。

The lower bound theorem of plasticity is employed to obtain the fully plastic resistance of the section as determined by the maximum distortional energy density criterion.

下界定理的可塑性是受聘获取完全塑胶抵抗该科确定的最高畸变能量密度标准。

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.

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