PPGSC - Doutorado em Sistemas e Computação
URI Permanente para esta coleçãohttps://repositorio.ufrn.br/handle/123456789/12058
Navegar
Submissões Recentes
Tese On phi-extensions and fuzzy number functions(Universidade Federal do Rio Grande do Norte, 2025-02-24) Araújo, Juscelino Pereira de; Santiago, Regivan Hugo Nunes; http://lattes.cnpq.br/7536988783793885; https://orcid.org/0000-0001-6745-6940; http://lattes.cnpq.br/1684670197471216; Bedregal, Benjamin Rene Callejas; Oliveira, Fernando Neres de; Reiser, Renata Hax Sander; Duarte, Suene CamposEste trabalho estuda as generalizações do Princípio da Extensão de Zadeh através da mudança da função mínimo por outra função de agregação. Os detalhes matemáticos envolvidos são estudados para assegurar que funções de números reais sejam estendidas para funções de números fuzzy cuja imagem contenha apenas números fuzzy. A noção de φ-extensão foi introduzida para formalizar a definição desses mapeamentos estendidos de forma a evitar inconsistências com a definição de número fuzzy usada. Algumas propriedades algébricas são exploradas visando entender como algumas características de uma função de números reais são preservadas. Algumas aplicações de φ-extensões também são estudadas, como as extensões de operações binárias de números reais. Particularmente, uma nova definição da operação de produto de números fuzzy é usada para definir uma generalização de funções de média ponderada ordenada para números fuzzy com os pesos sendo números fuzzy.Tese Análise de dinamicidade na seleção de parâmetros de comitê de classificadores(Universidade Federal do Rio Grande do Norte, 2025-04-25) Silva, Jesaias Carvalho Pereira; Canuto, Anne Magaly de Paula; Santos, Araken de Medeiros; http://lattes.cnpq.br/1357887401899097; https://orcid.org/0000-0002-6586-8340; http://lattes.cnpq.br/4068957569470459; Carvalho, Bruno Motta de; Nascimento, Diego Silveira Costa; Silva, Huliane Medeiros da; Oliveira Filho, Isaac de LimaAo longo dos anos, um progresso significativo foi feito no domínio da pesquisa de comitê de classificadores. Vários métodos para aumentar a eficiência foram propostos, aplicáveis a estruturas de comitês de classificadores homogêneos e heterogêneos. Um desafio chave reside em determinar a sua estrutura (hiperparâmetros). Basicamente, a seleção da estrutura do comitê pode ser feita de duas maneiras diferentes, seleção estática e dinâmica. Ao contrário da seleção estática, que independente dos parâmetros usa o mesmo critério para realizar a escolha, a seleção dinâmica define a estrutura do comitê para cada instância de teste. Diferentes métodos de seleção dinâmica têm sido propostos na literatura, principalmente para membros do comitê e atributos da base de dados, mas muito pouco esforço tem sido feito para propor métodos de seleção dinâmica para métodos de combinação, também conhecidos métodos de fusão. Portanto, é importante avaliar o impacto de uma seleção dinâmica de métodos de combinação ou de ambos (métodos e membros) na criação de comitês de classificadores robustos. Este trabalho propõe uma análise exploratória da seleção dinâmica dos principais parâmetros da estrutura de um comitê. Para isso, foram avaliados três cenários diferentes: Comitês completamente estáticos; Comitês parcialmente dinâmicos; e, Comitês completamente dinâmicos. Com o objetivo de analisar os cenários dinâmicos, três métodos de fusão dinâmica foram propostos e utilizados com três métodos de seleção de membros. Cada um se concentra em um enfoque específico: um por região de competência, outro por meta-aprendizado e o último por hipercaixas fuzzy. Por fim, foi realizada uma análise empírica destes três cenários em 30 bases de dados. Os resultados desta pesquisa confirmam que a seleção dinâmica de classificadores e combinadores melhora significativamente a precisão e adaptabilidade dos comitês de classificadores. Métodos completamente dinâmicos, demonstraram desempenho superior em comparação com abordagens parcialmente dinâmicas e estáticas, destacando-se pela capacidade de selecionar os melhores classificadores e métodos de fusão para cada instância de teste. Desta forma, podemos afirmar que os resultados incentivam o desenvolvimento de métodos mais eficientes e escaláveis no campo do aprendizado de máquina.Tese FiberNet: um modelo de rede neural convolucional simples e eficiente(Universidade Federal do Rio Grande do Norte, 2024-08-28) Ferreira, Verner Rafael; Canuto, Anne Magaly de Paula; http://lattes.cnpq.br/1357887401899097; http://lattes.cnpq.br/7135294672574400; Santos, Araken de Medeiros; Carvalho, Bruno Motta de; Nascimento, Diego Silveira Costa; Xavier Júnior, João CarlosRedes neurais convolucionais (CNNs) são arquiteturas poderosas e eficazes para extrair informações significativas de imagens e identificar objetos. No entanto, seu alto custo computacional pode limitar sua adoção em cenários com recursos computacionais limitados como, por exemplo, em dispositivos móveis. Para resolver esse problema, nos propomos uma nova arquitetura de CNN no qual incluímos uma nova camada denominada Defiber que atua na fase de convolução da CNN. Essa nova camada, pertencente à estratégia de down sampling, tem por finalidade reduzir o quantitativo de parâmetros treináveis da rede sem que isso afete sua capacidade de predição. Para testar nossa abordagem nós criamos a FiberNet. Um protótipo de CNN pequena e simples que possui um número reduzido de parâmetros treináveis. Isso resultou em uma rede com alta velocidade de inferência e custos computacionais reduzidos. A FiberNet foi avaliada em dois conjuntos de dados, Sisal e CIFAR10. No conjunto Sisal, a FiberNet alcançou uma precisão de 96,25%. No conjunto CIFAR10, a FiberNet alcançou uma precisão de 74,9%. Nossos resultados mostraram que a camada Defiber é uma alternativa viável para a construção de CNNs de baixo custo. Sua aplicação na arquitetura do modelo proposto resultou em uma alta acurácia e capacidade de processamento, mesmo com um número reduzido de parâmetros treináveis.Tese Fundamentos de uma análise matemática fuzzy baseada em números fuzzy e ordens admissíveis(Universidade Federal do Rio Grande do Norte, 2024-02-26) Cárcamo, Nicolás Eduardo Zumelzu; Bedregal, Benjamin René Callejas; Villarroel, José Edmundo Mansilla; http://lattes.cnpq.br/4601263005352005; Santiago, Regivan Hugo Nunes; Matamala, Roberto Antonio Díaz; Dimuro, Graçaliz Pereira; Paiva, Rui Eduardo BrasileiroA noção de ordens admissíveis em logica fuzzy intervalar surge em 2010 com o intuito de fornecer um critério mínimo que uma ordem total no conjunto dos subintervalos fechados do intervalo unitário [0, 1] deveria atender para ser usada em aplicações dessa teoria fuzzy. Posteriormente, essa mesma ideia foi adaptada para outras extensões da lógica fuzzy. Nesta tese, levamos a ideia de ordens admissíveis para fora do contexto de extensões da lógica fuzzy. De fato, aqui introduzimos a noção de ordem admissível para números fuzzy equipados com uma ordem parcial, ou seja, uma ordem total que refina essa ordem parcial. Damos atenção especial a ordem parcial proposta por Ramík e Rímánek em 1985. Além disso, apresentamos um método para construir ordens admissíveis sobre números fuzzy em termos de ordens admissíveis definidas para intervalos, considerando uma sequencia densa superiormente, e provamos que esta ordem e admissível para a ordem de Ramík e Rímánek. A partir destas ordens admissíveis estudamos conceitos fundamentais da Analise Matemática no contexto dos números fuzzy. O objetivo, e dar os primeiros passos para o desenvolvimento de uma análises matemática sobre números fuzzy sobre certas ordens admissíveis de forma robusta e bem fundada, preservando ao máximo propriedades da análises matemática tradicional. Dessa forma, introduzimos a noção de integral de Riemann sobre números fuzzy, chamada de integral de Riemann fuzzy, considerando ordens admissíveis, e estudamos propriedades e caracterizações dessa integral. Formalizamos os conceitos de espaço vetorial sem inversos e espaço vetorial ordenado sem inversos, um tipo de hiperestruturas, que generaliza a noção convencional de espac¸os vetoriais ordenados. Cabe salientar que o espaço dos números fuzzy triangulares (NFT) e dos NFT dotados de algumas ordens são exemplos de ambas hiperestruturas. Além disso, introduzimos a noção de funções crescentes de tipo média sobre números fuzzy equipados com ordens admissíveis em geral, caracterizando-as como idempotentes, e em particular, no espaço vetorial ordenado sem inversos. Finalmente, introduzimos o conceito de grafos ponderados vector-fuzzy e utilizamos ferramentas construídas a partir de funções tipo média no espaço vetorial ordenado sem inversos, para resolver tipos de problemas de caminho mais curtos em grafos ponderados.Tese Integrando a lei geral de proteção de dados ao desenvolvimento de software: um novo modelo de especificação de requisitos aplicado na saúde digital(Universidade Federal do Rio Grande do Norte, 2024-08-29) Souza, Luana Talita Mateus de; Lucena, Márcia Jacyntha Nunes Rodrigues; Gomes, Apuena Vieira; https://orcid.org/0000-0002-3497-655X; http://lattes.cnpq.br/0601161335088804; http://lattes.cnpq.br/7982148962089986; http://lattes.cnpq.br/0408460002749662; Aranha, Eduardo Henrique da Silva; Medeiros Júnior, Josué Vitor de; Schuenemann, Carla Taciana Lima Lourenco Silva; Freire, Marilia AranhaEsta pesquisa aborda o problema da especificação de requisitos insuficiente para atender às demandas de conformidade no desenvolvimento de software, destacando a importância de integrar requisitos legais, como os da LGPD, ao processo de desenvolvimento. O objetivo geral deste trabalho é desenvolver um novo modelo de especificação de requisitos que atenda à LGPD no contexto do desenvolvimento ágil. Este modelo visa estabelecer uma estratégia de Engenharia de Requisitos que proporcione a conformidade com a LGPD, facilitando sua aplicação prática no desenvolvimento de software. Além disso, o modelo deve ter um caráter educativo, sendo útil para alunos e professores, permitindo uma integração prática dos conceitos de privacidade e proteção de dados tanto nos processos de desenvolvimento quanto no ensino. A metodologia desta pesquisa foi dividida em três partes: (1) Fase de Identificação de Requisitos e Estruturação do Modelo de Especificação; (2) Fase de Definição de Público e Instrumentos de Avaliação; e (3) Fase de Apresentação e Aplicação da Avaliação. O modelo foi aplicado em exemplos no contexto da Saúde Digital. Na avaliação do modelo, foi desenvolvido um instrumento de avaliação direcionado a dois perfis de participantes (profissionais e professores de tecnologia da informação). Obtivemos um total de 24 respostas nos formulários. Os resultados demonstram que a adoção do modelo de especificação dos requisitos pode ser favorável, pois tem o potencial de auxiliar na identificação e comunicação eficaz dos requisitos adequados à LGPD para equipes de desenvolvimento ágeis, facilitando a conformidade com as exigências legais e a proteção de dados. Além disso, foi identificado um importante potencial educacional no modelo, pois os professores participantes avaliaram que ela pode ser utilizada como uma ferramenta adequada para o ensino sobre requisitos e a LGPD em sala de aula.Tese Problema de roteamento e escalonamento de profissionais de saúde no atendimento domiciliar com priorização no atendimento(Universidade Federal do Rio Grande do Norte, 2024-04-29) Campos, Júlia Madalena Miranda; Goldbarg, Elizabeth Ferreira Gouvea; Menezes, Matheus da Silva; http://lattes.cnpq.br/2888641121265608; http://lattes.cnpq.br/1991511606860283; Maia, Silvia Maria Diniz Monteiro; Sabry, Gustavo de Araújo; Souza, Thatiana Cunha Navarro deO serviço de atendimento domiciliar caracteriza-se como uma modalidade de assistência à saúde composta por um conjunto de ações de prevenção, reabilitação e tratamento de doenças prestadas em domicílio. Com o surgimento da Covid-19, o atendimento domiciliar tornou-se ainda mais presente, substituindo ou complementando a internação hospitalar, oferecendo uma modalidade de atendimento mais humanizada às pessoas com quadro clínico estável que necessitam de cuidados médicos. O agendamento e o roteamento dos profissionais de saúde que realizam tais atendimentos possuem alguns desafios, dentre eles: atender pacientes no período do horário de trabalho dos profissionais de saúde, ter uma equipe de profissionais de tamanho adequado, garantir a satisfação dos pacientes e profissionais, economizar gastos com a frota de veículos que transportam os profissionais, etc. Este trabalho apresenta uma nova variante do problema onde os pacientes são divididos em dois grupos em relação ao atendimento: prioritários e opcionais. Os pacientes prioritários devem ser atendidos obrigatoriamente no horizonte de planejamento definido. É desejável que os clientes opcionais também sejam atendidos. O objetivo é maximizar a receita recebida pelos atendimentos descontados os custos de transporte dos profissionais. Este trabalho apresenta um modelo de Programação Linear Inteira para o problema. O modelo é implementado e testado em um conjunto de instâncias também propostas neste trabalho. Na variante abordada aqui, cada profissional é transportado por um veículo. Este trabalho também apresenta uma revisão abrangente da literatura sobre o Problema de Roteamento e Escalonamento de Profissionais de Saúde, incluindo uma análise experimental dos modelos matemáticos com objetivo de minimização de distância percorrida pelos profissionais de saúde. A análise visa avaliar a eficiência e aplicabilidade de tais modelos no contexto do problema estudado.Tese A deep dive into continuous integration monitoring practices(Universidade Federal do Rio Grande do Norte, 2024-04-25) Santos, Jadson José dos; Kulesza, Uirá; http://lattes.cnpq.br/0189095897739979; http://lattes.cnpq.br/8131538515286176; Aranha, Eduardo Henrique da Silva; Barroca Filho, Itamir de Morais; Costa, Daniel Alencar da; Pinto, Gustavo Henrique Lima; Almeida, Rodrigo Bonifácio deUma das principais atividades no desenvolvimento de software é o monitoramento, que desempenha um papel vital na verificação da implementação adequada de processos, identificação de erros e descoberta de oportunidades de melhoria. A Integração Contínua (CI) abrange um conjunto de práticas amplamente adotadas que aprimoram o desenvolvimento de software. No entanto, há indicações de que os desenvolvedores podem não monitorar adequadamente todas as práticas de CI. Nesta tese, mergulhamos profundamente no oceano do monitoramento das práticas de CI. Nosso objetivo é descobrir como esse monitoramento é conduzido, demonstrar as vantagens do monitoramento das práticas de CI e destacar os desafios que precisam ser superados. Em nosso primeiro estudo, analisamos o impacto de práticas específicas de CI no volume de Pull Requests e Issues relacionadas a bugs. Nossos resultados revelaram uma correlação positiva entre as práticas de CI e o aumento no número de merged pull requests. Nós também identificamos uma correlação significativa com o número de Issues relacionadas a bugs. Adicionalmente, nossos resultados sugerem que valores mais elevados de práticas de CI podem indicar uma melhor qualidade no processo de desenvolvimento. Posteriormente, em nosso segundo estudo, investigamos a importância atribuída a essas práticas pelos desenvolvedores e o suporte ao monitoramento de práticas de CI fornecido pelas ferramentas de CI mais populares. Descobrimos que geralmente os desenvolvedores monitoram apenas a cobertura e os metadados básicos da build (por exemplo, duração e status da build). Os desenvolvedores expressaram interesse em monitorar práticas de CI se tivessem oportunidade. Além disso, identificamos que vários dos serviços líderes de CI ainda possuem um suporte inicial para monitorar as práticas de CI. Por fim, avaliamos o monitoramento em cenários reais, realizando um estudo de caso em três projetos de três organizações diferentes, no qual podemos verificar mais profundamente o interesse dos desenvolvedores pelo monitoramento de práticas de CI, seus benefícios, desafios e a evolução das práticas de CI durante um período de dois meses. O estudo de caso revelou que o monitoramento das práticas de CI oferece vários benefícios ao projeto e é pouco custoso de ser aplicado. Os participantes demonstraram um forte desejo de integrar dashboards de monitoramento de CI nos serviços de CI mais populares.Tese Using mutation analysis to identify erros in mathematical problem solving(Universidade Federal do Rio Grande do Norte, 2024-03-25) Santana, Alan de Oliveira; Aranha, Eduardo Henrique da Silva; http://lattes.cnpq.br/9520477461031645; http://lattes.cnpq.br/7875175032115307; Lucena, Márcia Jacyntha Nunes Rodrigues; Coelho, Roberta de Souza; Fernandes, Kleber Tavares; Silva, Thiago Reis daA aprendizagem de matemática pode ser um grande desafio para estudantes ao redor do mundo. As dificuldades encontradas por estes estudantes variam, como falta de atenção, problemas metodológicos, não domínio de conteúdos prévios, dificuldades na leitura, problemas pessoais, entre outros. Mesmo sendo complexos, estas dificuldades geralmente se manifestam em erros pontuais na resolução de questões matemáticas, permitindo a especialistas identificá-los e associá-los a prováveis causas. Neste contexto, se destacam os erros comuns, como trocas de operadores, erros de arredondamento, resultados equivocados de operações, entre outros. Estes erros podem ser mapeados e generalizados, uma vez que são parte integrante das soluções realizadas pelos alunos. Assim, sistemas inteligentes, como os STI (Sistemas Tutores Inteligentes), podem ser desenvolvidos para atuar sobre essas dificuldades, identificando os erros e gerando feedbacks para professores e aos próprios estudantes. Com base no exposto, este trabalho tem por objetivo propor um modelo de generalização de erros comuns para ser aplicado a identificação passo a passo da origem dos erros e para tanto, o modelo utilizará o conceito de mutantes, a fim de gerar distratores que serviram como parâmetro para identificar a origem dos problemas. A fim de levantar os dados pertinentes para este estudo, alguns estudos procuraram levantar os dados relevantes para a modelagem dos mutantes, começando com a avaliação do estado da arte dos STI aplicados a matemática no cenário brasileiro e internacional e em seguida estudos exploratórios sobre os erros comuns que podem ser mapeados para a geração do modelo de mutações. A seguir, é realizada a apresentação da modelagem dos mutantes e também a descrição da arquitetura do STI para a matemática, bem como de estudos que procuram validá-la. As principais hipóteses de pesquisa apontam que o uso da modelagem de mutantes aplicadas a matemática através de um STI permite uma maior dinamicidade na criação de cenários de erros, além de poderem ser associados a problemas que vão além da análise da prova. Outra hipótese é que os feedbacks baseados em distratores gerados pelo modelo de mutações associado a analise passo a passo das respostas dos alunos, permitem um maior detalhe do local do erro, facilitando a geração de feedbacks a partir do STI.Tese GRASP-VNS baseado em modelos e indicadores para dois problemas no planejamento de radioterapia de intensidade modulada(Universidade Federal do Rio Grande do Norte, 2024-04-26) Marques, Thiago Soares; Goldbarg, Elizabeth Ferreira Gouvea; http://lattes.cnpq.br/2888641121265608; http://lattes.cnpq.br/4141868906729982; Medeiros, Hudson Geovane de; Menezes, Matheus da Silva; Silva, Paulo Henrique Asconavieta da; Maia, Silvia Maria Diniz MonteiroA radioterapia de intensidade modulada é um tipo de tratamento contra o câncer amplamente utilizado. O planejamento deste tipo de tratamento envolve dois problemas computacionais complexos relacionados à escolha dos ângulos dos feixes para irradiar o paciente e a intensidade que cada feixe deve possuir de modo que as células cancerígenas sejam mortas e, ao mesmo tempo, evitar atingir regiões com tecidos saudáveis. Meta-heurísticas são amplamente utilizadas para lidar com problemas complexos. Muitas vezes, a hibridização de meta-heurísticas resulta em métodos ainda mais eficazes do que as meta-heurísticas usadas isoladamente. No contexto da hibridização, existem ainda as matheurísticas, que são uniões de meta-heurísticas com programação matemática. É neste contexto que a pesquisa relatada neste trabalho está inserida. É proposto um algoritmo que hibridiza as metaheurísticas GRASP (Greedy Random Adaptive Search Procedure) e VNS (Variable Neighborhood Search) com modelos de programação matemática para lidar com os dois problemas citados. Uma terceira abordagem baseada em aprendizado de autômatos também foi explorada para determinar a ordem de execução das vizinhanças do VNS, denominada GRASP-VNS-IA. Dentre os quatro modelos utilizados, dois são propostos neste trabalho. A avaliação das soluções produzidas pelo algoritmo é realizada através de um indicador que agrega quatro indicadores, três deles propostos neste trabalho. O GRASPVNS é comparado ao GRASP e ao GRASP-VNS-IA. Os algoritmos foram testados em um conjunto de dez instâncias de câncer de fígado conhecidas por serem desafiadoras. A avaliação dos resultados produzidos pelos algoritmos é feita por indicadores de qualidade e histogramas. Testes estatísticos foram utilizados para suportar as conclusões sobre o comportamento dos algoritmos.Tese Aplicação do operador OWA com meta-heurísticas nos problemas da otimização de ângulo de feixe e da intensidade em IMRT(Universidade Federal do Rio Grande do Norte, 2024-04-26) Cezario, Sidemar Fideles; Goldbarg, Elizabeth Ferreira Gouvea; http://lattes.cnpq.br/2888641121265608; https://orcid.org/0000-0001-9786-7134; http://lattes.cnpq.br/8487580946899407; Fernandes, Islame Felipe da Costa; Menezes, Matheus da Silva; Maia, Silvia Maria Diniz Monteiro; Souza, Thatiana Cunha Navarro deA utilização da radioterapia no tratamento do câncer é de suma importância para o combater essa doença. O desafio reside em atingir a dose mínima prescrita para o tumor, ao mesmo tempo em que se evita a exposição dos órgãos saudáveis a níveis de radiação superiores aos limites permitidos. Um dos principais enfoques terapêuticos nesse campo é a teleterapia de intensidade modulada (IMRT). Esse trabalho se propôs a otimizar o Problema da Otimização de Ângulo de Feixe e a Otimização do Mapa de Fluências utilizando algoritmos meta-heurísticos. São apresentados três algoritmos: algoritmo genético, memético OWA-OMF e memético multimodelos. Todos são utilizados em combinação com modelos de programação matemática. Esses modelos incluem a utilização do operador Ordered Weighted Averaging (OWA). O memético multimodelos utiliza diferentes funções OWA para determinar o melhor mapa de fluência de uma solução. Os algoritmos foram comparados usando um novo indicador de qualidade composto por dois novos índices propostos neste trabalho. Testes estatísticos foram conduzidos para comparar a eficácia desses algoritmos, revelando a superioridade do algoritmo memético multimodelos sobre os demais. Com esses algoritmos, foi possível encontrar soluções clinicamente viáveis para a maioria das instâncias.Tese Using machine learning to classify criminal macrocauses in smart city contexts(Universidade Federal do Rio Grande do Norte, 2024-05-02) Santos Júnior, Ramiro de Vasconcelos dos; Cacho, Nélio Alessandro Azevedo; Araújo, Daniel Sabino Amorim de; https://orcid.org/0000-0001-5572-0505; http://lattes.cnpq.br/4744754780165354; http://lattes.cnpq.br/4635320220484649; https://orcid.org/0000-0003-2899-7458; http://lattes.cnpq.br/0470238153371233; Santos, Araken de Medeiros; Carvalho, Bruno Motta de; Rego, Thais Gaudêncio doNossa pesquisa apresenta uma nova abordagem para classificar as macrocausas do crime, concentrando-se especificamente na previsão e classificação das características dos crimes violentos letais. Usando um conjunto de dados de Natal, Brasil, experimentamos cinco algoritmos de aprendizado de máquina: Árvores de Decisão, Regressão Logística, Floresta Aleatória, SVC e XGBoost. Nossa metodologia combina engenharia de recursos, FAMD para redução de dimensionalidade e SMOTE-NC para balanceamento de dados. Obtivemos uma precisão média de 0.962, com desvio padrão de 0.016, um F1-Score de 0.961, com desvio padrão de 0.016, e uma curva AUC ROC de 0.995, com desvio padrão de 0.004, usando o XGBoost. Validamos nosso modelo utilizando as métricas citadas, corroborando sua significância através do método estatístico ANOVA. Nosso trabalho está alinhado às iniciativas de cidades inteligentes, visando aumentar a segurança pública e a qualidade de vida urbana. A integração de tecnologias de análise preditiva num contexto de cidade inteligente fornece uma solução ágil para analisar macrocausas do crime, influenciando potencialmente a tomada de decisões dos analistas criminais e o desenvolvimento de políticas de segurança pública eficazes. Nosso estudo contribui significativamente para o campo do aprendizado de máquina aplicado à análise criminal, demonstrando o potencial dessas técnicas na promoção de ambientes urbanos mais seguros. Também utilizamos a metodologia Design Science, que inclui uma revisão consistente da literatura, iterações de design baseadas no feedback de analistas criminais e um estudo de caso, validando efetivamente nosso modelo. A aplicação do modelo de classificação num contexto de cidade inteligente pode otimizar a alocação de recursos e melhorar a qualidade de vida dos cidadãos através de uma solução robusta baseada em teoria e dados, oferecendo informações valiosas para os profissionais de segurança pública.Tese Duas classes de implicações geradas por somas ordinais(Universidade Federal do Rio Grande do Norte, 2024-03-12) Santiago, Heloísa Frazão da Silva; Canuto, Anne Magaly de Paula; http://lattes.cnpq.br/1357887401899097; http://lattes.cnpq.br/9829359845656560; Pinheiro, Antônia Jocivania; Dimuro, Graçaliz Pereira; Santos, Helida Salles; Santiago, Regivan Hugo NunesEsta tese pretende contribuir para a teoria das implicações fuzzy dadas por somas ordinais, introduzindo duas novas classes: as implicações dadas por somas ordinais principais e as implicações dadas por somas ordinais secundárias. São apresentados alguns métodos de construção empregados na geração de exemplos dessas duas novas classes. Alguns métodos de construção de funções de agregação por meio de somas ordinais são apresentados e um destes métodos é utilizado para construir implicações dadas por somas ordinais. Também são apresentados métodos de construção de somas ordinais de implicações que podem não ser nem principais nem secundárias. Além disso, a tese amplia sua contribuição fornecendo exemplos de implicações dadas por somas ordinais principais e secundárias dentro de algumas das principais classes de implicações fuzzy, incluindo (S,N)-implicações, (T,N)- implicações, QL-implicações e D-implicações.Tese Automações não-supervisionadas na abordagem de seleção dinâmica de atributos baseada na fronteira de pareto(Universidade Federal do Rio Grande do Norte, 2023-08-25) Jesus, Jhoseph Kelvin Lopes de; Canuto, Anne Magaly de Paula; Araújo, Daniel Sabino Amorim de; https://orcid.org/0000-0001-5572-0505; http://lattes.cnpq.br/4744754780165354; http://lattes.cnpq.br/1357887401899097; http://lattes.cnpq.br/8707612770138733; Fontes, Aluisio Igor Rego; Santos, Araken de Medeiros; Carvalho, Bruno Motta deMuitas estratégias de seleção de atributos foram desenvolvidas nas últimas décadas, usando diferentes critérios para selecionar as características mais relevantes. O uso da seleção dinâmica de atributos, entretanto, mostrou que o uso de múltiplos critérios simultaneamente para determinar o melhor subconjunto de atributos para instâncias similares pode fornecer resultados encorajadores. Embora o uso da seleção dinâmica tenha atenuado parte das limitações encontradas em métodos de seleção tradicionais, a utilização exclusiva de critério de avaliação supervisionados e a definição manual da quantidade de grupos a serem utilizados, conduzem a limitações de análises de problemas complexos em cenários não-supervisionados. Neste contexto, esta tese propõe três vertentes da abordagem de seleção dinâmica de atributos baseada na fronteira de pareto, no contexto de pré-processamento e uma vertente no contexto de classificação. A primeira está relacionada com a inclusão de critérios não-supervisionados na versão base do PF-DFS/M. A segunda (PF-DFS/P) e terceira (PF-DFS/A) vertentes são variações da versão base, onde incluem, respectivamente, a automatização parcial e total da definição da quantidade de grupos a serem utilizados no processo de pré-processamento através do uso de um comitê de índices de validação interno. A automatização do hiperparâmetro referente a quantidade de grupos permite que, ao invés da escolha arbitrária, sejam utilizados mecanismos que possam auxiliar pesquisadores a lidar com bases de dados não-rotuladas, ou até mesmo a constituir uma análise sob bases rotuladas. A última vertente propõe a utilização de uma mecanismo de ponderação por agrupamento dinâmico para permitir que ao invés de considerar apenas um grupo de atributos para treinar classificadores e testar instâncias, cada instância possa selecionar uma porção de atributos baseada na proporção da similaridade com todos os grupos de atributos. Nas análises investigativas foram utilizados conjuntos de dados reais e artificiais. Os resultados encontrados nas análises empíricas empregadas nesta tese são promissores, demonstrando que o PF-DFS, com a automatização parcial e total da definição da quantidade de grupos a serem utilizados e a utilização da estratégias de ponderação por agrupamento dinâmico, são capazes de obter resultados superiores aos métodos de seleção de atributos utilizados como base comparativa, bem como quando comparado ao conjunto original de dados.Tese Understanding challenges and recommendations in DevOps Education(Universidade Federal do Rio Grande do Norte, 2023-11-30) Fernandes, Marcelo Rômulo; Kulesza, Uirá; Aranha, Eduardo Henrique da Silva; http://lattes.cnpq.br/9520477461031645; http://lattes.cnpq.br/0189095897739979; http://lattes.cnpq.br/4255401883770350; Campos, André Mauricio Cunha; Barroca Filho, Itamir de Morais; Almeida, Rodrigo Bonifácio de; Garcia, Vinicius CardosoDevOps represents a set of practices that integrates software development andoperation, now widely adopted inthe software industry. It involves implementing various vital concepts, such as a culture of collaboration, continuous delivery, and infrastructure as code. The high demand for DevOps practitioners requires non-trivial adjustments in traditional software engineering courses and educational methodologies. As a new area, DevOps has brought significant challenges for the academy regarding research topics and teaching strategies. From aneducational perspective, it is essential to understand how existing courses teach fundamental DevOps concepts. In this thesis, we perform empirical studies to investigate existing challenges of DevOps courses and recommendations to overcome them. Understanding those challenges and recommendations can contribute to improving the learning of DevOps concepts and practices. Our f irst study presents a systematic literature review to identify challenges and recommendationsfor teaching DevOps. Our findingsshowatotal of73 challenges and85recommendationsorganizedintosevencategories (pedagogy, curriculum, assessment, tool, DevOps concepts, class preparation, and environment setup) from 18 papers selected. We also discuss how existing recommendations address the challenges found in the study, thus contributing to the preparation and execution of DevOps courses. Finally, we investigate if challenges and recommendations are specific to teaching DevOps. Our second study involves interviews with 14 DevOps educators from different universities and countries to identify the main challenges and recommendations for DevOps teaching. It identified 83 challenges, 185 recommendations, and several association links and conflicts between them. Our findings can help educators plan, execute, andevaluate DevOpscourses. They also highlight several opportunities for researchers to propose new methods and tools for teaching DevOps. The last study in this thesis interviews 11 DevOps educators from different universities to evaluate the usefulness of the reported challenges and recommendations for DevOpseducationwhenpreparingnewcoursesandimprovingexistingones. It identified that about 22.6% of the recommendations shown are new to the educators and they are interested in using them to improve their courses. In addition, 64.6% of the challenges shown are relevant to the educators and have useful associated recommendations to overcome the challenges.Tese Uma estratégia autonômica para escalabilidade automática de infraestruturas de plataformas para cidades inteligentes(Universidade Federal do Rio Grande do Norte, 2023-11-23) Solino, André Luiz da Silva; Batista, Thais Vasconcelos; Cavalcante, Everton Ranielly de Sousa; https://orcid.org/0000-0002-2475-5075; http://lattes.cnpq.br/5065548216266121; https://orcid.org/0000-0003-3558-1450; http://lattes.cnpq.br/5521922960404236; http://lattes.cnpq.br/7784434236797122; Almeida, André Gustavo Duarte de; Ferraz, Carlos André Guimarães; Cacho, Nelio Alessandro AzevedoPlataformas de desenvolvimento de aplicações para cidades inteligentes recebem, armazenam, processam e exibem grandes volumes de dados de diferentes fontes e possuem diversos usuários, como cidadãos, visitantes, governo e empresas. A infraestrutura computacional subjacente para suportar essas plataformas deve lidar com a carga de trabalho altamente dinâmica das diferentes aplicações, com acesso simultâneo de vários usuários e, às vezes, trabalhando com muitos dispositivos interconectados. Tal infraestrutura normalmente engloba plataformas de nuvem para armazenamento e computação de dados, capazes de aumentar ou diminuir de acordo com as demandas das aplicações. Esta tese propõe uma abordagem autonômica para autoescalar infraestruturas de plataformas de cidades inteligentes. A abordagem segue o loop de controle MAPE-K para ajustar dinamicamente a infraestrutura em resposta às mudanças na carga de trabalho. Ele oferece suporte a cenários em que o número de solicitações de processamento é desconhecido a priori. O desempenho da abordagem foi avaliado no contexto da infraestrutura computacional subjacente ao Smart Geo Layers (SGeoL), uma plataforma para o desenvolvimento de aplicações de cidades inteligentes do mundo real.Tese Controle de mobilidade inteligente orientado por CloudNetwork Slicing em infraestruturas 5G(Universidade Federal do Rio Grande do Norte, 2023-07-31) Silva, Felipe Sampaio Dantas da; Venâncio Neto, Augusto José; http://lattes.cnpq.br/1467664612924239; https://orcid.org/0000-0003-4261-9138; http://lattes.cnpq.br/4095047828103786; Corujo, Daniel; Cerqueira, Eduardo Coelho; Granville, Lisandro Zambenedetti; Immich, Roger Kreutz; Sousa Júnior, Vicente Ângelo deNo contexto da 5ª geração de redes móveis (Fifth Generation – 5G), o fatiamento de recursos de rede (Network Slicing – NS) tem sido amplamente adotado por sua capacidade de habilitar a infraestrutura para a implantação de serviços de forma personalizada e elástica. O NS é promovido por meio de um conjunto de componentes de recursos de rede que pode ser estendido mediante estratégias de virtualização e softwarização. Recentemente, a abordagem de slicing de nuvem e rede (Cloud-Network Slicing – CNS) foi introduzida como uma alternativa para atender às demandas das verticais da indústria, que oferecem seus serviços por vários domínios administrativos e tecnológicos distribuídos ao longo de infraestruturas de nuvem e rede. Nesse cenário caracterizado pela inevitabilidade do handover entre as diferentes células existentes na rede de acesso de rádio (Radio Access Network – RAN), é primordial que o sistema de gerenciamento da infraestrutura seja estendido com capacidades aprimoradas para manter a experiência dos usuários durante eventos de mobilidade. Em sistemas definidos por CNS, os mecanismos de decisão requerem total conhecimento das instâncias CNS ativas, seus requisitos computacionais e de rede, entidades consumidoras de serviços, entre outros aspectos. Um levantamento recente da literatura revelou trabalhos que promovem o gerenciamento da mobilidade em sistemas definidos por NS, mas a inexistência de mecanismos cientes e dirigidos por CNS. Ademais, os mecanismos existentes gerenciam a mobilidade de entidades associadas aos NSs considerando modelos clássicos que se baseiam em potência de sinal, por exemplo. A pesquisa desenvolvida nesta tese de doutorado preenche essa lacuna ao pavimentar sistemas 5G definidos por CNS a partir de uma abordagem com capacidades de controle e gerenciamento de mobilidade de forma automatizada e proativa. As principais contribuições deste trabalho englobam: (1) ampla revisão e discussão sobre mecanismos de decisão de handover orientados para a qualidade e compatíveis com os requisitos críticos impostos pelas verticais 5G em sistemas definidos por CNS; (2) abordagem de gerenciamento e controle de mobilidade dirigido por CNS de forma automatizada e proativa, capaz de manter usuários móveis de instâncias CNS sempre bem conectados e servidos, respeitando as definições fim-a-fim e o alto nível de isolamento requerido; (3) controle de mobilidade dirigido por conformidade de recursos da CNS e requisitos de qualidade dos usuários; (4) predição e decisão de mobilidade inteligentes para habilitar usuários móveis com conectividade contínua e transparente durante a seleção do melhor ponto de acesso para os serviços da CNS; (5) avaliação da solução proposta em ambiente emulado e composto por tecnologias habilitadoras de sistemas 5G. A performance da solução proposta foi comparada com os principais trabalhos do estado da arte e demonstrou melhor capacidade em realizar decisões de mobilidade orientada aos requisitos críticos da CNS em termos de cumprimento de acordos de nível de serviço (Service Level Agreement – SLA) e preservação da qualidade de experiência (Quality of Experience – QoE) dos usuários.Tese The effects of continuous integration on software development: a causal investigation(Universidade Federal do Rio Grande do Norte, 2023-09-19) Sousa Neto, Eliezio Soares de; Kulesza, Uirá; Costa, Daniel Alencar da; http://lattes.cnpq.br/0189095897739979; http://lattes.cnpq.br/4774223109614503; Aranha, Eduardo Henrique da Silva; http://lattes.cnpq.br/9520477461031645; Maia, Marcelo de Almeida; Almeida, Rodrigo Bonifácio de; Medeiros, Sérgio Queiroz deIntegração Contínua (Continuous Integration—CI) é uma técnica de engenharia de software comumente mencionada como um dos pilares das metodologias ágeis. CI tem como principal objetivo reduzir o custo e o risco da integração de código entre times de desenvolvimento. Para tal se preconiza a realização de commits frequentes para integrar o trabalho dos desenvolvedores em um repositório de código e a frequente verificação de qualidade através de builds e testes automatizados. Através do uso de CI espera-se que os times de desenvolvimento possam detectar e corrigir erros rapidamente, melhorando a produtividade dos times e a qualidade dos produtos de software desenvolvidos entre outros benefícios apontados por pesquisadores e praticantes. Estudos anteriores sobre o uso de CI apontam diversos benefícios em diversos aspectos do desenvolvimento de software, entretanto tais associações não estão mapeadas como um todo e também não são suficientes para concluir que CI seja de fato a causa de tais resultados. Portanto, este trabalho tem como objetivo investigar empiricamente tais efeitos da adoção de CI no desenvolvimento de software sob uma perspectiva causal. Primeiro, nós realizamos uma revisão sistemática de literatura para catalogar os achados de estudos que avaliaram empiricamente os efeitos da adoção de CI. Após explorar o conhecimento já documentado conduzimos dois estudos com o objetivo de aprofundar a compreensão a respeito de dois desses aspectos supostamente afetados pela adoção de CI: qualidade de software e a produtividade dos times de desenvolvimento. Nós pretendemos responder se há uma relação causal entre a adoção de CI e os efeitos reportados na literatura. Para isso utilizamos causal Direct Acyclic Graphs (causal DAGs) combinado a duas outras estratégias: revisão de literatura e um estudo de mineração de repositório de software (Mining Software Repository—MSR). Nossos resultados mostram um panorama dos efeitos de CI reportados na literatura e apontam que há de fato uma relação causal entre CI e qualidade de software.Tese An ensemble online learning-based approach for VNF scaling in the Edge Computing(Universidade Federal do Rio Grande do Norte, 2023-09-15) Silva, Thiago Pereira da; Batista, Thais Vasconcelos; Delicato, Flávia Coimbra; https://orcid.org/0000-0003-3558-1450; http://lattes.cnpq.br/5521922960404236; Lopes, Frederico Araújo da Silva; http://lattes.cnpq.br/9177823996895375; Cacho, Nelio Alessandro Azevedo; Pires, Paulo de FigueiredoRecentemente, foram propostas plataformas de computação de borda (do inglês Edge Computing) para gerenciar aplicações emergentes com alta carga computacional e baixos requisitos de tempo de resposta. De modo a proporcionar mais agilidade e flexibilidade na prestação de serviços e, em simultâneo, reduzir os custos de implantação para os provedores de infraestrutura, tecnologias como a Virtualização das Funções de Rede (NFV, do inglês Network Functions Virtualization) são frequentemente utilizadas em ambientes de produção na borda da rede. NFV promove o desacoplamento de hardware e funções de rede usando tecnologias de virtualização, permitindo que elas funcionem em máquinas virtuais ou contêineres como software. As funções de rede ou mesmo funções de camadas superiores são implementadas como entidades de software chamadas Funções de Rede Virtual (VNFs, do inglês Virtual Network Functions). A integração dos paradigmas de Computação de Borda e NFV, como proposto pelo ETSI MEC, permite a criação de um ecossistema para aplicações 5G. Tal integração permite a criação de cadeias de VNF, representando serviços ponta a ponta para os usuários finais e sua implantação em nós de borda. Uma cadeia de funções de serviço (SFC, do inglês Service Function Chaining) compreende um conjunto de VNFs encadeadas em uma determinada ordem, onde cada VNF pode ser executada em um nó de borda diferente. Os principais desafios neste ambiente dizem respeito ao provisionamento dinâmico e ao desprovisionamento de recursos distribuídos na borda para executar as VNFs e atender às exigências da aplicação, otimizando o custo para o fornecedor da infraestrutura. Este trabalho apresenta uma abordagem híbrida de dimensionamento automático para o dimensionamento dinâmico das VNFs no ambiente de computação de borda. Tal abordagem de autodimensionamento emprega uma técnica de aprendizagem de máquinas em conjunto on-line que consiste no agrupamento de diferentes modelos de aprendizagem de máquinas on-line que preveem a carga de trabalho futura das VNFs. A arquitetura da abordagem proposta segue a abstração do MAPE-K (do inglês Monitor-Analyze-Plan-Execute over a shared Knowledge ) para ajustar dinamicamente o número de recursos em resposta às mudanças de carga de trabalho. Esta abordagem é inovadora porque prevê proativamente a carga de trabalho para antecipar ações de dimensionamento e se comporta de forma reativa quando o modelo de predição não atende a uma qualidade desejada. Além disso, a solução proposta nesse trabalho não requer nenhum conhecimento prévio do comportamento dos dados, o que a torna adequado para uso em diferentes contextos. Esse trabalho também apresenta um algoritmo para dimensionar as instâncias de VNF, utilizando uma estratégia para definir quantos recursos devem ser alocados ou desalocados durante uma ação de dimensionamento. Finalmente, apresentamos uma avaliação do método de aprendizado por agrupamento e do algoritmo proposto, comparando o desempenho das predições e a quantidade de ações de dimensionamentos e violações do Acordo de Nível de Serviço (SLA, do inglês Service Level Agreement).Tese Melhorando o rotulamento de papel retórico legal através de dados adicionais e uso eficiente de modelos transformadores(Universidade Federal do Rio Grande do Norte, 2023-06-29) Lima, Alexandre Gomes de; Aranha, Eduardo Henrique da Silva; http://lattes.cnpq.br/9520477461031645; https://orcid.org/0000-0001-7251-0008; http://lattes.cnpq.br/4063478137671603; Silva, Ivanovitch Medeiros Dantas da; https://orcid.org/0000-0002-0116-6489; http://lattes.cnpq.br/3608440944832201; Moreno, José Guillermo; Bezerra, Leonardo César Teonácio; Dkaki, TaoufiqLegal AI, a aplicação da Inteligência Artificial (IA) no domínio legal, é um campo de pesquisa que compreende várias dimensões e tarefas de interesse. Tal como em outros domínios de aplicação, um dos benefícios almejados é a automatização de tarefas, a qual aumenta a produtividade dos profissionais da área e torna o Direito mais acessível ao público em geral. Texto é uma fonte de dados importante no domínio legal, consequentemente Legal AI possui um grande interesse nos avanços relacionados ao Processamento de Linguagem Natural (PLN). Esta tese diz respeito à automatização do Rotulamento de Papel Retórico no Domínio Legal (RPRDL), uma tarefa que atribui funções semânticas a sentenças textuais em documentos jurídicos. RPRDL é uma tarefa relevante porque ela encontra informação que é útil tanto por si só, bem como para tarefas posteriores tais como sumarização jurídica e recuperação de jurisprudência. Há vários fatores que tornam a RPRDL uma tarefa não trivial, mesmo para os seres humanos: a heterogeneidade das fontes de documentos, a falta de padrões, necessidade de conhecimento específico do domínio e o nível de subjetividade inerente à tarefa. Estes fatores complicadores e o grande volume de documentos jurídicos justificam a automatização da tarefa. Essa automatização pode ser implementada como uma tarefa de classificação de sentenças, ou seja, as sentenças textuais são utilizadas como entrada de um modelo que atribui um rótulo, ou classe, para cada sentença informada. A utilização de Modelos Transformadores de Linguagem Pré-treinados (MTLP) no desenvolvimento de classificadores é uma escolha ´obvia visto que MTLPs representam o estado da arte de muitas tarefas de PLN, incluindo a classificação de texto. No entanto, esta tese evidencia dois problemas relevantes encontrados em trabalhos sobre RPRDL suportados por MTLP. O primeiro problema é a falta de trabalhos sobre melhores maneiras de lidar com as idiossincrasias de textos jurídicos e com conjuntos de dados relacionados à tarefa de RPRDL os quais são normalmente pequenos e desbalanceados. Quase todos os trabalhos relacionados empregam apenas a estratégia padrão de ajuste fino para treinar seus modelos. O segundo problema ´e o aproveitamento parcial da capacidade de exploração de contexto que é intrínseca aos MTLPs, um fato que prejudica o desempenho dos modelos. Diante disso, esta tese tem como objetivo avançar o estado da arte na tarefa de RPRDL por meio da investigação de três abordagens concebidas para superar esses problemas. A primeira abordagem tem base em um método de aumento de dados para gerar vetores representativos de sentença sintéticos, aumentando assim a quantidade de dados de treinamento. A segunda abordagem combina representação de conteúdo e representação posicional para enriquecer os vetores de treinamento. A terceira abordagem, denominada Preenchimento Dinâmico de Blocos de Sentença Contextualizados (PDBSC), define uma forma de produzir vetores representativos de sentença de alta qualidade através de uma utilização eficiente das capacidades de codificação dos MTLPs. Os estudos realizados nesta tese mostram que as duas primeiras abordagens têm um impacto limitado no desempenho dos modelos. Por outro lado, os modelos baseados na abordagem PDBSC obtêm resultados notáveis e são os que apresentam melhor desempenho nos respectivos estudos. Como conclusão, esta tese propõe o uso da abordagem PDBSC como uma contribuição valiosa ao estado da arte em RPRDL.Tese Investigação da adição de métodos de aprendizado e programação matemática em uma arquitetura de hibridização de meta-heurísticas para problemas de otimização com decisões em múltiplos níveis(Universidade Federal do Rio Grande do Norte, 2023-08-02) Machado, Murilo Oliveira; Goldbarg, Elizabeth Ferreira Gouvea; http://lattes.cnpq.br/2888641121265608; Almeida, Carolina de Paula; Sabry, Gustavo de Araújo; Fernandes, Islame Felipe da Costa; Menezes, Matheus da Silva; Maia, Silvia Maria Diniz Monteiro; http://lattes.cnpq.br/1498104590221901A hibridização de meta-heurísticas é um tópico que vem sendo estudado por diversos pesquisadores dado ao seu potencial de produzir heurísticas mais eficientes do que aquelas baseadas em uma única técnica. Tal hibridização, entretanto, não é uma tarefa fácil, uma vez que existem diversas maneiras de operacionalizá-la. A tarefa se torna ainda mais difícil quando existem três ou mais métodos meta-heurísticos a serem hibridizados ou quando se deseja adicionar métodos de Programação Matemática, construindo, assim, matheurísticas. Diversos métodos foram propostos para hibridizar meta-heurísticas, incluindo algumas técnicas que automatizam a hibridização, como é o caso de arquiteturas multi-agentes. Um pequeno número dessas arquiteturas se utiliza de técnicas de aprendizado e um número ainda mais restrito lida com matheurísticas. Este trabalho estende os recursos da Arquitetura Multiagentes para Hibridização de Meta-heurísticas incluindo técnicas de aprendizado e de Programação Matemática. A forma da aplicação das técnicas de aprendizado é inovadora contemplando a escolha feita pelos agentes de heurísticas a serem aplicadas em diferentes momentos da busca. Este trabalho propõe uma nova forma de hibridização hierárquica para problemas de Otimização Combinatória que possuem múltiplos níveis de decisão. As propostas algorítmicas são testadas no Caixeiro Viajante Alugador com Passageiros e no Problema de Cabeamento em Usinas Eólicas. Esses problemas pertencem à classe NP-difícil e exigem a tomada de decisão em mais de um nível. No caso do Caixeiro Viajante Alugador com Passageiros a tomada de decisão se dá em três níveis: rota, tipos de carros utilizados e atendimento de demanda por caronas. No caso do cabeamento em usinas eólicas são exigidas decisões do local de cabeamento e tipo de cabo a ser empregado em cada trecho. Os experimentos para o Caixeiro Viajante Alugador com Passageiros foram feitos para três classes de instâncias, em um total de noventa e nove casos de teste com tamanho variando de 4 a 80 cidades, 2 a 5 veículos e 10 a 240 pessoas demandando transporte. O Problema de Cabeamento em Usinas Eólicas foi alvo de experimentos que envolveram um conjunto de 200 instâncias. Essas instâncias são simulações de situações reais desenvolvidas em colaboração com especialistas da área. As abordagens propostas neste trabalho são comparadas a algoritmos do estado-da-arte para ambos os problemas.