煤海“伏虎”——记中国工程院院士袁亮 | AMiner