Buscar
Mostrando ítems 71-79 de 79
Ponencia
Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model-Based Diagnosis
(Springer, 2004)
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. ...
Ponencia
A model integration of DX an FDI techniques for automatic determination of minimal diagnosis
(2005)
Two communities work in parallel in model-based diagnosis: FDI and DX. In this work an integration of the FDI and the DX communities is proposed. Only relevant information for the identification of the minimal diagnosis ...
Ponencia
Distributed Model-Based Diagnosis using Object-Relational Constraint Databases
(IEEE Computer Society, 2006)
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 ...
Ponencia
A scheduling approach to assembly sequence planning
(IEEE Computer Society, 2003)
This paper presents a model for the selection of optimal assembly sequences for a product in multirobot systems. The objective of the plan is the minimization of the total assembly time (makespan). To meet this objective, ...
Ponencia
Metodología para la Representación Gráfica de Relaciones Cualitativas entre Tópicos de Interés
(Edición Digital @tres, 2002-06)
En este trabajo presentamos una metodología que permite cuantificar y representar gráficamente el grado de similitud entre diferentes tópicos de interés, de acuerdo a una interpretación intuitiva de la similitud entre ...
Ponencia
Determination of Possible Minimal Conflict Sets Using Constraint Databases Technology and Clustering
(Springer, 2004)
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 can be represented by constraints associated to components. Inputs ...
Artículo
Obtención de patrones de comportamiento de modelos semicualitativos
(Asociación Española para la Inteligencia Artificial, 2000)
En este artículo se propone una nueva metodología pensada para obtener los patrones de comportamiento de los modelos semicualitativos de sistemas dináamicos. En estos sistemas se permite la inclusión de conocimiento ...
Artículo
Constraint satisfaction techniques for diagnosing errors in Design by Contract software
(Association for Computing Machinery (ACM), 2006)
Design by Contract enables the development of more reliable and robust software applications. In this paper, a methodology that diagnoses errors in software is proposed. This is based on the combination of Design by ...
Ponencia
Improving the Computational Efficiency in Symmetrical Numeric Constraint Satisfaction Problems
(Springer, 2005)
Models are used in science and engineering for experimentation, analysis, diagnosis or design. In some cases, they can be considered as numeric constraint satisfaction problems (NCSP). Many models are symmetrical NCSP. ...