4、企业架构在规划与自动化中的应用及领域导向的 KBQA 系统探索

企业架构在规划与自动化中的应用及领域导向的 KBQA 系统探索

企业架构规划实验

在企业生产规划中，数学模型的应用至关重要。由于模型中的方程和决策变量数量庞大，手动求解既耗时又易出错，因此推荐使用软件工具。这里采用了一种将约束逻辑编程和数学编程相结合的混合方法，借助 ECLiPSe CLP 生成模型，再用 Gurobi 求解器求解。

实验在特定配置的工作站上进行，包括 Intel(R) Core (TM) i7 - 10700K CPU @ 3.80 GHz 3.79 GHz 处理器、16 GB RAM、Windows 11 操作系统和 x64 处理器。实验考虑了多个表格中的数据，计算实验的持续时间在 2 到 5 秒之间。

实验数据如下表所示：
|描述|值|
| ---- | ---- |
|规划周期 - T|6|
|产品数量 - P|7|
|机器数量 - R|3|
|总存储容量 - vm|1000|
|最大翻新次数 - hm|1|
|仓库中产品的最大库存 - vp|p1… p2 为 10|
|产品存储体积 - zp|p1, p2 为 2；p3…p7 为 3|
|产品初始库存 - sp|p1…p7 为 1|
|产品每时间单位存储成本 - gp|p1…p7 为 0.5|
|机器是否有计划大修？– hr|r1… r3 为 1|
|机器处理产品 p 的时间 bp,r∀p ∈P, t ∈T|有不同取值，如 bp3,r1, bp4,r1 等为 0；bp1,r2 为 1 等|
|机器在周期内的生产能力 or,t∀r ∈R, t ∈T|r1…r3 为 10