Evangivaldo Almeida Lima

  • Endereço para acessar este CV: http://lattes.cnpq.br/3664768000863560
  • Última atualização do currículo em 03/08/2015


Graduação em Engenharia Elétrica pela Universidade Federal da Bahia (1989), mestrado em Engenharia Elétrica pela Universidade Federal da Bahia (2002) e Doutorado em Engenharia Elétrica e Informática Industrial pela Universidade Tecnológica Federal do Paraná (2007). Tem experiência na área de Engenharia Elétrica, com ênfase em Automação Eletrônica de Processos Elétricos e Industriais, atuando principalmente nos seguintes temas:automação industrial, sistemas de potencia, automação de sistemas a eventos discretos. (Texto informado pelo autor)


Identificação


Nome
Evangivaldo Almeida Lima
Nome em citações bibliográficas
LIMA, E. A.;Lima, Evangivaldo A.

Endereço


Endereço Profissional
Universidade do Estado da Bahia, Departamento de Ciências Exatas e da Terra.
Rua Silveira Martins S/N
Cabula
41100-000 - Salvador, BA - Brasil
Telefone: (71) 31172312
URL da Homepage: www.uneb.br


Formação acadêmica/titulação


2003 - 2007
Doutorado em Engenharia Elétrica e Informática Industrial.
Universidade Tecnológica Federal do Paraná, UTFPR, Brasil.
Título: Analise e Aplicações em Redes de Petri Temporais: Ima Abordagem via Álgebra Intervalar, Ano de obtenção: 2007.
Orientador: Luis Allan Künzle.
Palavras-chave: time petri nes, analysis of time petri nets, reach; redes de petri temporais; matematica intervalar; interval analysis of time petri nets.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação / Especialidade: Modelos Analíticos e de Simulação.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Linguagem Formais e Autômatos.
1999 - 2002
Mestrado.
Universidade Federal da Bahia, UFBA, Brasil.
Título: Uma Contribuicao ao Estudo e ao Projeto de Controle Supervisorio de Sistemas a Eventos Discretos Baseado em Invariantes de Lugar de Redes de Petri,Ano de Obtenção: 2002.
Orientador: Carlos Eduardo Trabuco Dorea.
Palavras-chave: Controle Supervisorio; Controle de Sistemas a Eventos Discretos; Invariantes de Lugar; Sistemas a Eventos Discretos; Supervisao com Redes de Petri.
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Eletrônica Industrial, Sistemas e Controles Eletrônicos / Especialidade: Automação Eletrônica de Processos Elétricos e Industriais.
Setores de atividade: Educação Superior.
1996 - 1996
Especialização em Especialização em Proteção de Subestações de Alta. (Carga Horária: 320h).
The Lamb ton College of Applied Arts and Technology,.
Título: Digital Protection Applied.
1984 - 1989
Graduação.
Universidade Federal da Bahia, UFBA, Brasil.





Linhas de pesquisa


1.
Modelagem, Análise e Controle de Sistemas a Eventos Discretos Usando Redes de Petri Temporais


Projetos de pesquisa


2011 - 2012
Modelagem de uma Planta Industrial Didática. Usando Redes de Petri Coloridas
Descrição: Neste projeto é apresentada uma proposta de pesquisa que visa desenvolver uma a modelagem, análise e controle de uma planta industrial didática, que é um tipo sistemas a eventos discretos, usando as redes de Petri coloridas como ferramenta formal. Usando recursos de programação orientada a objeto, álgebra linear, programação linear inteira e redes de Petri Coloridas, pretende-se desenvolver uma metodologia para modelagem, análise e controle da planta. A planta representa uma pequena unidade industrial automatizada e é composta de uma unidade de transporte de peças, uma unidade robótica, uma unidade de operação nas peças e uma unidade de inspeção. Usando redes de Petri coloridas como ferramenta formal, pretende-se desenvolver uma metodologia para especificar controladores que servirão de elementos responsáveis pela automatização da planta..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Doutorado: (1) .
Integrantes: Evangivaldo Almeida Lima - Coordenador / Renan Gomes Barcelos - Integrante.Financiador(es): Universidade do Estado da Bahia - Bolsa.
2011 - 2012
Programação em Controlador Lógico Programável (CLP), para controle de uma planta industrial didática
Descrição: Neste projeto é apresentada uma proposta de pesquisa que visa projetar um programa de controle para uma planta industrial didática e implementá-lo usando um controlador lógico programável, utilizando Ladder como linguagem para a implementação bem como a modelagem feita em Rede de Petri..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Doutorado: (1) .
Integrantes: Evangivaldo Almeida Lima - Coordenador / Jéssica Teixeira Nogueira de Jesus - Integrante.
2007 - Atual
Modelagem, Análise e Controle de Sistemas a Eventos Discretos Usando Redes de Petri Temporais
Descrição: Neste projeto é apresentada uma proposta de pesquisa que visa desenvolver metodologias para análise e controle de sistemas a eventos discretos usando as redes de Petri temporais como ferramenta para modelagem do sistema e das especificações. Usando recursos de álgebra linear, programação linear inteira e álgebra intervalar pretendemos desenvolver métodos de análises temporal, técnicas de redução de redes temporais e algoritmos para síntese de controle de sistemas a eventos discretos temporizados e que atendam aos requisitos da teoria de controle supervisório. .
Situação: Em andamento; Natureza: Pesquisa.
2007 - Atual
Projeto e Análise de Controle Supervisório de Sistemas a Eventos Discretos Usando Redes de Petri Temporais
Descrição: : Neste projeto é apresentada uma proposta de pesquisa que visa desenvolver uma metodologia para análise e controle de sistemas a eventos discretos usando as redes de Petri temporais como ferramenta para modelagem do sistema e das especificações. Usando recursos de álgebra linear, programação linear inteira e álgebra intervalar pretendemos desenvolver algoritmos para síntese de controle de sistemas a eventos discretos temporizados e que atendam aos requisitos da teoria de controle supervisório..
Situação: Em andamento; Natureza: Pesquisa.


Projetos de desenvolvimento


2011 - Atual
Diagnóstico de Falhas em Sistemas de Potencia Usando Redes de Petri
Descrição: Desenvolver técnicas de detcção e identificação de falhas em sistemas elétricos de potencia modelados com redes de Petri..
Situação: Em andamento; Natureza: Desenvolvimento.
2008 - 2011
Uma Ferramenta Computacional para Modelagem, Análise e Controle de Sistemas a Eventos Discretos Usando Redes de Petri Temporais
Descrição: Os sistemas a eventos discretos são sistemas dinâmicos cujas características não permitem que sejam modelados por ferramentas tradicionais, tais como equações diferenciais. Neste projeto é apresentada uma proposta de pesquisa que visa desenvolver uma ferramenta computacional para modelagem, análise e controle de sistemas a eventos discretos usando as redes de Petri. Usando recursos de programação orientada a objeto, álgebra linear, programação linear inteira e álgebra intervalar pretende-se desenvolver um software que permita simular a dinâmica dos sistemas modelados, extrair informações temporais, aplicar técnicas de redução de redes temporais e algoritmos para síntese que atendam aos requisitos da teoria de controle supervisório. Neste projeto estão envolvidos um professor pesquisador e dois alunos de iniciação científica. .
Situação: Em andamento; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (2) .
Integrantes: Evangivaldo Almeida Lima - Coordenador / Paulo James Oliveira - Integrante.


Áreas de atuação


1.
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Eletrônica Industrial, Sistemas e Controles Eletrônicos/Especialidade: Automação Eletrônica de Processos Elétricos e Industriais.
2.
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Eletrônica Industrial, Sistemas e Controles Eletrônicos/Especialidade: Teoria de Controle Supervisório de Sistemas a Eventos Discretos.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Computabilidade e Modelos de Computação.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês
Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Espanhol
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.


Produções



Produção bibliográfica
Citações

SCOPUS

Artigos completos publicados em periódicos

1.
LIMA, E. A.;Lima, Evangivaldo A.2008LIMA, E. A.; Lüders, Ricardo ; Künzle, Luis Allan . Uma abordagem intervalar para a caracterização de intervalos de disparo em redes de Petri temporais. SBA. Sociedade Brasileira de Automática, v. 19, p. 379, 2008.

2.
LIMA, E. A.;Lima, Evangivaldo A.2002LIMA, E. A.; DOREA, C. E. T. . Controle Supervisório de Sistemas a Eventos Discretos com Aplicação e Sistemas de Manufatura. Revista C & I. Controle & Instrumentação, v. 62, p. 82-91, 2002.

Trabalhos completos publicados em anais de congressos
1.
Bolzanni, A. ; LIMA, E. A. . Modelagem, Análise e Implementacao em CLP de SEDs Utilizando Redes de Petri. In: Escola Regional de Computação Bahia, Alagoas e Sergipe (ERBASE), 2013, ARACAJU. A Escola Regional de Computação Bahia, Alagoas e Sergipe (ERBASE), 2013.

2.
Bolzanni, A. ; LIMA, E. A. . APROXIMAÇÕES INTERVALARES PARA ESTIMAÇÃO DE TEMPOS EM REDES DE PETRI TEMPORAIS. In: XI SIMPOIO BRASILEIRO DE AUTOMAÇÃO INTELIGENTE - XI SBAI, 2013, FORTALEZA. XI SIMPOIO BRASILEIRO DE AUTOMAÇÃO INTELIGENTE - XI SBAI, 2013.

3.
BARCELOS, R. G. ; LIMA, E. A. . MODELAGEM, ANÁLISE E CONTROLE DE UMA PLANTA INDUSTRIAL DIDÁTICA USANDO REDES DE PETRI. In: XVI JORNADA CIENTIFICA DA UNEB, 2012, SALVADOR. XVI JORNADA CIENTIFICA DA UNEB, 2012.

4.
JESUS, J. T. N. ; LIMA, E. A. . XVI JORNADA DE INICIAÇÃO CIENTÍFICA. In: JORNADA DE INICIAÇÃO CIENTÍFICA, 2012, SALVADOR. XVI JORNADA DE INICIAÇÃO CIENTÍFICA, 2012.

5.
LIMA, E. A.; Luders, R. ; KUNZLE, L. A. . Uma Abordagem Unificada para Geração de Grafos de Classes de Estados em Redes de Petri Temporais. In: VIII SBAI - Simpósio Brasileiro de Automação Inteligente, 2007, Florianópolis. VIII SBAI - Simpósio Brasileiro de Automação Inteligente, 2007.

6.
Nacib Mattar Júnior ; KUNZLE, L. A. ; Fabiano Silva ; Marcos Castilho ; LIMA, E. A. . Análise da Duração de Seqüências de Disparos de Transições em Redes de Petri Temporais. In: SBAI - Simpósio Brasileiro de Automação Inteligente, 2007, Florianópolis. VIII SBAI - Simpósio Brasileiro de Automação Inteligente, 2007.

7.
LIMA, E. A.; Luders, R. ; KUNZLE, L. A. . Análise de Redes de Petri Temporais Usando Álgebra Intervalar. In: XVI Congresso Brasileiro de Automática, 2006, Salvador. XVI Congresso Brasileiro de Automática, 2006.

8.
LIMA, E. A.; Luders, R. ; KUNZLE, L. A. . Interval Analysis of Time Petri Nets. In: 4th CESA Multiconference 4th CESA Multiconference on, 2006, Beijing. 4th CESA Multiconference 4th CESA Multiconference on, 2006.

9.
KUNZLE, E. ; LIMA, E. A. ; KUNZLE, L. A. . Global Time Petri Net Analiser. In: 2nd International Conference on the Quantitative Evalution of Systems, 2005, Torino. The International Conference on Modeling Techniques and Tools for Computer Performance Evaluation, 2005.

10.
LIMA, E. A.; Luders, R. ; KUNZLE, L. A. . Análise de Redes de Petri Temporais Usando Tempo Global. In: VII Congresso Brasileiro de Automação Inteligente, 2005, São Luis. VII Congresso Brasileiro de Automação Inteligente, 2005.

11.
SCHASTAI, V. ; LIMA, E. A. ; KUNZLE, L. A. . Sequence analysis for time Petri nets. In: 7th Workshop on Discrete Event Systems, 2004, Reims. 7th Workshop on Discrete Event Systems, 2004.

12.
LIMA, E. A.; DOREA, C. E. T. . An Algorithm for Supervisory Control of Discrete Event Systems via Place Invariants. In: International Federation of Automatic Control - IFAC, 2002, Barcelona. IFAC 2002, 2002.

13.
LIMA, E. A.; DOREA, C. E. T. . Um Algoritmo para Controle Supervisorio de Sistemas a Eventos Discretos via Invariantes de Lugar. In: Simposio Brasileiro de Automacao Inteligente, 2001, Canela. Um Algoritmo para Controle Supervisorio de Sistemas a Eventos Discretos via Invariantes de Lugar, 2001.

14.
LIMA, E. A.; DOREA, C. E. T. . Controle de Sistemas a Eventos Discretos com Aplicações em Sistemas de Manufatura. In: II Seminário Nacional de Controle e Automação, 2001, Salvador. Revista Instrumentação e Controle, 2001.

Apresentações de Trabalho
1.
LIMA, E. A.; Bolzanni, A. ; OLIVEIRA, P. J. . APROXIMAÇÕES INTERVALARES PARA ESTIMAÇÃO DE TEMPOS EM REDES DE PETRI TEMPORAIS. 2013. (Apresentação de Trabalho/Simpósio).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
Fabiano Silva; KUNZLE, L. A.; Lima, Evangivaldo A.. Participação em banca de Nassib Mattar Junior. REDES DE PETRI TEMPORAIS: MÉTODO DE ANÁLISE BASEADO EM TEMPO GLOBAL. 2008. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Teses de doutorado
1.
LIMA, E. A.. Participação em banca de Letícia Mara Peres. Proposta de um Método de Verificação por Tempo Global com Redes de Petri no Desenvolvimemento de Software Embarcado e em Tempo Real. 2010. Tese (Doutorado em Informática) - Universidade Federal do Paraná.



Participação em bancas de comissões julgadoras
Concurso público
1.
Lima, Evangivaldo A.. Concurso para Professor de Eletrotécnica e Eletroeletrônica. 2008. Instituto Federal da Bahia.

2.
LIMA, E. A.; PLACIDO, A. L.; ABREU, E.. Concurso público para seleção de professor assistente. 2001. Universidade do Estado da Bahia.

3.
LIMA, E. A.; ABREU, E.; PLACIDO, A. L.. Concurso público para professor assistente. 1994. Universidade do Estado da Bahia.

4.
LIMA, E. A.; PLACIDO, A. L.; ABREU, E.. Concurso público para seleção de professor assistente. 1994. Universidade do Estado da Bahia.

Outras participações
1.
LIMA, E. A.; Souza E. R.; Teixeira L. S. G.. Comissão de Avaliação de Desempenho Acadêmico. 2009. Universidade do Estado da Bahia.

2.
Delgado, J. P. M.; Fonseca, A. A. M; Almeida, A. L.; Prado, E. P.; Oliva, A.; LIMA, E. A.. Comissão para Elaboração do Programa de Pós-Graduação Interdisciplinar do DCET I. 2009. Universidade do Estado da Bahia.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
XVI Congresso Brasileiro de Automática. Análise de Redes de Petri Temporais Usando Álgebra Intervalar. 2006. (Congresso).

2.
VII Simpósio Brasileiro de Automação Inteligente.Análise de Redes de Petri Temporais Usando Tempo Global. 2005. (Simpósio).

3.
II Seminário Nacional de Controle e Automação. Controle de Sistemas a Eventos Discretos com Aplicações em Sistemas de Manufatura. 2001. (Congresso).

4.
Simpósio Brasileiro de Automação Inteligente.Um Algoritmo para Controle Supervisório ded Sistemas a Eventos Discretos via Invariantes de Lugar. 2001. (Simpósio).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Rowan da Silva Dias. Proteção de Sistemas de Potencia. Início: 2011. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal da Bahia. (Orientador).

2.
José Tadeu Sá Santana. Diagnóstico de Falhas em Sistemas de Potencia Usando Invariantes de Lugar de REdes de Petri. Início: 2010. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal da Bahia. (Orientador).

Iniciação científica
1.
RENAN GOMES BARCELOS. MODELAGEM, ANÁLISE E CONTROLE DE UMA PLANTA INDUSTRIAL DIDÁTICA USANDO REDES DE PETRI COLORIDAS. Início: 2011. Iniciação científica (Graduando em Sistemas de Informação) - Universidade do Estado da Bahia, Universidade do Estado da Bahia. (Orientador).

2.
Àrtus Bolzanni. Desenvolvimento de uma Ferramenta Computacional para Modelagem e Simulação de Sistemas a Eventos Discretos. Início: 2008. Iniciação científica (Graduando em Sistema de Informação) - Universidade do Estado da Bahia, Universidade do Estado da Bahia. (Orientador).


Orientações e supervisões concluídas
Trabalho de conclusão de curso de graduação
1.
DIEGO HENRIQUE SOUZA SILVA. MÉTODO DE CONVERSÃO DE REDES DE PETRI INTERPRETADAS PARA LINGUAGEM DE ALTO NÍVEL IMPLEMENTADO POR CLP. 2013. Trabalho de Conclusão de Curso. (Graduação em Sistema de Informação) - Universidade do Estado da Bahia. Orientador: Evangivaldo Almeida Lima.

2.
Artus Bolzanni. Modelagem, Análise e Implementação em CLP de SEDs Utilizando Redes de Petri. 2012. Trabalho de Conclusão de Curso. (Graduação em Sistema de Informação) - Universidade do Estado da Bahia. Orientador: Evangivaldo Almeida Lima.

3.
Rowan da Silva Dias. Efeitos do Desequilíbrio de Tensão em Motores de Indição Trifásicos. 2009. Trabalho de Conclusão de Curso. (Graduação em Engenharia Elétrica) - Instituto Mantenedor de Ensino Superior da Bahia. Orientador: Evangivaldo Almeida Lima.

Iniciação científica
1.
Artus Bolzanni. Uma Ferramenta Computacional para Modelagem, Análise e Controle de Sistemas a Eventos Discretos Usando Redes de Petri Temporais. 2008. Iniciação Científica. (Graduando em Sistema de Informação) - Universidade do Estado da Bahia, Universidade do Estado da Bahia. Orientador: Evangivaldo Almeida Lima.



Inovação



Projetos de pesquisa


Outras informações relevantes


OBS: Os dados abaixo foram importados do Sistema CNCT.

EXPERIÊNCIA PROFISSIONAL



TÉCNICA
Engenheiro Eletricista de empresa de projeto, montagem e manutenção elétrica industrial

DOCENTE
Professor de Universidade do Estado da Bahia

ATIVIDADES ESPECIALIZADAS
Especializado em Automação de Sistemas Elétricos de Alta Tensão
Especializado em Planejamento do Ensino Superior



Página gerada pelo Sistema Currículo Lattes em 17/01/2019 às 5:46:38