Verwandte Artikel zu Constraint Solving Over Multi-valued Logics: Application...

Constraint Solving Over Multi-valued Logics: Application to Digital Circuits: v. 91 (Frontiers in Artificial Intelligence and Applications) - Softcover

 
9781586033040: Constraint Solving Over Multi-valued Logics: Application to Digital Circuits: v. 91 (Frontiers in Artificial Intelligence and Applications)

Reseña del editor

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

  • VerlagIOS Press,US
  • Erscheinungsdatum2002
  • ISBN 10 1586033042
  • ISBN 13 9781586033040
  • EinbandTapa blanda
  • SpracheEnglisch
  • Anzahl der Seiten224

Gebraucht kaufen

Zustand: Wie neu
Diesen Artikel anzeigen

EUR 23,58 für den Versand von Vereinigtes Königreich nach USA

Versandziele, Kosten & Dauer

Suchergebnisse für Constraint Solving Over Multi-valued Logics: Application...

Beispielbild für diese ISBN

Azevedo, Francisco
Verlag: Ios Pr Inc, 2003
ISBN 10: 1586033042 ISBN 13: 9781586033040
Gebraucht Softcover

Anbieter: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: As New. Bestandsnummer des Verkäufers 068573-3

Verkäufer kontaktieren

Gebraucht kaufen

EUR 17,11
Währung umrechnen
Versand: EUR 23,58
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Francisco Azevedo
Verlag: Ios Pr Inc, 2003
ISBN 10: 1586033042 ISBN 13: 9781586033040
Gebraucht Softcover

Anbieter: Hamelyn, Madrid, Spanien

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: 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. Bestandsnummer des Verkäufers Happ-2025-01-21-843f2209

Verkäufer kontaktieren

Gebraucht kaufen

EUR 31,93
Währung umrechnen
Versand: EUR 9,99
Von Spanien nach USA
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Azevedo, Francisco
Verlag: Ios Pr Inc, 2003
ISBN 10: 1586033042 ISBN 13: 9781586033040
Gebraucht Softcover

Anbieter: Hamelyn, Madrid, Spanien

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: 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). Bestandsnummer des Verkäufers Happ-2025-01-21-f7311d82

Verkäufer kontaktieren

Gebraucht kaufen

EUR 31,93
Währung umrechnen
Versand: EUR 9,99
Von Spanien nach USA
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Azevedo, Francisco
Verlag: Ios Pr Inc, 2002
ISBN 10: 1586033042 ISBN 13: 9781586033040
Gebraucht Paperback

Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Paperback. Zustand: Like New. Like NewLIKE NEW. book. Bestandsnummer des Verkäufers ERICA83015860330423

Verkäufer kontaktieren

Gebraucht kaufen

EUR 34,01
Währung umrechnen
Versand: EUR 29,48
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb