基于混合整数线性规划的解原理兼容性优化选择

《Proceedings of the Design Society》：Compatibility-optimized selection of solution principles using mixed-integer linear programming

　　

概念设计方法极少同时对需求匹配度与跨原理兼容性进行优化，导致早期连贯方案生成存在空白。本研究引入一种混合整数线性规划（Mixed-Integer Linear Programming, MILP）公式，为每个功能选择一个解原理（Solution Principle），同时联合最小化局部需求失配与系统级不兼容性。通过小规模案例研究，研究人员展示了权衡参数如何控制功能质量与集成稳健性之间的平衡。结果表明，该方法能够实现透明的、兼容性感知的概念综合。

**研究背景与问题**

在工程技术产品开发的概念设计阶段，核心任务在于建立"产品必须实现什么"与"如何实现"之间的关键衔接。该过程始于明确的问题定义和需求清单编制，其中汇总了设计任务的所有基本规格、约束条件与目标功能。根据德国工程师协会标准VDI 2221-1（2019），功能定义了系统输入、内部过程与输出之间的基本转换关系，而用简洁的动名词形式表达这些功能有助于避免过早陷入具体解决方案，从而促进创新思维。基于功能模型，设计人员识别并组合物理效应以形成解原理。解原理被定义为确定技术功能如何实现的基本理念，它将适当的物理效应与所需的几何和材料特性相结合以实现期望的转换。

形态学方法（Morphological Approach）是工程设计中系统探索完整解空间的重要方法，通过组合每个定义性功能的替代手段来实现。然而，随着功能数量和替代方案数量的增加，可能的配置数量呈指数增长。Motte和Bj?rnemo（2013）的研究表明，即使中等规模的形态学矩阵在手动工程设计背景下也会迅速变得难以管理。常见的启发式方法如消除不合适的替代方案或应用兼容性矩阵仅能提供有限的缩减。设计人员必须在考虑解原理之间不兼容性的同时，策略性地导航大型离散设计空间。

近年来，计算概念设计领域取得了显著进展。Martinsson Bonde等人（2025）提出了一种计算方法，将形态学矩阵表示为图，并应用最短路径算法来识别最优配置，同时考虑不兼容性和灵活性因素。Rosenthal等人（2025）将解原理选择形式化为搜索问题，使用A*算法识别覆盖功能结构的最小解原理集合。Haddad和Seibel（2025）展示了如何结合大型语言模型（Large Language Model, LLM）与蒙特卡洛树搜索（Monte Carlo Tree Search）自动生成功能分解，从而从文本描述中自动推导结构化功能网络。

然而，现有方法或侧重于穷举组合探索，或采用启发式缩减策略、基于搜索的最小化方法或路径寻找算法，尚未看到一个统一的优化模型能够同时考虑解原理在需求层面的适合度以及跨功能兼容性的量化评估，且在严格的每功能一个解原则配置结构中实现。这一空白正是本研究旨在填补的方向。

**研究内容与目标**

本研究将解原理选择重新表述为混合整数线性规划问题。给定功能分解后，每个功能关联一组候选解原理和一组需求。优化目标是在每个功能恰好选择一个解原理的约束下，使局部需求不兼容性和跨功能不兼容性联合最小化。与启发式或路径寻找方法不同，所提公式在透明的不兼容性模型下提供全局最优配置。

本研究的三方面贡献包括：第一，建立一个数学MILP公式，将需求兼容性与跨原理交互集成到单一优化框架中；第二，基于求解器的实现保证全局最优性，并产生可解释的设计分析决策变量；第三，通过概念验证案例研究，说明可调权衡参数如何系统探索早期概念设计中局部性能与系统级连贯性之间的平衡。

**主要技术方法**

研究人员采用的技术路线核心为混合整数线性规划建模与求解。具体而言，基于功能分解结构建立优化模型，其中每个功能对应有限候选解原理集和局部需求集。定义两类二元决策变量：选择变量表示特定解原理是否被选中，辅助变量用于捕获不同功能解原理对之间的成对交互关系。目标函数构建为局部需求不兼容性与跨功能不兼容性加权之和，通过权衡参数β∈[0,1]控制两者的相对重要性。约束条件确保每个功能恰好选择一个解原理，并通过线性化约束处理成对交互。模型采用标准优化求解器进行求解，输出包含每个功能所选解原理、目标函数值及其分解。

案例研究采用简化的华夫饼机系统作为验证对象，包含四个功能模块：存储电能、存储用户设置、存储面糊、以及引导电能至加热元件。每个功能定义两个备选解原理，形成16种可能的配置组合。研究人员为每个功能-解原理-需求组合定义了标准化的局部不兼容性评分，以及功能间解原理对的跨功能不兼容性值。通过系统性地在β∈{0.0, 0.1, ..., 1.0}范围内求解优化问题，记录全局最优配置及其目标函数分解，以分析架构随兼容性重视程度增加的演变规律。

**研究结果**

**参数β下的最优配置分析**

随着权衡参数β从0增加至1，研究识别出三个明显的架构区域。当β≤0.5时，优化器选择电池/闪存/储罐/印刷电路板走线的配置，该配置局部不兼容性最低（2.00），但跨功能冲突较高（2.13）。当0.6≤β≤0.8时，模型转变为电池/电可擦可编程只读存储器/储罐/印刷电路板走线配置，接受局部失配适度增加至2.34，以换取成对不兼容性降低至1.52。当β≥0.9时，配置进一步转变为电池/电可擦可编程只读存储器/容器/印刷电路板走线，将兼容性提升至1.11，代价是局部不兼容性上升至2.70。这些过渡清晰地展示了显式兼容性建模如何改变概念架构，以及权衡参数如何作为早期设计中的导向机制。

**求解器运行时间特性**

研究人员对10个功能的扩展案例进行了求解器运行时间实验，结果显示对每功能候选解原理数量具有高度敏感性。当每个功能考虑3个解原理时，求解时间维持在约3—5秒范围内，且基本不受需求数量影响。将备选方案增加至5个时，运行时间显著上升，观测值在17—58秒之间。当每个功能达到10个解原理时，计算努力急剧增加，测试案例中达到数百至超过2000秒。这些结果反映了配置空间随∏|P_f|的指数增长，确认了基于兼容性配置问题的组合特性。

**讨论**

研究表明，即使仅4个功能、每功能2个备选解原理的小型案例，其配置空间已包含16种可行组合，展现出局部需求满足与跨功能兼容性之间的竞争性权衡。通过MILP框架，这种权衡得以量化并系统探索，避免了手动评估的主观性和不完全性。

研究进一步揭示了概念架构的"相变"现象：小的β调整即可触发配置方案的根本性转变，而非渐进式改变。这一发现对设计管理具有启示意义——在项目的早期阶段，兼容性优先级的小幅变化可能导致截然不同的技术路线选择。

关于可扩展性，虽然小规模案例保持可处理性，但更大实例迅速变得计算要求高，这强调了使用结构化MILP求解器而非穷举枚举的必要性，也印证了问题NP-hard特性的理论预期。

**研究结论**

本研究提出了一种基于混合整数线性规划的方法，通过自动选择功能兼容的解原理来支持概念设计。利用结构化的华夫饼机案例研究，研究人员展示了该模型如何在统一优化框架内同时考虑局部需求满足和跨功能兼容性。通过显式量化局部和成对不兼容性贡献，该方法提供了透明且可解释的配置决策，可追溯至底层兼容性数据。

权衡参数β∈[0,1]的系统评估揭示了三个不同的架构区域，说明兼容性建模如何定性地改变所选概念架构。结果表明，即使系统兼容性的相对重要性发生微小变化，也可能引发配置转变。因此，权衡参数β作为战略性设计杠杆，使得在需求驱动与集成驱动的概念解决方案之间进行可控探索成为可能。

除架构转变外，可扩展性实验确认了配置空间随每功能解原理数量增加而指数增长。较大实例的求解器运行时间显著增加，反映了基于兼容性配置问题的NP-hard特性。这些发现强调了在应对实际设计空间时采用结构化优化方法而非穷举枚举的必要性。

所呈现的案例研究作为概念验证。该方法的有效性依赖于不兼容性数据的可用性和质量，包括需求权重和跨功能交互指标，这在工业环境中可能需要结构化的专家征询。此外，尽管华夫饼机示例能够清晰解释模型行为，更大的工业系统将引入额外的建模和计算挑战。

未来研究应通过分解策略、启发式方法或混合优化方法解决可扩展性问题。纳入不确定性或基于学习的不兼容性值估计可进一步增强现实性。另一个有前景的方向是不确定性建模——实际中不兼容性评估很少是确定性的，随机公式或模糊表示可以在保持优化模型结构的同时捕获兼容性评估中的不确定性。此外，与基于目录的概念设计系统和自动化功能-结构生成方法更紧密的集成，将有助于将该方法嵌入实际工程工作流。

综上所述，所提出的基于MILP的框架为兼容性感知的概念配置提供了一种结构化且可解释的决策支持机制。它促进了形式化优化方法向早期工程设计的整合，提供了一种补充性工具，增强而非替代人类设计推理。