会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 1. 发明申请
    • METHOD AND DEVICE FOR CONTROLLING AN INDUSTRIAL SYSTEM
    • 用于控制工业系统的方法和装置
    • WO2011131617A3
    • 2012-06-14
    • PCT/EP2011056122
    • 2011-04-18
    • SIEMENS AGHUBAUER THOMASLAMPARTER STEFFEN
    • HUBAUER THOMASLAMPARTER STEFFEN
    • G05B13/04G05B13/02
    • G05B13/0265
    • A tractable abduction procedure for a lightweight description logic EL is introduced extending recent research on automata- based axiom pinpointing by assuming information from a predefined abducible part of the domain model. The approach is motivated by the need for efficient diagnostic reasoning for large-scale industrial systems where observations are partially incomplete and often sparse. A weighted automaton can be constructed that commonly encodes a definite and abducible part of the domain model. Advantageously, the approach provides a compact representation of all possible hypotheses explaining an observation, and is in fact computable in PTIME. The invention can be used for controlling, adjusting or diagnosing all kind of technical systems, in particular in the area of industry and automation.
    • 引入轻量级描述逻辑EL的易处理外展程序介绍了通过假设来自域模型的预定义的可逆部分的信息来最近对基于自动机的公理精确定位的研究。 这种方法的驱动因素是对大规模工业系统的有效诊断推理的需求,其中观测部分不完整且通常很稀疏。 可以构建一个加权自动机,通常对领域模型的一个确定的和可勉强的部分进行编码。 有利的是,该方法提供了解释观察的所有可能假设的紧凑表示,并且实际上可在PTIME中计算。 本发明可用于控制,调整或诊断各种技术系统,特别是在工业和自动化领域。
    • 5. 发明申请
    • ANSTEUERUNG EINER MASCHINE
    • 控制机器
    • WO2013060389A1
    • 2013-05-02
    • PCT/EP2011/069048
    • 2011-10-28
    • SIEMENS AKTIENGESELLSCHAFTGRIMM, StephanHUBAUER, ThomasROSHCHIN, MikhailSTENDER, HolgerWATSON, Stuart
    • GRIMM, StephanHUBAUER, ThomasROSHCHIN, MikhailSTENDER, HolgerWATSON, Stuart
    • G05B23/02G05B13/02G06N5/04
    • G05B13/04G05B13/0265G05B23/0278
    • Um eine effiziente Abduktion auch für fehlerhafte oder noch unzureichend modellierte Beobachtungen zu ermöglichen, wird ein relaxiertes Abduktionsproblem vorgeschlagen, um einen möglichst großen Teil der Beobachtungen mit möglichst wenigen Annahmen zu erklären. So können basierend auf zwei Präferenzordnungen über eine Teilmenge der Beobachtungen und eine Teilmenge der Annahmen Tupel bestimmt werden, so dass die Theorie zusammen mit der Teilmenge der Annahmen die Teilmenge der Beobachtungen erklärt. Durch die Formulierung als Multikriterien-Optimierungsproblem entfällt die Notwendigkeit, getroffene Annahmen und erklärte Beobachtungen gegeneinander aufzurechnen. Aufgrund der formalen Fundiertheit des Ansatzes können bestimmte Eigenschaften der Ergebnismenge (wie Korrektheit, Vollständigkeit, etc.) überprüft werden, was besonders in sicherheitskritischen Anwendungen von Vorteil ist. Anhand der Wahl der zugrunde liegenden Repräsentationssprache und der Präferenzrelationen kann die Komplexität des Problemlösungsprozesses beeinflusst und so im Hinblick auf Domänen-Anforderungen flexibel angepasst werden. Die Erfindung kann für beliebige Maschinen, z.B. Gasturbinen oder Dampfturbinen eingesetzt werden.
    • 要启用不正确或不充分仍然仿照观察高效绑架,一个nonrelaxed Abduktionsproblem被提出来解释尽可能用尽可能少的假设意见。 由于可以基于观察的子集和元组假设的一个子集,双优先次序来确定,使得理论与假设观测的子集的子集一起解释。 通过制定一个多标准优化问题的需要,以抵消做出的假设和解释彼此的意见被消除。 由于结果集的方法的某些性质的正式健全性,可以检查(例如正确性,完整性,等等),这是特别是在安全关键应用是有益的。 基于底层的表示语言的选择和偏好关系,在问题解决过程的复杂性会受到影响,因此在域名方面的要求灵活调整。 本发明可用于任何机器,例如 燃气涡轮机和蒸汽涡轮机使用。
    • 6. 发明申请
    • METHOD AND DEVICE FOR CONTROLLING AN INDUSTRIAL SYSTEM
    • 用于控制工业系统的方法和装置
    • WO2011131617A2
    • 2011-10-27
    • PCT/EP2011/056122
    • 2011-04-18
    • SIEMENS AKTIENGESELLSCHAFTHUBAUER, ThomasLAMPARTER, Steffen
    • HUBAUER, ThomasLAMPARTER, Steffen
    • G05B13/04
    • G05B13/0265
    • A tractable abduction procedure for a lightweight description logic EL is introduced extending recent research on automata- based axiom pinpointing by assuming information from a predefined abducible part of the domain model. The approach is motivated by the need for efficient diagnostic reasoning for large-scale industrial systems where observations are partially incomplete and often sparse. A weighted automaton can be constructed that commonly encodes a definite and abducible part of the domain model. Advantageously, the approach provides a compact representation of all possible hypotheses explaining an observation, and is in fact computable in PTIME. The invention can be used for controlling, adjusting or diagnosing all kind of technical systems, in particular in the area of industry and automation.
    • 介绍了一种用于轻量描述逻辑EL的易行外展程序,通过假设来自域模型的预定义的可约部分的信息来延伸近来关于基于自动机的公理精确定位的研究。 这种方法的驱动因素是对大规模工业系统的有效诊断推理的需求,其中观测部分不完整且通常很稀疏。 可以构建一个加权自动机,通常对领域模型的一个确定的和可勉强的部分进行编码。 有利的是,该方法提供了解释观察的所有可能假设的紧凑表示,并且实际上可在PTIME中计算。 本发明可用于控制,调整或诊断各种技术系统,特别是在工业和自动化领域。
    • 8. 发明申请
    • ANSTEUERUNG EINES TECHNISCHEN SYSTEMS
    • 控技术系统
    • WO2013007547A1
    • 2013-01-17
    • PCT/EP2012/062815
    • 2012-07-02
    • SIEMENS AKTIENGESELLSCHAFTHUBAUER, ThomasLAMPARTER, Steffen
    • HUBAUER, ThomasLAMPARTER, Steffen
    • G05B23/02G06N5/04
    • G06N5/02G05B17/02G05B23/0221G05B23/0278G06F11/004G06F17/00
    • Um eine effiziente Abduktion auch für fehlerhafte oder noch unzureichend modellierte Beobachtungen zu ermöglichen, wird ein relaxiertes Abduktionsproblem vorgeschlagen, um einen möglichst großen Teil der Beobachtungen mit möglichst wenigen Annahmen zu erklären. So können basierend auf zwei Präferenzordnungen über eine Teilmenge der Beobachtungen und eine Teilmenge der Annahmen Tupel bestimmt werden, so dass die Theorie zusammen mit der Teilmenge der Annahmen die Teilmenge der Beobachtungen erklärt. Durch die Formulierung als Multikriterien-Optimierungsproblem entfällt die Notwendigkeit, getroffene Annahmen und erklärte Beobachtungen gegeneinander aufzurechnen. Aufgrund der formalen Fundiertheit des Ansatzes können bestimmte Eigenschaften der Ergebnismenge (wie Korrektheit, Vollständigkeit, etc.) überprüft werden, was besonders in sicherheitskritischen Anwendungen von Vorteil ist. Anhand der Wahl der zugrunde liegenden Repräsentationssprache und der Präferenzrelationen kann die Komplexität des Problemlösungsprozesses beeinflusst und so im Hinblick auf Domänen-Anforderungen flexibel angepasst werden. Die Erfindung kann für beliebige technische Systeme, z.B. Anlagen oder Kraftwerke eingesetzt werden.
    • 要启用不正确或不充分仍然仿照观察高效绑架,一个nonrelaxed Abduktionsproblem被提出来解释尽可能用尽可能少的假设意见。 由于可以基于观察的子集和元组假设的一个子集,双优先次序来确定,使得理论与假设观测的子集的子集一起解释。 通过制定一个多标准优化问题的需要,以抵消做出的假设和解释彼此的意见被消除。 由于结果集的方法的某些性质的正式健全性,可以检查(例如正确性,完整性,等等),这是特别是在安全关键应用是有益的。 基于底层的表示语言的选择和偏好关系,在问题解决过程的复杂性会受到影响,因此在域名方面的要求灵活调整。 本发明可用于任何技术系统中,例如, 植物或发电站被使用。