Risolutore SAT polinomiale di Zhegalkin - Fernández, Jorge
26,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 6-10 Tagen
  • Broschiertes Buch

I sistemi polinomiali sono strumenti fondamentali per la soluzione di problemi difficili in campo scientifico e ingegneristico, come la robotica, il ragionamento automatico, l'intelligenza artificiale e l'elaborazione dei segnali. Allo stesso modo, fin dai primi giorni dell'era digitale, le variabili booleane sono state alla base delle operazioni dei computer. Pertanto, l'applicazione delle comuni tecniche algebriche all'algebra booleana viene ora utilizzata come metodo per risolvere sistemi di equazioni booleane complesse che in precedenza potevano essere risolte solo con tecniche di logica…mehr

Andere Kunden interessierten sich auch für
Produktbeschreibung
I sistemi polinomiali sono strumenti fondamentali per la soluzione di problemi difficili in campo scientifico e ingegneristico, come la robotica, il ragionamento automatico, l'intelligenza artificiale e l'elaborazione dei segnali. Allo stesso modo, fin dai primi giorni dell'era digitale, le variabili booleane sono state alla base delle operazioni dei computer. Pertanto, l'applicazione delle comuni tecniche algebriche all'algebra booleana viene ora utilizzata come metodo per risolvere sistemi di equazioni booleane complesse che in precedenza potevano essere risolte solo con tecniche di logica booleana. L'obiettivo di questo progetto è dimostrare che i polinomi di Zhegalkin (noti anche come Algebraic Normal Form - ANF) sono un modo alternativo per rappresentare le funzioni booleane. Per verificare l'ipotesi, è stato sviluppato un risolutore SAT Zhegalkin (ZPSAT). I risultati dei test hanno dimostrato che ZPSAT è in grado di risolvere una congiunzione di equazioni XOR in modo efficiente in termini di affidabilità e tempo di calcolo. L'euristica utilizzata per costruire ZPSAT si è basata principalmente sui concetti utilizzati dalle formule di Horn e su un metodo di moltiplicazione rapida di due polinomi ANF noto come trasformata di Mobius.
Autorenporträt
Ingénieur système avec un accent sur les projets de développement de logiciels. Il est titulaire d'un master en informatique avancée de l'université du Kent, avec une spécialisation en intelligence artificielle. Ses domaines d'intérêt sont les suivants : Réseaux neuronaux cognitifs, informatique bio-inspirée, découverte de connaissances, informatique parallèle et distribuée.