https://repositorio.ufsc.br/handle/123456789/224989 Sat, 05 Sep 2026 20:21:42 GMT 2026-09-05T20:21:42Z https://repositorio.ufsc.br/handle/123456789/227588 Modelagem de Sistemas Multiagente com Abordagem Cognitiva Baseado em Sistemas Multicontexto Pinheiro, Marcus Augusto Demétrio Desenvolvimento do framework Sigon utilizado para criar Agentes com arquitetura Beliefs, Desire, Intention na linguagem Python. Utiliza ANTLR para reconhecimento de linguagem e faz o uso de técnicas de Machine Learning no processamento de informações. Seminário de Iniciação Cientifica Universidade Federal de Santa Catarina Centro Tecnológico Departamento de informática e Estatística Fri, 27 Aug 2021 00:00:00 GMT https://repositorio.ufsc.br/handle/123456789/227588 2021-08-27T00:00:00Z https://repositorio.ufsc.br/handle/123456789/227484 Projeto SRNG : Segurança nas redes da nova geração Santos, Renan Este trabalho consiste no estudo de uma solução para o problema de encaminhamento de pacotes nas MANETs (redes móveis ad hoc), que são sistemas autônomos constituídos por nós móveis que não dependem de nenhuma estrutura para operar. Este problema, nomeado como Free-riding, ocorre quando existem nós que não contribuem para o encaminhamento de pacotes, causando instabilidades aos nós que precisam destes como nós intermediários para enviarem os pacotes aos seus destinos. A solução proposta baseia-se no incentivo através do recebimento de créditos para os nós que realizam os encaminhamentos de pacotes. Os envios e recebimentos de créditos são abordados através de micropagamentos baseados em blockchain e que não dependem de terceiras partes envolvidas nas transações. Contudo, foi feito um estudo sobre a plataforma Raiden para fazer os micropagamentos, realizando uma análise de desempenho e uma análise de custo de rede para apresentar os custos para os nós intermediários. Iniciação Científica - Universidade Federal de Santa Catarina. Centro de Ensino. Curso. Wed, 25 Aug 2021 00:00:00 GMT https://repositorio.ufsc.br/handle/123456789/227484 2021-08-25T00:00:00Z https://repositorio.ufsc.br/handle/123456789/227441 Algoritmos para Verificação de Consistência e Coerência de Memória Compartilhada em Multicore Chips Alevato, Rafael Pintar Com o fim da escala de Dennard os projetos de processadores começaram a utilizar processamento paralelo para continuar aumentando a velocidade de execução de programas. Os processadores multinúcleos são um conjunto núcleos interligados que compartilham uma memória. Para ganhar mais velocidade, estes processadores fazem uso de caches privadas o que leva a problemas de coerência. Para resolver estes e outros problemas de memória compartilhada surge os modelos de consistência de memória (MCM). Este trabalho aborda o problema de verificação destes modelos durante o tempo de projeto. Neste trabalho foi utilizado um gerador de testes aleatórios estado da arte que produz testes para que o verificador faça a detecção de comportamentos incoerentes com as especificações do MCM. O objetivo principal é validar um verificador desenvolvido pelo grupo de pesquisa do orientador comparando com outros verificadores. Esta técnica inovadora (Spec&Check) promete ser mais eficaz que os outros verificadores \textit{runtime} e também ser adaptável a diferentes arquiteturas. O trabalho do bolsista foi ajudar no tratamento de resultados, ajudar a inserir falhas sintéticas nos projetos testados e implementar um verificador (SRSB) para servir de comparação com o Spec&Check. Este trabalho já rendeu ao bolsista co-autoria de um trabalho aceito em evento internacional qualificado (ICCAD) e ainda pode render mais uma co-autoria de outra publicação internacional no mesmo tema com a expansão dos resultados experimentais e melhoras teóricas no trabalho do Spec&Check. Seminário de Iniciação Científica e Tecnológica. Universidade Federal de Santa Catarina. Centro Tecnológico. Departamento de Informática e Estatística. Wed, 25 Aug 2021 00:00:00 GMT https://repositorio.ufsc.br/handle/123456789/227441 2021-08-25T00:00:00Z https://repositorio.ufsc.br/handle/123456789/227379 Inclusão de Estratégias Não-farmacêuticas no Modelo Min-SEI(R|S)-Cluster Tomaszewski, Marcos Modelos epidêmicos auxiliam no entendimento da projeção de uma infecção. Dentre esses modelos, existem aqueles que consideram que os indivíduos de uma população estão conectado sem uma rede de relacionamentos. No contexto de otimização discreta, existem métodos de busca que procuram por configurações específicas dessa rede para minimizar um contágio. O modelo Min-SEI(R|S)-Cluster propõe um problema de otimização no qual busca-se identificar qual o conjunto de relacionamentos devem ser mitigados para reduzir a propagação da epidemia em uma rede complexa, que representa a população. Uma das características que destacam esse modelo é considerar que os indivíduos pertencem a grupos; considera-se que um indivíduo tenha dinâmica de relacionamento diferente para indivíduos fora ou dentro de seu grupo. Este projeto de pesquisa adaptou o simulador de infecção do modelo Min-SEI(R|S)-Cluster para permitir a inclusão de períodos com diferentes níveis de isolamento social, adicionando a possibilidade de obter estatísticas de indivíduos mortos, recuperados e dos que precisam de terapias hospitalares específicas. Para isso, levantou-se os diferentes modelos de isolamento social, desenvolveu-se as adaptações no modelo e resultados foram analisados. Experimentos foram realizados com redes de diferentes números de indivíduos e tamanhos de grupos "familiares''. Os resultados reforçam a importância do medidas não-farmacológicas no período inicial da contaminação na população pois isolamentos sociais intermitentes e com períodos curtos demonstraram baixa efetividade quando comparado a isolamentos mais prolongados. Tue, 24 Aug 2021 00:00:00 GMT https://repositorio.ufsc.br/handle/123456789/227379 2021-08-24T00:00:00Z