1) automatic calculation of part blank
毛坯的自动推算
2) blank calculation
毛坯计算
3) Blank nverse method
毛坯反算
4) calculating blank graph
计算毛坯图
1.
The whole process of realization of CAD system of axial forging supported by general AutoCAD and 3D solid modeling has been introduced, including 3DSM of forging, plotting of calculating blank graph, blanking step selection, die cavities design and arrangement, determination of die block size and final design of 3DSM of die and planar assembly drawing.
其中包括锻件三维实体造型、计算毛坯图绘制、制坯工步选择、型槽设计、型槽布置和模块尺寸确定、锻模三维实体造型和二维总装图生成。
6) automated reasoning algorithm
自动推理算法
1.
Automated Reasoning Algorithm Based on Sub-regular Generalized literals of Lattice-valued Propositional Logic L_(2n+1)P(X)
格值命题逻辑系统L_(2n+1)P(X)中基于半正则广义文字的自动推理算法
2.
Based on the magnifying or reducing resolution principle,an automated reasoning algorithm is given which can be used to decide if a clause set S is M-satisfiable,where M is an intermediate element of L9,and its soundness and completeness are proved.
给出了格值命题逻辑系统L9P(X)上的放缩原理和放缩归结原理,基于放缩归结原理,给出了一种判断L9P(X)上子句集S为M-可满足的自动推理算法(这里M为L9上的中界元),并证明了其可靠性和完备性。
补充资料：后勤指挥自动化系统(见后勤指挥自动化)
后勤指挥自动化系统(见后勤指挥自动化)
automated system of logistic command
houqin zhihui zidonghua xitong后勤指挥自动化系统(automated、ys-tem of logistie eommand)见后勤指挥自动化。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条