Orientador : Rafael Santos Mendes / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-29T01:59:29Z (GMT). No. of bitstreams: 1 Luders_Ricardo_D.pdf: 971778 bytes, checksum: 4356afeeb0fdd1b399f01103c6df108b (MD5) Previous issue date: 2001 / Doutorado

Orientador: Walter da Cunha Borelli / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T17:26:38Z (GMT). No. of bitstreams: 1 Damasceno_BereniceCamargo_M.pdf: 9724675 bytes, checksum: e2ac5ac37aa8889d89a0a897d68b38ed (MD5) Previous issue date: 1989 / Resumo: Não informado / Abstract: Not informed. / Mestrado / Mestre em Engenharia Elétrica

Orientador: Rafael Santos Mendes / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-24T03:50:44Z (GMT). No. of bitstreams: 1 Magossi_JoseCarlos_D.pdf: 6761411 bytes, checksum: ceea1c2dd3d35ba4d2e536d090e00ab6 (MD5) Previous issue date: 1998 / Resumo: Aborda-se o problema de verificação de especificações e síntese de controladores em uma classe de sistemas dinâmicos a eventos discretos. Propõe-se uma nova lógica modal denominada lógica modal NK, e mostra-se que um conjunto de fórmulas nesta lógica é equivalente a um conjunto de fórmulas escritas no contexto da teoria de dióides. Desse modo, um sistema descritível por um grafo a eventos, que é modelado por um conjunto de equações num dióide apropriado, também é modelado por um conjunto de fórmulas da lógica modal NK. Então utiliza-se as técnicas de tableaux analíticos para desenvolver um algoritmo para decidir se uma especificação é satisfeita ou não. Quanto ao problema de síntese, a solução obtida pelo tableau analítico é utilizada para determinar as NK-fórmulas, e portanto o controlador, que tomará a especificação satisfeita. A principal vantagem deste inter-relacionamento de abordagens é permitir a utilização de técnicas da lógica modal, particularmente os tableaux analíticos, no tratamento de problemas de análise e síntese de controlad9res para sistemas a eventos discretos / Abstract: The problem of verification of a specification and controller synthesis in a class of discrete event dynamic systems is addressed. We propose a new propositional modallogic, named NK logic, and we show that a set of formulas of this logic is completely equivalent to a set of equations written in the context of the theory of dioids. Therefore, a system described by an event graph can be modeled by a set of formulas in NK logic. Then we use the technique of the analytic tableaux to develop an algorithm to decide if a specification, also expressed in NK logic, is satisfied. If a specification is not satisfied then there exists a solution for the equations written in dioid context that violates the specification. The method of analytic tableaux gives this solution. Conceming the synthesis problem, the solution obtained by the analytic tableau is used to determine the NK-formulas, and therefore the controller, that makes the specification be verified. The main advantage of this approach is allow us to use the technique of analytic tableaux to investigate problems of analysis and synthesis of controllers for discrete event systems / Doutorado / Doutor em Engenharia Elétrica

Orientador: Wagner Caradori do Amaral / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-15T16:56:04Z (GMT). No. of bitstreams: 1 Souza_JoaoNunesde_D.pdf: 12097520 bytes, checksum: 6aa96dc3547fd563a0ed50eb97d3a98c (MD5) Previous issue date: 1989 / Resumo: Neste trabalho propõe-se um estudo da representação hierárquica de conhecimento a partir dos conceitos básicos do 'lambda¿-cálculo tipado. A representação do conhecimento é feita por programas funcionais definidos como conjuntos de fórmulas do 'lambda¿-cálculo tipado. Os conjuntos de fórmulas são associados a critérios de derivação que determinam os argumentos das funções dos programas. estabelecendo o seqüenciamento da execução destas funções e possibilitando a derivação de novos conhecimentos. Propõe-se um conjunto de relações de complexidade entre as fórmulas do 'lambda¿-cálculo tipado. que se baseia em uma classificação destas fórmulas. A classificação se fundamenta na estrutura sintática dos símbolos para tipo associados às fórmulas. A ordem dos símbolos para tipo determina relações de ordem entre as fórmulas do 'lambda¿-cálculo tipado, definindo as relações de complexidade. As relações de complexidade são utilizadas em uma representação sintática das relações hierárquicas de complexidade do conhecimento representado em um sistema. Demonstra-se um conjunto de condições necessárias ... Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: A knowledge hierarchic representation based on the typed 'lambda¿-calculus foundat ions is proposed in this work. The knowledge representation is based in functional programms defined as typed h-calculus formulas set. The formulas set is associated to derivation criterias that determines the programms functions arguments and the execution function sequence. A typed 'lambda¿-calculus formulas complexity relationship based on a typed h-calculus formulas classification is proposed. The classification is based on the formulas and type simbols sintat ic structure. The type simbols orders determines typed 'lambda¿-calculus formulas order relations wich define the complexity relationship. The complexity relationship is used to represent a sintatic representation of a knowledge system hierarchic relationship complexity ... Note: The complete abstract is available with the full electronic digital thesis or dissertations / Doutorado / Doutor em Engenharia Elétrica

Orientador: Shusaburo Motoyama / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-17T17:32:48Z (GMT). No. of bitstreams: 1 Tamura_RobertoToshiyuki_M.pdf: 5692280 bytes, checksum: 5060e1cac0598ce84d6c8f7ffee3b0b4 (MD5) Previous issue date: 1988 / Resumo: Não informado / Abstract: Not informed. / Mestrado / Mestre em Engenharia Elétrica

Orientador: Fernando A. C. Gomide / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-18T15:26:53Z (GMT). No. of bitstreams: 1 Daltrini_AlexandreMoreira_M.pdf: 4304751 bytes, checksum: 40ce8b7b349c84d1c46e348802edecdf (MD5) Previous issue date: 1993 / Resumo: Atualmente, a Modelagem e Processamento de Conhecimento é um assunto muito explorado na área de pesquisa em Inteligência Artificial. A proposta deste trabalho é apresentar uma modificação das Redes de Petri, a Rede de Petri Nebulosa Estendida, baseada em conceitos da Lógica Nebulosa e das Redes de Petri. Esta nova metodologia é direcionada para a representação e processamento de conhecimento em sistemas com caracteristicas de incerteza ou aspectos vagos em sua modelagem. A Rede de Petri Nebulosa Estendida pretende fornecer uma ferramenta para representação de conhecimento que seja de amplo escopo de aplicação, adaptando-se à problemas nas mais diversas áreas de atuação, e que seja de fácil manipulação. Há ainda um exemplo de aplicação em simulação de sistemas de manufatura, onde se realiza a modelagem através de regras de produção nebulosas e, após o processamento sob o algoritmo proposto, apresentam-se os resultados e sua devida interpretação / Abstract: Nowadays, knowledge modelling and processing are topics of interest for Artificial Intelligence researchers. The proposal of this work is to develop a modification of classical Petri Nets, which one is based on principles of Fuzzy Logic and Petri Nets, called Extended Fuzzy Petri Nets. This new methodology is addressed to the Knowledge Representation and Processing of systems, in which there are some aspects of uncertainty and vagueness. The Extended Fuzzy Petri Nets intends to offer a Knowledge Representation tool, with several application areas and easy manipulation. There is an example of manufacturing systems simulation, with the cell modelling based on fuzzy production roles and, after the processing by the algorithm developed, the results and interpretation are presented. / Mestrado / Mestre em Engenharia Elétrica

Frequentemente, as empresas adquirem ou desenvolvem aplicações para apoiar a tomada de decisões e aperfeiçoar seus processos de negócio. Estas aplicações compõe o ecossistema de software, que geralmente é heterogêneo e ainda são desenvolvidas sem levar em conta sua possível integração, dificultando assim a sua reutilização. A área de Enterprise Application Integration (EAI) proporciona metodologias, técnicas e ferramentas para as empresas desenvolverem soluções de integração. O problema abordado nessa dissertação consiste em identificar os possíveis gargalos de desempenho na solução de integração que trata do processo e rematrículas da Universidade Unijuí, para que estes possam ser minimizados antes da implementação da solução. O aparecimento destes possíveis gargalos é um problema, porque se um modelo conceitual for implementado com gargalos, poderá gerar falhas, que aumentam os custos, tempo e riscos da solução. Nesse contexto, propõe-se identificar possíveis gargalos de desempenho, utilizando o modelo conceitual, por meio do qual é desenvolvido um modelo formal de simulação, utilizando o formalismo matemático das Redes de Petri Coloridas e Temporizadas. É por meio da simulação, que busca-se conhecer o comportamento do sistema, visando identificar tarefas que possam representar gargalos de desempenho. A partir da simulação, foi possível analisar duas variáveis: tempo médio de permanência das mensagens nos slots e tamanho máximo e médio dos slots. Os resultados da simulação das duas variáveis foram interpretados e analisados, identificando-se a ocorrência de gargalos de desempenho. / 145 f.

Este trabalho de pesquisa propõe um Meta-algoritmo para o desenvolvimento de indicadores de qualidade amparados em modelos de referência e um método formal. O Meta-algoritmo proposto integra o modelo de referência de qualidade de software CMMI-DEV; o modelo GQ(I)M; e o método formal das Redes de Petri (RP) com o modelo de processo de desenvolvimento de software de uma empresa, no contexto de gestão de processos de software. O Meta-algoritmo proposto foi desenvolvido com o propósito de melhorar a qualidade e a eficiência da execução de projetos de desenvolvimento de sistemas de software, por meio de atividades de monitoramento e controle, mantendo a rastreabilidade dos elementos produzidos durante o seu ciclo de desenvolvimento. Baseando-se nestes modelos, concebeu-se o SI-CMMI. Um protótipo de sistema de informação, denominado CMMIAudit, foi concebido para implementar as características previstas e necessárias para a operacionalização do SI-CMMI no processo de monitoramento, controle e garantia da qualidade de software, além de viabilizar a implementação do processo de inspeção parametrizado pelos modelos. Um método heurístico para modelagem de Redes de Petri foi também desenvolvido para diminuir subjetividades durante o processo de modelagem da RP.

A telepresença, como um refinamento da teleoperação, permite que o indivíduo controle não apenas a simulação mas a própria realidade. Uma vez que, esta proporciona a habilidade de manipular a realidade física remotamente em tempo real, através de sua representação virtual. Através da tecnologia de realidade virtual, pode-se criar uma grande diversidade de ambientes apropriados aos mais variados tipos de aplicações, possibilitando simulações de situações do mundo real em um ambiente ou mundo virtual. A aplicação de ambientes virtuais no processo de manufatura está relacionada tanto com a manutenção e treinamento, como também a criação e simulação de protótipos virtuais antes de sua utilização no chão-de-fábrica. O uso de redes de Petri para modelagem de ambientes virtuais, mostra-se como uma poderosa ferramenta gráfica/matemática que pode capturar naturalmente as principais características dos sistemas de realidade virtual, além de proporcionar resultados empíricos interessantes na verificação automática de concorrência e sistemas de tempo real. Por permitir modelar a computação não determinística e paralela, a modelagem de ambientes virtuais com redes de Petri é adequada não apenas para simulação, verificação e validação desses sistemas, mas para o próprio controle dos ambientes modelados. Ao associar os elementos de uma rede de Petri com os elementos do paradigma orientado à objetos de um conjunto de classes que constituem os objetos que irão compor os ambientes virtuais e os sistemas de telepresença, obtém-se uma valiosa ferramenta para o controle dos métodos dos objetos virtuais e reais a serem invocados. O objetivo deste trabalho é o desenvolvimento do modo de associação de redes de Petri com objetos virtuais e reais para controle de ambientes virtuais imersivos e telepresença, com base na descrição de um sistema de autoria de telepresença com controle em RP. Os resultados obtidos trarão avanços quanto ao desenvolvimento e implantação de aplicações de manufatura virtual em um ambiente de visualização 3D imersivo. / The telepresence, as a refinement of teleoperation, allows the individual not only to control the simulation but also the own reality. Since this provides the ability to manipulate the physical reality remotely in real time, through its virtual representation. Through the technology of virtual reality, one can create a wide variety of environments suitable for all kinds of applications, enabling simulations of the situations in a real world environment or virtual world. The application of virtual environments in the manufacturing process is related to both the maintenance and training, and also the creation and simulation of virtual prototypes before their use in the shop-floor. The use of Petri nets for modeling virtual environments, shows itself as a powerful graphics/mathematics tool that can capture the main features of virtual reality systems, as well as offering interesting empirical results in automatic verification of concurrence and real time systems. By allowing to model non-deterministic and parallel computation, modeling of virtual environments with Petri nets is appropriate not only for simulation, verification and validation of these systems, but also for controlling the environments modeled. By associating the elements of a Petri net with the elements of the object oriented paradigm of a set of classes that are the objects that will compose the virtual environments and telepresence systems, one gets a valuable tool for controlling of the methods of virtual and real objects to be invoked. The objective of this work is the development of the mode of association of Petri nets with virtual and real objects for controlling immersive virtual environments and telepresence, based on the description of a telepresence authoring system controlled by PN. The results will bring progress on the development and deployment of virtual manufacturing applications in an immersive 3D visualization environment.

A telepresença, como um refinamento da teleoperação, permite que o indivíduo controle não apenas a simulação mas a própria realidade. Uma vez que, esta proporciona a habilidade de manipular a realidade física remotamente em tempo real, através de sua representação virtual. Através da tecnologia de realidade virtual, pode-se criar uma grande diversidade de ambientes apropriados aos mais variados tipos de aplicações, possibilitando simulações de situações do mundo real em um ambiente ou mundo virtual. A aplicação de ambientes virtuais no processo de manufatura está relacionada tanto com a manutenção e treinamento, como também a criação e simulação de protótipos virtuais antes de sua utilização no chão-de-fábrica. O uso de redes de Petri para modelagem de ambientes virtuais, mostra-se como uma poderosa ferramenta gráfica/matemática que pode capturar naturalmente as principais características dos sistemas de realidade virtual, além de proporcionar resultados empíricos interessantes na verificação automática de concorrência e sistemas de tempo real. Por permitir modelar a computação não determinística e paralela, a modelagem de ambientes virtuais com redes de Petri é adequada não apenas para simulação, verificação e validação desses sistemas, mas para o próprio controle dos ambientes modelados. Ao associar os elementos de uma rede de Petri com os elementos do paradigma orientado à objetos de um conjunto de classes que constituem os objetos que irão compor os ambientes virtuais e os sistemas de telepresença, obtém-se uma valiosa ferramenta para o controle dos métodos dos objetos virtuais e reais a serem invocados. O objetivo deste trabalho é o desenvolvimento do modo de associação de redes de Petri com objetos virtuais e reais para controle de ambientes virtuais imersivos e telepresença, com base na descrição de um sistema de autoria de telepresença com controle em RP. Os resultados obtidos trarão avanços quanto ao desenvolvimento e implantação de aplicações de manufatura virtual em um ambiente de visualização 3D imersivo. / The telepresence, as a refinement of teleoperation, allows the individual not only to control the simulation but also the own reality. Since this provides the ability to manipulate the physical reality remotely in real time, through its virtual representation. Through the technology of virtual reality, one can create a wide variety of environments suitable for all kinds of applications, enabling simulations of the situations in a real world environment or virtual world. The application of virtual environments in the manufacturing process is related to both the maintenance and training, and also the creation and simulation of virtual prototypes before their use in the shop-floor. The use of Petri nets for modeling virtual environments, shows itself as a powerful graphics/mathematics tool that can capture the main features of virtual reality systems, as well as offering interesting empirical results in automatic verification of concurrence and real time systems. By allowing to model non-deterministic and parallel computation, modeling of virtual environments with Petri nets is appropriate not only for simulation, verification and validation of these systems, but also for controlling the environments modeled. By associating the elements of a Petri net with the elements of the object oriented paradigm of a set of classes that are the objects that will compose the virtual environments and telepresence systems, one gets a valuable tool for controlling of the methods of virtual and real objects to be invoked. The objective of this work is the development of the mode of association of Petri nets with virtual and real objects for controlling immersive virtual environments and telepresence, based on the description of a telepresence authoring system controlled by PN. The results will bring progress on the development and deployment of virtual manufacturing applications in an immersive 3D visualization environment.