1) output grouping
输出分组
1.
By the algorithm,a heuristic is used to do output grouping for complex problem first,then the equivalence checking problem is converted into some Circuit SAT problems.
对包含多输出的复杂验证问题,首先对联接电路作输出分组,将等价性验证问题转化为包含若干个组的电路可满足性问题,继而使用电路解算器解决问题。
2) group out
成组输出
3) output winding,power winding
输出绕组
4) output speed
输出数组
6) block output
字组输出
补充资料：计算机输入/输出控制系统(见计算机输入/输出系统)
计算机输入/输出控制系统(见计算机输入/输出系统)
computer input/output control system
iisuanii shuru/shuehu kongzhi xitong计算机输入/输出控制系统(com-puter inPut/ou中ut eontrol system)见计算机输入/输出系统。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条