Defesa de Doutorado – Vinícius Berndsen Peccin – 17/9/2021

18/08/2021 21:43
Defesa de Tese de Doutorado
Aluno Vinícius Berndsen Peccin
Orientador

Coorientador

 Prof. Julio Elias Normey-Rico, Dr. – DAS/UFSC

Prof. Rodolfo Cesar Costa Flesch, Dr. – DAS/UFSC
Data

 

 17/9/2021  14h  (sexta-feira)

Videoconferência (https://meet.google.com/qua-swrc-jjd)
 

 

Banca

 Prof. Julio Elias Normey-Rico, Dr. – DAS/UFSC (presidente);

Prof. Ricardo Hiroshi Caldeira Takahashi, Dr. – MAT/UFMG;

Prof. Douglas Wildgrube Bertol, Dr. – EEL/UDESC;

Prof. Eduardo Camponogara, Dr. – DAS/UFSC.
Título Controle Preditivo Baseado em Modelo de Cômputo Rápido: contribuições em Algoritmos Embarcados com Otimização Online para Formulações Entrada-Saída
Resumo: As principais contribuições inéditas desta tese são os algoritmos de controle preditivo baseado em modelo (MPC) de cômputo rápido com otimização online e a proposição de arquiteturas de implementação em computação paralela. Foram abordados o controle preditivo generalizado (GPC) e o controle por matriz dinâmica (DMC), que são as formulações entrada-saída de MPC mais utilizadas na indústria. Dos seis algoritmos propostos, cinco deles utilizam a formulação GPC e o outro a formulação DMC. Em cada algoritmo é utilizado um método de otimização com características distintas. São também propostas generalizações para o caso de múltiplas entradas e múltiplas saídas. Os algoritmos GPCGPAD e GPCFAMA foram os que apresentaram o melhor desempenho no quesito do tempo de cômputo. Para esses dois métodos são também fornecidos meios de se calcular o limite superior do número de iterações do método de otimização, de modo a descobrir o pior caso de tempo de execução. Os algoritmos propostos foram testados e comparados em simulação. Os estudos de caso considerados nas simulações foram um inversor de frequência trifásico com filtro LCL e conectado à rede e uma coluna de destilação de laboratório. Quanto às arquiteturas, foram desenvolvidos métodos de implementação dos algoritmos em um FPGA, explorando as vantagens de paralelismo da descrição direta em hardware. Foi proposta uma solução paralela para a multiplicação matricial em aritmética de ponto fixo, por ser a operação computacional mais custosa. Outra contribuição inédita é a proposição de um precondicionamento do problema de otimização resultante do GPC que obteve uma diminuição de até 11% no tempo de cômputo na arquitetura de implementação proposta. Os testes em FPGA apresentaram resultados rápidos com o tempo de cômputo do sinal de controle da ordem de microssegundos. A tese está formatada como uma coleção de artigos. São apresentados cinco artigos, diretamente ligados à pesquisa, organizados em cada capítulo.
Defesas

Defesa de Mestrado – Jessica Junia Santillo Costa – 14/9/2021

17/08/2021 13:58
Defesa de Dissertação de Mestrado
Aluno Jessica Junia Santillo Costa
Orientador

Coorientador

 Prof. Rômulo Silva de Oliveira, Dr. – DAS/UFSC

Prof. Luis Fernando Arcaro, Dr. – EMBRAER
Data 14/9/2021 (terça-feira) – 15h30

Videoconferência (https://meet.google.com/rpv-pwxx-wps)
Banca Prof. Rômulo Silva de Oliveira, Dr. – DAS/UFSC (presidente);

Prof. Rodrigo Lange, Dr. – IFRS;

Prof. Rafael Rodrigues Obelheiro, Dr. – DCC/UDESC;

Prof. Cristian Koliver, Dr. – INE/UFSC.
Título Emprego de Medição na Estimação do Tempo de Execução no Pior Caso para Sistemas de Tempo Real
Resumo: O objetivo deste trabalho é a avaliação de métodos e técnicas para estimar o tempo de execução no pior caso (WCET), em aplicações de tempo real executadas em hardware com recursos de aceleração complexos. Busca-se avaliar a aplicação da Análise de Tempo Probabilística Baseada em Medições (MBPTA) para estimação do WCET, utilizando como estudo de caso um sistema operacional que busca atender aos aspectos funcionais e temporais exigidos pela especificação ARINC 653 executado sobre uma plataforma BeagleBone. Testes foram feitos com a inserção de Benchmarks em diferentes partições do sistema operacional. Os Benchmarks implementados foram o fibcall, o bsort e o lms do projeto Mälardalen e o dijkstra do projeto TACLeBench. Diversos testes foram realizados para avaliar se o comportamento temporal da aplicação estava sujeito a variações. Os testes realizados comprovaram que o isolamento temporal e espacial, que deveria ser estabelecido por meio do particionamento do SO segundo a especificação ARINC  653, não é, por vezes, respeitado em função das características do hardware utilizado. Dois cenários foram usados nos testes em que foram coletadas 10 amostras com 50.000 medições. Apesar da existência de fatores que podem afetar o comportamento temporal da aplicação, o comportamento em regime se apresentou estável e, de maneira geral, a técnica MBPTA baseada na Teoria de Valores Extremos usando a abordagem Máximos de Blocos pôde ser aplicada e os resultados obtidos foram satisfatórios. Para cada cenário, foram usados 3 diferentes tamanhos de blocos e 3 diferentes quantidades de blocos. Foram gerados pWCETs (probabilistic WCETs) para 4 diferentes probabilidades de excedência. No caso da probabilidade de excedência de , ainda que 50 valores distintos de pWCET tenham sido obtidos, a diferença entre o maior e o menor valor obtido foi menor do que 1%, mostrando que o método, apesar de sua variabilidade inerente, fornece resultados consistentes. Em todos os casos, a mediana dos pWCETs () obtidos foi maior do que o maior valor observado.
Defesas

Defesa de Doutorado – Suelen Macedo Laurindo – 27/8/2021

12/08/2021 21:24
Defesa de Tese de Doutorado
Aluna Suelen Macedo Laurindo
Orientador

Coorientador

 Prof. Ricardo Alexandre Reinaldo de Moraes, Dr. – PPGEAS/UFSC

Prof. Carlos Barros Montez, Dr. – DAS/UFSC
Data

 

 27/8/2021  9h  (sexta-feira)

Videoconferência (meet.google.com/xzi-zkjy-icn)
 

 

Banca

 Prof. Ricardo Alexandre R. de Moraes, Dr. – PPGEAS/UFSC (presidente);

Prof. Daniel Gouveia Costa, Dr. – DTEC/UEFS;

Prof. Richard Demos de Souza, Dr. – EEL/UFSC;

Prof. Marcelo Ricardo Stemmer, Dr. – DAS/UFSC;

Prof. Érico Meneses, Dr. – UFPI.
Título Relay Selection Technique Applied to Wireless Sensor Network: the ORST Approach
Abstract: Wireless sensor networks (WSNs) are increasingly prevalent in everyday life (for example, in healthcare, smart cities, smart agriculture, Industry 4.0, and the sustainable use of terrestrial ecosystems), as they can facilitate daily activities and improve quality of life. However, in all these applications, the reliability of communication remains a challenge due to the nature of wireless communication channels, which are subject to electromagnetic noise and obstacles between nodes that can attenuate or reflect the signal. To minimize these problems, cooperative diversity techniques and retransmission mechanisms are efficient strategies that can be applied. In cooperative diversity techniques, several nodes are selected as relays and are responsible for transmitting both their own data and data from other nodes that have been previously stored. Relay selection is a critical step that may affect the quality of transmission, and it is therefore important to find the most appropriate selection criteria for the operation of the network. In addition, network coding techniques are widely used retransmission mechanisms in which intermediary nodes act upon the retransmitted messages and modify them using specific mathematical coding techniques. Network coding techniques are a promising solution for minimizing transmission delay, balancing the network load, and improving the network throughput. In this context, this thesis examines the limitations on reliable communication in WSNs by treating the communication in a holistic way. As a contribution in this thesis, we highlight: (i) a systematic review on relay selection techniques; (ii) the proposal and validation of a new technique for selecting relay nodes, which we call ORST (Optimized Relay Selection Technique); (iii) an analysis of the parameters used in the selection of relay nodes in the ORST technique; (iv) an analysis of the solutions used in the relay selection problem of the ORST technique; (v) a systematic review of network coding techniques; (vi) the proposal of a network coding technique together with the proposal of four retransmission mechanisms, three of which consider the network coding technique and one do not use network coding; and finally, (vii) an analysis of the operation of a WSN when using the ORST technique and retransmission mechanisms, with and without network coding. To evaluate the cooperative selection technique and the retransmission mechanisms, the network simulation tool OMNeT++ and the WSN framework Castalia were used. The initial assumption underlying this research work was that the use of the proposed relay selection technique in conjunction with a retransmission mechanism that used network coding would improve the communication reliability of a WNS; however, the simulation results showed that when the proposed relay selection technique was used, retransmission without network coding was a better solution.
Defesas

Defesa de Mestrado – Luis Pedro Arenhart Lampert – 16/8/2021

11/08/2021 11:31
Defesa de Dissertação de Mestrado
Aluno Luis Pedro Arenhart Lampert
Orientador

Coorientador

 Prof. Jomi Fred Hübner, Dr. – DAS/UFSC

Prof. Maicon Rafael Zatelli, Dr. – IFSC
Data 16/8/2021 (segunda-feira) – 14h30

Videoconferência (https://meet.google.com/xgu-jvoj-kct)
Banca Prof. Jomi Fred Hübner, Dr. – DAS/UFSC (presidente);

Prof. Cesar Augusto Tacla, Dr. – UTFPR;

Prof. Marcelo Lopes de Lima, Dr. – PETROBRAS.
Título Tolerância a Faltas em Sistemas Multiagentes Multidimensionais
Resumo: A autonomia presente nos Sistemas Multiagentes (SMA) é uma característica que contribui para que esse tipo de sistema seja suscetível a faltas, o que acaba prejudicando a confiabilidade e reduzindo a utilização dos SMA em aplicações que demandam soluções robustas. Para melhorar o nível da confiabilidade de um sistema, diversas técnicas podem ser empregadas. Entre elas, a tolerância a faltas (TF) visa garantir que o sistema entregue os serviços esperados, mesmo que faltas tenham ocorrido. Existem diversos trabalhos que abordam a TF nos SMA, entretanto, a maioria faz um tratamento não genérico, focando na resolução de problemas específicos do sistema. Além disso, os modelos propostos nesses trabalhos costumam se concentrar apenas na programação da dimensão dos agentes. Este trabalho explora os conceitos e abstrações existentes na programação de SMA multidimensionais (agente, ambiente e organização), analisando quais desses conceitos podem auxiliar o desenvolvimento de um modelo de TF para SMA. Este documento apresenta uma proposta inicial, onde foi elaborado um modelo que adiciona a capacidade de monitoramento do estado dos agentes através da instrumentação do ambiente. Além disso, propõe-se a adição de agentes especializados, que têm a capacidade de perceber e atuar nos casos de detecção de faltas no sistema.
Defesas

Defesa de Mestrado – Marcus Vinicius Silva Cruz – 16/8/2021

03/08/2021 12:44
Defesa de Dissertação de Mestrado
Aluno Marcus Vinicius Silva Cruz
Orientador Prof. Leandro Buss Becker, Dr. – DAS/UFSC
Data 16/8/2021 (segunda-feira) – 13h45

Videoconferência (https://meet.google.com/hss-waom-vyc)
Banca Prof. Leandro Buss Becker, Dr. – DAS/UFSC (presidente);

Prof. Fábio Paulo Basso, Dr. – Unipampa;

Prof. Julio Elias Normey-Rico, Dr. – DAS/UFSC;

Prof. Ricardo José Rabelo, Dr. – DAS/UFSC.
Título Engenharia Reversa Baseada em Modelos para Aplicações de Simulação, Controle e Operação de Plantas na Indústria Petroquímica
Resumo: A indústria petroquímica está se tornando cada vez mais complexa e, como resultado, diferentes plataformas de software são utilizadas para auxiliar no projeto de sistemas. Geralmente, ocorre que o mesmo componente da planta física é remodelado em diferentes plataformas de software, de forma que o reaproveitamento destes modelos se torna difícil, compromete a interoperabilidade do sistema e gera a necessidade de retrabalho nos projetos. Para sistemas legados nas indústrias petroquímicas a reutilização de códigos demanda um esforço muito grande na refatoração dos projetos tornando o processo de desenvolvimento mais difícil de manusear para fins de operação, controle, operação e supervisão. Trabalhos anteriores propuseram a infraestrutura denominada Model-Driven Engineering for Petrochemical Industry Automation (M4PIA), que permite representar plantas industriais através de modelos diferenciados, compatíveis e orientados a objetos. O M4PIA é composto por três metamodelos em dois níveis de abstração (independente e dependente de plataforma). Por meio de transformações de modelos, a infraestrutura oferece suporte à geração automática de código de um modelo de abstração de alto nível para plataformas de software específicas. O presente trabalho propõe a integração de uma engenharia reversa baseada em modelos na infraestrutura M4PIA de forma que a partir uma modelagem de sistemas legados desenvolvidas no mais baixo nível, neste caso, no código-fonte seja possível, através das transformações Text-to-Model – Texto para Modelo (T2M) e Model-to-Model – Modelo para Modelo (M2M) obter um modelo de mais alto nível de abstração. A infraestrutura M4PIA tem suporte para duas plataformas de domínio muito utilizadas na indústria petroquímica. As plataformas Módulo de Procedimentos Automatizados (MPA), para aplicações de operação, automação e controle de processos industriais; e o Environment for Modeling, Simulation and Optimization (EMSO), para simulação de processos petroquímicos. Foi realizado uma revisão das tecnologias utilizadas para desenvolvimento da proposta e uma revisão na literatura de trabalhos científicos relacionados. Uma prova conceito envolvendo a modelagem no nível mais baixo de abstração em ambos os sistemas, MPA e EMSO, para um sistema de compressão de uma plataforma de produção petroquímica é apresenta em quatro cenários distintos abrangendo todas as possibilidades de transformações possíveis dentro da infraestrutura visando ilustra o uso da solução, bem como realizar uma análise empírica buscando encontrar pontos de desacordo nas transformações. A solução apresentou-se adequada para a realização de engenharia reversa possibilitando a reutilização e maior facilidade para refatoração de sistemas legados na indústria petroquímica.
Defesas

Defesa de Mestrado – Leonardo Ferreira Pacheco Malta Martins – 13/8/2021

03/08/2021 10:49
Defesa de Dissertação de Mestrado
Aluno Leonardo Ferreira Pacheco Malta Martins
Orientador

Coorientador

 Prof. Alexandre Trofino Neto, Dr. – DAS/UFSC

Prof. Marcelo de Lellis Costa de Oliveira, Dr. – DAS/UFSC
Data 13/8/2021 (sexta-feira) – 14h

Videoconferência (meet.google.com/vnj-qgkq-jcy)
Banca Prof. Alexandre Trofino Neto, Dr. – DAS/UFSC (presidente);

Prof. Carlos Henrique Illa Font, Dr. – UTFPR;

Prof. Felipe Gomes de Oliveira Cabral, Dr. – DAS/UFSC;

Prof. Nestor Roqueiro, Dr. – DAS/UFSC.
Título Microgeração Eólica Embarcada para Aerogeradores com Asas Cabeadas
Resumo: Esta dissertação de mestrado apresenta o projeto de um microgerador eólico a ser embarcado na unidade de voo de um aerogerador com asas cabeadas, mais conhecido como Airborne Wind Energy (AWE), uma tecnologia inovadora atuante na área de geração de energia eólica. O aerogerador considerado é do tipo pumping kite, desenvolvido pelo Grupo de Pesquisa em Energias Renováveis da UFSC (UFSCkite), o qual consiste basicamente de uma asa cabeada, uma unidade de voo, para controle de trajetória, e outra unidade de solo, responsável pela geração de energia. O objetivo central do microgerador projetado é de fornecer potência necessária para alimentar os componentes presentes na unidade de voo do sistema AWE: dois servomotores, um microcontrolador, sensores e periféricos. Atualmente um pack de baterias é utilizado para este fim, porém sua capacidade limitada em algumas horas inviabiliza um trabalho contínuo por parte do sistema. Deste modo, o microgerador deve suprir a energia demandada por toda eletrônica embarcada na unidade de voo, enquanto as baterias entram como um backup para eventuais quedas na geração da microturbina, ao passo que, com a ocorrência de alta geração, aproveita-se para recarregar o pack de baterias. O trabalho apresenta o levantamento do modelo do microgerador, mais especificamente suas curvas de potência: potência gerada, coeficiente de potência e pontos de máxima potência, todas identificadas em função da variação da velocidade do vento. O levantamento das curvas do microgerador é realizado através de testes laboratoriais com uso de túnel de vento, para consequente aplicação da técnica de Power Signal Feedback (PSF) como método de rastreamento do ponto de máxima potência (MPPT), cuja aplicação exige a identificação do modelo da microturbina. A partir disso, o projeto do controlador, em nível de simulação com auxílio do software PSIM, é apresentado. Propõe-se uma técnica de PSF adaptada, com uso completo do polinômio característico da curva de MPPT e alteração de referência de controle para evitar dissipação de energia excedente gerada, quando o pack de baterias estiver carregado. Além disso, é apresentada a caracterização dos componentes que fazem parte da microturbina: rotor, gerador, retificador trifásico, conversor CC-CC, assim como o sistema de aquisição de dados baseado em microcontrolador. Como resultados foi possível obter, em nível de simulação, valores que chegam em torno de 64 W de potência para o circuito em malha fechada, atuando em velocidades do vento de até de 33 m/s.
Defesas

Defesa de Mestrado – Luiz Antonio Buschetto Macarini – 11/8/2021

03/08/2021 09:36
Defesa de Dissertação de Mestrado
Aluno Luiz Antonio Buschetto Macarini
Orientador

Coorientador

 Prof. Marcelo Ricardo Stemmer, Dr. – DAS/UFSC

Prof. Aldo Von Wangenheim, Dr. – INE/UFSC
Data 11/8/2021 (quarta-feira) – 14h

Videoconferência (https://meet.google.com/aqo-zefi-bni)
Banca Prof. Marcelo Ricardo Stemmer, Dr. – DAS/UFSC (presidente);

Profa. Maria Inês Meurer, Dra. – PTL/UFSC;

Prof. Jomi Fred Hübner, Dr. – DAS/UFSC;

Prof. Eric Aislan Antonelo, Dr. – DAS/UFSC.
Título Utilização de Redes Neurais Convolucionais para Automação do Processo de Detecção/Segmentação e Classificação de Núcleos Celulares para Detecção de Aneuploidia
Resumo: O câncer de colo de útero é o quarto tipo de câncer mais comum entre as mulheres. No Brasil, esta doença foi a causa da morte de 6596 mulheres em 2019. Uma das maneiras de realizar o diagnóstico é através do teste de Papanicolau. A biópsia ainda é a maneira mais comum para a detecção precoce, apesar de ser um método invasivo. Neste sentido, pesquisadores vêm buscando maneiras não-invasivas de auxiliar no diagnóstico deste tipo de doença, e os estudos na área de Citologia tem se mostrado promissores. Nos dias atuais, utiliza-se a Citometria de DNA como principal abordagem para a detecção da quantidade anormal de DNA nas células, processo conhecido como Aneuploidia. Este pode ser um indicativo de lesões pré-cancerosas. Porém, ainda é necessário que esta análise celular seja feita por profissionais treinados. O processo pode ser cansativo e está sujeito a erros. No entanto, esta tarefa é passível de automação, auxiliando na diminuição da subjetividade do processo, dos possíveis erros e do tempo necessário para realizar a análise. Nos últimos anos, as técnicas de Deep Learning têm obtido sucesso em resolver problemas que resistiram às melhores tentativas da comunidade de Inteligência Artificial. Atualmente, as Redes Neurais Convolucionais vêm sendo utilizadas em diversas aplicações, nas quais podemos incluir também a área de saúde. Neste contexto, este trabalho tem como objetivo apresentar um pipeline completo para automação da classificação de núcleos celulares preparados com o corante de Feulgen, visando encontrar câncer de colo de útero de maneira precoce e não-invasiva. Será apresentada uma comparação de diferentes abordagens (segmentação semântica, detecção de objetos e classificação de imagens) com onze arquiteturas de redes neurais diferentes. Os dados utilizados são provenientes de pacientes do Hospital Universitário da UFSC, onde foi construído um conjunto de dados anotados e avaliados por profissionais. Os resultados obtidos mostram que, no geral, as redes neurais apresentam bom desempenho em relação a detecção/segmentação (localização) dos núcleos, porém a diferenciação entre as classes apresentou métricas ruins. Dentre as abordagens comparadas neste trabalho, a classificação de imagens foi a que apresentou os melhores resultados. Concluiu-se que estes algoritmos ainda não estão prontos para serem implementados na rotina clínica. No entanto, este trabalho aponta um possível caminho a ser seguido para investigação de uma abordagem objetiva e não-invasiva para detecção precoce de câncer.
Defesas

Defesa de Mestrado – Marcos Thurow Schoenknecht – 6/8/2021

14/07/2021 06:46
Defesa de Dissertação de Mestrado
Aluno Marcos Thurow Schoenknecht
Orientador

Coorientador

 Prof. Marcelo de Lellis Costa de Oliveira, Dr. – DAS/UFSC

Prof. Alexandre Trofino Neto, Dr. – DAS/UFSC
Data 6/8/2021 (sexta-feira) – 8h30

Videoconferência (https://meet.google.com/soj-tcew-otu)
Banca Prof. Marcelo de Lellis Costa de Oliveira, Dr. – DAS/UFSC (presidente);

Sr. Ramiro Saraiva da Silva, Dr. – ISI-SE/SENAI;

Prof. Rodolfo César Costa Flesch, Dr. – DAS/UFSC;

Prof. Gustavo Artur de Andrade, Dr. – DAS/UFSC.
Título Controle de Tração em Aerogeradores com Asas Cabeadas
Resumo: Este trabalho tem por objeto de estudo o controle de tração em aerogeradores com asas cabeadas, que fazem parte de uma tecnologia de geração eólica chamada Airborne Wind Energy. Essa tecnologia busca extrair energia dos ventos em alta altitude através de equipamentos suspensos no ar, como asas ou balões, e conectados ao solo por cabos. Na configuração estudada, chamada pumping-kite, o cabo que conecta a unidade de voo com a unidade de solo transmite parte da força do vento para um gerador conectado em um carretel. O controle de tração é realizado pela unidade de solo para manter a tração no cabo dentro da faixa de operação definida. Neste trabalho, apresenta-se os fundamentos da tecnologia e as particularidades da configuração pumping-kite, trazendo modelos presentes na literatura e detalhando os principais componentes. Faz-se considerações sobre as fases de operação do sistema e as trajetórias de voo que são utilizadas com frequência. Define-se uma estrutura em cascata para o controlador de tração, propondo duas diferentes estratégias para a geração de referência na malha externa. Essa referência varia constantemente devido as características cíclicas da trajetória de voo. Desenvolve-se um modelo simples para o cabo, tratando-o como um elemento de mola, que é utilizado para o projeto de um controlador por realimentação de estados na malha interna. Implementa-se um controlador de voo a partir da literatura, que é necessário para a operação do sistema completo. É feito simplificações no algoritmo de voo, para facilitar sua implementação, sem prejudicar sua acurácia. Prepara-se um ambiente de simulação, composto pelo controlador de tração, desenvolvido em GNU Octave, pelo controlador de voo, desenvolvido em C, e pelo simulador Freekitesim, um software livre que simula um sistema na configuração pumping-kite. Realiza-se simulações com velocidade constante imposta, para verificar a aplicabilidade da velocidade ótima teórica, definida pelo modelo apresentado, no sistema simulado. Os resultados indicam que a velocidade que maximiza a potência gerada é menor que a ótima teórica, e corroboram observações realizadas por outros autores que já sugerem isso. Considerando esses resultados, é aplicado um fator de correção nas estratégias de geração de referência de tração para que a velocidade resultante seja proporcionalmente reduzida. Realiza-se então simulações para o sistema com o controle de tração desenvolvido em condições normais de operação e com perturbações na velocidade do vento. Os resultados indicam que ambas estratégias propostas são capazes de manter a tração dentro dos limites definidos enquanto rejeitam as perturbações na velocidade do vento. É realizado comparações entre as estratégias propostas, indicando suas principais vantagens e desvantagens, a partir dos resultados de simulação.
Defesas

Defesa de Mestrado – Georgios Joannis Ninos Neto – 3/8/2021

14/07/2021 06:45
Defesa de Dissertação de Mestrado
Aluno Georgios Joannis Ninos Neto
Orientador

Coorientador

Coorientador

 Prof. Rodrigo Castelan Carlson, Dr. – DAS/UFSC

Prof. Rodrigo Tacla Saad, Dr. – Vertesis

Prof. Fábio Luis Baldissera, Dr. – DAS/UFSC
Data 3/8/2021 (terça-feira) – 8h15

Videoconferência (https://meet.google.com/gnq-awsk-kxq)
Banca Prof. Rodrigo Castelan Carlson, Dr. – DAS/UFSC (presidente);

Prof. Manoel Mendonça de Castro, Dr. – DET/UFSC;

Prof. Max Hering de Queiroz, Dr. – DAS/UFSC;

Prof. Werner Kraus Junior, Dr. – DAS/UFSC.
Título Análise de um Gerenciamento Cooperativo de Veículos Automatizados com Exploração Livre da Área de Interseção
Resumo: O tráfego em grandes cidades e rodovias sofre tem sua operação impactada pelos congestionamentos com grande gasto de tempo, consumo de combustível e erros humanos na condução de veículos. Neste trabalho, aborda-se o uso de um Gerenciamento de Interseção Cooperativa que coordene um ambiente composto de Veículos Automatizados e que atenda a requisitos como eficiência e segurança. Nesse sistema de tomada de decisão, a troca de informações entre veículos é usada para realizar movimentos que não necessariamente seguem os caminhos convencionados pelas leis de trânsito atuais, por meio de um modelo de exploração flexível em uma área discretizada da interseção. Desta forma, estabeleceu-se uma coordenação capaz de organizar veículos que precisam cruzar o mesmo local em instantes de tempo relativamente próximos. Assim, construiu-se abstrações de um espaço de estados, com ferramentas de verificação formal, usando sistemas de transição para executar as especificações de manobras dos Veículos Automatizados e a lista de prioridades de passagem a ser seguida. Para analisar a alcançabilidade de estados, optou-se pela implementação de técnicas de tratamento de grafos, a fim de identificar os menores caminhos seguros possíveis que um conjunto de veículos leva para sair do setor de recursos compartilhados. Os testes iniciais do processo de tomada de decisão passaram por reduções no modelo, a fim de as limitações em termos de processamento de dados e de memória. Posteriormente, analisa-se a evolução dos modelos finais para variadas condições iniciais e explora-se visualmente os comportamentos de uso da área de interseção. Ao final, a exploração exaustiva e automática dos estados atingíveis gerou de uma gama de alternativas de caminhos em diversos cenários, com a possibilidade de escalar o modelo para outras condições iniciais. Estes resultados devem contribuir para a adoção de uma nova perspectiva em relação às pesquisas de coordenação de interseções.

 
Defesas

Defesa de Mestrado – Thiago Raulino Dal Pont – 28/7/2021

13/07/2021 21:43
Defesa de Dissertação de Mestrado
Aluno Thiago Raulino Dal Pont
Orientador

Coorientador

 Prof. Jomi Fred Hübner, Dr. – DAS/UFSC

Prof. Aires José Rover, Dr. – CCJ/UFSC
Data 28/7/2021 (quarta-feira) – 14h

Videoconferência (https://meet.google.com/xgu-jvoj-kct)
Banca Prof. Jomi Fred Hübner, Dr. – DAS/UFSC (presidente);

Prof. Fabiano Hartmann Peixoto, Dr. – UnB;

Prof. Eric Aislan Antonelo, Dr. – DAS/UFSC;

Prof. Marcelo Ricardo Stemmer, Dr. – DAS/UFSC.
Título Representation, Classification and Regresstion Techniques applied to Legal Judgments about Immaterial Damage due to Failures in Air Transport Services
Abstract: According to the last report Justiça em Números, annually published by the National Council of Justice, 77.1 million processes were waiting for a solution in the Brazilian judiciary, 5.2 million in the Special Civel Courts (JECs). Those numbers have been growing year after year, indicating the need of creating mechanisms to speed up the Brazilian Judiciary. Thus, this work aims to contribute to the improvement of the efficiency of the judiciary by applying Machine Learning (ML) and Text Mining (TM) techniques to the prediction of the results of the legal judgments from the JEC located at the Federal University of Santa Catarina, which relate to failures in air transport services. To do so, we divided the problem into three parts: representation, classification, and regression. In the first part, we evaluate whether the size and specificity of the corpora used to train word embeddings, impact the performance of text classification. We, thus, trained embeddings based on judgments in Portuguese. As a result, we discovered that size and specificity matter, however size influences the results until a certain point. In the second part, we evaluate whether Deep Learning (DL) techniques perform better than Classical ML techniques in the classification of the judgments’ results from JEC. Thus, we trained several DL and Classical ML techniques using two types of the dataset, one containing the full text of the judgments and another with the result part removed. In the former, the DL techniques performed better, implying that they can better assimilate the parts of the texts that explicitly indicate the result. In the latter, classical techniques performed better, indicating that without the explicit result part, those techniques can better learn from the other parts. In the third part, we focus on predicting the compensation for immaterial damage, using regression techniques. Based on several pipelines and on a legal expert’s evaluation, we noticed that the prediction quality achieved in such a task is acceptable and it can be helpful in the legal domain. Thus, we concluded that it was possible to accurately predict the results of the judgments from JEC and the compensation for immaterial damage using the proposed pipelines.
Defesas
  • Desenvolvido com o CMS de código aberto Wordpress
  • Última atualização do site foi em 08 de abril 2024 - 17:53:24