【喵呜刷题小喵解析】:高性能混凝土是一种具有优良耐久性和力学性能的混凝土,其中矿物掺合物是其中的重要组成部分。矿物掺合物是指在混凝土中添加的矿物材料,用于改善混凝土的性能。在给出的选项中,磨细矿渣、粉煤灰、硅灰和磨细天然沸石都是常见的矿物掺合物,它们可以通过填充混凝土中的空隙、改善混凝土的工作性能、提高混凝土的强度和耐久性等方式,提升混凝土的性能。因此,正确答案是ABDE。选项C“石灰”不是高性能混凝土常用的矿物掺合物。