{"id":101260,"date":"2018-03-11T10:22:58","date_gmt":"2018-03-11T10:22:58","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/hybrid-ssten-modeling-using-the-parallel-devs-formalism-and-the-modelica-language\/"},"modified":"2018-03-11T10:22:58","modified_gmt":"2018-03-11T10:22:58","slug":"hybrid-ssten-modeling-using-the-parallel-devs-formalism-and-the-modelica-language","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/simulacion\/hybrid-ssten-modeling-using-the-parallel-devs-formalism-and-the-modelica-language\/","title":{"rendered":"Hybrid ssten modeling using the parallel devs formalism and the modelica language"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Victorino Sanz Prat <\/strong><\/h2>\n<p>El principal objetivo de la presente tesis doctoral es facilitar la descripci\u00f3n, mediante el formalismo devs paralelo y el paradigma del modelado orientado al proceso, y empleando el lenguaje modelica, de modelos de eventos discretos y de la parte de eventos discretos de modelos dae-h\u00edbridos. El objetivo, por tanto, no s\u00f3lo es facilitar que pueda emplearse modelica para describir modelos devs paralelo y orientados al proceso. Adem\u00e1s, deben desarrollarse los modelos en modelica que hagan de interfaz entre los modelos desarrollados mediante estos dos formalismos y otros modelos en modelica desarrollados empleando otros formalismos de modelado, tanto de eventos discretos como de tiempo continuo.  para alcanzar este objetivo general se han realizado las aportaciones originales siguientes:  1.Identificaci\u00f3n y an\u00e1lisis de los requisitos necesarios para describir modelos en modelica mediante el formalismo devs paralelo y el paradigma de la orientaci\u00f3n al proceso.  2.Propuesta, desarrollo y evaluaci\u00f3n de mecanismos de paso de mensajes para modelica. Este mecanismo es el empleado para la comunicaci\u00f3n entre modelos devs paralelo y tambi\u00e9n entre los bloques que describen el flujo de las entidades en los modelos orientados al proceso.  3.Dise\u00f1o y desarrollo en lenguaje modelica de una librer\u00eda, denominada devslib, que permite la descripci\u00f3n de modelos siguiendo el formalismo devs paralelo.  4.Propuesta de una descripci\u00f3n mediante devs paralelo de los bloques constitutivos b\u00e1sicos empleados para describir el flujo de entidades en los procesos log\u00edsticos modelados mediante orientaci\u00f3n al proceso. Para ello, se toma como referencia la herramienta comercial siman.  5.Dise\u00f1o y programaci\u00f3n en modelica de dos nuevas librer\u00edas, llamadas simanlib y arenalib, que facilitan la descripci\u00f3n orientada al proceso de modelos. Estas librer\u00edas reproducen parte de las capacidades de las herramientas comerciales siman y arena. los bloques para flujo de entidades de la librer\u00eda simanlib han sido desarrollados, en base a la descripci\u00f3n devs paralelo propuesta, empleando componentes de la librer\u00eda devslib y desarrollando funcionalidades adicionales, tales como mecanismos para la descripci\u00f3n de las entidades y para la manipulaci\u00f3n de las estructuras de datos de tama\u00f1o variable. los bloques de flujo de entidades de arenalib han sido compuestos empleando los componentes de la librer\u00eda simanlib. Esta estrategia jer\u00e1rquica en el desarrollo de las librer\u00edas facilita su programaci\u00f3n, documentaci\u00f3n, mantenimiento y depurado.  6.Otra aportaci\u00f3n de la presente tesis es dotar al lenguaje modelica de algunas capacidades para el modelado estoc\u00e1stico. Con este fin, se ha desarrollado una nueva librer\u00eda en modelica, llamada randomlib, para la generaci\u00f3n de n\u00fameros seudo-aleatorios, y muestras aleatorias de un conjunto de distribuciones discretas y continuas.  7.Desarrollo e inclusi\u00f3n en las librer\u00edas devslib, simanlib y arenalib de modelos de interfaz que permiten la conexi\u00f3n con modelos realizados por otros desarrolladores, permitiendo el uso combinado de diferentes formalismos.  8.Se ha demostrado la utilidad de las librer\u00edas desarrolladas para el modelado de sistemas de control h\u00edbridos.  9.Finalmente, se ha desarrollado un conjunto de casos de estudio, cuya finalidad es ilustrar las capacidades de las librer\u00edas desarrolladas para la descripci\u00f3n de modelos de eventos discretos e h\u00edbridos, aplicando los formalismos devs paralelo y orientaci\u00f3n al proceso, y combinando estos formalismos con otros, como es el modelado f\u00edsico. Los casos de estudio muestran ejemplos en el \u00e1mbito del control de procesos, del an\u00e1lisis de sistemas log\u00edsticos, din\u00e1mica de poblaciones, y sistemas electr\u00f3nicos y optoelectr\u00f3nicos.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Hybrid ssten modeling using the parallel devs formalism and the modelica language<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Hybrid ssten modeling using the parallel devs formalism and the modelica language <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Victorino Sanz Prat <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Nacional de educaci\u00f3n a distancia<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 31\/05\/2010<\/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>Alfonso Urqu\u00eda Moraleda<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: cesar alberto De prada moraga <\/li>\n<li>Alberto Leva (vocal)<\/li>\n<li>migel angel Piera eroles (vocal)<\/li>\n<li>Jes\u00fas Manuel De la cruz Garc\u00eda (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Victorino Sanz Prat El principal objetivo de la presente tesis doctoral es facilitar la descripci\u00f3n, mediante el [&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":[30390,17070,13227,13355],"tags":[205889,146183,136367,10620,205890,205888],"class_list":["post-101260","post","type-post","status-publish","format-standard","hentry","category-modelos-causales","category-nacional-de-educacion-a-distancia","category-simulacion","category-sistemas-de-control","tag-alberto-leva","tag-alfonso-urquia-moraleda","tag-cesar-alberto-de-prada-moraga","tag-jesus-manuel-de-la-cruz-garcia","tag-migel-angel-piera-eroles","tag-victorino-sanz-prat"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/101260","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=101260"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/101260\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=101260"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=101260"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=101260"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}