为验证本文研究的塔式起重机计算机辅助设计平台的正确性，对某厂生产的5012塔机的塔身进行了再设计。

For verifying accuracy of the investigative platform, we designed the tower crane mast again about the type of 5012.

youdao

验证了利用这种方法对中小船舶进行计算机辅助放样的可行性。

This paper points out this can fit small and middle shipyard using computer in the tubing lofting.

youdao

公理的计算机生成、辅助证明和验证这一学科在计算机科学王国中只占有很小的份额。

Computer generated and assisted proofs and verification occupy a small niche in the realm of Computer Science.

youdao