Navegando por Autor "Moura, Raimundo Santos"
Agora exibindo 1 - 4 de 4
- Resultados por página
- Opções de Ordenação
Dissertação Ambiente computacional paradesenvolvimento de aplicações de controladores lógicos programáveis baseado em linguagens SFC e ST(Universidade Federal do Rio Grande do Norte, 2009-06-30) Couto, Felipe César Alves do; Oliveira, Luiz Affonso Henderson Guedes de; ; http://lattes.cnpq.br/7987212907837941; ; http://lattes.cnpq.br/2700253734170328; Maitelli, André Laurindo; ; http://lattes.cnpq.br/0477027244297797; Moura, Raimundo Santos;Este trabalho propõe um ambiente computacional para programação de controladores lógicos programáveis aplicados aos poços de petróleo com método de elevação artificial do tipo BCP. O ambiente terá um editor para programação de PLCs baseado principalmente no diagrama de funções sequenciais (SFC). Esta linguagem foi escolhida por ser considerada de alto nível e por ser aceita pelo padrão internacional IEC 61131-3. O uso destes programas de controle em PLCs reais será possível com a utilização de uma linguagem de nível intermediário baseada na especificação TC6 XML pela organização PLCopen. Para os testes e a validação dos programas de controle, deverá ser disponibilizada uma área para visualização das variáveis obtidas através da comunicação com um PLC real. Desta forma, a principal contribuição deste trabalho é desenvolver um ambiente computacional que permita: modelar, testar e validar os controles representados em SFC e aplicados nos poços petrolíferos com método de elevação artificial do tipo BCPTese Uma linguagem visual para descrição de use cases(2016-05-06) Souza, Alessandro José de; Cavalcanti, Anderson Luiz de Oliveira; ; ; Oliveira, Luiz Affonso Henderson Guedes de; ; Silva, Bruno Santana da; ; Ribeiro, Cláudia Maria Fernandes Araújo; ; Moura, Raimundo Santos;Para que se possa obter sucesso no desenvolvimento de um projeto de software, é necessário conhecer seus requisitos, sejam eles funcionais ou não-funcionais (atributos de qualidade). Nesse sentido, os use cases têm sido amplamente adotados pelos profissionais de engenharia de software como uma das ferramentas para elicitação e análise de requisitos. No entanto, sua forma fragmentada e textual de descrição das funcionalidades do sistema não tem sido suficiente para suscitar os interesses relacionados ao design de interface do usuário. Este fato levou profissionais de interação humano-computador a criarem seus próprios métodos e técnicas que, muitas vezes, contrapõem-se à filosofia usada por engenheiros de software para modelagem da interação usuário-sistema. Por essa razão, com o propósito de melhorar o suporte à descrição de use case integrado com o design centrado no usuário, propõe-se a Visual Language for Use Case Description (VL4UCD). Neste trabalho, é definido o uso da VL4UCD durante as tarefas de análise e validação de requisitos, de forma a endereçar, ainda na fase inicial do projeto, as preocupações de ambos os grupos (engenharia de software e interação humano-computador) sobre o desenvolvimento de sistemas de software interativo.Tese Metodologia para modelagem, validação e programação de controladores lógicos industriais usando statecharts básicos(Universidade Federal do Rio Grande do Norte, 2009-06-09) Moura, Raimundo Santos; Oliveira, Luiz Affonso Henderson Guedes de; ; http://lattes.cnpq.br/7987212907837941; ; Medeiros, Adelardo Adelino Dantas de; ; http://lattes.cnpq.br/6787525856497063; Maitelli, André Laurindo; ; http://lattes.cnpq.br/0477027244297797; Dórea, Carlos Eduardo Trabuco; ; http://lattes.cnpq.br/0143490577842914; Maciel, Paulo Romero Martins;Com o advento da informática industrial muitos esforços têm sido realizados para o desenvolvimento de notações e semânticas usadas para classificar e descrever diferentes tipos de sistemas, sobretudo na fase de modelagem. Tais esforços fornecem a infraestrutura necessária para a solução de alguns problemas reais de engenharia e a construção de sistemas práticos que visam, principalmente, o aumento da produtividade, qualidade e segurança de processos. Além disso, apesar de muitos estudos tentarem desenvolvermétodos amigáveis para programação de controladores lógicos industriais, estes ainda são programados através de métodos convencionais no estilo tentativa e erro e, na prática, usualmente não existe documentação escrita para esses sistemas. A solução ideal para este problema seria usar um ambiente computacional que permita engenheiros industriais implementar o sistema usando linguagens de alto nível e que obedeçam padrões internacionais. Baseado nessa perspectiva, este trabalho descreve um procedimento sistemático para modelar a planta e o controle de sistemas com dinâmica discreta que incluem operações sequenciais, paralelas e temporizadas, usando um formalismo baseado nos Statecharts, denominado Statecharts Básicos (SCB). A metodologia também permite procedimentos automáticos de verificação e implementação desses sistemas. A validação da metodologia foi realizada por meio de estudos de casos com exemplos típicos de aplicações da área de manufatura. O primeiro exemplo apresenta um controle sequencial para um etiquetador de peças e serve para ilustrar a dependência entre os dispositivos da planta. O segundo exemplo discute mais de uma estratégia de controle para uma célula de manufatura. O modelo da célula usada nos exemplos possui 72 configurações possíveis e, com um controle sequencial, a planta ficou restrita a 8 configurações, enquanto que com um controle paralelo, a planta atuou em 26 configurações diferentes, sendo, portanto, um controle menos restritivo. Por fim, foi apresentado um exemplo para ressaltar a característica modular da nossa metodologia, que é de suma importância para a manutenibilidade de aplicações. Neste exemplo, os sensores para identificação de peças presentes na planta da célula de manufatura foram removidos, gerando a necessidade de alterações no modelo do controle para propagar as informações do sensor de entrada de peças para as outras posições da célula.Tese Modelagem semântica de processos industriais com aplicações(Universidade Federal do Rio Grande do Norte, 2014-02-21) Lima, Raphaela Galhardo Fernandes; Oliveira, Luiz Affonso Henderson Guedes de; ; http://lattes.cnpq.br/7987212907837941; ; http://lattes.cnpq.br/3928651133687163; Dória Neto, Adrião Duarte; ; http://lattes.cnpq.br/1987295209521433; Bezerra, Vanja Maria de França; ; http://lattes.cnpq.br/7566236243351252; Ribeiro, Claudia Maria Fernandes Araújo; ; http://lattes.cnpq.br/4724141474353962; Moura, Raimundo Santos; ; http://lattes.cnpq.br/7902070751612416Este trabalho propõe uma ontologia orientada ao domínio de automação industrial, com o objetivo de modelagem semântica. Com o objetivo de estruturar conhecimento envolvido no contexto de processos industriais, esta tese propõe uma ontologia de domínio, denominada OntoAut, que modela conceitualmente dos elementos envolvidos na descrição de porcessos industriais. Para validar a ontologia proposta são apresentados diversas aplicações. Na primeira, são modelados conceitualmente dois processos típiocs: tratamento DEA (Dietanolamina) e forno industrial. Na segunda aplicação, utiliza-se a ontologia para realizar uma filtragem semântica de de alarmes, que aliada a analises de correlações, determina relações temporais entre alarmes de um processo industrial. Na terceira aplicação, utiliza-se a ontologia para modelagem e análise de custo de construção e operação de processos. Na quarta aplicação, a ontologia é adotada para para analisar a confiabilidade de uma planta industrial.