An Infrared Image Enhancement Algorithm for Gas Leak Detecting Based on Gaussian Filtering and Adaptive Histogram Segmentation.