- 更多网络例句与唯一存在性相关的网络例句 [注：此内容来源于网络，仅供参考]
-
This paper consists of three parts: Firstly, we discuss a nonautonomous -species two-patches cooperative Lotka-Volterra diffusion system. Using Brouwer fixed-point theory and Liapunov function, under some conditions, we obtain that the system has a unique globally asymptotically stable positive periodic solution. Secondly, we consider a kind of nonautonomous predator-prey model, in which preys are with stage structure and the predator are with two patches.
中文摘要：本文分三部分讨论三类生态模型周期解或概周期解的存在性及全局渐近稳定性等内容：第一部分讨论了两斑块种群的互惠Lotka-Volterra扩散系统，运用不动点理论和构造Liapunov函数，得到了系统存在唯一一个全局渐近稳定的正周期解的充分条件。
-
This article uses the implicit function theorem and the properties of analytic functions,with less limitations for the uniqueness,continuity,continuous differentiability of the implicit functions,and gets the sufficient and necessary conditions of the existence of implicit functions by simplifying them.
从常用隐函数存在性定理出发，放宽对隐函数唯一、连续、连续可微等性质的限制，利用解析函数的性质将其展拓，得到广义隐函数存在的充分必要条件和广义隐函数的分布特征。
-
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不等式证明了变时滞多向联想记忆神经网络概周期解的全局指数稳定性。
-
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＊中等值全析范式的概念，并用分步构造法证明这种范式在等值意义下是存在的，且是唯一的。
-
On the basis of least potential energy theory the stability and convergence are analyzed and discussed in Hilbert space, and the basic condition ensuring uniqueness and convergence of solution is given.
在Hilbert空间内，从最小势能原理出发对非协调数值流形方法的稳定性和收敛性进行了分析和讨论，得到了保证非协调流形元解唯一存在和收敛的基本条件，完善了非协调数值流形方法的理论基础。
-
Firstly, we prove the existence and the uniqueness of the hyperfocal subalgebra when the coefficient field is split for a defect pointed group; then, considering the structural pattern of source algebras over arbitrary fields, by means of G-acted groups, we reduce the existence and the uniqueness of the hyperfocal subalgebra over an arbitrary field to the case that the coefficient field is split for a defect pointed group and the inertia group stablizes a hyperfocal subalgebra.
首先我们证明了如果系数域对亏点群是分裂的，则源代数的超聚焦子代数存在且共轭唯一；然后通过考虑任意域上源代数的结构模式，以G-作用群为手段，将超聚焦子代数的存在性和唯一性归结为系数域对亏点群是分裂的情况下惯性群稳定的超聚焦子代数的存在性和唯一性。
-
In this paper, the unique existence conditions for minimal determining set of non binary complete rational choice function is studied.
研究社会选择理论中非二元性选择函数的最小决定集的唯一存在性条件。
-
The sufficient condition of the existance and unigueness of solution is that the original main matrix is positive.
本文通过对这类数值计算问题的解的唯一性及存在性的讨论，表明了解存在且唯一的一个充分条件是原系数矩阵正定。
-
II, Polynomial rings on a general field( on contrast of those over a number field): concepts of ring, ideals, field and several special rings as domains, principal ideal domains and unique factorization domains, the unique factorization theory of polynomial rings.
二、一般域上的多项式理论（是数域上多项式理论的推广）：学习环、域和几类特殊结构的环（整环、主理想环，唯一分解环等）的概念，多项式环的唯一分解定理；三、线性代数：讲述一般数域上的向量空间理论（是数域上向量空间理论的继续和推广），模的概念，主理想环上的模的结构及其线性变换的若当标准型等；四、一元多项式的解及域论：学习域扩张及其相关概念，伽罗瓦理论，用伽罗瓦定理判断根式解的存在性。
-
The research is carried on from four aspects. One is, based on answering the above open problem on a finite dimensional Euclidean space by means of partially ordered theory, to research the existence of solutions, global error bounds of proximal solutions and sensitivity of parametric unique solutions and present a class of variable-parameter three-step iterative algorithms for generalized set-valued variational inclusion problems by using - resolvent operator of set-valued mapping.Two is to consider the convexity, closedness and boundedness of the solution set of general set-valued variational inclusion problems and the sensitivity of the parametric solution set by means of graphical convergence theory. Three is to discuss directly the existence of solutions by using analytical methods for set-valued mixed quasi-variational-like inequalities and suggest a class of direct variable-parameter three-stepiterative algorithms for solving generalized set-valued variational inclusions.
研究分有三个方面：一是借助于偏序理论在有限维欧氏空间中解决了上述公开问题，在此基础上利用集值映射的η-预解算子，研究了广义集值变分包含问题解的存在性、逼近解的全局误差界、参数唯一解的灵敏性，并提出了一类变参数三步迭代算法；二是借助于图收敛理论研究了一般集值变分包含问题解集的凸性、闭性和有界性以及参数解集的灵敏性；三是用分析的方法直接讨论了集值混合拟类变分不等式问题解的存在性并提出了一类求解广义集值变分包含问题的直接变参数三步迭代算法。
- 更多网络解释与唯一存在性相关的网络解释 [注：此内容来源于网络，仅供参考]
-
unique decomposition theorem：唯一分解定
unique 唯一的 | unique decomposition theorem 唯一分解定 | unique existence 唯一存在性
-
unique existence theorem：唯一存在性定
unique existence 唯一存在性 | unique existence theorem 唯一存在性定 | unique factor 唯一因
-
unique existence：唯一存在性
unipotent matrix 幂单矩阵 | unique existence 唯一存在性 | unique factorization domain 唯一析因整环
-
unipotent matrix：幂单矩阵
unipotent group 幂单群 | unipotent matrix 幂单矩阵 | unique existence 唯一存在性
-
unique factorization domain：唯一析因整环
unique existence 唯一存在性 | unique factorization domain 唯一析因整环 | unique factorization theorem 唯一析因定理