Danilo Santos Souza
Professor de Ensino Básico, Técnico e Tecnológico do Instituto Federal da Bahia. Doutor em Ciência da Computação pela Universidade Federal de Ouro Preto. Mestre em Ciência da Computação pela Universidade Federal de Ouro Preto (2014), Bacharel em Ciência da Computação pela Universidade Federal de Alagoas (2015) e Tecnólogo em Análise e Desenvolvimento de Sistemas pela Universidade Estadual de Ciências da Saúde de Alagoas (2010). Foi Professor de Ensino Básico, Técnico e Tecnológico no Instituto Federal de Rondônia de Julho de 2017 à Outubro de 2018. Tem experiência na área de Ciência da Computação, com ênfase em Otimização e Inteligência Computacional, atuando principalmente nos seguintes temas: Métodos Exatos e Heurísticos para problemas de Otimização de Combinatória.
Informações coletadas do Lattes em 02/02/2026
Acadêmico
Formação acadêmica
Doutorado em CIÊNCIA DA COMPUTAÇÃO
2016 - 2024
Universidade Federal de Ouro Preto
Título: CPU-GPU HEURISTICS AND CUTS SEPARATION ON MILP: ANALYSIS FOR THE GENERALIZED ASSIGNMENT AND PROJECT SCHEDULING PROBLEMS
Igor Machado Coelho. Coorientador: PUCA HUACHI VAZ PENNA. Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de Minas Gerais, FAPEMIG, Brasil. Palavras-chave: Ciência da computação.Grande área: Ciências Exatas e da Terra
Mestrado em CIÊNCIA DA COMPUTAÇÃO
2012 - 2014
Universidade Federal de Ouro Preto
Título: Uma Abordagem Híbrida para Resolver o Problema da Escala de Motoristas de Ônibus Urbano
, Ano de Obtenção: 2014.Gustavo Peixoto Silva.Coorientador: Haroldo Gambini Santos. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Grande área: Ciências Exatas e da TerraGrande Área: Engenharias / Área: Engenharia de Transportes.
Graduação em Ciência da Computação
2007 - 2015
Universidade Federal de Alagoas
Título: Uma Metaheurística Step Counting Hill Climbing (SCHC) para Resolver o Problema de Alocação da Tripulação de Ônibus Urbano
Orientador: Baldoino Fonseca dos Santos Neto
Graduação em Análise e Desenvolvimento de Sistemas
2007 - 2010
Formação complementar
2014 - 2014
Habilitação em Tutoria. (Carga horária: 40h). , Universidade Federal de Alagoas, UFAL, Brasil.
2009 - 2009
Bash Script. (Carga horária: 6h). , Universidade Federal de Alagoas, UFAL, Brasil.
2008 - 2008
JAVA. (Carga horária: 24h). , Universidade Federal de Alagoas, UFAL, Brasil.
2008 - 2008
Python. (Carga horária: 14h). , Universidade Federal de Alagoas, UFAL, Brasil.
Idiomas
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Otimização e Inteligencia Computacional.
Grande área: Engenharias / Área: Engenharia de Produção / Subárea: Pesquisa Operacional.
Grande área: Engenharias / Área: Engenharia de Produção / Subárea: Pesquisa Operacional/Especialidade: Programação Linear, Não-Linear, Mista e Dinâmica.
Participação em eventos
XLVII Simpósio Brasileiro de Pesquisa Operacional.Metaheurística Step Counting Hill Climbing (SCHC) para Resolver o Problema de Alocação de Tripulação de Ônibus Urbano. 2015. (Simpósio).
XV ESCOLA REGIONAL DE COMPUTAÇÃO BAHIA ? ALAGOAS ? SERGIPE.Desenvolvimento de um Sistema Gestor para Unidades de Apoio a Deficientes Visuais: Um Estudo de Caso.. 2015. (Outra).
XLV Simpósio Brasileiro de Pesquisa Operacional.Um modelo exato para resolver o problema da escala de motoristas de ônibus urbano. 2013. (Simpósio).
XXVII ANPET - Congresso de Pesquisa e Ensino em Transportes. Uma abordagem exata para o problema de programação de motoristas de ônibus urbano. 2013. (Congresso).
IV Semana de Estudos da Computação. 2012. (Outra).
27º Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. 2009. (Simpósio).
Debian Festival 4.0. 2009. (Outra).
ERBASE. 2008. (Outra).
Participação em bancas
ZANOTTO, D. B.SOUZA, D. S.FLORENTIN, V. A. F.. M. L. T. de Lisboa, Erick J. da Silva e Hans E. S..SANGU - INCENTIVO À DOAÇÃO DE SANGUE POR MEIO DA INTERAÇÃO SOCIAL. 2015. Trabalho de Conclusão de Curso (Graduação em Análise e Desenvolvimento de Sistemas) - Centro Universitário Mario Pontes Jucá - UMJ.
FERNANDES, R. R.SOUZA, D. S.PAIVA, C. R. F.. , José Osvaldo dos S. e Saulo José dos S..SISTEMA DE CONTROLE DE VENDAS A CREDIÁRIO (CREDIFÁCIL). 2014. Trabalho de Conclusão de Curso (Graduação em Análise e Desenvolvimento de Sistemas) - Centro Universitário Mario Pontes Jucá - UMJ.
FERNANDES, R. R.SOUZA, D. S.PAIVA, C. R. F.. de F., Benedito Correia de F. e Paulo C. B..SISTEMA DE CADASTRO DE SERVIDOR PÚBLICO MUNICIPAL-SISSERV. 2014. Trabalho de Conclusão de Curso (Graduação em Análise e Desenvolvimento de Sistemas) - Centro Universitário Mario Pontes Jucá - UMJ.
PEREIRA, F.FERNANDES, R. R.SOUZA, D. S.. SOFTWARE FREE AQUICULTURE. 2014. Trabalho de Conclusão de Curso (Graduação em Análise e Desenvolvimento de Sistemas) - Centro Universitário Mario Pontes Jucá - UMJ.
PEREIRA, F.FERNANDES, R. R.SOUZA, D. S.. DELEGACIA INTERATIVA DE ALAGOAS. 2014. Trabalho de Conclusão de Curso (Graduação em Análise e Desenvolvimento de Sistemas) - Centro Universitário Mario Pontes Jucá - UMJ.
ZANOTTO, D. B.SOUZA, D. S.SILVA, W. B.. B. NAPOLEÃO,KLEVERSON L. SANTOS, WESELY F. C. LIMA.SISTEMA DE CONTROLE PARA ESCOLA DE LIBRAS (SCEL). 2014. Trabalho de Conclusão de Curso (Graduação em Análise e Desenvolvimento de Sistemas) - Centro Universitário Mario Pontes Jucá - UMJ.
JERÔNIMO, A. P. L.SALES JUNIOR, V. B.SOUZA, D. S.. PONTES E ELYSSON RAPHAEK P. DE LIMA.ACESSIBILIDADE PARA DEFICIENTES VISUAIS ATRAVÉS DO AVA (AMBIENTE VIRTUAL DE APREDIZAGEM - MOODLE). 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Faculdade da Cidade de Maceió.
JERÔNIMO, A. P. L.SALES JUNIOR, V. B.SOUZA, D. S.. ESTUDO SOBRE USO ESTRATÉGICO DE BIG DATA NAS EMPRESAS. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Faculdade da Cidade de Maceió.
SALES JUNIOR, V. B.SOUZA, D. S.MILITO, J. C. C.. MECANISMO DE SEGURANÇA PARA PLATAFORMAS DE COMPUTAÇÃO EM NUVENS. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Faculdade da Cidade de Maceió.
Orientou
GESTÃO DE CHAMADOS PARA PROFISSIONAIS DE SUPORTE PARA A CIDADE DE MURICI-AL: HELP-ME; 2016; Trabalho de Conclusão de Curso; (Graduação em Análise e Desenvolvimento de Sistemas) - Centro Universitário Mario Pontes Jucá - UMJ; Orientador: Danilo Santos Souza;
SISTEMA DE GERENCIAMENTO DE INFORMAÇÃO DA OPERAÇÃO (SGIO); 2015; Trabalho de Conclusão de Curso; (Graduação em Análise e Desenvolvimento de Sistemas) - Centro Universitário Mario Pontes Jucá - UMJ; Orientador: Danilo Santos Souza;
PRONTMÓVEL - DIÁRIO MÉDICO DE BOLSO; 2015; Trabalho de Conclusão de Curso; (Graduação em Análise e Desenvolvimento de Sistemas) - Centro Universitário Mario Pontes Jucá - UMJ; Orientador: Danilo Santos Souza;
SISTEMA DE DADOS COMO FACILITADOR DO PROCESSO DE SELEÇÃO E CONTRATAÇÃO; 2015; Trabalho de Conclusão de Curso; (Graduação em Análise e Desenvolvimento de Sistemas) - Centro Universitário Mario Pontes Jucá - UMJ; Orientador: Danilo Santos Souza;
F; FILHO, LILIANE V; C; AMORIM E MOALDENIR F; D; ; SISTEMA GERENCIADOR DE CURRÍCULOS; 2014; Trabalho de Conclusão de Curso; (Graduação em Análise e Desenvolvimento de Sistemas) - Centro Universitário Mario Pontes Jucá - UMJ; Orientador: Danilo Santos Souza;
DEFICIÊNCIA VISUAL E O PROCESSO DA INCLUSÃO NA ERA DA TECNOLOGIA; 2022; Orientação de outra natureza; (Técnico em Informática) - INSTITUTO FEDERAL DE EDUCACAO, CIENCIA E TECNOLOGI; Orientador: Danilo Santos Souza;
SISTEMA WEB DE GEOLOCALIZAÇÃO DE PONTOS DE COLETA DE RESÍDUOS SÓLIDOS PARA AUXILIAR NO PROCESSO DE RECICLAGEM; 2021; Orientação de outra natureza; (Técnico em Informática) - Instituto Federal da Bahia; Orientador: Danilo Santos Souza;
Um Sistema de Gerenciamento de Salas de Aula e Laboratórios do Instituto Federal da Bahia - Campus Euclides da Cunha; 2019; Orientação de outra natureza; (Técnico em Informática) - Instituto Federal da Bahia; Orientador: Danilo Santos Souza;
Modelagem 3D do campus Euclides da Cunha para auxílio no acesso às pessoas com dificuldades visuais; 2019; Orientação de outra natureza; (Técnico em Informática) - Instituto Federal da Bahia; Orientador: Danilo Santos Souza;
Produções bibliográficas
-
ARAUJO, JANNIELE A.S. ; SANTOS, HAROLDO G. ; GENDRON, BERNARD ; JENA, SANJAY DOMINIK ; BRITO, SAMUEL S. ; SOUZA, DANILO S. . Strong Bounds for Resource Constrained Project Scheduling: Preprocessing and Cutting Planes. COMPUTERS & OPERATIONS RESEARCH , v. 2020, p. 104782, 2019.
-
SOUZA, DANILO S. ; SANTOS, HAROLDO G. ; COELHO, IGOR M. . A Hybrid Heuristic in GPU-CPU Based on Scatter Search for the Generalized Assignment Problem. PROCEDIA COMPUTER SCIENCE , v. 108, p. 1404-1413, 2017.
-
SOUZA, DANILO S. ; SANTOS, HAROLDO G. ; COELHO, IGOR M. ; Araujo, Janniele A. S. . A Hybrid CPU-GPU Scatter Search for Large-Sized Generalized Assignment Problems. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2017, v. , p. 133-147.
-
SOUZA, D. S. ; SANTOS, H. G. ; COELHO, I. M. . Uma heurística híbrida em CPU-GPU baseada no método Scatter Search para resolver o problema de alocação generalizada. In: XLIX SIMPÓSIO BRASILEIRO DE PESQUISA OPERACIONAL, 2017, BLUMENAU-SC. XLIX SBPO, 2017.
-
SOUZA, D. S. ; SANTOS, HAROLDO G. ; COELHO, IGOR M. . A Hybrid Heuristic in GPU-CPU Based on Scatter Search for the Generalized Assignment Problem. In: International Conference on Computational Science, ICCS, 2017, Zurich, Switzerland. International Conference on Computational Science, ICCS 2017, 2017.
-
HONORATO, Noemi. S. ; SANTOS, Y. K. L. ; PEREIRA, F. ; SOUZA, D. S. . Desenvolvimento de um Sistema Gestor para Unidades de Apoio a Deficientes Visuais: Um Estudo de Caso.. In: XV ESCOLA REGIONAL DE COMPUTAÇÃO BAHIA - ALAGOAS - SERGIPE, 2015, Salvador. Cidades Inteligentes, 2015.
-
SOUZA, D. S. ; SILVA, Gustavo Peixoto ; Santos Neto, Baldoino F. . Meta-Heurística Step Counting Hill Climbing (SCHC) para Resolver o Problema de Alocação da Tripulação de Ônibus Urbano. In: XLVII Simpósio Brasileiro de Pesquisa Operacional, 2015, Porto de Galinhas. XLVII Simpósio Brasileiro de Pesquisa Operacional, 2015. v. 1. p. 1-12.
-
SOUZA, D. S. ; SILVA, Gustavo Peixoto . Um modelo exato para resolver o problema da escala de motoristas de ônibus urbano. In: XLV Simpósio Brasileiro de Pesquisa Operacional, 2013, Natal-RN. XLV SBPO, 2013. v. 1. p. 1-12.
-
SOUZA, D. S. ; SILVA, Gustavo Peixoto ; SANTOS, H. G. . Uma abordagem exata para o problema de programação de motoristas de ônibus urbano. In: XXVII ANPET - Congresso de Pesquisa e Ensino em Transportes, 2013, Belém-PA. Anais do XXVII ANPET, 2013.
-
SOUZA, D. S. . Introdução a Programação. 2018. (Curso de curta duração ministrado/Extensão).
-
SOUZA, D. S. . EXCEL AVANÇADO. 2015. (Curso de curta duração ministrado/Extensão).
Projetos de pesquisa
-
2017 - Atual
Programação Inteira e Otimização Combinatória: Novas Abordagens, Descrição: O projeto trata do estudo de formulações e algoritmos para o tratamento de problemas de Otimização Combinatória. Dentre esses problemas estão algumas aplicações de grande importância na indústria e na academia, como o Problema de Escalonamento de Projetos e o Problema de Programação de Horários. Estes problemas são notadamente de difícil tratamento computacional, dado que até o momento somente algoritmos de complexidade exponencial no pior caso estão disponíveis para a resolução dos mesmos. Progressos na resolução desses problemas podem ocorrer em duas frentes: (i) definição de estimativas válidas ou limites para o valor ótimo de soluções e (ii) algoritmos de busca rápidos que permitam a obtenção de soluções factíveis próximas da solução ótima em tempos computacionais reduzidos. O presente projeto trata do desenvolvimento de técnicas mais eficientes considerando ambas as necessidades. Para a definição de limites apertados pretende-se estudar e projetar reformulações de programação inteira para ambos os problemas, bem como o tratamento dessas formulações em algoritmos de ramificação e poda com planos de corte. O projeto de heurísticas rápidas para a obtenção de soluções factíveis em tempos computacionais reduzidos também será trabalhado através de novas abordagens. Nesse sentido, métodos que explorem o poder computacional dos recentes processadores, tanto genéricos quanto os encontrados em placas gráficas, serão desenvolvidos. Para aproveitar o poder de processamento desses dispositivos são necessárias novas abordagens, onde o problema normalmente é decomposto em muitas partes. Desse modo, pretende-se estudar propriedades dos problemas que permitam sua decomposição em muitas partes com sobreposições relativamente pequenas entre essas, de modo a minimizar o custo com comunicação e combinação de soluções parciais.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (4) . , Integrantes: Danilo Santos Souza - Integrante / SANTOS, HAROLDO G. - Coordenador / Samuel Souza Brito - Integrante / Tulio Angelo Machado Toffolo - Integrante / Matheus Guedes Vilas Boas - Integrante / Rafael Antonio Marques Gomes - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Auxílio financeiro.
Histórico profissional
Endereço profissional
-
Instituto Federal da Bahia, IFBA - Campus Feira de Santana. , Rodovia BR 324, km 102.11, S/N, Aviário, 44135000 - Feira de Santana, BA - Brasil, Telefone: (75) 32216475, Ramal: 1824, URL da Homepage:
Experiência profissional
2017 - 2018
Instituto Federal de Educação Ciência e Tecnologia de RondôniaVínculo: Servidor Público, Enquadramento Funcional: Professor Ensino Básico,Técnico e Tecnológico, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
-
08/2018 - 09/2018
Ensino,Disciplinas ministradas, Introdução a Programação
-
02/2018 - 04/2018
Ensino, Análise e Desenvolvimento de Sistemas, Nível: GraduaçãoDisciplinas ministradas, Linguagem de Programação Visual, Qualidade e Teste de Software, Tópicos Especias em Tecnologia I
-
02/2018 - 04/2018
Ensino, Física, Nível: GraduaçãoDisciplinas ministradas, Mídias Educacionais Aplicadas à Física
-
02/2018 - 03/2018
Ensino,Disciplinas ministradas, Segurança da Informação
-
07/2017 - 12/2017
Ensino,Disciplinas ministradas, Manutenção de Periféricos, Programação II, Redes de Computadores II
2015 - 2016
Instituto Federal de AlagoasVínculo: , Enquadramento Funcional: Professor Substituto, Carga horária: 40
Atividades
-
11/2015 - 03/2016
Ensino, Hotelaria, Nível: GraduaçãoDisciplinas ministradas, Sistemas de Informação Gerenciais
-
10/2015 - 03/2016
Ensino,Disciplinas ministradas, INFORMÁTICA
-
10/2015 - 03/2016
Ensino, Gestão de Turismo, Nível: GraduaçãoDisciplinas ministradas, Informática aplicada, Sistemas de Informação Gerenciais
2014 - 2016
Faculdade da Cidade de MaceióVínculo: , Enquadramento Funcional: Professor, Carga horária: 4
Outras informações:
Disciplina: Sistemas Distribuídos, Desenvolvimento de Sistemas Distribuídos;
Curso: Ciência da Computação.
Atividades
-
08/2015
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Desenvolvimento de Sistemas Distribuídos
-
01/2015 - 07/2015
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Sistemas Distribuídos
-
08/2014 - 12/2014
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Desenvolvimento de Sistemas Distribuídos
-
04/2014 - 07/2014
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Sistemas Distribuídos
2014 - 2016
Centro Universitário Mario Pontes Jucá - UMJVínculo: , Enquadramento Funcional: Professor, Carga horária: 10
Outras informações:
Professor do Curso de Análise e Desenvolvimento de Sistemas;
Professor do Curso de Engenharia da Produção;
Atividades
-
08/2015 - 12/2015
Ensino, Engenharia de Produção, Nível: GraduaçãoDisciplinas ministradas, Pesquisa Operacional I
-
08/2014 - 12/2015
Ensino, Análise e Desenvolvimento de Sistemas, Nível: GraduaçãoDisciplinas ministradas, Programação Visual Estruturada, Programação WEB 1, Projeto Integrador 2
-
06/2015 - 08/2015
Ensino,Disciplinas ministradas, Modelagem de Jogos 2, Programação Orientada a Objetos, Projeto Integrador
-
12/2014 - 05/2015
Ensino,Disciplinas ministradas, Banco de Dados, Estrutura de Dados, Programação Orientada a Objetos
-
08/2014 - 11/2014
Ensino,Disciplinas ministradas, Matemática Aplicada, Informática Básica e Lógica de programação, Introdução a Programação, Web Design
-
04/2014 - 07/2014
Ensino,Disciplinas ministradas, Informática Básica e Lógica de programação, Matemática Aplicada
-
02/2014 - 07/2014
Ensino, Engenharia Civil, Nível: GraduaçãoDisciplinas ministradas, Informática
2015 - 2015
Centro Universitário TiradentesVínculo: Professor Visitante, Enquadramento Funcional: Professor, Carga horária: 10
Atividades
-
08/2015 - 08/2015
Ensino, MBA Gestão de Projetos, Nível: EspecializaçãoDisciplinas ministradas, Métodos Quantitativos e Técnicas de Elaboração do Trabalho Científico
2010 - 2012
HOTMACHINE COMÉRCIO E SERVIÇOS DE INFORMATICA LTDAVínculo: Celetista formal, Enquadramento Funcional: Técnico de Informática, Carga horária: 40
2009 - 2010
Empresa Brasileira de Correios e TelégrafosVínculo: Estágiario, Enquadramento Funcional: Estágiario, Carga horária: 20
Atividades
-
11/2009 - 11/2010
Estágios , GETEC.Estágio realizado, Ciência da Computação.
2016 - Atual
Universidade Federal de Ouro PretoVínculo: Bolsista, Enquadramento Funcional: Doutorando, Carga horária: 40, Regime: Dedicação exclusiva.
2012 - 2014
Universidade Federal de Ouro PretoVínculo: Pesquisador, Enquadramento Funcional: Mestrando, Regime: Dedicação exclusiva.
Atividades
-
03/2012 - 07/2014
Pesquisa e desenvolvimento, Instituto de Ciências Exatas e Biológicas, Departamento de Computação.Linhas de pesquisa
2010 - 2010
Universidade Federal de AlagoasVínculo: Monitor, Enquadramento Funcional: Monitor de Programação 1
Outras informações:
Monitor de Programação 1. Orientador: Rodrigo de Barros Paes. Carga Horária Total:384 horas
2008 - 2008
Universidade Federal de AlagoasVínculo: Monitor, Enquadramento Funcional: Monitor de Programação 1
Outras informações:
Monitor de Programação 1. Carga Horária Total:524 horas
2008 - 2008
Universidade Estadual de Ciencias da Saúde de AlagoasVínculo: Monitor, Enquadramento Funcional: Monitor de Álgebra Linear
Outras informações:
Monitor de Álgebra Linear. Carga Horária Total: 100 horas
2024 - Atual
Instituto Federal da BahiaVínculo: Servidor Público, Enquadramento Funcional: Chefe de Departamento de Ensino Superior, Carga horária: 40, Regime: Dedicação exclusiva.
2018 - Atual
Instituto Federal da BahiaVínculo: Servidor Público, Enquadramento Funcional: Professor EBTT, Carga horária: 40, Regime: Dedicação exclusiva.
2022 - 2023
Instituto Federal da BahiaVínculo: Servidor Público, Enquadramento Funcional: Diretor de Administração e Planejamento, Carga horária: 24
2020 - 2021
Instituto Federal da BahiaVínculo: Servidor Público, Enquadramento Funcional: Diretor de Ensino, Carga horária: 24
Atividades
-
04/2020
Conselhos, Comissões e Consultoria, Instituto Federal de Educação, Ciência e Tecnologia da Bahia.Cargo ou função, Comissão Permanente de Pessoal Docente.
-
04/2019
Ensino,Disciplinas ministradas, Algoritmo e Lógica de Programação, Estrutura de Dados
-
10/2018 - 04/2019
Ensino,Disciplinas ministradas, Análise e Projetos de Sistemas, Desenvolvimento Web 1, Estrutura de Dados, Sistemas Operacionais
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Danilo Santos Souza e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?