Klik på en miniature for at gå til Google Books
Indlæser... Constraint solving over multi-valued logics : application to digital circuits (udgave 2003)af Francisco Azevedo
Work InformationConstraint Solving over Multi-Valued Logics: Application to Digital Circuits (Frontiers in Artificial Intelligence and Applications) af Francisco Azevedo
Ingen Indlæser...
Bliv medlem af LibraryThing for at finde ud af, om du vil kunne lide denne bog. Der er ingen diskussionstråde på Snak om denne bog. Ingen anmeldelser ingen anmeldelser | tilføj en anmeldelse
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. No library descriptions found. |
Current DiscussionsIngen
Google Books — Indlæser... GenrerMelvil Decimal System (DDC)621.395Technology Engineering and allied operations Applied physics Electrical, magnetic, optical, communications, computer engineering; electronics, lighting Computer engineering CircuitryLC-klassificeringVurderingGennemsnit: Ingen vurdering.Er det dig?Bliv LibraryThing-forfatter. |