{"id":4366,"date":"2017-03-06T22:41:24","date_gmt":"2017-03-07T00:41:24","guid":{"rendered":"http:\/\/inf.ufpel.edu.br\/site\/?p=4366"},"modified":"2017-03-06T22:41:24","modified_gmt":"2017-03-07T00:41:24","slug":"defesa-de-dissertacao-alex-bertei","status":"publish","type":"post","link":"https:\/\/wp.ufpel.edu.br\/computacao\/noticia\/defesa-de-dissertacao-alex-bertei\/","title":{"rendered":"Defesa de Disserta\u00e7\u00e3o &#8211; Alex Bertei"},"content":{"rendered":"<p><strong>T\u00edtulo<\/strong>: Uma abordagem relacional para Gram\u00e1tica de Grafos Fuzzy<\/p>\n<p><strong>Autor<\/strong>: ALEX BERTEI<\/p>\n<p><strong>Orienta\u00e7\u00e3o:<\/strong><\/p>\n<ul>\n<li>Luciana Foss, Orientadora (PPGC-UFPel)<\/li>\n<\/ul>\n<p><strong>Banca Examinadora:<\/strong><\/p>\n<ul>\n<li>Andr\u00e9 Du Bois (PPGC-UFPel)<\/li>\n<li>Renata Hax Sander Reiser (PPGC-UFPel)<\/li>\n<li>Rodrigo Geraldo Ribeiro (Universidade Federal de Ouro Preto)<\/li>\n<\/ul>\n<p><strong>Data<\/strong>: 13 de Mar\u00e7o de 2017<\/p>\n<p><strong>Hora<\/strong>: 08:00<\/p>\n<p><strong>Local<\/strong>: Laborat\u00f3rio 4<\/p>\n<p><strong>Resumo<\/strong>:<br \/>\nGram\u00e1tica de Grafos Fuzzy (GGF) \u00e9 uma linguagem formal de especifica\u00e7\u00e3o que generaliza a no\u00e7\u00e3o de Gram\u00e1tica de Grafos (GG). Com o uso de GGFs \u00e9 poss\u00edvel considerar informa\u00e7\u00f5es imprecisas e vagas na especifica\u00e7\u00e3o de sistemas de forma an\u00e1loga ao racioc\u00ednio humano. Com isso, temos uma modelagem mais flex\u00edvel para os sistemas que s\u00e3o especificados via GGFs, permitindo valores intermedi\u00e1rios dentro do intervalo 0 e 1 associados aos v\u00e9rtices e arestas dos grafos que modelam sistemas computacionais. Devido a inexist\u00eancia de t\u00e9cnicas e ferramentas de an\u00e1lise para GGFs, o seu uso torna-se um pouco restrito. Por outro lado, existem diversas abordagens que definem t\u00e9cnicas para a an\u00e1lise de GGs. Uma destas abordagens \u00e9 a relacional, a qual permite o uso de provadores de teoremas da ferramenta Rodin para a an\u00e1lise de propriedades de sistemas com espa\u00e7o de estados infinito. Desta forma, este trabalho prop\u00f5e a extens\u00e3o desta abordagem para GGFs, incluindo a no\u00e7\u00e3o de pertin\u00eancia para os elementos dos grafos. Essa extens\u00e3o \u00e9 dada pela tradu\u00e7\u00e3o de GGFs para a linguagem Event-B, que \u00e9 a linguagem de especifica\u00e7\u00e3o da ferramenta Rodin.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>T\u00edtulo: Uma abordagem relacional para Gram\u00e1tica de Grafos Fuzzy Autor: ALEX BERTEI Orienta\u00e7\u00e3o: Luciana Foss, Orientadora (PPGC-UFPel) Banca Examinadora: Andr\u00e9 Du Bois (PPGC-UFPel) Renata Hax Sander Reiser (PPGC-UFPel) Rodrigo Geraldo Ribeiro (Universidade Federal de&#46;&#46;&#46;<\/p>\n","protected":false},"author":881,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":true,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2},"jetpack_post_was_ever_published":false},"categories":[17,23],"tags":[],"class_list":["post-4366","post","type-post","status-publish","format-standard","hentry","category-noticia","category-ppgc"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/paGhNl-18q","_links":{"self":[{"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/posts\/4366","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/users\/881"}],"replies":[{"embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/comments?post=4366"}],"version-history":[{"count":0,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/posts\/4366\/revisions"}],"wp:attachment":[{"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/media?parent=4366"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/categories?post=4366"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/tags?post=4366"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}