Skip navigation
Home
Browse
Communities
& Collections
Pesquisar Itens por:
Issue Date
Author
Title
Subject
Documentos de Interesse
Termo de Autorizacao para Publicacao Eletronica
Termo de Deposito Embargado - Teses e Dissertacoes
Termo de Deposito Embargado - TCCs/Relatorio de Estagio
Rotulo do DVD
Capa do DVD
Resolucao 01/2017 - Criacao da BDTD da UFCG
Resolucao 02/2017 - Deposito de Teses e Dissertacoes
Fale Conosco
bdtd@ufcg.edu.br
Help
Sign on to:
My DSpace
Receive email
updates
Edit Profile
Biblioteca Digital de Teses e Dissertações da UFCG
Campus Campina Grande | Centro de Engenharia Elétrica e Informática - CEEI
PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA
Mestrado em Engenharia Elétrica.
Search
Search:
All of DSpace
Campus Campina Grande | Centro de Engenharia Elétrica e Informática - CEEI
PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA
Mestrado em Engenharia Elétrica.
for
Current filters:
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-8 of 8 (Search time: 0.016 seconds).
previous
1
next
Item hits:
Issue Date
Title
Author(s)
31-Oct-2014
Modelagem do sistema de proteção e controle de uma usina hidroelétrica para diagnóstico de falta.
CAETANO, Marcos Antônio dos Santos.
15-Dec-2005
Modelagem e controle de um sistema de dessalinização por osmose inversa utilizando redes de petri.
RODRIGUES NETO, Félix.
Dec-1997
Uma ferramenta interativa baseada em redes de petri para modelagem, simulação e análise de sistemas complexos.
LIMA, Itamar de Souza.
10-May-1999
Síntese de supervisores através de verificação de modelo.
BASTOS, Wellington de Araújo.
16-Aug-1999
Uma abordagem para a síntese de supervisores de sistemas a eventos discretos a partir de modelo temporizado.
SILVA, Vanderley Pereira da.
Nov-2000
Verificação de receitas em sistemas de produção em lotes.
DIAS, Michel Coura.
Aug-2001
Aplicação de um modelo de navegação de IHM ao contexto de sistemas industriais.
SCAICO, Alexandre.
Aug-2001
Análise de controle de concorrência e escalonamento de transações em bancos de dados em tempo-real usando redes de petri.
RIBEIRO NETO, Pedro Fernandes.
Discover
Author
1
BASTOS, Wellington de Araújo.
1
CAETANO, Marcos Antônio dos Santos.
1
DIAS, Michel Coura.
1
LIMA, Itamar de Souza.
1
RIBEIRO NETO, Pedro Fernandes.
1
RODRIGUES NETO, Félix.
1
SCAICO, Alexandre.
1
SILVA, Vanderley Pereira da.
Subject
7
Petri Nets
4
Engenharia Elétrica
3
Engenharia elétrica
1
Algoritmo de verificação de modelos
1
Ambientes industriais
1
Ambientes industriales
1
Artificial Intelligence
1
Automation
1
Automation - Supervision
1
Automatización
.
next >
Date issued
1
2010 - 2014
4
2000 - 2009
3
1997 - 1999