查询词典 theorem

In view of continuous function problems,it is first proved that the-ES algorithm based on uniform distribution converges in probability in a weaker condition by means of the central limit theorem.Then it is proved that the-ES algorithm which adopts the general continuous random variables as its variable operators converges in probability.

针对连续函数优化问题，利用中心极限定理，在较弱的条件下，首先证明了基于均匀分布的-ES算法依概率收敛，然后给出了采用一般连续性随机变量作为变异算子的-ES算法依概率收敛的证明。

That not only could be extended to the continuous random varia- ble,but also the theorem of maximum information measure could be extended to the continuous random variable, which unified the measurement arithmetic of information between distributed random variable and continuous ran- dom variable,and gave two validating models to the information entropy of the continuous random variable in the last.

用公理化的方法，推导出了有限分布列的离散型随机变量的信息量系，不仅将它推广到连续型随机变量，而且将信息量系的最大信息量定理推广到连续型随机变量，统一了离散型和连续型随机变量的信息度量算法。最后利用得出的结论对连续型随机变量信息熵给出两个验证性算例。

Theorem If and are continuous on an open set S, then at each point of S.

定理 若和在开集S连续，则对于S的每一点有。

The author proves theorem on contracting maps for halfmetric space and the existance of solution and the Continuousness of integral operator integral equation in Orlica space.

证明了半度量空间中的压缩映像原理，并应用其证明了Orlica空间中一类积分方程解的存在性及积分算子的连续性。

On the basis of Muskhelishvili's complex function theory, an auxiliary field of mixedmode crack was accomplished, and then using Betti's reciprocal work theorem, a path independent contour integral method for stress intensity factors of mixed-mode crack was obtained.

本文用复变函数理论推导出裂纹的辅助场，并用Betti功互等定理给出求解混合型裂纹应力强度因子的远场围绕积分法。

The first part is the preparatory knowledge, introducing the contracting mapping principle which through the basis of vector and matrix norm, derivative and differential theorem of mean to thorough understanding the nature of soluble for nonlinear equations.

第一部分为预备知识，重点介绍压缩映象原理。通过引入向量与矩阵范数，导数与微分中值定理，以求深入理解非线性方程组可解性的基本理论。

Also, by using exponential dichotomy, contraction map theorem and matrix theory, some sufficient conditions are obtained to ensure the existence and global exponential stability of almost periodic solution for MAM neural network with distributed delays.

利用矩阵的谱半径、指数二分法结合运用压缩映射原理获得了分布时滞多向联想记忆神经网络模型概周期解的存在性，并在相同条件下证明了概周期解的全局指数稳定性。

This paper proves that every probabilistic contraction map from E to E has a unique fixed point, where E is a complete and uniformly local semi-convex probabilistic normed spacer and obtains a fixed point theorem in metric linear spaces.

摘要证明了完备的一致局部半凸概率赋范空间上的概率压缩映象必有唯一不动点，得到了一类度量线性空间中关于伪范数族一致压缩映象的不动点定理。

A sufficient condition is obtained to ensure the existence and uniqueness of almost periodic solution for MAM neural network with time-varying delays by way of exponential dichotomy and contraction map theorem. Moreover, the global exponential stability of the almost periodic solution for this type of MAM neural network is proved by using Halanay inequality.

利用指数二分法结合运用压缩映射原理获得了变时滞多向联想记忆神经网络模型概周期解的唯一存在性，利用Halanay不等式证明了变时滞多向联想记忆神经网络概周期解的全局指数稳定性。

In this paper,present the basic theorem and application of safety control theory.

介绍了安全控制论的基本理论和应用。

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.

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