矿物工程学家,中科院、工程院院士王淀佐逝世