{"id":70255,"date":"2018-03-09T23:14:48","date_gmt":"2018-03-09T23:14:48","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/programacion-celular-resolucion-eficiente-de-problemas-numericos-np-completos\/"},"modified":"2018-03-09T23:14:48","modified_gmt":"2018-03-09T23:14:48","slug":"programacion-celular-resolucion-eficiente-de-problemas-numericos-np-completos","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/sevilla\/programacion-celular-resolucion-eficiente-de-problemas-numericos-np-completos\/","title":{"rendered":"Programaci\u00f3n celular: resoluci\u00f3n eficiente de problemas num\u00e9ricos np-completos"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Agust\u00edn Riscos N\u00fa\u00f1ez <\/strong><\/h2>\n<p>La memoria se sit\u00faa en el marco te\u00f3rico de la computaci\u00f3n celular con membranas. Se trata de un modelo de computaci\u00f3n no convencional introducido en 1998 por gh. Paun, inspirado en el funcionamiento de la c\u00e9lula. concretamente, se introduce formalmente una variante de sistemas de computaci\u00f3n celular con membranas que se usa como modelo para atacar la resoluci\u00f3n de problemas np-completos: los sistemas celulares reconocedores de lenguajes con membranas activas.  en la memoria se define, adem\u00e1s, una clase de complejidad polinomial que proporciona un concepto de resolubilidad eficiente de problemas a trav\u00e9s de sistemas celulares reconocedores; es decir, un concepto de tratabilidad en este nuevo marco no convencional (por el momento a nivel te\u00f3rico, ya que a\u00fan no existen implementaciones en soporte electr\u00f3nico ni bioqu\u00edmico de los sistemas celulares).  en este marco, se incluyen en la memoria el dise\u00f1o, an\u00e1lisis y verificaci\u00f3n formal de soluciones celulares eficientes para tresproblemas num\u00e9ricos np-completos: subset sum,  knapsack y partici\u00f3n.  tras el estudio de dichas soluciones, quedan patentes una serie de similitudes entre ellas que dan pie a abordar la tarea de dise\u00f1ar un  lenguaje de programaci\u00f3n celular, en el sentido de que se puede considerar que ciertos grupos de reglas se encargan de ejecutar tareas espec\u00edficas y que, por tanto, pueden ser tratadas de manera independiente, a modo de las macros de un modelo de computaci\u00f3n orientado a programas.  en la memoria se estudia, adem\u00e1s, un programa inform\u00e1tico escrito en prolog capaz de simular, paso a paso, una computaci\u00f3n de cualquier sistema celular con membranas activas. Se ha programado un m\u00f3dulo para dicho simulador que es capaz de generar autom\u00e1ticamente, dada una instancia de uno de los tres problemas mencionados anteriormente, los ficheros prolog correspondientes a la configuraci\u00f3n inicial y al conjunto de reglas del sistema celular encargado de r<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Programaci\u00f3n celular: resoluci\u00f3n eficiente de problemas num\u00e9ricos np-completos<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Programaci\u00f3n celular: resoluci\u00f3n eficiente de problemas num\u00e9ricos np-completos <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Agust\u00edn Riscos N\u00fa\u00f1ez <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Sevilla<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 23\/09\/2004<\/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>Mario De Jes\u00fas P\u00e9rez  Jim\u00e9nez<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Juan Pazos sierra <\/li>\n<li>Mar\u00eda n Gheorghe (vocal)<\/li>\n<li>oscar H. ibarra (vocal)<\/li>\n<li>gheorghe Paun (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Agust\u00edn Riscos N\u00fa\u00f1ez La memoria se sit\u00faa en el marco te\u00f3rico de la computaci\u00f3n celular con membranas. [&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":[10715],"tags":[153485,55579,4012,127616,58504,153486],"class_list":["post-70255","post","type-post","status-publish","format-standard","hentry","category-sevilla","tag-agustin-riscos-nunez","tag-gheorghe-paun","tag-juan-pazos-sierra","tag-maria-n-gheorghe","tag-mario-de-jesus-perez-jimenez","tag-oscar-h-ibarra"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/70255","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=70255"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/70255\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=70255"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=70255"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=70255"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}