全部

1·This paper gives a proof of a comparison theorem on the viscosity solution of HJB Equation.

证明了与随机控制问题有关的动态规划方程粘性解的比较定理。

2·The non confluent property, comparison theorem and strong comparison theorem of strong solutions are proved.

在相当弱的条件下，当扩散系数非退化时，证明了方程强解的不合流性。

3·By using the method of multiple scales and the comparison theorem, the asymptotic behavior of solution for the initial boundary value problem is studied.

利用多重尺度法和比较定理，研究了初始边值问题解的渐近性态。

4·Sufficient criteria on uniform persistence, weak persistence and extinction of the consumer population are obtained by using mainly the comparison theorem.

主要运用比较定理得到了种群一致持续生存、弱持续生存以及绝灭的判据。

5·By means of the comparison theorem, and the oscillation of some non-linear partial difference equations is discussed and some concise conditions and authenticity are given.

给出系统振动的比较定理，利用比较定理讨论了一类非线性偏差分方程的振动性，给出简单的判别条件及证明。

6·The present paper deals with the sufficient and necessary condition of the final positive solutions of non-linear partial-difference equations and first presents the comparison theorem.

建立关于具有连续变量非线性偏差分方程存在最终正解的充要条件。

7·Using comparison theorem and some properties of the matrix norm and the matrix measure, the paper provides several stability conditions for single and symmetric composite uncertain delay systems.

利用比较定理、矩阵范数和矩阵测度的有关性质，提出了简单不确定时滞系统及对称组合不确定时滞系统的稳定条件。

8·Based on sampling theorem, by the comparison of three sampling scheme, and the conclusion is drew that the black box of medium frequency digital is the most reasonable choice.

以采样定理为基础，通过对三种跳频电台采样方案的比较得出结论，黑盒中频数字化方法是目前最合理的选择。

9·A comparison principle for nonlinear degenerate elliptic equation is derived, and a existence theorem of the coupled weak quasi-solutions of BVP for nonlinear degenerate elliptic systems is given.

建立非线往退缩椭圆型方程的比较原理并给出方程组边值问题耦合弱拟解的存在性定理。

10·The syntactic and the semantics of URS are given and the Completeness and Soundness Theorem for URS is proved. The paper concludes with a comprehensive comparison of our proposal w...

给出了URS的语法及语义，证明了URS的合理性与完全性定理，并与其它不确定推理方法作了比较。