用于进行检查的方法、设备和计算机程序产品技术

用于进行检查的方法、设备和计算机程序产品在按照本发明专利技术的用于检查技术过程是否能借助于技术系统来实现和/或如何借助于技术系统来实现（所述技术系统具有两个或更多个单元，所述两个或更多个单元各具有对于该技术过程来说可能相关的技术能力）的方法中，使用至少一个本体，而且借助于该至少一个本体来形成约束满足问题，该本体描述该技术系统以及该技术过程。在按照本发明专利技术的方法中，搜索并且优选地输出约束满足问题的解。

Methods, equipment and computer program products for inspection

【技术实现步骤摘要】
【国外来华专利技术】用于进行检查的方法、设备和计算机程序产品
本专利技术涉及一种用于检查技术过程是否能借助于技术系统来实现的方法以及一种设备和一种计算机程序产品。
技术介绍
在“工业4.0”技术发展的过程中，越来越多使用技术系统、尤其是信息物理制造系统，所述技术系统具有模块化的并且自组织地进行工作的单元、比如信息物理制造单元、如“智能机器（SmartMachines）”，这些模块化的并且自己组织起来进行工作的单元对新要求动态地做出反应，其方式是这些单元自己以新的范式嵌入到技术过程、比如制造过程中。基于预先给定的技术过程、例如对某个技术产品的制造，制造系统可以由这种单元自组织地组成，而为此并不需要中央协调。在该技术发展的背景下，通常提出如下任务：检查是否能借助于当前配置的具有多个单元的技术系统来实现所希望的技术过程。这种技术过程尤其是对产品的制造。例如，对于借助于给定的信息物理制造系统来制造产品来说重要的是：该信息物理制造系统是否提供对于制造该产品来说所需的制造能力。还相关的是：是否能借助于信息物理系统的拓扑以正确的顺序来使用所有制造步骤。在此，还必须能满足产品的零件清单和产品的工作计划。还必须能够满足所本文档来自技高网...

【技术保护点】
1.一种用于检查技术过程是否和/或如何能借助于技术系统来实现的方法，所述技术系统具有多个单元（CPPU），所述多个单元各具有对于所述技术过程来说可能相关的技术能力（SKI），其中‑ 使用至少一个本体（ONT），所述至少一个本体描述所述技术系统（TES）以及所述技术过程，而且‑ 借助于所述至少一个本体（ONT）来形成约束满足问题（CSP），而且‑ 搜索并且优选地保存和/或输出所述约束满足问题（CSP）的解。

【技术特征摘要】
【国外来华专利技术】2016.11.29 DE 102016223646.6;2016.12.08 DE 10201621.一种用于检查技术过程是否和/或如何能借助于技术系统来实现的方法，所述技术系统具有多个单元（CPPU），所述多个单元各具有对于所述技术过程来说可能相关的技术能力（SKI），其中-使用至少一个本体（ONT），所述至少一个本体描述所述技术系统（TES）以及所述技术过程，而且-借助于所述至少一个本体（ONT）来形成约束满足问题（CSP），而且-搜索并且优选地保存和/或输出所述约束满足问题（CSP）的解。2.根据上一权利要求所述的方法，其中所述技术系统是制造系统而且系统的单元是制造单元（CPPU），和/或所述技术系统是控制装置和/或自动化系统和/或辅助系统。3.根据上述权利要求之一所述的方法，其中所述约束满足问题（CSP）经受针对所述约束满足问题（CSP）的解的搜索空间的过滤（FIL），优选地在搜索解之前经受针对所述约束满足问题（CSP）的解的搜索空间的过滤（FIL）。4.根据上述权利要求之一所述的方法，其中借助于约束推理、尤其是借助于约束推理器（CON）和/或借助于语义推理来进行所述过滤（FIL）。5.根据上述权利要求之一所述的方法，其中借助于本体和/或语义推理器（SEM）来进行语义推理，所述本体和/或语义推理器使用、至少部分地使用所述本体（ONT）。6.根据上述权利要求之一所述的方法，其中所述至少一个本体（ONT）包括所述系统的单元（CPPU）和/或所述单元（CPPU）中的至少一个或多个或全部单元的能力（SKI）以及优选地所述单元（CPPU）的技术能力（S...

【专利技术属性】
技术研发人员：S格里姆，A哈塞尔贝克，
申请(专利权)人：西门子股份公司，
类型：发明
国别省市：德国,DE