Mobile
Log In Sign Up
Home > english-chinese > "定理验证" in Chinese

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