20、DEEP-SaM模型的正式化

DEEP-SaM模型的正式化

1. 引言

在现代数据中心中，能源成本已经成为一个显著的运营成本。为了应对这一挑战，DEEP-SaM（能效配置策略）模型被提出，旨在通过最大化社会福利来清算计算任务市场，同时考虑能源成本和客户满意度。本文将详细介绍DEEP-SaM模型的数学形式化，包括模型中的变量、目标函数和约束条件。

2. 模型设置

DEEP-SaM模型基于市场机制，其中代理人提交时间敏感的计算任务给计算基础设施，如网格、云或数据中心。节点提供计算资源，并指定他们的机器何时可用，以及一个自动化操作员决定分配。具体设置如下：

• 计算能力 ：计算能力是在离线配置环境中交易的中心稀缺资源。
• 市场参与者 ：市场中有两个参与方：请求者（希望获得计算资源以最大化私人效用函数）和提供者（拍卖他们的闲置资源以最大化利润）。
• 任务分配 ：任务要么在请求的阶段被分配，要么根本不被分配，不允许任务的拉伸或压缩。同样，任务要么按照请求的阶段执行，要么根本不执行，不会因等待时间而改变客户满意度。

3. 决策变量

为了构建DEEP-SaM模型，需要定义以下决策变量：

• ( x_{jnt} ) ：二进制决策变量，用于确定任务 ( j ) 是否被分配到节点 ( n ) 在时间槽 ( t )。
• ( y_{nt} ) ：二进制决策变量，