Tesis doctoral de Javier Garcia Zubia
El objetivo de la tesis es desarrollar un nuevo metodo directo y computacional, camp deusto, de simplificacion de funciones booleanas. La implementacion de este metodo conforma un entorno propio de simplificacion. El objetivo de la minimizacion de funciones booleanas es reducir la expresion algebraica que representa a un circuito digital, de tal forma que su coste de fabricacion sea minimo. Las primeras tecnicas de simplificacion implementadas en ordenadores eran originariamente manuales, pero a partir de mediados de los setenta se desarrollan tecnicas estrictamente computacionales, que tienen como nucleo el ordenador, sus recursos y limitaciones. Inicialmente se describe el estado del arte en el campo de la simplificacion de funciones booleanas. se analizan los metodos actuales, estableciendose criterios de comparacion y clasificacion entre ellos. De este estudio se derivan cuales deberian de ser las propiedades de un metodo rapido y «casi optimo». El trabajo de investigacion, objeto de esta tesis, se orienta hacia el desarrollo de un metodo cuya rapidez y optimidad sean maximas. Operativamente, el metodo camp deusto simplifica una funcion booleana a partir de sus implicados primos. Las metodologías actuales de obtencion de implicados primos son combinatorias o algebraicas; y ambas se fundamentan en la aplicacion de una serie de reglas a los miniterminos o a la expresion booleana de la funcion a simplificar. Frente a ellas camp deusto se basa en una nueva metodología exploratoria. Esta metodología, desarrollada en el segundo capitulo, tiene dos fases. primeramente se obtiene la descripcion de todos los posibles implicados primos asociados a una funcion booleana cualquiera de un determinado numero de variables, almacenando dichas descripciones en la matriz mcvk. Posteriormente, cada funcion particular es procesada frente a mcvk, explorando todos los posibles implicados primos para decidir mediante un sencillo criterio cuales l
Datos académicos de la tesis doctoral «Metodo computacional camp deusto de simplificacion de funciones booleanas. desarrollo e implementacion.«
- Título de la tesis: Metodo computacional camp deusto de simplificacion de funciones booleanas. desarrollo e implementacion.
- Autor: Javier Garcia Zubia
- Universidad: Deusto
- Fecha de lectura de la tesis: 01/01/1996
Dirección y tribunal
- Director de la tesis
- Evaristo Kahoraho Bukubiye
- Tribunal
- Presidente del tribunal: Sebastián Dormido Bencomo
- Canto Diez M. Antonia (vocal)
- José Manuel Tarela Pereiro (vocal)
- Juan Luis Gutierrez Gonzalez (vocal)