Made available in DSpace on 2015-03-03T15:08:46Z (GMT). No. of bitstreams: 1 RicardoWA.pdf: 1646499 bytes, checksum: efcc744c6ff7cea26befa0adbedb8c6a (MD5) Previous issue date: 2005-09-02 / 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, a convers?o automatizada ? de suma import?ncia para evitar que a convers?o manual nos leve a erros indesej?veis, podendo invalidar todo o processo de convers?o. A principal contribui??o deste trabalho de pesquisa diz respeito ao desenvolvimento de uma t?cnica de verifica??o formal automatizada que consiste basicamente em duas etapas distintas, embora inter-relacionadas. A primeira fase diz respeito fias regras de convers?o de PRS para RPC. A segunda fase ? concernente ao desenvolvimento de um conversor para fazer a transforma??o de maneira automatizada dos programas PRS para as RPCs. A convers?o autom?tica ? poss?vel, porque todas as regras de convers?o apresentadas seguem leis de forma??o gen?ricas, pass?veis de serem inclu?das em algoritmos

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.

Made available in DSpace on 2014-12-17T14:53:13Z (GMT). No. of bitstreams: 1 BelchiorOR.pdf: 1696414 bytes, checksum: 5786f663eb3492765f7fd96b27c3309f (MD5) Previous issue date: 2006-05-19 / The last decade, characterized by the vertiginous growth of the computers worldwide net, brought radical changes in the use of the information and communication. Internet s use at business world has been largely studied; however, few are the researches about the academic use of this technology, mainly if we take into consideration institutions of technologic education. In this context, this research made an analysis of internet s use in a technologic education institution in Brazil, analyzing, in particular, the Centro Federal de Educa??o Tecnol?gica do Rio Grande do Norte CEFET/RN for that standard use of this Information Technology (IT) tools and, at the same time, studying the determinant factors of this use. To reach the considered objectives, a survey research was effected, be given data collected daily through the research s questionnaire application to 150 teachers who answered a set of closed and scaled questions. The quantitative data were qualitatively analyzed, arriving a some significant results related to the standard use and the factors that influenced in the use of these Internet technologies, like: the age scale, the exposition s to the computer level, the area of academic graduation, the area of knowledge where acts and the title, exert significant influence in the academic use of Internet between the professors / A ?ltima d?cada, caracterizada pelo crescimento vertiginoso da rede mundial de computadores, trouxe mudan?as radicais no uso da informa??o e da comunica??o. O uso da Internet no mundo dos neg?cios tem sido largamente estudado, no entanto s?o poucas as pesquisas sobre o uso acad?mico dessa tecnologia, principalmente se levarmos em considera??o institui??es de educa??o tecnol?gica. Neste contexto, esta pesquisa fez uma an?lise do uso da Internet numa institui??o de ensino tecnol?gico no Brasil, analisando, em particular, o Centro Federal de Educa??o Tecnol?gica do Rio Grande do Norte CEFET/RN quanto ao padr?o de uso das ferramentas dessa Tecnologia da Informa??o (TI) e, ao mesmo tempo, estudando os fatores determinantes desse uso. Para tanto, foram coletados dados junto ao corpo docente das seis ger?ncias educacionais que comp?em a Unidade Sede da Institui??o. Para atingir os objetivos propostos, efetuou-se uma pesquisa survey, sendo os dados coletados diretamente atrav?s da aplica??o do question?rio da pesquisa a 150 professores que responderam a um conjunto de quest?es fechadas e escalares. Os dados quantitativos foram analisados qualitativamente, chegando-se a alguns resultados significativos com rela??o ao padr?o de uso e aos fatores que influenciam no uso dessas tecnologias Internet, tais como: a faixa et?ria, o n?vel de exposi??o ao computador, a ?rea de forma??o acad?mica, a ?rea de conhecimento na qual atua e a titula??o, exercem influ?ncia significativa no uso acad?mico da Internet entre os docentes

Made available in DSpace on 2014-12-17T14:55:01Z (GMT). No. of bitstreams: 1 MaxCPF.pdf: 2755624 bytes, checksum: a03e472afc07077b6c8f8b043b88366b (MD5) Previous issue date: 2005-10-21 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / The usual programs for load flow calculation were in general developped aiming the simulation of electric energy transmission, subtransmission and distribution systems. However, the mathematical methods and algorithms used by the formulations were based, in majority, just on the characteristics of the transmittion systems, which were the main concern focus of engineers and researchers. Though, the physical characteristics of these systems are quite different from the distribution ones. In the transmission systems, the voltage levels are high and the lines are generally very long. These aspects contribute the capacitive and inductive effects that appear in the system to have a considerable influence in the values of the interest quantities, reason why they should be taken into consideration. Still in the transmission systems, the loads have a macro nature, as for example, cities, neiborhoods, or big industries. These loads are, generally, practically balanced, what reduces the necessity of utilization of three-phase methodology for the load flow calculation. Distribution systems, on the other hand, present different characteristics: the voltage levels are small in comparison to the transmission ones. This almost annul the capacitive effects of the lines. The loads are, in this case, transformers, in whose secondaries are connected small consumers, in a sort of times, mono-phase ones, so that the probability of finding an unbalanced circuit is high. This way, the utilization of three-phase methodologies assumes an important dimension. Besides, equipments like voltage regulators, that use simultaneously the concepts of phase and line voltage in their functioning, need a three-phase methodology, in order to allow the simulation of their real behavior. For the exposed reasons, initially was developped, in the scope of this work, a method for three-phase load flow calculation in order to simulate the steady-state behaviour of distribution systems. Aiming to achieve this goal, the Power Summation Algorithm was used, as a base for developping the three phase method. This algorithm was already widely tested and approved by researchers and engineers in the simulation of radial electric energy distribution systems, mainly for single-phase representation. By our formulation, lines are modeled in three-phase circuits, considering the magnetic coupling between the phases; but the earth effect is considered through the Carson reduction. Its important to point out that, in spite of the loads being normally connected to the transformers secondaries, was considered the hypothesis of existence of star or delta loads connected to the primary circuit. To perform the simulation of voltage regulators, a new model was utilized, allowing the simulation of various types of configurations, according to their real functioning. Finally, was considered the possibility of representation of switches with current measuring in various points of the feeder. The loads are adjusted during the iteractive process, in order to match the current in each switch, converging to the measured value specified by the input data. In a second stage of the work, sensibility parameters were derived taking as base the described load flow, with the objective of suporting further optimization processes. This parameters are found by calculating of the partial derivatives of a variable in respect to another, in general, voltages, losses and reactive powers. After describing the calculation of the sensibility parameters, the Gradient Method was presented, using these parameters to optimize an objective function, that will be defined for each type of study. The first one refers to the reduction of technical losses in a medium voltage feeder, through the installation of capacitor banks; the second one refers to the problem of correction of voltage profile, through the instalation of capacitor banks or voltage regulators. In case of the losses reduction will be considered, as objective function, the sum of the losses in all the parts of the system. To the correction of the voltage profile, the objective function will be the sum of the square voltage deviations in each node, in respect to the rated voltage. In the end of the work, results of application of the described methods in some feeders are presented, aiming to give insight about their performance and acuity / A utiliza??o de c?lculos de fluxo de carga para an?lise de sistemas de transmiss?o de energia el?trica ? algo que vem sendo feito desde da d?cada de 50. Portanto, sabendo-se as caracter?sticas f?sicas do sistema, como os tipos de cabos utilizados nas linhas e seu comprimento, transformadores utilizados, capacitores, geradores e as cargas do sistema, era poss?vel calcular os valores das tens?es, correntes, dos fluxos de pot?ncia e das perdas do mesmo. Contudo, naquela ?poca, este tipo de c?lculo apresentava algumas limita??es como, em primeiro lugar, o m?todo utilizado para resolver o sistema de equa??es n?o lineares, Gauss-Siedel, fundamental para realiza??o do c?lculo de fluxo de carga, era bastante lento. E em segundo, os computadores da ?poca al?m de extremamente caros e raros eram grandes e lentos. No final da d?cada de 60, Domell apresenta em seu trabalho uma proposta de resolu??o de fluxo de carga baseado no m?todo Newton-Rhapson. A partir da?, o m?todo apresentado por Domell passou a se uma referencia na resolu??o de c?lculo de fluxo de carga. O m?todo de Newton (como passou a ser chamado), al?m de apresentar uma excelente converg?ncia para sistemas ditos mal comportados, ? bastante r?pido. Depois da apresenta??o do trabalho de Domell muitos outros trabalhos foram publicados baseados na sua formula??o, tentando melhorar ainda as caracter?sticas do m?todo. Pois, mesmo naquela ?poca, os computadores ainda apresentavam duas limita??es b?sicas, velocidade de processamento e a limita??o de mem?ria. Portanto, os m?todos baseados no de Newton tentavam diminuir a quantidade de c?lculos e o tamanho das matrizes utilizados no processo, tentado conservar a robustez do m?todo original. Uma caracter?stica comum entre os m?todos apresentados at? o final dos anos 80, era que eles eram desenvolvidos baseados nas caracter?sticas dos sistemas de transmiss?o de energia el?trica. Ou seja, at? ent?o, a distribui??o de energia era uma ?rea em que os engenheiros n?o se preocupavam. E para realiza??o de qualquer estudo para sistemas de distribui??o era utilizava-se os m?todos desenvolvidos para sistemas de transmiss?o. Por?m, nos anos 90, esta tend?ncia come?ou a mudar, em Janeiro de 1990 Cespedes apresenta um m?todo desenvolvido especialmente para sistemas radiais de distribui??o de energia el?trica. O m?todo apresentado por Cespedes explora a principal caracter?stica dos sistemas de distribui??o, a sua forma??o radial e, al?m disso, o m?todo n?o sugere na sua formula??o que o sistema tenha alto valor da rela??o entre a indut?ncia e a resist?ncia das linhas, como no m?todo de Newton. Com o passar dos anos, o aparecimento de novos tipos de cargas mais sens?veis a qualidade da energia, a regulamenta??o do fornecimento de energia com o aparecimento de novas leis, a competi??o entre as distribuidoras, a privatiza??o do fornecimento e a necessidade de redu??o dos custos em geral, os engenheiros passaram a ter uma outra preocupa??o: a qualidade e custo do fornecimento. Ou seja, o problema da resolu??o de c?lculos de fluxo de carga n?o seria mais o de tempo de processamento nem da quantidade de mem?ria envolvida, os engenheiros estariam agora preocupados com a fidelidade da representa??o matem?tica dos elementos do sistema e o desenvolvimento de t?cnicas de otimiza??o para a instala??o e dimensionamento dos elementos dos sistemas. Nos primeiros fluxos de carga as representa??es dos elementos eram bastante elementares, fazendo-se muitas aproxima??es. Inicialmente, todo o sistema era reduzido a um equivalente monof?sico, ou seja, as indut?ncias m?tuas das linhas eram desprezadas, as cargas eram consideradas perfeitamente equilibradas, teriam que ser necessariamente todas trif?sicas e o efeito da liga??o das bobinas entre o prim?rio e o secund?rio dos transformadores n?o era considerado. Estes tipos de aproxima??es limitavam muito o poder de an?lise dos engenheiros, pois a representa??o matem?tica era bem diferente da realidade encontrada no sistema real, dificultando an?lises mais precisas. Com o passar dos anos e o aumento da necessidade foram aparecendo fluxos de carga trif?sicos, com uma modelagem matem?tica mais fiel dos equipamentos, e com isso os resultados passaram a ser mais compat?veis com a realidade, possibilitando aos engenheiros an?lises mais precisas. O uso de t?cnicas de otimiza??o associado a c?lculos de fluxo de carga, permitiu que os resultados dos fluxos n?o somente apresentasse o estado do sistema, calculando-se unicamente os valores das vari?veis de interesse, para um carregamento qualquer. Agora, com esta nova ferramenta, os engenheiros poderiam fazer estudos verificando a localiza??o e dimensionamento ?timo de equipamentos no sistema. Domell, em um trabalho pioneiro, desenvolveu um m?todo de c?lculo defluxo de carga no qual eram calculados os reativos necess?rios que deveriam ser injetados em cada barra do sistema, de modo que as perdas do sistema fossem m?nimas. Em resumo, c?lculos de fluxo de carga ?timos permitem que, se escolhendo uma vari?vel de controle e uma fun??o objetivo, encontre-se um ponto onde o valor da fun??o objetivo seja ?timo quando for calculado para o valor encontrado da vari?vel de controle. A proposta desse trabalho ?, inicialmente, desenvolver um fluxo de carga trif?sico para sistemas radiais de distribui??o, baseado no m?todo de CESPEDES, cuja representa??o matem?tica dos elementos do sistema seja o mais fiel poss?vel ao seu funcionamento real. Este fluxo de carga servir? como base para, em uma segunda etapa, a aplica??o de t?cnicas de otimiza??o visando o dimensionamento ?timo de elementos do sistema. Para que se possa utilizar t?cnicas de otimiza??o, inicialmente, foram desenvolvidos m?todos para se encontrar como o sistema se comporta, sobre algum aspecto, quando o valor de uma vari?vel de controle ? modificado, ou seja, calcular o valor da derivada de uma fun??o com rela??o a uma vari?vel espec?fica. Em posse do c?lculo dessas derivadas, ser?o aplicadas t?cnicas de otimiza??o para se encontrar o ponto de ?timo

Made available in DSpace on 2014-12-17T14:55:18Z (GMT). No. of bitstreams: 1 ViniciusSVS_TESE.pdf: 2375594 bytes, checksum: e3d85d405a408eb605711ffd55dbe760 (MD5) Previous issue date: 2014-03-17 / 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), located at Natal, Rio Grande do Norte. Moreover, in order to verify the feasibility of Wi-Bio in terms of wireless networks standards prevailing in the market, the testing scenario was also simulated under a perspective in which the network elements used the HCCA access mechanism described in the IEEE 802.11e amendment. The results confirmed the validity of the designed Petri nets and showed that Wi-Bio, in addition to presenting a superior performance compared to HCCA on most items analyzed, was also able to promote efficient integration between the data generated by medical sensors and user applications on the same wireless network / O monitoramento de pacientes realizado nos hospitais normalmente ? feito de forma manual ou semi-automatizada, em que os membros da equipe de sa?de precisam constantemente se deslocar at? os pacientes para verificarem o estado de sa?de em que eles se encontram. A ado??o desse procedimento, todavia, compromete a qualidade do monitoramento realizado, uma vez que a escassez de recursos f?sicos e humanos nos hospitais tende a sobrecarregar os membros da equipe de sa?de e assim impedir que os mesmos se desloquem aos pacientes com a freq??ncia adequada. Diante disso, diversos trabalhos existentes na literatura especificam alternativas voltadas ? melhoria desse monitoramento mediante o uso de redes sem fio. Nesses trabalhos, a rede ? destinada apenas ao tr?fego de dados gerados por sensores m?dicos e n?o existe a possibilidade da mesma ser alocada para o envio de informa??es oriundas de aplica??es presentes nas esta??es de usu?rio existentes no hospital. Todavia, em se tratando de ambientes de automa??o hospitalar, esse aspecto constitui-se em um ponto negativo, haja vista que os dados gerados nessas aplica??es podem estar diretamente relacionados ao monitoramento de pacientes realizado. Desse modo, esta tese define o Wi-Bio como sendo um protocolo de comunica??o voltado ao estabelecimento de redes de monitoramento de pacientes IEEE 802.11 capazes de permitir a conviv?ncia harmoniosa entre os tr?fegos gerados por sensores m?dicos e esta??es de usu?rio. A especifica??o e verifica??o formal do Wi-Bio foram feitas mediante o projeto e an?lise de modelos em redes de Petri e sua valida??o foi realizada atrav?s simula??es efetuadas na ferramenta Network Simulator 2 (NS2). As simula??es realizadas no NS2 foram projetadas para retratarem um ambiente real de monitoramento de pacientes correspondente a um andar do setor de enfermarias do Hospital Universit?rio Onofre Lopes (HUOL), localizado na cidade de Natal/RN. Al?m disso, no intuito de verificar a viabilidade do Wi-Bio quanto aos padr?es de redes sem fio vigentes no mercado, o cen?rio de testes tamb?m foi simulado sob uma perspectiva em que os elementos da rede utilizavam o mecanismo de acesso HCCA descrito na emenda IEEE 802.11e. Os resultados obtidos atestaram a validade das redes de Petri projetadas e mostraram que o Wi-Bio, al?m de apresentar um desempenho superior ao do HCCA na maioria dos quesitos analisados, tamb?m se mostrou capaz de promover uma integra??o eficiente entre os dados gerados por sensores m?dicos e aplica??es de usu?rio sob a mesma rede sem fio

A pesquisa tem por finalidade abordar a constituição das redes de Bancos de Dados e Bibliotecas Virtuais Ambientais (BBVAs) no Brasil, tendo como destaque o Banco de Dados para a Indústria do Petróleo (BAMPETRO). Para tal, pretende-se traçar a territorialidade da rede de informação ambiental, a questão da própria informação ambiental e o seu contexto no ciberespaço. Também será analisada a Política Ambiental Brasileira que proporciona a constituição dessa rede. O objeto proposto para o estudo apresenta uma complexa realidade, diversificada e prática, de grande interesse aos gestores ambientais, entre eles os geógrafos, que requer o seu desvendamento. / The research has the objective in approach the constitution of the nets of Bancos de Dados e Bibliotecas Virtuais Ambientais (BBVAs) in Brazil, have as feature the Banco de Dados para a Indústria do Petróleo (BAMPETRO). To achieve this proposal intended to trace the territoriality of the net of environmental information, the subject of the own environmental information and its context in the cyberspace. It will also be analyzed the Brazilian Environmental Politics that provides the constitution of that net. The object proposed for the study presents a complex reality, diversified and practice, of great interest to the environmental governance, among them the geographers, that requests its to unveil

No atual contexto ambiental é grande a demanda por informações consistentes que subsidiem o planejamento territorial, permitindo realizar avaliações ambientais e desta forma, subsidiar os setores público e privado. Essa demanda pode ser satisfeita com a integração de informações em um sistema, com propriedades e funções de processamento, possibilitando sua utilização em ambiente integrado. Assim, nesta dissertação é proposta uma metodologia para a avaliação ambiental de bacias hidrográficas que atua desde a escolha de indicadores e definição dos pesos de sua contribuição, até a execução de avaliações e espacialização de resultados em ambiente SIG. Esta metodologia é composta por duas fases distintas: avaliação da vulnerabilidade ambiental da bacia hidrográfica a partir do uso de sistemas de suporte à decisão espacial, e, avaliação da sustentabilidade da bacia através do cálculo do indicador Pegada Ecológica. Na primeira fase são adotados sistemas de suporte à decisão, bases de conhecimento, SIG e uma ferramenta que integra estes resultados permitindo a geração de avaliações, análises e/ou cenários prospectivos. Na segunda fase, a sustentabilidade da bacia é retratada a partir do cálculo da pegada ecológica que consiste na contabilização da área que uma população necessita para produzir os recursos consumidos e absorver os resíduos gerados. A comparação entre áreas mais vulneráveis e menos sustentáveis, pode nortear projetos de recuperação e conservação ambiental. / In the current environmental context is huge the demand for consistent information that supports the territorial planning, allowing environmental assessments thereby subsidizing public and private sectors. This demand can be satisfied with the integration of information into a system, with properties and processing functions, allowing its use in integrated environment. Thus, this thesis proposes a methodology for environmental assessment of watersheds that operates from the choice of indicators and definition of the weights of its contribution to the implementation of assessments and spatialisation of results in a GIS environment. This methodology is composed of two distinct phases: assessment of environmental vulnerability of the basin by the use of spatial decision support systems, and assessing the sustainability of the basin through the calculation of Ecological Footprint. In the first phase are adopted decision support systems, knowledge bases, GIS and a tool that integrates these results allowing the generation of assessments, analysis and / or prospective scenarios. In the second stage, the sustainability of the basin is pictured from the calculation of the ecological footprint, which consists in accounting the area that a population needs to produce the resources consumed and absorb the waste generated. The comparison between the most vulnerable and less sustainable, can guide restoration projects and environmental conservation.

In this work, an approach based on Deadlock avoidance of Interorganizational Work-Flow nets is proposed to deal with these situations. Interorganizational business processes are modeled by Interorganizational WorkFlow nets. Deadlock situations in interorganizational business processes come generally related to losses during message exchanges between several business processes. Within the Petri net theory, a Deadlock situation is characterized by the presence of a siphon that can be empty. After detecting and controlling the Siphon structures that lead to Deadlock situations in Interorganizational WorkFlow nets, a method for the design of Interorganizational WorkFlow nets free of Deadlock is proposed. In particular, the basic principle is to dene new Work- Flow nets shared among the original work ow processes that allow one to remove the scenarios responsible for the Deadlocks. / Neste trabalho e proposta uma abordagem baseada na prevenção de deadlocks em WorkFlow nets Interorganizacionais para lidar com situações dessa natureza. Processos de negocio interorganizacionais são modelados por work ows interorganizacionais. Situações de deadlock nos processos de negocio interorganizacionais geralmente estão relacionadas a perdas durante trocas de mensagens entre varios processos de negocio. Dentro da teoria das redes de Petri, uma situação de deadlock e caracterizada pela presenca de um sifão que pode car vazio. Depois de detectar e controlar as estruturas de sifão que levam as situações de deadlock nas WorkFlow nets Interorganizacionais, e proposta uma arquitetura distribuda para modelar as WorkFlow nets Interorganizacionais livre de deadlock. Em particular, o princpio basico consiste em denir novas WorkFlow nets compartilhadas entre os work ows originais que permitem remover os cenarios responsaveis pelos deadlocks. / Mestre em Ciência da Computação

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The majorities of industrial systems may be considered as dynamic hybrid systems, that is, described by variables in the continuous and discrete domains. Therefore, due to the need to obtain high quality products with losses minimization, to have safer and environmental friendly process operation, is what justies the development of tools for evaluating fault propagation eects. In this work, some tools for the representation of dynamic hybrid systems were studied in order to address the abnormal behavior propagation. The rst tools are Petri nets that allow a qualitative mathematical representation, the analysis of the models and supply useful information on the structure and the dynamic behavior of the system. Another tool is the signed directed graph - SDG that includes the mechanisms of fault propagation and the development of a theory of modeling based on the knowledge of complicated systems. In this context, it was presented the qualitative modeling of dynamic systems by using Petri nets and SDG, with the occurrence of faults and the evaluation of their propagation during process operation. These techniques were applied to Chemical Engineering problems such as mixing tanks and batch reactors for Petri nets, tank systems and faulty continuous reactors with the use of SDG. In those processes, simulations were performed and the faults eects were evaluated for several operational scenarios. SDGs were also used to determine the fault propagation path, with the evaluation of each aected process variable of interest both in open and closed-loop operation. / A maioria dos sistemas industriais pode ser classificada como pertencente _a classe de sistemas híbridos dinâmicos, ou seja, sistemas compostos por variáveis no domínio contínuo e discreto. Assim, devido à necessidade de se obter produtos de alta qualidade com mínimo de perdas possíveis, operar com segurança respeitando o meio ambiente, gerenciar ou tolerar falhas é que se tem a necessidade do desenvolvimento de ferramentas de investigação dos efeitos de falhas em processos. Neste trabalho foram estudadas algumas ferramentas para a representação de sistemas híbridos dinâmicos com a finalidade de representar o comportamento anormal desses sistemas. Uma dessas ferramentas _e a rede de Petri que permite a representação matemática, análise dos modelos e fornece informações úteis sobre a estrutura e o comportamento dinâmico dos sistemas modelados. Outra ferramenta estudada são os grafos orientados - SDG (Signed Directed Graph) que incluem os mecanismos de propagação de falhas e o desenvolvimento de uma teoria de modelagem baseada no conhecimento de sistemas. Nesse contexto, foram apresentados nesta dissertação a modelagem qualitativa dos sistemas discretos utilizando redes de Petri e SDG, com a ocorrência de falhas e a avaliação da sua propagação nos processos. Essas técnicas foram aplicadas em problemas simples da Engenharia Química como tanques de mistura e reator em batelada para redes de Petri e sistemas com um e três tanques e CSTR para o SDG. Em cada um dos processos estudados foram feitas as simulações acopladas aos modelos qualitativos em diversos cenários de falhas. Com isso comparam-se os resultados para o sistema operando sob diversos cenários e avaliam-se as informações do modelo qualitativo. Para ilustrar a aplicação das técnicas investigadas, esse trabalho avaliou, com a utilização de SDG, os caminhos de propagação das falhas, obtendo as variáveis afetadas em cada cenário operacional investigado. / Mestre em Engenharia Química

Made available in DSpace on 2015-05-14T13:27:14Z (GMT). No. of bitstreams: 1 parte1.pdf: 2242585 bytes, checksum: 07c54969870a9ecad251ce9ac3f33101 (MD5) Previous issue date: 2010-08-31 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / The present thesis has as objective to carry through a quarrel concerning the Solidary Economy while a prerogative of organization of the civil society in such a way in the alternative generation of work and income as a process of social inclusion in virtue of the distinct minorities that of it are part, that is, a new strategy of possible development. In this direction, it also searchs, to carry through a brief rocking of the referring accumulation to the movement, being been overcome as reference the year of 2003, moment where the National Secretariat of Solidary Economy was servant, standing out its main carried through action, in particular the mapping of the Solidary Economic Enterprises - EES, that is, is an attempt to understand as the social movements make of the production model, on the basis of the solidary economy, a way to fortify the dialogue between different groups of producers and had obtained to extend the recognition of this solidary model in the institucional sphere. Thus, the central hypothesis of the present work is of that the solidary economy is a strategy development politics, in counterpoint to the exculpatory model of the effective capitalism. For in such a way, metodologicamente, we carry through a descriptive study of quali-quantitative nature, with the use of the following instruments in the collection of data: participant comment, half-structuralized interviews, application of diagnosis and bibliographical revision. The conclusions point the solidary economy while development strategy, over all, with the viabilização of the virtuous circle established by the categories capital stock, nets and solidarity. A tool of social inclusion, generation of work and income was evidenced in the solidary economy, resulting in the produced work as source of humanistic, solidary value, with bigger quality of life and well-being of the involved actors. / A presente tese tem como objetivo realizar uma discussão acerca da Economia Solidária como uma prerrogativa de organização da sociedade civil, tanto na geração alternativa de trabalho e renda como num processo de inclusão social, em virtude das distintas minorias que dele fazem parte, isto é, uma nova estratégia de desenvolvimento possível. Neste sentido, busca, também, realizar um breve balanço do acúmulo referente ao movimento, tomando-se como referência o ano de 2003, momento em que a Secretaria Nacional de Economia Solidária foi criada, ressaltando suas principais ações realizadas, em particular o mapeamento dos Empreendimentos Econômicos Solidários EES, ou seja, é uma tentativa de compreender como os movimentos sociais fazem do modelo de produção, com base na Economia Solidária, um caminho para fortalecer o diálogo entre diferentes grupos de produtores que conseguiram ampliar o reconhecimento desse modelo solidário na esfera institucional. Assim, a hipótese central do presente trabalho é a de que a Economia Solidária é uma estratégia política de desenvolvimento, em contraponto ao modelo excludente do capitalismo vigente. Para tanto, metodologicamente, realizamos um estudo descritivo de natureza quali-quantitativa, com a utilização dos seguintes instrumentos na coleta de dados: observação participante, entrevistas semi-estruturadas, aplicação de diagnóstico e revisão bibliográfica. As conclusões apontam a Economia Solidária como uma estratégia de desenvolvimento, sobretudo com a viabilização do círculo virtuoso estabelecido pelas categorias capital social, redes e solidariedade. Constatou-se, na Economia Solidária, uma ferramenta de inclusão social, de geração de trabalho e renda, resultando no trabalho produzido como fonte de valor humanístico, solidário, com maior qualidade de vida e bem-estar dos atores envolvidos.