[判断题]分析钢液与铝碳耐火材料界面反应机理时，可采用FactSage^®热力学软件的Reaction和Prodem两个模块。