一种服装定制需求可满足性验证的建模方法

摘要

本发明涉及一种服装定制需求可满足性验证的建模方法，包括以下步骤；步骤一，将用户个性化需求进行形式化建模；对用户个性化定制服装的要求进行分类描述；根据服装加工制造流程的先后次序，将需求划分为若干个层次：步骤二，将生产制造能力进行形式化建模；生产制造能力包括生产产品所需的原料、人员和设备的一种或多种中的若干个生产要素；步骤三，将服装定制需求形式化为一阶逻辑公式，通过可满足性理论方法判断问题是否可解。本发明提供了一种服装定制需求可满足性验证的建模方法，能建立一个满足性验证模型，对服装定制需求进行满足性的验证。