rock duster

rock duster

[′räk ‚dəs·tər]
(mining engineering)
A machine that distributes rock dust over the interior surfaces of a coal mine by means of air to prevent coal dust explosions. Also known as rock dust distributor.
McGraw-Hill Dictionary of Scientific & Technical Terms, 6E, Copyright © 2003 by The McGraw-Hill Companies, Inc.