Um turismo de base comunitária para o Parque Nacional do Itatiaia: estudo sobre conflito socioambiental em unidade de conservação.

O Parque Nacional do Itatiaia, fundado em 1937, é o primeiro Parque Nacional do Brasil e apresenta dois planos distintos em seus espaços Parte Alta e Parte Baixa compreendendo municípios dos estados do Rio de Janeiro e Minas Gerais. O estudo do conflito socioambiental existente no Parque Nacional do Itatiaia (PNI) foi realizado, nesta tese, a partir do processo de ampliação territorial ocorrido nesta Unidade de Conservação, em 1982, que incorporou pequenas propriedades particulares ao território da Parte Alta do PNI sem que o Estado efetivasse as indenizações e as desapropriações territoriais preconizadas pela legislação ambiental brasileira para unidades de conservação de proteção integral (SNUC Lei Federal n. 9.985/2000). A caracterização do PNI foi feita levando-se em consideração as correntes ambientalistas que fundamentaram a criação de áreas protegidas desde o surgimento da primeira unidade de conservação nos Estados Unidos da América, no séc. XIX. As assimetrias identificadas nas relações de poder estabelecidas pelos atores sociais envolvidos na questão fundiária do PNI foram destacadas com base nas contribuições do campo da ecologia política. Nessa perspectiva, o estudo caracterizou a relação das comunidades tradicionais com o meio ambiente e as práticas socioambientais dela decorrentes e identificou alternativas de sustentabilidade socioambiental para enfrentamento dos conflitos fundiários existentes no PNI. A possibilidade de desenvolvimento de práticas produtivas alternativas à agropecuária, como o turismo de base comunitária, por exemplo, que permite a inclusão das famílias residentes no território do PNI até que se conclua o processo de regularização fundiária e a sua consolidação territorial, foi ressaltada com vistas a apontar a construção de um arranjo institucional como estratégia de compatibilização de dois direitos fundamentais garantidos pela Constituição Federal de 1988 (CF/88): o direito ao meio ambiente equilibrado e o direito cultural. Nesse parque, a atividade turística manifesta-se como uma das alternativas viáveis para o enfrentamento dos conflitos sobre a ocupação fundiária, tendo em vista que políticas públicas de turismo têm concebido ações de geração de trabalho e renda, de inclusão social e de sustentabilidade econômica e ambiental. A adoção da metodologia de pesquisa qualitativa, com base na técnica de observação participante, permitiu a imersão do pesquisador na problemática vivenciada por comunidades tradicionais que vivem em UCs e possibilitou a obtenção de dados singulares que auxiliaram na interpretação dos resultados. A partir das análises empreendidas com base no trabalho de campo e nas entrevistas, esta tese reforça a importância da celebração de um arranjo institucional entre o Estado brasileiro, por meio do órgão ambiental, e as famílias residentes nas comunidades da Serra Negra e da Vargem Grande, dentro dos limites territoriais do PNI, como forma de se criar uma alternativa sustentável aos impasses vivenciados pelo Estado brasileiro frente às reivindicações de grupos sociais envolvidos em conflitos socioambientais, não só no PNI, mas em diversas Unidades de Conservação do Brasil.

Capital como Droga, Trabalho como Vício: subjetividade, euforia e depressão na pós-modernidade

O objetivo central deste estudo é examinar as novas formas de subjetivação e de mal-estar engendradas pelas exigências da sociedade do trabalho no contexto do capitalismo contemporâneo. A emergência de uma nova e perversa forma de sociabilidade e de uma subjetividade ligada a ela está intrinsecamente associada às transformações estruturais da sociedade capitalista e suas atuais condições da acumulação de capital. Considerando o caráter social e histórico da sociedade capitalista, do sujeito e da subjetividade, o foco deste trabalho deve ser o sujeito interpelado pela ideologia, clivado pelo inconsciente e individualizado pelo mercado. Busco, portanto, articular pontos teóricos entre os conceitos de ideologia, fetiche e inconsciente referenciados no materialismo histórico e na psicanálise. Ao apresentar o Capital como droga e o Trabalho como vicio, pretende-se de forma alegórica desvelar os impasses e sintomas de um sistema em crise que, apesar das sucessivas tentativas de recuperação, colapsa historicamente, levando sua dinâmica perversa aos limites do insuportável. Ao subordinar a reprodução da vida ao trabalho assalariado, ao mesmo tempo em que para se reproduzir tem sistematicamente de aboli-lo, o capitalismo engendra, na sua crise estrutural, uma das mais sofisticadas formas de dominação, sujeição e exploração: a utilização dos componentes do psiquismo e da subjetivação em nome dos interesses da ordem mercantil. No mundo globalizado pelo mercado, vem aumentando o uso de drogas lícitas, fruto ou não de prescrição médica, como um recurso para inibir todo tipo de mal-estar e impasse psíquico ou reações indesejáveis que possam comprometer a adequação dos indivíduos aos padrões da produtividade, a permanência no ambiente de trabalho, bem como o enfrentamento de conflitos e frustrações inerentes à condição humana. Essa manipulação química da subjetividade potencializa-se na atualidade, expandindo globalmente a drogadicção, no sentido amplo do termo, privando o sujeito da capacidade de pensar. Ela aponta também para as impossibilidades de o sujeito desenvolver suas faculdades ativas e criativas, assim como o diálogo com o outro, o que nos conduz cada vez mais a atitudes de intolerância e violência ou estados compulsivos e depressivos. Ao contrário do que o capitalismo podia propiciar em seu período de ascensão, os modos de inclusão imaginária engendrados pelo capitalismo pós-moderno estão baseados no consumo conspícuo e no gozo imediato, implicando novos contornos para o sofrimento psíquico, agora marcado por transtornos narcísico-identitários e saídas não-representacionais. A partir dessa reflexão, busco a crítica do conceito de sujeito configurado pelo trabalho e pelo psicologismo, que tem contribuído para práticas legitimadoras de exclusão no interior da própria psicologia. Esta crítica representa um compromisso ético-político pela desalienação do sujeito e pela superação do capitalismo, aqui entendido como um sistema que produz mercadorias e viciados em drogas.

柔性制造系统中死锁避免的充要条件第一部分：资源竞争过程的建模

柔性制造系统的主要特点是多种不同类型的工件同时在系统中加工，这些工件竞争系统的有限资源，导致象系统死锁等这样的不希望事件的发生，本文用一种Ｐｅｔｒｉ网模型，称之为着色面向资源的Ｐｅｔｒｉ网（着色ＲＯＰＮ）来描述系统中的这一竞争过程；这一模型揭示了资源竞争过程的本质特点，从而为寻求死锁避免的充要条件提供了基础。

A User-Centric Perspective on Parallel Programming with Focus on OpenMP

The process of developing software that takes advantage of multiple processors is commonly referred to as parallel programming. For various reasons, this process is much harder than the sequential case. For decades, parallel programming has been a problem for a small niche only: engineers working on parallelizing mostly numerical applications in High Performance Computing. This has changed with the advent of multi-core processors in mainstream computer architectures. Parallel programming in our days becomes a problem for a much larger group of developers. The main objective of this thesis was to find ways to make parallel programming easier for them. Different aims were identified in order to reach the objective: research the state of the art of parallel programming today, improve the education of software developers about the topic, and provide programmers with powerful abstractions to make their work easier. To reach these aims, several key steps were taken. To start with, a survey was conducted among parallel programmers to find out about the state of the art. More than 250 people participated, yielding results about the parallel programming systems and languages in use, as well as about common problems with these systems. Furthermore, a study was conducted in university classes on parallel programming. It resulted in a list of frequently made mistakes that were analyzed and used to create a programmers' checklist to avoid them in the future. For programmers' education, an online resource was setup to collect experiences and knowledge in the field of parallel programming - called the Parawiki. Another key step in this direction was the creation of the Thinking Parallel weblog, where more than 50.000 readers to date have read essays on the topic. For the third aim (powerful abstractions), it was decided to concentrate on one parallel programming system: OpenMP. Its ease of use and high level of abstraction were the most important reasons for this decision. Two different research directions were pursued. The first one resulted in a parallel library called AthenaMP. It contains so-called generic components, derived from design patterns for parallel programming. These include functionality to enhance the locks provided by OpenMP, to perform operations on large amounts of data (data-parallel programming), and to enable the implementation of irregular algorithms using task pools. AthenaMP itself serves a triple role: the components are well-documented and can be used directly in programs, it enables developers to study the source code and learn from it, and it is possible for compiler writers to use it as a testing ground for their OpenMP compilers. The second research direction was targeted at changing the OpenMP specification to make the system more powerful. The main contributions here were a proposal to enable thread-cancellation and a proposal to avoid busy waiting. Both were implemented in a research compiler, shown to be useful in example applications, and proposed to the OpenMP Language Committee.

Estudo da viabilidade do desenvolvimento de sistemas integrados baseados em redes em chip sem processadores: sistema IPNoSys

The increase of capacity to integrate transistors permitted to develop completed systems, with several components, in single chip, they are called SoC (System-on-Chip). However, the interconnection subsystem cans influence the scalability of SoCs, like buses, or can be an ad hoc solution, like bus hierarchy. Thus, the ideal interconnection subsystem to SoCs is the Network-on-Chip (NoC). The NoCs permit to use simultaneous point-to-point channels between components and they can be reused in other projects. However, the NoCs can raise the complexity of project, the area in chip and the dissipated power. Thus, it is necessary or to modify the way how to use them or to change the development paradigm. Thus, a system based on NoC is proposed, where the applications are described through packages and performed in each router between source and destination, without traditional processors. To perform applications, independent of number of instructions and of the NoC dimensions, it was developed the spiral complement algorithm, which finds other destination until all instructions has been performed. Therefore, the objective is to study the viability of development that system, denominated IPNoSys system. In this study, it was developed a tool in SystemC, using accurate cycle, to simulate the system that performs applications, which was implemented in a package description language, also developed to this study. Through the simulation tool, several result were obtained that could be used to evaluate the system performance. The methodology used to describe the application corresponds to transform the high level application in data-flow graph that become one or more packages. This methodology was used in three applications: a counter, DCT-2D and float add. The counter was used to evaluate a deadlock solution and to perform parallel application. The DCT was used to compare to STORM platform. Finally, the float add aimed to evaluate the efficiency of the software routine to perform a unimplemented hardware instruction. The results from simulation confirm the viability of development of IPNoSys system. They showed that is possible to perform application described in packages, sequentially or parallelly, without interruptions caused by deadlock, and also showed that the execution time of IPNoSys is more efficient than the STORM platform

BTS:uma ferramenta de suporte ao desenvolvimento sistemático de sistemas confiáveis baseados em componentes

The component-based development of systems revolutionized the software development process, facilitating the maintenance, providing more confiability and reuse. Nevertheless, even with all the advantages of the development of components, their composition is an important concern. The verification through informal tests is not enough to achieve a safe composition, because they are not based on formal semantic models with which we are able to describe precisally a system s behaviour. In this context, formal methods provide ways to accurately specify systems through mathematical notations providing, among other benefits, more safety. The formal method CSP enables the specification of concurrent systems and verification of properties intrinsic to them, as well as the refinement among different models. Some approaches apply constraints using CSP, to check the behavior of composition between components, assisting in the verification of those components in advance. Hence, aiming to assist this process, considering that the software market increasingly requires more automation, reducing work and providing agility in business, this work presents a tool that automatizes the verification of composition among components, in which all complexity of formal language is kept hidden from users. Thus, through a simple interface, the tool BST (BRIC-Tool-Suport) helps to create and compose components, predicting, in advance, undesirable behaviors in the system, such as deadlocks

A REACHABILITY TREE FOR STATECHARTS AND ANALYSIS OF SOME PROPERTIES

Statecharts are an extension to finite state machines with capability for expressing hierarchical decomposition and parallelism. They also have a mechanism called history, to remember the last visit to a superstate. An algorithm to create a reachability tree for statecharts is presented. Also shown is how to use this tree to analyse dynamic properties of statecharts; reachability from any state configuration, usage of transitions, reinitiability, deadlocks, and valid sequence of events. Owing to its powerful notation, building a reachability tree for statecharts presents some difficulties, and we show how these problems were solved in the tree we propose.

Entre a matriz portuguesa e a literatura nacional: a concepção de texto literário para João Ribeiro

This paper aims at rescuing some critical appraisals found in the high school anthology Autores Contemporâneos (1931), by the critic, philologist and writer João Ribeiro, one of the main Brazilian intellectual representatives of the first decades of the twentieth century. João Ribeiro, along with Coelho Neto and, Laudelino Freire, among others, took part in of the panel which compiled, in 1921, the Dicionário da Academia Brasileira de Letras. Therefore, we find the analytical process João Ribeiro, their theoretical observations, concepts and dilemmas which are appointed by him in literary history and criticism of the early twentieth century.

A study of two Languages for Active Objects with Futures

In computer systems, specifically in multithread, parallel and distributed systems, a deadlock is both a very subtle problem - because difficult to pre- vent during the system coding - and a very dangerous one: a deadlocked system is easily completely stuck, with consequences ranging from simple annoyances to life-threatening circumstances, being also in between the not negligible scenario of economical losses. Then, how to avoid this problem? A lot of possible solutions has been studied, proposed and implemented. In this thesis we focus on detection of deadlocks with a static program analysis technique, i.e. an analysis per- formed without actually executing the program. To begin, we briefly present the static Deadlock Analysis Model devel- oped for coreABS−− in chapter 1, then we proceed by detailing the Class- based coreABS−− language in chapter 2. Then, in Chapter 3 we lay the foundation for further discussions by ana- lyzing the differences between coreABS−− and ASP, an untyped Object-based calculi, so as to show how it can be possible to extend the Deadlock Analysis to Object-based languages in general. In this regard, we explicit some hypotheses in chapter 4 first by present- ing a possible, unproven type system for ASP, modeled after the Deadlock Analysis Model developed for coreABS−−. Then, we conclude our discussion by presenting a simpler hypothesis, which may allow to circumvent the difficulties that arises from the definition of the ”ad-hoc” type system discussed in the aforegoing chapter.

Committed to reform? Pragmatic antitrust enforcement in electricity markets

This thesis is a collection of essays about the instrumental use of commitment decisions to facilitate the completion of the European internal electricity market. European policy can shape markets in many ways, two most evident being regulation and competition enforcement. The interplay between these two instruments attracts a lot of scholarly attention. One of the major concerns in the competition vs. regulation debate is the instrumental use of competition rules. It has been observed that competition enforcement is triggered not only as a response to an anticompetitive harm occurring in the market, but that it sometimes becomes a powerful tool in the European Commission’s hands to pursue regulatory goals. This thesis looks for examples of such instrumentalisation in the context of electricity markets and finds that the Commission is very pragmatic in using all the possible instruments it has at hand to push forward its project of creating the internal electricity market. This includes regulation, competition enforcement and all sorts of political pressure. To the extent that commitment decisions accelerate sector-specific regulation and overcome political deadlocks, they contribute to the Commission’s energy policy goals. However, instrumentalisation of competition rules comes at a certain cost to competition policy, energy policy and, most importantly, to electricity markets themselves. Markets might be negatively affected either indirectly, by application of sector-specific regulation or competition policy building on previous commitment decisions, or directly, through the implementation of inadequate commitments in individual cases. Concluding, commitment decisions generally contributed to achieving the policy objectives of the internal electricity market, but their use for that purpose does not come without cost. Given that this cost is ultimately borne by the internal electricity market, the Commission should take a more balanced approach to the instrumental use of commitment decisions so that it does not do more harm than good.

Automated design of self-stabilization

Self-stabilization is a property of a distributed system such that, regardless of the legitimacy of its current state, the system behavior shall eventually reach a legitimate state and shall remain legitimate thereafter. The elegance of self-stabilization stems from the fact that it distinguishes distributed systems by a strong fault tolerance property against arbitrary state perturbations. The difficulty of designing and reasoning about self-stabilization has been witnessed by many researchers; most of the existing techniques for the verification and design of self-stabilization are either brute-force, or adopt manual approaches non-amenable to automation. In this dissertation, we first investigate the possibility of automatically designing self-stabilization through global state space exploration. In particular, we develop a set of heuristics for automating the addition of recovery actions to distributed protocols on various network topologies. Our heuristics equally exploit the computational power of a single workstation and the available parallelism on computer clusters. We obtain existing and new stabilizing solutions for classical protocols like maximal matching, ring coloring, mutual exclusion, leader election and agreement. Second, we consider a foundation for local reasoning about self-stabilization; i.e., study the global behavior of the distributed system by exploring the state space of just one of its components. It turns out that local reasoning about deadlocks and livelocks is possible for an interesting class of protocols whose proof of stabilization is otherwise complex. In particular, we provide necessary and sufficient conditions – verifiable in the local state space of every process – for global deadlock- and livelock-freedom of protocols on ring topologies. Local reasoning potentially circumvents two fundamental problems that complicate the automated design and verification of distributed protocols: (1) state explosion and (2) partial state information. Moreover, local proofs of convergence are independent of the number of processes in the network, thereby enabling our assertions about deadlocks and livelocks to apply on rings of arbitrary sizes without worrying about state explosion.

Persistent Deadlock in Multilateral Trade Negotiations: The Case of Doha

The history of the General Agreement on Tariffs and Trade negotiations is full of anecdotes on missed deadlines, failed ministerial conferences, and brinkmanship situations. Tactics such as walking away from the table or sleep-depriving night sessions are legendary in the context of attempting to overcome impasse in negotiations. This article traces and explains the recurrent deadlock in the Doha Round negotiations. It identifies four structural/contextual factors – ideas, institutions, interests, and information – as necessary for understanding and anticipating potential deadlocks. The article also offers a definition of deadlock, and discusses a set of factors highlighted in the international relations literature that explain the existence and persistence of deadlock. With the help of game theory, it then illustrates the challenges faced by actors during trade negotiations. The article concludes by outlining two general scenarios for the Doha Development Agenda and discusses their implications for the World Trade Organization.

Formal verification of safety protocol in train control system

In order to satisfy the safety-critical requirements, the train control system (TCS) often employs a layered safety communication protocol to provide reliable services. However, both description and verification of the safety protocols may be formidable due to the system complexity. In this paper, interface automata (IA) are used to describe the safety service interface behaviors of safety communication protocol. A formal verification method is proposed to describe the safety communication protocols using IA and translate IA model into PROMELA model so that the protocols can be verified by the model checker SPIN. A case study of using this method to describe and verify a safety communication protocol is included. The verification results illustrate that the proposed method is effective to describe the safety protocols and verify deadlocks, livelocks and several mandatory consistency properties. A prototype of safety protocols is also developed based on the presented formally verifying method.

Racismo e decadência: sociedade, cultura e intelectuais em São Luís do Maranhão

O argumento desta tese é que a lenta configuração social do racismo na província do Maranhão pode ser observada como uma consequência inesperada da combinação de três processos distintos entre si, dotados de causalidades e efeitos próprios, mas cujo amálgama histórico impulsou a valorização simbólica e política das classificações de cor como critério de distinção e controle social. Em primeiro lugar, o processo econômico de derrocada do setor de exportação, diretamente vinculado à plantation escravista em relação à produção voltada para o mercado interno. Em segundo lugar, o crescimento demográfico da população livre de cor no conjunto dos trabalhadores, grupo que se tornou majoritário ainda na primeira metade do século dezenove. Por fim, o lugar periférico do Estado do Maranhão na política brasileira desde o processo de independência. Para demonstrar esta tese analiso a combinação desses processos na cidade de São Luís do Maranhão e os impasses da integração da população negra nessa sociedade que se imaginou como uma Atenas brasileira.

A prematuridade no discurso materno: de que se trata?

Quais os efeitos do diagnóstico de prematuridade no discurso das mães e suas repercussões na relação mãe-criança? Partindo desta questão, que surgiu na experiência psicanalítica em um hospital pediátrico, o presente estudo visa analisar os efeitos do diagnóstico de prematuridade no discurso materno a partir de entrevistas psicanalíticas preliminares com mães de crianças prematuras. Trata-se de uma pesquisa clínica qualitativa que propõe uma articulação entre clínica e teoria a partir da construção de quatro casos clínicos fundamentados pelo referencial teórico da psicanálise de Freud, Lacan e autores contemporâneos. Se no imaginário social a prematuridade é associada a dificuldades em diversos contextos da vida, a análise de cada caso revela que este diagnóstico pode ou não ser encadeado pelo sujeito aos significantes que o marcam de forma prevalente. Nesta via, a prematuridade se desloca do lugar determinante de algo que sempre marca e decide, para um lugar que só pode ser escutado no um a um. Para a análise dos casos, elencou-se a divisão mãe-mulher como operador conceitual central dada sua prevalência nos discursos, em um percurso teórico que parte da história do amor materno ao exame psicanalítico da maternidade a partir da sexualidade feminina. Tais considerações partem do mito do amor materno de Badinter, em direção à equivalência do filho como substituto da falta fálica em Freud, até à ênfase ao desejo da mulher na mãe em Lacan. A discussão apresenta os diferentes lugares atribuídos à prematuridade por cada sujeito feminino e a prevalência de impasses próprios à conjunção e disjunção mãe-mulher incidindo na relação mãe-criança