Theory and Method of Time-varying Computational Experiments for the Fully Mechanized Mining Process in an Artificial System Environment | IEEE Journals & Magazine | IEEE Xplore