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

Os sistemas polinomiais são ferramentas fundamentais para a resolução de problemas difíceis em ciência e engenharia, como a robótica, o raciocínio automático, a inteligência artificial e o processamento de sinais. Do mesmo modo, desde os primórdios da era digital, as variáveis booleanas têm sido a base das operações informáticas. Assim, a aplicação de técnicas algébricas comuns à álgebra booleana é atualmente utilizada como um método para resolver sistemas complexos de equações booleanas que antes só podiam ser resolvidos utilizando técnicas de lógica booleana. O objetivo deste projeto é…mehr

Andere Kunden interessierten sich auch für
Produktbeschreibung
Os sistemas polinomiais são ferramentas fundamentais para a resolução de problemas difíceis em ciência e engenharia, como a robótica, o raciocínio automático, a inteligência artificial e o processamento de sinais. Do mesmo modo, desde os primórdios da era digital, as variáveis booleanas têm sido a base das operações informáticas. Assim, a aplicação de técnicas algébricas comuns à álgebra booleana é atualmente utilizada como um método para resolver sistemas complexos de equações booleanas que antes só podiam ser resolvidos utilizando técnicas de lógica booleana. O objetivo deste projeto é demonstrar que os polinómios de Zhegalkin (também conhecidos por Algebraic Normal Form - ANF) são uma forma alternativa de representar funções booleanas. Para testar a hipótese, foi desenvolvido um Zhegalkin SAT Solver (ZPSAT). Os resultados obtidos após os testes concluíram que o ZPSAT pode resolver uma conjunção de equações XOR de forma eficiente em termos de fiabilidade e tempo de computação. A heurística utilizada para construir o ZPSAT baseou-se principalmente nos conceitos utilizados pelas Fórmulas de Horn e num método de multiplicação rápida de dois polinómios ANF conhecido como transformada de 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.