substitution check发音

意思翻译

替代检查

相似词语短语

substitution───n.代替；[数]置换；代替物

check check───检查检查

substitution cipher───代替密码；替代密码；n.代用密码（或记号）

substitution effect───替代作用；替代效应

substitution method───代入法；替换法；代换法; 代入法; 代替法; 替代法

substitution drill───替换训练；替换练习；代换法

substitution bias───替代偏误

shortening substitution───缩短替代

check───n.<美>支票；制止，抑制；检验，核对；vt.检查，核对；制止，抑制；在…上打勾；托运；vi.核实，查核；中止；打勾；[象棋]将一军；n.（英）切克（人名）

双语使用场景

This paper introduces the implementation of a Z specification type checker, meanwhile the environment of type check, unification method, substitution strategy are also discussed.───本文介绍Z规格说明类型检查器的实现方法，并对类型检查的环境、一致化方法、替换策略和类型变量的应用等问题进行讨论。

The last set includes a colon (:) between the variable name and the substitution operator, which adds the check to see if the variable is NULL, as well.───后一组定义在变量名和替换操作符之间包含一个冒号(：)，这会额外检查变量是否是NULL。

英语使用场景