专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US09171254B2 Method for encoding ontology reasoning on a programmable logic controller 有权
标题翻译：在可编程逻辑控制器上编码本体推理的方法
公开(公告)号：US09171254B2
公开(公告)日：2015-10-27
申请号：US13887642
申请日：2013-05-06
申请人： Siemens Aktiengesellschaft
发明人： Falco Riccardo Cescolini , Stephan Grimm , Michael Watzke
IPC分类号： G06N5/02 , G06F17/30 , G06N5/00 , G05B19/05
CPC分类号： G06N5/02 , G05B19/056 , G06F17/30 , G06N5/00
摘要： A method is disclosed for operating a programmable logic controller which executes program(s) based on cycles having a predetermined cycle time in a predefined memory. An automated reasoning method based on an ontology and a description logic is implemented in the programmable logic controller. To enable this, at least the concepts and roles of the ontology are encoded using index numbers and the axioms of the ontology are encoded using tuples of integral index numbers. The automated reasoning method is interrupted before the end of a cycle and subsequently resumed at the current status of program execution. This allows for the cyclic programming paradigm of a programmable logic controller. The method can be used for any types of programmable logic controller, e.g., controllers of devices belonging to an automation system or energy generation devices. In such scenarios the automated reasoning method may be used for diagnosing the corresponding devices.
摘要翻译：公开了一种用于操作可编程逻辑控制器的方法，该可编程逻辑控制器基于在预定义存储器中具有预定周期时间的周期来执行程序。在可编程逻辑控制器中实现了基于本体和描述逻辑的自动推理方法。为了实现这一点，至少本体的概念和角色是使用索引号进行编码的，本体的公理使用整数索引号的元组进行编码。自动推理方法在循环结束之前中断，随后在程序执行的当前状态下恢复。这允许可编程逻辑控制器的循环编程范例。该方法可用于任何类型的可编程逻辑控制器，例如属于自动化系统或能量产生装置的设备的控制器。在这种情况下，自动推理方法可用于诊断对应的设备。

2. 发明申请

US20130297548A1 Method For Operating A Programmable Logic Controller 有权
标题翻译：用于操作可编程逻辑控制器的方法
公开(公告)号：US20130297548A1
公开(公告)日：2013-11-07
申请号：US13887642
申请日：2013-05-06
申请人： SIEMENS AKTIENGESELLSCHAFT
发明人： Falco Riccardo Cescolini , Stephan Grimm , Michael Watzke
IPC分类号： G06N5/02
CPC分类号： G06N5/02 , G05B19/056 , G06F17/30 , G06N5/00
摘要： A method is disclosed for operating a programmable logic controller which executes program(s) based on cycles having a predetermined cycle time in a predefined memory. An automated reasoning method based on an ontology and a description logic is implemented in the programmable logic controller. To enable this, at least the concepts and roles of the ontology are encoded using index numbers and the axioms of the ontology are encoded using tuples of integral index numbers. The automated reasoning method is interrupted before the end of a cycle and subsequently resumed at the current status of program execution. This allows for the cyclic programming paradigm of a programmable logic controller. The method can be used for any types of programmable logic controller, e.g., controllers of devices belonging to an automation system or energy generation devices. In such scenarios the automated reasoning method may be used for diagnosing the corresponding devices.
摘要翻译：公开了一种用于操作可编程逻辑控制器的方法，该可编程逻辑控制器基于在预定义存储器中具有预定周期时间的周期来执行程序。在可编程逻辑控制器中实现了基于本体和描述逻辑的自动推理方法。为了实现这一点，至少本体的概念和角色是使用索引号进行编码的，本体的公理使用整数索引号的元组进行编码。自动推理方法在循环结束之前中断，随后在程序执行的当前状态下恢复。这允许可编程逻辑控制器的循环编程范例。该方法可用于任何类型的可编程逻辑控制器，例如属于自动化系统或能量产生装置的设备的控制器。在这种情况下，自动推理方法可用于诊断对应的设备。

3. 发明申请

US20160300137A1 SYSTEM FOR THE COMPUTER-AIDED CREATION OF RULES FOR MONITORING AND/OR DIAGNOSING A TECHNICAL PLANT 审中-公开
标题翻译：计算机辅助创建技术设备监控和/或诊断规则的系统
公开(公告)号：US20160300137A1
公开(公告)日：2016-10-13
申请号：US15037366
申请日：2014-11-05
申请人： SIEMENS AKTIENGESELLSCHAFT
发明人： Lisa Theresa Abele , Stephan Grimm , Michael Watzke
IPC分类号： G06N5/02
CPC分类号： G06N5/022 , G05B19/0428 , G06F16/367
摘要： A system and method is provided for the computer-assisted creation of rules for monitoring and/or diagnosing a technical plant. The system includes a digital knowledge base in the form of a first ontology, including a plant ontology, which describes the technical plant, and a rule ontology, which includes rules, wherein a particular rule is linked by means of a condition relation to concepts in the form of one or more conditions, which refer to one or more concepts of the plant ontology, and is linked by means of a consequence relation to the concept of a consequence derived from the one or more conditions, which consequence refers to one or more concepts of the plant ontology.
摘要翻译：提供了一种用于计算机辅助创建用于监测和/或诊断技术设备的规则的系统和方法。该系统包括第一本体的形式的数字知识库，其包括描述技术工厂的植物本体和包括规则的规则本体，其中特定规则通过与一种或多种条件的形式，其指代植物本体的一个或多个概念，并且通过与从一个或多个条件导出的结果的概念的后果关系相关联，所述结果指的是一个或多个植物本体概念。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式