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

Contribuições para o processo de verificação de satisfatibilidade módulo teoria em Event-B

Event-B is a formal method for modeling and verification of discrete transition systems. Event-B development yields proof obligations that must be verified (i.e. proved valid) in order to keep the produced models consistent. Satisfiability Modulo Theory solvers are automated theorem provers used to verify the satisfiability of logic formulas considering a background theory (or combination of theories). SMT solvers not only handle large firstorder formulas, but can also generate models and proofs, as well as identify unsatisfiable subsets of hypotheses (unsat-cores). Tool support for Event-B is provided by the Rodin platform: an extensible Eclipse based IDE that combines modeling and proving features. A SMT plug-in for Rodin has been developed intending to integrate alternative, efficient verification techniques to the platform. We implemented a series of complements to the SMT solver plug-in for Rodin, namely improvements to the user interface for when proof obligations are reported as invalid by the plug-in. Additionally, we modified some of the plug-in features, such as support for proof generation and unsat-core extraction, to comply with the SMT-LIB standard for SMT solvers. We undertook tests using applicable proof obligations to demonstrate the new features. The contributions described can potentially affect productivity in a positive manner.

O Insituto do Amicus Curiae no controle de consitucionalide brasileiro: uma abordagem à luz da efetividade do princípio do acesso à justiça

It presents a study about the control of constitutionality, its requirements and beddings. It brings, at first, notions about the concept of constitution, in its most varied aspects, as well as the systems of Control of Constitutionality. It emphasizes, considering the actual Brazilian situation, which passes through constitutional reforms and, therefore, assenting the appearance of an enormous amount of ordinary laws, the legal instability that has formed itself within the national panoram. Because of this situation, the institute of the Control of Constitutionality gains inmportancy as a way of protection of our Great Letter, against possible violations which can unfortunately happen. More ahead in the difuse control of constitutionality argues the new trend of generalization, especially after the recent reform that introduced the general repercussion as new requirement of admissibilidade of the appeal to the Brazilian Supreme Court. In the final chapter brings an analysis on the institute of amicus curiae, arguing its historical origins and its evolution, in the comparative jurisprudence, and the Brazilian right. From then is gone deep the paper of amicus curiae in the constitutionality control and, after quarrel on the difficulties of the Brazilian population to materialize its right before the judiciary, as this new institute could contribute in basic way for the materialization of the constitutional rule of access to justice

A complexidade do ser fictício: a construção da personagem Marcela no romance A ostra e o vento

It is possible to notice that the modern narrative increasingly seeks to invest its characters with a broad and complex nature, away from the well-defined beings of the traditional narrative. Through this work, we aim to make a study of Marcela, a character of the novel A ostra e o vento, by Moacir Costa Lopes, taking into account the way the complexity of the fictitious being is constituted through an analysis of structural, semantic, and thematic elements. We first will bring up a brief theoretical discussion about the character in a novel, and we also will carefully analyze the diagetic universe, presenting the complex path of the character further. Subsequently, we will focus on the structure of the narrative which creates a complex picture of the character, using the technique of crossed points of view as well as the technique of temporal fragmentation. Finally, we will investigate conflicting social relations that portray Marcela s disturbed inner side, as well as the metaphoric symbolic language, which furnishes a number of different representation of this character, impeding the creation of a well-structured coherent character. Studies of scholars such as Antonio Candido, Anatol Rosenfeld, Vitor Manuel de Aguiar e Silva, Fernando Segolin, Gerard Genette, Michel Zéraffa, among others, will guide our analysis

Estatística não-extensiva aplicada ao cálculo do calor específico eletrônico em estruturas quasiperiódicas

Systems whose spectra are fractals or multifractals have received a lot of attention in recent years. The complete understanding of the behavior of many physical properties of these systems is still far from being complete because of the complexity of such systems. Thus, new applications and new methods of study of their spectra have been proposed and consequently a light has been thrown on their properties, enabling a better understanding of these systems. We present in this work initially the basic and necessary theoretical framework regarding the calculation of energy spectrum of elementary excitations in some systems, especially in quasiperiodic ones. Later we show, by using the Schr¨odinger equation in tight-binding approximation, the results for the specific heat of electrons within the statistical mechanics of Boltzmann-Gibbs for one-dimensional quasiperiodic systems, growth by following the Fibonacci and Double Period rules. Structures of this type have already been exploited enough, however the use of non-extensive statistical mechanics proposed by Constantino Tsallis is well suited to systems that have a fractal profile, and therefore our main objective was to apply it to the calculation of thermodynamical quantities, by extending a little more the understanding of the properties of these systems. Accordingly, we calculate, analytical and numerically, the generalized specific heat of electrons in one-dimensional quasiperiodic systems (quasicrystals) generated by the Fibonacci and Double Period sequences. The electronic spectra were obtained by solving the Schr¨odinger equation in the tight-binding approach. Numerical results are presented for the two types of systems with different values of the parameter of nonextensivity q

Estudo de propriedades críticas em sistemas complexos: método de procura automática em sistemas tipo Ising e percolação de longo alcance

The new technique for automatic search of the order parameters and critical properties is applied to several well-know physical systems, testing the efficiency of such a procedure, in order to apply it for complex systems in general. The automatic-search method is combined with Monte Carlo simulations, which makes use of a given dynamical rule for the time evolution of the system. In the problems inves¬tigated, the Metropolis and Glauber dynamics produced essentially equivalent results. We present a brief introduction to critical phenomena and phase transitions. We describe the automatic-search method and discuss some previous works, where the method has been applied successfully. We apply the method for the ferromagnetic fsing model, computing the critical fron¬tiers and the magnetization exponent (3 for several geometric lattices. We also apply the method for the site-diluted ferromagnetic Ising model on a square lattice, computing its critical frontier, as well as the magnetization exponent f3 and the susceptibility exponent 7. We verify that the universality class of the system remains unchanged when the site dilution is introduced. We study the problem of long-range bond percolation in a diluted linear chain and discuss the non-extensivity questions inherent to long-range-interaction systems. Finally we present our conclusions and possible extensions of this work

Moradores crônicos de hospital psiquiátrico: um desafio à desinstitucionalização

The existence of chronic inhabitants in the psychiatric hospitals imposes a challenge to the Psychiatric Reform, that proposes things such as the gradual and progressive way to extinct mental institutions, once the permanence of the hospital in the system is only necessary because there is not a net of well structured substitute services capable of receiving that demand. This work considered relevant to deepen the knowledge about those people who passes their lives jailed by the walls of psychiatric hospitals and compose significant part of the world population. It also aimed to investigate the problem relative to the condition of being an inhabitant of a psychiatric hospital the Dr. João Machado Hospital (HJM), in the city of Natal/RN. The paper used different points of view (patients , families and professionals ) to define the profile of the inhabitants, to identify the possibility of insertion in substituting social equipment, to know the expectations of the inhabitants and their relatives regarding to the exit of the life shelter, to investigate the demands related to the net of cares social support for making feasible the discharge and to identify the difficulties that are involved in the exit of the chronic inhabitant of the hospital. There were defined three methodological phases: delineation of the identification, socio-economic and clinical profile of the inhabitants of the HJM; semi-structured interviews with professionals; and open interviews with inhabitants and family. It concluded that the psychiatric institutionalization contributes to the generation of chronic inhabitants in the psychiatric hospitals. Among the professionals, it was detached the defense of desospitalization, but an existence of devices of the asylum model. The relatives showed a resistance to participate in the care and the inhabitants exposed their desire to leave the hospital, as well like the wish of permanence. It was considered important: the construction of an extra-hospital net that enables to desinstitutionalization; the qualification of the technical; orientation to the family, stimulating its participation in the process of caring; give freedom to the individuals in mental suffering, enabling them to be ahead of their lives and express their desires and opinions; the implementation of an extended clinic that is capable of building new possibilities; and a subjectivity guided by the social enclosure