{"id":147,"date":"2015-04-14T18:39:25","date_gmt":"2015-04-14T21:39:25","guid":{"rendered":"https:\/\/www.ufsm.br\/unidades-universitarias\/ct\/2015\/04\/14\/defesa-de-pos-graduacao-em-informatica\/"},"modified":"2015-04-14T18:39:25","modified_gmt":"2015-04-14T21:39:25","slug":"defesa-de-pos-graduacao-em-informatica","status":"publish","type":"post","link":"https:\/\/www.ufsm.br\/unidades-universitarias\/ct\/2015\/04\/14\/defesa-de-pos-graduacao-em-informatica","title":{"rendered":"Defesa de P\u00f3s-Gradua\u00e7\u00e3o em Inform\u00e1tica"},"content":{"rendered":"<p><span style=\"font-family: georgia, palatino; font-size: 10pt; color: #000000;\">O&nbsp;<span style=\"line-height: 19px;\">Programa de P\u00f3s-Gradua\u00e7\u00e3o em Inform\u00e1tica &#8211; Mestrado em Ci\u00eancia da Computa\u00e7\u00e3o informa que hoje (14), \u00e0s 17h e 15min, na Sala de Apoio do pr\u00e9dio 67 da UFSM, ocorre a defesa do aluno&nbsp;<span style=\"line-height: 19px;\">Artur Ferreira Brum, orietado pelo Prof. Dr.&nbsp;<span style=\"line-height: 19px;\">Felipe Martins M\u00fcller.&nbsp;<\/span><\/span><\/span><\/span><\/p>\n<p><span style=\"font-family: georgia, palatino; font-size: 10pt; color: #000000;\">O&nbsp;<span style=\"line-height: 19px;\">trabalho aborda o problema de recobrimento de conjuntos com agrupamento, definido como uma variante do problema de recobrimento de conjuntos cl\u00e1ssico, na qual os conjuntos est\u00e3o dispostos em K agrupamentos disjuntos. S\u00e3o apresentadas duas aplica\u00e7\u00f5es pr\u00e1ticas para o problema encontradas na literatura. A primeira delas tem origem na engenharia el\u00e9trica, especificamente no problema abordado por Fritzen et al. (2012). Uma caracter\u00edstica intr\u00ednseca ao problema, levou \u00e0 generaliza\u00e7\u00e3o da atribui\u00e7\u00e3o dos conjuntos aos agrupamentos, de forma que a intersec\u00e7\u00e3o seja permitida. A segunda aplica\u00e7\u00e3o \u00e9 oriunda da ind\u00fastria de minera\u00e7\u00e3o e devida a Bilal et al. (2014), que prop\u00f5em um conjunto de inst\u00e2ncias e uma meta-heur\u00edstica baseada em iterated tabu search (ITS). Duas contribui\u00e7\u00f5es deste trabalho se referem \u00e0 meta-heur\u00edstica ITS. A primeira consiste em uma abordagem paralela para o componente de busca tabu, enquanto a segunda contribui\u00e7\u00e3o reside na adi\u00e7\u00e3o de uma vizinhan\u00e7a resolvida com programa\u00e7\u00e3o inteira e que faz uso de hard variable fixing. A ideia subjacente ao uso da vizinhan\u00e7a \u00e9 ocupar o tempo economizado na paraleliza\u00e7\u00e3o com o polimento de solu\u00e7\u00f5es promissoras obtidas pela busca tabu. \u00c9 apresentada ainda uma terceira contribui\u00e7\u00e3o, que consiste em uma formula\u00e7\u00e3o matem\u00e1tica com gera\u00e7\u00e3o de colunas para obten\u00e7\u00e3o de limitantes superiores para as inst\u00e2ncias consideradas. Os resultados computacionais obtidos mostram melhora na qualidade da solu\u00e7\u00e3o para a ampla maioria das inst\u00e2ncias. Dada a magnitude dos custos envolvidos no problema, \u00e9 poss\u00edvel concluir que o aprimoramento da meta-heur\u00edstica ITS com as sugest\u00f5es deste trabalho pode ser de significativo benef\u00edcio econ\u00f4mico.<\/span><\/span><\/p>\n<p><span style=\"color: #000000;\"><span style=\"font-family: georgia, palatino; font-size: 10pt;\">Comp\u00f5em a banca de avalia\u00e7\u00e3o os Preofessores Doutores Felipe Martins Muller (orientador),&nbsp;<\/span><span style=\"font-family: georgia, palatino; font-size: 13.3333330154419px;\">Olinto Cesar Bassi de Ara\u00fajo e Viviane Catia Kohler (suplente) da UFSM e&nbsp;<\/span><span style=\"font-family: georgia, palatino; font-size: 10pt;\">Haroldo Gambini Santos da Universidade Federal de Ouro Preto.<\/span>&nbsp;<\/span><\/p>\n<p><span style=\"color: #333333; font-family: Georgia, 'Times New Roman', 'Bitstream Charter', Times, serif; font-size: 13px; line-height: 19px;\">&nbsp;<\/span><\/p>\n","protected":false},"excerpt":{"rendered":"<p>O&nbsp;Programa de P\u00f3s-Gradua\u00e7\u00e3o em Inform\u00e1tica &#8211; Mestrado em Ci\u00eancia da Computa\u00e7\u00e3o informa que hoje (14), \u00e0s 17h e 15min, na Sala de Apoio do pr\u00e9dio 67 da UFSM, ocorre a defesa do aluno&nbsp;Artur Ferreira Brum, orietado pelo Prof. Dr.&nbsp;Felipe Martins M\u00fcller.&nbsp; O&nbsp;trabalho aborda o problema de recobrimento de conjuntos com agrupamento, definido como uma variante [&hellip;]<\/p>\n","protected":false},"author":47,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-147","post","type-post","status-publish","format-standard","hentry","category-geral"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.ufsm.br\/unidades-universitarias\/ct\/wp-json\/wp\/v2\/posts\/147","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.ufsm.br\/unidades-universitarias\/ct\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.ufsm.br\/unidades-universitarias\/ct\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.ufsm.br\/unidades-universitarias\/ct\/wp-json\/wp\/v2\/users\/47"}],"replies":[{"embeddable":true,"href":"https:\/\/www.ufsm.br\/unidades-universitarias\/ct\/wp-json\/wp\/v2\/comments?post=147"}],"version-history":[{"count":0,"href":"https:\/\/www.ufsm.br\/unidades-universitarias\/ct\/wp-json\/wp\/v2\/posts\/147\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.ufsm.br\/unidades-universitarias\/ct\/wp-json\/wp\/v2\/media?parent=147"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.ufsm.br\/unidades-universitarias\/ct\/wp-json\/wp\/v2\/categories?post=147"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.ufsm.br\/unidades-universitarias\/ct\/wp-json\/wp\/v2\/tags?post=147"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}