ABCM - Associação Brasileira de Engenharia e Ciências Mecânicas


Em desenvolvimento

ABCM Symposium Series in Mechatronics

Vol. 3


Section III - INDUSTRIAL INFORMATICS AND DISCRETE SYSTEMS

III.01:   VERIFICATION AND VALIDATION OF AN ANALYSIS MODEL OF CANBASED NETWORKED CONTROL SYSTEMS
Eduardo Paciência Godoy, Rafael Vieira de Sousa, Arthur José Vieira Porto, Ricardo Yassushi Inamasu
  pp.386-394

III.02:   RELIABILITY ANALYSIS OF ELECTRONIC EQUIPAMENT BASED ON WARRANTY FAILURE DATABASE
Danielli Villar Lemes, Érico Pessoa Felix, Gilberto Francisco Martha de Souza
  pp.395-404

III.03:   FLEXIBLE MANUFACTURING SYSTEMS MODELLING USING HIGH LEVEL PETRI NETS
Alexandre da Silva Ribeiro, Eduard Montgomery Meira Costa, Eduardo José Lima II
  pp.405-413

III.04:   ANALYSIS OF CUSTOMIZED AND COMMERCIAL SOLUTIONS FOR REMOTE MONITORING OF MANUFACTURING PROCESS
Carlos Eduardo Oliveira da Silva, Emil Yoshigae Nakao, Pedro Paulo Gomes D. de O. Santos, Tiago Pinto de Souza, Emília Villani
  pp.414-423

III.05:   FAULT DIAGNOSIS IN FUEL CELLS BASED ON BAYESIAN NETWORKS
Roy Andres Gomez Morales, Luis Alberto Riascos, Paulo Eigi Miyagi
  pp.424-433

III.06:   INTEGRATED TOOLS ENVIRONMENT FOR MODELING AND ANALYSIS OF AUTOMATED PLANNING SYSTEMS
Tiago Stegun Vaquero, Fernando Sette, Eston Almança dos Santos, José Reinaldo Silva
  pp.434-443

III.07:   MODELING AND ANALYSING OF THE MATERIAL ENTRY FLOW SYSTEM IN A PICKLING LINE PROCESS USING PETRI NET
Marília Gabriela Viana Nassar, José Isidro Garcia Melo, Paulo E. Miyagi, Diolino dos Santos Filho
  pp.444-453

III.08:   RESOURCES ALLOCATION CONTROL IN FLEXIBLE MANUFACTURING SYSTEMS USING THE DEADLOCK AVOIDANCE METHOD
Francisco Yastami Nakamoto, Paulo Eigi Miyagi, Diolino José dos Santos Filho
  pp.454-460

III.09:   SIMULATION AND FORMAL VERIFICATION OF INDUSTRIAL SYSTEMS CONTROLLERS
José Mendes Machado, Eurico Augusto Rodrigues Seabra, José Creissac Campos, Filomena Soares, Celina Pinto Leão, Jaime Carlos L. Ferreira da Silva
  pp.461-470

III.10:   USING TIME PETRI NETS FOR MODELING AND VERIFICATION OF TIMED CONSTRAINED WORKFLOW SYSTEMS
Pedro M. Gonzalez del Foyo, José Reinaldo Silva
  pp.471-478




Copyright © 2002 ABCM. All Rights Reserved.

Este site é melhor visualizado com Internet Explorer 5.5 ou superior; Netscape Navigator 6.0 ou superior; Resolução de vídeo 800x600 pixels ou superior.

Termos de uso | Política de privacidade


Membros
Não Membros
Consulte aqui os informativos ABCM enviados para nossa lista de e-mails
Eventos Regulares da ABCM
Próximos Eventos Programados
Eventos Não Regulares Promovidos pela ABCM
Outros Eventos de Interesse
Guia de Organização de Eventos Regulares
Guia de Organização do CREEM
Copyright Form
Normas para Criação e Operação dos Comitês Técnicos da ABCM
Comitês Técnicos
Comissões Permanentes
Lista de Discussão da ABCM
Comissão de Ensino e Difusão de Pesquisa
Tópicos para discussão
Capítulo Estudantil
XI CREEM - Congresso Nacional de Estudantes de Engenharia Mecânica
Edital 2011
Premiações
Relação de Premiados

Dotz Design