查询词典 constructive existence proof

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。

However, before long...the exhausted body and coo belly reminded us the real world's existence.

然而，不久。。。精疲力尽的身体和咕咕叫的肚子提醒我们现实世界的存在。

This system's purpose is to manage file system and coordinate their co-existence.

该系统的作用是管理文件系统和协调多种文件系统之间的共存。

The existence of the observer is proved by a way of coordinate transformation based on Lyapunov theory.

通过坐标变换，用李亚普诺夫方法对观测器的存在性进行了论证。

Cordelia's authentic love and Lear's blindness to its existence trigger the tragic events that follow.

科迪莉亚的真实的爱与Lear的失明，其存在引发的悲惨事件的后续。

Finally, the Knight strung a line between two of the monoliths and tied the horses up there.

最后，骑士们在两颗巨石之间拉了一条绳子，将他们的座骑绑在上面。

T7zN/hyS0 The island lies south by east from here.

那个岛位于此地的正南偏东方向。