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

1.本发明涉及纺织工业互联网技术领域，具体涉及一种服装定制需求可满足性验证的建模方法。


背景技术：

2.在网络化制造以及工业互联网技术背景下，服装制造行业成为消费互联网与工业互联网全面对接的典型业务实践，而网络制造能力是否可以满足人们日益增长的服装定制需求，成为一个必须面对和解决的问题。服装需求进而形成设计，是社会艺术与文化的缩影，它不仅体现了地域文化的特征，同时也反映了社会经济、科技等综合因素，是人们在特定历史环境下的审美观的展现。所以服装需求在多维表达与感性因素的影响下呈现极高的复杂性。
3.当前的服装定制技术，一个方向是由厂商来根据自己的能力将制造原料与产品类型分解为组件模板，由用户进行组合定制，用户的需求受到了厂商能力的限制，这与真正的根据消费者的原始需求进行定制尚有很大的差距；另一个方向是分析用户需求然后通过机器学习等人工智能技术进行现有产品的推荐。这两个方向都未解决当前制造能力是否可满足用户个性化定制需求的问题。这将严重影响网络化制造的效率。


技术实现要素：

4.本发明克服了现有技术的不足，提供一种服装定制需求可满足性验证的建模方法，能建立一个满足性验证模型，对服装定制需求进行满足性的验证。
5.为达到上述目的，本发明采用的技术方案为：一种服装定制需求可满足性验证的建模方法，包括以下步骤；
6.步骤一，将用户个性化需求进行形式化建模；
7.对用户个性化定制服装的要求进行分类描述；描述的内容包括外观属性、面料的材质属性、织造方式属性中的一种或多种；
8.根据服装加工制造流程的先后次序，将需求划分为若干个层次：
9.步骤二，将生产制造能力进行形式化建模；
10.所述生产制造能力包括生产产品所需的原料、人员和设备的一种或多种中的若干个生产要素；
11.步骤三，将服装定制需求形式化为一阶逻辑公式，通过可满足性理论方法判断问题是否可解。
12.本发明一个较佳实施例中，根据服装加工制造流程的先后次序划分的若干个层次包括；
13.款式需求层次；款式需求层次是描述中体现出的视觉特征的需求；
14.物料需求层次；物料需求层次是描述服装尺寸和材料用量的需求；
15.工艺需求层次；工艺需求层次是描述加工过程中具体加工方法的需求。
16.本发明一个较佳实施例中，款式需求包括服装的样式、面料种类、颜色中的一种或多种；物料需求包括每种布料的用量；工艺需求包括加工中布料水洗的特殊处理方法，或/和，后整工序要求。
17.本发明一个较佳实施例中，生产制造能力中的生产要素包括；生产人员要素、生产设备要素、生产物料要素、生产方法要素、生产环境要素中的一种或多种；
18.生产人员要素，即参与生产线生产流程的所有工作人员；
19.生产设备要素，即生产线中的所有机器设备；
20.生产物料要素，即在生产线生产加工过程中消耗的原料、半成品以及最终得到的成品；
21.生产方法要素：即人员在使用机器设备加工物料的工艺、工序。
22.生产环境要素：生产人员、生产设备、生产物料的所处环境和配置。
23.本发明一个较佳实施例中，可满足性理论方法采用的是谓词逻辑理论方法进行判断。
24.本发明一个较佳实施例中，通过建立的用户需求与制造能力的形式化模型，将服装定制需求可满足性的问题转化为谓词公式，结合谓词逻辑理论，建立了通过形式化模型构建的验证方法；
25.谓词公式中，用户个性化需求包括三个层次需求的合集
26.即为表示款式需求层次、表示布料需求层次、表示工艺需求层次。
27.本发明一个较佳实施例中，款式需求是描述用户对服装外观设计的要求；从服装由不同部位组合的角度，服装上衣的款式集合design可以表示为：
28.design＝figure
×
collar
×
cuff
×
sleeve
×
fabric；其中，服装样式design包括多个服装外观设计的元组，多个服装外观设计的元组包括版型figure、领子collar、袖口cuff、袖子sleeve、面料fabric的有限款式集合；款式集合中的元组来自生产商的所有部件，用户可以在给出的款式集合中选择来自生产商的部件组合为服装款式；
29.对于服装款式的需求，用户要求服装款式满足要求的款式需求层次编码为：
[0030][0031]
∨x
figure
＝figure∧x
collar
＝collar∧x
cuff
＝cuff∧x
sleeve
＝sleeve∧x
fabric
＝fabric；
[0032]
或/和，布料需求fabric包括材质material和颜色color；布料需求fabric的函数公式为qty：design
×
fabric
×
size
→
n，其中size是所有服装尺寸集合，库存布料可以满足服装设计中款式集合design所需布料的问题；布料需求层次可以编码为：
[0033][0034]
其中，其中，x是布料集合fabric中的任意一种布料，函数q
design
：design
×
fabric
×
size
→
n用于计算生产对应尺寸的服装款式所需布料数量n；
[0035]
或/和，工艺需求technology是客户在给出需求的同时，也限制了制作服装采用的工艺需求，工艺需求包括生产工艺和制作工序；通过谓词tech：technology
→
{true，false}表示采用的工艺；工艺需求表示为前束范式形式：
[0036]
其中，n是工艺数目，n是任意不大于n的x组成的整数集合，i属于n，l
tech
是谓词tech与其否定形式前束范式形式的公式表示用户对工艺的肯定要求以及否定要求，并且可以表示多种符合需求的不同要求。
[0037]
本发明一个较佳实施例中，生产制造能力包括生产线模型pl的构建，生产线模型pl＝(m，h，e，o，s，p，q)，其中；m是所有物料的集合；h是所有人员的集合；e是所有设备的集合；o是生产工序、工艺的集合；s是所有资源状态的集合；p是物料状态转移函数的集合；q：m
→r
是表示生产线中物料数量的函数；其中r 是正实数集合。
[0038]
具体的，生产线中的物料包含参与工序的所有物料和产出。m∈m是物料的唯一标识，函数sm：m
→
s物料状态的集合，每个物料对应一种物料状态。当两个物料m1与m2处于相同状态，那么在生产流程中可以等价地使用物料m1与m2相互替换。多个在不同的面料实体可能具有相同状态，具有相同状态的产品可以等同的应用在任意场合中。
[0039][0040]
其中，x与y是物料集合m中的一种物料。如果x与y具有相同的状态，那么采用工序o得到的产物也相同。
[0041]
具体的，员工和设备参与生产线的加工流程，负责完成分配的工序。生产线中员工掌握的工序表示为定义在h
×
o上的二元谓词skillh，设备能力表示为定义在e
×
o的二元谓词skille。skillh(h，o)表示员工h掌握工序o，skille(e，o)表示设备e可以用于加工工序o。员工与设备在生产线中具有相似的行为特征，同一员工可以完成不同工序，不同员工可以完成同一道工序，并且同一时刻只能参与一道工序。使用定义在集合h
×
o上的谓词workingh表示员工当前是否正在进行工序o；working(h，o1)∧workingh(h，o2)
→
(o1＝o2)。
[0042]
其中，h是员工集合h中的成员，o1与o2是工序集合0中的两道工序。上述公式中，如果员工h同时参与工序o1与工序o2，n那么o1与o2是同一道工序，即约束员工不能同时参与多道工序。具体的，工序加工物料的过程能看作改变物料状态的过程。在有标记变迁系统中通常使用三元组(s，o，
→
)表示对象的状态变迁，其中o是工序的集d合，
→
：s
×o×
s是有标记变迁关系。关系(s，o，s
′
)∈
→
通常记为：其中，是一个部分函数。对应于生产中对一个物料采用某种工序加工时，只能得到一种目标产物，或者物料没有规定该类型的加工方式。在生产线中，对标记状态变迁系统拓展为pl，使用p表示变迁函数的集合。若干基本的工序组成的工序序列即为一个生产流程，其中地工序连续地将物料转换为另一种状态。使用π：on，n≥1表示工序流程的集合，其中on为n个工序集合o的笛卡尔积，每个生产流程至少包含一道工序。
[0043]
生产线模型的构建；在工业互联网中，生产上具有管理生产线中员工、设备、物料、工艺以及生产环境数据的能力，这些数据通常存放于数据库中。在关系型数据库中的每一个表可以看作关系的集合，在关系型数据库中的每一个表中的元组均符合模式要求，表述了一组事实。
[0044]
本发明一个较佳实施例中，步骤三中的服装定制需求形式化中，包括可满足性验证、资源检查、生产流程的组件；其中，可满足性验证是围绕生产资源满足生产需要以及生产环境满足生产流程配置的需要两个阶段，依次检查当前生产线中客户需求可满足性，任何一个阶段检查失败那么个性化需求就无法满足；资源检查中生产线投入生产之前的首要条件时具备生产所需的资源，缺失任何一部分资源都将导致生产流程的中断；资源检查采用一种基于证明是一阶理论th的语义属性方法，通过找到模型是一个可能为空的辅助理论，其中th是horn理论，单一需求是前束范式的形式；理论th由以下谓词组成：
[0045]
fabric：material
×
weave
×
color
×
qty；
[0046]
design：figure
×
collar
×
cuff
×
sleeve
×
fabric；
[0047]
person：h
×
o；
[0048]
equipment：e
×
o；
[0049]
process：n
×
design
×
o；
[0050]
这些谓词用于描述生产线种的事实，刻画生产线的生产环境；
[0051]
生产流程的组件包括判断产品可以生产的规则；生产流程的组件包括判断产品可以生产的规则；s0是裁片的集合；其中，函数in：o
×s→s*
用于获取工序生产产品时需要的所有物料，公式中的谓词produce表示产品是否能生产，产品可以生产意味着产品是面料裁片，或者具备生产工序并且所有需要的原材料都可以生产，公式中的谓词cut表示物料是否是面料裁片，设定裁片只要满足面料需求就可以生产，将是否可以生产产品s表示为一个问题produce(s)；问题可以得到证明就可以生产，反之不可以生产。
[0052]
本发明一个较佳实施例中，一种服装定制需求可满足性验证系统，包括在计算机中设置有由所述的服装定制需求可满足性验证的建模方法建立的服装定制需求可满足性验证模型。
[0053]
本发明解决了背景技术中存在的缺陷，本发明的有益效果：
[0054]
本发明提供一种服装定制需求可满足性验证的建模方法，采用的是将用户个性化需求与厂商制造能力进行形式化建模的方法。用户需求与制造能力的形式化数学模型，将问题转化为谓词公式，结合谓词逻辑理论，建立了验证方法。通过将用户个性化需求与厂商制造能力匹配，提升厂商制造能力中生产设备的计划性调用，进一步提升生产中的规划合理性、稳定性、经济性。
附图说明
[0055]
下面结合附图和实施例对本发明进一步说明。
[0056]
图1是本发明优选实施例中的建模流程图；
[0057]
图2是本发明优选实施例中西服工序依赖关系示意图；
[0058]
图3是本发明优选实施例中产品的生产流程；
[0059]
图4是本发明优选实施例中不满足的产品的生产流程的局部示意图。
具体实施方式
[0060]
现在结合附图和实施例对本发明作进一步详细的说明，这些附图均为简化的示意图，仅以示意方式说明本发明的基本结构，因此其仅显示与本发明有关的构成。
[0061]
需要说明，若本发明实施例中有涉及方向性指示(诸如上、下、底、顶等)，则该方向性指示仅用于解释在某一特定姿态下各部件之间的相对位置关系、运动情况等，如果该特定姿态发生改变时，则该方向性指示也相应地随之改变。术语“第一”、“第二”仅用于描述目的，而不能理解为指示或暗示相对重要性或者隐含指明所指示的技术特征的数量。由此，限定有“第一”、“第二”的特征可以明示或者隐含地包括一个或者更多个该特征。除非另有明确的规定和限定，术语“设置”、“相连”、“连接”应做广义理解，例如，可以是固定连接，也可以是可拆卸连接，或一体地连接；可以是直接相连，也可以通过中间媒介间接相连，可以是两个元件内部的连通。对于本领域的普通技术人员而言，可以具体情况理解上述术语在本发明中的具体含义。
[0062]
实施例一
[0063]
一种服装定制需求可满足性验证的建模方法，包括以下步骤；
[0064]
步骤一，将用户个性化需求进行形式化建模。
[0065]
对用户个性化定制服装的要求进行分类描述；描述的内容包括外观属性、面料的材质属性、织造方式属性中的一种或多种。根据服装加工制造流程的先后次序，将需求划分为若干个层次。若干个层次包括；款式需求层次、物料需求层次、工艺需求层次、工艺需求层次。具体的，款式需求层次是描述中体现出的视觉特征的需求；款式需求层次包括服装的样式、面料种类、颜色中的一种或多种。物料需求层次是描述服装尺寸和材料用量的需求；物料需求层次包括每种布料的用量。工艺需求层次是描述加工过程中具体加工方法的需求。工艺需求层次包括加工中布料水洗的特殊处理方法，或/和，后整工序要求。
[0066]
步骤二，将生产制造能力进行形式化建模。所述生产制造能力包括生产产品所需的原料、人员和设备的一种或多种中的若干个生产要素。具体的，生产制造能力中的生产要素包括；生产人员要素、生产设备要素、生产物料要素、生产方法要素、生产环境要素中的一种或多种；生产人员要素，即参与生产线生产流程的所有工作人员；生产设备要素，即生产线中的所有机器设备；生产物料要素，即在生产线生产加工过程中消耗的原料、半成品以及最终得到的成品；生产方法要素：即人员在使用机器设备加工物料的工艺、工序；生产环境要素：生产人员、生产设备、生产物料的所处环境和配置。
[0067]
步骤三，将服装定制需求形式化为一阶逻辑公式，通过可满足性理论方法判断问题是否可解。可满足性理论方法采用的是谓词逻辑理论方法进行判断。通过建立的用户需求与制造能力的形式化模型，将服装定制需求可满足性的问题转化为谓词公式，结合谓词逻辑理论，建立了通过形式化模型构建的验证方法。
[0068]
具体的，谓词公式中，用户个性化需求包括三个层次需求的合集即为表示款式需求层次、表示布料需求层次、表示工艺需求层次。款式需求是描述用户对服装外观设计的要求；从服装由不同部位组合的角度，服装上衣的款式集合design可以表示为：
design＝figure
×
collar
×
cuff
×
sleeve
×
fabric；其中，服装样式design包括多个服装外观设计的元组，多个服装外观设计的元组包括版型figure、领子collar、袖口cuff、袖子sleeve、面料fabric的有限款式集合；款式集合中的元组来自生产商的所有部件，用户可以在给出的款式集合中选择来自生产商的部件组合为服装款式。
[0069]
对于服装款式的需求，用户要求服装款式满足要求的款式需求层次编码为：
[0070][0071]
∨x
figurre
＝figure∧x
collar
＝collar∧x
cuff
＝cuff∧x
sleeve
＝sleeve∧x
fabric
＝fabric；
[0072]
布料需求fabric包括材质material和颜色color；布料需求fabric的函数公式为qty：design
×
fabric
×
size
→
n，其中size是所有服装尺寸集合，库存布料可以满足服装设计中款式集合design所需布料的问题；布料需求层次可以编码为：
[0073][0074]
其中，函数q
design
：design
×
fabric
×
size
→
n用于计算生产对应尺寸的服装款式所需布料数量。
[0075]
工艺需求technology是客户在给出需求的同时，也限制了制作服装采用的工艺需求，工艺需求包括生产工艺和制作工序；通过谓词tech：technology
→
{true，false}表示采用的工艺；工艺需求表示为前束范式形式：其中，l
tech
是谓词tech与其否定形式前束范式形式的公式表示用户对工艺的肯定要求以及否定要求，并且可以表示多种符合需求的不同要求。
[0076]
生产制造能力包括生产线模型pl的构建，生产线模型pl＝(m，h，e，o，s，p，q)，其中；m是所有物料的集合；h是所有人员的集合；e是所有设备的集合；o是生产工序、工艺的集合；s是所有资源状态的集合；p是物料状态转移函数的集合；q：m
→r
是表示生产线中物料数量的函数。
[0077]
具体的，生产线中的物料包含参与工序的所有物料和产出。m∈m是物料的唯一标识，函数sm：m
→
s物料状态的集合，每个物料对应一种物料状态。当两个物料m1与m2处于相同状态，那么在生产流程中可以等价地使用物料m1与m2相互替换。多个在不同的面料实体可能具有相同状态，具有相同状态的产品可以等同的应用在任意场合中。
[0078]
具体的，员工和设备参与生产线的加工流程，负责完成分配的工序。生产线中员工掌握的工序表示为定义在h
×
o上的二元谓词skillh，设备能力表示为定义在e
×
o的二元谓词skille。skillh(h，o)表示员工h掌握工序o，skille(e，o)表示设备e可以用于加工工序o。员工与设备在生产线中具有相似的行为特征，同一员工可以完成不同工序，不同员工可以完成同一道工序，并且同一时刻只能参与一道工序。并且使用定义在h
×
o谓词workingh；working(h，o1)∧workingh(h，o2)
→
(o1＝o2)
[0079]
具体的，工序加工物料的过程能看作改变物料状态的过程。在有标记变迁系统中通常使用三元组(s，o，
→
)表示对象的状态变迁，其中o是工序的集d合，
→
：s
×o×
s是有标
记变迁关系。关系(s，o，s
′
)∈
→
通常记为：其中，是一个部分函数。对应于生产中对一个物料采用某种工序加工时，只能得到一种目标产物，或者物料没有规定该类型的加工方式。在生产线中，对标记状态变迁系统拓展为pl，使用p表示变迁函数的集合。若干基本的工序组成的工序序列即为一个生产流程，其中地工序连续地将物料转换为另一种状态。使用π：on，n≥1表示工序流程的集合，其中on为n个工序集合o的笛卡尔积，每个生产流程至少包含一道工序。
[0080]
生产线模型的构建；在工业互联网中，生产上具有管理生产线中员工、设备、物料、工艺以及生产环境数据的能力，这些数据通常存放于数据库中。在关系型数据库中的每一个表可以看作关系的集合，在关系型数据库中的每一个表中的元组均符合模式要求，表述了一组事实。
[0081]
步骤三中的服装定制需求形式化中，包括可满足性验证、资源检查、生产流程的组件；其中，可满足性验证是围绕生产资源满足生产需要以及生产环境满足生产流程配置的需要两个阶段，依次检查当前生产线中客户需求可满足性，任何一个阶段检查失败那么个性化需求就无法满足；资源检查中生产线投入生产之前的首要条件时具备生产所需的资源，缺失任何一部分资源都将导致生产流程的中断；资源检查采用一种基于证明是一阶理论th的语义属性方法，通过找到模型是一个可能为空的辅助理论，其中th是horn理论，单一需求是前束范式的形式；理论th由以下谓词组成：
[0082]
fabric：material
×
weave
×
color
×
qty；
[0083]
design：figure
×
collar
×
cuff
×
sleeve
×
fabric；
[0084]
person：h
×
o；
[0085]
equipment：e
×
o；
[0086]
process：n
×
design
×
o；
[0087]
这些谓词用于描述生产线种的事实，刻画生产线的生产环境；
[0088]
生产流程的组件包括判断产品可以生产的规则；生产流程的组件包括判断产品可以生产的规则；s0是裁片的集合；其中，函数in：o
×s→s*
用于获取工序生产产品时需要的所有物料，公式中的谓词produce表示产品是否能生产，产品可以生产意味着产品是面料裁片，或者具备生产工序并且所有需要的原材料都可以生产，公式中的谓词cut表示物料是否是面料裁片，设定裁片只要满足面料需求就可以生产，将是否可以生产产品s表示为一个问题produce(s)；问题可以得到证明就可以生产，反之不可以生产。
[0089]
更具体的，在工业互联网中，生产上具有管理生产线中员工、设备、物料、工艺以及生产环境数据的能力，这些数据通常存放于数据库中。在关系型数据库中的每一个表可以看作关系的集合，所有表中的元组均符合模式要求，表述了一组事实。以服装生产线中最重要的物料，即面料为例，数据存放在下方表1中，其中包含关系fabric，它是material，weave，color和qty上的一个关系，其中包含6个四元组，元组中每一个元素来自对应的集
合。
[0090]
表1面料数据表
[0091][0092][0093]
其中，material是布料材质的集合，weave是编制方式的集合，color是布料颜色的集合，是布料存量的集合。
[0094]
描述了由如下事实组成的一阶理论fabric表2：
[0095]
fabric(m1，w1，c1，80)
ꢀꢀꢀꢀꢀꢀꢀ
fabric(m1，w1，c2，20)
[0096]
fabric(m2，w1，c1，50)
ꢀꢀꢀꢀꢀ
fabric(m2，w1，c3，90)
[0097]
fabric(m3，w1，c2，20)
ꢀꢀꢀꢀꢀꢀꢀ
fabric(m4，w1，c2，30)
[0098]
其中fabric是一个material
×
weave
×
color
×
qty上的四元谓词。物料关注加工流程中的状态，面料关注本身的属性，客户可以在需求中指定面料的属性，但是无法直接指定面料用量、剪裁等。面料与物料之间可以通过函数建立联系。类似地，生产线中员工、设备等元素也可以表示为一阶理论。
[0099]
工序之间通过输入与输出的物料产生依赖关系，但是不同加工流程中的工序仍然可以按照任意顺序执行。如图2所示，合前侧缝工序完成后才能执行做口袋工序，合前侧缝工序可以与合后侧缝工序同时进行，在合侧缝前需要完成合前侧缝与合后侧缝两道工序。生产商通过安排生产线中的资源与和工序，得到一条生产满足客户需求的生产流程，那么生产线可以满足客户需求。π6表示完成中生产流程所需的前六道工序，其中π
′6＝(o1，o2，o3，o4，o5，o6)与π
″6＝(o4，o1，o5，o2，o3，o6)均为符合要求的生产流程，图2中还有其他符合要求的生产流程π6。
[0100]
可满足性验证，围绕生产资源满足生产需要以及生产环境满足生产流程配置的需要两个阶段，依次检查当前生产线中客户需求可满足性，任何一个阶段检查失败那么个性化需求就无法满足。
[0101]
资源检查；数学方法，数学工具，突出客户需求到谓词公式。生产线投入生产之前的首要条件时具备生产所需的资源，缺失任何一部分资源都将导致生产流程在某一时刻中断。将检查个性化定制需求对资源的需求，包括物料，其中物料考虑由面料加工而成的部分，因此物料的检查即为对面料的检查，针对生产线的物料库存量。对于该部分的验证，采用基于证明是一阶理论th的语义属性方法，通过找到一个模型是一个可能为空的辅助理论，其中th是一种horn理论，单一需求是前束范式的形式。在这里，理论th由以下谓词组成：
[0102]
fabric：material
×
weave
×
color
×
qty；
[0103]
design：figure
×
collar
×
cuff
×
sleeve
×
fabric；
[0104]
person：h
×
o；
[0105]
equipment：e
×
o；
[0106]
process：n
×
design
×
o；
[0107]
这些谓词用于描述生产线种的事实，刻画生产线的生产环境。面料数据已经在表1中描述，并给出了相应的谓词描述。类似地，表3、表4、表5中对服装样式以及工艺的事实描述也可以使用谓词表示。其中o0表示空闲工序，即员工和设备没有参与任何工序。
[0108]
表3服装版型表
[0109][0110]
表4人员表
[0111][0112]
表5设备表
[0113][0114]
中设计到多种理论，如表1、表3、表4与表5中所示。根据上述方法，以面料数据相关的一阶理论th
fabric
为例：
[0115]
th
fabric
＝{fabric(m1，w1，c1，80)，
[0116]
fabric(m1，w1，c2，20)，
[0117]
fabric(m2，w1，c1，50)，
[0118]
fabric(m2，w1，c3，90)，
[0119]
fabric(m3，w1，c2，20)，
[0120]
fabric(m4，w2，c2，30)}；
[0121]
对中与面料理论th
fabric
相关的断言(claim)进行验证。为了更直观地描述面料的需求，关注布料本身的属性，将对布料需求地断言改写为以下形式：
[0122]
即为材质为m，编制方式为w，颜色为c的面料数量至少为q，那么根据中的推论，那么如下：包含否定文字(negative literal)以及全称量词量化的集合qty，因此，
[0123]
其中material＝{m1，m2，m3，m4}∪{m}，weave＝{w1，w2，w3}∪{w}，color＝{c1，c2，c3}∪{c}，qty＝{15，20，30，80，90}。最终得到款式d中关于布料需求的一个断言
[0124]
更进一步的，例如，对于中关于面料的部分，我们设定需要30单位面料，通常面料的用量可以通过。
[0125]
那么中关于布料的断言可以表示为
[0126]
存在布料(m2，w2，c1，20)满足要求，断言为真。
[0127]
中关于布料的断言可以表示为
[0128]
由于面料(m1，w1，c1，20)的数量少于30，断言为假。
[0129]
与分别使用相同的方法处理，需求单元的可满足性表示为
[0130]
生产资源是生产的先决条件，完成生产还要求生产车间具备将服装从物料加工称为最终产品的生产工艺。这要求生产车间能够构建一条完整的生产流程，该流程中每一道工序需要的物料均能由生产车间提供并且得到产出给生产车间，然后经过有限多工序加工之后得到目标产品。如果存在生产流程，其中的工序均在生产车间掌握的范围内。将采用从目标产品到生产流程的方法判断流程是否存在。进行工序检查需要明确以下几点：什么是工序；产品在什么情况下可以生产；查询产品是否可以生产的问题。工序的检查我们通过如下规则进行判断，首先是产品可以生产的规则：：s0是裁片的集合。
[0131]
其中，函数in：o
×s→s*
用于获取工序生产某种产品时需要的所有物料，谓词produce表示产品是否能生产，如果产品可以生产意味着产品是面料裁片，或者具备生产工序并且所有需要的原材料都可以生产，谓词cut表示物料是否是面料裁片，设定裁片只要满足面料需求就可以生产。此时将是否可以生产产品s表示为一个问题：produce(s)。问题可以得到证明那么就可以生产，反之不可以生产。求解这种类型问题可以借助理论求解器完成，如z3 slover。
[0132]
实施例二
[0133]
在实施例一的基础上，产品的生产流程见下方图3，其中灰色圆形表示面料裁片，白色圆形表示中间产品，深色圆形表示最终产品，圆角矩形表示工序，图3中展示了一个可以生产目标产品s
29
的工序流程，最终produce(s
29
)判断结果为真。图4是图3的一部分，省略了物料s
25
之前的部分，图4中描述了两个生产车间不具备生产条件的流程，分别使用不同的
虚线表示。工序19可以生产物料s
16
，但是所需的输入物料无法取得，导致工序19无法执行；除了工序15外，工序18也可以生产物料s
15
，但是工厂中不具备该工序，因此也不可行。
[0134]
实施例三
[0135]
在实施例一或实施例二的基础上，一种服装定制需求可满足性验证系统，包括在计算机中设置有由所述的服装定制需求可满足性验证的建模方法建立的服装定制需求可满足性验证模型。
[0136]
以上依据本发明的理想实施例为启示，通过上述的说明内容，相关人员完全可以在不偏离本项发明技术思想的范围内，进行多样的变更以及修改。本项发明的技术性范围并不局限于说明书上的内容，必须要根据权利要求范围来确定技术性范围。