A importância da geração de energia elétrica hidráulica, dentro dos requisitos de qualidade e fornecimento com índices de confiabilidade cada vez mais exigentes, tem se tornada acentuada, principalmente em atendimento às necessidades de consumo em todas as áreas de atividades produtivas. Têm-se notado que as tecnologias desenvolvidas aliadas às mudanças socioeconômicas trouxeram uma evolução e reestruturação, tanto no setor industrial produtivo como no setor elétrico (concessionárias de energia elétrica e fornecedores de sistemas e equipamentos para usinas hidrelétricas e subestações), com aumento significativo da especialização e da complexidade da automação dos processos envolvidos, onde falhas são consideradas inaceitáveis. Em consequência, têm-se exigido soluções técnicas eficazes e com investimentos reduzidos. Desta forma, a Automação Elétrica, que faz parte dos sistemas de Comando, Controle, Comunicação e Informação altamente integrados (C3I), têm demonstrado uma participação fundamental no atual cenário deste segmento. Então, de maneira a tratar adequadamente esta complexidade, tornar as soluções técnicas cada vez mais seguras e facilitar o estudo e projeto de novos sistemas de controle nesta área, este trabalho apresenta uma metodologia para modelagem e análise de Sistemas de Controle envolvidos na geração hidráulica de energia elétrica. Este trabalho tem como principais desenvolvimentos: uma metodologia que envolve a teoria de controle de SDED juntamente com conceitos e pesquisas na área de Engenharia de Software e um formalismo em Rede de Petri Interpretada por Sinais (RPIS) em conjunto com o paradigma de Orientação a Objetos (OO), representado pela proposta de uma nova RP, a RPIS_OO (Rede de Petri Interpretada por Sinais Orientada a Objetos). Destarte, espera-se que a metodologia e a nova RP propostas nesta tese contribuam na especificação e construção dos algoritmos de controle dos sistemas que participam na automação da geração de energia elétrica hidráulica, como também, no aprimoramento de novas abordagens para o desenvolvimento de sistemas de automação elétrica, representando atualmente o estado da arte nesta área. / The importance of hydroelectric power generation, considering the increasingly demanding supply and quality requirements, has become more pronounced especially seeing the great consumption needs on all productive areas. It\'s noticeable that technology developed with socioeconomic changes have brought evolution and a restructuring both in the industrial and electrical sector (electric companies and power plant equipment manufacturers), with a notable increase in specialization and complexity of the automation of these activities, where faults are considered unacceptable. A demand for more efficient technical solutions and reduced investments has therefore increased greatly. Electrical automation technology as part of highly integrated command, control, communication and information (C3I) systems has demonstrated a crucial involvement in the context of this segment. In order to handle this evolving complexity, creating more secure technical solutions and further research and development of new control systems for this sector, this work introduces a new methodology for modeling and analysis of power plant control systems. A methodology involving the theory of Discrete Event Dynamic Systems (DEDS) and concepts of Software Engineering is presented, as well as a new formalism based on Signal Interpreted Petri Nets (SIPN) together with Object-Oriented Paradigm (OOP) named Object-Oriented Signal Interpreted Petri Nets (OOSIPN). The intention is that methodology proposed in this thesis contributes to the correct specification and construction of control algorithms for power plant control systems, as well as the state of the art in this research area in the form of a new approach to development of such automation systems.

Atualmente as empresas precisam de sistemas ágeis a mudanças constantes do ambiente do negócio e para garantir que os sistemas cumpram com sua finalidade, os desenvolvedores devem possuir uma compreensão mais aprofundada sobre a organização, seus objetivos, metas e estratégias de mercado. O principal problema para o desenvolvimento de sistemas de software tem sido a dificuldade em se obter informações sobre o domínio da aplicação. Essa dificuldade levou ao surgimento de técnicas de modelagem organizacional, sendo uma atividade valiosa para a compreensão do ambiente empresarial. O EKD - Enterprise Knowledge Development - é uma metodologia que fornece uma forma sistemática e controlada de analisar, entender, desenvolver e documentar uma organização. Infelizmente não possui uma sintaxe e semântica bem definidas, dificultando análises mais complexas dos modelos. Como resultado, o modelo de processos de negócio do EKD pode ser ambíguo e de difícil análise, principalmente em sistemas mais complexos, não sendo possível verificar a consistência e completude do modelo. Neste trabalho, esses problemas serão estudados sob uma abordagem baseada em redes de Petri. O formalismo de redes de Petri a torna uma importante técnica de modelagem para a representação de processos. Além disso, redes de Petri permitem rastrear cada etapa da operação sem ambigüidade e possuem métodos eficientes de análise que garantem que o modelo está livre de erros. Assim, este trabalho tem como objetivo desenvolver um método de avaliação do modelo de processo de negócio do EKD (MPN-EKD). Por meio desse método é possível verificar se o modelo tem erros de construção e travamentos. Este método pode ser aplicado em modelos direcionados para o desenvolvimento de sistema de informação ou de controle do fluxo de trabalho, e pode ser utilizado também para o estudo de estratégias de trabalho e simulação do fluxo de trabalho. / Nowadays all companies need fast systems and frequent changes on the business environment and to guarantee that the systems are reaching their goals, the developers must have a deeper comprehension of the enterprise, its goals and market strategies. The main problem to the development of software systems has been the difficulty to obtain information about the application domain. This difficulty leaded to the creation of enterprise modeling techniques, which is a valuable activity for the comprehension of business environment. The EKD - Enterprise Knowledge Development - is a methodology that gives a systematic and controlled way to analyze, understand, develop, and document an enterprise. Unfortunately it doesn\'t have syntax neither a semantic well defined, which doesn\'t help on more complex analyses of the models. As a result, the enterprise process model of EKD can be ambiguous and hard to analyze, especially on more complex systems, and also it is not possible to verify the consistency and entireness of the model. On this paper, these problems will be studied under an approach based on Petri nets. Because of the Petri nets formalism this is an important modeling technique to process representation. Furthermore, Petri nets allow the tracking of each step of the operation without ambiguity and also they have efficient methodology for analyses, which guarantee the accuracy of the model. Therefore, this work has the objective to develop an evaluation methodology of the business process model of EKD (MPN-EKD). Such methodology will make possible the verification of possible building and locking model errors. This methodology can be applied to information systems or workflow, and also can be used to study the strategies of work and workflow simulations.

Este trabalho propõe dois métodos para teste de sistemas de software: o primeiro extrai ideias de teste de um modelo desenvolvido em rede de Petri hierárquica e o segundo valida os resultados após a realização dos testes utilizando um modelo em OWL-S. Estes processos aumentam a qualidade do sistema desenvolvido ao reduzir o risco de uma cobertura insuficiente ou teste incompleto de uma funcionalidade. A primeira técnica apresentada consiste de cinco etapas: i) avaliação do sistema e identificação dos módulos e entidades separáveis, ii) levantamento dos estados e transições, iii) modelagem do sistema (bottom-up), iv) validação do modelo criado avaliando o fluxo de cada funcionalidade e v) extração dos casos de teste usando uma das três coberturas de teste apresentada. O segundo método deve ser aplicado após a realização dos testes e possui cinco passos: i) primeiro constrói-se um modelo em OWL (Web Ontology Language) do sistema contendo todas as informações significativas sobre as regras de negócio da aplicação, identificando as classes, propriedades e axiomas que o regem; ii) em seguida o status inicial antes da execução é representado no modelo através da inserção das instâncias (indivíduos) presentes; iii) após a execução dos casos de testes, a situação do modelo deve ser atualizada inserindo (sem apagar as instâncias já existentes) as instâncias que representam a nova situação da aplicação; iv) próximo passo consiste em utilizar um reasoner para fazer as inferências do modelo OWL verificando se o modelo mantém a consistência, ou seja, se não existem erros na aplicação; v) finalmente, as instâncias do status inicial são comparadas com as instâncias do status final, verificando se os elementos foram alterados, criados ou apagados corretamente. O processo proposto é indicado principalmente para testes funcionais de caixa-preta, mas pode ser facilmente adaptado para testes em caixa branca. Obtiveram-se casos de testes semelhantes aos que seriam obtidos em uma análise manual mantendo a mesma cobertura do sistema. A validação provou-se condizente com os resultados esperados, bem como o modelo ontológico mostrouse bem fácil e intuitivo para aplicar manutenções. / This paper proposes two test methods for system software testing: the first one extracts test workflow processes from a model developed in Hierarchical Petri Nets and the other validates results after test execution using a domain model in OWL-S. Both processes increase the quality of the system developed by reducing the risk of having an insufficient coverage or an incomplete functionality test. The first technique consists of five steps: i) system evaluation and identification of separable sub modules and entities, ii) identification of states and transitions, iii) system modeling (bottom-up), iv) validation of the created model by evaluating the workflow for each functionality, and v) extraction of test cases using one of the three test coverage presented. The second method must be applied after the execution of the previous method and has also five steps: i) first a system model in OWL (Web Ontology Language) is built containing all significant information and business rules of the application; ii) then, the initial status before the test execution is represented in the model by the insertion of the instances (individuals) presented; iii) after the execution of test cases, the state model is updated by inserting (without deleting already existing instances) new instances to represent the domain sate after test; iv) in the next step we use a reasoner to make OWL model checking inferences to prove model consistency, that is, if there is no error in the application; finally, the initial status instances is compared with the final status in order to verify if these instances have been changed, created or deleted correctly. The process is indicated for blackbox functional tests, but can be easily adapted for white-box tests. There was obtained test cases similar to those that will be obtained in a manual analysis keeping the same test coverage. Validation has proved to be consistent compare to the expected results. Also, the ontological model has showed to be easy and intuitive for maintenance.

Este trabalho busca revisitar as teorias existentes sobre reformas econômicas e democratização, em especial no que concerne às reformas financeiras liberalizantes. De acordo com o saber convencional, normalmente essas reformas afetam de modo negativo as democracias, colocando em perigo a construção de boas instituições para a sua consolidação. Ao analisar de forma mais detida a relação entre as reformas financeiras levadas a cabo pelo Banco Central do Brasil, a partir de uma conjuntura crítica ocorrida no início de 1999, e a padronização de instituições para o incremento da Supervisão Bancária, oriunda do BIS ? Banco para Compensações Internacionais, resolvemos questionar a validade universal dessa literatura ao argumentar que a construção de redes de proteção para o sistema financeiro brasileiro, num contexto de crise e oportunidades, foi possibilitado por uma maior cooperação entre esse organismo financeiro internacional e a autoridade monetária local. A contrapartida para o reforço de autoridade do Banco Central e a conseqüente implementação de instituições para a reforma financeira, no Brasil, foi um aumento da transparência das ações da autoridade monetária, concomitante a uma melhoria em seu processo de prestação de contas e responsabilização pública. A reconstrução das trajetórias que levaram a essa convergência entre um organismo internacional e uma autoridade local, numa democracia emergente de mercado, parece ser a chave para o entendimento das peculiaridades que redundaram nas falhas dos modelos unificadores de institucionalização, como aqueles preconizados pelo Consenso de Washington e adotados por outras organizações financeiras, por exemplo, o Fundo Monetário Internacional (FMI) / This thesis aims to review the well-established theories of economic reforms and democratization. The object will focus especially on the so called \"liberal financial reforms\". According to conventional wisdom, these reforms normally affect democracies deeply and jeopardize the building of sound institutions towards their consolidation. We decided to debate the universal validity of this conventional literature using the argument that the institutional building of safety nets for the Brazilian financial system - in a context of crisis and opportunities - was possible as a result of the cooperative game between an international financial organization (BIS) and the local monetary authority (BACEN). We will do that by analyzing the relation between these financial reforms led by Brazilian Central Bank more accurately, arising from a critical juncture occurred at the beginning of 1999, and the standardization of institutions for the improvement of banking supervision originated from BIS -Bank for International Settlements. The counterbalance to the reinforcement of central bank authority and the consequent implementation of institutions for the financial reform in Brazil was the increased monetary authority acts transparency and the simultaneous improvement of its mechanisms of political accountability. The study of path sequence that led to the convergence of the intentions of an international organization and a local political authority, in a emerging market democracy, seems to be the key to the comprehension of the peculiarities that resulted in the failure of the remedies that recommended a \"single model\" for the success of these reforms in new democracies, like the ones prescribed by the Washington Consensus, which were adopted by several organizations, including the International Monetary Fund - IMF

O grande avanço das técnicas de Planejamento em Inteligência Artificial fez com que a Engenharia de Requisitos e a Engenharia do Conhecimento ganhassem extrema importância entre as disciplinas relacionadas a projeto de engenharia (Engineering Design). A especificação, modelagem e análise dos domínios de planejamento automático se tornam etapas fundamentais para melhor entender e classificar os domínios de planejamento, servindo também de guia na busca de soluções. Neste trabalho, é apresentada uma proposta de um ambiente integrado de modelagem e análise de domínios de planejamento, que leva em consideração o ciclo de vida de projeto, representado por uma ferramenta gráfica de modelagem que utiliza diferentes representações: a UML para modelar e analisar as características estáticas dos domínios; XML para armazenar, integrar, e exportar informação para outras linguagens (ex.: PDDL); as Redes de Petri para fazer a análise dinâmica; e a PDDL para testes com planejadores. / The great development in Artificial Intelligence Planning has emphasized the role of Requirements Engineering and Knowledge Engineering among the disciplines that contributes to Engineering Design. The modeling and specification of automated planning domains turn out to be fundamental tasks in order to understand and classify planning domains and guide the application of problem solving techniques. In this work, it is presented the proposed integrated environment for modeling and analyzing automated planning domains, which considered the life cycle of a project, represented by a tool that uses several language representations: UML to model and perform static analyses of planning environments; XML to hold, integrate, share and export information to other language representations (e.g. PDDL); Petri Nets, where dynamic analyses are made; and PDDL for testing models with planners.

Made available in DSpace on 2016-04-26T20:24:46Z (GMT). No. of bitstreams: 1 A Excecao De Contrato Nao Cumprido.pdf: 1345371 bytes, checksum: 73c36f140b59c41fe96bcf28a38b69c4 (MD5) Previous issue date: 2006-08-16 / Inspired by the recent constitutional focus on private law, without, however, dismissing long-standing doctrinal construction, this paper addresses the various aspects of exceptio non adimpleti contractus and its related rules, notably exceptio non rite adimpleti contractus and pleas of insecurity. In addition to recovering traditional doctrine, which is undeniably valuable, it also seeks to revisit the rules in light of the Civil Code. The study begins with a contextualized analysis of exceptio non adimpleti contractus within the sphere of the different types of exceptio. After this analysis, it seeks to clearly define the central notion of the rule in question and its sub-products, distinguishing them from other similar ones in the name of greater technical accuracy, while also establishing the requisites for application, the effects of its use, and the respective forms of dismissal. Once grounds for the rules have been established, attention is then turned to reconciling the legal exceptions in question with the new view of contracts as a social phenomenon, under the influence of contracts social function. All this is done, in the end, to conclude that there is a need to broaden the concept of party or, correspondingly, to narrow the notion of third party in both the general theory of contracts and the rules analyzed. This shall occur whenever, even in the absence of an expressed agreement, there are contracts united under a common cause; that is, part of an economic transaction and placed under the same supra-contractual cause. This as a means of seeking contractual justice, the ultimate scope of the social function of contracts, by loosening the ties that bind contractual theory to the blind cult of free will / Inspirado pela nova orientação jusprivatista de matiz constitucional, mas sem descuidar da milenar construção doutrinária de referência, este trabalho aborda os diversos aspectos da exceção de contrato não cumprido e de seus institutos correlatos, nomeadamente, exceção de contrato cumprido insatisfatoriamente e exceção de insegurança. Além de retomar a valiosa doutrina tradicional, visou-se à releitura dos institutos à luz do Código Civil. O estudo partiu da análise contextualizada da exceção de contrato não cumprido no universo das diferentes espécies de exceção. Superada esta etapa, procurou-se delimitar a noção nuclear do instituto sob enfoque e de seus subprodutos, distinguindo-os de outros congêneres, em nome de uma maior precisão técnica, estabelecendo-se, ainda, os requisitos de incidência, os efeitos de sua oposição e as respectivas formas de extinção. Postos os fundamentos dos institutos, as atenções foram voltadas à harmonização das exceções escrutinadas à nova visão do contrato enquanto fenômeno social, sob o influxo da função social do contrato. Tudo para, enfim, concluir pela necessidade de alargamento do conceito de parte ou do correspondente estreitamento da noção de terceiro assim na teoria geral dos contratos, como nos institutos analisados. Tal se dará quando, mesmo à míngua de convenção expressa, existam contratos coligados por uma causa comum, isto é, inseridos numa operação econômica e postos sob a mesma causa supracontratual. Isso, como forma de buscar a justiça contratual, escopo último da função social do contrato, pelo afrouxamento da amarras que prendiam a teoria contratual tradicional ao culto cego da autonomia da vontade

Submitted by Luis Ricardo Andrade da Silva (lrasilva@uefs.br) on 2017-11-28T22:15:22Z No. of bitstreams: 1 AILINE-corrigida e completa-enviada pgca.pdf: 18819458 bytes, checksum: 1356b2bb4c6c8fbf60dec709646715da (MD5) / Made available in DSpace on 2017-11-28T22:15:22Z (GMT). No. of bitstreams: 1 AILINE-corrigida e completa-enviada pgca.pdf: 18819458 bytes, checksum: 1356b2bb4c6c8fbf60dec709646715da (MD5) Previous issue date: 2017-08-24 / Advances in the acquisition technology of astronomical spectra resulted in an enormous amount of data. Not being more feasible to analyze them using classical approaches, the need for automatic methods arises. Then, in this research is presented, an Intelligent Algorithm for Identifying Spectral Lines, the AILINE (in Portuguese), which utilizes an artificial neural network to identify the emission lines in the optical spectra of galaxies. This method that in the tests carried out has achieved a accuracy higher than 95% is evaluated and faced with other automatic approaches and other machine learning algorithms. / Os avan?os na tecnologia de aquisi??o de espectros astron?micos resultaram em uma enorme quantidade de dados. N?o sendo mais vi?vel analis?-los usando abordagens cl?ssicas, surge a necessidade de m?todos autom?ticos. Ent?o, nesta pesquisa ? apresentado um Algoritmo Inteligente para Identifica??o de Linhas Espectrais, o AILINE, que utiliza uma Rede Neural Artificial para identificar as linhas em emiss?o nos espectros ?pticos de gal?xias. Este m?todo que nos testes realizados alcan?ou uma acur?cia superior a 95%, ? avaliado e confrontado com outras abordagens autom?ticas e outros algoritmos de aprendizado de m?quina.

Made available in DSpace on 2016-04-29T13:31:25Z (GMT). No. of bitstreams: 1 Org_Comunitaria_Rede.pdf: 928200 bytes, checksum: 41797e8cfe263ef7e2101f22705aeee5 (MD5) Previous issue date: 2006-06-30 / nenhum / The present master s thesis aims at understanding the interpersonal processes that underlay an attempt at community organization in networks conducted in the favela of Real Parque in São Paulo. The study was conducted through the participation in the activities involved in a community intervention project which focused on integrating the neighborhood associations through the development of mutual solidarity collaboration. The study is presented and based on an integration of ethnographic and action research techniques through the use of strategies implementation, systematization, narratives and the analysis of facts which identify the processes that might lead to community organization and empowerment. The study works with analytical categories found in the Community Social Psychology literature especially with regards to those aspects related to community networks and empowerment / A presente dissertação de Mestrado visa compreender os processos interpessoais que integram uma proposta de organização comunitária em rede, realizada na Comunidade da Favela do Real Parque em São Paulo. A pesquisa foi realizada através da participação em atividades que compreenderam um projeto de intervenção comunitária, cuja proposta era integrar associações de bairro por mútua colaboração solidária. A pesquisa é apresentada e fundamentada nos princípios da Etnografia e da pesquisa-ação-integrada, utilizando estratégias de implementação, sistematização, narrativa e análise dos fatos, cujos aspectos identificam os processos que podem levar ao fortalecimento e à organização comunitária. Utilizamos as categorias de análise propostas na literatura da Psicologia Social Comunitária, principalmente nos aspectos referentes ao empoderamento e às redes comunitárias

Made available in DSpace on 2016-04-25T20:21:49Z (GMT). No. of bitstreams: 1 Wilken.pdf: 1398546 bytes, checksum: 829e2098dbfebfbb3ec091d6b72d1bfd (MD5) Previous issue date: 2007-05-25 / This dissertation approaches the construction of a collaborative model of knowledge production disseminated by the Free Software Movement and its opposition to the current law of intelectual property. It describes the genesis of the free software movement as well as how it has become consolidated as an independent domain of knowledge production. In order to better illustrate the model of production proposed by the Free Software Movement and its virtual communities, this paper presents an analysis on the Debian project´s organization and structure for the making of decisions. It explores the limitations of the current model of intelectual property and how it has become a powerful tool for making knowledge a prisoner of private institutions. At last, this dissertation presents how this new model of collaborative production surpasses the software development and begins to influence different areas of knowledge, leaving behing the idea of intelectual property and becoming a concept of intelectual inheritance / A dissertação trata da construção de um modelo colaborativo de produção do conhecimento pelo Movimento de Software Livre e seu embate com a atual legislação de propriedade intelectual. É descrita a gênese do movimento de software livre e como ele vem sendo consolidado como um campo autônomo de produção do conhecimento. Para exemplificar o modelo de produção proposto pelo Movimento de Software Livre e suas comunidades virtuais, é feita uma análise da organização e da estrutura para tomada de decisões do projeto Debian. A dissertação explora as limitações do atual modelo de propriedade intelectual e como este vem se tornando uma poderosa ferramenta para o aprisionamento do conhecimento dentro de instituições privadas. Por fim, é apresentado, de que forma esse novo modelo de produção colaborativa ultrapassa o desenvolvimento de softwares e passa a influenciar outras áreas do conhecimento, abandonando a idéia de propriedade intelectual e aproximandose do conceito de patrimônio intelectual

Made available in DSpace on 2016-04-26T14:56:24Z (GMT). No. of bitstreams: 1 Wilken.pdf: 1398546 bytes, checksum: 829e2098dbfebfbb3ec091d6b72d1bfd (MD5) Previous issue date: 2007-05-25 / This dissertation approaches the construction of a collaborative model of knowledge production disseminated by the Free Software Movement and its opposition to the current law of intelectual property. It describes the genesis of the free software movement as well as how it has become consolidated as an independent domain of knowledge production. In order to better illustrate the model of production proposed by the Free Software Movement and its virtual communities, this paper presents an analysis on the Debian project´s organization and structure for the making of decisions. It explores the limitations of the current model of intelectual property and how it has become a powerful tool for making knowledge a prisoner of private institutions. At last, this dissertation presents how this new model of collaborative production surpasses the software development and begins to influence different areas of knowledge, leaving behing the idea of intelectual property and becoming a concept of intelectual inheritance / A dissertação trata da construção de um modelo colaborativo de produção do conhecimento pelo Movimento de Software Livre e seu embate com a atual legislação de propriedade intelectual. É descrita a gênese do movimento de software livre e como ele vem sendo consolidado como um campo autônomo de produção do conhecimento. Para exemplificar o modelo de produção proposto pelo Movimento de Software Livre e suas comunidades virtuais, é feita uma análise da organização e da estrutura para tomada de decisões do projeto Debian. A dissertação explora as limitações do atual modelo de propriedade intelectual e como este vem se tornando uma poderosa ferramenta para o aprisionamento do conhecimento dentro de instituições privadas. Por fim, é apresentado, de que forma esse novo modelo de produção colaborativa ultrapassa o desenvolvimento de softwares e passa a influenciar outras áreas do conhecimento, abandonando a idéia de propriedade intelectual e aproximandose do conceito de patrimônio intelectual