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.

This thesis considers the problem of assigning a sentence its syntactic structure, which may be discontinuous. It proposes a class of models based on probabilistic grammars that are obtained by the automatic refinement of a given grammar. Different strategies for parsing with a refined grammar are developed. The induction, refinement, and application of two types of grammars (linear context-free rewriting systems and hybrid grammars) are evaluated empirically on two German and one Dutch corpus.

The word problem for a finite set of ground identities is known to be decidable in polynomial time using congruence closure, and this is also the case if some of the function symbols are assumed to be commutative or defined by certain shallow identities, called strongly shallow. We show that decidability in P is preserved if we add the assumption that certain function symbols f are extensional in the sense that f (s₁, . . . , sn) ≈ f (t₁, . . . , tn) implies s₁ ≈ t₁, . . . , sn ≈ tn. In addition, we investigate a variant of extensionality that is more appropriate for commutative function symbols, but which raises the complexity of the word problem to coNP.

[pt] Neste trabalho propomos usar o ALua, um mecanismo de comunicação orientado a eventos, baseado na linguagem interpretada Lua, para coordenação e desenvolvimento de aplicações paralelas distribuídas. ALua é um modelo de programação dual para aplicações paralelas distribuídas, que age como elemento de ligação, permitindo que partes pré- compiladas do programa sejam executadas em diferentes máquinas. Novas tecnologias em programação paralela, como computação em grade, e o interesse atual em computação distribuída para redes geográficas demandam novos níveis de flexibilidade, como o uso de estratégias de adaptação e a habilidade para um usuário interferir em uma computação sem a necessidade de interrompê-la. Além disso, devido a sua natureza assíncrona, a programação dirigida a eventos oferece um modelo apropriado para ambiente sujeitos a falhas e retardos, que são freqüentes no contexto de redes geográficas. Neste trabalho, mostramos que o ALua pode trazer a flexibilidade desejada, através de mecanismos de adaptação e monitoramento não só de aplicações, mas do próprio ambiente de execução, e ainda tirar proveito de sua natureza interpretada para permitir a intervenção do usuário na aplicação mesmo durante a sua execução. / [en] In this work we propose the use of Alua, an event-driven communication mechanism for coordinating and developing distributed parallel applications, based on the interpreted language Lua. Alua adopts a multilinguage programming model for distributed parallel applications, acting as a gluing element among precompiled program parts running on different machines. New developments in parallel programming, such as Grid computing, and current interest in wide-area distributed computing demand new levels of flexibility, such as the use of adaptive strategies and the ability for an user to interfer with a computation without having to stop it. Furthermore, because of its asynchronous nature, event-driven programming provides a suitable model for environments subject to failures and delays that are frequent in the context of geographically distributed computing. In this work we show that ALua can achieve the required flexibility through mechanisms for monitoring and adapting not only applications, but also the execution environment, and also exploit its interpretive nature to allow the programmer to modify the behavior of the application during its execution.

This thesis aims to analyze how tendencies to corruption affect trust in Central Managing Authorities: Sweden Public Employment Service, National Service Center, and Swedish Insurance Agency.  The research questions are:  · Can the trust and legitimacy for the three Central Managing Authorities has been affected by corruption?  · What similarities and differences exist about the corruption into Swedish Public Employment Service, National Service Center, and Swedish Social Insurance Agency?  · Can the lack of trust and legitimacy have other causes than the occurrence of corruption?  The study used comparative method, where cases have been compared and analyzed out from theoretical framework. Through comparation, similarities and differences between the cases and find explaining factors about how corruption can affect trust through applying of the theoretical framework was identified. There are some important implications. First, corrupt tendencies can lead to common interests be override because of personal interests. Second, the democratic values in the public administration can be affect negatively because of corrupt tendencies. Lastly, knowledge and awareness are fundamental for how corrupt tendencies affect citizen’s trust for Central Managing Authorities.

Esta tese tem como objetivo investigar os limites constitucionais ao emprego de normas tributárias extrafiscais, contribuindo, de maneira original, com o desenvolvimento de métodos que possibilitem que estes instrumentos sejam controlados de modo mais preciso pelo Poder Judiciário. Para a consecução deste objetivo central, trabalhou-se a partir de quatro blocos de investigação. Primeiro, a pesquisa centrou-se em discutir a importância de segregação das normas tributárias entre fiscais e extrafiscais, analisando as diversas propostas de métodos para a separação entre estas. Ao final, a tese sugere que as normas tributárias extrafiscais devem ser identificadas a partir das suas finalidades, conforme venha a ser interpretado pelo aplicador da norma. Superada a questão, passa-se à investigação dos fundamentos constitucionais que legitimam o emprego das normas tributárias extrafiscais, quando se debate em que sentido normativo se pode falar em neutralidade tributária. Em um terceiro módulo de investigação, as normas tributárias extrafiscais são contrapostas às limitações constitucionais ao poder de tributar, ao conflito entre competência regulatória e competência tributária, ao conceito constitucional de tributo, bem como aos limites ínsitos às espécies tributárias previstas pela Constituição Federal. Por fim, apresenta-se um modelo de protocolo decisório que pode ser utilizado para fins de controlabilidade das normas tributárias extrafiscais pelo Poder Judiciário, colocando-se em destaque os princípios da igualdade e da proporcionalidade. / The main goal of this thesis is to investigate the constitutional limits on the use of non-fiscal purpose tax laws, contributing, with originality, to the development of methods that allow a more precise control of these instruments by the Judiciary Branch. To achieve such goal, the thesis was divided into four parts. The first part focuses in discussing the importance of segregation of tax laws in two groups: fiscal and non-fiscal, and analyzes the numerous methods proposed for such classification. The thesis suggests that non-fiscal purpose tax laws must be identified by their purpose, as interpreted by those responsible for applying the law. The second part investigates the constitutional basis that legitimates the use of non-fiscal purpose tax laws and discusses to what normative extent one can speak of tax neutrality. In the third part, the non-fiscal purpose tax laws are compared to the constitutional limits on taxation, to the conflict between regulatory competence and fiscal competence, to the constitutional concept of tax, as well as to the limits involving the tax species provided by the Federal Constitution. Finally, a model of decision making protocol is presented for use a mean of control by the Judiciary Branch of the non-fiscal purpose tax, highlighting the principles of equality and proportionality.