PDS计算理论