查询词典 proved

We proved that under some concrete conditions imposed on μ, e and restrictions on the boundary value, the operator of Maxwell's equations becomes a symmetric ...

如果不满足对称性，引入伴谐振腔的概念，所谓伴谐振腔在几何形状上和原来的腔相同，但、和边界条件不一样。

We proved that under some concrete conditions imposed on μ, e and restrictions on the boundary value, the operator of Maxwell's equations becomes a symm...

如果不满足对称性，引入伴谐振腔的概念，所谓伴谐振腔在几何形状上和原来的腔相同，但、和边界条件不一样。

The existence of solutions for multi-point boundary value problem with p-Laplacian operator is investigated by using monotone iterative method, h is proved that boundary value problem has at least one positive solution under suitable conditions.

研究带p-Laplace算子的非线性微分方程的多点边值问题解的存在性，应用单调迭代，给出了这类边值问题存在解的充分条件，还给出了向正解靠近的单调集。

Transforming the boundary value problem with p-Laplace operator into operator equation, giving propriety conditions for different value of p,and using an extension of Mawhin s continuation theorem,the existence of solution of a boundary value problem with p-Laplace operator is proved, and the sufficient conditions for solution existence are obtained.

将具p-Laplace算子的边值问题转化成算子方程，对于p的不同取值给出适当的条件。利用Mawhin连续引理的推广形式，证明了一类具p-Laplace算子的微分方程边值问题解的存在性，得到了一系列解存在的充分条件

Aimed at three kinds of boundary point s on the wall, the method is presented that the boundary point is measured by reducing angle and distance error and it is proved by theory and practice.

针对墙面上的三种界址点，提出以减少测角和测距误差的偏心法观测，并得到了理论和实践的论证，具有一定的实用价

In this paper the boundary value problem of integro-differential equation is discussed and several basic theories of it are proved.

利用上解和下解的概念讨论了积分微分方程的边值问题，给出了几个基本定理。

FR conjugate gradient methods with perturbations are proposed. The global convergence property of the first method is proved under the condition of main directions' sufficient descent. Whereas, in the proof of the convergence for the other two methods, we only need main directions' descent. Importantly and quite interesting, boundedness conditions such as objective function being bounded below, boundedness of level set are not needed. Chapter 5 presents a version of Dai-Yuan conjugate gradient method with perturbations.

在主方向充分下降的条件下证明了第一个方法的全局收敛性，而后两个方法的收敛性是在主方向下降的条件下证明的，这些收敛性证明的一个共同特征就是不需要目标函数有下界或水平集有界等有界性条件，第5章采用Wolfe或Armijo步长规则提出了带扰动项的Dai-Yuanabbr。

At last, it is proved for the two systems that when the control domain U is a bounded, closed set, the reachable set is the same as that when the control domain is the convex of U.It is an advancement for original results.

最后证明了当控制区域U是有界闭集时上述两个系统的等时区域与控制区域是U的凸包时的等时区域相同，推广了有限维的结论。

The uniform bounded stable condition of the residual and its to nonlinear perturbations are proved by using Lyapunov function and uniform bounded lemma.

并利用Lyapunov函数和一致有界引理证明了故障检测残差信号的一致有界稳定条件和对非线性扰动的鲁棒性。

It is proved that when all the ratios of the generic term of a subaddtive sequence to its ordinal number form a lower bounded sequence,the ratio sequence must have limitation .

从这一结果出发证明了，当定义在(0，+∞)上的次可加函数与其自变量之比为有界函数时，次可加函数必存在上下确界函数，并证明了其上下确界函数均为齐次线性函数。

The concept of equivalent rotationally rigidity is offered and the formula of rotationally rigidity is obtained.

主要做了如下几个方面的工作：对伸臂位于顶部的单层框架—筒体模型进行分析，提出了等效转动约束的概念和转动约束刚度的表达式。

Male cats normally do not need aftercare with the exception of the night after the anesthetic.

男猫通常不需要善后除了晚上的麻醉。