第20章 五 概率分配函数与正确性维持系统