|
Descripción
|
|
|---|---|
| La informatica teorica es una disciplina basica ya que la mayora de los avances en informatica se sustentan en un solido resultado de esa materia. En los ultimos a~nos, tal vez debido al incremento de la potencia de los ordenadores como a la cercana del lmite fsico en la miniaturizacion de los componentes electronicos, resurge el interes por modelos formales de computaci on alternativos a la arquitectura clasica de von Neumman. Muchos de estos modelos se inspiran en la forma en la que la naturaleza resuelve e - cientemente problemas muy complejos. La mayora son computacionalmente completos e intrnsecamente paralelos. Por este motivo se les esta llegando a considerar como nuevos paradigmas de computacion (computacion natural). Se dispone, por tanto, de un abanico de arquitecturas abstractas tan potentes como los computadores convencionales y, a veces, mas e cientes: alguna de ellas mejora el rendimiento, al menos temporal, de problemas NPcompletos proporcionando costes no exponenciales. La representacion formal de las redes de procesadores evolutivos requiere de construcciones tanto independientes como dependientes del contexto, dicho de otro modo, en general una representacion formal completa de un NEP implica restricciones tanto sintacticas como semanticas, es decir, que muchas representaciones aparentemente (sintacticamente) correctas de casos particulares de estos dispositivos no tendran sentido porque podran no cumplir otras restricciones semanticas. La aplicacion de evolucion gramatical semantica a los NEPs pasa por la eleccion de un subconjunto de ellos entre los que buscar los que solucionen un problema concreto. Este trabajo presenta un nuevo enfoque el el campo de las Redes de Procesadores Evolutivos concretamente en lo relativo a las Redes de Procesadores Evolutivos Masivamente Paralelos dado que el comportamiento de los mismos en cuanto a los dos pasos intrnsecos en la computacion de los Procesadores Evolutivos: Evolucion y Comunicacion se van a tratar de forma paralela y no secuencial como hasta ahora en este contesto se puede producir el paso de comunicacion de los objetos sin la necesidad de la aplicacion previa de las reglas a los mismos en el procesador. Los MPNEP pueden considerarse un superconjunto de los NEP donde cada procesador en un MPNEP puede operar de forma paralela o secuencial segun sea necesario. En esta tesis se propone un mecanismo por el cual se puede obtener un MPNEP equivalente a cualquier NEP dado. Por tanto los MPNEP pueden afrontar problemas NP al menos en un tiempo lineal como los NEP, nos centraremos en el problema de colorear con tres colores dando como resultado del proceso el uso de un O(m+n) en cuanto a tiempo y recursos. A si mismo se desarrollara un simulador de Procesadores Evolutivos para realizar las pruebas de este ejemplo y comprobar los resultados obtenidos. | |
|
Internacional
|
Si |
|
ISBN
|
|
|
Tipo de Tesis
|
Doctoral |
|
Calificación
|
Sobresaliente cum laude |
|
Fecha
|
13/06/2009 |