• 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.
401

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

Lima, Francisco Paulo de Oliveira. January 2009 (has links)
Orientador: José Alcides Gobbo Junior / Banca: José Paulo Alves Fusco / Banca: Fernando Bernardi de Souza / Banca: Mário Sacomano Neto / Resumo: 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... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: 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) / Mestre
402

Alian?as estrat?gicas enquanto formas microorganizacionais em coopera??o competitiva: o caso da Rede Universit?ria de Incubadoras Tecnol?gicas de Cooperativas Populares - Rede de ITCPs / Strategical alliances while interorganizationais forms in competitive cooperation: The Case of the University Net of Incubadoras Technological of the Peoples Cooperatives - Net of ITCPs

Oliveira, Fernando Porf?rio Soares de 19 May 2006 (has links)
Made available in DSpace on 2014-12-17T14:53:17Z (GMT). No. of bitstreams: 1 FernandoPSO.pdf: 492161 bytes, checksum: 7d1ef5318566c9b041e602617b1650f7 (MD5) Previous issue date: 2006-05-19 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / At present, the network re appear like alternatives of find forms in arrangements inter-organizational that offer his members better opportunities of modernizes technological, insertion in the market, managerial and at the same time permit the exchange of experiences, information and knowledge for fortify and compete of equal for equal, permitting brighten up the harmful effects of the compete wild. A threat that can be minimized by the organization in net and the use of other forms interorganizational and strategic alliances. Therefore the demonstrates the context of the competitive cooperation in network, seeking criteria of analysis of that phenomenon organizational, on the basis of a study of case of the net ITCPs and in the literature researched, aimed with that criterion and indicator for creation of a model of evaluation in the future (Factor Net) that be prominent for the drawing of those forms organizational you maintained, supportive, competitive and cooperative / Atualmente, as redes re-aparecem como alternativas de encontrar formas em arranjos interorganizacionais que ofere?am aos seus integrantes melhores oportunidades de moderniza??o tecnol?gica, inser??o no mercado, gerencial e ao mesmo tempo permitam a troca de experi?ncias, informa??es e conhecimentos para fortalecer e competir de igual para igual, permitindo amenizar os efeitos danosos da concorr?ncia selvagem. Uma amea?a que pode ser minimizada pela organiza??o em rede pelo uso de outras formas interorganizacionais e alian?as estrat?gicas. Portanto, o trabalho demonstra o contexto da coopera??o competitiva em redes, buscando crit?rios de an?lise desse fen?meno organizacional, com base num estudo de caso da rede ITCPs e na literatura pesquisada, apontando com isso crit?rios e indicadores para a cria??o de um modelo de avalia??o, no futuro (Fator Rede), que seja relevante para o desenho dessas formas organizacionais sustent?veis, solid?rias, competitivas e cooperativas
403

Modelagem e análise de performance de sistemas flexíveis de manufatura baseado em redes de Petri temporizadas: estudo de caso na indústria automobilística. / Modeling and performance analysis of flexible manufacturing systems using timed Petri nets: case study in automobilistic industry.

Rossini Sálvio Bomfim dos Santos 20 June 2008 (has links)
A necessidade de aumento de produção, da redução de custos e do aumento da qualidade de bens de consumo, tem motivado a constante evolução dos sistemas de produção, migrando os tradicionais sistemas de produção para os modernos e complexos sistemas de manufatura, onde a performance depende da eficiência dos equipamentos e do controle do processo. Por outro lado, a eficiência dos equipamentos depende de sua confiabilidade e manutenabilidade. Neste trabalho a análise de performance é avaliada com o uso de Rede de Petri p-t-Temporizada e através de simulações, incluindo a avaliação da confiabilidade do processo pela análise da otimização da saída do sistema, isto é, quantidade de itens produzidos. Nesta abordagem, uma lógica linear foi desenvolvida e validada utilizando-se uma comparação de resultados das classes de estados do algoritmo proposto com a ferramenta de simulação Tina para um modelo de um esquema produtor consumidor. Apresenta-se um estudo de caso na indústria automotiva, consistindo na análise dos problemas reais enfrentados em uma fábrica de carrocerias, com o uso da Rede de Petri p-t-Temporizada. / The necessity of growing in production, with reduction of costs and improvement in the quality of consumption good, has motivated the constant evolution of production systems, transforming traditional production systems into the modern and complex manufacturing systems, where the performance depends on the efficiency of the equipment and process control. On the other hand, the equipment efficiency depends of their reliability and maintainability. In this work it is proposed a performance evaluation and analysis with the use of p-t- Timed Petri Nets using simulations, including process reliability analysis of the system through the throughput optimization, i.e., produced amount of goods. In this approach, a linear logic statement was developed and validated using a comparison of results of classes of states between the Tina simulation environment and the algorithm considered for a model of a producing consuming system. A case study in the automotive industry is presented, consisting of the analysis of the real problems found in a body shop plant, with the use of Timed Petri Net.
404

Verificação formal de sistemas discretos distribuídos. / Formal verification of distribuited discrete systems.

Pedro Manuel González Del Foyo 07 December 2009 (has links)
O presente trabalho trata da verificação e design de sistemas complexos, especificamente da verificação de sistemas de tempo real concorrentes e distribuídos. Propõe-se uma técnica enumerativa para a verificação formal de modelos que permite determinar a validade de propriedades quantitativas, além das qualitativas. A técnica proposta separa a construção do espaço de estados dos algoritmos de rotulação das fórmulas temporais, o que possibilita a diminuição da complexidade do processo de verificação, tornando-o viável para aplicações práticas. A técnica proposta foi inicialmente aplicada sobre modelos de redes de Petri temporizadas e depois em uma rede unificada chamada GHENeSys para aproveitar as características de abstração, hierarquia e de elementos de interação chamados pseudo-boxes. A definição da rede GHENeSys foi modificada para permitir a modelagem de sistemas onde os requisitos temporais devem ser expressos através de atrasos e prazos como e o caso dos sistemas de tempo real. A rede suporta ainda mecanismos de refinamento tanto para os elementos ativos quanto os passivos. A demonstração da manutenção de propriedades como invariantes, vivacidade, limitação assim como da validade de fórmulas lógicas no processo de refinamento constitui um aspecto fundamental no projeto de sistemas complexos, e foi portanto revista em detalhes para a rede GHENeSys. Alguns exemplos práticos são apresentados para avaliar o desempenho dos algoritmos e um estudo de caso finaliza a apresentação, onde se pode contrastar os algoritmos propostos com os implementados na ferramenta UPPAAL. / This work deals with the process of design and verification of complex systems, mainly real time, concurrent and distributed systems. An enumerative technique is proposed for model-checking which is capable of determining both quantitative and qualitative properties. The proposed technique detach the algorithm for labeling the formula being checked from the state space construction, allowing a better result in the verification process. This model-checking approach shows itself valuable in practical applications. This approach was first applied to systems modeled by Time Petri Nets and further extended to a unified net called GHENeSys, which includes abstraction and hierarchy concepts as well as elements for data and control interchange, called pseudo-boxes. The GHENeSys definition was modified in order to deal with systems in which temporal requirements can be expressed through delays and deadlines as in the real-time systems. The GHENeSys environment supports a refinement technique applied to both passive and active elements. Net properties like invariants, liveness, boundedness and also the validity of temporal formulas was proved to be maintained through the refinement process if some conditions are satisfied. Such characteristics are useful to deal with complex systems design. Some experiments based on well known academic articles were used to avaliate the performance of the algorithms and a case study is presented in order to compare obtained results with those obtained using the UPPAAL tool.
405

Modelagem e análise de sistemas flexíveis de manufatura tolerantes à falhas baseado em rede Bayesiana e rede de Petri. / Modeling and analysis of flexible manufacturing systems based in Bayesian networks and Petri nets.

Roy Andres Gomez Morales 02 October 2009 (has links)
O objeto de estudo deste trabalho é a construção de modelos que permitam a estruturação do projeto do controle de sistemas flexíveis de manufatura que considerem não somente estados de operação normal, mas também estados anormais, isto é, em situações de falhas. Entende-se como falha o desvio de pelo menos uma propriedade do sistema que leva o mesmo a um estado de defeito, que por sua vez se define como um comportamento incomum, não projetado, do sistema sob estudo, que finalmente é manifestado como um defeito. Sistemas flexíveis de manufatura são sistemas que executam múltiplos processos visando à produção de diversos bens. O processo é um conjunto de ações de transformação que por sua parte requerem um conjunto de recursos que são compartilhados por outros processos simultaneamente. Sistemas flexíveis de manufatura envolvem um número relativamente grande de componentes, máquinas, equipamentos e operadores humanos, que interagem de maneira diversificada manipulando um grande conjunto de informação e diferentes materiais em ambientes que podem até ser agressivos. Independentemente de qualquer programa de manutenção, falhas são eventos que são possíveis de acontecer em qualquer sistema de tal natureza. Num ambiente ideal, o funcionamento de todos os componentes poderia ser monitorado com o objetivo de detectar as falhas prematuras, mas devido ao custo envolvido, isso se torna inviável. Neste sentido surge o desafio de detectar as falhas a partir da observação do contexto do funcionamento do processo, mediante a monitoração de alguns parâmetros, em geral de fácil acesso, e tomando em consideração manifestações (sintomas) das falhas de um ponto de vista qualitativo. O presente trabalho propõe a utilização de redes Bayesianas para o diagnóstico de falhas em sistemas flexíveis de manufatura. As redes Bayesianas constituem uma ferramenta útil para a representação das relações que existem entre as causas (componentes em estado de falha) e os sintomas (observações anormais do processo). A partir deste modelo, inferências podem ser feitas para o diagnóstico do sistema.Por outro lado, nos últimos anos a rede de Petri tem sido utilizada exitosamente na representação dos aspectos de controle de sistemas produtivos e particularmente de sistemas de manufatura e, desta forma, considera-se aqui tal ferramenta para a modelagem do sistema não só em condições normais de funcionamento como também para a representação do tratamento de falhas, no contexto de um sistema tolerante a anomalias do processo. Especial ênfase é dada à estruturação de uma metodologia que permita a concepção de um procedimento eficaz para a construção de modelos de controle. / The objective of the present work is the construction of models proper for the easy implementation of flexible manufacturing control systems able to handle not only with normal behavioral conditions, but with abnormal (or faulty) behavior as well. A fault is defined as a deviation of at least one system property that drives the system into an error state. An error is defined as an uncommon behavior, not expected from the system functionalities. Flexible manufacturing systems are systems that execute multiple processes for the production of several items in several ways. A process is a sequence of certain transformation tasks that require a set of resources shared simultaneously by multiple processes. In this sense, flexible manufacturing systems are constituted of a relatively great number of devices, machines, equipments and human operators that work together manipulating great quantities of information and materials. This work is usually performed in aggressive environments. So, independent of any maintenance program, faults are events that cannot be totally avoided. In an ideal environment, the monitoring of all components is the way to avoid faults. Nevertheless, due to the cost involved, this is an impossible task. In this context, there is a challenge to properly detect faults from the observation of the systems context, through the monitoring and observation of some parameters in general easy to access, including also qualitative information from operators. In the present work, it is proposed the use of Bayesian networks for the fault diagnosis in flexible manufacturing systems. Bayesian networks constitute a useful tool for the modeling of the causal relation between the causes (faulty components) and the symptoms (manifestations). Based on this model, inference can be done for the system diagnosis task. Additionally, in the last years Petri net has been successfully used for the modeling of control systems of productive systems and particularly, manufacturing control systems. In this work, beyond the use of Petri net for the modeling of normal situations of the system, Petri net is used for the modeling of the fault treatment techniques. This drives the system tolerance to faults. Especial emphasis is laid into methodological issues that allows for the structuration of a systematic procedure proper for the modeling and construction of control systems.
406

Modelagem de sistema de controle de ar condicionado baseado em redes de Petri. / Air conditioning control systems modelling using Petri nets.

Antonio Gabriel Souza Almeida 16 October 2008 (has links)
Dentre as tendências de uso racional de recursos, principalmente energia, e da necessidade de assegurar a produtividade e qualidade na execução de atividades produtivas, destaca-se o conceito de edifício inteligente. Este ambiente materializa o conceito de integração dos sistemas prediais potencializando a otimização dos recursos e a eficiência do trabalho humano. Neste contexto, abordagens conceituais baseadas em sistemas a eventos discretos e técnicas derivadas de rede de Petri têm sido introduzidas como uma alternativa eficaz de modelagem e análise das soluções de integração dos sistemas prediais. Um resultado expressivo destas iniciativas são os métodos propostos para a modelagem e análise de estratégias de gerenciamento de sistemas de ar condicionado, utilizando uma abordagem híbrida, onde são considerados os aspectos de sistemas a eventos discretos e as variáveis de dinâmica contínua. Contudo, as abordagens e métodos existentes são limitados a soluções específicas de implementação, como os sistemas de ar condicionado com volume de ar contínuo. Assim, o presente trabalho introduz uma extensão destas abordagens para modelar e analisar soluções de automação predial que incluem sistemas de ar condicionado com volume de ar variável. A eficiência deste método na concepção e validação destas soluções é ilustrada através de um estudo de caso. / Among the trends of rational use of resources, especially energy, and the need to ensure productivity and quality in the implementation of productive activities, there is the concept of intelligent building. This environment materializes the concept of integrating building systems, powering the optimization of resources and the efficiency of human labor. In this context, conceptual approaches that are based on systems of discreet events and techniques, which are derived from the Petri nets, have been introduced as an effective alternative to modeling and analysis of solutions of building systems integration. A significant result of these initiatives are the proposed methods for modeling and the analysis of strategies for air conditioning systems management using a hybrid approach where the aspects of systems of discreet events and the variables of continuing dynamic are considered. However, the existing methods and approaches are limited to their specific implementation solutions, such as air conditioning systems with continuous volume of air. Thus, this work introduces an extension of these approaches to model and analyze the building automation solutions that include air conditioning systems with variable volume of air. The efficiency of this method in the design and validation of these solutions is illustrated through a case study.
407

Modelagem sistêmica do processo de melhoria contínua de processos industriais utilizando o método seis sigma e redes de Petri. / Systemic modeling of industrial processes continuous improvement through Six Sigma method and Petri nets.

Bruno Oliveira Mororó 24 October 2008 (has links)
A globalização reforça a necessidade das empresas aprimorarem seus processos e produtos continuamente para se manterem competitivas e atenderem às expectativas de um mercado dinâmico e de acionistas cada vez mais exigentes, que buscam maximizar seus lucros. A melhoria contínua acima mencionada não se refere apenas à qualidade percebida pelo consumidor final, mas também à qualidade e confiabilidade dos processos de produção. Desta forma, quando as empresas têm melhores processos, melhores são os produtos originados e também os seus custos. Porém, a questão é como esses processos são modelados na fase de projeto e como ferramentas de qualidade, sobretudo o Seis Sigma metodologia mais em voga na atualidade podem utilizar tais modelos para obter melhores resultados. Essa dissertação propõe a utilização de ferramentas de modelagem e simulação tais como as Redes de Petri para modelagem de processos produtivos fornecem um modelo formal para a representação de sistemas de produção, capturando aspectos inerentes a tais sistemas como concorrência, paralelismo e sincronização suportando a aplicação da metodologia Seis Sigma, a qual geralmente atua somente no nível de melhoria do processo produtivo e não do projeto que o originou. Dessa forma, essa dissertação trás uma proposta de integração entre os times que projetam o processo e os que executam a produção, demonstrando tal viabilidade por meio da análise dos projetos/modelos durante a aplicação da metodologia Seis Sigma. É realizado um estudo de caso na estamparia de uma indústria automotiva que ilustra a aplicação da metodologia proposta. / The globalization strengthens the necessity for companies to improve its processes and products in order to remains competitive and to attend expectations of a dynamic market and shareholders each time more demanding and eager to maximize their profits. The continuous improvement mentioned above, is not related only to the quality perceived by the final consumer, but also to the quality and reliability of the production processes. Therefore, as better processe the company gets, as better would be their final products and as lower would be the costs. However, the question is wheter a continuous improvement using Six Sigma could benefit from the design documentation for the target process returning also an improved documentation after the cycle is completed. This work considers the use of Petri Nets for production processes modeling - even if any other design and modeling representation would return similar results - supporting the Six Sigma methodology application. The main result is a proposition of continuous improvement life cycle that maintains the design documentation consistent and up-to-date. Thus, this work pursuits the integration between the teams that design processes and those who implement them in the manufacturing plant. To show the potential of the models analysis during Six Sigma projects a case study is analyzed for the Press Shop area in an Automotive Industry.
408

Contributions to the efficient switch placement and automatic restoration of power distribution systems / ContribuiÃÃes para posicionamento eficiente de chaves e restauraÃÃo automÃtica de redes de distribuiÃÃo de energia elÃtrica

Josà Roberto Bezerra 16 December 2015 (has links)
Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico / The demand for electricity grows in the same way as the consumers requirement for an uninterrupted supply. Many reliability indices are applied by regulatory agencies, utilities and consumers for measuring the power systems reliability. The improvement of such indices has been required by regulatory agencies and pursued by energy distributors. Therefore, the application of automatic restauration systems has gained relevance as a support tool for control center operators for a quick and secure restauration of faulty electric networks. This work proposes two contributions to the restoration process of radial power system networks. The former is a multiobjective algorithm for effective switch placement in distribution networks. Multiobjective optimization techniques are applied to achieve a set of non-dominated solutions rather than an unique one. Therefore, the decision making for switch placement is eased by the flexibility given from the multiple solutions. The latter contribution is a model for automatic restoration of power distribution networks adaptable to the network topology changes and able to ensure the operational security of the power system network. The proposed model is based on coloured Petri nets as the modelling tool. Reusability and extensibility features have been pursued and implemented on the proposed model. As a result, the needed time to restore faulty power system networks is reduced without compromising its operational security. Case studies are presented demonstrating the benefits to the power system distribution utilities obtained with the deployment of the proposed tools to improve the reliability of the power system networks. / A demanda por energia elÃtrica cresce e de igual modo a exigÃncia dos consumidores pela continuidade do seu fornecimento. Diversos Ãndices de confiabilidade sÃo utilizados por agÃncias reguladoras, concessionÃrias e consumidores para aferir a continuidade dos sistemas elÃtricos de potÃncia. A melhoria de tais Ãndices vem sendo requisitada por agÃncias reguladoras e perseguida pelas concessionÃrias de energia. Para tanto, o uso de sistemas de restauraÃÃo automÃtica vem ganhando destaque como uma ferramenta de apoio a operadores de centros de controle para a restauraÃÃo rÃpida e segura de redes elÃtricas em situaÃÃes de falta. Este trabalho apresenta duas contribuiÃÃes para a restauraÃÃo automÃtica de redes radiais de distribuiÃÃo de energia. A primeira consiste em um algoritmo para o posicionamento eficiente de chaves telecontroladas em redes de distribuiÃÃo. TÃcnicas de otimizaÃÃo multiobjetivo sÃo aplicadas para obter-se como resultado um conjunto de soluÃÃes nÃo-dominadas ao invÃs de uma Ãnica soluÃÃo. Com isso, a tomada de decisÃo para o posicionamento eficiente de chaves na rede elÃtrica à facilitado pela flexibilidade das mÃltiplas soluÃÃes oferecidas pelo algoritmo proposto. A segunda contribuiÃÃo do trabalho consiste em um modelo para restauraÃÃo automÃtica da rede de distribuiÃÃo de energia adaptÃvel Ãs mudanÃas de topologia e que garante a seguranÃa operacional da rede elÃtrica. O modelo proposto fundamentou-se em Redes de Petri Coloridas como ferramenta de modelagem. CaracterÃsticas de reusabilidade e extensibilidade foram buscadas e implementadas no modelo proposto. Como resultado, o tempo necessÃrio para restaurar redes elÃtricas em condiÃÃo de falta à reduzido sem comprometer a seguranÃa do sistema elÃtrico. Estudos de caso sÃo apresentados evidenciando os benefÃcios para concessionÃrias de distribuiÃÃo de energia com a implementaÃÃo das ferramentas propostas para melhoria da confiabilidade da rede elÃtrica.
409

Redes de poder e governança local : análise da gestão político-administrativa em três fóruns de desenvolvimento com atuação na região Oeste de Santa Catarina/Brasil

Rover, Oscar José January 2007 (has links)
Esta tese estuda processos de governança do desenvolvimento local, identificando em que medida a descentralização democrática contribui na qualificação de processos de desenvolvimento. Para analisar as implicações práticas desta reflexão se escolheu como sujeito-objetos de estudo três fóruns de governança regional (FDR), os quais atuam em territórios definidos como essencialmente rurais e propõem a integração de atores e setores nos processos de tomada de decisão. Estes fóruns são definidos como instituições de governança local. Eles são ambientes de negociação, deliberação e implementação de políticas públicas, com propósito manifesto de defesa do interesse público, entendido como distribuição universalista e inclusiva dos bens da sociedade. Entretanto, eles atuam num cenário no qual os atores sociais mais organizados crescentemente agem em variadas escalas territoriais ao mesmo tempo, com capacidade de mobilizar mais facilmente recursos e ativos para atendimento de seus interesses. Considerando este cenário e o propósito manifesto pelos fóruns de governança local, se verificou o quanto eles se aproximavam ou distanciavam de dois tipos ideais: as noções de “democracias de alta intensidade” e “desenvolvimento como liberdade”. Com base nisto se procurou identificar em que medida é possível conciliar o interesse público e a limitada capacidade de grupos e atores sociais, com a autonomia e os interesses privados de múltiplos agentes que buscam realizar seus objetivos. Partiu-se da constatação de que os mais capazes e autônomos tendem a dominar os espaços públicos em detrimento dos mais vulneráveis social, econômica e politicamente. Identificou-se no estudo que a governança do desenvolvimento local pode expressar um viés mais civil ou cívico. Ao primeiro se denominou de governança civil, identificando-a por dinâmicas nas quais a satisfação dos direitos individuais prevalece aos direitos coletivos; a autonomia privada precede a autonomia pública dos espaços institucionais; os conflitos de interesse favorecem os atores com mais capacidades, através de mecanismos de seletividade política; e na qual a legitimação dos fóruns passa pela satisfação de interesses privados. Ao segundo viés se denominou de governança cívica onde, no extremo oposto, a satisfação dos direitos coletivos tende a prevalecer sobre os direitos individuais; a autonomia pública dos espaços institucionais precede a autonomia privada; se privilegia a construção do interesse público, através da constituição de normas, procedimentos e da busca de horizontalidade de representação para seleção de programas, projetos e destinação de recursos. Num viés de governança cívica a forma de legitimação dos espaços institucionais passa pela precedência dos interesses e dos espaços públicos ante aos privados. Governança civil e cívica são também indicadas como tipos-ideais que podem ser utilizados para verificar o quanto a gestão pública realizada por um fórum de desenvolvimento local/regional se aproxima mais de uma ou outra. No estudo empírico realizado se verificou que os FDR se aproximam fortemente do viés civil de governança, marcados por suas faces realistas, às quais se denominou de governança oligárquica e governança tutelada/legitimadora. Na primeira, a tomada de decisão se restringe a grupos seletos que hegemonizam redes de poder e que envolvem atores com mais capacidades, autonomia e poder; na segunda, se expressa uma limitada autonomia administrativa e financeira dos FDR em relação aos órgãos de governo, além de as decisões tomadas por eles privilegiarem a legitimação de políticas previamente elaboradas em escalas superiores de poder, ou por redes e grupos hegemônicos. Apesar os processos estudados serem analisados em sua limitada capacidade de gerar uma governança cívica, se pondera que estes fóruns de governança trazem alguns avanços históricos quando comparados a formas centralizadas de governo. / This thesis studies local development’s governance instruments, identifying in which way the democratic decentralization contributes to the qualification of development procedures. In order to analyse the practical implications of this reflection three regional government forums (FDR) were chosen as subject-objects of this study; they operate in territories defined as fundamentally rural and recommend the integration of actors and sectors in the decision-making process. These forums are defined as local governance institutions, constituting places of negotiation, deliberation and implementation of public politics created with the expressive aim of defending the public interest, understood as the universalistic and inclusive distribution of society’s goods. Meanwhile, they perform in a scenario in which the more organized social actors increasingly operate in diverse territorial scales at the same time, mobilizing more effectively resources and actives to assure their own interests. Considering this scenario and the expressed intentions of the local governance forums, it was verified an approach or move away from two ideal-types: the notions both of “high intensity democracies” and “development as freedom”. Considering this, the aim was to identify in which way it is possible to conciliate the public interest and the limited capabilities of groups, with the autonomy and private interests of multiple agents who wish to accomplish their own goals. The early assumption that constituted the starting point of this work was that the more capable and autonomous actors tend to dominate the public spaces to the detriment of those who are more socially, economically and politically vulnerable. The study identified both a civil and a civic bias used to perform local development governance. The first one was named civil governance, identifiable by the dynamics in which the satisfaction of individual rights outweighs the collective ones; the private autonomy precedes the public autonomy of the institutional spaces; the conflicts of interests favour the actors who possess more capabilities, through political selectivity mechanisms, and the legitimating of the forums is made possible by the satisfaction of private interests. The second bias, which was named civic governance, intends to satisfy the collective rights in the first place; the public autonomy of the institutional spaces precedes the private one; it benefits the public interest, through the constitution of norms, proceedings and the search for a horizontal representation in order to select the programs, projects and resources’ destinations. In a civic governance bias, the legitimating of institutional spaces is only made possible by the priority given to public spaces and interests. Civil and civic governance are also indicated as ideal-types which can be used to verify how much the public management of a local/regional development forum approaches one or the other. The empirical research demonstrated that the FDR strongly approach the civil governance bias, manifested by its realistic features, which were denominated “oligarchic governance” and “tutorial/legitimating governance”. In the first one, the decision-making is restricted to selected groups that control the power nets, which include actors who possess higher levels of autonomy, power and capabilities; in the second one, it becomes evident the FDR’s limited level of administrative and financial autonomy towards government organs; besides, their decisions favour the legitimating of politics that were previously elaborated by higher power scales or by hegemonic nets and groups. Nevertheless, in spite of their limited capability to produce civic governance, it is suggested that these governance forums constitute historical advances when compared to centralized ways of governance.
410

Modelagem temporal de sistemas : uma abordagem fundamentada em redes de petri / Temporal modeling of information systems: a Petri net based approach

Antunes, Dante Carlos January 1997 (has links)
Neste trabalho e proposta a abordagem TempER-Tr, uma técnica de modelagem conceitual, fundamentada em rede de Petri, que integra a especificação das propriedades dinâmicas de um sistema a um modelo de dados temporal do tipo entidade relacionamento. Um modelo ou esquema conceitual descreve as propriedades identificadas de um sistema a ser desenvolvido. Estas propriedades podem ser classificadas em propriedades estáticas e propriedades dinâmicas As propriedades estáticas descrevem os estados que o sistema pode alcançar, enquanto que as propriedades dinâmicas descrevem as transições entre estes estados. A modelagem conceitual das propriedades estáticas é normalmente conhecida como modelagem de dados. A modelagem das propriedades dinâmicas é denominada de modelagem funcional ou comportamental. Mais especificamente, o modelo TempER-Tr é uma extensão de um trabalho anterior, conhecido como ER-Tr. No modelo ER-Tr, para descrever as propriedades estáticas de um sistema utiliza-se o modelo entidade-relacionamento convencional. No modelo TempER-Tr passa-se a adotar um modelo entidade-relacionamento temporal. Aliado a isto, uma nova linguagem de anotação, baseada em SQL, com mais poder de expressão é proposta. O modelo entidade-relacionamento convencional não possui dispositivos de modelagem capazes de especificar restrições que envolvam a associação dos objetos com o tempo, exigindo que isto se faca ao nível da modelagem das propriedades dinâmicas. Em um modelo entidade-relacionamento convencional, os conjuntos de entidades e relacionamentos apresentam apenas duas dimensões: a primeira refere-se as instâncias (linhas) e a segunda aos atributos (colunas). Em uma abordagem entidade relacionamento temporal, uma nova dimensão e acrescentada: o eixo temporal, possibilitando que as restrições temporais decorrentes da associação entre os objetos possam ser especificadas ao nível do modelo estático. Um requisito importante a ser preenchido por um modelo de dados temporal é permitir que em um mesmo diagrama seja possível associar objetos (entidades, relacionamentos ou atributos) temporalizados com objetos não temporalizados. lsto porque em sistemas de informação alguns dados precisam ser explicitamente referenciados ao tempo e outros não, ou porque não mudam com o tempo, ou porque é irrelevante ao usuário saber quando os fatos ocorreram. O modelo de dados temporal proposto neste trabalho, denominado TempER, pressupõe que todas as entidades, sejam elas temporalizadas ou não temporalizadas, apresentam uma "existência", ou seja, uma validade temporal. No caso das entidades temporalizadas esta existência é um subconjunto de pontos do eixo temporal. Em virtude disto são chamadas de entidades transitórias. Em relação as entidades não temporalizadas, e assumido que "existem sempre", ou seja, a sua validade temporal é constante, implícita e igual a todo o eixo temporal. Por isto são denominadas entidades perenes. Tanto as entidades transitórias quanto as entidades perenes, são focalizadas pelo modelo TempER através de duas perspectivas: uma intemporal e outra temporal. Através da perspectiva intemporal as entidades apresentam duas dimensões, semelhança do que ocorre em um modelo entidade-relacionamento convencional. Através da perspectiva temporal as entidades apresentam três dimensões, as duas convencionais e mais o tempo. Enquanto que o modelo de dados temporal descreve as propriedades estáticas de um sistema, o modelo comportamental, a outra face da abordagem TempER-Tr, focaliza as transações executadas no interior do sistema, em resposta a eventos que ocorrem no ambiente externo. Estas transações, quando efetivadas, provocam mudanças de estados no sistema. Entretanto, para estarem habilitadas a ocorrer, é necessário que um determinado conjunto de restrições dinâmicas sejam atendidas, o que se configura em um comportamento análogo ao de uma rede de Petri. O modelo TempER-Tr é completamente mapeável, inclusive o modelo de dados temporal, para a rede CEM, um tipo de rede de Petri de alto nível. Isto permite que a sua semântica seja formalmente especificada e possibilita o aproveitamento das características das redes de Petri. / This dissertation presents TempER-Tr approach. TempER-Tr is a conceptual modeling technique based on Petri nets that integrates the specification of the dynamic properties of system to a temporal entity-relationship data model. A model or conceptual schema describes the identified properties of a system. These properties can be classified into static and dynamic properties. The static properties describe the states that the system can reach, while the dynamic properties describe the transitions between the states. The conceptual modeling of the static properties is usually known as data modeling, while behavioral or functional modeling deals with dynamic properties. The TempER-Tr model is an extension of a model known as ER-Tr. In the ER-Tr model, the conventional entity-relationship model is used to describe the static properties of a system. In the TempER-Tr model, it is adopted a kind of temporal entityrelationship model. In addition, a new notation language is proposed, based on SQL, with more expression power. The conventional entity-relationship model doesn't provide tools to specify constraints that involve the association of objects with the time dimension, requiring that this have to be done at the dynamic properties modeling level. At the conventional entityrelationship model the entities and relationships sets present just two dimensions: the first one is related to the instance (lines) and the second to the attributes (columns). At a temporal entity-relationship approach, a new dimension is added: the time line. This way, the temporal constraints can be specified at the level of the static diagrams. An important requirement to be supplied by any temporal data model is the possibility to relate, into the same diagram, time-varying objects with time-invarying objects. This is due to the fact that in information systems some data need to be explicitly related to time and others don't, either because they don't change with time, or because users don't need to know when the facts occurred. • The temporal data model proposed in this work, nominated TempER, presupposes that all entities, being them time-varying or time-invarying, have an "existence", or a temporal validity. At the time-varying entities, named transitory entities, this existence is a subset of points from the time line. In time-invarying entities, named perennial entities, it is assumed that they "always exist", i.e., their temporal validity is constant, implicit, and equal to all points of the time line. Transitory entities, as much as perennial entities, are focused by the TempER model through two perspectives: a temporal perspective and a non-temporal perspective. Through the non-temporal perspective the entities present two dimensions - lines and columns - similar to a conventional entity-relationship model. Through the temporal perspective the entities present three dimensions: the two conventional dimensions and, in addition, the time dimension. While the temporal data model describes the static properties of a system, the behavioral model in the TempER-Tr approach focus the transactions that are executed by the system, in response to the events that occur at the external environment. A certain set of dynamic constraints must be attended so that transactions are enable to occur. This configures a behavior similar to a Petri net. The TempER-Tr model is completely mappeable, inclusive the temporal data model, to the CEM net, a kind of high level Petri net. This way, the semantic of TempER-Tr model is formally specified. In addition, the utilization of the characteristics of Petri nets is possible.

Page generated in 0.0832 seconds