30,595 research outputs found
A Local Diagnosis Algorithm for Hypercube-like Networks under the BGM Diagnosis Model
System diagnosis is process of identifying faulty nodes in a system. An
efficient diagnosis is crucial for a multiprocessor system. The BGM diagnosis
model is a modification of the PMC diagnosis model, which is a test-based
diagnosis. In this paper, we present a specific structure and propose an
algorithm for diagnosing a node in a system under the BGM model. We also give a
polynomial-time algorithm that a node in a hypercube-like network can be
diagnosed correctly in three test rounds under the BGM diagnosis model
Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model-Based Diagnosis
Model-based Diagnosis allows the identification of the parts
which fail in a system. The models are based on the knowledge of the
system to diagnose, and may be represented by constraints associated
to the components. The variables of these constraints can be observable
or non-observable, depending on the situation of the sensors. In order to
obtain the potential minimal diagnosis in a system, an important issue is
related to finding out the potential minimal conflicts in an efficient way.
We consider that Constraint Databases represent an excellent option in
order to solve this problem in complex systems.
In this work we have used a novel logical architecture of Constraint
Databases which has allowed obtaining these potential conflicts by means
of the corresponding queries. Moreover, we have considered Gröbner
Bases as a projection operator to obtain the potential minimal conflicts
of a system. The first results obtained on this work, which are shown in
a heat exchangers example, have been very promising.Ministerio de Ciencia y Tecnología DPI2003-07146-C02-0
Developing a labelled object-relational constraint database architecture for the projection operator
Current relational databases have been developed in order to improve the handling of
stored data, however, there are some types of information that have to be analysed for
which no suitable tools are available. These new types of data can be represented and treated
as constraints, allowing a set of data to be represented through equations, inequations
and Boolean combinations of both. To this end, constraint databases were defined and
some prototypes were developed. Since there are aspects that can be improved, we propose
a new architecture called labelled object-relational constraint database (LORCDB). This provides
more expressiveness, since the database is adapted in order to support more types of
data, instead of the data having to be adapted to the database. In this paper, the projection
operator of SQL is extended so that it works with linear and polynomial constraints and
variables of constraints. In order to optimize query evaluation efficiency, some strategies
and algorithms have been used to obtain an efficient query plan.
Most work on constraint databases uses spatiotemporal data as case studies. However,
this paper proposes model-based diagnosis since it is a highly potential research area,
and model-based diagnosis permits more complicated queries than spatiotemporal examples.
Our architecture permits the queries over constraints to be defined over different sets
of variables by using symbolic substitution and elimination of variables.Ministerio de Ciencia y Tecnología DPI2006-15476-C02-0
Distributed Model-Based Diagnosis using Object-Relational Constraint Databases
This work presents a proposal to diagnose distributed
systems utilizing model-based diagnosis using distributed
databases. In order to improve aspects as versatility, persistence,
easy composition and efficiency in the diagnosis
process we use an Object Relational Constraint Database
(ORCDB). Thereby we define a distributed architecture to
store the behaviour of components as constraints in a relational
database to diagnose a distributed system. This
work proposes an algorithm to detect which components fail
when their information is distributed in several databases,
and all the information is not available in a global way. It
is also offered a proposal to define, in execution time, the
allocation of the sensors in a distributed system.Ministerio de Ciencia y Tecnología DPI2003-07146-C02-0
- …