Repositorio de producción científica de la Universidad de Sevilla

Verificación de programas en modelos de computación no convencionales

 

Advanced Search
 
Opened Access Verificación de programas en modelos de computación no convencionales
Cites
Show item statistics
Icon
Export to
Author: Sancho Caparrini, Fernando
Director: Pérez Jiménez, Mario de Jesús
Department: Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial
Date: 2002
Document type: Doctoral Thesis
Abstract: El objetivo fundamental de esta memoria consiste en desarrollar una primer aproximación a la verificación formal de procedimientos mecánicos en modelos no convencionales, en el marco de la Computación Natural. Para ello, se han elegido dos modelos de computación que poseen características dispares. El primero de ellos, el modelos sticker, es un modelo de computación molecular que usa como sustrato físico el ADN y que se describe a través de un conjunto de operaciones básicas susceptibles de ser implementadas en el laboratorio con las técnicas actuales de biología molecular. Dichas operaciones, a modo de instrucciones de un lenguaje de programación, permiten que los procedimientos diseñados en el modelo adquieran la forma de programas. El segundo de los modelos elegidos es el denominado computación celular con membranas o P sistemas. En este modelo, los procedimientos se describen por medio de mecanismos o dispositivos similares a máquinas, de ejecución independiente.|
Cite: Sancho Caparrini, F. (2002). Verificación de programas en modelos de computación no convencionales. (Tesis Doctoral Inédita). Universidad de Sevilla, Sevilla.
Size: 10.00Mb
Format: PDF

URI: http://hdl.handle.net/11441/23904

This work is under a Creative Commons License: 
Atribución-NoComercial-SinDerivadas 4.0 España

This item appears in the following Collection(s)