二氧化硅与碳反应生成碳化硅的方程式