Research on sound separation and identification of trapped miners based on fastica algorithm | IEEE Conference Publication | IEEE Xplore