凝石 凝石一种建筑材料由清华大学和中国矿业大学教授孙恒虎发明