{"id":2811,"date":"2014-04-14T20:00:29","date_gmt":"2014-04-14T23:00:29","guid":{"rendered":"http:\/\/laship.ufsc.br\/site\/?p=2811"},"modified":"2016-06-10T14:20:36","modified_gmt":"2016-06-10T17:20:36","slug":"2014-modelagem-e-analise-de-circuitos-hidraulicos-usando-redes-de-petri","status":"publish","type":"post","link":"http:\/\/laship.ufsc.br\/site\/2014-modelagem-e-analise-de-circuitos-hidraulicos-usando-redes-de-petri\/","title":{"rendered":"2014 \u2013 Modelagem e an\u00e1lise de circuitos hidr\u00e1ulicos usando Redes de Petri"},"content":{"rendered":"<strong>Candidato:<\/strong> Karol Mu\u00f1oz Salas<a href=\"http:\/\/laship.ufsc.br\/site\/wp-content\/uploads\/2016\/04\/Disserta\u00e7\u00e3o_Mu\u00f1oz_2014.pdf\" target=\"_blank\"><img loading=\"lazy\" decoding=\"async\" class=\"alignright wp-image-2714\" src=\"\/site\/wp-content\/uploads\/2016\/06\/pdf-download.png\" alt=\"Disserta\u00e7\u00e3o_Mu\u00f1oz_2014.pdf\" width=\"80\" height=\"80\" \/><\/a><\/p>\n<p><strong>Programa:<\/strong> UFSC \/ PGEAS<\/p>\n<p><strong>Data: <\/strong>Abril de 2014<\/p>\n<p><strong>Orientador: <\/strong>Victor Juliano De Negri<\/p>\n<p><strong>Resumo:\u00a0<\/strong>Os sistemas hidr\u00e1ulicos situam-se dentro do dom\u00ednio de sistemas mecatr\u00f4nicos, pois s\u00e3o constitu\u00eddos por circuitos hidr\u00e1ulicos e el\u00e9tricos, assim como por programas implementados em controladores industriais. Em virtude disso, o projeto de sistemas hidr\u00e1ulicos \u00e9 uma tarefa complexa e o estabelecimento de m\u00e9todos durante as fases de desenvolvimento \u00e9 muito importante. No entanto, at\u00e9 o momento n\u00e3o existe uma proposta consolidada. Frente a esta situa\u00e7\u00e3o, o desenvolvimento de m\u00e9todos de an\u00e1lise apresenta-se como uma alternativa para apoiar no projeto de sistemas hidr\u00e1ulicos. Nesse contexto, o presente trabalho prop\u00f5e um procedimento para a verifica\u00e7\u00e3o da concep\u00e7\u00e3o adotada para o circuito hidr\u00e1ulico. O m\u00e9todo proposto considera o modelo do circuito hidr\u00e1ulico e o comportamento especificado. O modelo do circuito \u00e9 representado por meio do uso da rede Canal \u2013 Ag\u00eancia e rede de Petri ordin\u00e1ria, tamb\u00e9m conhecida como rede de Petri lugar\/transi\u00e7\u00e3o. Por sua vez, a especifica\u00e7\u00e3o do comportamento \u00e9 representada por meio do uso da l\u00f3gica temporal. Posteriormente, para analisar se o comportamento do circuito hidr\u00e1ulico est\u00e1 em conformidade ao esperado, emprega-se o m\u00e9todo de verifica\u00e7\u00e3o formal &#8220;<em>Model Checking<\/em>&#8220;. Com o intuito de ilustrar as caracter\u00edsticas do procedimento proposto, exemplos b\u00e1sicos de circuitos hidr\u00e1ulicos s\u00e3o apresentados. Os resultados obtidos neste trabalho mostram que o m\u00e9todo proposto tem grande potencial de aplica\u00e7\u00e3o para a verifica\u00e7\u00e3o da concep\u00e7\u00e3o de circuitos hidr\u00e1ulicos em geral.<\/p>\n<p><strong>Palavras-chave<\/strong>: sistema hidr\u00e1ulico, rede canal-ag\u00eancia, rede de Petri, model checking, sistema autom\u00e1tico.<\/p>\n<p><strong>Refer\u00eancia:\u00a0<\/strong>MU\u00d1OZ, K. <strong>Modelagem e An\u00e1lise de Circuitos Hidr\u00e1ulicos usando Redes de Petri.<\/strong> 2014. 171 p. Disserta\u00e7\u00e3o (Mestrado em Engenharia de Automa\u00e7\u00e3o e Sistemas). Universidade Federal de Santa Catarina, Florian\u00f3polis.)<\/p>\n<p><a href=\"http:\/\/laship.ufsc.br\/site\/wp-content\/uploads\/2014\/04\/Disserta\u00e7\u00e3o_Mu\u00f1oz_2014_imagem.png\" rel=\"attachment wp-att-2817\"><img loading=\"lazy\" decoding=\"async\" class=\"aligncenter size-full wp-image-2817\" src=\"http:\/\/laship.ufsc.br\/site\/wp-content\/uploads\/2014\/04\/Disserta\u00e7\u00e3o_Mu\u00f1oz_2014_imagem.png\" alt=\"Disserta\u00e7\u00e3o_Mu\u00f1oz_2014_imagem\" width=\"1000\" height=\"450\" \/><\/a>","protected":false},"excerpt":{"rendered":"<p><strong>Candidato:<\/strong> Karol Mu\u00f1oz Salas<br \/>\n<strong>Programa:<\/strong> UFSC \/ PGEAS<br \/>\n<strong>Data: <\/strong>Abril de 2014<br \/>\n<strong>Orientador: <\/strong>Dr. Victor Juliano De Negri<\/p>\n","protected":false},"author":1,"featured_media":2819,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[10],"tags":[],"class_list":["post-2811","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-dissertacoes"],"_links":{"self":[{"href":"http:\/\/laship.ufsc.br\/site\/wp-json\/wp\/v2\/posts\/2811"}],"collection":[{"href":"http:\/\/laship.ufsc.br\/site\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/laship.ufsc.br\/site\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/laship.ufsc.br\/site\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/laship.ufsc.br\/site\/wp-json\/wp\/v2\/comments?post=2811"}],"version-history":[{"count":7,"href":"http:\/\/laship.ufsc.br\/site\/wp-json\/wp\/v2\/posts\/2811\/revisions"}],"predecessor-version":[{"id":2888,"href":"http:\/\/laship.ufsc.br\/site\/wp-json\/wp\/v2\/posts\/2811\/revisions\/2888"}],"wp:featuredmedia":[{"embeddable":true,"href":"http:\/\/laship.ufsc.br\/site\/wp-json\/wp\/v2\/media\/2819"}],"wp:attachment":[{"href":"http:\/\/laship.ufsc.br\/site\/wp-json\/wp\/v2\/media?parent=2811"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/laship.ufsc.br\/site\/wp-json\/wp\/v2\/categories?post=2811"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/laship.ufsc.br\/site\/wp-json\/wp\/v2\/tags?post=2811"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}