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