Method for Detecting Anomalous States of a Control Object in Information Systems Based on the Analysis of Temporal Data and Knowledge

The problem of finding the anomalous states of the control object in the management information system under conditions of uncertainty caused by the incompleteness of knowledge about this object is considered. The method of classifying the current state of the control object in real time, allowing to identify the current anomalous state. The method uses temporal data and knowledge. Data is represented by sequences of events with timestamps. Knowledge is represented as weighted temporal rules and constraints. The method includes the following key phases: the formation of sequences of logical facts; selection of temporal rules and constraints; classification based on a comparison of rules and constraints. Logical facts are represented as predicates on event attributes and reflect the state of the control object. Logical rules define valid sequences of logical facts. Performing a classification by successive comparisons of constraints and weights of the rules makes it possible to more effectively identify the anomalous state since the comparison of the constraints reduces the subset of facts comparing to the current state. The method creates conditions for improving management efficiency in the context of incomplete information on the state of a complex object by using logical inference in knowledge bases for anomalous states of such control objects

Renormalization Group Constraints on New Top Interactions from Electroweak Precision Data

Anomalous interactions involving the top quark contribute to some of the most difficult observables to directly access experimentally. They can give however a sizeable correction to very precisely measured observables at the loop level. Using a model-independent effective Lagrangian approach, we present the leading indirect constraints on dimension-six effective operators involving the top quark from electroweak precision data. They represent the most stringent constraints on these interactions, some of which may be directly testable in future colliders.Comment: 14 pages, 1 Table, 1 Figure. Minor changes, references added. Matches published versio