定理验证造句
造句与例句手机版
- 首先介绍了多lyapunov函数方法以及前人应用该方法取得的一些结果,并对这些结果进行比较说明;其次,我们应用多lyapunov函数方法研究了一类切换系统的指数稳定性,得到了系统指数稳定的充分条件,并将结果推广到带有不确定性的切换系统中,然后将定理验证转化为lmis问题,使得定理充分条件成为较易检验的代数条件,最后用仿真和数值例子说明了结果的正确有效性。
- 用定理验证造句挺难的,這是一个万能造句的方法
其他语种
- 定理验证的英语:theorem proving br>