por Francisco Azevedo · IOS Press,US · tapa blanda · ISBN 9781586033040
IVA incluído
Garantia de qualidade Hamelyn · revisto e verificado, ou devolvemos o dinheiro
«Constraint Solving Over Multi-valued Logics: Application to Digital Circuits» é o estudo técnico de Francisco Azevedo, em brochura, em inglês.
Estuda sistemas em que as falhas de componentes só se manifestam na saída perante certas entradas, o que coloca problemas de teste e diagnóstico. Desenvolve modelos com lógicas multivaloradas que estendem a lógica booleana codificando dependências entre falhas, e os generaliza a situações com múltiplas falhas. A resolução de restrições sobre domínios e conjuntos finitos mostra-se eficaz em vários desses problemas.
Volume 91 da série Frontiers in Artificial Intelligence and Applications. Publicado originalmente em 2002, consta de 224 páginas.
Orientado a pesquisadores, engenheiros e estudantes de pós-graduação em inteligência artificial, eletrônica e diagnóstico de circuitos.
