A forma do privilégio: renda, acessibilidade e densidade em Natal-RN

The aim of this work is to understand the morphological expression of ground occupation by the higher income population, by focusing on population distribution in accordance with income layers and demographical density, as well as topological accessibility (HILLIER and HANSON, 1984) resulting from the urban grid structure. It endeavors to identify a functional organizing principle regarding the intra-urban space of Natal capital city of the state of Rio Grande do Norte, the research focus. In order to achieve this, census data as well as syntactic data were utilized for mapping and spatial analysis of income patterns, topological accessibility and demographical density using Geographical Information System GIS. The organizing principle was named as the Form of Privilege, a pattern that concentrates or tends to concentrate wealth, topological accessibility and low demographical density. Attempting to assess its extent, beyond Natal, this principle was applied to other Brazilian northeastern capitals such as: Fortaleza, CE; Teresina, PI; Aracaju, SE; Recife, PE; and João Pessoa, PB. Findings point out that although the urban structures of these cities are not immune to the Form of Privilege, Natal is emblematic of this phenomenon, a fact that demonstrates the perverse character of its spatial process, which historically creates privileged areas within the city, by means of the appropriation of accessibility as well as of the many urban benesses that are related to it by higher income groups at the expense of the major part of the population, which though being the people mostly in need of the benefits originating from the urban form are excluded from them

Saudosa Maloca, Maloca querida: um estudo morfológico da relação forma/usos do espaço em moradias autoconstruídas e construídas pelo poder público após um ano de ocupação

This study intends to enhance the existing knowledge concerning the patterns of the uses of space for low cost housing in Parnamirim, Rio Grande do Norte, Brazil, by way of comparative morphological studies in spatial arrangements and articulations regarding three distinct, however inter-related, sets of social housing: (1) a development comprising 21 self-built houses erected on public routes and illegal plots within a tract of land originally designed to be an industrial development: (2) architect-designed houses built by the public authority in order to accommodate the previous 21 (plus a few additions) families occupying the self-built dwellings, and (3) modifications performed by dwellers on a total of those 24 houses built by the public authority after an occupation period of one year. The predominant uses of each room within the self-built and modified houses were represented in ground plan, based on empirical observation, surveys with dwellers and the use of analytical procedures of morphologic analysis of nature predominantly geometric (specific) and topology (space syntax analysis). A scale of priorities was identified in relation to the uses of each room, its geometrical arrangement (adjacency, front/back relations etc), and underlying structures (connectivity, depth and spatial integration) in order to establish congruencies and non-congruencies between a social-cultural order embedded in the self-built domestic space and the design logic contained in the houses offered by official agencies. The comparative analysis points towards the convivial existence of two tendencies: one that seems to reinforce a design logic inasmuch as the additions and modifications performed by the dwellers do not alter but even emphasize the original configuration of the designed houses, and another one in which those patterns are subverted in accordance with a logic which, to a lesser or greater degree, coincides with that of the self-built dwellings

O erotismo mítico da ninfeta

This dissertation establishes a viewpoint in the Social Cience Field of the Nymphs image in the romanesque construction of the twentieth century based in modern archaeology. Our literary corpus is constitututed by the book of the russian author callled Wladimir Nabokov entlited Lolita and the book Presença de Anita, from a brazilian author called Mario Donato. Both works had a singular repercussion involving an erotic conception wich was faced as pornographic and baffling. We appeal to Georges Bataille‟s and Foucault‟s discussion in order to observe it through an erotic viewpoint from an inner experience not submitted to normalizations. Such experiences provoke a feeling of something unknown and it reflects wild singularities proposed by Foucault and related with many misunderstanding things presented in institutions and cultures. Furthemore Bataille‟s conception about erotism will give us conditions to analyze nymphs‟ bodies in order to see themselves from their main characteristics, such as seduction and tempting and maligning forces. We still aim to focus the paradigm of mankind and nature in the direction presented by Edgar Morin. He analyzes some feelings that nymphs provoke and their relation between men and death. In adittion, we present in this issue some questions between culture and biology, focusing on the initial period of larva (wich means the beggining), bringing up what is ready to be born, a mythical and significant body shown in the media. Lolita in the cinema and A Presença de Anita in the TV was disturbing in society and it projected the possibility of a syntaxes of desire. It can has a symbolic purpose or it can be a kind of social and cultural phenomenon, wich is an object of representation. Our purpose is to immersion/emerge in the Nimphs‟s body with adventure and its risks at the same time in wich we are crossing frontiers

Especificação e implementação de uma linguagem para transformação de modelos MOF em repositórios dMOF

This work presents the specification and the implementation of a language of Transformations in definite Models specification MOF (Meta Object Facility) of OMG (Object Management Group). The specification uses a boarding based on rules ECA (Event-Condition-Action) and was made on the basis of a set of scenes of use previously defined. The Parser Responsible parser for guaranteeing that the syntactic structure of the language is correct was constructed with the tool JavaCC (Java Compiler Compiler) and the description of the syntax of the language was made with EBNF (Extended Backus-Naur Form). The implementation is divided in three parts: the creation of the interpretative program properly said in Java, the creation of an executor of the actions specified in the language and its integration with the type of considered repository (generated for tool DSTC dMOF). A final prototype was developed and tested in the scenes previously defined

Vaga-lume na treva: a poesia de João Lins Caldas

This thesis analyses the poetry of João Lins Caldas (1888-1967), in Brazilian literature context, aiming at describing and understanding the main features of his poetry. Thus, this research presents a corpus to be worked on: the poems in Poeira do céu e outros poemas (2009). Our study is characterized by a biographical, historiographical and critical tendency, by trying to organize the manuscripts of the author and biographical aspects while analyzing his poems. It is showed the relation between Brazilian poetry written by some authors, since the parnasianism and symbolism period until the twentieth century. On the one hand, our analysis is based on the ideas and criticism by Antonio Candido (2006; 2002; 1985), discussing the process of formation of Brazilian literature and the procedure to analyse poetry. It is also based on the concept of poetry and resistance, developed by Alfredo Bosi (2000; 2002), and the notion of Brazilian matter, identified by Roberto Schwarz (1987, 1997, 1999). On the other hand, this work focuses on melancholy under the theoretical ideas of authors such as Aristotle (1998), Walter Benjamin (1984), Jaime Ginzburg (1997) and Moacyr Scliar (2003). This focus on melancholy contributes to a better understanding of one of the main themes found in the poems analysed. By studying the poetry of João Lins Caldas, it was perceived the relevance of melancholy and resistance in his verses. This can be seen in his dissonant language, characterized by the broken syntax in his verses, as well as contradictory images and complex meanings in his poetry. This causes the effect of unfamiliarity on the reader. His poetry is the result of a style that finds its place in the best moment of modern Brazilian poetry and reveals its singularity through the inverted syntax with powerful themes such as love, death, pain, delusion, loss, memory, nature and God. All of them are aspects of Brazilian historicity. Finally, the work of João Lins Caldas is part of a multifaceted poetry

Poesia digital: três leituras da Obra de Jason Nelson

The development of digital technologies has opened up a new niche for artistic production. It began to emerge artworks that could only happen in the digital context. In this study, we investigated the syntax of defining digital poetry, recognized internationally as one of the possibilities of this new artistic practice, and how happens the meaning during the reading process. As research corpus, we chose the poem "Birds Still Warm From Flying", by american poet Jason Nelson. And we structure our analysis looking through three perspectives: the digital poem as a game; as the evolution of experimental trends of twentieth-century poetry; and as a representation of Rubik`s Cube, a famous three-dimensional puzzle from the 1970`s. Initially, we made some considerations about the construction of digital poetry as a hypermedia artwork, looking through convergence and hybridization of artistic and media languages. Then, we saw some similarities between Nelson`s poem and electronic games, based on our critical observations about the concept of interactivity. Subsequently, we wrote a historical overview about the poetic experimentation in the twentieth century, bringing examples of sound poetry and visual poetry as evidence that the birth of digital poetry is also the result of the evolution of these experiments. Finally, we use the Charles Sanders Peirce`s semiotics to analyze the signs that give references able to make us recognize the Rubik`s Cube in "Birds Still Warm From Flying"

JCircus 2.0: Uma extensão da ferramenta de tradução de Circus para Java

This dissertation aims at extending the JCircus tool, a translator of formal specifications into code that receives a Circus specification as input, and translates the specification into Java code. Circus is a formal language whose syntax is based on Z s and CSP s syntax. JCircus generated code uses JCSP, which is a Java API that implements CSP primitives. As JCSP does not implement all CSP s primitives, the translation strategy from Circus to Java is not trivial. Some CSP primitives, like parallelism, external choice, communication and multi-synchronization are partially implemented. As an aditional scope, this dissertation will also develop a tool for testing JCSP programs, called JCSPUnit, which will also be included in JCircus new version. The extended version of JCircus will be called JCircus 2.0.

Estendendo CRefine para o suporte de táticas de refinamento

The use of increasingly complex software applications is demanding greater investment in the development of such systems to ensure applications with better quality. Therefore, new techniques are being used in Software Engineering, thus making the development process more effective. Among these new approaches, we highlight Formal Methods, which use formal languages that are strongly based on mathematics and have a well-defined semantics and syntax. One of these languages is Circus, which can be used to model concurrent systems. It was developed from the union of concepts from two other specification languages: Z, which specifies systems with complex data, and CSP, which is normally used to model concurrent systems. Circus has an associated refinement calculus, which can be used to develop software in a precise and stepwise fashion. Each step is justified by the application of a refinement law (possibly with the discharge of proof obligations). Sometimes, the same laws can be applied in the same manner in different developments or even in different parts of a single development. A strategy to optimize this calculus is to formalise these application as a refinement tactic, which can then be used as a single transformation rule. CRefine was developed to support the Circus refinement calculus. However, before the work presented here, it did not provide support for refinement tactics. The aim of this work is to provide tool support for refinement tactics. For that, we develop a new module in CRefine, which automates the process of defining and applying refinement tactics that are formalised in the tactic language ArcAngelC. Finally, we validate the extension by applying the new module in a case study, which used the refinement tactics in a refinement strategy for verification of SPARK Ada implementations of control systems. In this work, we apply our module in the first two phases of this strategy

POPT: uma abordagem de ensino de programação orientada a problema e testes

There is a growing interest of the Computer Science education community for including testing concepts on introductory programming courses. Aiming at contributing to this issue, we introduce POPT, a Problem-Oriented Programming and Testing approach for Introductory Programming Courses. POPT main goal is to improve the traditional method of teaching introductory programming that concentrates mainly on implementation and neglects testing. POPT extends POP (Problem Oriented Programing) methodology proposed on the PhD Thesis of Andrea Mendonça (UFCG). In both methodologies POPT and POP, students skills in dealing with ill-defined problems must be developed since the first programming courses. In POPT however, students are stimulated to clarify ill-defined problem specifications, guided by de definition of test cases (in a table-like manner). This paper presents POPT, and TestBoot a tool developed to support the methodology. In order to evaluate the approach a case study and a controlled experiment (which adopted the Latin Square design) were performed. In an Introductory Programming course of Computer Science and Software Engineering Graduation Programs at the Federal University of Rio Grande do Norte, Brazil. The study results have shown that, when compared to a Blind Testing approach, POPT stimulates the implementation of programs of better external quality the first program version submitted by POPT students passed in twice the number of test cases (professor-defined ones) when compared to non-POPT students. Moreover, POPT students submitted fewer program versions and spent more time to submit the first version to the automatic evaluation system, which lead us to think that POPT students are stimulated to think better about the solution they are implementing. The controlled experiment confirmed the influence of the proposed methodology on the quality of the code developed by POPT students

Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)

Este trabalho apresenta uma técnica de verificação formal de Sistemas de Raciocínio Procedural, PRS (Procedural Reasoning System), uma linguagem de programação que utiliza a abordagem do raciocínio procedural. Esta técnica baseia-se na utilização de regras de conversão entre programas PRS e Redes de Petri Coloridas (RPC). Para isso, são apresentadas regras de conversão de um sub-conjunto bem expressivo da maioria da sintaxe utilizada na linguagem PRS para RPC. A fim de proceder fia verificação formal do programa PRS especificado, uma vez que se disponha da rede de Petri equivalente ao programa PRS, utilizamos o formalismo das RPCs (verificação das propriedades estruturais e comportamentais) para analisarmos formalmente o programa PRS equivalente. Utilizamos uma ferramenta computacional disponível para desenhar, simular e analisar as redes de Petri coloridas geradas. Uma vez que disponhamos das regras de conversão PRS-RPC, podemos ser levados a querer fazer esta conversão de maneira estritamente manual. No entanto, a probabilidade de introdução de erros na conversão é grande, fazendo com que o esforço necessário para garantirmos a corretude da conversão manual seja da mesma ordem de grandeza que a eliminação de eventuais erros diretamente no programa PRS original. Assim, a conversão automatizada é de suma importância para evitar que a conversão manual nos leve a erros indesejáveis, podendo invalidar todo o processo de conversão. A principal contribuição deste trabalho de pesquisa diz respeito ao desenvolvimento de uma técnica de verificação formal automatizada que consiste basicamente em duas etapas distintas, embora inter-relacionadas. A primeira fase diz respeito fias regras de conversão de PRS para RPC. A segunda fase é concernente ao desenvolvimento de um conversor para fazer a transformação de maneira automatizada dos programas PRS para as RPCs. A conversão automática é possível, porque todas as regras de conversão apresentadas seguem leis de formação genéricas, passíveis de serem incluídas em algoritmos

Espaço de todos ou de ninguém: análise morfológica de transformações espaciais dos Conjuntos Residenciais Parque Serrambi em Natal/ RN

This work analyses the effects of form over the emergence of new patterns of use and occupation in public spaces of housing estates designed in the 1980s and 1990s in Natal’s municipality (Brazil). We start from the premise that form acts on social process (HILLIER; HANSON, 1984), and verify how much the original spatial configuration of Parque Serrambi housing states contributed to the creation of new spatial patterns following the interventions of the people living there. The Serrambi states were built in Natal’s south based on an urbanization model following modernist’s principals and aimed to supply demands for popular dwellings. They were one of the last estates financed by the former National Dwelling Bank (BNH) and supervised by the Dwelling Cooperatives Orientation Institute (INOCOOP), materialized a spatial form different from the highrise dwelling experiences from the same period. The results were obtained through configurational analysis based on Space Syntax conceptual and methodological framework, in which space and society are viewed as interrelated. The analyses was based on represanting and quantifying spatial properties and identificatying social patterns related to the interventions. We identified that the original spatial configurations, associated to subtle changes in the states social patterns, analysed independently of non-morphological categories, gave way to the occupation patterns verrified in both Serrambi cases.

Uma linguagem de descrição arquitetural baseada em uma arquitetura de referência para sistemas ubíquos

A computação ubíqua é um paradigma no qual dispositivos com capacidade de processamento e comunicação são embutidos nos elementos comuns de nossas vidas (casas, carros, máquinas fotográficas, telefones, escolas, museus, etc), provendo serviços com um alto grau de mobilidade e transparência. O desenvolvimento de sistemas ubíquos é uma tarefa complexa, uma vez que envolve várias áreas da computação, como Engenharia de Software, Inteligência Artificial e Sistemas Distribuídos. Essa tarefa torna-se ainda mais complexa pela ausência de uma arquitetura de referência para guiar o desenvolvimento de tais sistemas. Arquiteturas de referência têm sido usadas para fornecer uma base comum e dar diretrizes para a construção de arquiteturas de softwares para diferentes classes de sistemas. Por outro lado, as linguagens de descrição arquitetural (ADLs) fornecem uma sintaxe para representação estrutural dos elementos arquiteturais, suas restrições e interações, permitindo-se expressar modelo arquitetural de sistemas. Atualmente não há, na literatura, ADLs baseadas em arquiteturas de referência para o domínio de computação ubíqua. De forma a permitir a modelagem arquitetural de aplicações ubíquas, esse trabalho tem como objetivo principal especificar UbiACME, uma linguagem de descrição arquitetural para aplicações ubíquas, bem como disponibilizar a ferramenta UbiACME Studio, que permitirá arquitetos de software realizar modelagens usando UbiACME. Para esse fim, inicialmente realizamos uma revisão sistemática, de forma a investigar na literatura relacionada com sistemas ubíquos, os elementos comuns a esses sistemas que devem ser considerados no projeto de UbiACME. Além disso, com base na revisão sistemática, definimos uma arquitetura de referência para sistemas ubíquos, RA-Ubi, que é a base para a definição dos elementos necessários para a modelagem arquitetural e, portanto, fornece subsídios para a definição dos elementos de UbiACME. Por fim, de forma a validar a linguagem e a ferramenta, apresentamos um experimento controlado onde arquitetos modelam uma aplicação ubíqua usando UbiACME Studio e comparam com a modelagem da mesma aplicação em SySML.

Padrões de ordenação de constituintes das construções V2/V3 superficiais em cartas pessoais brasileiras dos séculos 19 e 20

In line with the model of grammar competition (Kroch, 1989; 2001), according to which the change in the syntactic domains is a process that develops via competition between different grammars, we describe and analyze the superficial constructions V2 / V3 in matrices / roots sentences of brazilian personal letters of the 19th and 20th centuries. The corpus, composed by 154 personal letters of Rio de Janeiro and Rio Grande do Norte, is divided into three century halves: (i) latter half of the 19th century; (ii) first half of the 20th century; and (iii) latter half of the 20th century. Our focus was the observation of the nature of preverbal constituents in superficial constructions V2 (verb in second position in the sentence) and V3 (verb in third position in the sentence), with a special attention on the position of the subject. Based on the various diachronical studies about the Portuguese ordination standards (Ambar (1992); Ribeiro (1995, 2001); Paixão de Sousa (2004); Paiva (2011), Coelho and Martins (2009, 2012)), our study sought to realize what are empirical ordination standards that involve superficial constructions V2 / V3 and how these patterns structure syntactically within a formal theoretical perspective (Chomsky, 1981; 1986), more specifically, in accordance with studies of Antonelli (2011), and Costa & Galves (2002). The survey results show that the data from the second half of the 19th century – unlike the first and second half of the 20th century data – have a greater balance in relation to the syntactic nature of preverbal constituent (contiguous or not), so that, in this period, the occurrence of orders with the subject in a preverbal position arrives at, at most, 52% (231/444 data); while in the 48% (213/444 data) remaining, the preverbal constituents are represented by a non-subject constituent, almost always an adverbial adjunct. Seen the results, we advocate that the brazilian personal letters of the 19th century have ordination patterns associated with a V2 system and an SV system, configuring, therefore, a possible competition process between different grammars that instantiate or a V2 system or an SV system. In other words, the brazilian letters of the 19th century instantiate a competition between the grammar of Classic Portuguese (a V2 system) and the grammars of Brazilian Portuguese and European Portuguese (an SV system). Therefore, that period is subject to the completion of two distinct parametric markings: (i) verb moved to the Fin core (grammar of Classic Portuguese) and (ii) verb moved to the T core (grammar of Brazilian Portuguese /European Portuguese). On the other hand, in the personal letters of the 20th century (first and second halves), there is a clear increase in ordenation patterns associated with the SV system, which shows more stable.

A colocação de pronomes clíticos em sentenças infinitivas preposicionadas na escrita brasileira dos séculos XIX e XX

In this work we present the description and analysis of the clitics collocation patterns in prepositional infinitive sentences within the Brazilian writing in the centuries XIX and XX. The corpus in analysis is comprised of letters of newspaper readers and newspaper writers, as well as of advertisements (ads) taken from Brazilian newspapers from different regions / states – Rio de Janeiro, Bahia, Ceará and Pernambuco – and written in the Centuries XIX and XX. They belong to the common minimum corpus of the project named Projeto para a História do Português Brasileiro (PHPB or Project to the History of the Brazilian Portuguese, in English). Its analysis is based on theoreticalmethodological postulates of the Theory of Variation and Change (WEINREICH; LABOV; HERZOG, 1968[2006]; LABOV, 1972[2008]); on the Theory of Principles and Parameters (CHOMSKY, 1981, 1986) and on the model of Grammar Competition (KROCH, 1989; 2001). By trying to articulate those presuppositions from both the theories we present a proposition of theoretical interface between the Variation Theory and the Grammar one. Concerning the empirical results achieved by means of this research, we could figure that, in the context in which there were prepositional infinitive sentences, the most significant independent variable to the occurrence of the proclisis is the type of preposition that comes before the verb in the infinitive. Before that, we found out that there are prepositions which strongly direct the proclisis, as it is the case of the prepositions in Portuguese sem, por, de and para, with all of them presenting Relative Weights over 0,52. Another important result is the one attested in the data referring the state of Rio de Janeiro (RJ). This state is the only one of the sample which is located in the Southeastern region and also presents itself as the main proclisis conditioner amongst the localities pertaining to the sample. In order to explain those results, we raised the hypothesis that the proclisis implementation may be more advanced in the Southeastern than in the Northeastern Brazil, however that hypothesis must be confirmed or refuted in future works. We also present, in this work, a theoretical explanation about the clitics colocation in prepositional infinitive sentences within the Brazilian writing in the XIX and XX centuries. The theoretical explanation we found to interpret the achieved results associates Magro’s proposition (2005), regarding the existence of prepositions occupying the nucleus PP and the existence of prepositions which can play the role of a completer and occupy the nucleus CP, according to Galves (2000; 2001), regarding the existent relation between the clitic colocation and the association of traits-phi to the functional categories COMP, Tense and Person. Our proposition is that the occurrence of prepositions which occupy the nucleus CP causes changes in the values attributed to the traits-phi and to the strong Vtraits in the functional categories COMP, Tense and Person. Thus, we defend that proclisis in Brazilian Portuguese (BP) is derived from the movement of the verb to the functional category tense in which there is the association of traits +V and traits +AGR, what legitimates the proclisis according to Galves´s proposition (2000; 2001).

A forma do privilégio: renda, acessibilidade e densidade em Natal-RN

The aim of this work is to understand the morphological expression of ground occupation by the higher income population, by focusing on population distribution in accordance with income layers and demographical density, as well as topological accessibility (HILLIER and HANSON, 1984) resulting from the urban grid structure. It endeavors to identify a functional organizing principle regarding the intra-urban space of Natal capital city of the state of Rio Grande do Norte, the research focus. In order to achieve this, census data as well as syntactic data were utilized for mapping and spatial analysis of income patterns, topological accessibility and demographical density using Geographical Information System GIS. The organizing principle was named as the Form of Privilege, a pattern that concentrates or tends to concentrate wealth, topological accessibility and low demographical density. Attempting to assess its extent, beyond Natal, this principle was applied to other Brazilian northeastern capitals such as: Fortaleza, CE; Teresina, PI; Aracaju, SE; Recife, PE; and João Pessoa, PB. Findings point out that although the urban structures of these cities are not immune to the Form of Privilege, Natal is emblematic of this phenomenon, a fact that demonstrates the perverse character of its spatial process, which historically creates privileged areas within the city, by means of the appropriation of accessibility as well as of the many urban benesses that are related to it by higher income groups at the expense of the major part of the population, which though being the people mostly in need of the benefits originating from the urban form are excluded from them