数控线切割机床是数控（）的简称，是电火花成形加工基础上发展起来的。