运筹学设备更新问题