Applications of Multi-source Remote Sensing Information to Urban Environment Monitoring in Mining Industrial Cities | IEEE Conference Publication | IEEE Xplore