查询词典 uniqueness condition

The existence,uniqueness and globally exponential stability of the equilibrium point of a dynamic neural network with distributed delay s were studied without assumption of boundedness and differentiability of activation functions.

在没有假定激励函数有界、可微的情况下，研究包含分布时滞的动态神经网络平衡点的存在性、唯一性和全局指数稳定性。

Then the existence and uniqueness of the value function for the differential game model is verified.

最后，根据微分对策理论得出了值函数所满足的偏微分方程。

At last we introduce the most important theory in this thesis which is the uniqueness of decomposition . Complete Lie colour algebra of any finite dimension can be decomposed to direct sum of simply complete ideas .And the decomposition is unique except the order of the ideas .

最后给出了本文最重要的一个定理——完备李color代数的分解唯一性定理，指出有限维完备李color代数可以分解为单完备理想的直和，而且除这些单完备理想的次序外，这种分解是唯一的。

In chapter 2, we devoted ourself to the research of the existence and uniqueness of a class of diffusive population modle under Dirichlet boundary conditions.

在第二章中，我们讨论一类时滞反应扩散方程在Dirichlet边值条件下，零稳态解和非零正稳态解的存在性及其渐近行为。

Thereby we obtain the existence and uniqueness for the Dirichlet problem of the Helmholtz equation on domain with corners

从而得到边界含尖点区域上Helmholtz方程Dirichlet问题解的存在及唯一性。

First, we introduce the concept of polarizable Carnot group and give some new properties of its homogeneous norm. Then we construct a class of non-divergence equations as well as their nontrivial solutions. The failure of corresponding A-B-P type estimate and uniqueness to the Dirichlet problems in space~ follow.

首先引入可极化Carnot群的概念，给出了可极化Carnot群上齐次模的若干性质，然后构造了一类非散度型次椭圆方程及其非平凡解，由此证明此类方程Dirichlet问题的解在函数空间L~中不唯一，进而证明相应的Alexandrov-Bakelman-Pucci型估计不成立。

The theoretical solution of a concentrated force acting on the free surface of coating materials with two same thickness layers has been deduced by introducing mirror point method and Dirichlet uniqueness theorem.

利用镜像点法和Dirichlet等值性原理，本文推导了等厚双层薄膜涂层材料受表面集中力作用的平面问题理论解。

On this newconcept, we succeed to prove the uniqueness of Cauchy Problem of the aboveequation by the methods of using the Hausdorff measure of the set of the discontinuous points of BV solution and Kruzkov technique etc.

基于此概念，通过对BV函数的间断点集合Hausdorff测度的仔细分析，以及利用Kruzkov技巧等我们证明了上述方程BV解的存在唯一性。

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 contrast mentioned above between a disjunctive kind and a role property is important to the point we are making about uniqueness.

上面提到的析取类型和角色属性的对比，对我们关于唯一性做出的讨论，是关键的。

Cable dampener cannot be rolled up but must be hung over the cable.

缆帆不能被卷起，必须保证处于展开状态

"This skylark is a present from my master," he says.

"这只云雀是我主人献上的礼物。"他说。