一种基于可满足性求解的工程产品智能设计方法和装置

摘要

本发明公开了一种基于可满足性求解的工程产品智能设计方法，包括：对设计指标进行参数化表征，作为命题变量；采用神经网络模型构建缺乏显式公式表征的命题变量的计算公式，作为命题公式；获取命题变量的取值范围，并将命题变量的取值范围与命题公式结合形成命题子句；对命题子句进行合取形成一个全参数覆盖的工程产品参数化设计模型；对工程产品参数化设计模型进行可满足性求解，若能够找到可满足的解，则返回结果为真，并给出至少一组设计参数；反之，返回结果为假，并给出任意一个不满足的命题变量。本发明方法和装置降低了现有工程产品设计过程中对设计人员的经验要求，且提高了工程产品设计过程中迭代设计效率，具有很好的现实意义。