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.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
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
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);
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 SantoVí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
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Berilhes Borges Garcia 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?