机械能衡算的理论基础是