CMUL e-Book Database
account_balance
Home > Book
Constraint solving over multi-valued logics
application to digital circuits
| Creator | |
| Publisher |
2003-01-01
|
| ISBN | 9781586033040, 1586033042, 9784274905551, 4274905551,
|
| Language |
English
|
| Category | |
| Subject | COMPUTERS -- Programming -- Open Source. -- bisacsh COMPUTERS -- Software Development & Engineering -- General. -- bisacsh COMPUTERS -- Software Development & Engineering -- Tools. -- bisacsh Constraint programming (Computer science) Constraint programming (Computer science) -- fast -- (OCoLC)fst00875873 Digital electronics. Digital electronics. -- fast -- (OCoLC)fst00893670 Integrated circuits. Many-valued logic. Many-valued logic. -- fast -- (OCoLC)fst01008548 |
Description
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.