Abstract: 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.

Abstract: A method for processing a technical system is provided to predict a technical system's state and/or to provide a diagnosis of the technical system or at least one of its components. The prediction is determined based on a model-based complex event processing (CEP) approach using declarative models. This facilitates considering complex information sources as input data and allows providing a diagnosis based on diagnostic models, wherein the models can be interpreted and/or changed even by users who are not programmers. In addition, time and/or temporal relations can be modeled and considered and an open world assumption can be incorporated to allow more valuable assessments of diagnoses. The invention is applicable for all kinds of technical systems, e.g., industry and automation systems comprising in particular rotating devices and/or generators.

Abstract: 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.

Abstract: A system is provided comprising first, second, and third servers, a medical device, and a database storing a plurality of software updates for various medical devices. The second server stores software update history for medical devices located in a plurality of countries, and the third server is located in a country and stores software update history for medical devices located in that country. A request for a software update for a medical device is sent from the first server to the second server. The second server sends a command to the database, and the database sends the software update to the medical device. After an attempt has been made to install the software update in the medical device, the software update history for the medical device is automatically updated in the second and third servers.

Abstract: A system is provided comprising first, second, and third servers, a medical device, and a database storing a plurality of software updates for various medical devices. The second server stores software update history for medical devices located in a plurality of countries, and the third server is located in a country and stores software update history for medical devices located in that country. A request for a software update for a medical device is sent from the first server to the second server. The second server sends a command to the database, and the database sends the software update to the medical device. After an attempt has been made to install the software update in the medical device, the software update history for the medical device is automatically updated in the second and third servers.