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
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )