1) derivative file
导数文件
2) exporting
[英][eks'pɔ:t] [美][ɪks'port]
文件导出
1.
Starting from discussing the file export mode, this paper proposes the better and more efficient methods of converting the pro/Engineer file to the AutoCAD file and exporting the pro/ENGINEER file to the Microsoft Word file with high quality.
以文件导出的模式,介绍了将pro/ENGINEER文件转换为AutoCAD文件和输出到MicrosoftWord文件的方法,并举例说明了如何将pro/ENGINEER图档导出,以便在AutoCAD格式中处理或将其在MicrosoftWord文件中显
3) Navigation File
导航文件
5) master document
主导文件
补充资料：导出法则
导出法则
derived rule
导出法则l山幼，目n此;npo”翔口“oe np姗月。]，给定演算中的推演法则的 如果一个推演法则的结论可以由它的取自所考虑的演算中的诸前提推出，则称此推演法则为导出法则.例如在命题演算(pmpeslt10nal calculus)中，由于 AOB，BOC卜A，C成立，所以推演法则 A OB，B OC A OC是命题演算中的一个导出法则.每一个导出法则均是合理法则(so山ld们目e).然而并非所有合理法则皆为一个导出法则.例如在命题演算中代换法则(sul比titu-tion rule)是合理的，但它不是一个导出法则.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条