Gravar-mail: Design of a Mine-used Air Speed Sensor Based on Pitot Tube