Alguns aspectos sobre o processo da democratização dos sistemas políticos no mundo árabe :Egito e Líbano como modelos de estudo

The World has tried diverse democratic waves at distinct moments. Some nations have adopted the idea of the democracy for years; others have not yet and other ones are still in a slow process of transition. The field of studies on the Arabian political systems has testified since the last quarter of 20th century a notorious development. This advance disclosed in the existence of a set of trends that has turned around a number of concepts and main theoretical frames such as the political pluralism and the democratic transition and the civil society and its relation with the State. The speech on the process of democratic transition consists in part in the capture and the analysis of the role of the forces and the organizations of the civil society in this process. The peculiarities of the Arab World excite questions concerning the establishment of one governmental system in this universe in the mold of that one that develops with hegemony in the Occident, which has become an interesting field of inquiries for the Political Science. This study comprises the analysis of some aspects of the political situation in the Arab World towards the process of democratization in which Egypt and Lebanon are models of study. Thus the theoretical basis of the term democracy is introduced, presenting different considerations about this expression, since the sprouting of the term until its current conception; later the civil society is analyzed as well as the systems of the political parties and the electoral systems of both countries in attempt to identify the level of democratization existing there and also to find the possible ways to magnify the democratic horizons

Sistema eleitoral proporcional : uma proposta técnico-politica para o Brasil

The present work aims to analyze the several proportional electoral systems from the contemporaries democracies in order to, in the end, purpose a system that better fits to the constitutional Brazilian order. In this direction, we pursued to indicate the main virtues and imperfections in proportional electoral systems in use in more than two hundred countries, especially relating to the positive and negative effects that these systems inject in the party systems, in the governability and in the representativity. In order to collect elements, and also before getting to the work s main point, other issues were approached, even in a shortened way. Nevertheless, in a position taking, we conclude the work opting for a proportional electoral system that potencializes the constitutional principles of representativity and governability as well as prints a party system strong and strict, once these are the depositaries of a democracy compromised with the Brazilian society

Geração automática de hardware a partir de especificações formais: estendendo uma abordagem de tradução

Removing inconsistencies in a project is a less expensive activity when done in the early steps of design. The use of formal methods improves the understanding of systems. They have various techniques such as formal specification and verification to identify these problems in the initial stages of a project. However, the transformation from a formal specification into a programming language is a non-trivial task and error prone, specially when done manually. The aid of tools at this stage can bring great benefits to the final product to be developed. This paper proposes the extension of a tool whose focus is the automatic translation of specifications written in CSPM into Handel-C. CSP is a formal description language suitable for concurrent systems, and CSPM is the notation used in tools support. Handel-C is a programming language whose result can be compiled directly into FPGA s. Our extension increases the number of CSPM operators accepted by the tool, allowing the user to define local processes, to rename channels in a process and to use Boolean guards on external choices. In addition, we also propose the implementation of a communication protocol that eliminates some restrictions on parallel composition of processes in the translation into Handel-C, allowing communication in a same channel between multiple processes to be mapped in a consistent manner and that improper communication in a channel does not ocurr in the generated code, ie, communications that are not allowed in the system specification

On Fuzzy Implication Classes - Towards Extensions of Fuzzy Rule-Based Systems

Atualmente, há diferentes definições de implicações fuzzy aceitas na literatura. Do ponto de vista teórico, esta falta de consenso demonstra que há discordâncias sobre o real significado de "implicação lógica" nos contextos Booleano e fuzzy. Do ponto de vista prático, isso gera dúvidas a respeito de quais "operadores de implicação" os engenheiros de software devem considerar para implementar um Sistema Baseado em Regras Fuzzy (SBRF). Uma escolha ruim destes operadores pode implicar em SBRF's com menor acurácia e menos apropriados aos seus domínios de aplicação. Uma forma de contornar esta situação e conhecer melhor os conectivos lógicos fuzzy. Para isso se faz necessário saber quais propriedades tais conectivos podem satisfazer. Portanto, a m de corroborar com o significado de implicação fuzzy e corroborar com a implementação de SBRF's mais apropriados, várias leis Booleanas têm sido generalizadas e estudadas como equações ou inequações nas lógicas fuzzy. Tais generalizações são chamadas de leis Boolean-like e elas não são comumente válidas em qualquer semântica fuzzy. Neste cenário, esta dissertação apresenta uma investigação sobre as condições suficientes e necessárias nas quais três leis Booleanlike like — y ≤ I(x, y), I(x, I(y, x)) = 1 e I(x, I(y, z)) = I(I(x, y), I(x, z)) — se mantém válidas no contexto fuzzy, considerando seis classes de implicações fuzzy e implicações geradas por automorfismos. Além disso, ainda no intuito de implementar SBRF's mais apropriados, propomos uma extensão para os mesmos