джерела газовиділення в гірничі виробки
Источники газовыделения в горные выработки — sources gas emission, sources gas evolution — Gasentwicklungsquellenin die Grubenbaue, Gasausscheidungsquellen in die Grubenbaue — гірські породи (кам'яне вугілля ), що виділяють газ у підземні виробки (свердловини). На вугільних шахтах є такі Д.г.г.в.: вугільні пласти що розробляються; суміжні газоносні пласти і пропластки, які не розробляються, або виймаються з відставанням; вмісні породи. Основними джерелами є вугільні пласти. В умовах рудників основні джерела — вміщуючі тріщинуваті породи, рідше – корисна копалина.
Джерело:
Гірничий енциклопедичний словник
на Slovnyk.me