混合煤气是焦炉煤气与高炉煤气的产物。