• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 272
  • 212
  • 54
  • 38
  • 26
  • 12
  • 8
  • 5
  • 5
  • 4
  • 4
  • 3
  • 3
  • 2
  • 2
  • Tagged with
  • 720
  • 388
  • 225
  • 129
  • 77
  • 68
  • 65
  • 62
  • 60
  • 53
  • 53
  • 49
  • 49
  • 47
  • 47
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
511

Educação nas redes: professores em cotidianos de produções televisivas / Education in networks: teachers in everyday television productions

Rosa Helena de Mendonça 04 February 2014 (has links)
O que fazem profissionais de educação numa produção televisiva? Nesta pesquisa, por meio de 'conversas' com praticantespensantes que atuam em produção de TV, e no uso de outros documentos (programas editados, argumentos, textos e roteiros), busco responder a essa pergunta e compreender as redes de conhecimentos e significações relativas aos espaçostempos de ação desses profissionais, entendidos como entre-lugares de educação e comunicação. A pesquisa, na perspectiva dos estudos com os cotidianos, se articula ao GRPESQ Currículo, redes educativas e imagens, do Laboratório Educação e Imagem/ProPEd/UERJ, e busca apoio em conversas/narrativas com/de professores que trabalharam/trabalham em televisão em especial, no programa Salto para o Futuro integrando a equipe de educação da TV Escola (MEC), ou atuando como consultores de séries temáticas. Sobre o assunto, também foram ouvidos responsáveis pela assessoria pedagógica dos canais Encuentro e Pakapaka, na Argentina, em doutorado-sanduíche, com o apoio da Capes. Como fundamentação teórica, além de pesquisas com os cotidianos, a partir de textos de Michel de Certeau, de Nilda Alves e de Inês Barbosa de Oliveira, dos quais emergem algumas das noções que permeiam essa investigação, ressalto a contribuição de autores da sociologia, como Pierre Bourdieu e Boaventura de Sousa Santos e, ainda, de represe ntantes dos chamados estudos culturais, entre eles Jesús Martín-Barbero, Nestor Canclini, Stuart Hall, Homi Bhabha entre outros. A questão do outro, da alteridade, que permeia a tese, em sua tessitura com narrativas e imagens, busca inspiração também nos escritos e em conversas com Carlos Skliar e nos textos de Jorge Larrosa. As conclusões possíveis destacam a importância das ações desses profissionais (professores) nesses espaçostempos televisivos. / What do professionals in education do in a television production? This research is an attempt to answer this question not only through conversations with the practitioners engaged in television production but also through sources such as edited programmes, arguments , texts and scripts. In doing so, I intend to understand the net of knowledge and meanings related to the so called space-times of action (here understood as an in-between place belonging to both education and communication fields) of these professionals. This work, under the perspective of everyday life studies, is aligned with the research group entitled Curriculum, educational networks and images, from the Education and Image Laboratory of the post graduation program in Education (ProPEd) of the University of Rio de Janeiro State (UERJ). It concentrates in talks with and narratives of educators who worked and have been working either as members of TV Escola which belongs to the Ministry of Education (MEC) or consultants of a particular educational television program entitled Salto para o Futuro. The ones responsible for the pedagogical consultancy of the channels Encuentro and Pakapaka from Argentina have also been interviewed thanks to a doctorate program supported by Capes. The theoretical framework is based on the writings of Michel de Certeau, Nilda Alves and Ines Barbosa de Oliveira; besides them, the contributions of the sociological thinkers Pierre Bourdieu and Boaventura de Souza Santos as well as some representatives of cultural studies such as Jesús Martín Barbero, Nestor Canclini, Stuart Hall, Homi Bhabha, among others, have also been used. Issues about the other and alterity have found inspiration in Carlos Skliar and Jorge Larrosas texts. The possible conclusions made highlight the relevance of the actions of these professionals (teachers) in this space-time television environment
512

Policiais migrantes : identidades profissionais em movimento

Calazans, Márcia Esteves de January 2010 (has links)
Cette thèse a pour bilán l’analyse des constructions des identités professionelles des policiers militaries qui transitent entre la surveillance ostensive-répressive et ostensive-préventive dans la Brigada Militar. Nous cherchons à compreendre les différentes motivations qui les mettent en movement et analysons les differents réseaux forgés par des connexions interpersonnels et organization en tant que groupe. Le processus de formations des flux migratoires, à lintérieur de l’appareil policier militaire est rendu possible par lês réseaux qui se forment entre le lieu d’origine et celui de destination. / O presente estudo analisa a construção das identidades profissionais de policiais militares que migram de grupos e atividades profissionais que têm como base o policiamento ostensivo repressivo para grupos e atividades desenvolvidas no policiamento ostensivo preventivo, desvelando a mobilidade e os trajetos construídos pelos integrantes deste grupo, os processos relativos aos diferentes caminhos percorridos à sua organização atual: as suas vivências profissionais e a rede constituída por estes, a qual dá sustentação à migração, e às múltiplas relações que estabelecem com a comunidade de origem e com a comunidade hospedeira. / This study analyses the construction of professional identities of military policemen who migrate from groups and professional activities based on repressive ostensive policing to groups and activities based on preventive ostensive policing, unveiling the mobility and the paths constructed by the members of this group, the processes related to the different ways that were crossed steering to its present organization: their professional experiences, and the net composed by these people which sustains the migration and the multiple relations established with the original community and the host community.
513

Proposta de uma abordagem metodológica para analisar como os fatores posicionais influenciam as prioridades competitivas

Lima, Francisco Paulo de Oliveira [UNESP] 02 July 2009 (has links) (PDF)
Made available in DSpace on 2014-06-11T19:26:17Z (GMT). No. of bitstreams: 0 Previous issue date: 2009-07-02Bitstream added on 2014-06-13T19:13:25Z : No. of bitstreams: 1 lima_fpo_me_bauru.pdf: 454929 bytes, checksum: 25cf40e2b3ae2b2f1732342607410f42 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / O presente estudo propõe-se a apresentar uma abordagem metodológica para analisar como os fatores posicionais influenciam as prioridades competitivas de uma empresa focal e dois atores que fazem parte da rede de empresas do setor metal-mecânico da região de Bauru - SP. Consubstanciado na teoria das redes, pressupõe-se que o ambiente em que as organizações operam é estruturado por vínculos produtivos, de negócios, de inovação tecnológica, de cooperação e de coordenação estabelecidos entre os atores, inclusive no que se refere aos seus aspectos qualitativos. Dentro do campo da teoria, há uma crescente preocupação em se compreender como a posição estrutural e relacional, entre os atores econômicos de uma determinada rede, possa influenciar o desempenho e o comportamento estratégico de manufatura das organizações. Com o passar dos tempos e a globalização, configura-se uma profunda necessidade de mudanças estrutural e arranjos organizacionais, tais como redes horizontais e verticais entre empresas e a conseqüente criação de novos modelos conceituais, para a gestão e avaliação de desempenho organizacional. A conseqüência de toda essa mudança é o conjunto de oportunidades que surgem para as empresas e fornecedores de insumos, a partir dos fatores posicionais: estrutural e relacional, dos atores de uma rede de empresas do setor metal-mecânico. Esta pesquisa tem como objetivo, propor uma abordagem para analisar como os fatores de posicionamentos (estrutural e relacional) influenciaram as prioridades competitivas de uma organização focal. A questão central a que este trabalho remete é saber como os diferentes posicionamentos dos atores influenciam as prioridades competitivas da empresa focal de uma rede de empresas do setor metal-mecânico. A partir de uma abordagem teórica, sugere-se uma exemplo de caso empírico com o intuito de avaliação em caráter... / The present study is a proposal of approach in order to anlyse how positional factors influence competitive priorities of a focal company in a net of enterprises of metal-mechanic sector in Bauru (SP) region. Embodied in the theory of networks, it is assumed that the environment in which organizations operate is structured by productive relationships, business, technological innovation, cooperation and coordination established between the agents, including with respect to its qualitative aspects. Within the field of theory, there is a growing concern to understand how the structural position and relationship between the economic agents of a given network, can influence the performance and strategic behavior of manufacturing organizations. As time passes and with globalization, there is a deep necessity of structural change and organizational arrangements, such as vertical and horizontal nets between enterprises and the consequent criation of new conceptual models to administration and performance evaluation of the organization. The consequence of all this change is the number of opportunities arising for companies and suppliers of inputs, from the positional factors: structural and relational, the agents of a companies network in the metal-mechanical industry. It is presupposed in this research that the concept of operation strategies has mainly focused tanglible aspects in the context of unit of interprise analysis, without worrying about untangible aspects in the context of analysis of enterprise nets. This work will present approach of position factors analysing (structural and relational) in relation to competitve priorities (quality, trust, flexibility, speed, cost and innovation) of a focal company of metal-mechanic sector and justify the qpplication of this methodology in a net of companies of metal-mechanic sector. From a theorical approach, it is suggested an example of empirical... (Complete abstract click electronic access below)
514

Uma técnica para a modelagem de estruturas de decisão / A technique for the decision structure modelling

Cazella, Sergio Ery January 1997 (has links)
Considerando as complexidades envolvidas no processo de tomada de decisão nas organizações de hoje, é fácil ver que este processo representa um ponto importante para a obtenção de vantagens na competição pelo mercado. Portanto, observa-se que a função de gerenciamento é fundamental para a empresa, seja qual for o seu setor de atividade, tamanho, complexidade e tecnologia dos produtos ou serviços por ela oferecidos. Por este motivo, é importante que seja dada uma atenção particular ao aperfeiçoamento desta função e, para que isto seja possível, é necessário que, primeiro, seja feita uma análise detalhada do Sistema de Gerenciamento existente na empresa através da utilização de uma ferramenta que permita criar um modelo que represente as informações necessárias. De acordo com esta necessidade, este trabalho tem como objetivo propor uma técnica que auxilia na criação do modelo da Estrutura de Decisão associada ao Sistema de Gerenciamento da empresa. A técnica descrita está baseada no método de refinamentos sucessivos, e visa permitir que, a partir do modelo macro da estrutura de decisão, sejam criados modelos específicos, com um nível de formalização adequado para a implementação de sistemas de informação automatizados, que possam apoiar o processo da tomada de decisão. A preocupação principal foi propor uma técnica que forneça a facilidade de uma ferramenta gráfica, a qual permita um rápido aprendizado e proporcione ao analista um canal de comunicação com o usuário, assim como também permita a criação de um modelo com um alto grau de detalhamento. Para que isto seja possível a proposta alia o uso das Redes de Petri e do modelo TF-ORM. Ao final é apresentado um estudo de caso focando a estrutura de decisão em um ambiente de manufatura, o qual é utilizado para mostrar a aplicação prática da técnica. / Considering the complexities involved in the process of decision-taking in organizations nowadays, it is easy to realize that this process represents an important point in the acquisition of advantages concerning the competition for the market. Therefore, it is observed that the function of the management is fundamental to the enterprise, whatever its section of activity, size, complexity, technology of its products or services are. That is why it is important to give particular attention to the improvement of that function, and for that to be possible, first it is necessary to do a detailed analysis of the Management System that exists in the enterprise through the utilization of a tool which permits to create a model to represent the needed information. According to this necessity, this paper proposes a technique which helps in the creation of a model of the Decision Structure associated with the Enterprise Management System. This technique has been based on the method of successive refinement and aims at allowing to be created, from the macro model of the decision structure, specific models and with a formalization level adequate to the implement of automatic information's systems that can support the process of decision-taking. The goal was to propose a technique that provides the facility of a graphic tool and permits a fast learning, providing the analyst with a way to communicate with the user, as well as it should permit the creation of a model with a high level of details. For this to be possible, the proposal associates the use of Petri Nets and TF-ORM model together. At the end a case study focusing on the decision structure in a manufacturing environment, with is used to show the practical application of the technique is presented.
515

Policiais migrantes : identidades profissionais em movimento

Calazans, Márcia Esteves de January 2010 (has links)
Cette thèse a pour bilán l’analyse des constructions des identités professionelles des policiers militaries qui transitent entre la surveillance ostensive-répressive et ostensive-préventive dans la Brigada Militar. Nous cherchons à compreendre les différentes motivations qui les mettent en movement et analysons les differents réseaux forgés par des connexions interpersonnels et organization en tant que groupe. Le processus de formations des flux migratoires, à lintérieur de l’appareil policier militaire est rendu possible par lês réseaux qui se forment entre le lieu d’origine et celui de destination. / O presente estudo analisa a construção das identidades profissionais de policiais militares que migram de grupos e atividades profissionais que têm como base o policiamento ostensivo repressivo para grupos e atividades desenvolvidas no policiamento ostensivo preventivo, desvelando a mobilidade e os trajetos construídos pelos integrantes deste grupo, os processos relativos aos diferentes caminhos percorridos à sua organização atual: as suas vivências profissionais e a rede constituída por estes, a qual dá sustentação à migração, e às múltiplas relações que estabelecem com a comunidade de origem e com a comunidade hospedeira. / This study analyses the construction of professional identities of military policemen who migrate from groups and professional activities based on repressive ostensive policing to groups and activities based on preventive ostensive policing, unveiling the mobility and the paths constructed by the members of this group, the processes related to the different ways that were crossed steering to its present organization: their professional experiences, and the net composed by these people which sustains the migration and the multiple relations established with the original community and the host community.
516

Synthèse de contrôleurs des systèmes à évènements discrets basée sur les réseaux de Petri / Petri Net - Based Controller Synthesis for Discrete Event Systems

Vasiliu, Andra Ioana 03 February 2012 (has links)
La méthode des invariants est une des plus utilisées méthodes de synthèse pour les SED modélisés par des réseaux de Petri (RdP). Cependant, elle ne garantit pas en général une solution optimale dans la présence de l'incontrôlabilité. Dans ce travail nous proposons une solution à ce problème pour les RdP généralisés. Premièrement, nous proposons une solution d'identification des contraintes admissibles pour les RdP saufs non-conservatifs. La méthode repose sur une définition des contraintes contenant des marquages complémentés. Ceux-ci sont après éliminés en exploitant les composants conservatifs des RdP. Deuxièmement, nous avançons une technique de détermination des contraintes admissibles pour les RdP généralisés. La méthode est basée sur une vision spatiale de l'espace d'états du modèle. Les contraintes sont dérivées de l'équation d'hyperplan affin qui sépare les régions interdite- et autorisée- de cet espace. Nous proposons un algorithme pour le calcul du contrôleur optimal minimal. / The place-invariants method is one of the most popular controller synthesis approaches for Petri net (PN) modeled DES. Unfortunately, the observance of the constraints is not certain in the presence of uncontrollable transitions. This thesis offers a solution to this problem for ordinary and generalized PNs. We begin by studying safe non-conservative PNs, and devising a constraint-determination technique that will always provide a set of admissible constraints for this type of model. The approach stems from the general definition of forbidden states --- that of marking vectors. In the second part of our work, we present an admissible constraint-determination technique for generalized PNs. The method is based on a special view of the system's state space. The constraints are derived from the equation of the affine hyper-plane separating the authorized- and forbidden- regions of this space. We propose an algorithm that allows the identification of the minimal maximally permissive controller.
517

Um método para modelagem de controle de AMS usando redes de Petri virtuais / A modeling method for AMS control using virtual Petri Nets

Araújo, Rodrigo Guimarães 29 May 2006 (has links)
Made available in DSpace on 2016-06-02T19:05:49Z (GMT). No. of bitstreams: 1 3569.pdf: 2552721 bytes, checksum: b67cadf34336e157d59bd554dfc7534e (MD5) Previous issue date: 2006-05-29 / An Automated Manufacturing System (AMS) is a production system where a discrete number of raws is processed and assembled by controlled machines and/or robots. Controlling AMS is a complex task, due to the several sub-systems that compose it and the need for attending strategic production issues and market. The AMS control complexity increases with the necessity of production and technologic resources. The studies related to AMS control normally consider specific features of the system. Some authors propose solutions considering architecture, some others consider approaches by modular nets, others consider mathematic analysis; and so, each study has its contribution in a specific point. This work considers a wider set of features related to the problem of modeling AMS control. It is presented different options of architecture, different ways to concern hierarchically about the problem, the use of Petri Nets as a way to represent graphically the problem conserving the mathematic formalisms, simulation, and the use of a graphic software that treat all the options before. The proposal of this work is indicate a modeling method for AMS control that considers all features related to its control. This method proposes eight elaboration stages of the model. The stands consider the elements in a specification level more generic and, gradually, they are more detailed. In some stands, simulations are applied with the objective of validate what has been modeled. The work ends with the application of the method to a hypothetic FMS. It is considered a production planning for five types of products in determined quantities. The method application is considered effective, since trough the simulation of the model, it can be verified that all the products are produced according to the production plan proposed and that eventual deadlocks and conflicts can be avoided. / Um sistema automático de manufatura (AMS) é um sistema de produção onde um número discreto de matérias-primas é processado e montado por máquinas controladas e/ou robôs. Fazer o controle de um AMS é uma tarefa complexa pela existência de vários subsistemas e elementos que o compõem, e também pela necessidade de responder a questões estratégicas de produção e mercado. A complexidade de controle de AMS aumenta com as necessidades de produção e recursos tecnológicos. Os trabalhos relativos a controle de AMS normalmente consideram características específicas do sistema. Alguns autores propõem soluções considerando a arquitetura, outros consideram abordagens por redes modulares, alguns consideram análise matemática; e assim, cada trabalho faz sua contribuição em um ponto mais especifico. Este trabalho busca considerar um conjunto mais abrangente de características inerentes ao problema de modelagem de controle de AMS. Nele são apresentadas várias abordagens inerentes às diversas características encontradas em um AMS. São mostradas diferentes opções de arquiteturas, formas diferentes de abordar hierarquicamente o problema, o uso de redes de Petri como forma de representar graficamente o problema conservando o formalismo matemático, simulação, e o uso de um software gráfico que contemple todas as opções anteriores. A proposta do trabalho é indicar um método de modelagem de AMS que considere as características inerentes ao seu controle. Este método propõe oito etapas de elaboração do modelo. As etapas consideram os elementos em um nível de especificação mais genérico e que, gradualmente, vão sendo mais detalhados. Em algumas etapas são feitas simulações no intuito de validar o que já tenha sido modelado. O trabalho chega ao fim com a aplicação do método de modelagem sobre um FMS hipotético. É considerado um planejamento da produção para cinco tipos de produtos em quantidades determinadas. A aplicação do método se mostra eficaz uma vez que, através da simulação do modelo, pode-se verificar que todos os produtos são fabricados conforme o plano de produção proposto e que eventuais deadlocks e conflitos podem ser evitados.
518

Método de resolução de deadlocks no controle de produção de sistemas de manufatura automatizados utilizando redes de Petri coloridas

Souza, Wesley Willy Oliveira de 01 July 2011 (has links)
Made available in DSpace on 2016-06-02T19:06:03Z (GMT). No. of bitstreams: 1 4911.pdf: 4490259 bytes, checksum: 94cfbdb804ef2f55cb81e1163b1c6ad4 (MD5) Previous issue date: 2011-07-01 / Universidade Federal de Sao Carlos / Resources sharing is one of the main characteristics of Automated Manufacturing Systems (SMA), this characteristic can be a synonym of advantages but on the other hand it may lead to the problem of deadlock. Several papers have suggested methods and techniques to reduce or eliminate the occurrence of deadlocks in SMA systems. The deadlock resolution strategies suggested in the literature can be classified into the following types: deadlock detection and recovery, deadlock prevention and deadlock avoidance. This work proposes a resolution method for the control of automated manufacturing systems using colored Petri nets, the main goal of the proposed method is to provide a deadlock-free production controller. To model, simulate and implement the technique in a production controller a dedicated software is used to model the Petri Nets. Initially, a model using Colored Petri Nets is proposed, then changes in the model are introduced in order to eliminate the deadlocks, resulting in a Colored Petri net control model of the SMA. Finally the model is implemented in the scenario of a Flexible Manufacturing System for testing and validation of the method. / O Compartilhamento de recursos é uma das principais características dos Sistemas de Manufatura Automatizados (SMA), esta característica pode ser um sinônimo de vantagens, mas por outro lado pode levar ao problema de deadlock. Diversos trabalhos têm sugerido métodos e técnicas para reduzir ou eliminar a ocorrência de deadlocks em SMA. As estratégias de resolução de deadlock sugerido na literatura podem ser classificados nos seguintes tipos: detecção e recuperação de deadlocks, prevenção de deadlocks e de deadlock. Este trabalho propõe um método de resolução para o controle de sistemas de manufatura automatizados utilizando redes de Petri coloridas, o principal objetivo do método proposto é obter um controlador da produção livre de deadlocks. Para modelar, simular e implementar a técnica em um controlador de produção um software dedicado é usado para modelar a rede de Petri. Inicialmente, um modelo usando Redes de Petri Coloridas é proposto, então mudanças são introduzidas, a fim de eliminar os deadlocks, resultando em um modelo de rede de Petri de um SMA livre de deadlock. Finalmente o modelo é implementado no cenário de um Sistema de Manufatura Flexível para testes e validação do método.
519

Sistemática para avaliação de desempenho na prestação de serviços: o caso do processo de novas ligações em empresa de distribuição de energia elétrica

Araújo, Manuel Edervaldo Souto 26 September 2011 (has links)
Made available in DSpace on 2015-05-08T14:53:27Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 2050762 bytes, checksum: d03ea0191257aa516c9df03c51af0335 (MD5) Previous issue date: 2011-09-26 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This study proposes a systematic method for evaluating the performance of service delivery through process modeling and failure analysis. The implementation of the proposal took place in a distribution company of electricity (COELCE), in which he was elected New Process Connections as an object of study for the following reasons: This process helps to reduce the deficit of households without electricity in the country and showed a high rate of irregularities pointed out by regulators from providing that service here has to justify the choice of process and not the company. This is a case study, with secondary data were collected in books, websites, internal documents COELCE and scientific publications (journals, dissertations and theses). We obtained the primary data in reading and statistical analysis of company documents to the investigator assigned by the managers of the process, meetings with experts COELCE before, during and after field research, and intensive direct observation of the teams responsible for the physical connections of the units consumers. The methodology proposed by the tool is composed of colored Petri nets for modeling process New Links and techniques of failure analysis (FTA Fault Tree Analysis) and FMEA (Failure Mode and Effects Analysis). The systematic validation enabled: first - viewing different phases and activities of the process; second - identification of critical functions and potential failure of the process, the third - the formulation of action plan by the researcher to improve the process of New Connections. The action plan was endorsed by the group of experts COELCE, which collaborates with the research, from the exploratory phase. The use of integrated techniques proposed in this paper contributes to scientific knowledge by using the approach of process modeling and analysis techniques of failures in service businesses, especially in regard to the reduced number of work in this area. It is noteworthy that the systematics can be applied to other companies in the services sector can contribute in improving the performance of the processes analyzed. / Este estudo propõe uma sistemática para avaliar o desempenho da prestação de serviços por meio da modelagem de processos e análise de falha. A aplicação da proposta ocorreu em uma empresa de distribuição de energia elétrica (COELCE), na qual elegeu-se o Processo de Novas Ligações como objeto de estudo pelos seguintes motivos: esse processo contribui para reduzir o déficit de domicílios sem energia elétrica no país e apresentava elevado índice de irregularidades apontadas pelos órgãos reguladores da prestação desse serviço público. Trata-se de um estudo de caso cujos dados secundários foram coletados em livros, sites, documentos internos da COELCE e publicações científicas (periódicos, dissertações e teses). Obteve-se os dados primários em leitura e tratamento estatístico de documentos da empresa cedidos ao pesquisador pelos gestores do processo, reuniões com especialistas da COELCE, antes, durante e após pesquisa de campo, e observação direta intensiva das equipes responsáveis pelas ligações físicas das unidades consumidoras. A sistemática proposta é composta pela ferramenta redes de Petri Coloridas para modelagem do Processo de Novas Ligações e as técnicas de análise de falhas FTA (Fault Tree Analysis) e FMEA (Failure Mode and Effects Analysis). A validação da sistemática permitiu: primeiro - visualização de diferentes fases e atividades do processo; segundo identificação de funções críticas e falhas potenciais do processo; terceiro - formulação de plano de ação pelo pesquisador para melhoria do Processo de Novas Ligações. O plano de ação foi validado pelo grupo de especialistas da COELCE, que colabora com a pesquisa, desde a fase exploratória. A utilização das técnicas de forma integrada proposta neste trabalho contribui para o conhecimento científico por utilizar a abordagem de modelagem de processos e técnicas de análise de falhas em empresas de serviço, principalmente no que tange ao reduzido número de trabalho nesta área. Vale ressaltar que a sistemática pode ser aplicada em outras empresas do setor de serviços podendo contribuir na melhoria do desempenho dos processos analisados.
520

Implementação de modelos de redes de Petri em hardware de lógica reconfigurável

Antiqueira, Perci Ayres 15 December 2011 (has links)
Neste trabalho de pesquisa, foi realizado um estudo dos principais tipos de ferramentas para modelagem de hardware buscando-se verificar as vantagens da utilização de Redes de Petri para a modelagem de sistemas dinâmicos e concorrentes e de sua implementação em hardware. Observou-se que apesar de existirem ferramentas para esta finalidade, existem pontos que podem ser trabalhados para facilitar o acesso a esta tecnologia. Assim, foi desenvolvido um método para facilitar a implementação de sistemas modelados em Redes de Petri, em hardware de lógica reconfigurável. Para isto, utilizou-se um software de captura onde, a partir do gráfico do modelo em Rede de Petri, é gerado um arquivo de descrição no formato PNML - Linguagem de Marcação para Rede de Petri (Petri Net Markup Language). A partir desta descrição, é gerado um arquivo de descrição de hardware no formato VHDL - Linguagem de Descrição de Hardware VHSIC (VHSIC Hardware Description Language), que pode ser gravado em um circuito de lógica reconfigurável. Para possibilitar esta etapa, foi realizado o desenvolvimento de uma ferramenta que gera um arquivo em linguagem VHDL a partir da descrição no formato PNML. A ferramenta desenvolvida é descrita em detalhes, mostrando todas as etapas e critérios utilizados na conversão. Para validar o método, é mostrado um exemplo de aplicação com a implementação em FPGA - Matriz de Portas Programável em Campo (Field Programmable Gate Arrow), de uma Rede de Petri modelando uma planta industrial hipotética. Finalmente é feita uma comparação de desempenho entre o modelo executado em hardware com o modelo executado em software. / In this research work, was performed a study of main types of hardware modeling tools searching to verify the advantages of utilizing for modeling dynamic and concurrent systems and for its hardware implementation. It was observed that even though there are tools for this purpose, exists some points that may be worked out to facilitate access to this technology. So, was developed a method for facilitate implementation of systems modeled in Petri nets, in reconfigurable logic hardware. For that, was utilized a capture software where, from the graphic of the Petri net model, is generated a description in PNML (Petri Net Markup Language) format. From this description, is generated a hardware description file in VHDL (VHSIC Hardware Description Language) format, that may be loaded in a reconfigurable logic circuit. To make possible this stage, was performed the development of tool that generate a file in VHDL language from the description in PNML format. The developed tool is described in details, showing all stages and criteria utilized in the conversion. To validate the method, is showed an application example for this toll with the implementation in FPGA (Field Programmable Gate Arrow), of a Petri net modeling a hypothetic industrial plant. Finally, a performance comparison is made between the model executed in hardware and the model executed in software.

Page generated in 0.0734 seconds