概率综合