Página 1 dos resultados de 274 itens digitais encontrados em 0.054 segundos

Método de avaliação do modelo de processos de negócio do Enterprise Knowledge Development; Assessment method of the business process model of EKD

PÁDUA, Sílvia Inês Dallavalle de; INAMASU, Ricardo Yassushi
Fonte: Universidade Federal de São Carlos Publicador: Universidade Federal de São Carlos
Tipo: Artigo de Revista Científica
POR
Relevância na Pesquisa
106.25%
Apresenta o método de avaliação do modelo de processos de negócio do Enterprise Knowledge Development (MPN-EKD) e um exemplo de aplicação. Para criar o método de avaliação, foi desenvolvida a formalização do modelo de processos de negócio do EKD (MPN-EKD) e o mapeamento de sse modelo em redes de Petri. Por meio desse método, é possível verificar se o modelo tem erros de construção e travamentos. O EKD é uma metodologia que fornece uma forma sistemática e controlada de analisar, entender, desenvolver e documentar uma organização. A metodologia EKD não possui uma sintaxe e uma semântica bem definidas, dificultando análises mais complexas dos modelos e a verificação da consitência do modelo. Essa dificuldade motivou um estudo baseado em redes de Petri. O formalismo de redes de Petri a torna uma importante técnica de modelagem para a representação de processos. Além disso, redes de Petri permitem rastrear cada etapa da operação sem ambigüidade e possuem métodos eficientes de análise que garantem que o modelo está livre de erros.; The EKD - Enterprise Knowledge Development - is a methodology that offers a systematic and guided process to analyze, understand, develop, and document an Enterprise. Unfortunately...

Modelagem de custos em sistemas de manufatura utilizando redes de Petri. ; Cost modeling in manufacturing systems using Petri nets.

Silva, Andrea Ribari Yoshizawa da
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Dissertação de Mestrado Formato: application/pdf
Publicado em 10/06/2002 PT
Relevância na Pesquisa
106.24%
Apresenta uma análise da estimação de custos em sistemas de manufatura utilizando rede de Petri (PN), ferramenta gráfica e matemática para modelagem e simulação. Esta análise permite a apresentação de um sistema aplicável à programação e otimização de processos de fabricação aliadas à estimação dos custos ao longo do processo. Para uma determinada peça, a partir de conceitos sobre custeio de produtos, é proposto um modelo que visa conectar as transições da PN com as informações de custos de produção. O estudo de caso mostra que informações importantes à tomada de decisão podem ser obtidas através do uso de uma metodologia que incorpore planejamento de processos, métodos de custeio e redes de Petri. Finalmente, traz sugestão de um trabalho subseqüente: a partir do modelo proposto, implementar um template no editor/simulador de redes de Petri, Petri Net Tools 2000, capaz de realizar os cálculos necessários para estimativas de custo e fornecer resultados relevantes para um planejamento real.; This work presents a cost estimation analysis in manufacturing systems based in Petri net (PN), which is a graphical and mathematical tool. This analysis allows the presentation of a system, applicable to the programming and optimizing of manufacturing processes joined with cost estimation. A cost model is proposed using concepts of product costing. It seeks for connecting PN transitions to the data manufacturing cost of a certain part. The case study shows that important information to decision support can be found through the use of a methodology which joins process planning...

Aplicação da análise de mutantes no contexto do teste e validação de redes de Petri coloridas"; The application of mutation testing in the context of testing and validation of coloured Petri nets

Simão, Adenilso da Silva
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Tese de Doutorado Formato: application/pdf
Publicado em 17/12/2004 PT
Relevância na Pesquisa
106.27%
O uso de técnicas e métodos formais contribui para o desenvolvimento de sistemas confiáveis. No entanto, apesar do rigor obtido, em geral, é necessário que essas técnicas sejam complementadas com atividades de teste e validação. Deve-se ressaltar que o custo para eliminar erros encontrados nas etapas iniciais de desenvolvimento é menor do que quando esses erros são encontrados nas fases posteriores. Dessa forma, é essencial a condução de atividades de VV&T - Verificação, Validação e Teste - desde as primeiras fases de desenvolvimento. Critérios de teste, como uma forma sistemática de avaliar e/ou gerar casos de teste de qualidade e, dessa forma, contribuir para aumentar a qualidade da atividade de teste, têm sido investigados para o teste de especificação de Sistemas Reativos. A técnica Redes de Petri Coloridas tem sido constantemente utilizada para a especificação do aspecto comportamental de Sistemas Reativos. Apesar de existirem diversas técnicas de análise, um aspecto não considerado é a cobertura alcançada, visto que, em geral, a aplicação exaustiva não é viável devido ao alto custo. Considerando a relevância do estabelecimento de métodos sistemáticos para o teste e validação dessas especificações...

Desenvolvimento de metodologia de aplicação de redes de Petri para automação de sistemas industriais com controladores lógicos programáveis (CLP).; Development of methodology of application of Petri Net for automation of industrial systems with programmable logic controllers.

Souza, Fábio da Costa
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Dissertação de Mestrado Formato: application/pdf
Publicado em 25/10/2006 PT
Relevância na Pesquisa
106.29%
Devido às necessidades do mundo moderno, os sistemas de automação têm aumentado sua complexidade, fazendo com que sejam desenvolvidas ferramentas de engenharia cada vez mais poderosas para modelá-los e analisá-los. Em sistemas de automação industrial, os Controladores Lógicos Programáveis (CLPs) têm sido amplamente empregados. Os CLPs são geralmente programados por meio da linguagem de programação Ladder, uma das cinco linguagens definidas pela IEC 61131-3. Entretanto, apesar da linguagem de programação Ladder ser flexível e de fácil aprendizado por parte dos usuários, ela apresenta limitações quanto à: detecção de erros no algoritmo de controle do sistema de automação; torna as modificações muito trabalhosas e não possibilita a simulação, análise de performance e análise operacional do sistema. Este trabalho de pesquisa apresenta o desenvolvimento e os testes da metodologia denominada MARPASI - Metodologia de Aplicação das Redes de Petri em Automação de Sistemas Industriais. Como o desenvolvimento da MARPASI foi efetuado baseado na teoria de Redes de Petri, este trabalho também apresenta uma revisão bibliográfica sobre o tema de aplicação de Redes de Petri para a programação de CLP. A MARPASI possibilita analisar um sistema de automação por meio das Redes de Petri e na geração da linguagem de programação Ladder. Portanto...

Associação de redes de Petri com objetos virtuais e reais para controle de ambientes virtuais imersivos e telepresença; Association of Petri nets with virtual and real objects for controlling immersive virtual environments and telepresence

Oliveira, Claiton de
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Dissertação de Mestrado Formato: application/pdf
Publicado em 25/06/2008 PT
Relevância na Pesquisa
116.27%
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...

Arquitetura multiprocessada e reconfigurável para a síntese de redes de Petri em hardware

Oliveira, Tiago de; Marranghello, Norian
Fonte: Sociedade Brasileira de Automática Publicador: Sociedade Brasileira de Automática
Tipo: Artigo de Revista Científica Formato: 20-30
POR
Relevância na Pesquisa
116.3%
Uma arquitetura reconfigurável e multiprocessada para a implementação física de Redes de Petri foi desenvolvida em VHDL e mapeada sobre um FPGA. Convencionalmente, as Redes de Petri são transformadas em uma linguagem de descrição de hardware no nível de transferências entre registradores e um processo de síntese de alto nível é utilizado para gerar as funções booleanas e tabelas de transição de estado para que se possa, finalmente, mapeá-las num FPGA (Morris et al., 2000) (Soto and Pereira, 2001). A arquitetura proposta possui blocos lógicos reconfiguráveis desenvolvidos exclusivamente para a implementação dos lugares e das transições da rede, não sendo necessária a descrição da rede em níveis de abstração intermediários e nem a utilização de um processo de síntese para realizar o mapeamento da rede na arquitetura. A arquitetura permite o mapeamento de modelos de Redes de Petri com diferenciação entre as marcas e associação de tempo no disparo das transições, sendo composta por um arranjo de processadores reconfiguráveis, cada um dos quais representando o comportamento de uma transição da Rede de Petri a ser mapeada e por um sistema de comunicação, implementado por um conjunto de roteadores que são capazes de enviar pacotes de dados de um processador reconfigurável a outro. A arquitetura proposta foi validada num FPGA de 10.570 elementos lógicos com uma topologia que permitiu a implementação de Redes de Petri de até 9 transições e 36 lugares...

Modularidade em Redes de Petri

Barros, João Paulo
Fonte: Repositório Comum de Portugal Publicador: Repositório Comum de Portugal
Tipo: Tese de Doutorado
Publicado em //2006 POR
Relevância na Pesquisa
106.32%
Tese de Doutoramento apresentada à Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia; Desde o final da década de 60 que se debate a importância da utilização dos denominados métodos formais na Engenharia de Sistemas, em particular na Engenharia de Software. As redes de Petri constituem um método formal bem conhecido e ao qual são reconhecidas vantagens particulares, comparativamente a outras linguagens formais. No entanto, continuam a ser uma linguagem relativamente pouco conhecida fora da respectiva comunidade. Tal deve-se também ao facto de não existir uma quantidade suficiente de técnicas que permitam a sua fácil apreensão e utilização prática por parte de engenheiros sem formação ou experiência especial. Esta dissertação apresenta dois conjuntos de contribuições originais para contrariar esta situação: 1. Uma técnica, duas linguagens a ela associadas, e um tipo de diagramas, denominados diagramas de adição, para a especificação de composições e modificações de modelos em qualquer classe de redes de Petri. 2. Um conjunto de idiomas para a criação de modelos em redes de Petri construídos de acordo e com suporte para os principais conceitos do desenvolvimento orientado pelos objectos. O primeiro conjunto de contribuições é de aplicação geral a qualquer classe de redes de Petri definível na Petri Net Markup Language (PNML). Baseia-se no conceito de fusão de nós e define duas operações denominadas adição e subtracção. O segundo conjunto de contribuições permite a criação de modelos orientados pelos objectos...

Uma abordagem intervalar para a caracterização de intervalos de disparo em redes de Petri temporais

Lima,Evangivaldo A.; Lüders,Ricardo; Künzle,Luis Allan
Fonte: Sociedade Brasileira de Automática Publicador: Sociedade Brasileira de Automática
Tipo: Artigo de Revista Científica Formato: text/html
Publicado em 01/12/2008 PT
Relevância na Pesquisa
106.25%
As redes de Petri temporais são uma das extensões das redes de Petri convencionais para modelagem e análise de sistemas a eventos discretos temporizados. A cada transição da rede é associado um intervalo de tempo, o qual delimita o instante de disparo da transição. A análise das redes de Petri temporais tem sido feita por métodos enumerativos que relacionam todos os estados alcançáveis da rede. Neste artigo, usando recursos da álgebra intervalar e utilizando o conceito de classe de estados, é apresentada uma abordagem para resolver problemas relacionados à caracterização de intervalos de tempo de disparo em redes de Petri temporais. A partir de uma expressão algébrica, desenvolvida para cálculo de intervalos de tempo entre duas classes de estados consecutivas, obtém-se uma equação intervalar que possibilita o cálculo de intervalos de tempo entre duas classes de estados quaisquer. Assim, é possível calcular o intervalo de tempo para ocorrência de uma seqüência de eventos. Utilizando um método de redução da rede, a equação intervalar assume a forma matricial e, com isso, amplia a classe das redes de Petri temporais à qual a equação intervalar é aplicável. Por fim, uma aplicação explorando as potencialidades da equação intervalar no cálculo de medidas características de um sistema a eventos discretos temporizados é apresentada.

Arquitetura multiprocessada e reconfigurável para a síntese de redes de Petri em hardware

Oliveira,Tiago de; Marranghello,Norian
Fonte: Sociedade Brasileira de Automática Publicador: Sociedade Brasileira de Automática
Tipo: Artigo de Revista Científica Formato: text/html
Publicado em 01/03/2009 PT
Relevância na Pesquisa
116.24%
Uma arquitetura reconfigurável e multiprocessada para a implementação física de Redes de Petri foi desenvolvida em VHDL e mapeada sobre um FPGA. Convencionalmente, as Redes de Petri são transformadas em uma linguagem de descrição de hardware no nível de transferências entre registradores e um processo de síntese de alto nível é utilizado para gerar as funções booleanas e tabelas de transição de estado para que se possa, finalmente, mapeá-las num FPGA (Morris et al., 2000) (Soto and Pereira, 2001). A arquitetura proposta possui blocos lógicos reconfiguráveis desenvolvidos exclusivamente para a implementação dos lugares e das transições da rede, não sendo necessária a descrição da rede em níveis de abstração intermediários e nem a utilização de um processo de síntese para realizar o mapeamento da rede na arquitetura. A arquitetura permite o mapeamento de modelos de Redes de Petri com diferenciação entre as marcas e associação de tempo no disparo das transições, sendo composta por um arranjo de processadores reconfiguráveis, cada um dos quais representando o comportamento de uma transição da Rede de Petri a ser mapeada e por um sistema de comunicação, implementado por um conjunto de roteadores que são capazes de enviar pacotes de dados de um processador reconfigurável a outro. A arquitetura proposta foi validada num FPGA de 10.570 elementos lógicos com uma topologia que permitiu a implementação de Redes de Petri de até 9 transições e 36 lugares...

Mapeamento do modelo de processos de negócio do EKD em redes de Petri

Pádua,Silvia Inês Dallavalle de; Inamasu,Ricardo Yassushi
Fonte: Associação Brasileira de Engenharia de Produção Publicador: Associação Brasileira de Engenharia de Produção
Tipo: Artigo de Revista Científica Formato: text/html
Publicado em 01/01/2008 PT
Relevância na Pesquisa
116.14%
O EKD - Enterprise Knowledge Development - é uma metodologia que fornece uma forma sistemática e controlada de analisar, entender, desenvolver e documentar uma organização. Infelizmente não possui uma sintaxe e semântica bem definidas, dificultando análises mais complexas dos modelos. Como resultado, o modelo de processos de negócio do EKD pode ser ambíguo e de difícil análise, principalmente em sistemas mais complexos, não sendo possível verificar a consistência e completude do modelo. Neste trabalho, esses problemas serão tratados sob uma abordagem baseada em redes de Petri. Assim, este trabalho tem como objetivo apresentar o mapeamento do modelo de processos de negócios do EKD em redes de Petri. O mapeamento permitirá que o modelo de processos de negócios do EKD seja analisado de forma que seja possível verificar a consistência e completude do modelo.

O potencial das redes de Petri em modelagem e análise de processos de negócio

Pádua,Sílvia Inês Dallavalle de; Silva,Andrea Ribari Yoshizawa da; Porto,Arthur José Vieira; Inamasu,Ricardo Yassushi
Fonte: Universidade Federal de São Carlos Publicador: Universidade Federal de São Carlos
Tipo: Artigo de Revista Científica Formato: text/html
Publicado em 01/04/2004 PT
Relevância na Pesquisa
116.19%
A tecnologia de gerenciamento workflow procura oferecer uma solução flexível em apoio aos processos de negócios, por meio da facilitação de modificações e da criação de novos processos. Entretanto, a falta de definição bem formalizada no que se refere à sintaxe e à semântica de tais técnicas dificulta análises mais complexas dos modelos. Nesse caso, redes de Petri atuam com excelente potencial, uma vez que possuem representação gráfica, são de fácil aprendizado, funcionam como linguagem de comunicação entre especialistas de diversas áreas, possibilitam descrever aspectos estáticos e dinâmicos do sistema a ser representado e ainda possuem o formalismo matemático necessário para métodos de análise já consagrados. O presente trabalho tem por objetivo, primeiramente, oferecer uma visão atualizada do estado da arte na área de modelagem de workflow baseada em redes de Petri e expor um exemplo de modelo de workflow com parâmetros de tempo e custo associados às transições da rede. O objetivo secundário é apresentar conceitos importantes de redes de Petri, workflow e rotas de processos.

Uma metodologia para estimativa de área baseada em redes de Petri temporizadas para ambientes de sistemas de hardware/software co-design

Portela Machado, Albano; Romero Martins Maciel, Paulo (Orientador)
Fonte: Universidade Federal de Pernambuco Publicador: Universidade Federal de Pernambuco
Tipo: Outros
PT_BR
Relevância na Pesquisa
106.23%
A maioria dos sistemas electrônicos modernos consiste em hardware dedicado e componentes programáveis (chamados componentes de software). Ao longo dos últimos anos, o número de metodologias que aplicaram simultaneamente técnicas de diferentes áreas para desenvolver sistemas mistos de hardware e software tem crescido consideravelmente. Projetos concorrentes de sistemas mistos de hardware/software têm mostrado ser vantajoso quando considerado como um todo ao invés de se considerar entidades independentes. Hoje em dia, o mercado eletrônico demanda sistemas de alto desempenho e de baixo custo. Estes requisitos são essenciais para a competitividade de mercado. Além disso, um curto time-to-market é um fator importante. A demora no lançamento do produto causa sérias reduções no lucro, desde que é mais simples vender um produto quando se tem pouca ou nenhuma competição. Isto significa que facilitando o re-uso de projetos anteriores, uma rápida exploração de projeto, análise/verificação qualitativa em fases iniciais do projeto, prototipação e a redução do tempo requerido para testes, reduzem o tempo global exigido de uma especificação até o produto final. Ao projetar tais sistemas mistos de hardware/software...

Avaliação de desempenho de servidores de aplicação utilizando redes de Petri

Nogueira de Souza, Fábio; Souto Rosa, Nelson (Orientador)
Fonte: Universidade Federal de Pernambuco Publicador: Universidade Federal de Pernambuco
Tipo: Outros
PT_BR
Relevância na Pesquisa
116.06%
A plataforma J2EE (Java 2 Platform Enterprise Edition) especifica um ambiente de suporte ao desenvolvimento e execução de aplicações corporativas distribuídas. Diversos fornecedores oferecem implementações desta especificação, as quais são referenciadas como servidores de aplicação J2EE. Este mercado concorrido gera um novo desafio para departamentos de TI que compreende a avaliação e seleção de um produto J2EE adequado. A escolha de uma implementação é uma tarefa árdua uma vez que envolve uma avaliação conjunta de muitas características, tais como custo, desempenho, escalabilidade, flexibilidade e adaptabilidade, facilidades de uso e de gerenciamento, e conformidade com os padrões. Contudo, essa escolha é usualmente centrada em desempenho, uma vez que avaliar servidores de aplicação com base em todas as suas características é difícil. As abordagens atuais para avaliação de desempenho de servidores de aplicação têm se concentrado principalmente no uso da técnica de medição. Este trabalho, por sua vez, propõe a utilização de modelagem analítica e simulação, introduzindo uma abordagem para a avaliação de desempenho baseada em redes de Petri estocásticas. Para ilustrar a proposta...

Estimativa do consumo de energia devido ao software : uma abordagem baseada em redes de Petri coloridas

Nogueira de Oliveira Júnior, Meuse; Romero Martins Maciel, Paulo (Orientador)
Fonte: Universidade Federal de Pernambuco Publicador: Universidade Federal de Pernambuco
Tipo: Outros
PT_BR
Relevância na Pesquisa
116.23%
Esta tese tem seu foco na análise do consumo de energia de microprocessadores no contexto dos sistemas embutidos. Para tanto, são propostos dois modelos para simulação e análise. Tais modelos operam com base na descrição do conjunto de instruções da arquitetura alvo em redes de Petri coloridas. O primeiro modelo aplica as redes de Petri coloridas para a avaliação do comportamento do código frente a uma descrição determinística das instruções. O segundo estende o primeiro de forma a explorar o espaçoo de possibilidades de execução do código por meio da descrição probabilística dos possíveis uxos de execução. Uma taxonomia para a descrição dos elementos presentes nos perfis de execução e consumo é proposta. Com base em tal taxonomia, formaliza-se um mecanismo para a análise de consumo de energia devido ao software. A abordagem proposta oferece três contribuições básicas: (i) criação de modelos de descrição de arquiteturas sobre uma linguagem de modelagem formal, as redes de Petri coloridas; (ii) proposição de um modelo de descrição estrutural do software, no qual os possíveis uxos de execução estão explícitos na semântica de descrição; e (iii) proposição de um modelo probabilístico para descrição...

Modelagem de Redes de Transdutores Inteligentes Utilizando Redes de Petri

Lima de Melo, Israel; de Albuquerque Lapa, Tomás (Orientador)
Fonte: Universidade Federal de Pernambuco Publicador: Universidade Federal de Pernambuco
Tipo: Outros
PT_BR
Relevância na Pesquisa
116.18%
Devido aos requerimentos temporais nos processos industriais, o objetivo é obter informações a cerca do comportamento temporal do sistema de controle (constituído por transdutores inteligentes, barramento de campo e supervisão local) de um processo indústrial, de modo a garantir o funcionamento correto. Para isso utilizamos a teoria das redes de Petri para modelar o controle de supervisão local de um processo da indústria petroquímica, levando em consideração o barramento de campo único e compartilhado. O modelo obtido é simulado e como resultado são extraídas informações a cerca do comportamento temporal da comunicação, cujo protocolo de comunicação é o Foundation Fieldbus. Informações, como a ocupação do barramento pelas mensagens e a relação entre essa ocupação e número de dispositivos de campo, podem esclarecer algumas condições onde o desempenho tempo real de uma solução Foundation Fieldbus é aceitável ou não, e em que termos é aceitável ou não. Esta dissertação é uma contribuição aos trabalhos de Queiroz [1] e Barros [2], pois estes não consideram o barramento de campo único e compartilhado. A simulação do modelo em redes de Petri proporciona a visualização do comportamento temporal do sistema sem a necessidade de uma implementação previa...

Desdobramento para Redes de Petri K-Limitadas

Benito, Franck Carlos Vélez
Fonte: Universidade Federal do Paraná Publicador: Universidade Federal do Paraná
Tipo: Teses e Dissertações Formato: application/pdf
PORTUGUêS
Relevância na Pesquisa
106.26%
Resumo: Um dos problemas chave dos sistemas autômatos é o problema de alcançabilidade. A resolução deste mediante o grafo de alcançabilidade gera, sobretudo em sistemas do mundo real, o problema de explosão de estados. McMillan [12] propôs uma técnica chamada de unfolding – desdobramento – que gera uma nova rede, de complexidade menor que a do grafo de alcançabilidade, que contém o conjunto de estados alcançaveis, o que permite evitar a explosão de estados de sistemas modelados com redes de Petri. Esta técnica tem várias implementações, a maioria limitada para redes de Petri seguras, sendo que no contexto dos sistemas do mundo real, geralmente trabalha-se com um número limitado de recursos, frequentemente superior a uma unidade. Por esta razão, é importante disporse de uma implementação da técnica de desdobramento, mas para redes de Petri k-limitadas, que permitem modelar sistemas com um número limitado de recursos. Neste trabalho serão apresentados, além de conceitos importantes de redes de Petri e do processo de desdobramento, uma proposta de desdobramento para redes de Petri k-limitadas. Para a implementação foi escolhida uma das ferramentas de mais destaque na técnica de desdobramento. Após um estudo aprofundado desta ferramenta...

WI-BIO: redes de monitoramento de pacientes em ambientes de automação hospitalar utilizando o padrão IEEE 802.11

Souza, Vinícius Samuel Valério de
Fonte: Universidade Federal do Rio Grande do Norte; BR; UFRN; Programa de Pós-Graduação em Engenharia Elétrica; Automação e Sistemas; Engenharia de Computação; Telecomunicações Publicador: Universidade Federal do Rio Grande do Norte; BR; UFRN; Programa de Pós-Graduação em Engenharia Elétrica; Automação e Sistemas; Engenharia de Computação; Telecomunicações
Tipo: Tese de Doutorado Formato: application/pdf
POR
Relevância na Pesquisa
116.24%
The monitoring of patients performed in hospitals is usually done either in a manual or semiautomated way, where the members of the healthcare team must constantly visit the patients to ascertain the health condition in which they are. The adoption of this procedure, however, compromises the quality of the monitoring conducted since the shortage of physical and human resources in hospitals tends to overwhelm members of the healthcare team, preventing them from moving to patients with adequate frequency. Given this, many existing works in the literature specify alternatives aimed at improving this monitoring through the use of wireless networks. In these works, the network is only intended for data traffic generated by medical sensors and there is no possibility of it being allocated for the transmission of data from applications present in existing user stations in the hospital. However, in the case of hospital automation environments, this aspect is a negative point, considering that the data generated in such applications can be directly related to the patient monitoring conducted. Thus, this thesis defines Wi-Bio as a communication protocol aimed at the establishment of IEEE 802.11 networks for patient monitoring, capable of enabling the harmonious coexistence among the traffic generated by medical sensors and user stations. The formal specification and verification of Wi-Bio were made through the design and analysis of Petri net models. Its validation was performed through simulations with the Network Simulator 2 (NS2) tool. The simulations of NS2 were designed to portray a real patient monitoring environment corresponding to a floor of the nursing wards sector of the University Hospital Onofre Lopes (HUOL)...

Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)

Araújo, Ricardo Wagner de
Fonte: Universidade Federal do Rio Grande do Norte; BR; UFRN; Programa de Pós-Graduação em Engenharia Elétrica; Automação e Sistemas; Engenharia de Computação; Telecomunicações Publicador: Universidade Federal do Rio Grande do Norte; BR; UFRN; Programa de Pós-Graduação em Engenharia Elétrica; Automação e Sistemas; Engenharia de Computação; Telecomunicações
Tipo: Tese de Doutorado Formato: application/pdf
POR
Relevância na Pesquisa
126.19%
Este trabalho apresenta uma técnica de verificação formal de Sistemas de Raciocínio Procedural, PRS (Procedural Reasoning System), uma linguagem de programação que utiliza a abordagem do raciocínio procedural. Esta técnica baseia-se na utilização de regras de conversão entre programas PRS e Redes de Petri Coloridas (RPC). Para isso, são apresentadas regras de conversão de um sub-conjunto bem expressivo da maioria da sintaxe utilizada na linguagem PRS para RPC. A fim de proceder fia verificação formal do programa PRS especificado, uma vez que se disponha da rede de Petri equivalente ao programa PRS, utilizamos o formalismo das RPCs (verificação das propriedades estruturais e comportamentais) para analisarmos formalmente o programa PRS equivalente. Utilizamos uma ferramenta computacional disponível para desenhar, simular e analisar as redes de Petri coloridas geradas. Uma vez que disponhamos das regras de conversão PRS-RPC, podemos ser levados a querer fazer esta conversão de maneira estritamente manual. No entanto, a probabilidade de introdução de erros na conversão é grande, fazendo com que o esforço necessário para garantirmos a corretude da conversão manual seja da mesma ordem de grandeza que a eliminação de eventuais erros diretamente no programa PRS original. Assim...

Modelagem e simulação de processos biológicos usando redes de petri predicado transição diferenciais

Tomiyama, Michele Nasu
Fonte: Universidade Federal de Uberlândia Publicador: Universidade Federal de Uberlândia
Tipo: Dissertação
POR
Relevância na Pesquisa
106.31%
O objetivo deste trabalho é o de propor uma abordagem baseada em modelos híbridos para o estudo de processos biológicos. Inicialmente, um estudo sobre modelagem matemática de sistemas foi realizado afim de buscar as ferramentas mais apropriadas para a mode- lagem de processos biológicos. Diversos modelos de processos biológicos foram encontrados na literatura, utilizando as mais variadas ferramentas de modelagem (equaçõe diferenci- ais, autômatos híbrios e redes de Petri). O modelo híbrido utilizado nesta proposta são as redes de Petri predicado transições diferenciais. As redes de Petri predicado transições difer- enciais combinam comportamentos contínuos e discretos em um único modelo. A parte contínua do modelo é representada por um conjunto de equações diferenciais e a parte disc- reta é representada por uma rede de Petri predicado transição. Baseados nesta abordagem, foram feitos três estudos de casos para mostrar validade da abordagem. Estes três estudos de casos foram modelados utilizando as redes de Petri predicado transição ao diferenciais e, posteriormente, foram simulados com a utilização da linguagem de programação MatLab. Os resultados obtidos com as simulações forneceram bases para análises quantitativas dos modelos construídos...

Um modelo para o ensino do processo de negociação policial baseado em redes de Petri; Teaching model of the Police negotiation based on Petri nets

Viana, Sidney Pontes
Fonte: Universidade Federal de Alagoas; Brasil; Programa de Pós-Graduação em Modelagem Computacional de Conhecimento; UFAL Publicador: Universidade Federal de Alagoas; Brasil; Programa de Pós-Graduação em Modelagem Computacional de Conhecimento; UFAL
Tipo: Dissertação
POR
Relevância na Pesquisa
116.22%
Teaching model of the Police Negotiation Process Based on Petri Nets is a study that aims to help the teaching process of strategic negotiation in critical situations involving hostages, allowing the improvement of the Military Police of the State of Alagoas in non-routine police reports. Two types of research were used in the methodology construction of this study: literature research through printed and electronic sources, as well as field research, questionnaires and interviews with military policemen working at the Center of Crisis Management, Human Rights and Community Police (CGCDHPC) in the State of Alagoas. Initially, it discussed the Learning Environment, focusing them as a support system to the learning process. Strategies of persuasion are formally defined in order to be applied in the police negotiation process. We understood the process of strategic negotiation in situations where hostages are involved. We studied different teaching models of the strategic negotiation process. At the end of the study the following results were achieved: proposal for a working model of the persuasion techniques, propose an organizational model of strategic negotiation process and formalization of the model of negotiation process where hostages are involved...