Métodos basados en redes de Petri para el diseño de algoritmos de encaminamiento adaptativos mínimos libres de bloqueos
La presente memoria se ha centrado en el desarrollo de una metodología completa para la construcción de algoritmos de encaminamiento adaptativos mínimos de tipo wormhole y que estén libres de bloqueo. El buscar una metodología completa que cubre desde la fase de especificación, pasando por el anális...
Kaydedildi:
| Yazar: | |
|---|---|
| Materyal Türü: | doctoralThesis |
| Dil: | İspanyolca |
| Baskı/Yayın Bilgisi: |
2011
|
| Konular: | |
| Online Erişim: | http://ridda2.utp.ac.pa/handle/123456789/5096 |
| Etiketler: |
Etiket eklenmemiş, İlk siz ekleyin!
|
| _version_ | 1869652452487200768 |
|---|---|
| author | Rovetto, Carlos |
| author_browse | Rovetto, Carlos |
| author_facet | Rovetto, Carlos |
| author_role | author |
| collection | Repositorio Institucional de documento digitales de acceso abierto de la UTP |
| dc.contributor.none.fl_str_mv | Manuel, José Piazuelo, Colom |
| dc.creator.none.fl_str_mv | Rovetto, Carlos Rovetto, Carlos |
| dc.date.none.fl_str_mv | 2011-10-26 2018-07-11T14:04:17Z 2018-07-11T14:04:17Z |
| dc.format.none.fl_str_mv | application/pdf application/pdf |
| dc.identifier.none.fl_str_mv | http://ridda2.utp.ac.pa/handle/123456789/5096 |
| dc.language.none.fl_str_mv | spa |
| dc.rights.none.fl_str_mv | info:eu-repo/semantics/openAccess https://creativecommons.org/licenses/by-nc-sa/4.0/ |
| dc.source.none.fl_str_mv | reponame:Repositorio Institucional de documento digitales de acceso abierto de la UTP instname:Universidad Tecnológica de Panamá instacron:U Tecnológica de Panamá |
| dc.subject.none.fl_str_mv | redes de petri algoritmos de encaminamiento s4pr soar2 |
| dc.title.none.fl_str_mv | Métodos basados en redes de Petri para el diseño de algoritmos de encaminamiento adaptativos mínimos libres de bloqueos |
| dc.type.none.fl_str_mv | info:eu-repo/semantics/doctoralThesis info:eu-repo/semantics/publishedVersion |
| description | La presente memoria se ha centrado en el desarrollo de una metodología completa para la construcción de algoritmos de encaminamiento adaptativos mínimos de tipo wormhole y que estén libres de bloqueo. El buscar una metodología completa que cubre desde la fase de especificación, pasando por el análisis y llegando hasta la síntesis que introduce correcciones en caso de haber detectado errores en el diseño original, es en sí mismo una aportación en cuanto que las aproximaciones existentes no cubren sobre todo las últimas fases. Nos hemos concentrado en los problemas de bloqueos, entendidos estos como la situación que aparece cuando un mensaje en tránsito desde un origen a un destino no puede alcanzar nunca su destino. Para abordar este problema se ha adaptado un tipo de abstracción del diseño que se denomina abstracción como sistema de asignación de recursos ó abstracción SAR. Desde un punto de vista instrumental se ha utilizado como herramienta formal, las redes de Petri, por tratarse de un paradigma de modelado formal para el que existe un rico cuerpo de resultados para todas las fases del ciclo de diseño. Se han desarrollado técnicas nuevas para la corrección de los modelos en caso de que existan bloqueos aprovechando la teoría desarrollada para la clase de redes de Petri obtenidas a través de la metodología utilizando un ejemplo para una red de interconexión en donde se aplica la metodología completamente. Este trabajo contribuye en: 1. Un nuevo enfoque de modelado para los algoritmos de encaminamientos de tipo adaptativo mínimo, desde una visión de SAR del sistema. 2. Desarrollo de una metodología de modelado formal para los sistemas de encaminamiento que asiste al diseñador desde la especificación de partida hasta la obtención de la red de Petri. 3. Caracterización de la clase de redes de Petri obtenidas a través de la metodología y que pertenece a la muy estudiada clase de redes de Petri denominadas S4PR. 4. Se define una nueva clase de redes de Petri denominada SOAR2 para la cual se definen características estructurales particulares sobre la cual razonar. |
| eu_rights_str_mv | openAccess |
| format | doctoralThesis |
| id | lrtest_058a8f11c47971e4417a5eb7fc5aa394 |
| instacron_str | U Tecnológica de Panamá |
| institution | U Tecnológica de Panamá |
| instname_str | Universidad Tecnológica de Panamá |
| language | spa |
| network_acronym_str | lrtest |
| network_name_str | lr |
| oai_identifier_str | oai:ridda2.utp.ac.pa:123456789/5096 |
| publishDate | 2011 |
| publishDateSort | 2011 |
| reponame_str | Repositorio Institucional de documento digitales de acceso abierto de la UTP |
| repository.mail.fl_str_mv | |
| repository.name.fl_str_mv | |
| repository_id_str | |
| rights_invalid_str_mv | https://creativecommons.org/licenses/by-nc-sa/4.0/ |
| spelling | Métodos basados en redes de Petri para el diseño de algoritmos de encaminamiento adaptativos mínimos libres de bloqueosRovetto, CarlosRovetto, Carlosredes de petrialgoritmos de encaminamientos4prsoar2La presente memoria se ha centrado en el desarrollo de una metodología completa para la construcción de algoritmos de encaminamiento adaptativos mínimos de tipo wormhole y que estén libres de bloqueo. El buscar una metodología completa que cubre desde la fase de especificación, pasando por el análisis y llegando hasta la síntesis que introduce correcciones en caso de haber detectado errores en el diseño original, es en sí mismo una aportación en cuanto que las aproximaciones existentes no cubren sobre todo las últimas fases. Nos hemos concentrado en los problemas de bloqueos, entendidos estos como la situación que aparece cuando un mensaje en tránsito desde un origen a un destino no puede alcanzar nunca su destino. Para abordar este problema se ha adaptado un tipo de abstracción del diseño que se denomina abstracción como sistema de asignación de recursos ó abstracción SAR. Desde un punto de vista instrumental se ha utilizado como herramienta formal, las redes de Petri, por tratarse de un paradigma de modelado formal para el que existe un rico cuerpo de resultados para todas las fases del ciclo de diseño. Se han desarrollado técnicas nuevas para la corrección de los modelos en caso de que existan bloqueos aprovechando la teoría desarrollada para la clase de redes de Petri obtenidas a través de la metodología utilizando un ejemplo para una red de interconexión en donde se aplica la metodología completamente. Este trabajo contribuye en: 1. Un nuevo enfoque de modelado para los algoritmos de encaminamientos de tipo adaptativo mínimo, desde una visión de SAR del sistema. 2. Desarrollo de una metodología de modelado formal para los sistemas de encaminamiento que asiste al diseñador desde la especificación de partida hasta la obtención de la red de Petri. 3. Caracterización de la clase de redes de Petri obtenidas a través de la metodología y que pertenece a la muy estudiada clase de redes de Petri denominadas S4PR. 4. Se define una nueva clase de redes de Petri denominada SOAR2 para la cual se definen características estructurales particulares sobre la cual razonar.La presente memoria se ha centrado en el desarrollo de una metodología completa para la construcción de algoritmos de encaminamiento adaptativos mínimos de tipo wormhole y que estén libres de bloqueo. El buscar una metodología completa que cubre desde la fase de especificación, pasando por el análisis y llegando hasta la síntesis que introduce correcciones en caso de haber detectado errores en el diseño original, es en sí mismo una aportación en cuanto que las aproximaciones existentes no cubren sobre todo las últimas fases. Nos hemos concentrado en los problemas de bloqueos, entendidos estos como la situación que aparece cuando un mensaje en tránsito desde un origen a un destino no puede alcanzar nunca su destino. Para abordar este problema se ha adaptado un tipo de abstracción del diseño que se denomina abstracción como sistema de asignación de recursos ó abstracción SAR. Desde un punto de vista instrumental se ha utilizado como herramienta formal, las redes de Petri, por tratarse de un paradigma de modelado formal para el que existe un rico cuerpo de resultados para todas las fases del ciclo de diseño. Se han desarrollado técnicas nuevas para la corrección de los modelos en caso de que existan bloqueos aprovechando la teoría desarrollada para la clase de redes de Petri obtenidas a través de la metodología utilizando un ejemplo para una red de interconexión en donde se aplica la metodología completamente. Este trabajo contribuye en: 1. Un nuevo enfoque de modelado para los algoritmos de encaminamientos de tipo adaptativo mínimo, desde una visión de SAR del sistema. 2. Desarrollo de una metodología de modelado formal para los sistemas de encaminamiento que asiste al diseñador desde la especificación de partida hasta la obtención de la red de Petri. 3. Caracterización de la clase de redes de Petri obtenidas a través de la metodología y que pertenece a la muy estudiada clase de redes de Petri denominadas S4PR. 4. Se define una nueva clase de redes de Petri denominada SOAR2 para la cual se definen características estructurales particulares sobre la cual razonar.Manuel, JoséPiazuelo, Colom2018-07-11T14:04:17Z2018-07-11T14:04:17Z2011-10-26info:eu-repo/semantics/doctoralThesisinfo:eu-repo/semantics/publishedVersionapplication/pdfapplication/pdfhttp://ridda2.utp.ac.pa/handle/123456789/5096spainfo:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/4.0/reponame:Repositorio Institucional de documento digitales de acceso abierto de la UTPinstname:Universidad Tecnológica de Panamáinstacron:U Tecnológica de Panamáoai:ridda2.utp.ac.pa:123456789/50962021-06-18T13:53:55Z |
| spellingShingle | Métodos basados en redes de Petri para el diseño de algoritmos de encaminamiento adaptativos mínimos libres de bloqueos Rovetto, Carlos redes de petri algoritmos de encaminamiento s4pr soar2 |
| status_str | publishedVersion |
| title | Métodos basados en redes de Petri para el diseño de algoritmos de encaminamiento adaptativos mínimos libres de bloqueos |
| title_full | Métodos basados en redes de Petri para el diseño de algoritmos de encaminamiento adaptativos mínimos libres de bloqueos |
| title_fullStr | Métodos basados en redes de Petri para el diseño de algoritmos de encaminamiento adaptativos mínimos libres de bloqueos |
| title_full_unstemmed | Métodos basados en redes de Petri para el diseño de algoritmos de encaminamiento adaptativos mínimos libres de bloqueos |
| title_short | Métodos basados en redes de Petri para el diseño de algoritmos de encaminamiento adaptativos mínimos libres de bloqueos |
| title_sort | Métodos basados en redes de Petri para el diseño de algoritmos de encaminamiento adaptativos mínimos libres de bloqueos |
| topic | redes de petri algoritmos de encaminamiento s4pr soar2 |
| url | http://ridda2.utp.ac.pa/handle/123456789/5096 |