Los sistemas polin籀micos son herramientas fundamentales en la soluci籀n de problemas dif穩ciles en ciencia e ingenier穩a como la rob籀tica, el razonamiento automatizado, la inteligencia artificial y el procesamiento de se簽ales. Del mismo modo, desde los inicios de la era digital, las variables booleanas han sido la base de las operaciones inform獺ticas. De ah穩 que la aplicaci籀n de t矇cnicas algebraicas comunes al 獺lgebra booleana se utilice ahora como m矇todo para resolver complejos sistemas de ecuaciones booleanas que antes s籀lo se pretend穩an resolver utilizando t矇cnicas de l籀gica booleana. El objetivo de este proyecto es demostrar que los polinomios de Zhegalkin (tambi矇n conocidos como Forma Algebraica Normal - ANF) son una forma alternativa de representar funciones booleanas. Para probar la hip籀tesis, se desarroll籀 un solucionador SAT de Zhegalkin (ZPSAT). Los resultados obtenidos tras las pruebas concluyeron que ZPSAT puede resolver una conjunci籀n de ecuaciones XOR de forma eficiente en t矇rminos de fiabilidad y tiempo de computaci籀n. La heur穩stica utilizada para construir ZPSAT se bas籀 principalmente en los conceptos utilizados por las f籀rmulas de Horn y un m矇todo de multiplicaci籀n r獺pida de dos polinomios ANF conocido como transformada de Mobius.
Solucionador SAT polin籀mico Zhegalkin
- 作者： Jorge,Fern獺ndez
- 出版社： Ingram
- 出版日期： 2023-08-31
- ISBN碼： 9786206413714
- 編號： 203c309359421
$ 2,167 元
原價 2,408