Projetos de Pesquisa

 

Foto de perfil

Rodrigo Barreto Caldas

Engenharias

Engenharia Civil
  • estudo do comportamento de painéis enrijecidos por conectores de cisalhamento em chapa de aço com aberturas regulares tipo clothoidal em estruturas mistas de aço e concreto
  • Os conectores em chapa com aberturas regulares apresentam baixo custo de fabricação e facilidade de instalação nas estruturas mistas de aço e concreto, podendo também ser utilizados como enrijecedores antes da cura do concreto, evitando um custo adicional com a fabricação e instalação de enrijecedores de forma independente dos conectores. Este trabalho tem como objetivo geral estudar o comportamento à flambagem local de painéis enrijecidos por chapa de aço contínua formada por recortes regulares, denominada Clothoidal, que atuam na interface entre o aço e o concreto com dupla função, sendo: de enrijecedor antes da cura do concreto, e de conector de cisalhamento após a cura do concreto. A partir de resultados experimentais e modelos numéricos que possibilitem verificar a largura efetiva do painel misto aço-concreto enrijecido por chapa de aço com aberturas regulares tipo Clothoidal, obter a capacidade resistente à flexão e ao cisalhamento. O impacto tecnológico esperado está diretamente relacionado à área de estruturas mistas de aço e concreto, com aplicação em edificações e principalmente em pontes ferroviárias e rodoviárias. Os resultados serão importantes pois ainda não foram desenvolvidas pesquisas científicas que avaliem o uso do conector de cisalhamento em chapa com abertura regular do tipo Clothoidal, também com a função de enrijecedor.
  • Universidade Federal de Minas Gerais - MG - Brasil
  • 18/02/2019-28/02/2022
Foto de perfil

Rodrigo Brackmann

Engenharias

Engenharia Química
  • síntese e caracterização de nanopartículas magnéticas de ferritas para descontaminação fotocatalítica de elementos potencialmente tóxicos de águas residuárias
  • O crescimento populacional e o desenvolvimento industrial têm levado a um aumento da contaminação das águas por diversos elementos, muitos deles potencialmente tóxicos acima de determinadas concentrações, como é o caso do arsênio e do selênio, com potencial para desencadear câncer. Neste sentido, diferentes metodologias têm sido desenvolvidas para a descontaminação desses elementos de águas residuárias, como a Fotocatálise Heterogênea, que consiste no emprego de um semicondutor e uma fonte de radiação para promover a remediação ambiental. O dióxido de titânio (TiO2) tem sido amplamente empregado nos últimos anos como fotocatalisador devido as suas propriedades físico-químicas como inércia química, atoxicidade, insolubilidade em água, elevada atividade catalítica na presença de radiação UV. No entanto, o emprego desse material apresenta algumas desvantagens como a dificuldade em se reutilizá-lo em bateladas sucessivas e a utilização com radiação na região do visível uma vez que sua energia de band gap é bastante elevada (acima de 3,1 eV). Dessa forma, pesquisadores têm investigado o desenvolvimento de fotocatalisadores com propriedades magnéticas para facilitar a sua recuperação ao final da reação e que sejam capazes de promover a descontaminação dos elementos tóxicos empregando radiação visível, que é amplamente abundante em nosso país. Neste contexto, a presente proposta de projeto visa a síntese de nanopartículas magnéticas de ferritas (Fe3O4, CuFe2O4, NiFe2O4 e CoFe2O4) por duas diferentes rotas de síntese: rota do complexo polimerizável e método da 8-hidroxiquinolina com o intuito de se verificar a influência do método de síntese sobre as propriedades morfológicas, estruturais e magnéticas e, consequentemente, sobre o desempenho fotocatalítico dos materiais obtidos na descontaminação de elementos potencialmente tóxicos de águas residuárias. Os testes fotocatalíticos serão conduzidos empregando-se radiação UV e visível de forma a se avaliar como as diferentes ferritas atuam nas diferentes condições reacionais. Pretende-se, ao final do projeto, compreender a relação existente entre as principais propriedades das ferritas e seu desempenho fotocatalítico com o objetivo de se aprimorar os fotocatalisadores e torná-los cada vez mais ativos no processo de descontaminação de elementos potencialmente tóxicos de águas residuárias.
  • Universidade Tecnológica Federal do Paraná - PR - Brasil
  • 18/02/2019-28/02/2022
Foto de perfil

Rodrigo Caiado de Lamare

Engenharias

Engenharia Elétrica
  • sistemas de múltiplas antenas com super-resolução: conceitos, algoritmos e aplicações
  • Este projeto propõe a formulação de uma nova teoria de sistemas de múltiplas antenas com super-resolução, que permita aos engenheiros desenvolver algoritmos que consigam obter ganhos substanciais de diversidade e de multiplexação sobre soluções existentes. O conceito se baseia no emprego de arranjos de antenas co-localizados ou distribuídos com espaçamentos não uniformes entre as antenas que permitam um processamento digital com arranjos virtuais aumentados. O projeto propõe o estudo e desenvolvimento de técnicas de pré-codificação, detecção e estimação de parâmetros para sistemas de múltiplas antenas com super-resolução. O projeto também considera o estudo e desenvolvimento de soluções com super-resolução para diferentes cenários 5G e além, e arquiteturas de redes envolvendo o auxílio de nuvens, antenas distribuídas e redes livres de células. Com o intuito de desenvolver soluções com eficiência energética, as atividades também deverão contemplar o desenvolvimento de algoritmos de processamento de sinais para sinais com baixa resolução (entre 1 e 3 bits) para os diversos cenários previamente descritos.
  • Pontifícia Universidade Católica do Rio de Janeiro - RJ - Brasil
  • 18/02/2019-28/02/2022
Foto de perfil

Rodrigo Cantu de Souza

Ciências Humanas

Sociologia
  • por que alguns estados fiscais são fortes e outros são fracos na américa latina?
  • Este projeto de pesquisa tem como tema as transformações de longo prazo nos Estados latino-americanos sob a perspectiva das finanças públicas. Apesar de certa unidade cultural e linguística, o espaço latino-americano é marcado por heterogeneidades regionais e nacionais consideráveis. Alguns países do subcontinente possuem Estados fiscais fortes e estruturas tributárias modernas e diversificadas, outros possuem Estados fracos e estruturas mais simplórias ou dependem de receitas advindas da exploração de recursos naturais. A construção fiscal dos Estados na América Latina se relaciona com o tema do bem-estar nessas sociedades de modo geral. Um patamar mínimo de arrecadação fiscal é necessário para que o Estado possa realizar políticas públicas, redistributivas e de desenvolvimento. No âmbito de discussões sobre integração regional, é necessário ainda um alinhamento de regimes fiscais afim viabilizar uma inserção conjunta e melhor guarnecida na dinâmica econômica, política e militar do ordenamento mundial. Um grande obstáculo a tal alinhamento é a padronização de normas fiscais em um contexto de grandes disparidades. Entender a variedade dos Estados fiscais na América Latina se torna, então, imperativo nesse programa regional. Como investigar as causas das diferenças fiscais na América Latina? A hipótese que a pesquisa pretende testar é a de que crises fiscais dão origem ao fortalecimento fiscal do Estado. Essas crises são contextos de indeterminação nos quais um regime fiscal prévio de arrecadação reduzida pode ser transformado pelo desígnio político ou pela força das circunstâncias. Charles Tilly, em seus estudos sobre a formação do Estado na Europa, elaborou um argumento sobre o papel central da guerra no crescimento e consolidação do Estado. O Estado faz guerra e a guerra faz o Estado, no resumo do autor. Tilly defende que os crescentes custos das operações militares forçaram um crescimento fiscal e organizacional do Estado, com consequências sócio-políticas importantes, tais como a concessão de direitos às populações tributadas. Miguel Ángel Centeno (2014) explora as questões da guerra, da economia e da contestação política na formação dos Estados latino-americanos durante o século XIX. Segundo Centeno, o baixo poder fiscal da maior parte dos países latino-americanos é resultado da ausência de guerras de larga escala na região, o que eximiu os Estados de buscar aumentar seus aparatos militares, burocráticos e impositivos. A face complementar desse quadro é uma inércia de fraca monopolização da coerção internamente, de debilidade das políticas públicas e de fraqueza do Estado de modo geral. Em trabalho anterior, o proponente (Cantu, 2016) expande a intuição desses autores para examinar a trajetória fiscal da América Latina e do Brasil, em particular, no século XX. Embora válidas para esclarecer a força e fraqueza dos Estados por conta da guerra até o século XIX, Tilly e Centeno não explicam porque alguns Estados latino-americanos se fortaleceram fiscalmente ao longo do século XX, apesar da ausência de grandes guerras internacionais envolvendo esses países. Para abordar essa anomalia, Cantu generaliza a hipótese de Tilly. A guerra produz fortalecimento estatal, pois os elevados custos da operação militar provocam uma crise fiscal, que precisa ser resolvida. A solução, no caso Europeu, passou pelo contínuo fortalecimento fiscal do Estado. Entretanto, a guerra não é o único fenômeno gerador de crises fiscais. Cantu (2016) conclui que há crises fiscais com três origens na trajetória brasileira, em cujos contextos houve fortalecimento fiscal do Estado: crises do comércio internacional; crises pelo esforço de industrialização e desenvolvimento econômico; crise por disputas sócio-políticas em torno das despesas públicas. Junto com a guerra, essas modalidades de crise compõe a hipótese a ser testada em estudos históricos de países específicos. Tais crises seriam ou não a base para a mudança fiscal? Para testar tal hipótese, utiliza-se o seguinte método. Como material, empregam-se séries estatísticas históricas e literatura sobre história econômica e política de países selecionados. Com base nas séries estatísticas sobre finanças públicas são identificados os contextos nos quais há crises fiscais num determinado país. A literatura sobre história econômica e política do país é então mobilizada para se esclarecer as causas da crise. Em seguida, observa-se se os indicadores no volume ou na estrutura da arrecadação e da despesa se modificam após esse contexto de crise. Por esse procedimento, busca-se relacionar determinados tipos de crise fiscal à mudança e ao fortalecimento fiscal. Por fim, comparam-se esses resultados com àqueles de outros países, a fim de especificar se a hipótese se sustenta. Este projeto propõe testar a hipótese descrita acima no exame comparativo dos casos argentino, brasileiro, chileno, colombiano, mexicano e paraguaio. Essa seleção se orienta pelo potencial heurístico da comparação de dois casos de Estados fortes fiscalmente (Argentina e Brasil), dois medianos (Chile e Colômbia) e o caso dois Estados fracos (México e Paraguai). Utiliza-se como material séries estatísticas históricas e literatura sobre história econômica e política de países selecionados.
  • Universidade Federal da Integração Latino-Americana - PR - Brasil
  • 18/02/2019-28/02/2022
Foto de perfil

Rodrigo Castelan Carlson

Engenharias

Engenharia de Transportes
  • controle do tráfego de veículos automatizados em interseções reconfiguráveis
  • O advento dos veículos automatizados está transformando a modelagem e operação dos sistemas de tráfego. Os modelos e métodos tradicionais de simulação, operação e controle do tráfego urbano e rodoviário não atendem esse novo cenário que se desenha para os sistemas de transportes. Assim, é urgente a necessidade de novos modelos e um novo olhar no projeto de controladores. O paradigma estabelecido há décadas para a organização da infraestrutura viária permanece o mesmo e o desenho geométrico de um interseção pode não oferecer a maior eficiência possível para a demanda de tráfego vigente. O problema a ser estudado neste projeto é o controle do tráfego em interseções com veículos automatizados em que não há nenhuma suposição ou delimitação a respeito dos movimentos permitidos. Isto é, o desenho geométrico da interseção não existe ou é reconfigurável. O objetivo é obter estratégias de controle de tráfego em interseções reconfiguráveis com veículos automatizados. As estratégias serão testadas em microssimulação, com simulador dedicado a veículos autônomos e também com robôs móveis de pequeno porte fazendo o papel de veículos automatizados.
  • Universidade Federal de Santa Catarina - SC - Brasil
  • 18/02/2019-28/02/2022
Foto de perfil

Rodrigo César Fernandes Barbosa

Ciências Exatas e da Terra

Química
  • a inteligência artificial como ferramenta no desenvolvimento de plataformas digitais colaborativas para a popularização e divulgação de ciência e tecnologia
  • Atividades de extensão e cultura são importantes instrumentos que promovem integração e troca de saberes com a comunidade. Dentre as formas de desenvolver esta interação, a utilização de ferramentas comuns ao cotidiano dos membros da comunidade, como as mídias digitais, constitui uma importante estratégia para promover a divulgação e popularização do conhecimento científico e tecnológico. Portanto, este projeto tem por objetivos a realização de experimentos com conteúdos comuns ao cotidiano, durante a 17ª Semana Nacional de Ciência e tecnologia (17ª SNCT), que possam ser reproduzidos em escolas que não tem acesso aos espaços de cultura científica, com elaboração de kits de experimentação com materiais de baixo custo que serão fornecidos gratuitamente. Todas as atividades realizadas no âmbito deste projeto serão registradas em meios audiovisuais, para disponibilização nas mídias sociais do projeto, que serão criadas nas plataformas Facebook, Instagram e YouTube. Nestas plataformas, serão desenvolvidos chatbots utilizando inteligência artificial para aprimorar a interação com o usuário, tornando possível estabelecer a comunicação acerca dos conteúdos abordados de forma automatizada. Estas plataformas serão mantidas de forma permanente, com a disponibilização periódica de novos conteúdos, ampliando o alcance e o impacto desta iniciativa.
  • Universidade Federal Rural do Rio de Janeiro - RJ - Brasil
  • 26/10/2020-30/04/2021
Foto de perfil

Rodrigo Coelho Barros

Ciências Exatas e da Terra

Ciência da Computação
  • adaptação de domínio em deep learning para análise de imagens médicas
  • Modelos de redes neurais profundas (mais conhecidas pelo termo em inglês Deep Learning) têm sido amplamente aplicados em imagens médicas para problemas como segmentação, diagnóstico assistido por computador, registro, dentre vários outros. Algoritmos para Deep Learning são, em geral, treinados sobre conjuntos de dados anotados e preferencialmente aplicados no mesmo contexto em que foram originalmente propostos, seguindo a premissa básica do Aprendizado de Máquina onde os dados são independentes e identicamente distribuídos (iid). Na área de imagens médicas, no entanto, é fundamental que os modelos gerados possam ser abrangentes e robustos a variações nas imagens ocasionadas por fatores externos como troca de equipamento, mudança na calibragem do software de aquisição, variação no nível de contraste, entre outros. Sabe-se que essas variações causam um problema conhecido como domain shift, ou variação de domínio, caracterizado pela diferença da distribuição dos dados referente ao domínio no qual o modelo será aplicado em relação à distribuição do domínio no qual o modelo foi originalmente treinado. Devido a esta discrepância entre domínios, ocorre perda significativa na eficácia dos modelos treinados, impossibilitando a adoção em escala dos mesmos em áreas importantes e estratégicas, como é o caso da análise de imagens médicas. Devido à frequência alta da ocorrência de variações de domínio no contexto médico, este trabalho se propõe a desenvolver novas abordagens para a área de Unsupervised Domain Adaptation, que sejam capazes de explorar as características das imagens médicas para transformar o conhecimento de modelos entre domínios sem qualquer supervisão.
  • Pontifícia Universidade Católica do Rio Grande do Sul - RS - Brasil
  • 18/02/2019-28/02/2022
Foto de perfil

Rodrigo Coppe Caldeira

Ciências Humanas

Teologia
  • história internacional do catolicismo intransigente: redes de sociabilidade, circulação, trocas, representações
  • O projeto consiste em estudar, numa perspectiva internacional, a história do catolicismo intransigente do concílio Vaticano II (1962-1965) a nossos dias, ou seja, até às tentativas de reconciliação com a Fraternidade São Pio X (fundada por Marcel Lefebvre) com o Vaticano em 2012, ou até à reconciliação se ela acontece nos próximos meses ou anos como preveem alguns vaticanistas. A história do catolicismo instransigente é ainda desconhecida e uma lacuna da historiografia religiosa contemporânea.O catolicismo intransigente é ainda marcado por certas imprecisões conceituais.Os conceitos de intransigência, intransigentismo, integrismo, tradicionalismo, que não são intercambiáveis mesmo nunca sendo jamais estrangeiros uns aos outros, nos convida a uma precisão. É isto que nos propomos realizar num primeiro momento a fim de partir de bases teóricas concisas e de suscitar novos trabalhos sobre o objeto oferecendo uma ferramenta de reflexão para outros pesquisadores.Além desse aspecto historiográfico e conceitual, o centro do projeto consiste em estudar a história do catolicismo intransigente a partir do concílio Vaticano II, evento que abre uma nova era no seio do catolicismo. É necessário dividir o trabalho em cinco partes, que correspondem a cinco períodos: 1) O período conciliar (1962-1965); 2) Do encerramento do concílio ao manifesto de Lefebvre em 1974; 3) Do manifesto às sagrações sem mandato pontifício de quatro bispos, realizados em 1988 por Lefebvre e Antonio de Castro Mayer; 4) Das sagrações de 1988 a 2000; 5) Da tentativa de normalização da Fraternidade Sacerdotal São Pio X em curso desde 2000. Estudaremos cada um dos períodos a partir de documentos arquivísticos, de fontes de segunda mão e de entrevistas com os atores maiores do tradicionalismo. Serão focados os seguintes aspectos: no fenômeno considerado nele mesmo, em suas dimensões sociais, culturais, psicológicos e religiosos; nos dados teológicos do fenômeno; na relação à Revolução francesa; às filiações ideológicas; às redes nacionais e internacionais; à recepção do Vaticano II e do magistério pós-conciliar; à posição dos tradicionalistas em relação à Igreja católica; à evolução do fenômeno (diferentes etapas).
  • Pontifícia Universidade Católica de Minas Gerais - MG - Brasil
  • 18/02/2019-28/02/2022
Foto de perfil

Rodrigo Dalke Meucci

Ciências da Saúde

Saúde Coletiva
  • exercícios domiciliares para prevenção de quedas em idosos moradores de comunidades rurais: ensaio clínico controlado e randomizado
  • As quedas são uma das principais causas de morbimortalidade em idosos, entretanto, muito pouco se sabe sobre a ocorrência deste desfecho em populações rurais. Estudo de linha de base de uma coorte de idosos da área rural do município do Rio Grande, RS, mostrou que anualmente, 25% dos idosos sofrem pelo menos uma queda. Este achado evidencia a importância de realizar um estudo de intervenção que busque avaliar a efetividade de um Programa de Exercícios que busque prevenir a ocorrência de quedas nesta população. Deste modo, este projeto tem por objetivo realizar um ensaio clínico controlado e randomizado para prevenção de quedas em idosos moradores de comunidades rurais através do Programa de Exercícios de Otago. A intervenção proposta será implementada em quatro comunidades que estão sob responsabilidade das Unidades Básicas de Saúde da Família (UBSF) da Ilha dos Marinheiros, Torotama, Povo Novo e Domingos Petroline. Os participantes serão idosos (60 anos ou mais), integrantes de um estudo de coorte prospectiva, os quais serão avaliados e responderão a um questionário padronizado no início e ao final da intervenção mediante aceite e assinatura de um Termo de Consentimento Livre e Esclarecido. Após a avaliação inicial, os participantes serão randomizados para serem alocados nos grupos intervenção ou controle. O grupo controle receberá orientações sobre a prevenção de quedas. O grupo intervenção, além das orientações, irá participar de um programa de exercícios domiciliares sob a orientação de um supervisor devidamente treinado. A intervenção terá duração de 12 meses. Os dados serão coletados por meio de questionário eletrônico aplicado por meio de tablets. A análise dos dados será por intenção de tratar, conforme a alocação dos participantes. Além de contribuir com a formação de recursos humanos em saúde devido à participação de alunos dos Programas de Pós-Graduação em Saúde Pública e Ciências da Saúde da Universidade Federal do Rio Grande (FURG), os resultados deste estudo poderão ter aplicação direta nos serviços de saúde, uma vez que a intervenção proposta poderá ser incorporada à rotina das UBSF, qualificando os serviços de saúde oferecidos à comunidade.
  • Universidade Federal do Rio Grande - RS - Brasil
  • 18/02/2019-28/02/2022
Foto de perfil

Rodrigo de Alvarenga Freire

Ciências Humanas

Filosofia
  • fundamentos da lógica e teoria de conjuntos
  • O presente projeto possui dois objetivos gerais: (1) a investigação detalhada de certas propriedades da lógica de primeira ordem e (2) a investigação da relevância dessas propriedades para os fundamentos da matemática, com particular atenção à teoria dos conjuntos. É bastante comum a divisão dos estudos sobre a lógica de primeira ordem em pelo menos duas áreas, teoria da prova e teoria dos modelos. No primeiro caso, o estudo se concentra em sistemas de demonstração, enquanto no segundo caso o estudo se concentra sobre as propriedades dos modelos de uma teoria. Vamos começar com a teoria de modelos. A caracterização da lógica como o estudo da relação de consequência é bastante difundida. Do ponto de vista técnico, essa caracterização se reflete na definição de uma lógica abstrata como sendo constituída por uma linguagem e uma relação de consequência entre conjuntos de fórmulas e fórmulas. Esse tipo de estudo nos fornece uma importante caracterização da lógica de primeira ordem, quer seja, o célebre resultado de Lindström segundo o qual a lógica de primeira ordem é a única lógica a qual satisfaz tanto o teorema da compacidade como o teorema de Löwenheim-Skolem para baixo. No entanto, essa caracterização é ainda muito grosseira. Conquanto o estudo da relação de consequência seja de óbvia importância para a lógica, é certo que esse estudo não esgota o campo da teoria dos modelos contemporânea. De fato, importantes teoremas da teoria dos modelos, como o teorema da omissão de tipos e o teorema de Morley, se utilizam de uma relação mais fina entre fórmulas de uma linguagem e conjuntos definíveis por essas fórmulas. Nesse sentido, a relação de definibilidade aparece como até mais importante do que a relação de consequência. Assim, pretendemos investigar refinamentos possíveis dos resultados de Lindström mencionados acima. Em particular, um dos objetivos centrais do projeto é uma definição de lógica abstrata que tome como elemento central não a relação de consequência lógica, mas a relação de definibilidade. Um passo importante nessa direção foi sem dúvida dado por Fraïssé, ao estratificar a equivalência elementar. Nosso projeto pretende aprofundar essas ideias de Fraïssé. Sobre a teoria da prova, sem dúvida, um dos principais resultados para a lógica de primeira ordem é o teorema da eliminação do corte, devido a Gentzen. De fato, esse resultado isola duas regras de inferência como sendo de certa forma excepcionais: a regra do corte, a qual não exibe a propriedade da subfórmula, e a regra da contração, a qual não exibe uma propriedade de aumento da complexidade. Isso parece sugerir que a complexidade da lógica da primeira ordem, pelo menos do ponto de vista da teoria da prova, resulta não apenas da introdução de quantificadores, mas da interação das regras dos quantificadores com essas essas duas regras. Esse projeto pretende investigar essa interação. Além disso, um outro resultado importante na teoria da prova está relacionado com a assim chamada interpretação Dialectica de Gödel. Basicamente, Gödel mostrou como interpretar, primeiro, a aritmética de primeira ordem em uma teoria dos tipos funcional. Isso promove uma eliminação de quantificadores em favor de funcionais de comportamento mais construtivo, portanto de entendimento do conteúdo construtivo por trás de provas clássicas. As investigações anteriores serão utilizadas para uma investigação aprofundada da teoria dos conjuntos ZFC. Três tipos de resultados são buscados: (i) sobre a teoria dos modelos de ZFC, (ii) sobre a teoria da prova de ZFC e (iii) sobre novos axiomas. Em (i) pretende-se investigar de modo mais aprofundado a maneira como questões de definibilidade lógica interagem com os diversos níveis da hierarquia construtível e com modelos mais complicados da teoria de conjuntos baseados nessa hierarquia. Em (ii), uma direção de estudo é a realização de uma análise de interpretações funcionais da variante construtiva CZF que estendem a interpretação Dialectica de Gödel, visando adaptá-las para ZFC. Em (iii), pretendemos investigar um novo tipo de axioma, os axiomas de conexões de ordinais, que pretendem axiomatizar diretamente a maneira como os ordinais organizam e estruturam os conjuntos. O desafio é entender como conexões de ordinais interagem com a teoria descritiva de conjuntos e com forcing.
  • Universidade de Brasília - DF - Brasil
  • 18/02/2019-28/02/2022