查询词典 existence

Then we use Lebesguge s dominated convergence theorem to obtain some sufficient conditions for (2) and study the existence of a bounded positive solution.

接着，利用Lebesgue单调收敛定理给出了方程(2)振动的若干充分必要条件并且研究了正有界解的存在性。

Fourthly, Broyden iterative method is studied to solve nonlinear equation with parameters and the existence and convergence theorem is also given.

第四章的主要结果：研究用Broyden迭代求解带参数非线性方程，在弱条件下给出Broyden迭代格式的存在性和收敛性定理。

With the cone theory and monotone iterative technique,the existence and uniqueness of the solution for the ordering symmetric contraction mixed monotone operator equations are studied,and the error estimations for the convergent iterative sequence are also given.

摘 要 利用锥理论和单调迭代技巧，研究序对称压缩的混合单调算子方程解的存在唯一性，并给出迭代序列收敛于解的误差估计。

In this thesis, we firstly introduce several class of discrete-time neural network models and the research progress of the neural networks. By Schauder fixed-point principle we prove the existence of an equilibrium (i.e. a fixed point) of a discrete-time neural network with generalized input-output function and by using the converse theorem of Lyapunov function we study the uniformly asymptotical stability of equilibrium in this discrete-time neural network with variable weight and give some sufficient conditions that guarantee the stability of it.

本文首先介绍了几类离散神经网络模型的由来及其研究概况，利用Schauder不动点原理证明了一类具有广义输入输出函数的离散神经网络模型平衡点的存在性，利用Lyapunov函数逆定理给出了这类离散神经网络模型在时变权值下的一致渐近稳定性的充分条件。

The concept of a consistent term structure is introduced and a result on its existence is proved with the theory of convex analysis.

在引入相容的期限结构概念后，利用凸分析理论给出了它的一个存在性结果：存在相容的期限结构当且仅当市场是无套利的。

It also provided the conditions for the existence of large cores of symmetric games. It proved the equivalence relation of convex games and monotonic symmetric games.

本章还给出了对称对策的广义核心存在的条件，证明了凸对策与单调对称对策的等价关系。

Then, through quadratic separators, the sufficient condition of the fault tolerant controller existence can be transformed into the problem of solving some limited number of linear matrix inequalities, including each vertex of the convex polyhedron.

然后，通过二次可分原理，求解只包含关于凸多面体各顶点的有限个线性矩阵不等式，给出了容错控制器存在的充分条件。

Due to the convexity of the proposed energy functional,the existence of the minimizing solution of such functional is discussed.

图像恢复是图像处理的经典问题，需要在噪声去除的同时能够有效地保持图像的细节。

If you do not believe in the existence of evil, this book will convince you.

如果你不相信魔鬼的存在，这本书会说服你。

Rader's algorithm, exploiting the existence of a generator for the multiplicative group modulo prime N, expresses a DFT of prime size n as a cyclic convolution of size N 1, which can then be computed by a pair of ordinary FFTs via the convolution theorem (although Winograd uses other convolution methods).

Rader演算法提出了利用点数为N的DFT进行长度为N-1的回旋摺积来表示原本的DFT，如此就可利用摺积用一对基本的FFT来计算DFT。

You can do some assertiveness training.

你可以进行一些自信训练。

We were well on the path to making a rear-wheel-drive global platform," says Mays."

我们正致力于建立一个后轮驱动的平台，"Mays这样说道。"