定理验证的英文
发音:
"定理验证"怎么读用"定理验证"造句
英文翻译手机版
- theorem proving
- "定理"英文翻译 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
例句与用法
- 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,定理驗證的英文,定理验证怎么读,发音,例句,用法和解释由查查在线词典提供,版权所有违者必究。