Detector de gas de minas, instrumento de medición de gases químicos petroquímicos, detección de dióxido de carbono