Navegando por Autor "Lima, Evangivaldo Almeida"

Agora exibindo 1 - 4 de 4
  • Imagem de Miniatura
    Item
    Diagnóstico de falhas em sistemas a eventos discretos utilizando redes de petri
    (Universidade do Estado da Bahia, 2017-07-07) Carvalho, Eric Maia Pereira; Lima, Evangivaldo Almeida; Oliveira, Paulo James de; Souza, Milton Bastos de
    Os conceitos de Sistemas a Eventos Discretos (SED) vêm sendo amplamente utilizados na modelagem de sistemas de informação, cadeias produtivas, gestão de processos, sistemas elétricos, sistemas bioquímicos e malhas logísticas, apoiando os processos de planejamento e gerenciamento desses sistemas. Dentre as técnicas de modelagem de SED, as redes de Petri se destacam por propiciarem uma definição compacta de um sistema, de fácil representação gráfica, por não apresentarem explicitamente todo o espaço de estados do sistema modelado, e também por permitirem a sua simulação e análise da operação em ambiente controlado. Este trabalho propõe uma solução para o problema de detecção e diagnóstico de falhas em sistemas reais a partir da simulação desses sistemas, utilizando técnicas de modelagem baseadas em redes de Petri para a implementação de um sistema especialista de diagnóstico de falhas automatizado (diagnosticador)
  • Imagem de Miniatura
    Item
    Modelagem, análise e implementação em CLP de SEDs utilizando redes de petri
    (UNEB, 2012-08-10) Bolzanni, Artus; Lima, Evangivaldo Almeida; Oliveira, Paulo James de; Souza, Milton de
    Neste trabalho é proposto e implementado um método de conversão de redes de Petri interpretadas para código compatível com Controladores Lógicos Programáveis (CLPs). Este método tem como uma de suas características dividir em módulos o código para CLP, separando a estrutura lógica da rede de Petri das interfaces de entrada e saída do CLP. Outra contribuição desta pesquisa é a algoritmização e implementação de métodos de redução de redes de Petri temporais, viabilizando a análise de modelos com um espaço de estados muito grande. Como validação das contribuições foi utilizada uma planta industrial didática. Esta foi modelada como uma rede de Petri interpretada, que ´e convertida para rede de Petri temporal e reduzida segundo contribuição do trabalho, foi analisada segundo seu tempo de execução de determinadas tarefas. Após a etapa de análise, o modelo em rede de Petri interpretada foi convertido para código para CLP. Palavras-chave: Rede de Petri, Rede de Petri Interpretada, Rede de Petri Temporal, Controlador Lógico Programável, Planta Industrial, Algebra Intervalar.
  • Imagem de Miniatura
    Item
    Um método para conversão de redes de petri interpretadas em uma linguagem de alto nível implementável por CLP
    (UNEB, 2013-01-05) Silva, Diego Henrique Souza; Lima, Evangivaldo Almeida; Oliveira, Paulo James de; Souza, Milton de
    Neste trabalho é proposto um conjunto de procedimentos que verifica a possibilidade de conversão de Redes de Petri interpretas para o SFC, uma linguagem de alto nível do padrão IEC 61131-3, além de um método que realiza a conversão caso seja possível. A validação do mesmo é realizado através do CLP que controla a célula didática de manufatura CIM-B e do HPSim, ferramenta de edição e simulação de Redes de Petri.
  • Imagem de Miniatura
    Item
    Uma arquitetura para controle centralizado e distribuído de ar condicionado
    (UNEB, 2017-07-07) Barbosa, Carlos Leonardo Lacerda Honorato; Lima, Evangivaldo Almeida; Oliveira, Paulo James de; Souza, Milton Bastos de
    Os aparelhos de ar condicionado tem sido muito úteis nas questões de controle de temperatura e umidade, porém o mau uso desses aparelhos acabam gerando um desperdício de energia e acarreta em uma menor vida útil dos mesmos. Um sistema de controle automático pode resolver essas questões ou mitigá-los. Com um controle via web o sistema ainda se torna mais cômodo para os usuários. Este trabalho se propõe a desenvolver um projeto para a implementação de um sistema embarcado usando o Arduino para controle direto, uma rede Wifi para comunicação e o Django para a interface web com os usuários, possibilitando um uso mais eficiente dos aparelhos de ar condicionados pensando tanto para os usuários quanto para os administradores.