研究一类非线性函数积分方程解的存在唯一性。
This paper deals with the existence and uniqueness of the solution of a class of nonlinear functional integral equations.
通过初等方法，证明了此冗余系统非负解的存在唯一性。
The existence and uniqueness of nonnegative solution for a class of age-structured SEIR epidemic model;
通过初等方法，证明了此冗余系统非负解的存在唯一性。
A new algorithm that finds nonegative solution of system of linear equations is described and proved.
然后利用压缩映象原理方法，证明了方程局部广义解的存在唯一性；
Secondly, the existence and uniqueness of the generalized local solution is obtained using the contraction mapping principle.
利用其等价的抛物拟变分不等式，得到了该问题古典解的存在唯一性。
We obtain the existence and uniqueness of the classical solution by its equivalent parabolic quasi variational inequality.
另外，我们还证明在一维有界区间上广义pm方程强解的存在唯一性。
Additionally, we prove the existence and uniqueness of strong solutions for Generalized YK Equation on 1-d bounded intervals.
本文应用压缩映象原理证明了一阶隐式微分方程解的存在唯一性定理。
Using the contraction mapping principle, we proved a theorem about the existence of solution for initial value problem of a class of implicit ordinary differential equations of the first order.
本文证明了非线性薛定格方程组第一边值问题差分格式解的存在唯一性。
The purpose of this paper consists in showing the existence and uniqueness of solution of the difference scheme of the first boundary problem for the system of Schrdinger type.
本文讨论了在一维情况下一类非牛顿流初边值问题整体解的存在唯一性。
In this paper, we prove the existence and uniqueness of global weak solution of non Newton Filtration equation with a kind of nonlinear boundary condition.
应用有界线性算子半群理论证明一类成批服务系统的解的存在唯一性和非负性。
In this paper, by using C0-semigroup theory the existence of a unique positive time-dependent solution of a bulk service queue with finite waiting space is proved.
并且分别详细论证了其解的存在唯一性，从而得到原人口方程解的存在唯一性；
The existence and the uniqueness of their solutions are also demonstrated respectively in detail, and accordingly the existence and uniqueness of solution of the former equation are proven;
我们将利用正则化方法和上下解技巧给出局部古典解和整体古典解的存在唯一性。
We will use regularization method and upper and lower solution technique to give the local existence, global existence and uniqueness results.
利用算子半群方法和先验估计，证明了该问题整体弱解和整体强解的存在唯一性。
By the methods of operator semigroup and apriori estimates, the existence and uniqueness of the global weak solution and the global strong solution for the system are obtained.
如果能在更弱的条件下建立随机方程的解的存在唯一性，无疑具有重大的理论意义。
Undoubtedly, it is of great importance to establish the existence and uniqueness under weaker conditions.
本文采用局部间断有限元方法，给出其数值通量形式并证明了其数值解的存在唯一性。
In this paper, we introduce the numerical flux of the LDG method (local discontinuous Galerkin method) and prove the existence and uniqueness of the LDG numerical solution.
第三章是对具有三个椭圆方程组成的高维自由边界问题的整体解的存在唯一性的研究。
In Chapter 3 we study the global existence and uniqueness of the multidimensional free boundary problem which include three elliptic equations.
第二章详细论证了一类具有无穷时滞中立型积分微分方程周期解的存在唯一性和稳定性。
The second chapter discusses and proves the existence and uniqueness of periodic solutions and stability of a neutral integral and differential equation with infinite delay in detail.
考虑了一个具有非线性边界条件的抛物系统，证明了这个问题非负古典解的存在唯一性。
A parabolic system with nonlinear boundary conditions is considered. T he existence and uniqueness of a nonnegative classical solution are proved to this problem.
用纯分析的方法给出了一类单部件可修系统动态非负解的存在唯一性和单调稳定性证明。
By using pure analysis method, are proved the monotone stability, existence and uniqeness of a dynamic state nonnegative solution of a repairable syatem with some singleness components.
用纯分析的方法给出了一类单部件可修系统动态非负解的存在唯一性和单调稳定性证明。
By using a direct analysis technique, the existence of nonnegative solutions was established for singular semi-positone problems with p-Laplacian.
运用纯分析的方法给出了具有共因故障的四部件冗余可修系统动态非负解的存在唯一性证明。
This paper, using pure analysis method has, proved the qualitative analysis of a dynamic state nonnegative solution of a 4 unit redundant repairable system with common cause failures.
利用锥理论和非对称迭代方法，讨论了不具有连续性和紧性条件的增算子方程解的存在唯一性。
By using the cone theory and non-symmetry iteration method, it is studied the existence and uniqueness of solutions of increasing operator equations without continuity and compactness conditions.
通过对积分算子谱的估计，作者给出了一阶线性微分差分方程在边值条件下解的存在唯一性定理。
In this paper, by estimates of spectral of an integral operator, the authors give a theorem on the existence of solutions for first order differential difference equations with boundary condition.
摘要通过对积分算子谱的估计，作者给出了一阶线性微分差分方程在边值条件下解的存在唯一性定理。
In this paper, by estimates of spectral of an integral operator, the authors give a theorem on the existence of solutions for first order differential difference equations with boundary condition.
本文给出了两点边值问题的解具有唯一性的一个判别法则，并在此基础上给出一类解的存在唯一性定理。
In this paper we give a criterion of uniqueness of solutions to two-point boundary value problem: moreover, we obtain a class of existence uniqueness theorems of solutions.
本文运用整体反函数理论证明了一类半线性方程边值问题周期解的存在唯一性，推广和改进了已有的一些结果。
The global inverse function theorem is applied for the existence and uniqueness of periodical solutions to the semilinear boundary value problems. Some results are improved.
讨论了伪抛物方程的一类非线性非局部边值问题，得到了当区域固定时解的存在唯一性，并就当区域变化时解的极限性态进行了探。
The existence and uniqueness of solution are proved when the domain is fixed, and the limit behaviour of solutions is obtained as the domain is changed.
讨论了伪抛物方程的一类非线性非局部边值问题，得到了当区域固定时解的存在唯一性，并就当区域变化时解的极限性态进行了探。
The existence and uniqueness of solution are proved when the domain is fixed, and the limit behaviour of solutions is obtained as the domain is changed.
应用推荐