Actuation of a technical system based on solutions of relaxed abduction
    2.
    发明授权
    Actuation of a technical system based on solutions of relaxed abduction 有权
    基于轻松绑架解决方案的技术体系推行

    公开(公告)号:US09449275B2

    公开(公告)日:2016-09-20

    申请号:US14232315

    申请日:2012-07-02

    摘要: To enable efficient abduction even for observations that are faulty or inadequately modeled, a relaxed abduction problem is proposed in order to explain the largest possible part of the observations with as few assumptions as possible. On the basis of two preference orders over a subset of observations and a subset of assumptions, tuples can therefore be determined such that the theory, together with the subset of assumptions, explains the subset of observations. The formulation as a multi-criteria optimization problem eliminates the need to offset assumptions made and explained observations against one another. Due to the technical soundness of the approach, specific properties of the set of results (such as correctness, completeness etc.), can be checked, which is particularly advantageous in safety-critical applications. The complexity of the problem-solving process can be influenced and therefore flexibly adapted in terms of domain requirements through the selection of the underlying representation language and preference relations. The invention can be applied to any technical system, e.g. plants or power stations.

    摘要翻译: 为了能够有效的劫持,即使有错误或不充分模拟的观察,提出了一个放松的绑架问题,以尽可能少的假设来解释观察的最大可能部分。 在两个偏好顺序的基础上,观察的子集和假设的子集,因此可以确定元组,使得理论与假设子集解释了观察的子集。 作为多标准优化问题的公式消除了对相互抵消的假设和解释观察的需要。 由于方法的技术性能,可以检查一组结果的具体属性(如正确性,完整性等),这在安全关键应用中特别有利。 可以通过选择底层代表语言和偏好关系来影响解决问题的过程的复杂性,从而灵活地适应领域要求。 本发明可以应用于任何技术系统,例如, 植物或发电站。

    METHOD AND SYSTEM FOR A DATA ACCESS BASED ON DOMAIN MODELS
    3.
    发明申请
    METHOD AND SYSTEM FOR A DATA ACCESS BASED ON DOMAIN MODELS 审中-公开
    基于域模型的数据访问方法与系统

    公开(公告)号:US20150039610A1

    公开(公告)日:2015-02-05

    申请号:US13955053

    申请日:2013-07-31

    IPC分类号: G06F17/30

    CPC分类号: G06F16/24553

    摘要: A system, a method and a computer product are disclosed. The method includes using at least one domain ontology including a plurality of domain models connected through mappings to a plurality of data sources, the data sources storing data to be accessed by the query; receiving a query by a query formulation unit; evaluating at least one of a language for defining at least one of the domain models involved in the query, a language of mappings involved in the query and a language of the query and selecting a query answering mode in accordance with results of the evaluation and retrieving an answer meeting at least one query condition from the data sources.

    摘要翻译: 公开了一种系统,方法和计算机产品。 该方法包括使用至少一个域本体,其包括通过映射连接到多个数据源的多个域模型,数据源存储要由查询访问的数据; 通过查询制定单元接收查询; 评估用于定义所述查询中涉及的至少一个域模型的语言中的至少一个,所述查询中涉及的映射的语言和所述查询的语言,以及根据所述评估和检索的结果来选择查询应答模式 一个答案会从数据源中至少遇到一个查询条件。

    ACTUATION OF A TECHNICAL SYSTEM
    4.
    发明申请
    ACTUATION OF A TECHNICAL SYSTEM 有权
    技术系统的实施

    公开(公告)号:US20140149337A1

    公开(公告)日:2014-05-29

    申请号:US14232315

    申请日:2012-07-02

    IPC分类号: G06N5/02

    摘要: To enable efficient abduction even for observations that are faulty or inadequately modeled, a relaxed abduction problem is proposed in order to explain the largest possible part of the observations with as few assumptions as possible. On the basis of two preference orders over a subset of observations and a subset of assumptions, tuples can therefore be determined such that the theory, together with the subset of assumptions, explains the subset of observations. The formulation as a multi-criteria optimization problem eliminates the need to offset assumptions made and explained observations against one another. Due to the technical soundness of the approach, specific properties of the set of results (such as correctness, completeness etc.), can be checked, which is particularly advantageous in safety-critical applications. The complexity of the problem-solving process can be influenced and therefore flexibly adapted in terms of domain requirements through the selection of the underlying representation language and preference relations. The invention can be applied to any technical system, e.g. plants or power stations.

    摘要翻译: 为了能够有效的劫持,即使有错误或不充分模拟的观察,提出了一个放松的绑架问题,以尽可能少的假设来解释观察的最大可能部分。 在两个偏好顺序的基础上,观察子集和假设子集,因此可以确定元组,使得理论与假设子集一起解释了观察的子集。 作为多标准优化问题的公式消除了对相互抵消的假设和解释观察的需要。 由于方法的技术性能,可以检查一组结果的具体属性(如正确性,完整性等),这在安全关键应用中特别有利。 可以通过选择底层代表语言和偏好关系来影响解决问题的过程的复杂性,从而灵活地适应领域要求。 本发明可以应用于任何技术系统,例如, 植物或发电站。

    Computerized method and system for automated system diagnosis detection
    7.
    发明授权
    Computerized method and system for automated system diagnosis detection 有权
    用于自动化系统诊断检测的计算机化方法和系统

    公开(公告)号:US09274868B2

    公开(公告)日:2016-03-01

    申请号:US13880483

    申请日:2011-10-04

    IPC分类号: G06F11/00 G06F11/22

    CPC分类号: G06F11/004 G06F11/2257

    摘要: In a method, system, and storage medium for obtaining system diagnosis, a diagnosis domain is described that includes a number of possible diagnoses, the number of possible diagnoses prioritized based on at least one of a number of confidence levels, a preference function, and a calculation of a relationship between a number of confirmed system symptoms and a number of possible diagnoses. A number of hypotheses for incipient system symptoms is generated, and a hypothesis is selected from the generated number of hypotheses. Information is obtained regarding a number of system observations, and a selection relevant diagnostics for the system is obtained.

    摘要翻译: 在用于获得系统诊断的方法,系统和存储介质中,描述了诊断域,其包括多个可能的诊断,基于多个置信水平,偏好功能和 计算许多确诊的系统症状与可能诊断的数量之间的关系。 产生初期系统症状的若干假设,并从生成的假设数中选择一个假设。 获得关于多个系统观察的信息,并且获得该系统的选择相关诊断。

    PROCESSING A TECHNICAL SYSTEM
    8.
    发明申请
    PROCESSING A TECHNICAL SYSTEM 审中-公开
    处理技术系统

    公开(公告)号:US20140358865A1

    公开(公告)日:2014-12-04

    申请号:US14369826

    申请日:2011-12-28

    IPC分类号: G06F17/30

    摘要: Rules of a rule base are transformed in an automated fashion in order to be able to conduct consistency checks and generate explanations and thus classify and correct existing rules. This is beneficial in particular in large systems with existing rule bases, e.g., wherein each rule is associated with at least a diagnostic task of a component of a technical system, e.g., a power system. The task can be subject to fault detection, fault isolation, predictive diagnosis or reporting. The solution presented provides an overview of large sets of rules and thus allows determining which rules are suitable and which are not. The invention is applicable for all kinds of technical systems, e.g., industry and automation systems, in particular power systems.

    摘要翻译: 规则库的规则以自动化方式进行转换,以便能够进行一致性检查并生成解释,从而对现有规则进行分类和更正。 这在具有现有规则库的大型系统中是有益的,例如,其中每个规则与至少技术系统的部件(例如电力系统)的诊断任务相关联。 该任务可以进行故障检测,故障隔离,预测诊断或报告。 所提供的解决方案概述了大量规则,从而可以确定哪些规则是合适的,哪些规则不适用。 本发明适用于各种技术系统,例如工业和自动化系统,特别是电力系统。

    CONTROL OF A MACHINE
    9.
    发明申请
    CONTROL OF A MACHINE 有权
    机器的控制

    公开(公告)号:US20140277755A1

    公开(公告)日:2014-09-18

    申请号:US14353039

    申请日:2011-10-28

    IPC分类号: G05B13/04

    摘要: A method and apparatus for actuating a machine is provided in which a relaxed abduction problem is determined in order to explain the greatest possible part of the observations with the fewest possible assumptions. Based upon two preference orders over a subset of observations and a subset of assumptions, tuples are determined so that the theory together with the subset of assumptions explains the subset of observations. On the basis of the formal validity of the approach certain characteristics of the set of results (such as correctness, completeness, etc.) are checked. By the choice of underlying representational language and the preference relations, the complexity of the problem-solving process is influenced and thus flexibly adapted with regard to domain requirements. The invention may be used for any machines, e.g. gas turbines or steam turbines.

    摘要翻译: 提供了一种致动机器的方法和装置,其中确定了放松的外展问题,以尽可能少的假设来解释观察的最大可能部分。 基于观察子集和假设子集的两个偏好顺序,确定元组,使得理论与假设子集一起解释了观察的子集。 在方法的正式有效性的基础上,检查一组结果的某些特征(如正确性,完整性等)。 通过选择潜在的代表性语言和偏好关系,解决问题的过程的复杂性受到影响,从而灵活地适应领域要求。 本发明可以用于任何机器,例如, 燃气轮机或汽轮机。

    METHOD, SYSTEM, AND COMPUTER PROGRAM FOR SYSTEM DIAGNOSIS DETECTION
    10.
    发明申请
    METHOD, SYSTEM, AND COMPUTER PROGRAM FOR SYSTEM DIAGNOSIS DETECTION 有权
    方法,系统和计算机程序进行系统诊断检测

    公开(公告)号:US20130268809A1

    公开(公告)日:2013-10-10

    申请号:US13880483

    申请日:2011-10-04

    IPC分类号: G06F11/00

    CPC分类号: G06F11/004 G06F11/2257

    摘要: The present invention is directed to a method, system, and computer software for obtaining system diagnosis, comprising describing a diagnosis domain comprising a plurality of possible diagnoses, prioritizing the plurality of possible diagnoses based on at least one of a plurality of confidence levels, a preference function, and a calculation of a relationship between a plurality of confirmed system symptoms and a plurality of possible diagnoses, generating a plurality of hypotheses for incipient system symptoms, selecting a hypothesis from the generated plurality of hypotheses, obtaining information regarding a plurality of system observations, and obtaining a selection relevant diagnostics for the system.

    摘要翻译: 本发明涉及一种用于获得系统诊断的方法,系统和计算机软件,包括描述包括多个可能的诊断的诊断域,基于多个置信水平中的至少一个确定多个可能诊断的优先级, 偏好功能,以及多个确认的系统症状与多个可能的诊断之间的关系的计算,产生用于初始系统症状的多个假设,从所生成的多个假设中选择假设,获得关于多个系统的信息 观察和获得系统的选择相关诊断。