标签:覆盖概率计算