Tesis doctoral de Fernando Arroyo Montoro
En esta tesis doctoral se ha desarrollado un estudio formal de los sistemas de membranas para la implantacion de simulaciones software de este modelo computacional. Para ello, se han caracterizado formalmente los diversos componentes del sistema y sobre todo, la dinamica de evolucion de los p sistemas de transicion. el desarrollo de esta tesis se puede dividir en varios apartados: – los relativos a la obtencion de un modelo formal para la descripcion del indeterminismo y del paralelismo intrinseco del modelo. Para ello se considero la variante mas simple del p sistema – los p sistemas de transicion – y se procedio a describir formalmente los procesos desarrollados en las regiones del p sistema hasta obtener la caracterizacion algebraica de dichos procesos. – los relativos a la descripcion del modelo algebraico en terminos de estructuras de datos abstractas. Se determinaron las estructuras de datos y las operaciones sobre ellas, que representan de forma mas eficiente y fiel la formalizacion algebraica obtenida para los p sistemas de transicion. – se ha definido un lenguaje para la representacion de p sistemas de transicion. este lenguaje se ha denominado biolenguaje porque sus sentencias describen componentes muy cercanos a la biología, ya que estamos describiendo membranas y regiones que contienen objetos (sustancias quimicas y enzimas) que son transformados o enviados a otras regiones por reglas de evolucion (reacciones quimicas). El biolenguaje, es una herramienta de descripcion de las configuraciones de los p sistemas de transicion. Una vez descrito un p sistema de transicion en el biolenguaje, se tiene un programa susceptible de ser compilado y ejecutado sobre un computador digital. – se han definido las estructuras de datos y los procesos necesarios para implantar p sistemas de transicion en dispositivos hardware especificamente diseñados. En este sentido, se han identificado: los modos de operacion de estos dispositivos
Datos académicos de la tesis doctoral «Estructuras y biolenguajes para simular computacion con membranas«
- Título de la tesis: Estructuras y biolenguajes para simular computacion con membranas
- Autor: Fernando Arroyo Montoro
- Universidad: Politécnica de Madrid
- Fecha de lectura de la tesis: 28/06/2004
Dirección y tribunal
- Director de la tesis
- Juan B. Castellanos Peñuela
- Tribunal
- Presidente del tribunal: rafael Gonzalo molina
- mario de Jesús Pérez jiménez (vocal)
- victor Mitrana (vocal)
- José María Sempere luna (vocal)