Cargando…
Constraint solving over multi-valued logics : application to digital circuits /
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.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; Washington, DC : Tokyo :
IOS ; Ohmsha,
2003.
|
| Colección: | Frontiers in artificial intelligence and applications ;
v. 91. Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocm53011694 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 030911s2003 ne a ob 000 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d OCLCQ |d TUU |d OCLCQ |d TNF |d OCLCQ |d UV0 |d CAI |d OCLCE |d E7B |d DKDLA |d IDEBK |d OCLCO |d FVL |d OCLCQ |d OCLCF |d OCLCO |d OCLCQ |d YDXCP |d MERUC |d OCLCQ |d AZK |d COCUF |d AGLDB |d MOR |d PIFBR |d OCLCQ |d JBG |d OCLCQ |d WY@ |d LUE |d OCLCQ |d RCC |d VTS |d OCLCQ |d INT |d VT2 |d OCLCQ |d WYU |d S9I |d STF |d UX1 |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 191037939 |a 228132452 |a 276799395 |a 297460356 |a 437171314 |a 475328154 |a 488492326 |a 560017623 |a 607404473 |a 666964402 |a 722445253 |a 728035480 |a 961541979 |a 961625906 |a 962597530 |a 962672683 |a 973978755 |a 974062681 |a 982315353 |a 988452161 |a 992022623 |a 1013791873 |a 1053060687 |a 1055332926 |a 1064081843 |a 1081260473 |a 1101715542 |a 1105544160 |a 1108848270 |a 1119039156 |a 1121021989 |a 1125458032 |a 1136205410 |a 1148100923 |a 1156650804 |a 1178675866 |a 1228613120 |a 1247712008 |a 1257340056 | ||
| 020 | |a 058545860X |q (electronic bk.) | ||
| 020 | |a 9780585458601 |q (electronic bk.) | ||
| 020 | |a 9781586033040 |q (IOS Press) | ||
| 020 | |a 1586033042 |q (IOS Press) | ||
| 020 | |a 9784274905551 |q (Ohmsha) | ||
| 020 | |a 4274905551 |q (Ohmsha) | ||
| 020 | |a 9781601294128 |q (electronic bk.) | ||
| 020 | |a 1601294123 |q (electronic bk.) | ||
| 029 | 1 | |a AU@ |b 000051357676 | |
| 029 | 1 | |a DEBBG |b BV043132682 | |
| 029 | 1 | |a DEBSZ |b 422418250 | |
| 029 | 1 | |a DKDLA |b 820120-katalog:999928921305765 | |
| 029 | 1 | |a GBVCP |b 801066417 | |
| 029 | 1 | |a NZ1 |b 11772502 | |
| 029 | 1 | |a NZ1 |b 12033851 | |
| 035 | |a (OCoLC)53011694 |z (OCoLC)191037939 |z (OCoLC)228132452 |z (OCoLC)276799395 |z (OCoLC)297460356 |z (OCoLC)437171314 |z (OCoLC)475328154 |z (OCoLC)488492326 |z (OCoLC)560017623 |z (OCoLC)607404473 |z (OCoLC)666964402 |z (OCoLC)722445253 |z (OCoLC)728035480 |z (OCoLC)961541979 |z (OCoLC)961625906 |z (OCoLC)962597530 |z (OCoLC)962672683 |z (OCoLC)973978755 |z (OCoLC)974062681 |z (OCoLC)982315353 |z (OCoLC)988452161 |z (OCoLC)992022623 |z (OCoLC)1013791873 |z (OCoLC)1053060687 |z (OCoLC)1055332926 |z (OCoLC)1064081843 |z (OCoLC)1081260473 |z (OCoLC)1101715542 |z (OCoLC)1105544160 |z (OCoLC)1108848270 |z (OCoLC)1119039156 |z (OCoLC)1121021989 |z (OCoLC)1125458032 |z (OCoLC)1136205410 |z (OCoLC)1148100923 |z (OCoLC)1156650804 |z (OCoLC)1178675866 |z (OCoLC)1228613120 |z (OCoLC)1247712008 |z (OCoLC)1257340056 | ||
| 042 | |a dlr | ||
| 050 | 4 | |a QA76.612 |b .A94 2003eb | |
| 072 | 7 | |a COM |x 051390 |2 bisacsh | |
| 072 | 7 | |a COM |x 051440 |2 bisacsh | |
| 072 | 7 | |a COM |x 051230 |2 bisacsh | |
| 072 | 7 | |a TK |2 lcco | |
| 082 | 0 | 4 | |a 005.116 |2 22 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Azevedo, Francisco. | |
| 245 | 1 | 0 | |a Constraint solving over multi-valued logics : |b application to digital circuits / |c Francisco Azevedo. |
| 260 | |a Amsterdam ; |a Washington, DC : |b IOS ; |a Tokyo : |b Ohmsha, |c 2003. | ||
| 300 | |a 1 online resource (xviii, 204 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a data file | ||
| 490 | 1 | |a Frontiers in artificial intelligence and applications ; |v v. 91 | |
| 490 | 1 | |a Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence | |
| 504 | |a Includes bibliographical references (pages 145-153). | ||
| 588 | 0 | |a Print version record. | |
| 506 | |3 Use copy |f Restrictions unspecified |2 star |5 MiAaHDL | ||
| 533 | |a Electronic reproduction. |b [Place of publication not identified] : |c HathiTrust Digital Library, |d 2010. |5 MiAaHDL | ||
| 538 | |a 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. |u http://purl.oclc.org/DLF/benchrepro0212 |5 MiAaHDL | ||
| 583 | 1 | |a digitized |c 2010 |h HathiTrust Digital Library |l committed to preserve |2 pda |5 MiAaHDL | |
| 505 | 0 | |a 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. | |
| 520 | |a 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. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Constraint programming (Computer science) | |
| 650 | 0 | |a Many-valued logic. | |
| 650 | 0 | |a Digital electronics. | |
| 650 | 6 | |a Programmation par contraintes. | |
| 650 | 6 | |a Logique multivalente. | |
| 650 | 6 | |a Électronique numérique. | |
| 650 | 7 | |a COMPUTERS |x Programming |x Open Source. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Software Development & Engineering |x Tools. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Software Development & Engineering |x General. |2 bisacsh | |
| 650 | 7 | |a Constraint programming (Computer science) |2 fast | |
| 650 | 7 | |a Digital electronics |2 fast | |
| 650 | 7 | |a Many-valued logic |2 fast | |
| 776 | 0 | 8 | |i Print version: |a Azevedo, Francisco. |t Constraint solving over multi-valued logics. |d Amsterdam ; Washington, DC : IOS ; Tokyo : Ohmsha, 2003 |z 1586033042 |z 4274905551 |w (OCoLC)51911916 |
| 830 | 0 | |a Frontiers in artificial intelligence and applications ; |v v. 91. | |
| 830 | 0 | |a Frontiers in artificial intelligence and applications. |p Dissertations in artificial intelligence. | |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=87528 |z Texto completo |
| 938 | |a EBSCOhost |b EBSC |n 87528 | ||
| 938 | |a YBP Library Services |b YANK |n 2628483 | ||
| 938 | |a YBP Library Services |b YANK |n 2334041 | ||
| 994 | |a 92 |b IZTAP | ||