Constraint Solving over Multi-Valued Logics: Application to Digital Circuits (91) - Couverture souple

 
9781586033040: Constraint Solving over Multi-Valued Logics: Application to Digital Circuits (91)
Couverture souple
ISBN 10 : 1586033042 ISBN 13 : 9781586033040
Editeur : IOS Press,US, 2006

Synopsis

Systems are subject to faults in their components, affecting their overall behaviour. In a "black-box" system, such faults only become apparent in the output when appropriate inputs are given, which poses a number of satisfaction and optimization problems regarding both testing and diagnosing. This work addresses such problems developing models with multi-valued logics that it formalizes and generalizes to multiple faults. Such logics extend Boolean logic by encoding dependencies on faults, thus allowing the modelling of an arbitrary number of diagnostic theories. The effectiveness of constraint solving over finite domains and sets is shown on several problems.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
IOS Press,US
Date d'édition
2006
Langue
anglais
ISBN 10 
1586033042
ISBN 13 
9781586033040
Reliure
Broché
Nombre de pages
224
Éditeur
Azevedo F.
Coordonnées du fabricant
non disponible
Personne responsable
non disponible