Simulação de direções de raios cósmicos detectados no Observatório Pierre Auger

Aluno: Mateus Z. Rennó

Raios cósmicos s ̃ao núcleos atômicos gerados em eventos astrofísicos galácticos e extragalácticos.
De maneira geral, sua propagação pela atmosfera terrestre se dá por meio de chuveiros atmosféricos:
uma astropartícula de alta energia entra na atmosfera terrestre e se choca com núcleos de elementos
que a compõem, dando origem a partículas mais leves de forma recursiva, que podem vir a atingir
detectores dispostos no solo [1].
Nesse projeto, estudamos algumas ferramentas estatísticas utilizadas no Observatório Pierre
Auger para simular as direções detectadas das astro partículas na Terra e compará-las com os
dados observacionais.

Soluções Numéricas para Leis de Conservação com Aplicação nas Equações de Águas Rasas

Aluno: Lucas Ferreira Moura Oliveira

O projeto de Iniciação Científica enquadra-se na área de Análise Numérica e estuda a resolução
numérica de leis de conservação e de balanço unidimensionais de natureza hiperbólica a partir da
implementação de métodos de Elementos Finitos do tipo Galerkin Descontínuo e de esquemas de
Volumes Finitos Centrais de Alta Ordem.
Sejam Ω ∈ R e I = (t0, T), respectivamente, o domínio espacial do problema a ser analisado e o
intervalo de tempo considerado, com 0 < t < T. Uma lei de conserva ̧c ̃ao hiperbólica consiste em um
sistema de equações diferenciais parciais que pode ser escrito na seguinte forma, denominada forma
forte: ut + f(u)x = 0, sendo x ∈ Ω a variável espacial, t ∈ I a variável temporal, u : Ω × I → R
m

o vetor de m variáveis conservadas a serem calculadas e f : R
m → R
m a função de fluxo físico

tal que a matriz Jacobiana, f(u) ́e diagonalizável e possui apenas autovalores reais [1]. Diversos
processos presentes na natureza podem ser modelados matematicamente por equações diferenciais.
Sistemas de equações diferenciais parciais hiperbólicas, em particular, podem ser encontrados no
estudo de Dinâmica de Gases, Acústica, Dinâmica de Fluidos, entre outros [2]. Contudo, soluções
analíticas raramente podem ser encontradas para problemas de interesse prático, logo a resolução
numérica das leis de conservação hiperbólicas torna-se uma ferramenta útil para a compreensão de
variados problemas cujos comportamentos são descritos por esse tipo de lei. Dentre tais problemas,
podemos destacar o escoamento de fluidos em canais como, por exemplo, na simula ̧c ̃ao de rios, do
rompimento de barragens e do transporte de poluentes. As equações de Águas Rasas, em especial, ́
são um modelo físico amplamente usado para modelar o fluxo de água no caso de canais abertos [1]
e também configuram-se objeto de estudo deste trabalho.

Quanto aos métodos numéricos utilizados, a parte computacional do projeto consiste na implementação de Esquemas de Volumes Finitos Centrais e de métodos de Elementos Finitos do tipo

Galerkin Descontínuo para encontrar soluções aproximadas para os problemas. A estratégia de resolução nos métodos mencionados envolve a discretização do domínio espacial Ω em subintervalos, as células, e o cálculo de soluções numéricas em cada célula. Esquemas de Volumes Finitos fundamentam-se em uma variação da equação na forma forte chamada forma integral ou fraca, obtida ao se integrar a equação original em uma célula arbitrária Cj da malha. Métodos de Galerkin

Descontínuo, por sua vez, combinam características de métodos de Elementos Finitos e de Volumes
Finitos e constituem outro recurso útil para resolver problemas com soluções descontínuas.

Sobre noções distintas de posto para tensores e implicações práticas envolvendo problemas de completamento

Aluno: João Luiz Santos Gomes

Na era do Big Data, existem diversas maneiras de lidar e organizar os dados. As formas maiscomuns de trabalho s ̃ao feitas com base na ́área de álgebra matricial. Para esta, d ́ecadas de desenvolvimento matem ́atico e algorítmico se passaram para que atingíssemos resultados significativos através da Decomposição em Valores Singulares (SVD) e a Análise de Componentes Principais
(PCA). Em cima disto, refinamentos foram feitos e resultados mais profundos foram obtidos de
maneira que diversas áreas como processamento de imagens, astrofísica, biomedicina, análise de
sinais, redes neurais e entre outros se beneficiam da teoria profunda de matrizes e vetores.
A medida que estruturas de dados tornaram-se cada vez maiores e complexas, graus de liberdade `
maiores tornaram-se necessários, isto ́e, a análise com apenas duas dimensões se tornou um fator limitante. Para lidar com estes problemas, o estudo de objetos multidimensionais chamados tensores se tornou necessário.

O ramo da álgebra multilinear ou tensorial jé é bem conhecido entre os matemáticos e físicos. Nestes casos, o objetivo ́e compreender como as grandezas físicas s ̃ao modificadas através de mudanças de base, onde os tensores representam transformações multilineares entre espaços vetoriais. Em espaços de dimensão finita, estas transformações podem ser escritas através de um array-multidimensional.

Optimization of external beam radiation therapy

Aluno: Vinicius Jameli

Teletherapy is a cancer treatment that uses ionizing radiation to extinguish tumor cells. These
ionizing particles are delivered via a linear accelerator, an instrument that rotates around the
patient distributing radiation at every feasible angle. The treatment’s goal is to use the smallest
dose required to eliminate the tumour while sparing healthy organs. To accomplish this, the linear
accelerator incorporates a tool called Multileaf Collimator (MLC ), a set of moving blades that
assumes the format of the radiation field to match the borders of the target tumor. In 2003, Allen
Holder presented a linear programming model for the dosage delivery problem [2], which calculates
the MLC ’s optimal arrangement for each treatment angle. However, the implemented data to test
the model was a single handmade image for each plan, expected to be interpreted as an X-Ray.
This project aims to validate Holder’s model with CT scans of real patients using the dataset
TROTS [1] and introduce solution analysis tools used by medical physicists.

Triangulações de Delaunay e geração de malhas em Geofísica

Aluno: Henrique T. Pereira

Neste projeto de Iniciação Científica analisamos a geração de malhas, em especial as triangulações de Delaunay, para desenvolver soluções em problemas de geofísica computacional. O estudo dessas triangulações em particular é desejado pela sua propriedade de evitar triângulos degenerados, ou seja, aqueles que possuem um ângulo muito pequeno, pois a aplicação de tais triângulos na resolução de equações diferenciais pode ocasionar dificuldades numéricas.

Como referência principal, utilizamos o livro Geometry and Topology for Mesh Generation [1],
que nos forneceu um arcabouço teórico no que diz respeito à geração de triangulações de Delaunay
e às ferramentas ́uteis à manipulação de malhas. Estes recursos foram desenvolvidos no ambiente de
computação numérica Octave [4], permitindo um entendimento mais aprofundado do processo de
obtenção de uma triangulação de Delaunay através da elaboração de diversos algoritmos testados
e continuamente aperfeiçoados pelos autores. A partir da compreensão da geração de malhas
triangulares de qualidade, partimos para o desenvolvimento de ajustes de malhas que poderiam
ser utilizadas para representar estruturas geológicas, como detalharemos na seção seguinte.

Com quanta matemática se faz um jogo digital? Entendendo conceitos computacionais usados em games

Aluno: Felipe M. L. Sinoti

Neste projeto, buscamos destrinchar um pouco da matemática aplicada nos jogos. Mais especificamente, vamos mostrar a matemática presente no game educacional The Algelin Room,
criado com o intuito de facilitar o aprendizado da matéria de Algebra Linear. Este trabalho foi ́
realizado ao longo de um semestre como parte das atividades do referido curso. Apesar de não ser proveniente de uma IC financiada, ele deu origem ao pedido de uma bolsa e, além disso, possui
um caráter de extensão.

Análise dos eventos climáticos extremos no Amazonas com ênfase na segurança alimentar

Aluno: Thiago Santos da Silva

As mudanças climáticas vêm sendo corroboradas em diversas pesquisas como uma tendência
global. Os modelos vêm se adaptando para conseguir uma precisão maior ao nível regional, mas
ainda sim, pesquisas regionais são necessárias. A produção agrícola e desafiada pelas mudanças
climáticas e suas constantes variações de temperatura e precipitação. Godfray et al. (2010) e
Kukcharik; Serbin (2008) sugerem que a mudança climática afeta diferentes culturas e regiões de
maneira distinta, mas geralmente espera-se que a produtividade agrícola diminua.
O objetivo de minha iniciação científica ́e parte de um projeto maior em um grupo colaborativo,
e visa analisar o impacto climático no regime de chuvas e temperaturas na regi ̃ao amazônica
com dados experimentais de três fontes (Inemet(Instituto Nacional de Meteorologia), Ana(Agência
nacional de águas) e Instituto de Hidrología, Meteorologıa y Estudios Ambientales (IDEAM)) para
que sejam usados no projeto ODS apoiado pela fapesp, Processo 2020/08940-6; que ser ́a usado para
uma peça em uma análise ampla da região. Dos dados serão escolhidos casos extremos para serem
combinados com dados de radar para seleção de eventos extremos. Podendo deste modo serem
usados em conjunto dos modelos globais e fontes de pesquisas para entender o papel das redes
sociais sobre a segurança alimentar ante extremos climáticos no Amazonas.

A study of Physics-Informed Deep Learning Approach to Solve 2D Hyperbolic-Transport Models

Aluno: Rafael Carniello

The recent development of physics-informed deep learning models (e.g., [1]) to numerically approximate the solution of differential equations represents an advance for solving scientific computing and engineering problems, which the lack of available data is a real fact due to several limitations to access information and challenges in real world. It also seems to be promising for improving the PDE modeling,