{"id":17816,"date":"2018-03-09T09:06:04","date_gmt":"2018-03-09T09:06:04","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/verificacion-de-programas-en-modelos-de-computacion-no-convencionales\/"},"modified":"2018-03-09T09:06:04","modified_gmt":"2018-03-09T09:06:04","slug":"verificacion-de-programas-en-modelos-de-computacion-no-convencionales","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/ciencias-de-la-vida\/verificacion-de-programas-en-modelos-de-computacion-no-convencionales\/","title":{"rendered":"Verificaci\u00f3n de programas en modelos de computaci\u00f3n no convencionales"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Fernando Sancho Caparrini <\/strong><\/h2>\n<p>La computaci\u00f3n natural es una disciplina inspirada en el funcionamiento de los organismos vivos. Tiene como objetivo fundamental la simulaci\u00f3n e implementaci\u00f3n de los procesos din\u00e1micos que se dan en la naturaleza y que son susceptibles de ser interpretados como procedimientos de c\u00e1lculo.  el objetivo de la memoria es establecer un marco formal que permita la verificaci\u00f3n de programas desarrollados en algunos modelos relevantes de computaci\u00f3n natural: el modelo sticker y los p sistemas de transici\u00f3n, siendo, el primero de ellos un modelo de computaci\u00f3n molecular, y el segundo un modelo de computaci\u00f3n celular. Como ejemplo de aplicaci\u00f3n, se presenta el dise\u00f1o y posterior verificaci\u00f3n formal de programas que resuelven, en dichos modelos, algunos problemas cl\u00e1sicos np-completos.  entre las aportaciones que la memoria presenta queremos destacar:  1,- desarrollo de un m\u00e9todo de representaci\u00f3n de conjuntos num\u00e9ricos en el modelo sticker.  2,- dise\u00f1o de procedimientos moleculares en el modelo sticker que resuelven problemas de car\u00e1cter general sobre conjuntos num\u00e9ricos y que pueden ser usados como subrutinas (problema del rellenado, el del recubrimiento, de la ordenaci\u00f3n cardinal, de las familias disjuntas, y tratamiento de funciones peso sobre conjuntos).  3,- dise\u00f1o de las primeras soluciones moleculares a algunos problemas np-completos (subset-sum, de la mochila en suversi\u00f3n acotada y no acotada, set-packing, exact-cover) y mejora de una soluci\u00f3n molecular del problema del recubrimiento minimal.  4,- desarrollo de una metodolog\u00eda para la verificaci\u00f3n de programas en un modelo de computaci\u00f3n molecular con memoria.  5,- aplicaci\u00f3n de la metodolog\u00eda anterior a los programas dise\u00f1ados en el modelo sticker.  6,- elaboraci\u00f3n de una formalizaci\u00f3n de los p sistemas de transici\u00f3n.  7,- primera aproximaci\u00f3n a la verificaci\u00f3n de p sistemas de transici\u00f3n.  8,- dise\u00f1o y verificaci\u00f3n de p sistemas de transic<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Verificaci\u00f3n de programas en modelos de computaci\u00f3n no convencionales<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Verificaci\u00f3n de programas en modelos de computaci\u00f3n no convencionales <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Fernando Sancho Caparrini <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Sevilla<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 27\/06\/2002<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<h3>Direcci\u00f3n y tribunal<\/h3>\n<ul>\n<li><strong>Director de la tesis<\/strong>\n<ul>\n<li> P\u00e9rez Jim\u00e9nez Mario Jes\u00fas<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: javier Martin vide <\/li>\n<li>Jos\u00e9 Antonio Alonso jimenez (vocal)<\/li>\n<li>gheorghe Paun (vocal)<\/li>\n<li>v\u00edctor Mitrana (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Fernando Sancho Caparrini La computaci\u00f3n natural es una disciplina inspirada en el funcionamiento de los organismos vivos. [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"footnotes":""},"categories":[7016,1890,35,55576,126,10715],"tags":[55577,55579,4331,10822,55578,55580],"class_list":["post-17816","post","type-post","status-publish","format-standard","hentry","category-biomatematicas","category-ciencia-de-los-ordenadores","category-ciencias-de-la-vida","category-contabilidad-automatizada","category-matematicas","category-sevilla","tag-fernando-sancho-caparrini","tag-gheorghe-paun","tag-javier-martin-vide","tag-jose-antonio-alonso-jimenez","tag-perez-jimenez-mario-jesus","tag-victor-mitrana"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/17816","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/comments?post=17816"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/17816\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=17816"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=17816"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=17816"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}