近年来,关于工业互联网的研究不断推进发展,各个行业都在探索合适的解决方案,工业互联网平台应运而生。工业互联网平台提供了各种基础设施,建立了客户与生产商直接交流需求的媒介,同时促进了产品个性化定制的发展。其中,个性化定制具有小批量、样式多样的特点,种类繁多的产品需求以及较短的生产周期使生产商难以准确判断各个订单的生产要求,进而接受不合理的订单,导致订单无法完成的局面。文中针对客户提出需求判断在生产线中需求是否能得到满足的问题,提出了使用形式化语言建模需求与生产线,然后转换为可满足性问题求解的方法。首先提出一种使用逻辑公式描述生产线加工能力的生产线模型,其中包含了用于表示资源的生产线中人员、设备、物料、工艺以及环境五个重要要素。表示工艺流程时采用了状态转移系统,状态转移系统上的转移函数记录了工序在生产流程中对物料的作用,允许满足转移条件的工序执行并改变系统状态。然后依据对个性化定制产品了解的程度,将个性化定制需求的深度分为样式需求、物料需求与工艺需求三个层次。用户需求中每项要求均能对应域三个层次之一,不同需求之间还可能冲突与依赖。文中通过逻辑公式表示需求和物料、工序的关联,并以此为基础构建客户个性化定制需求的逻辑公式形式描述。最后根据数据库中描述生产线要素的谓词构建一个一阶理论,通过检查需求公式是否是该理论的语义属性判断需求在某个生产线的可满足性。检查过程分为资源检查与流程检查两个阶段。资源检查阶段验证生产所需的各种资源的种类、数目是否备齐,并侧重于物料和工序。流程检查阶段验证生产线能否构建满足工艺要求的生产流程,通过构建维护系统处于合法状态的公式和物料在工序作用上的转移关系,检查系统总是满足上述要求并且到达最终目标状态的路径是否存在。最终将流程检查转换为一个可满足性问题,借助一阶理论和求解器解决。并以服装个性化定制为例,从个性化定制需求与服装生产线的形式化描述开始阐述,并说明如何使用文中提出的个性化需求可满足性检查方法。该方法可以指导生产商合理接受订单和安排生产活动,也可以用于帮助客户寻找可以生产目标产品的生产商,协助生产商与客户的匹配关系,提升行业的整体生产能力。