国家科技重大项目:煤层CO2注入与多元气体CH4置换数值模拟