1. 采矿和冶金的合称。