{"id":{"repo_id":"sevilla","oai_identifier":"oai:idus.us.es:11441/23904"},"canonical_url":"https://search.dev.ndltd.org/etd/sevilla/oai:idus.us.es:11441/23904","repository":{"repo_id":"sevilla","name":"Universidad de Sevilla","base_url":"https://idus.us.es/server/oai/request"},"display":{"title":"Verificación de programas en modelos de computación no convencionales","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.|","abstract_html":"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.|","abstract_has_math":false,"creators":["Sancho Caparrini, Fernando"],"institution":null,"degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":["Pérez Jiménez, Mario de Jesús"],"committee_chairs":[],"committee_members":[],"year":2002,"date_issued":"2002","date_published":"2002","updated_at":"2026-07-24T04:29:54Z","subjects":[],"languages":["spa"],"rights":["Atribución-NoComercial-SinDerivadas 4.0 España"],"rights_urls":["http://creativecommons.org/licenses/by-nc-nd/4.0/"],"identifier_entries":[]},"links":{"outbound_url":"http://hdl.handle.net/11441/23904","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Pérez Jiménez, Mario de Jesús"]},{"key":"dc:creator","label":"Author","values":["Sancho Caparrini, Fernando"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2015-04-16T09:19:05Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2015-04-16T09:19:05Z"]},{"key":"dc:date.issued","label":"Date","values":["2002"]},{"key":"dc:type","label":"Dc Type","values":["doctoral thesis"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language.iso","label":"Language (ISO)","values":["spa"]},{"key":"dc:rights","label":"Dc Rights","values":["Atribución-NoComercial-SinDerivadas 4.0 España"]},{"key":"dc:rights.uri","label":"Rights URI","values":["http://creativecommons.org/licenses/by-nc-nd/4.0/"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["http://hdl.handle.net/11441/23904"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["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.|"]},{"key":"dc:format","label":"Dc Format","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["Verificación de programas en modelos de computación no convencionales"]}]}],"canonical_facts":{"dc:contributor.advisor":["Pérez Jiménez, Mario de Jesús"],"dc:creator":["Sancho Caparrini, Fernando"],"dc:date.accessioned":["2015-04-16T09:19:05Z"],"dc:date.available":["2015-04-16T09:19:05Z"],"dc:date.issued":["2002"],"dc:description.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.|"],"dc:format":["application/pdf"],"dc:identifier.uri":["http://hdl.handle.net/11441/23904"],"dc:language.iso":["spa"],"dc:rights":["Atribución-NoComercial-SinDerivadas 4.0 España"],"dc:rights.uri":["http://creativecommons.org/licenses/by-nc-nd/4.0/"],"dc:title":["Verificación de programas en modelos de computación no convencionales"],"dc:type":["doctoral thesis"]},"updated_at":"2026-07-24T04:29:54Z"}