1) item substitute
标准项代换
1.
A heuristic search algorithm using the standard item substitute is presented in this paper,which can give readable proving for a class of geometric theorems as long as its conclusions are polynomial equalities about geometric quantities,such as the length of segmen.
该算法通过引入多项式的变形操作算子——标准项代换,把证明结论为多项式等式g=0的几何定理转化为寻找从g到0的标准项代换序列的搜索问题。
2) screening criterion
选项标准
3) standard approval
标准立项
1.
The defects and problems existing in standard approval and review of China thereby are pointed out.
论述了ISO、美国、加拿大和英国的标准立项和复审工作,并将其与我国的标准立项和复审工作进行了对比分析,指出了目前我国标准立项和复审工作存在的不足之处和问题所在。
补充资料:德国国家标准(见德国标准化学会、德国标准体系)
德国国家标准(见德国标准化学会、德国标准体系)
National Standards of Germany: see Deutsches Institut für Normung, DIN;standards system of Germany
Oeguo Guol心日icozhun德国国家标准(Natio.吐S加Ln山切曲of Gen”旧ny)见德国标准化学会;德国标准体系。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条