定理验证的英文

定理 theorem
验证 test and verify; checking; p ...
热处理验证试验 heat treatment verification tests; verification tests of
心理验尸法 psychological autopsy
验证 test and verify; checking; proving; testing; confirmation; [数学] corroboration; inspection; verification
设备修理验收 acceptance check for equipment repair
定理 (已经证明正确,可以作为原则或规律的命题或公式) theorem 基本定理 fundamental theorem; 几何定理 geometrical theorems; 定理验证[明] theorem proving
检验, 验证 verify check
检验证 cermet of inspection; inspection certificate
可验证 verifiable
免验证 laissez passer
前验证 prospective validation
验证, 证明 proofness
验证；核证 verify
验证；校验 verify
验证表 proof lift; proof listing
验证点 verify points
验证机 proof machine
验证孔 confirmation hole
验证码 identifying code; security code
验证器 validator
验证员 verifiel
验证者 verifier
验证字 check word/authentication
已验证 authenticated

千万人都在用的超大词汇词典翻译APP

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问题，使得定理充分条件成为较易检验的代数条件，最后用仿真和数值例子说明了结果的正确有效性。