戴维宁定理的理论计算