Tese de mestr.. Engenharia Mecânica. Faculdade de Engenharia. Universidade do Porto. 1998

No description available.

Este documento apresenta uma investigação sobre os relacionamentos entre os problemas de planejamento em inteligência artificial e de alcançabilidade em redes de Petri. O trabalho trata da análise de algumas maneiras de se representar um problema de planejamento como uma rede de Petri e da comparação da rede obtida com o grafo de planos. São destacadas as principais vantagens e desvantagens do uso das redes de Petri em comparação com o grafo de planos. Procura-se argumentar em favor da primeira, pois ela permite representar de maneira ao mesmo tempo precisa e econômica os mesmos relacionamentos contidos na segunda estrutura. Um dos focos da pesquisa é encontrar a melhor maneira de substituir as redundâncias presentes no grafo de planos pela dinâmica da rede de Petri. Em particular, na rede, consegue-se uma melhor representação para as relações de inconsistência e de exclusão mútua entre ações. / This thesis dissertation reports on the investigation of the relationships between the problems of planning, in the sense of Artificial Intelligence, and that of reachability, in the sense of Petri nets. The research approaches different ways to represent a planning problem as a Petri net, as well as the comparison of the given net with the plan graph. The main advantages and disadvantages in applying Petri nets compared to the plan graph method. We claim that, the use of Petri nets allows more precise and compact representation of action relationships than those obtained with the counter part method. One of the main research aims is to eliminate representational redundancies of the plan graph by projecting them against the dynamic aspects of the net. Examples of the comparative improvements are shown in the text, particularly for the relationships of inconsistency and the mutual exclusion of actions.

Made available in DSpace on 2013-08-07T18:43:04Z (GMT). No. of bitstreams: 1 000388456-Texto+Completo-0.pdf: 5013053 bytes, checksum: 84575b0c4a9de44bcbed52209cdfc492 (MD5) Previous issue date: 2007 / This work presents a methodology to model and to build 3D interaction tasks in virtual environments using Petri nets, a technique-decomposition taxonomy and object-oriented concepts. Therefore, a set of classes and a graphics library are required to build an application and to control the net dataflow. Operations can be developed and represented as Petri Net nodes. These nodes, when linked, represent the interaction process stages. The integration of these approaches results in a modular application, based in the Petri Nets formalism that allows specifying an interaction task, and also to reuse developed blocks in new virtual environments projects. / Este trabalho apresenta uma metodologia para modelar e construir tarefas de interação 3D em ambientes virtuais usando Redes de Petri, uma taxonomia de decomposição de técnicas e conceitos de orientação a objetos. Para tanto, um conjunto de classes e uma biblioteca gráfica são requisitos para construção de uma aplicação e para controlar o fluxo de dados da rede. Operações podem ser desenvolvidas e representadas como nodos de uma Rede de Petri. Estes nodos, quando interligados, representam as etapas do processo interativo. A integração destas abordagens resulta em uma aplicação modular, baseada no formalismo de Redes de Petri que permite especificar uma tarefa de interação, e também o reuso dos componentes existentes em novos projetos de ambientes virtuais.

Dissertação (Mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. / Made available in DSpace on 2012-10-17T07:14:12Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T23:54:06Z : No. of bitstreams: 1 137859.pdf: 1676640 bytes, checksum: ed805d2e86fe13b978f0040e6d1b01d5 (MD5)

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica / Made available in DSpace on 2012-10-22T15:43:27Z (GMT). No. of bitstreams: 0 / Apresenta-se uma metodologia para modelagem e análise de sistemas de tempo real com escalonamento utilizando técnicas de verificação de propriedades no contexto do projeto Topcased. Entre as linguagens para descrição de sistemas adotadas em tal projeto, adota-se V-Cotre. A Rede de Petri Temporal com Stopwatch (RPT-Sw) é utilizada como formalismo para exprimir as aplicações de tempo real e os mecanismos de escalonamento. As ferramentas de análise e verificação de Tina para este formalismo servem de base para abordagem proposta. Para validar as proposições apresentadas, três escalonadores clássicos são modelados: Rate Monotonic, Immediate Priority Ceiling Protocol e Earliest Deadline First; mas apenas os dois primeiros são verificados. Constatam-se limitações da linguagem V-Cotre para representação de algumas características destes sistemas e sugere-se um enriquecimento da linguagem como solução para esta limitação. Como a tradução da linguagem V-Cotre para o formalismo de base da verificação ainda não está completamente terminada, modelos simples em RPT-Sw são construídos manualmente para verificação dos dois primeiros tipos de escalonamento citados. Sugere-se um novo formalismo baseado em RPT-Sw de forma a permitir a representação completa destes sistemas. Os resultados de verificações sobre estes modelos com a ferramenta Tina demonstram que a abordagem baseada na verificação produz resultados equivalentes aos dos testes de escalonamento clássicos, sendo que estes podem ser eventualmente complexos em sistemas com muitas tarefas e recursos aninhados. Além disso, os testes efetuados permitem visualizar diversas análises em um nível de abstração "com escalonamento", de forma a aperfeiçoar a utilização de material, permitindo melhores escolhas de tempos relativos aos sistemas de tempo real.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pos-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2014. / Made available in DSpace on 2015-04-29T21:06:28Z (GMT). No. of bitstreams: 1 333082.pdf: 11184009 bytes, checksum: 1d14dd4bf2faf84b3ce1504e466d5c43 (MD5) Previous issue date: 2014 / Os programas de automação na indústria de petróleo e gás, seja o programa voltado para sistemas de segurança ou de uso geral, são projetados com base em especificações de segurança, definidas em projeto, que devem ser validados antes da implantação. Este documento propõe um método para o teste automático das especificações encontradas na Matriz Causa e Efeito e implementadas em Controladores Lógicos Programáveis (CLPs). Para esses testes, as especificações são representadas como um conjunto de modelos de rede de Petri que observam o comportamento do sistema controlado. O uso de um modelo formal permite composição de diferentes modelos de forma sistemática e a tradução das Redes de Petri em um programa que comanda as entradas de um CLP e observa quando o comportamento do CLP segue ou falha em seguir as especificações de segurança. Uma ferramenta protótipo foi desenvolvida para executar automaticamente o teste da Matriz Causa e Efeito em um dado CLP. Um projeto de um forno foi utilizado para verificar se a metodologia proposta é fácil de usar e viável.<br> / Abstract : The automation programs in the oil and gas industry, be it in Safety Instrumented Systems (SIS) or in general purpose Programmable Logic Controllers (PLC), are designed based on safety specifications that must be validated prior to deployment. This paper proposes a method for the automatic test of the Cause and Efect Matrix specifications on PLC systems. For such testing, the specifications are represented as a set of Petri net models that observe the controlled system behavior. The use of a formal model allows to systematically compose and translate the Petri Nets into a program that commands the PLC inputs and observes when the PLC outputs fail the safety specifications. A prototype tool has been developed to automatically perform the test of the Cause and Efect Matrix on a given PLC. A furnace project has been used to ascertain that the proposed method is easy to use and viable.

SANTOS FILHO, F. G. Diagnóstico de faltas em sistemas elétricos baseado em redes de Petri coloridas e técnicas de sistemas especialistas. 95 f. 2007. Dissertação (Mestrado em Engenharia Elétrica) - Centro de Tecnologia, Universidade Federal do Ceará, Fortaleza, 2007. / Submitted by Marlene Sousa (mmarlene@ufc.br) on 2016-03-15T19:00:20Z No. of bitstreams: 1 2007_dis_fgsantosfilho.pdf: 1234264 bytes, checksum: 5eaa9615cc11c88f7d3283ba67587b31 (MD5) / Approved for entry into archive by Marlene Sousa(mmarlene@ufc.br) on 2016-03-18T17:58:34Z (GMT) No. of bitstreams: 1 2007_dis_fgsantosfilho.pdf: 1234264 bytes, checksum: 5eaa9615cc11c88f7d3283ba67587b31 (MD5) / Made available in DSpace on 2016-03-18T17:58:34Z (GMT). No. of bitstreams: 1 2007_dis_fgsantosfilho.pdf: 1234264 bytes, checksum: 5eaa9615cc11c88f7d3283ba67587b31 (MD5) Previous issue date: 2007-07-30 / When a fault occurs in an electrical system often an avalanche of information is made available to the System Operation Center making it difficult to the operator to identify the cause of the fault. The great deal of information provided by the supervisory system is of any value if it does not make easy to the operator, to take a right and prompt decision to bring the system back to normal operation. Based on the SCADA information a Fault Diagnosis System (SDF) was developed, which uses the Colored Petri Nets (CPN) method to filter out the large amount of information made available by the SCADA system and then to give the fault diagnosis. The drawback of the SDF is that the fault diagnosis is developed off line from the CPN final markings for all the likely fault conditions on the power system. In this work an Expert Program is developed to automatically convert the CPN final markings into the system fault diagnosis. The Expert Program interprets the results of the CPN model independent of the monitored electrical system, it diagnosis events that occur in substations as much as the transmission lines that connect the substations, providing a fast and concise diagnosis with common format and language to the operator. / Quando o sistema elétrico experimenta qualquer distúrbio uma avalanche de alarmes é reportada ao Centro de Operação do Sistema (COS) dificultando ao operador na identificação da causa do distúrbio. O grande volume de informações disponibilizado pelos sistemas supervisórios em condição de falta no sistema elétrico é de pouco valor se não possibilitar um rápido diagnóstico, para uma pronta e correta tomada de decisão e restabelecimento à condição normal de operação. Usando como entrada os dados informados pelo SCADA foi desenvolvido um Sistema de Diagnóstico de Faltas (SDF), baseado em Redes de Petri Coloridas (RPC), que filtra as informações do SCADA e é capaz de fornecer em tempo real aos operadores o diagnóstico para as faltas no sistema. O diagnóstico é obtido a partir da simulação off-line de um expressivo número de possíveis faltas no sistema em que a marcação final da RPC para cada falta é convertida em diagnóstico. Um Programa Especialista foi desenvolvido para a interpretação da marcação final fornecida pela RPC para geração automática do diagnóstico de falta. O Programa Especialista interpreta os resultados do modelo RPC independente do sistema elétrico monitorado, diagnosticando os eventos que ocorrem tanto em uma subestação quanto nas linhas de transmissão que ligam as subestações, fornecendo um diagnóstico rápido, sucinto, e com formato e linguagem comuns ao operador.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação / Made available in DSpace on 2013-03-04T20:12:58Z (GMT). No. of bitstreams: 1 307638.pdf: 3034447 bytes, checksum: 51a95fd6bb38f8e99ec85b04c51e8572 (MD5) / Na abordagem de desenvolvimento orientado a componentes, um aplicativo é produzido por meio da conexão de dois ou mais componentes. O aumento da previsibilidade do resultado da combinação de um componente com outros ainda é uma questão em aberto para pesquisa. A análise de compatibilidade de componentes é realizada a partir da descrição da interface dos componentes interligados. A maioria das propostas de análise de compatibilidade pesquisadas se restringe à verificação da ligação entre dois componentes e não considera todo o conjunto de componentes de uma aplicação. E quando o faz, limita-se a detectar apenas deadlock no sistema. Este trabalho propõe uma estratégia para a realização automatizada da análise comportamental de componentes a partir de uma abordagem descrita na literatura onde a descrição da interface de componentes é feita integralmente em UML. A descrição estrutural utiliza os diagramas de componentes, classe e implantação, e a comportamental, o diagrama de máquina de estados. A estratégia proposta estabelece uma forma de conversão da máquina de estados dos componentes individuais e da aplicação para redes de Petri, de forma transparente para o usuário, e define critérios para a análise comportamental. Problemas comportamentais são identificados a partir da interpretação das propriedades das redes de Petri no contexto dos componentes. Essa solução considera o comportamento do sistema como um todo e permite a identificação, além de deadlock, de possíveis problemas comportamentais, tratadas como advertências e que devem ser analisadas pelo usuário, tais como: serviços indisponíveis, temporariamente disponíveis ou serviços disponíveis no componente que passam a ser temporariamente disponíveis ou até indisiponíveis na aplicação. A solução proposta permite uma maior previsibilidade no resultado da combinação de componentes. Essa solução foi automatizada no ambiente SEA, por meio de ferramentas automatizadas que emitem relatórios com os problemas encontrados. São apresentados os estudos de caso realizados para avaliação da proposta. / In the component-based software development, an application is produced by connecting two or more components. Increasing predictability of the result of combination of a component with others components is still an issue for research. The compatibility analysis of components is performed from the interface#s description of the interconnected components. Most proposals for compatibility analysis are limited to verify the compatibility between only two components and does not consider the whole component set of an application. And when they do it, they only detect deadlock in the system. This study proposes a strategy to achieve automated behavioral analysis of components from an approach described in the literature, in which the interface of components is described entirely in UML.The structural description uses the component, class and deployment diagrams, and behavior description, the state machine diagram diagram. The proposed strategy provides a way of converting the state machine of the individual components and of the application in Petri nets, transparently to the user, and sets criteria for behavioral analysis. Behavioral problems are identified from the interpretation of the Petri nets properties in the context of the components. This solution considers the behavior of the system as a whole and allows the identification, in addition to deadlock, of potential behavioral problems, and treats then as warnings that must be analyzed by the user, such as: unavailable services, temporarily available services, or component available services become temporarily available or unavailable in the application. The proposed solution allows a more predictable result of the combination of components. This solution has been automated in the SEA environment, using automated tools included in it, where reports are issued with the found problems. The case studies produced to evaluate the proposal are presented.

Tese (doutorado) - L'Universite Paul Sabatier. Laboratoire D'Automatique et D'Analyse des Systems du CNRS / Made available in DSpace on 2013-07-15T21:01:06Z (GMT). No. of bitstreams: 0