Defesa de Mestrado – Brunno Abner Machado – 23/7/2021

13/07/2021 21:33
Defesa de Dissertação de Mestrado
Aluno Brunno Abner Machado
Orientador

Coorientador

 Prof. Ricardo José Rabelo, Dr. – DAS/UFSC

Prof. Saulo Popov Zambiasi, Dr. – UNISUL
Data 23/7/2021 (sexta-feira) – 14h30

Videoconferência (https://meet.google.com/xgu-jvoj-kct)
Banca Prof. Ricardo José Rabelo, Dr. – DAS/UFSC (presidente);

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

Prof. João Carlos Espíndola Ferreira, Dr. – EMC/UFSC;

Prof. Jonny Carlos da Silva, Dr. – EMC/UFSC;

Prof. Carlos Barros Montez, Dr. – DAS/UFSC.
Título Uma Arquitetura de Softbot-inteligente-como-serviço para Análise Automática de Dados em Gerenciamento de Produção Remoto
Resumo: O gerenciamento de produção envolve muitas atividades. Para atender os requisitos da indústria 4.0, muitos sistemas foram desenvolvidos para coletar informações do chão de fábrica afim de melhorar as tomadas de decisão. Estudos empíricos mostram que isso gera uma sobrecarga de informações para serem lidadas no gerenciamento de produção, causando estresse, análises incorretas e algumas vezes a decisões baseadas em palpites, principalmente em PMEs. Usando análise de negócios e modelos de maturidade, este trabalho apresenta Livia, um sofbot com capacidades de conversação baseado em orientação a serviço que auxilia o chamado Gerente de produção como serviço. Disponibilizado na nuvem e trabalhando com dados do chão de fábrica através de integração com o MES, a Livia ajuda o gerente a identificar os seus problemas, calcular a maturidade da empresa baseada em um modelo de maturidade, sugerir ações corretivas, além de oferecer suporte proativamente. A sua arquitetura é modular permitindo que as técnicas de IA sejam trocadas facilmente. Este trabalho foi desenvolvido em parceria com o provedor MES. Os resultados obtidos atendem os objetivos propostos e apresentados nas conclusões.
Defesas

Defesa de Mestrado – Guilherme Teixeira Araújo – 21/7/2021

13/07/2021 08:12
Defesa de Dissertação de Mestrado
Aluno Guilherme Teixeira Araújo
Orientador Prof. Felipe Gomes de Oliveira Cabral, Dr. – DAS/UFSC
Data 21/7/2021 (quarta-feira) – 9h

Videoconferência (https://meet.google.com/rri-urmj-jqk)
Banca Prof. Felipe Gomes de Oliveira Cabral, Dr. – DAS/UFSC (presidente);

Prof. Carlos Eduardo Viana Nunes, Dr. – DEEC/UFBA

Prof. Gustavo da Silva Viana, Dr. – COPPE/UFRJ;

Prof. Max Hering de Queiroz, Dr. – DAS/UFSC.
Título Diagnóstico Síncrono Descentralizado de Sistemas a Eventos Discretos sujeito a Atrasos de Comunicação de Eventos
Resumo: Recentemente, arquiteturas para o diagnóstico síncrono de sistemas a eventos discretos foram propostas com o objetivo de reduzir o custo computacional de implementação da técnica de diagnóstico quando comparada a métodos tradicionais. Nessa abordagem, diagnosticadores locais, construídos a partir do comportamento sem falha dos componentes do sistema, são implementados separadamente e inicializados ao mesmo tempo, funcionando em paralelo para identificar a ocorrência de falhas. Dentre as arquiteturas de diagnóstico síncrono, destaca-se a descentralizada, em que os diagnosticadores locais podem ser implementados de forma espacialmente distribuída, incluindo em diferentes equipamentos, permitindo uma flexibilização maior para sua implementação. Entretanto, problemas de comunicação entre equipamentos podem ocorrer, gerando possíveis atrasos entre a detecção do evento por um sensor e seu registro com sucesso pelo diagnosticador. Esse problema foi endereçado recentemente no contexto de diagnóstico descentralizado, mas não em arquiteturas síncronas. É importante destacar que uma adaptação direta do método de diagnóstico descentralizado sujeito a atraso de eventos implicaria em uma abordagem de diagnóstico síncrono menos eficiente, podendo levar, inclusive, à não possibilidade de diagnosticar determinadas falhas que poderiam ser diagnosticáveis. Nesta dissertação, um método de diagnóstico síncrono descentralizado robusto a atrasos de comunicação de eventos é proposto. O método é baseado em uma modificação nos modelos dos componentes do sistema, de tal forma que possíveis atrasos de comunicação sejam considerados e, assim, diagnosticadores locais que sejam calculados a partir dos modelos modificados sejam robustos a possíveis atrasos de comunicação de eventos. Essa modificação primeiro leva em consideração uma atualização de referencial para o atraso dos eventos do sistema completo para seus componentes. Nesse contexto, também é proposta uma definição de diagnosticabilidade síncrona robusta a atrasos de eventos e uma discussão acerca de sua verificação é apresentada.
Defesas

Defesa de Mestrado – Bruno Dourado Miranda – 9/7/2021

16/06/2021 13:28
Defesa de Dissertação de Mestrado
Aluno Bruno Dourado Miranda
Orientador

Coorientador

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

Prof. Andreu Carminati, Dr. – IFSC
Data 9/7/2021 (sexta-feira) – 9h

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

Prof. Mauro Marcelo Mattos, Dr. – FURB;

Prof. Luís Fernando Arcaro, Dr. – EMBRAER;

Prof. Joni da Silva Fraga, Dr. – DAS/UFSC.
Título Análise de Tempo de Resposta de Tarefas no Sistema Operacional FreeRTOS
Resumo: Os sistemas operacionais de tempo real (SOTR) são usados pela indústria para construir aplicações que possuem requisitos de temporização suave (soft real time). Um sistema de tempo real é dividido em tarefas, que são fragmentos de código que possuem restrições temporais. Cada tarefa de um sistema de tempo real possui um tempo de execução e um tempo mínimo entre ativações sucessivas. Idealmente, um SOTR não deve ter impacto temporal na execução de sistemas de tempo real. No entanto, os algoritmos e estruturas de controle de um SOTR tem influência nos aspectos temporais de uma tarefa. Em um cenário mais realista, os módulos de um SOTR deveriam ser determinísticos para que sua influência no sistema fosse visível e previsível, porém, isto é algo fora da realidade. As influências temporais de um SOTR são chamadas de overheads, que são execuções de rotinas internas de microkernel para gerenciar tarefas em execução em um microprocessador. Dessa forma, o objetivo dos projetistas de um SOTR é minimizar os overheads impostos pelo microkernel nas tarefas de aplicação em tempo real. O Worst-Case Execution Time (WCET) de uma tarefa é o tempo de processador que a tarefa leva do início ao fim de sua própria execução em seu pior cenário. O Worst-Case Response Time (WCRT) é o tempo que a tarefa leva da chegada à conclusão, considerando as interferências, release jitters e bloqueios que recebe de outras tarefas do sistema e do próprio microkernel. Quando um SOTR é usado, o overhead causa influência no tempo de resposta de cada tarefa, por isso é importante conhecer o comportamento temporal dos overheads e como eles podem influenciar o tempo de resposta do sistema. O microkernel FreeRTOS é de código aberto e distribuído com uma licença MIT. É também um SOTR flexível e adaptável em vários modelos de sistemas, tais como: Executivo cíclico com ou sem interrupções, tarefas aperiódicas ou periódicas, criação de tarefas em tempo de execução e prioridades fixas ou dinâmicas. O objetivo deste trabalho é apresentar uma análise de WCRT de tarefas no FreeRTOS quando executado na arquitetura ARM Cortex-M4. Os modelos algébricos criados foram utilizados em comparação aos testes realizados na plataforma ARM. Os resultados obtidos pelos modelos algébricos quando comparados com os valores temporais coletados nos testes fornecem evidências que os modelos criados refletem o comportamento temporal de tarefas no microkernel.
Defesas

Defesa de Dissertação de Mestrado – Gevoana Aparecida França dos Santos – 7/7/2021

07/06/2021 14:41
Defesa de Dissertação de Mestrado
Aluno Geovana Aparecida França dos Santos
Orientador Prof. Eugênio de Bona Castelan Neto, Dr. – DAS/UFSC
Data 7/7/2021 (quarta-feira) – 8h30

Videoconferência (https://meet.google.com/uje-gnix-twj)
Banca Prof. Eugênio de Bona Castelan Neto, Dr. – DAS/UFSC (presidente);

Prof. Carlos Eduardo Trabuco Dórea, Dr. – DCA/UFRN;

Prof. Valter Junior de Souza Leite, Dr. – CEFET/MG.
Título Controle sob Restrições por Realimentação de Saída de Sistemas Lineares via Invariância Poliédrica e Otimização Bilinear
Resumo: 

Problemas de controle usualmente contém restrições físicas e de segurança nas variáveis de estado e de controle, além dos sinais externos de referência e perturbação serem, em geral, limitados em amplitude. Neste trabalho, considera- se as propriedades de invariância positiva e ∆-invariância de conjuntos poliédricos para garantir que estas restrições sejam respeitadas e assegurar a estabilidade local do sistema em malha fechada. Tal escolha se justifica pelo fato dos conjuntos poliédricos disporem do formato mais adaptado aos limites em amplitude encontrados na prática. Além disto, a abordagem considerada permite tratar a) leis de controle por realimentação de saída, estática ou dinâmica; b) é capaz de levar em conta restrições não simétricas; e c) lidar com compensadores dinâmicos de ordem reduzidas. Ao longo dos problemas tratados nesta dissertação, considera-se a síntese conjunta de um controlador e de um conjunto poliédrico invariante associado, a qual pode ser realizada utilizando-se o solver de otimização não linear KNITRO para encontra a solução dos problemas de programação bilinear propostos.
Inicialmente, a propriedade de ∆-invariância de conjuntos convexos, usada especificamente na presença de perturbações externas persistentes, é aplicada para projetar leis de controle por realimentação dinâmica de saída em tempo discreto e calcular, conjuntamente, um conjunto poliédrico ∆-invariante com um conjunto ultimamente limitado associado. Na sequência, projetos de leis de controle por realimentação de saída, estática e dinâmica, são propostos em tempo contínuo e discreto, com o objetivo de garantir a estabilidade assintótica local e
o respeito das restrições para toda condição inicial pertencente a um conjunto pré-especificado. Por último, aborda-se o rastreamento do degrau de referência para sistemas monovariáveis sujeitos à restrições, por meio da lei de controle Proporcional-Integral com um termo feed-forward. Determina-se limites de amplitude para o degrau de referência, de modo que o Princípio do Modelo Interno permaneça válido na região poliédrica, baseado nas propriedades de invariância positiva e ∆-invariância. Em cada um destes casos, diferentes funções objetivos são consideradas para a síntese de soluções via programação bilinear. Ademais, exemplos numéricos são apresentados a fim de mostrar a eficácia e o potencial das propostas.
Defesas

Defesa de Mestrado – Marcelo Eugenio Manfrin Mafalda – 28/6/2021

07/06/2021 14:41
Defesa de Dissertação de Mestrado
Aluno Marcelo Eugenio Manfrin Mafalda
Orientador Prof. Marcelo Ricardo Stemmer, Dr. – DAS/UFSC
Data 28/6/2021 (segunda-feira) – 15h

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

Prof. Tiago Loureiro Figaro da Costa Pinto, Dr. – EMC/UFSC;

Prof. Ubirajara Franco Moreno, Dr. – DAS/UFSC.
Título Desenvolvimento de Sistema de Navegação Autônomo com Exploração de Fronteira
Resumo: O campo da robótica vem obtendo significativos avanços nas últimas décadas. Uma de suas principais áreas, a da robótica móvel tenta solucionar uma gama de problemas incluindo neles o problema da localização, do SLAM (Localização e Mapeamento Simultâneos), do planejamento de trajetória e da exploração. O problema da navegação autonôma vem sendo estudado a tempos pela comunidade ciêntifica, já que possui uma grande importancia, dado o fato que para se locomover entre dois pontos o robô ou veiculo autônomo precisa de um algoritmo de planejamento de trajetória,  porém com o advento do ROS (Sistema operacional de robôs) a situação ficou mais fácil, já que é possível utilizar algoritmos e programas em alto nível em diversos hardwares diferentes de baixo nível. As técnicas tradicionais tendem a considerar um modelo global do ambiente; no entanto, os problemas reais de planejamento de trajetórias usualmente estão no âmbito de ambientes desconhecidos ou parcialmente desconhecidos. Neste contexto entra a situação de exploração, em que o robô não possui um mapa e deseja navegar pelo ambiente, para isso é necessária uma estratégia de exploração. Já que caminhos ideais podem ser entendidos como trajetórias que melhor atingem um objetivo, minimizando a distância percorrida ou o tempo gasto, por exemplo, a estratégia de exploração utilizada aqui é a de exploração de fronteiras, a qual leva um robô sempre a navegar até a fronteira de um mapa conhecido com a finalidade de ampliá-lo. Tambem, a utilização de visão computacional em robôs móveis significa um grande aumento em suas habilidades sensoriais, o que significa uma maior versatilidade e segurança nas aplicações do robô. Neste trabalho é desenvolvido um sistema, utilizando ROS, que possa realizar a exploração de fronteira de modo a construir um mapa do ambiente de maneira autônoma. São abordados conceitos chave para o entendimento do sistema, como localização, SLAM, planejamento de trajetória, exploração, descritores de características visuais e odometria visual, bem como uma abrangente revisão de literatura sobre os últimos avanços na área. Ao final é demonstrado por meio de dois experimentos em simulação, utilizando o simulador gazebo, os resultados obtidos, resaltando em conclusão as diferenças entre a odometria obtida por laser e a odometria visual.
Defesas

Defesa de Mestrado – Jhon Jamilton Majin Erazo – 24/6/2021

07/06/2021 14:41
Defesa de Dissertação de Mestrado
Aluno Jhon Jamilton Majin Erazo
Orientador

Coorientador

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

Prof. Maurício Edgar Stivanello, Dr. – IFSC
Data 24/6/2021 (quinta-feira) – 14h

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

Prof. Tiago Loureiro Figaro da Costa Pinto, Dr. – EMC/UFSC;

Prof. Werner Kraus Junior, Dr. – DAS/UFSC.
Título Desenvolvimento de um Sistema de Contagem e Classificação de Veículos utilizando Redes Neurais Convolucionais
Resumo: Com o crescente número de veículos em todo o mundo, o monitoramento e controle do tráfego por meio de tecnologias modernas tornou-se um requisito fundamental. É por isso que os sistemas inteligentes de transporte (ITS, Intelligent Transport Systems) são uma alternativa com grande interesse nas últimas décadas. Nestes sistemas, a contagem e classificação de veículos são dois parâmetros essenciais, que fornecem informações valiosas sobre o estado de tráfego, ocupação das rodovias, níveis de congestionamento, entre outros. Os ITS têm se beneficiado pelo aumento dos recursos computacionais e pela melhoria dos métodos de processamento de imagens, especialmente na detecção de objetos baseada em aprendizado profundo. Na literatura, diferentes abordagens têm sido propostas para realizar a contagem e classificação de veículos utilizando processamento de imagens. Contudo, essas abordagens são dependentes das condições iniciais em que foram projetadas, de modo que não há uma solução geral para estas tarefas. Portanto, neste trabalho é proposto um algoritmo de contagem e classificação de veículos utilizando um modelo de detecção baseado em redes neurais convolucionais (CNN). Este algoritmo consiste em 4 etapas principais: detecção, identificação, contagem por linha virtual e contagem por regiões. A fim de selecionar o modelo de detecção com melhor equilíbrio entre precisão e velocidade a ser implementado no algoritmo, foi realizada a comparação de diferentes detectores avaliados em um novo conjunto de dados. O conjunto de dados é composto por 4.300 imagens de veículos capturadas em diferentes rodovias da cidade de Florianópolis (SC), Brasil. Os resultados experimentais realizados mostram que os melhores índices entre os modelos de detecção foram obtidos utilizando YOLOv4NCIOU com um mAP=88,2 % e uma velocidade de processamento de 18 FPS. Além disso, a precisão média obtida no algoritmo de contagem e classificação de veículos em diferentes vídeos de teste foi de 94 % com uma taxa de processamento em tempo real inferior a 2,0.
Defesas

Defesa de Mestrado – Yessica Maria Valencia Lemos – 16/6/2021

07/06/2021 14:40
Defesa de Dissertação de Mestrado
Aluna Yessica Maria Valencia Lemos
Orientador

Coorientador

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

Prof. Maurício Edgar Stivanello, Dr. – IFSC
Data 16/6/2021 (quarta-feira) – 14h

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

Prof. Mario Lucio Roloff, Dr. – IFC;

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

Prof. Jomi Fred Hübner, Dr. – DAS/UFSC.
Título Inspeção Automática de Defeitos em Ovos Comerciais usando Visão Computacional
Resumo: A produção de ovos em linhas industriais cresceu consideravelmente ao longo dos anos. Essa produção alcança valores superiores a 15.000 ovos por hora, tornando cada vez mais difícil a utilização de operadores humanos para a tarefa de identificação visual e detecção de defeitos. Nesse cenário, as indústrias avícolas, com o objetivo de garantir e aumentar a eficácia e eficiência do processo de controle de qualidade, têm investido em novas soluções tecnológicas. Neste trabalho propõe-se comparar três soluções baseadas em processamento de imagens para realizar a inspeção automática de ovos comerciais, a fim de determinar a solução com o melhor equilíbrio em termos de precisão e velocidade. As abordagens propostas são executadas em um sistema de inspeção visual de ovos com simulação real de linhas de produção avícola. A primeira abordagem consiste na aplicação de técnicas clássicas de processamento de imagens e a segunda e terceira abordagens usam técnicas de aprendizagem profunda: classificação de imagens e segmentação semântica para a classificação do ovo em quatro categorias: normal, sujo, geometricamente anormal e ovos fissurados. Essas abordagens foram validadas com sucesso, alcançando uma acurácia média de 81 %, 85 % e 87 % e um tempo médio de processamento de 0,04 ms, 0,11 ms e 1,35 ms para as abordagens clássicas, classificação de imagens e segmentação semântica, respectivamente. Considerando os critérios de avaliação definidos para este projeto, obteve-se que as abordagens baseadas em técnicas clássicas apresentam um melhor equilíbrio nas métricas de avaliação, permitindo a detecção de várias características dos ovos como cor, formato e defeitos na superfície da casca.
Defesas

Defesa de Dissertação de Mestrado – Leandro Pohlmann Rocha – 16/6/2021

07/06/2021 14:35
Defesa de Dissertação de Mestrado
Aluno Leandro Pohlmann Rocha
Orientador

Coorientador

 Prof. Eduardo Camponogara, Dr. – DAS/UFSC

Prof. Laio Oriel Seman, Dr. – UNIVALI
Data 16/6/2021 (quarta-feira) – 8h30

Videoconferência (https://meet.google.com/dwr-kgmg-geh)
Banca Prof. Eduardo Camponogara, Dr. – DAS/UFSC (presidente);

Prof. Pedro Augusto Munari Junior, Dr. – DEP/UFSCar;

Prof. Marcus Rolf Peter Ritt, Dr. – II/UFRGS;

Prof. Felipe Gomes de Oliveira Cabral, Dr. – DAS/UFSC.
Título Linear Relaxations of Bilinear Terms for the Operational Management of Crude Oil Supply
Resumo: O gerenciamento da cadeia de suprimento de petróleo não refinado envolve a resolução de problemas de programação não linear inteira mista em grande escala (MINLP), composta de operações de descarga e transferência em terminais, controle de estoque e mistura de petróleo bruto para atender às demandas da refinaria. Nos ativos marítimos, o planejamento das operações torna-se mais desafiador, pois as viagens dos navios devem ser programadas com precisão para dar vazão às plataformas de produção do petróleo. Indiscutivelmente, a dificuldade computacional do problema surge devido ao tamanho e combinação de decisões discretas com restrições não lineares, constituída por termos bilineares que modelam as operações de mistura do petróleo. No que diz respeito às funções não lineares, este trabalho contribui avaliando técnicas distintas de aproximação linear dos termos bilineares, especificamente: McCormick envelopes, univariate e bivariate piecewise McCormick, multiparametric disaggregation e normalized multiparametric disaggregation. Os métodos de relaxação geram um problema de programação linear inteira mista (MILP), que pode ser combinada com um algoritmo de programação não linear local (PNL) para atingir um cronograma de operações viável. Concluímos com uma comparação entre essas abordagens de relaxamento juntamente com abordagens MINLP usuais, e demonstramos resultados computacionais em instâncias do problema. O relaxamento utilizando multiparametric disaggregation produz tempos de solução mais rápidos para resultados similares comparativamente aos métodos de otimização global comumente utilizados.
Defesas, Sem categoria

Defesa de Dissertação de Mestrado – Paulo Henrique Foganholo Bizetto – 15/6/2021

04/06/2021 15:41
Defesa de Dissertação de Mestrado
Aluno Paulo Henrique Foganholo Biazetto
Orientador Prof. Gustavo Artur de Andrade, Dr. – DAS/UFSC
Data 15/6/2021 (terça-feira) – 14h

Videoconferência (https://meet.google.com/qdu-prvt-rcj)
Banca Prof. Gustavo Artur de Andrade, Dr. – DAS/UFSC (presidente);

Prof. Marcus Vinícius Americano da Costa Filho, Dr. – UFBA;

Prof. Eduardo Camponogara, Dr. – DAS/UFSC;

Prof. Marcelo de Lellis Costa de Oliveira, Dr. – DAS/UFSC.
Título Development of an Optimal Control Strategy for Temperature Regulation and Thermal Storage Operation of Solar Power Plants
Resumo: O consumo global de energia e eletricidade está aumentando rapidamente devido ao crescimento da população, industrialização e urbanização. Como as fontes de combustíveis fósseis estão se esgotando e emitem gases do efeito estufa, o mundo está investindo em tecnologias de geração de energia  renovável. Pesquisas têm mostrado que as fontes de energia solar, eólica e biomassa são as mais promissoras e podem contribuir para o aumento da produção energética e para a redução dos impactos ambientais ocasionados pela queima dos combustíveis fósseis. Dentre estas fontes renováveis, o Brasil tem um grande potencial para o aproveitamento de energia solar térmica devido à sua localização geográfica. Plantas solares térmicas são compostas de um campo de coletores solares, um ciclo de potência e um sistema de armazenamento térmico que permite que a planta opere em horários escalonados ao invés de somente em modo de despacho da energia solar atual. Assim, os objetivos de controle nestes sistemas são maximizar a energia solar captada no campo de coletores solares e a receita de energia elétrica no bloco de potência de acordo com uma tarifa de energia. Os sistemas de controle destas plantas são complexos devido às suas características não lineares e multivariáveis, bem como as várias restrições de operação. Se comparado com os países detentores de tecnologias de energia solar, o Brasil ainda possui carência de conhecimentos para projeto e operação de tais sistemas. Neste sentido, técnicas de controle avançado e otimização terão que ser desenvolvidas levando em consideração as características particulares do clima e sistema de tarifas da venda de eletricidade no Brasil, o que gera um conhecimento específico para o desenvolvimento de tecnologia local. Nesta dissertação, uma estratégia de controle ótimo para plantas solares térmicas é proposta. Para isso, um modelo matemático fenomenológico foi primeiramente estudado e desenvolvido levando em consideração as principais características da planta. Graças as propriedades físicas dos subsistemas envolvidos, os objetivos de controle podem ser desacoplados e o sistema de controle proposto é projetado de forma descentralizada: um controlador ótimo que visa obter a trajetória ótima dos estados do campo de coletores solares, minimizando uma função custo associada ao rastreamento de referência de temperatura; e outro para calcular a política de controle para o armazenamento/despacho dos tanques térmicos. A metodologia é considerada com uma perspectiva rigorosa de forma a mostrar o que pode ser efetivamente garantido com a utilização dela. Além disso, sua implementação prática é discutida através de uma abordagem direta, na qual o controlador é transformado para um problema de programação não linear. Diversas simulações com tarifas de energia e dados meteorológicos do Brasil são apresentados para ilustrar o desempenho da metodologia proposta. Por fim, um estudo comparativo com uma estratégia de controle clássica apresenta as melhorias na receita da energia produzida neste cenário de simulação. São estimados ganhos de até 13,5% em termos de receita anual, caso a estratégia de controle ótimo seja adotada.
Defesas, Sem categoria

Defesa de Tese de Doutorado – Gabriel Arthur Gerber Andrade – 24/5/2021

11/05/2021 16:12
Defesa de Tese de Doutorado
Aluno Gabriel Arthur Gerber Andrade
Orientador Prof. Luiz Cláudio Villar dos Santos, Dr. – PPGEAS/UFSC
Data

 

 24/5/2021  9h  (segunda-feira)

Videoconferência (https://meet.google.com/vbe-nqgq-chn)
 

 

Banca

 Prof. Luiz Cláudio Villar dos Santos, Dr. – PPGEAS/UFSC (presidente);

Prof. Rodolfo Jardim de Azevedo, Dr. – IC/UNICAMP;

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

Prof. Márcio Bastos Castro, Dr. – INE/UFSC.
Título Test Generation for Shared-Memory Verification of Multicore Chips
Abstract: This thesis contributes to the functional verification of shared-memory behavior during the design of multicore chips. Since non-deterministic behavior is key to exposing shared-memory errors, non-synchronized parallel programs are often used for design verification and prototype test. However, in the verification phase, the slow execution in a simulator requires non-conventional techniques for enabling error exposure and high coverage with shorter programs. In this context, this thesis makes three contributions. The first contribution consists of two techniques that build upon conventional random test generation for efficient shared-memory verification. One technique exploits canonical dependence chains for constraining the random generation of instruction sequences (to raise the coverage of state transitions due to memory events conflicting at a same shared location), another exploits address space constraints for biasing random address assignment (to raise the coverage of state transitions due to eviction events). As compared to a conventional generator, their combination reduced the average verification effort by one order of magnitude in many cases. The second contribution is a new mechanism for directed generation that improves the quality of non-deterministic racy tests. The mechanism exploits general properties of coherence protocols and cache memories for better control on transition coverage (which serves as a proxy for increasing the actual coverage metric adopted in a given verification environment). Being independent of coverage metric, coherence protocol, and cache parameters, the mechanism is reusable across quite different designs and verification environments. Such a model-based generator was faster to reach similar coverage as obtained by a data-driven generator (based on Genetic Programming), reported in a related work. For instance, when executing tests with 1K operations for verifying 32-core designs, our test generator reached 60% coverage ten times faster. The third contribution consists of an hybrid approach that is not a simple combination of data-driven and model-based techniques. It reformulates directed test generation as a double-objective optimization problem, and it explores neighborhoods to avoid explicit enumeration of the coherence state space without excluding optimal solutions from the search space. As compared to purely data-driven and model-based generators, the hybrid approach led to superior coverage evolution with time, when targeting 32-core designs relying on different protocols. For instance, for a MOESI 2-level protocol, the approach was up to 2.7 faster than the model-based generator and around 5 to 19 times faster than the data-driven generator. Finally, the hybrid approach was also compared to a data-driven generator based on Reinforcement Learning. The experimental results showed that the proposed hybrid approach was 2 to 3 times faster to obtain the maximal coverage reached by that generator. The contributions of this thesis were reported in two journal articles (ANDRADE; GRAF; SANTOS, 2020; ANDRADE et al., 2020) and two conference papers (ANDRADE et al., 2018; PFEIFER et al., 2020).
Defesas
  • Desenvolvido com o CMS de código aberto Wordpress
  • Última atualização do site foi em 08 de abril 2024 - 17:53:24