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

Azevedo, Francisco

Brossura

ISBN 10: 1586033042 ISBN 13: 9781586033040

Casa editrice: Ios Pr Inc, 2006

Riassunto

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.

Su questo libro

Dalla quarta di copertina

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 optimisation problems regarding both testing and diagnosing. In this dissertation we address such problems, developing models with multi-valued logics that we formalise and generalise 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 of the above problems.

Dettagli dell'edizione

• Editore: Ios Pr Inc
• Data di pubblicazione: 2006
• Lingua: Inglese
• ISBN 10: 1586033042
• ISBN 13: 9781586033040
• Rilegatura: Copertina flessibile
• Numero di pagine: 224
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile