摘要:
Method to control a technical device (1) with data (10), wherein the data (10) are derived from a multiplicity of data triples by a predetermined data query, which data query defines a relation between at least two data triples of the multiplicity of data triples, which multiplicity of data triples define a hierarchic data structure and represent a knowledge graph with nodes and edges, and each data triple of the multiplicity of data triples is generated by a reflection design pattern mechanism and consists of a data subject, a data predicate and a data object respectively.
摘要:
The invention relates to a method for making reliable sensor data available and a device for making reliable sensor data of a system available, comprising the following steps: receiving (S1) sensor data from at least one sensor unit that monitors a system component of the system, and processing (S2) the received sensor data using at least one stored ontology and a statistical data analysis model for generating the reliable sensor data.
摘要:
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.
摘要:
A control apparatus of an automation system, the control apparatus includers a database adapted to store time series data in a historian data source and adapted to store events derived from the time series data based on event detection rules in an event data source, wherein a semantic data or event query received by the control apparatus is mapped to a corresponding data source of the database to retrieve the queried data or event which are contextualized using an ontological context model of the automation system stored in the database and output by said-control apparatus in a semantic format is provided.
摘要:
A configuration system and method adapted to perform a configuration or reconfiguration of applications run by an automation system, the configuration system including a processing unit adapted to process at least one natural language statement of a user requirement input by a user concerning a control and/or monitoring functionality of the automation system based on a user ontology of the user and/or an automation system ontology of the automation system to generate a formal requirements specification, and a matching unit adapted to match the generated formal requirements specification and formal component specifications read from a component library to derive a configuration deployment including one or several suitable components with configurations fulfilling the input user requirement.
摘要:
In order to enable an efficient abduction even for defective or insufficiently modelled observations, a relaxed abduction problem is proposed in order to explain the greatest possible part of the observations with the fewest possible assumptions. Thus, based upon two preference orders over a subset of observations and a subset of assumptions, tuples can be determined so that the theory together with the subset of assumptions explains the subset of observations. Due to the formulation as multi-criteria optimisation problem it is no longer necessary for assumptions made and observations explained to be offset against one another. On the basis of the formal validity of the approach certain characteristics of the set of results (such as correctness, completeness, etc.) can be checked, which is advantageous particularly in safety-critical applications. By means of 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.