عنوان
پدید آورنده
موضوع
رده
QA76.612 .A94 2003eb
QA76
.
612
.
A94
2003eb
کتابخانه
محل استقرار
058545860X
1586033042
1601294123
4274905551
9780585458601
9781586033040
9781601294128
9784274905551
b738123
Constraint solving over multi-valued logics :
[Book]
application to digital circuits /
Francisco Azevedo.
Tokyo :
Ohmsha,
2003.
1 online resource (xviii, 204 pages) :
illustrations.
Frontiers in artificial intelligence and applications ;
Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence
v. 91
Includes bibliographical references (pages 145-153).
Cover; Title page; Table of Contents; Chapter 1. Introduction; Chapter 2. Circuit Modelling; Chapter 3. Test Patterns; Chapter 4. Differential Diagnosis; Chapter 5. Problems with Multiple Diagnoses; Chapter 6. A New Set Constraint Solver: Cardinal; Chapter 7. Test Pattern Optimisation; Chapter 8. Generalisation, Discussion and Conclusion; References; Appendix A: ISCAS Circuits; Appendix B: Logics.
0
Systems are subject to faults in their components, affecting their overall behaviour. 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.
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Constraint solving over multi-valued logics.
4274905551
Constraint programming (Computer science)
Digital electronics.
Many-valued logic.
COMPUTERS-- Programming-- Open Source.
COMPUTERS-- Software Development & Engineering-- General.
COMPUTERS-- Software Development & Engineering-- Tools.
Constraint programming (Computer science)
Digital electronics.
Many-valued logic.
COM-- 051230
COM-- 051390
COM-- 051440
TK
005
.
116
22
QA76
.
612
.
A94
2003eb
Azevedo, Francisco.
20201203231902.0
pn
مطالعه متن کتاب [Book]
Y
