查询词典 constructive existence proof

A jump beyond time could perhaps explain how and why the Protoculture vanished, although our own continued existence would seem to contraindicate it.

超越时间的跳跃能够解释史前文化的消失，虽然我们自己的继续存在似乎与此矛盾。

The existence of solution for this system and the controllability and the many solutions of optimal control problem are investigated.

论述了该系统解的存在性及其最优控制的可控性和多解性。

Therefore, it is significant to study the existence and controllability of multivalued functional differential equations and integrodifferential equations.

因此，对多值泛函微分方程和积分微分方程存在性和可控性的研究具有重要意义。

Socialism is current the objective foundation of existence Chen Yong army one, the understanding of the objective basis that convection of current meaning differentiate and analyse understands, the understanding that understands an implication with convection is contacted together.

社会主义流通存在的客观基础陈甬军一、流通的含义辨析对流通的客观基础的理解，是与对流通含义的理解联系在一起的。

A succession of severe edicts, the Corporation Act, 1661, the Act of Uniformity, 1662, the Conventicle Act, 1663, renewed, 1670, the Five-Mile Act, 1665, and the Test Act, 1673, made existence almost impossible to Nonconformists of all shades of belief.

一连串的严厉法令后，该公司的行为， 1661年，该法的统一性， 1662年， conventicle行为， 1663年，展期， 1670年， 35英里的行为， 1665年，研究与试验法， 1673年，取得了生存几乎是不可能的nonconformists对形形色色的信念。

HJB equation; quasivariational inequality; domain decomposition; convergence; iterative algorithm; relaxation algorithm; existence; multigrid method

基础科学，数学，数学分析HJB方程；拟变分不等式；区域分解；收敛性；迭代法；松弛算法；存在性；多重网格法

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函数逆定理给出了这类离散神经网络模型在时变权值下的一致渐近稳定性的充分条件。

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.

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