Water inrush is one of the major mining disasters that may lead to numerous casualties. The development of information techniques makes it possible to monitor the occurrence and evolution of water ...