Trends in Computational and Applied Mathematics, 2012
Resumo. Neste artigo propomos uma adaptação de um algoritmo baseado na evolução biológica para a ... more Resumo. Neste artigo propomos uma adaptação de um algoritmo baseado na evolução biológica para a obtenção do controleótimo do problema do custo médio a longo prazo para sistemas lineares com saltos markovianos. Não há na literatura um método que forneça, comprovadamente, o controleótimo do problema, nem estudos comparativos de diferentes métodos. O algoritmo empregado diferencia-se dos algoritmos genéticos básicos por substituir os operadores evolutivos por um sorteio de acordo com uma distribuição probabilística. Comparamos o algoritmo proposto com um método bastante utilizado para esta classe de problema, levando em consideração a relação entre os custos obtidos, o tempo de CPU e a quantidade de problemas em que o critério de parada estabelecido foi atingido. Palavras-chave. Sistemas com saltos markovianos, algoritmo evolutivo, problema de controle.
Anais do X Encontro Nacional de Computação dos Institutos Federais (EnCompIF 2023)
Com o rápido avanço da inteligência artificial, ações de criação e manipulação de imagens e vídeo... more Com o rápido avanço da inteligência artificial, ações de criação e manipulação de imagens e vídeos tem se tornado cada vez mais comum e acessível às pessoas. Como consequência, as deepfakes tem sido bastante utilizadas à serviço da desinformação e à disseminação de fake news. Considerando as deepfakes como um marco nessa nova era da informação, este artigo propõe a análise de três importantes algoritmos de aprendizagem profunda para a geração de deepfakes. Os resultados mostram que o Deepfacelab despende quase o dobro do tempo de processamento em relação ao FaceSwap e ao First Order Motion, porém apresenta uma melhor qualidade dos resultados gerados.
Agradeço ao Prof. Eduardo F. Costa pela oportunidade de desenvolver este projeto sob sua supervis... more Agradeço ao Prof. Eduardo F. Costa pela oportunidade de desenvolver este projeto sob sua supervisão, além de toda atenção despendida a mim, tanto para questões pessoais quanto para questões profissionais. Obrigado pela amizade e pelo entusiasmò a pesquisa. A Daiane Bortolin e ao Breno Caetano pela amizade e pela participação neste trabalho, e aos meus amigos do grupo de pesquisa, além dos professores do Instituto de Ciências Matemática e de Computação da Universidade de São Paulo que me proporcionaram amizade e ensinamento. A minha família, principais incentivadores na busca de meus sonhos e meu amparo nos momentos de dificuldade.
Anais do IX Encontro Nacional de Computação dos Institutos Federais (EnCompIF 2022)
A classificação do tráfego de rede por meio do fluxo de rede possui grande relevância no contexto... more A classificação do tráfego de rede por meio do fluxo de rede possui grande relevância no contexto dos ataques cibernéticos. Diversos segmentos da sociedade são afetados por esses ataques, os quais podem representar perdas financeiras significativas. Além disso, os métodos convencionais como antivírus e firewall nem sempre conseguem identificar anomalias na rede. Motivado por estas circunstâncias, este artigo propõe o estudo e aplicação de sete algoritmos de aprendizado de máquina com a utilização de seleção de atributos na classificação do tráfego de rede por meio do fluxo de rede, primando a automatização na identificação de fluxo anômalo, contribuindo para a obtenção de métrica no auxílio à tomada de decisão por administradores de redes.
Anais do I Simpósio Brasileiro de Educação em Computação (EDUCOMP 2021), 2021
A presença feminina em cursos e atividades profissionais relacionadas às áreas de exatas e de tec... more A presença feminina em cursos e atividades profissionais relacionadas às áreas de exatas e de tecnologia é notadamente reduzida. De modo irreflexivo, meninas são afastadas dessas áreas, sendo submetidas predominantemente a comentários e brincadeiras que projetam tarefas domésticas, ao invés de trabalharem o raciocínio lógico e o pensamento computacional. Considerando estes fatores, o projeto de extensão Programa Sabará for Women (PS4W), exerce a missão de disseminar e estimular o desenvolvimento do pensamento computacional de meninas das escolas públicas da cidade mineira de Sabará. Para isso, foram lecionados conteúdos sobre raciocínio lógico, robótica e programação de computadores, orientados por meninas e mulheres que atuam na equipe do projeto. O PS4W representou uma grande experiência tanto para as instrutoras quanto para as alunas, as quais relataram possuir um interesse maior nas áreas de tecnologia ao fim do curso. O projeto também foi pauta de uma série de reportagem premia...
Revista Brasileira da Educação Profissional e Tecnológica, 2021
Neste artigo apresentamos um estudo de caso sobre os efeitos da tecnologia no ensino básico públi... more Neste artigo apresentamos um estudo de caso sobre os efeitos da tecnologia no ensino básico público da cidade mineira de Sabará, utilizando como amostra alunas de dez escolas públicas da cidade, que integraram um projeto de inclusão digital feminina de fomento federal. Foram avaliadas 65 alunas de diversas escolas públicas da cidade e para se fazer a análise proposta, foram coletadas informações por meio de dois formulários e um teste estratificado com categorias de conhecimento aplicado às alunas e aos instrutores, e em seguida foram realizadas inferências a partir destes dados. Os resultados mostraram uma equiparação por nível de ensino, porém com destaque para o ensino fundamental, além dos resultados sugerirem influência do local de realização do curso durante o desenvolvimento do projeto no desempenho do teste de conhecimento.
Resumo. Neste artigo os autores propõem a aplicação de um algoritmo baseado em inteligência por e... more Resumo. Neste artigo os autores propõem a aplicação de um algoritmo baseado em inteligência por enxame, mais especificamente o Algoritmo Colônia de Vagalume (ACV), na otimização de funções n−dimensionais e multimodais. Algoritmos baseados em inteligência por enxame são bastante estudados na literatura por serem algoritmos eficientes para resolver problemas reais em diversasáreas. A computação bio-inspirada tem crescido bastante nosúltimos anos, especialmente nasúltimas duas décadas. Muitos dos recém algoritmos bio-inspirados, e em especial os algoritmos baseados em inteligência por enxame, são desconhecidos por uma grande parte de estudantes, professores e profissionais do mercado de trabalho que lidam com otimização. Dentre estes algoritmos pode-se citar: Colônia de Vaga-lume [6], Colônia de Bactérias [5], Otimizador da Formiga-Leão [4], entre outros. A metaheurística ACV tem sido recentemente explorada na otimização de problemas reais tais como: reconfiguração de antenas para telecomunicação [1] e sequenciamento de tarefas [3].
Anais do VIII Encontro Nacional de Computação dos Institutos Federais (EnCompIF 2021), 2021
Neste trabalho foram utilizados os modelos epidemiológicos SEIR e SIQR para avaliar a evolução da... more Neste trabalho foram utilizados os modelos epidemiológicos SEIR e SIQR para avaliar a evolução da COVID-19 no município de Belo Horizonte em Minas Gerais, Brasil, entre os meses de abril a dezembro de 2020. Os modelos epidemiológicos foram resolvidos usando o método numérico de Runge-Kutta de 4ª ordem, sendo implementados em linguagem Octave. A simulação dos dados pelos modelos propostos se aproximou da evolução real da COVID-19 na região abordada, tornando estes modelos boas ferramentas para aprimorara compreensão da dinâmica de transmissão da doença.
A propagação de v́ırus computacional é um problema de impacto mundial, e de grande interesse soci... more A propagação de v́ırus computacional é um problema de impacto mundial, e de grande interesse social, pois vivemos em um mundo globalizado onde a tecnologia de informação, atrelada à expansão das redes de computadores possui uma influência preponderante em todos os ńıveis de organizações da sociedade. Um v́ırus computacional é um software que pode ser executado independente da vontade e conhecimento do usuário, capaz de danificar, corromper ou obter informações de maneira ilegal em virtude de alguma vulnerabilidade do sistema operacional [2]. A detecção e remoção dessas “pragas” virtuais por programas antiv́ırus tornam-se cada vez mais problemática, devido à complexidade dos códigos dos v́ırus, além de sua rápida proliferação através de links, e-mails e pen drives infectados. O comportamento do v́ırus computacional é análogo ao v́ırus biológico. Em uma infecção biológica, ocorre absorção do v́ırus a uma célula suscet́ıvel, e em seguida, nesta célula infectada é feita a replicação do ...
Proceeding Series of the Brazilian Society of Computational and Applied Mathematics, 2016
Resumo. Neste trabalho validamos a população de fêmeas do Aedes aegypti obtida via modelo entomol... more Resumo. Neste trabalho validamos a população de fêmeas do Aedes aegypti obtida via modelo entomológico matemático computacional com influência da pluviosidade acumulada semanalmente, utilizando dados amostrais deÍndice Médio de Fêmeas Aedes em uma região. Foi observado coincidências na posição dos picos e vales apenas ao longo do horizonte chuvoso. Palavras-chave. Dengue, Aedes aegypti, Modelo, Pluviosidade,Índice Médio de Fêmeas Aedes.
Resumo. Neste trabalho realizamos um estudo através da matriz de próxima geração associada a um m... more Resumo. Neste trabalho realizamos um estudo através da matriz de próxima geração associada a um modelo compartimental com influência da temperatura para determinarmos a taxa de infestação vetorial do Aedes. Avaliamos o valor da taxa de infestação em três capitais brasileiras, Belém, Belo Horizonte e Curitiba. O resultado obtido sugere que a temperatura seja um preditor positivo e significativo para a abundância de fêmeas do Aedes. O vetor encontrou condições ideais para manter-se ao longo de todo horizonte de estudo nas três capitais, com exceção do mês de junho em Curitiba. A fim de reduzir o nível de infestação do mosquito nas localidades, faz-se necessária a realização de intervenções de controle e monitoramento no ciclo de vida do mosquito que reduzem a oviposição de ovos viáveis a se tornarem mosquito fêmea e aumentem a mortalidade dos vetores.
Resumo. O Aedes aegypti e o Aedes albopictus tem-se destacado na dispersão de diversas arbovirose... more Resumo. O Aedes aegypti e o Aedes albopictus tem-se destacado na dispersão de diversas arboviroses, dentre elas a dengue, a febre chikungunya e o zika vírus. Recentemente, tornouse crescente pesquisas naárea de biomatemática que utilizam modelos entomológicos e/ou epidemiológicos que são capazes de descrever a dinâmica espacial destes vetores, e consequentemente, auxiliar os gestores públicos no controle vetorial e de seu respectivo ciclo de transmissão. Desta forma, realizamos um estudo teórico e numérico, seguido de validação de um sistema entomológico matemático computacional determinístico derivado da literatura, que reproduz a dependência dos parâmetros entomológicos do ciclo de vida do A. aegypti e do A. albopictus com a pluviosidade acumulada semanalmente de uma determinadaárea. Palavras-chave. Aedes aegypti, Aedes albopictus, Modelagem, Pluviosidade
Trends in Computational and Applied Mathematics, 2012
Resumo. Neste artigo propomos uma adaptação de um algoritmo baseado na evolução biológica para a ... more Resumo. Neste artigo propomos uma adaptação de um algoritmo baseado na evolução biológica para a obtenção do controleótimo do problema do custo médio a longo prazo para sistemas lineares com saltos markovianos. Não há na literatura um método que forneça, comprovadamente, o controleótimo do problema, nem estudos comparativos de diferentes métodos. O algoritmo empregado diferencia-se dos algoritmos genéticos básicos por substituir os operadores evolutivos por um sorteio de acordo com uma distribuição probabilística. Comparamos o algoritmo proposto com um método bastante utilizado para esta classe de problema, levando em consideração a relação entre os custos obtidos, o tempo de CPU e a quantidade de problemas em que o critério de parada estabelecido foi atingido. Palavras-chave. Sistemas com saltos markovianos, algoritmo evolutivo, problema de controle.
Anais do X Encontro Nacional de Computação dos Institutos Federais (EnCompIF 2023)
Com o rápido avanço da inteligência artificial, ações de criação e manipulação de imagens e vídeo... more Com o rápido avanço da inteligência artificial, ações de criação e manipulação de imagens e vídeos tem se tornado cada vez mais comum e acessível às pessoas. Como consequência, as deepfakes tem sido bastante utilizadas à serviço da desinformação e à disseminação de fake news. Considerando as deepfakes como um marco nessa nova era da informação, este artigo propõe a análise de três importantes algoritmos de aprendizagem profunda para a geração de deepfakes. Os resultados mostram que o Deepfacelab despende quase o dobro do tempo de processamento em relação ao FaceSwap e ao First Order Motion, porém apresenta uma melhor qualidade dos resultados gerados.
Agradeço ao Prof. Eduardo F. Costa pela oportunidade de desenvolver este projeto sob sua supervis... more Agradeço ao Prof. Eduardo F. Costa pela oportunidade de desenvolver este projeto sob sua supervisão, além de toda atenção despendida a mim, tanto para questões pessoais quanto para questões profissionais. Obrigado pela amizade e pelo entusiasmò a pesquisa. A Daiane Bortolin e ao Breno Caetano pela amizade e pela participação neste trabalho, e aos meus amigos do grupo de pesquisa, além dos professores do Instituto de Ciências Matemática e de Computação da Universidade de São Paulo que me proporcionaram amizade e ensinamento. A minha família, principais incentivadores na busca de meus sonhos e meu amparo nos momentos de dificuldade.
Anais do IX Encontro Nacional de Computação dos Institutos Federais (EnCompIF 2022)
A classificação do tráfego de rede por meio do fluxo de rede possui grande relevância no contexto... more A classificação do tráfego de rede por meio do fluxo de rede possui grande relevância no contexto dos ataques cibernéticos. Diversos segmentos da sociedade são afetados por esses ataques, os quais podem representar perdas financeiras significativas. Além disso, os métodos convencionais como antivírus e firewall nem sempre conseguem identificar anomalias na rede. Motivado por estas circunstâncias, este artigo propõe o estudo e aplicação de sete algoritmos de aprendizado de máquina com a utilização de seleção de atributos na classificação do tráfego de rede por meio do fluxo de rede, primando a automatização na identificação de fluxo anômalo, contribuindo para a obtenção de métrica no auxílio à tomada de decisão por administradores de redes.
Anais do I Simpósio Brasileiro de Educação em Computação (EDUCOMP 2021), 2021
A presença feminina em cursos e atividades profissionais relacionadas às áreas de exatas e de tec... more A presença feminina em cursos e atividades profissionais relacionadas às áreas de exatas e de tecnologia é notadamente reduzida. De modo irreflexivo, meninas são afastadas dessas áreas, sendo submetidas predominantemente a comentários e brincadeiras que projetam tarefas domésticas, ao invés de trabalharem o raciocínio lógico e o pensamento computacional. Considerando estes fatores, o projeto de extensão Programa Sabará for Women (PS4W), exerce a missão de disseminar e estimular o desenvolvimento do pensamento computacional de meninas das escolas públicas da cidade mineira de Sabará. Para isso, foram lecionados conteúdos sobre raciocínio lógico, robótica e programação de computadores, orientados por meninas e mulheres que atuam na equipe do projeto. O PS4W representou uma grande experiência tanto para as instrutoras quanto para as alunas, as quais relataram possuir um interesse maior nas áreas de tecnologia ao fim do curso. O projeto também foi pauta de uma série de reportagem premia...
Revista Brasileira da Educação Profissional e Tecnológica, 2021
Neste artigo apresentamos um estudo de caso sobre os efeitos da tecnologia no ensino básico públi... more Neste artigo apresentamos um estudo de caso sobre os efeitos da tecnologia no ensino básico público da cidade mineira de Sabará, utilizando como amostra alunas de dez escolas públicas da cidade, que integraram um projeto de inclusão digital feminina de fomento federal. Foram avaliadas 65 alunas de diversas escolas públicas da cidade e para se fazer a análise proposta, foram coletadas informações por meio de dois formulários e um teste estratificado com categorias de conhecimento aplicado às alunas e aos instrutores, e em seguida foram realizadas inferências a partir destes dados. Os resultados mostraram uma equiparação por nível de ensino, porém com destaque para o ensino fundamental, além dos resultados sugerirem influência do local de realização do curso durante o desenvolvimento do projeto no desempenho do teste de conhecimento.
Resumo. Neste artigo os autores propõem a aplicação de um algoritmo baseado em inteligência por e... more Resumo. Neste artigo os autores propõem a aplicação de um algoritmo baseado em inteligência por enxame, mais especificamente o Algoritmo Colônia de Vagalume (ACV), na otimização de funções n−dimensionais e multimodais. Algoritmos baseados em inteligência por enxame são bastante estudados na literatura por serem algoritmos eficientes para resolver problemas reais em diversasáreas. A computação bio-inspirada tem crescido bastante nosúltimos anos, especialmente nasúltimas duas décadas. Muitos dos recém algoritmos bio-inspirados, e em especial os algoritmos baseados em inteligência por enxame, são desconhecidos por uma grande parte de estudantes, professores e profissionais do mercado de trabalho que lidam com otimização. Dentre estes algoritmos pode-se citar: Colônia de Vaga-lume [6], Colônia de Bactérias [5], Otimizador da Formiga-Leão [4], entre outros. A metaheurística ACV tem sido recentemente explorada na otimização de problemas reais tais como: reconfiguração de antenas para telecomunicação [1] e sequenciamento de tarefas [3].
Anais do VIII Encontro Nacional de Computação dos Institutos Federais (EnCompIF 2021), 2021
Neste trabalho foram utilizados os modelos epidemiológicos SEIR e SIQR para avaliar a evolução da... more Neste trabalho foram utilizados os modelos epidemiológicos SEIR e SIQR para avaliar a evolução da COVID-19 no município de Belo Horizonte em Minas Gerais, Brasil, entre os meses de abril a dezembro de 2020. Os modelos epidemiológicos foram resolvidos usando o método numérico de Runge-Kutta de 4ª ordem, sendo implementados em linguagem Octave. A simulação dos dados pelos modelos propostos se aproximou da evolução real da COVID-19 na região abordada, tornando estes modelos boas ferramentas para aprimorara compreensão da dinâmica de transmissão da doença.
A propagação de v́ırus computacional é um problema de impacto mundial, e de grande interesse soci... more A propagação de v́ırus computacional é um problema de impacto mundial, e de grande interesse social, pois vivemos em um mundo globalizado onde a tecnologia de informação, atrelada à expansão das redes de computadores possui uma influência preponderante em todos os ńıveis de organizações da sociedade. Um v́ırus computacional é um software que pode ser executado independente da vontade e conhecimento do usuário, capaz de danificar, corromper ou obter informações de maneira ilegal em virtude de alguma vulnerabilidade do sistema operacional [2]. A detecção e remoção dessas “pragas” virtuais por programas antiv́ırus tornam-se cada vez mais problemática, devido à complexidade dos códigos dos v́ırus, além de sua rápida proliferação através de links, e-mails e pen drives infectados. O comportamento do v́ırus computacional é análogo ao v́ırus biológico. Em uma infecção biológica, ocorre absorção do v́ırus a uma célula suscet́ıvel, e em seguida, nesta célula infectada é feita a replicação do ...
Proceeding Series of the Brazilian Society of Computational and Applied Mathematics, 2016
Resumo. Neste trabalho validamos a população de fêmeas do Aedes aegypti obtida via modelo entomol... more Resumo. Neste trabalho validamos a população de fêmeas do Aedes aegypti obtida via modelo entomológico matemático computacional com influência da pluviosidade acumulada semanalmente, utilizando dados amostrais deÍndice Médio de Fêmeas Aedes em uma região. Foi observado coincidências na posição dos picos e vales apenas ao longo do horizonte chuvoso. Palavras-chave. Dengue, Aedes aegypti, Modelo, Pluviosidade,Índice Médio de Fêmeas Aedes.
Resumo. Neste trabalho realizamos um estudo através da matriz de próxima geração associada a um m... more Resumo. Neste trabalho realizamos um estudo através da matriz de próxima geração associada a um modelo compartimental com influência da temperatura para determinarmos a taxa de infestação vetorial do Aedes. Avaliamos o valor da taxa de infestação em três capitais brasileiras, Belém, Belo Horizonte e Curitiba. O resultado obtido sugere que a temperatura seja um preditor positivo e significativo para a abundância de fêmeas do Aedes. O vetor encontrou condições ideais para manter-se ao longo de todo horizonte de estudo nas três capitais, com exceção do mês de junho em Curitiba. A fim de reduzir o nível de infestação do mosquito nas localidades, faz-se necessária a realização de intervenções de controle e monitoramento no ciclo de vida do mosquito que reduzem a oviposição de ovos viáveis a se tornarem mosquito fêmea e aumentem a mortalidade dos vetores.
Resumo. O Aedes aegypti e o Aedes albopictus tem-se destacado na dispersão de diversas arbovirose... more Resumo. O Aedes aegypti e o Aedes albopictus tem-se destacado na dispersão de diversas arboviroses, dentre elas a dengue, a febre chikungunya e o zika vírus. Recentemente, tornouse crescente pesquisas naárea de biomatemática que utilizam modelos entomológicos e/ou epidemiológicos que são capazes de descrever a dinâmica espacial destes vetores, e consequentemente, auxiliar os gestores públicos no controle vetorial e de seu respectivo ciclo de transmissão. Desta forma, realizamos um estudo teórico e numérico, seguido de validação de um sistema entomológico matemático computacional determinístico derivado da literatura, que reproduz a dependência dos parâmetros entomológicos do ciclo de vida do A. aegypti e do A. albopictus com a pluviosidade acumulada semanalmente de uma determinadaárea. Palavras-chave. Aedes aegypti, Aedes albopictus, Modelagem, Pluviosidade
Uploads
Papers by Carlos Silva