繁體版 English
登录 注册

定理验证的英文

发音:  
"定理验证"怎么读用"定理验证"造句

英文翻译手机手机版

  • theorem proving

例句与用法

  • 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问题,使得定理充分条件成为较易检验的代数条件,最后用仿真和数值例子说明了结果的正确有效性。
用"定理验证"造句  
定理验证的英文翻译,定理验证英文怎么说,怎么用英语翻译定理验证,定理验证的英文意思,定理驗證的英文定理验证 meaning in English定理驗證的英文定理验证怎么读,发音,例句,用法和解释由查查在线词典提供,版权所有违者必究。