Buscar
Mostrando ítems 1-10 de 19
Ponencia
Querying a Polynomial Object-Relational Constraint Database in Model-Based Diagnosis
(Springer, 2005)
Many papers related to Constraint Databases (CDBs) theories exist, including proposals that present frameworks for the treatment of constraints as a new data type. Our proposal presents a new way of storing and manipulating ...
Ponencia
Diagnosis of a Chopper Controlled DC Motor by Boosting
(IEEE, 2005-11)
This paper proposes a methodology to diagnose a transient state of a dynamic system using boosting. The methodology is composed by two steps: one off-line process and another on-line process. The off-line phase begins ...
Ponencia
Multiple decision trees to diagnose a transient state of dynamic systems. Application to a DC motor.
(Edición Digital @tres, 2005-06)
In this paper, a novel methodology is proposed to diagnose a transient state of a dynamic system using supervised learning. lt is composed by two steps: one off-line process and another on-Iine process. The off-line phase ...
Ponencia
Optimization techniques for dynamic behavior modeling of digital CMOS VLSI circuits in nanometric technologies
(IEEE Computer Society, 2005)
In the field of logic simulation, the constant advance of technology influences remarkably in the circuits dynamic behavior. Our main aim is to increase precision of logic simulators by taking into account this influence. ...
Ponencia
Diagnosis con variables intervalares usando técnicas Max-CSP
(Edición Digital @tres, 2005-06)
En ingeniería son muchas las aplicaciones que usan modelos basados en variables y parámetros cuyos dominios aparecen limitados a intervalos. Estos modelos almacenan el comportamiento esperado del sistema físico. En este ...
Artículo
Logarithmic Comparison Theorem and some Euler homogeneous free divisors
(American Mathematical Society, 2005)
Let D, x be a free divisor germ in a complex manifold X of dimension n > 2. It is an open problem to find out which are the properties required for D, x to satisfy the so-called Logarithmic Comparison Theorem (LCT), ...
Artículo
Solving the Subset-Sum Problem by P Systems with Active Membranes
(Springer, 2005)
We present the first membrance computing solution to the Subset-Sum problem using a family of deterministic P systems with active membranes. We do not use priority among rules, membrane dissolution nor cooperation; it ...
Capítulo de Libro
Formal Verification of Programs in Molecular Models with Random Access Memory
(Fénix Editorial, 2005)
Formal verification of molecular programs is a first step towards their automatic processing by means of reasoning systems (ACL2, PVS, etc). In this paper a systematic method to establish verifications of these programs ...
Ponencia
Diagnosing Errors in DbC Programs Using Constraint Programming
(Springer, 2005)
Model-Based Diagnosis allows to determine why a correctly designed system does not work as it was expected. In this paper, we propose a methodology for software diagnosis which is based on the combination of Design by ...
Artículo
Diagnostico de inconsistencia en contratos usando el diseño por contrato
(IEEE Computer Society, 2005)
Design by contract allows to develop more reliable and robust applications. Software is reliable if it can perform its work as it was specified, and it is robust if it can control abnormal situations. In this paper it is ...