Berilhes Borges Garcia

Possui graduação em Engenharia Mecanica pela Universidade Federal do Espírito Santo(1989), mestrado em Engenharia Elétrica pela Universidade Estadual de Campinas(1992) e doutorado em Informática pela Universidade Nova de Lisboa(2002). Atualmente é Professor Adjunto da Universidade Federal do Espírito Santo. Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Computação. Atuando principalmente nos seguintes temas:Inteligência Artificial, Representação do Conhecimento, Raciocínio Não-monotônico, Programação em Lógica, Lógicas Condicionais.

Informações coletadas do Lattes em 29/10/2022

Acadêmico

Formação acadêmica

Doutorado em Informática

1995 - 2002

Universidade Nova de Lisboa
Título: Raciocinando com Medidas de Plausibilidade
Orientador: José Gabriel Pereira Lopes
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico. Palavras-chave: Inteligência Artificial; Representação do Conhecimento; Raciocínio Não-monotônico; Programação em Lógica; Lógicas Condicionais.Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação / Especialidade: Matemática Simbólica. Setores de atividade: Informática.

Mestrado em Engenharia Elétrica

1990 - 1992

Universidade Estadual de Campinas
Aniton Salles Garcia.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Palavras-chave: Otimização; Programação Inteira; Alocação de Facilidades; Telefonia; Programação Linear.Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada / Especialidade: Matemática Discreta e Combinatória. Setores de atividade: Fabricação de Aparelhos e Equipamentos de Telecomunicação.

Graduação em Engenharia Mecanica

1983 - 1989

Universidade Federal do Espírito Santo

Idiomas

Bandeira representando o idioma Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Bandeira representando o idioma Espanhol

Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Análise de Algoritmos e Complexidade de Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação/Especialidade: Representação do Conhecimento.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Algoritmos de Aproximação.

Grande área: Engenharias / Área: Engenharia de Produção / Subárea: Pesquisa Operacional/Especialidade: Processos Estocásticos e Teoria das Filas.

Orientou

Pedro Marques da Luz

Identificaçâo de Elementos Regulatórios em Sequências de DNA; Início: 2010; Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo; (Orientador);

Samuel Meira Brasil Júnior

A Mathematical Framework for Legal Reasoning; 2004; Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo,; Orientador: Berilhes Borges Garcia;

Produções bibliográficas

  • Eduardo Zambon ; Débora Z. Bossois ; GARCIA, B. B. ; AZEREDO, E. F. . A Novel Nonlinear Programming Model for Distribution Protection Optimization. IEEE Transactions on Power Delivery , v. 24, p. 1951-1958, 2010.

  • GARCIA, B. B. . New Tractable Classes for Default Reasoning from Conditional Knowledge Bases. Annals of Mathematics and Artificial Intelligence , v. 45, n.3-4, p. 275-291, 2005.

  • GARCIA, B. B. ; BRASIL JUNIOR, S. M. . Towards Default Reasoning through MAX-SAT. Lecture Notes in Computer Science , Heilderberg, Germany, v. 2507, p. 52-62, 2002.

  • GARCIA, B. B. ; LOPES, G. P. ; VAREJÃO, F. . Compiling Default Theory into Extended Logic Programming. Lecture Notes in Computer Science , v. 1952, p. 207-216, 2000.

  • GARCIA, B. B. ; LOPES, G. P. ; QUARESMA, P. . Modelling Credulity and Skepticism through Plausibility Measures. Lecture Notes in Computer Science , v. 1515, p. 171-180, 1998.

  • BRASIL JUNIOR, S. M. ; GARCIA, B. B. . Modelling Legal Reasoning in a Mathematical Environment through Model Theoretic Semantics. In: ICAIL 2003 - International Conference onArtificial Intelligence and Law, 2003, Edinburgo. ICAIL 2003 - International Conference onArtificial Intelligence and Law, 2003.

  • Eduardo Zambon ; Débora Z. Bossois ; GARCIA, B. B. ; AZEREDO, E. F. . A Novel Nonlinear Programming Model for Distribution Protection Optimization. IEEE Transactions on Power Delivery , 2008.

Outras produções

GARCIA, B. B. . EVOL - Um Sistema para a Evolução de Nós de Comutação. 1991.

Projetos de pesquisa

  • 2005 - 2007

    Apoio Computacional para o Posicionamento de Dispositivos de Proteção, Descrição: A meta fundamental de uma empresa distribuidora de energia elétrica deve ser servir seus consumidores com uma energia confiável e de baixo custo. Tradicionalmente, os níveis aceitáveis de confiabilidade tem sido determinados pela Agência Nacional de Energia Elétrica (ANEEL). Contudo, pressões competitivas têm forçado as empresas distribuidoras a tentar melhorar a confiabilidade do sistema e ao mesmo tempo reduzir custos. Neste contexto, um bom projeto de proteção desempenha um papel crucial, uma vez que permitirá que uma anomalia seja isolada ou removida, sem que outras partes do sistema sejam afetadas. Note que o princípio básico da proteção é a técnica de localizar, selecionar e coordenar os vários equipamentos e dispositivos de proteção de um sistema elétrico. Em um projeto anterior abordou-se o problema de coordenação dos dispositivos de proteção. No entanto, antes que nós possamos coordenar os dispositivos de proteção é necessário decidir onde instalá-los e, também, selecionar o tipo de equipamento que será instalado. Observe que estes problemas estão fortemente interligados, de modo que a decisão de onde localizar um equipamento de proteção terá um impacto direto no tipo de equipamento que será instalado e vice-versa. O problema de localização e definição do tipo dos equipamentos de proteção é, via de regra, bastante complexo, levando facilmente a uma explosão combinatorial do espaço de soluções possíveis. A despeito desta complexidade muito pouco suporte computacional tem sido dado ao engenheiro encarregado de definir o tipo e localização dos dispositivos de proteção da rede de distribuição. De modo que ferramentas computacionais que permitam avaliar a qualidade das soluções e ao mesmo tempo automatizem parcialmente o processo de decisão teriam um impacto direto na qualidade dos projetos de proteção.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Berilhes Borges Garcia - Coordenador / Flávio Varejão - Integrante / Sérgio Antônio Andrade de Freitas - Integrante., Financiador(es): Agência Nacional de Energia Elétrica - Auxílio financeiro.

  • 2004 - 2005

    Apoio Computacional Interativo para o Cálculo de Ajustes e Coordenação de Proteção no Sistema e nas Subestações de Distribuição., Descrição: As crescentes exigências quanto a qualidade dos serviços oferecidos e preços praticados, bem como a necessidade de adequar custos internos para garantir competitividade, tem levado as empresas do setor elétrico a priorizar investimentos na automação de processos que garantam uma melhor performance de suas redes. Neste contexto, a coordenação ótima entre os dispositivos de proteção constitui um elemento fundamental para consecução das metas operacionais, pois sistemas de proteção com ajustes calculados de forma incorreta promovem desligamentos indevidos e contribuem para o aumento dos índices de DEC, FEC e TMA. O problema do cálculo dos parâmetros dos dispositivos de proteção, em especial o que será tratado neste projeto - os religadores -, não é trivial. A configuração de um religador depende dos paramêtros estabelecidos nos outros religadores da rede, criando assim uma malha de interdependência. Por esta razão, a obtenção de um valores ótimos para uma atuação coordenada dos religadores implica num estudo sobre a propagação da configuração na rede. Por outro lado, uma descordenação dos dispositivos de proteção podem levar ao desligamento em castata da rede. Assim, garantir a perfeita coordenação dos dispositivos de proteção distribuídos ao longo da rede constitui uma tarefa essencial para o bom desempenho da mesma. Pois, uma correta coordenação dos dispositivos de proteção resulta em um mínimo tempo de eliminação de falta, bem como na restrição da área atingida pelo defeito, resultando em salvaguarda para os equipamentos instalados na rede e para as pessoas que trabalham e utilizam a energia elétrica no seu cotidiano.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Berilhes Borges Garcia - Coordenador., Financiador(es): Agência Nacional de Energia Elétrica - Auxílio financeiro.

Histórico profissional

Endereço profissional

  • Universidade Federal do Espírito Santo, Centro Tecnológico, Departamento de Informática. , Av. Fernando Ferrrari, Campus Universitário, Goiabeiras, 29100-041 - Vitoria, ES - Brasil, Telefone: (27) 3352126, URL da Homepage:

Experiência profissional

1992 - 2002

Universidade Federal do Espírito Santo

Vínculo: Servidor Público, Enquadramento Funcional: Professor Assistente, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

  • 04/2002

    Direção e administração, Centro Tecnológico, Departamento de Informática.,Cargo ou função, Coordenador de Curso.

  • 03/2002

    Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, Representação do Conhecimento, Algoritmos de Aproximação, Algoritmos de Propagação de Crenças, Lógicas Condicionais

  • 08/1992

    Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Análise de Algoritmos, Complexidade Computacional, Linguagens de Programação, Técnicas de Busca e Ordenação

  • 08/1992

    Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Teoria das Filas Aplicada à Computação, Estruturas de Arquivo, Linguagem de Programação I

  • 04/1992

    Pesquisa e desenvolvimento , Centro Tecnológico, Departamento de Informática.,Linhas de pesquisa