该磨床专门用于磨削无扭转精轧机生产线的碳化钨辊环上磨削。
This machine is specialized in grinding the Tungsten Carbide rolls of no twist finishing block.
高效少无氧化加热技术及热塑性成形过程中防氧化技术的研究，是实现精成形的关键配套技术。
High effective heating technology without or little oxidation and prevention oxidation during thermo-plastic forming are key kit technology to realize precision forming.
语言就是形式化方法中具有代表性的一种形式规格说明，它语言精确、无二义性，可以用于推理和求精。
Z language is a formal specification which is representative in formal method. Z language is accurate and without different meanings. It could be used to discursion and refinement.
应用推荐