在煤矿采掘生产过程中，放出瓦斯的现象称为矿井瓦斯涌出。