煤经热解出挥发分之后，剩下的不挥发物称为焦渣，焦渣减去灰分后称为（)。