在约翰写完摘要“为进一步研究BGL碎煤熔渣气化技术的气化性能,探寻BGL气化炉的最佳操作参数,采用AspenPlus工业系统流程模拟软件,遵循Gibbs自由能最小化方法以及反应平衡模型建立BGL气化炉模型;通过对3种不同煤种的气化模拟,对模型进行检验,结果表明:该模型与BGL气化炉的实际运行的结果吻合程度比较高,可应用于一些反应机理复杂的气化工艺的化学和热力学平衡计算,并研究了不同操作参数对BGL气化炉气化性能的影响.以安徽淮北烟煤为例,模拟不同氧气预热温度、氧煤比及汽煤比对出口有效产气率的影响.模拟结果表明:出口产气率随着氧煤比与氧气预热温度的升高而增加,而氧煤比增加到一个特定值时则下降,在氧煤比(质量比)为0.36时,有效产气率最高;产气率随汽煤比升高而下降.”之后，他写了这些关键字“Aspen, 数值模拟, Gibbs自由能”。你认为他选择的关键词是正确的吗？回答 是的 或 不。
不