https://repositorio.ufsc.br/handle/123456789/115617 Sun, 06 Sep 2026 23:44:54 GMT 2026-09-06T23:44:54Z https://repositorio.ufsc.br/handle/123456789/274132 Desenvolvimento de um plugin de concatenação de sentimentos discentes no ambiente virtual Moodle Rocha, Bernardo Hott A evasão no ensino superior brasileiro constitui um problema recorrente e demanda estratégias capazes de apoiar a identificação de dificuldades acadêmicas e emocionais dos estudantes. Nesse contexto, este trabalho propõe o desenvolvimento de um plugin local para a plataforma Moodle voltado à coleta, importação, classificação e síntese de sentimentos discentes. A ferramenta, implementada em PHP e integrada à arquitetura do Moodle, permite que estudantes respondam a formulários textuais, que bases externas previamente classificadas sejam importadas e que os resultados sejam apresentados ao docente por meio de um painel de análise. O sistema utiliza técnicas de Processamento de Linguagem Natural para pré-processamento textual, geração de nuvem de palavras e organização das respostas, além de integração com uma API externa de inteligência artificial para classificação de sentimentos e produção de resumos consolidados da turma. A proposta busca transformar respostas abertas em informações sintéticas e úteis ao professor, contribuindo para a compreensão do clima da disciplina e para o apoio a intervenções pedagógicas. TCC (graduação) - Universidade Federal de Santa Catarina, Campus Joinville, Engenharia Mecatrônica. Fri, 26 Jun 2026 00:00:00 GMT https://repositorio.ufsc.br/handle/123456789/274132 2026-06-26T00:00:00Z https://repositorio.ufsc.br/handle/123456789/274077 Indoor asset tracking visualization assisted by augmented reality Duvoisin, Cassio Vitor Indoor positioning systems track assets in environments where GPS is unavailable, yet their output is still predominantly consumed through two-dimensional dashboards and maps. Interpreting abstract coordinates and mentally projecting them onto physical space introduces an additional cognitive burden. Conventional flat displays do not eliminate this cost, as the limitation lies in the medium rather than the visualization design. Augmented Reality (AR) offers an alternative by registering digital information directly into the user’s physical environment. Integrating indoor positioning systems with AR introduces a challenge that is not typically present in standard AR applications: the two systems operate in independent coordinate frames with no shared origin, orientation, or scale. This work presents an AR visualization architecture that bridges these frames. A similarity transform is estimated from a small set of marker correspondences, defined in the tracking frame and observed in the AR world frame. The transform is computed in closed form and used to render historical trajectories as spatially anchored overlays. The architecture is implemented on two device classes: a mobile device using image-based tracking, and a head-mounted display using controller-driven placement. Across both platforms, the rendered position remains within a few centimeters of the corresponding tracking coordinate, well within the calibration acceptance threshold. Two independent evaluation methods with distinct error sources corroborate this result. The proposed system requires no cloud-based spatial anchors and no prior 3D model of the environment, enabling deployment on commodity hardware for any indoor positioning system that outputs coordinates in a compatible format.; Sistemas de posicionamento indoor rastreiam ativos em ambientes onde o sinal de GPS não está disponível, mas seus dados ainda são consumidos predominantemente por meio de painéis e mapas bidimensionais. Interpretar uma coordenada abstrata e projetá-la mentalmente para o espaço físico ao redor impõe um custo cognitivo adicional que telas planas não eliminam, uma vez que a limitação está no meio de exibição e não na representação visual em si. A Realidade Aumentada (RA) oferece uma alternativa ao registrar informações digitais diretamente no espaço físico do usuário. A integração entre sistemas de posicionamento indoor e RA introduz um problema que não é típico em aplicações convencionais de RA: os dois sistemas operam em referenciais de coordenadas independentes, sem origem, orientação ou escala comuns. Este trabalho apresenta uma arquitetura de visualização em Realidade Aumentada que reconcilia esses referenciais por meio de uma transformação de similaridade estimada a partir de um pequeno conjunto de correspondências de marcadores, cujas posições são conhecidas no referencial de rastreamento e observadas no referencial do mundo de RA. A transformação é calculada em forma fechada e utilizada para renderizar trajetórias históricas como sobreposições ancoradas espacialmente. A arquitetura é implementada em duas classes de dispositivos: um dispositivo móvel que utiliza rastreamento baseado em imagem e um dispositivo head-mounted display (HMD) que utiliza um procedimento de posicionamento por controle. Em ambas as implementações, a posição renderizada permanece a poucos centímetros da posição correspondente no referencial de rastreamento, valor situado bem abaixo da margem de aceitação definida pela calibração. Dois métodos independentes de avaliação, com fontes de erro distintas, corroboram esse resultado. A arquitetura não depende de âncoras espaciais em nuvem nem de um modelo tridimensional prévio do ambiente, permitindo sua execução em hardware de consumo para qualquer sistema de posicionamento indoor que forneça coordenadas em formato compatível. TCC (graduação) - Universidade Federal de Santa Catarina, Campus Joinville, Engenharia Mecatrônica. Fri, 03 Jul 2026 00:00:00 GMT https://repositorio.ufsc.br/handle/123456789/274077 2026-07-03T00:00:00Z https://repositorio.ufsc.br/handle/123456789/274076 Análise da centralidade de rotas na internet: uma caracterização topológica baseada em grafos de sistemas autônomos Souza, Rafael Pessôa de O presente estudo insere-se no contexto da análise de grandes redes e da infraestrutura crítica da Internet, especificamente voltado à topologia formada pelas interconexões entre Sistemas Autônomos via Border Gateway Protocol. O tema central, portanto, é a caracterização topológica e a análise de centralidade de rotas, investigando como a estrutura de conectividade global evoluiu para um cenário de Internet Flattening (achatamento da Internet) e os impactos dessa configuração na robustez e na soberania do tráfego de dados. O problema de pesquisa reside na identificação de uma centralização oculta dessa infraestrutura, onde um número reduzido de sistemas pode controlar desproporcionalmente o fluxo de informações, o que resulta na criação de pontos únicos de falha e riscos sistêmicos à segurança e disponibilidade da rede. Diante disso, a justificativa para este estudo fundamenta-se na necessidade de monitoramento contínuo da resiliência da rede mundial frente a falhas catastróficas e na validação de métricas que quantificam a influência de grandes provedores de conteúdo. Nesse sentido, o objetivo geral estabelecido é analisar a centralidade de rotas na Internet em nível de Sistema Autônomo, comparando as topologias do Protocolo de Internet versão 4 (IPv4) e versão 6 (IPv6) a fim de identificar os nós críticos de intermediação de tráfego. Sua execução envolve a coleta de tabelas de roteamento globais do repositório público Route Views, a modelagem da rede como grafos direcionados e o processamento matemático das métricas de Centralidade de Intermediação e Coeficiente de Gini. Como resultados, verificou-se que o Coeficiente de Gini do IPv4 permaneceu acima de 98% em todos os 101 meses analisados, com os cinco maiores Sistemas Autônomos concentrando, em média, 55,1% do poder de intermediação entre os 100 mais centrais amostrados por snapshot. O Level 3/Lumen (AS3356) figurou no Top 5 do IPv4 em 72,3% do período total, enquanto a Hurricane Electric (AS6939) dominou o protocolo IPv6 em 78,7% dos snapshots válidos. O fenômeno do Internet Flattening foi confirmado empiricamente pela presença crescente de provedores de CDN e segurança, como a Cloudflare, entre os maiores intermediadores globais, demonstrando que a concentração de poder na infraestrutura crítica da Internet é estrutural, persistente e matematicamente verificável.; This study is situated within the context of large-scale network analysis and the critical infrastructure of the Internet, specifically focusing on the topology formed by interconnections between Autonomous Systems through the Border Gateway Protocol (BGP). The central theme is the topological characterization and route centrality analysis, investigating how the global connectivity structure has evolved toward an Internet Flattening scenario and the impacts of this configuration on the robustness and sovereignty of data traffic. The research problem lies in identifying a hidden centralization within this infrastructure, where a small number of systems may exert disproportionate control over information flows, resulting in the creation of single points of failure and systemic risks to network security and availability. In this context, the justification for this study is based on the need for continuous monitoring of the Internet’s resilience against catastrophic failures, as well as on the validation of metrics capable of quantifying the influence of major content providers. Accordingly, the main objective is to analyze route centrality in the Internet at the Autonomous System level by comparing Internet Protocol version 4 (IPv4) and version 6 (IPv6) topologies in order to identify critical traffic-intermediating nodes. The methodology involves collecting global routing tables from the public Route Views repository, modeling the network as directed graphs, and mathematically processing Betweenness Centrality and Gini Coefficient metrics. The results demonstrated that the IPv4 Gini Coefficient remained above 98% in all 101 analyzed months, with the five largest Autonomous Systems concentrating, on average, 55.1% of the intermediation power among the top 100 most central nodes sampled per snapshot. Level 3/Lumen (AS3356) appeared in the IPv4 Top 5 in 72.3% of the total period, while Hurricane Electric (AS6939) dominated the IPv6 protocol in 78.7% of valid months. The Internet Flattening phenomenon was empirically confirmed by the growing presence of CDN and security providers, such as Cloudflare, among the largest global intermediaries, demonstrating that the concentration of power in the critical Internet infrastructure is structural, persistent, and mathematically verifiable. TCC (graduação) - Universidade Federal de Santa Catarina, Campus Joinville, Engenharia Mecatrônica. Thu, 25 Jun 2026 00:00:00 GMT https://repositorio.ufsc.br/handle/123456789/274076 2026-06-25T00:00:00Z https://repositorio.ufsc.br/handle/123456789/274075 Teste de software concorrente orientado por modelo formal Souza, Abner Gabriel de Sistemas multitarefa são sistemas que executam diversas tarefas concorrentemente, e estão presentes em sistemas operacionais, computação de alto desempenho, ser- vidores e sistemas embarcados. Pelo fato de as tarefas serem concorrentes, defeitos como condição de corrida, deadlock e inanição podem ocorrer, e dependem da ordem específica em que o escalonador intercala as tarefas em cada execução. Tais defeitos escapam aos testes convencionais, uma vez que uma implementação incorreta pode produzir, em uma execução isolada, a mesma saída de uma implementação correta, o que torna insuficiente a simples comparação entre saída obtida e saída esperada. Este trabalho desenvolve um sistema de testes para software multitarefa, utilizando um modelo formal em UPPAAL como oráculo de verificação. O desenvolvimento par- tiu do levantamento de requisitos e da modelagem do estudo de caso em UPPAAL, com a verificação das propriedades temporais relevantes em lógica temporal CTL. Em seguida, foi implementado em Python um framework de caixa-preta que compila e executa a implementação sob teste — ou consome diretamente os registros de exe- cução que ela produz — captura esses registros e os confronta com o espaço de estados derivado do modelo. A consistência do carregador foi validada por compara- ção cruzada com os rastros oficiais gerados pelo verificador do UPPAAL. O jantar dos filósofos foi adotado como estudo de caso por reunir os três fenômenos de interesse em um modelo de tamanho tratável.; Multitasking systems execute several tasks concurrently and are present in operating systems, high-performance computing, servers, and embedded systems. Because these tasks run concurrently, defects such as race conditions, deadlock, and starvation may arise, and they depend on the specific order in which the scheduler interleaves the tasks in each execution. Such defects escape conventional testing, since an in- correct implementation may produce, in an isolated execution, the same output as a correct one, which makes a simple comparison between the obtained output and the expected output insufficient. This work develops a testing system for multitasking soft- ware, using a formal UPPAAL model as a verification oracle. The development began with requirements elicitation and the modeling of the case study in UPPAAL, followed by the verification of the relevant temporal properties expressed in CTL (Computation Tree Logic). Next, a framework was implemented in Python that compiles the imple- mentation under test, runs the binary (one or more times, as configured), captures the execution traces, and confronts them with the state space derived from the model. The consistency of the loader was validated through cross-comparison with the offi- cial traces generated by the UPPAAL verifier. The dining philosophers problem was adopted as the case study because it brings together the three phenomena of interest in a model of tractable size. TCC (graduação) - Universidade Federal de Santa Catarina, Campus Joinville, Engenharia Mecatrônica. Mon, 29 Jun 2026 00:00:00 GMT https://repositorio.ufsc.br/handle/123456789/274075 2026-06-29T00:00:00Z