任务四 存储论的软件求解