Proceedings of GeoShanghai 2018 International Conference : rock mechanics and rock engineering /: rock mechanics and rock engineering. (2018)