矿尘是指矿井在生产过程中所产生的直径小于（ ）的煤、岩颗粒。