装有刀库和自动换刀装置的数控机床就是（）。