Chinese translation for "定理验证"

theorem proving

Related Translations:

验证测量:  confirmatory measurementconfirmatorymeasurement

中点定理:  mid-point theorem

畸变定理:  distortion theorem

卸载定理:  offloading theorem

等价定理:  equivalence theorem

表象定理:  representation theorem

惯性定理:  inertial theorem

多方定理:  polytrijpic law

凸定理:  convexity theorem

正确性定理:  correctness theorem

Example Sentences:

1.

In second , using this method , we discuss the exponential stability of switched nonlinear systems and give the sufficient conditions of stability ; furthermore , exponential stability of a class of switched systems with uncertainty is investigated . mean while , we may translate theorem test into the lmis problem . in the end , simulation examples are given to show the validity of the result 首先介绍了多lyapunov函数方法以及前人应用该方法取得的一些结果，并对这些结果进行比较说明；其次，我们应用多lyapunov函数方法研究了一类切换系统的指数稳定性，得到了系统指数稳定的充分条件，并将结果推广到带有不确定性的切换系统中，然后将定理验证转化为lmis问题，使得定理充分条件成为较易检验的代数条件，最后用仿真和数值例子说明了结果的正确有效性。

Similar Words：

"定乐" Chinese translation, "定理" Chinese translation, "定理；原理，原则" Chinese translation, "定理的" Chinese translation, "定理机器证明" Chinese translation, "定理证明" Chinese translation, "定理证明表示" Chinese translation, "定理证明程序" Chinese translation, "定理证明机" Chinese translation, "定理证明技术" Chinese translation