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