This paper gives a proof of a comparison theorem on the viscosity solution of HJB Equation.
证明了与随机控制问题有关的动态规划方程粘性解的比较定理。
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.
建立非线往退缩椭圆型方程的比较原理并给出方程组边值问题耦合弱拟解的存在性定理。
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的合理性与完全性定理，并与其它不确定推理方法作了比较。
应用推荐