1) assembly correctness
装配正确性
1.
As the Anti-lock Brake System(ABS) has been widely used,testing assembly correctness of Commercial Motor s ABS has become more and more important.
随着汽车防抱死制动系统(ABS)的广泛应用,商用车ABS装配正确性的检测变得越来越重要。
2) Rule Deployment
规则正确性配置
3) improper reassembly
不正确的重新装配
4) incorrect arrangement
不正确的安装[配置]
5) incorrect press fit
压力机装配不正确
6) accurate assembly
精确装配
1.
Study on single CNT's accurate assembly and electrical contact for fabricating nanoelectronic device;
纳电子器件制备的单根碳纳米管精确装配与电连接研究
补充资料:软件正确性验证
软件正确性验证
verification of software correctness
ruQnlian zhengquexing yanzheng软件正确性验证(verifica‘ion of sofcorrectuess)研究验证计算机软件止的理论和方法。又称程序正确性验证。统的程序调试方法试图发现程序中的不同,程序正确性验证的基本思想是证明数学定理一样来证明程序的正句程序正确性验证大体上分为两步:首步数学工具严格地描述待验证的程序,该程序所要实现的目标;然后,在相形式系统中,证明该程序是否正确地了所期望的目标。其数学基础,主要辑、代数、范畴论和自动机理论;其方法,有以数学演绎为基础的定理证法和以有穷模型__L搜索为基础的模型方法。1969年出现了程序验证的公理妥经过数十年的努力,程序正确性验证得到了长足的发展,陆续建立了自动自动的程序验证系统,用于验证计算件的正确性。这些程序验证系统,在检件(协议)设计中的错误和隐患方面发挥用。模型检验方法,己成功地应用于自证具有10,00以上状态数的系统。计算件正确性验证已逐步走向实际应用。 (陈火旺王︸胜准眼洞陈用吸哟觑逻凄防脸先贻伴漱漱作脸漱|
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条