mining machine designing of industrial agitators