24、模型驱动的业务转换与特征选择混合方法

模型驱动的业务转换与特征选择混合方法

1. PIM 到 PSM 转换在 TSP 中的应用

在将问题独立模型（PIM）转换为平台特定模型（PSM）时，需要完成两个关键步骤：一是声明相关数据，包括参数集和决策变量集；二是定义约束条件和目标函数。

以旅行商问题（TSP）为例，图 4 展示了这一转换工作的两端，左侧是作为输入模型的基于图的运筹学模型（GORM），右侧是作为输出的解决方案导向数学模型（SM）。此示例涉及一个大都市地区的四个城市，目标函数是最小化旅行距离。

由于 GORM 需符合基于图的运筹学元模型（GORMM），而 SM 必须符合解决方案导向数学元模型（SMM）。接下来，我们将详细介绍 SMM 的相关概念。

2. 解决方案导向数学元模型（SMM）的规范

SMM 的设计受相关研究启发，主要包含两个部分：数据声明视图和公式构建视图。

2.1 数据声明视图

数据声明视图展示了数据与其在 OPL 中的类型之间的关系，相关概念如下表所示：
| 概念 | 描述 |
| — | — |
| Data Declaration | 表示数据与 OPL 中数据类型的关系，属性包括名称（用于引用待声明的数据）、类型（OPL 中的数据类型）、isDecisionVar（布尔值，指示数据是否为决策变量）、indexRep（枚举类型，包括标量、二元组或三元组的索引声明形式） |
| AbstractType | 是 OPL 中数据类型（标量、向量或混合结构）的通用描述符，其子类可通过关键字实现派生 |

2.2 公式构建视图

公式构建