【喵呜刷题小喵解析】:高性能混凝土矿物掺合料通常指的是能够改善混凝土性能、减少水泥用量、提高耐久性的矿物材料。磨细矿渣、粉煤灰、磨细天然沸石和硅灰都是常见的高性能混凝土矿物掺合料。石灰一般不是作为高性能混凝土的矿物掺合料使用,因为它主要作为碱性材料参与混凝土中的化学反应,而不是作为掺合料使用。因此,正确选项为ABCD。