Bücher von Jorge Fernández

Polynomiale Systeme sind grundlegende Werkzeuge für die Lösung schwieriger Probleme in Wissenschaft und Technik wie Robotik, automatisches Denken, künstliche Intelligenz und Signalverarbeitung. In ähnlicher Weise bilden boolesche Variablen seit den Anfängen des digitalen Zeitalters die Grundlage für Computeroperationen. Daher wird die Anwendung allgemeiner algebraischer Techniken auf die Boolesche Algebra heute als Methode zur Lösung komplexer Boolescher Gleichungssysteme verwendet, die früher nur mit Hilfe von Techniken der Booleschen Logik gelöst werden sollten. In diesem Projekt soll gezeigt werden, dass Zhegalkin-Polynome (auch bekannt als Algebraische Normalform - ANF) eine alternative Methode zur Darstellung boolescher Funktionen sind. Um die Hypothese zu testen, wurde ein Zhegalkin SAT Solver (ZPSAT) entwickelt. Die nach dem Test durchgeführten Ergebnisse ergaben, dass ZPSAT eine Konjunktion von XOR-Gleichungen in Bezug auf Zuverlässigkeit und Rechenzeit effizient lösen kann. Die Heuristik, die zur Erstellung von ZPSAT verwendet wurde, basiert hauptsächlich auf den Konzepten der Horn-Formeln und einer Schnell-Multiplikationsmethode von zwei ANF-Polynomen, die als Mobius-Transformation bekannt ist.

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.

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.

Les systèmes polynomiaux sont des outils fondamentaux pour la résolution de problèmes difficiles en science et en ingénierie, tels que la robotique, le raisonnement automatique, l'intelligence artificielle et le traitement des signaux. De même, dès les premiers jours de l'ère numérique, les variables booléennes ont été à la base des opérations informatiques. Par conséquent, l'application de techniques algébriques courantes à l'algèbre de Boole est désormais utilisée comme méthode pour résoudre des systèmes d'équations booléennes complexes qui, auparavant, ne pouvaient être résolus qu'à l'aide de techniques de logique booléenne. L'objectif de ce projet est de démontrer que les polynômes de Zhegalkin (également connus sous le nom d'Algebraic Normal Form - ANF) sont une autre façon de représenter les fonctions booléennes. Afin de tester l'hypothèse, un résolveur SAT de Zhegalkin (ZPSAT) a été développé. Les résultats obtenus après les tests ont conclu que ZPSAT peut résoudre une conjonction d'équations XOR de manière efficace en termes de fiabilité et de temps de calcul. L'heuristique utilisée pour construire ZPSAT était principalement basée sur les concepts utilisés par les formules de Horn et une méthode de multiplication rapide de deux polynômes ANF connue sous le nom de transformation de Mobius.

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.

Al redactar un libro de fisiología (un campo de la medicina grande y apasionante) a menudo se cae en el error de la simple descripción de los hechos en forma insípida. Fisiología celular contextualizada contiene el espíritu del profesor de fisiología Jorge Fernandez Dorado de la facultad de medicina de la Universidad Mayor de San Andres en La Paz-Bolivia. ¿Cual es este espíritu? el profundo entendimiento de los hechos, su relevancia, significado, comprensión del concepto y sobre todo el mensaje de la enseñanza. Este libro intenta captar este tipo de compresión y redactarla a fin de contextualizar el conocimiento de la fisiología. El viaje inicia en el origen de la vida, a través del DNA y el potencial de acción.