door Francisco Azevedo · IOS Press,US · tapa blanda · ISBN 9781586033040
Inclusief btw
Hamelyn kwaliteitsgarantie · gecontroleerd en geverifieerd, of geld terug
«Constraint Solving Over Multi-valued Logics: Application to Digital Circuits» is de technische studie van Francisco Azevedo, in paperback, in het Engels.
Bestudeert systemen waarin componentfouten alleen bij bepaalde invoer aan de uitvoer verschijnen, wat test- en diagnoseproblemen oplevert. Ontwikkelt modellen met meerwaardige logica's die de booleaanse logica uitbreiden door afhankelijkheden tussen fouten te coderen, en generaliseert ze naar situaties met meerdere fouten. Het oplossen van constraints over eindige domeinen en verzamelingen blijkt effectief bij verschillende van deze problemen.
Deel 91 van de serie Frontiers in Artificial Intelligence and Applications. Oorspronkelijk gepubliceerd in 2002, omvat 224 pagina's.
Gericht op onderzoekers, ingenieurs en postdoctorale studenten in kunstmatige intelligentie, elektronica en circuitdiagnose.
