Articles liés à Constraint Solving over Multi-Valued Logics: Application...
- ÉditeurIOS Press,US
- Date d'édition2002
- ISBN 10 1586033042
- ISBN 13 9781586033040
- ReliureBroché
- Langueanglais
- Nombre de pages224
Résultats de recherche pour Constraint Solving over Multi-Valued Logics: Application...
Image d'archives
Constraint Solving Over Multi-valued Logics: Application to Digital Circuits: 91 (Frontiers in Artificial Intelligence & Applications): v. 91 (Frontiers in Artificial Intelligence and Applications) [Paperback] Azevedo, Francisco
Edité par
Ios Pr Inc, 2003
ISBN 10 : 1586033042
ISBN 13 : 9781586033040
Ancien ou d'occasion
Couverture souple
Vendeur : Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. N° de réf. du vendeur 068573-3
Quantité disponible : 1 disponible(s)
Image d'archives
Constraint Solving Over Multi-valued Logics
Edité par
Ios Pr Inc, 2003
ISBN 10 : 1586033042
ISBN 13 : 9781586033040
Ancien ou d'occasion
Couverture souple
Vendeur : Hamelyn, Madrid, Espagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Muy bueno. : Este libro aborda los problemas relacionados con los fallos en los componentes de los sistemas, que afectan su comportamiento general. Se desarrollan modelos con lógicas multivaluadas que se formalizan y generalizan a múltiples fallos. Estas lógicas extienden la lógica booleana codificando dependencias en fallos, lo que permite modelar un número arbitrario de teorías de diagnóstico. Se demuestra la efectividad de la resolución de restricciones sobre dominios y conjuntos finitos en varios de los problemas mencionados. EAN: 9781586033040 Tipo: Libros Categoría: Tecnología|Ciencias Título: Constraint Solving Over Multi-valued Logics Autor: Francisco Azevedo Editorial: IOS Press,US Idioma: en Páginas: 224 Formato: tapa blanda. N° de réf. du vendeur Happ-2025-01-21-843f2209
Quantité disponible : 1 disponible(s)
Image d'archives
Constraint Solving over Multi-valued Logics: Application to Digital Circuits: 91 : V. 91 Azevedo, Francisco
Edité par
Ios Pr Inc, 2003
ISBN 10 : 1586033042
ISBN 13 : 9781586033040
Ancien ou d'occasion
Couverture souple
Vendeur : Hamelyn, Madrid, Espagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Bueno. : 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. EAN: 9781586033040 Tipo: Libros Título: Constraint Solving over Multi-valued Logics: Application to Digital Circuits: 91 : V. 91 Azevedo, Francisco Autor: Azevedo, Francisco Editorial: Ios Pr Inc Formato: Libro de bolsillo Información adicional: (frontiers in Artificial Intelligence & Applications). N° de réf. du vendeur Happ-2025-01-21-f7311d82
Quantité disponible : 1 disponible(s)
Image d'archives
Constraint Solving over Multi-Valued Logics: Application to Digital Circuits (Frontiers in Artificial Intelligence and Applications)
Edité par
Ios Pr Inc, 2002
ISBN 10 : 1586033042
ISBN 13 : 9781586033040
Ancien ou d'occasion
Paperback
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : Like New. Like NewLIKE NEW. book. N° de réf. du vendeur ERICA83015860330423
Quantité disponible : 1 disponible(s)