Research on Explosion-Proof and Sealing Performance of Underground UAV in Coal Mine.
Xinyu LiuQi WangMinghui ZhaoPublished in: CRC (2021)
Keyphrases
- practical application
- path planning
- unmanned aerial vehicles
- open pit
- vision based navigation
- monitoring system
- real time
- theorem prover
- geometry theorem proving
- wireless communication
- control algorithm
- mathematical proofs
- ground penetrating radar
- proof search
- search algorithm
- video sequences
- image processing
- learning algorithm