1) positive phase
正时相
2) relative timing correctness
相对时间正确性
3) moveout phase correction
时差相位校正
4) timing
[英]['taɪmɪŋ] [美]['taɪmɪŋ]
正时
1.
The system include Valvetronic mechanism and VANOS mechanism, it continually adjusts valve timing and lift in a dimension.
该系统包括Valvetronic机构和VANOS机构,能够在一定的范围内连续调节气门的正时与升程,实现发动机的无节气门负荷调节,降低了发动机的泵气损失,改善了发动机的性能。
2.
The system includes Valvetronic mechanism and VANOS mechanism,which can continually adjust valve timing and lift in a dimension.
该系统包括Valvetron ic机构和VANOS机构,能够在一定的范围内连续调节气门的正时与升程,实现发动机的无节气门负荷调节,降低了发动机的泵气损失,改善了发动机的性能。
3.
The paper introduced the influence of distribution of gas timing on engine dynamics and economics,and analyzed the structure and work principle of Mazda changed valve timing mechanism.
介绍配气正时对发动机动力性、经济性的影响,阐述一汽马自达6轿车发动机可变气门正时机构的运行目的,解析其结构与工作原理。
5) normal phase
正相
1.
The preparation,characterization and chiral separation of kanamycin-CSP in normal phase were discussed.
通过对卡那霉素CSP的制备、表征及在正相条件下对异博定、黄皮酰胺、萘乙醇等三种物质的手性拆分研究,探讨其手性拆分机理。
6) Exactly the opposite
正正相反
补充资料：软件正确性验证
软件正确性验证
verification of software correctness
ruQnlian zhengquexing yanzheng软件正确性验证(verifica‘ion of sofcorrectuess)研究验证计算机软件止的理论和方法。又称程序正确性验证。统的程序调试方法试图发现程序中的不同，程序正确性验证的基本思想是证明数学定理一样来证明程序的正句程序正确性验证大体上分为两步:首步数学工具严格地描述待验证的程序，该程序所要实现的目标;然后，在相形式系统中，证明该程序是否正确地了所期望的目标。其数学基础，主要辑、代数、范畴论和自动机理论;其方法，有以数学演绎为基础的定理证法和以有穷模型__L搜索为基础的模型方法。1969年出现了程序验证的公理妥经过数十年的努力，程序正确性验证得到了长足的发展，陆续建立了自动自动的程序验证系统，用于验证计算件的正确性。这些程序验证系统，在检件(协议)设计中的错误和隐患方面发挥用。模型检验方法，己成功地应用于自证具有10，00以上状态数的系统。计算件正确性验证已逐步走向实际应用。 (陈火旺王︸胜准眼洞陈用吸哟觑逻凄防脸先贻伴漱漱作脸漱|
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条