会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 6. 发明申请
    • Method For Operating A Programmable Logic Controller
    • 用于操作可编程逻辑控制器的方法
    • US20130297548A1
    • 2013-11-07
    • US13887642
    • 2013-05-06
    • SIEMENS AKTIENGESELLSCHAFT
    • Falco Riccardo CescoliniStephan GrimmMichael Watzke
    • G06N5/02
    • G06N5/02G05B19/056G06F17/30G06N5/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.
    • 公开了一种用于操作可编程逻辑控制器的方法,该可编程逻辑控制器基于在预定义存储器中具有预定周期时间的周期来执行程序。 在可编程逻辑控制器中实现了基于本体和描述逻辑的自动推理方法。 为了实现这一点,至少本体的概念和角色是使用索引号进行编码的,本体的公理使用整数索引号的元组进行编码。 自动推理方法在循环结束之前中断,随后在程序执行的当前状态下恢复。 这允许可编程逻辑控制器的循环编程范例。 该方法可用于任何类型的可编程逻辑控制器,例如属于自动化系统或能量产生装置的设备的控制器。 在这种情况下,自动推理方法可用于诊断对应的设备。
    • 9. 发明授权
    • Method for encoding ontology reasoning on a programmable logic controller
    • 在可编程逻辑控制器上编码本体推理的方法
    • US09171254B2
    • 2015-10-27
    • US13887642
    • 2013-05-06
    • Siemens Aktiengesellschaft
    • Falco Riccardo CescoliniStephan GrimmMichael Watzke
    • G06N5/02G06F17/30G06N5/00G05B19/05
    • G06N5/02G05B19/056G06F17/30G06N5/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.
    • 公开了一种用于操作可编程逻辑控制器的方法,该可编程逻辑控制器基于在预定义存储器中具有预定周期时间的周期来执行程序。 在可编程逻辑控制器中实现了基于本体和描述逻辑的自动推理方法。 为了实现这一点,至少本体的概念和角色是使用索引号进行编码的,本体的公理使用整数索引号的元组进行编码。 自动推理方法在循环结束之前中断,随后在程序执行的当前状态下恢复。 这允许可编程逻辑控制器的循环编程范例。 该方法可用于任何类型的可编程逻辑控制器,例如属于自动化系统或能量产生装置的设备的控制器。 在这种情况下,自动推理方法可用于诊断对应的设备。