Submitted by Maria Medeiros (maria.dilva1@ufcg.edu.br) on 2018-06-14T15:05:54Z No. of bitstreams: 1 ANDRÉ AIRES DE FARIAS - TESE (PPGRN) 2016.pdf: 5737610 bytes, checksum: 24b094da2cef8f2db3a8552a03764f80 (MD5) / Made available in DSpace on 2018-06-14T15:05:54Z (GMT). No. of bitstreams: 1 ANDRÉ AIRES DE FARIAS - TESE (PPGRN) 2016.pdf: 5737610 bytes, checksum: 24b094da2cef8f2db3a8552a03764f80 (MD5) Previous issue date: 2016-02-26 / Capes / Objetivou-se identificar e analisar os períodos de secas na sub-bacia hidrográfica do Rio Taperoá (SBHRT) e os impactos sociais, econômicos e ambientais e ações de convivência com a seca de 2012-2014 no município de Taperoá - PB. Dados pluviométricos, série 19632014, foram utilizados para analisar o regime de precipitação da sub-bacia; e a severidade dos anos secos, por meio do Índice padronizado de precipitação. A identificação dos impactos foi realizada utilizando-se o método de listagem descritiva check-list, questionários, dados bibliográficos e documentais. Para analisar as variáveis socioeconômicas e as ações de convivência foram utilizados os mesmos materiais dos impactos, exceto o check-list. O período chuvoso dos municípios da sub-bacia ocorre de janeiro a maio, precipitações menores do que a média nesses meses causaram graves impactos. Verificou-se que a maioria das secas que ocorreram na SBHRT se enquadram na categoria moderada, seguido por severa e extrema. A SBHRT foi atingida por secas severas e extremas durante todas as décadas analisadas, no entanto, o maior número delas ocorreu nas décadas de 1980, 1990, 2000 e 2010. A seca mais grave foi a de 1998-2000, seguido pela de 1979-1985. A seca de 20122014 não foi a mais grave porque a precipitação foi acima da ocorrida no período de 19982000 e 1979-1985, houve também maior investimento em ações de convivência com as secas e programas sociais implantados pelos governos. Os impactos sociais, econômicos e ambientais da seca de 2012-2014 no município de Taperoá-PB foram: problemas de saúde relativos à baixa disponibilidade hídrica, desigualdade na distribuição de recursos durante a seca, desgaste mental, reduções na alimentação da população, conflitos entre usuários de água, aumento da pobreza, migrações populacionais, redução da pecuária e da produção de culturas, aumento do desemprego, elevação dos custos para transportar água, indisponibilidade de alimentos para animais, perturbação dos ciclos de reprodução, redução de recreação e turismo, prejuízos à flora, à fauna e às espécies piscícolas, e redução da qualidade da água. Os impactos continuaram porque faltou recursos financeiros para implantar programas e as políticas públicas de convivência não foram efetivas, só aparecendo com maior intensidade quando a região estava prejudicada pela seca. Para redução dos impactos é necessário aumentar o número de cisternas, principalmente a calçadão. É necessário também perfurar poços e construir açudes, além de fazer manutenção nos que estejam com capacidade reduzida ou desativados, construir barragens subterrâneas e tanques naturais, terminar e colocar em funcionamento a Transposição do Rio São Francisco, incentivar a gestão dos recursos hídricos, criar programas que visem o fortalecimento da agricultura familiar, incentivando a fenação, silagem, meliponicultura, apicultura, criação de animais e plantas adaptados à região, dentre muitos outros. / This study aimed to identify and analyze the periods of droughts in sub-basin hydrographic of the Taperoá River (SBHTR) and the social, economic and environmental impacts and living actions with drought from 2012-2014 in the municipality of Taperoá - PB. Rainfall data, serie 1963-2014, were used to analyze the sub-basin rainfall regime; and the severity of the dry years, through the Standardized Precipitation Index. The identification of social, economic and environmental impacts was performed using the method of descriptive listing check-list, questionnaires, bibliographic and documentary data. To analyze the socioeconomic variables and of actions of living together were used same materials of the impacts, except the checklist. The rainy period in the municipalities of the sub-basin occurs from january to may, precipitations lower than average in these months caused severe impacts. It was found that most of droughts in SBHRT occurred into the category moderate, following by severe and extreme. The SBHRT was hit by severe and extreme dried for all analyzed decades, however, as many of them occurred in the decades of 1980, 1990, 2000 and 2010. The most severe drought was the from 1998-2000, followed by 1979-1985. The drought of 2012-2014 was not the more serious because the precipitation was above occurred in 1998-2000 and 1979-1985 period, there was also greater investment in coexistence actions with droughts and social programs implemented by governments. The social, economic and environmental impacts of the drought of 2012-2014 in the municipality of Taperoá-PB were: health problems of low flow, unequal distribution of resources during the drought, mental strain, reductions in food supply, conflicts water users, increasing poverty, population migration, reduction of livestock and crop production, rising unemployment, higher costs for transporting water, unavailability of feed, disruption of reproductive cycles, reduction of recreation and tourism, losses in flora, fauna and fish species, and reduced water quality. The impacts continued because they lack financial resources to implement programs and public coexistence policies were not effective, only appearing with greater intensity when the region was hampered by drought. To reduce the impacts is to increase the number of cisterns, especially the boardwalk. You also need to drill wells and build dams, in addition to maintenance on that are with reduced or deactivated capacity, building underground dams and natural ponds, finished and put into operation the Transposition of the São Francisco River, encourage the management of water resources, create programs aimed at strengthening family farming, encouraging haymaking, silage, beekeeping, meliponiculture, husbandry of animals and plants adapted to the region, among many others.

Submitted by Ana Santo (anamelo@ufba.br) on 2013-12-18T01:02:32Z No. of bitstreams: 1 AninhaVersaoCompletaFinalrepositorio.pdf: 8255602 bytes, checksum: ae6be709944287cab0a511f40f487eb2 (MD5) / Approved for entry into archive by Rodrigo Meirelles (rodrigomei@ufba.br) on 2014-01-16T11:36:04Z (GMT) No. of bitstreams: 1 AninhaVersaoCompletaFinalrepositorio.pdf: 8255602 bytes, checksum: ae6be709944287cab0a511f40f487eb2 (MD5) / Made available in DSpace on 2014-01-16T11:36:05Z (GMT). No. of bitstreams: 1 AninhaVersaoCompletaFinalrepositorio.pdf: 8255602 bytes, checksum: ae6be709944287cab0a511f40f487eb2 (MD5) / Esta dissertação traz considerações sobre a trajetória de estudantes na educação superior, após a adoção da reserva de vagas pela Universidade Federal da Bahia (UFBA), com a sanção da Lei nº 12.711/12 que reserva 50% das vagas nas universidades públicas federais para estudantes que tenham cursado integralmente o ensino médio, em escolas públicas e estabelece critérios complementares de renda familiar e étnico-raciais. Estas mudanças, no âmbito legal, resultam da longa trajetória de reinvindicações dos movimentos sociais em prol da democratização da educação superior, contribuindo para redução das desigualdades históricas e apontando a educação como um direito de todos. As políticas de ações afirmativas adotadas nas universidades públicas brasileiras alteram o cenário de acesso à educação superior de qualidade, interrompendo a destinação da universidade como espaço exclusivo de reprodução das elites. O trabalho dá relevo a descrição do perfil e da trajetória acadêmica do novo público, no intuito de fornecer subsídios para elaboração e gestão de políticas que fomentem a permanência e a conclusão com sucesso, no ensino superior. O diferencial deste estudo está na desagregação da categoria de estudantes cotistas com o objetivo de identificar as principais características dos grupos priorizados pela UFBA. A partir das informações coletados dos sistemas corporativos da instituição foi realizada uma pesquisa quantitativa descritiva-exploratória, em um universo de 847 estudantes, ingressos via vestibular, em 2006, nos dois cursos de graduação mais concorridos de cada um dos cinco grupos de cursos da instituição, com o objetivo de descrever a demanda, oferta, acesso e perfil dos estudantes e analisar a trajetória acadêmica. No universo da pesquisa, destacam-se os seguintes resultados: 71,5% da população concluiu com sucesso os cursos selecionados, 12,4% ainda permanecem ativos e 16,1% abandonaram seus cursos. Identificamos um percentual maior de estudantes não cotistas e do sexo feminino na categoria dos graduados; a maior tendência de evasão foi percebida na categoria que prioriza estudantes indiodescendentes, egressos do ensino público.

Este trabalho apresenta um mapeamento centrado nas construções não usuais da linguagem Nautilus, para a linguagem convencional, no caso Java, mantendo propriedades com atomicidade que são requisitos da semântica formal da linguagem. Nautilus é originalmente uma linguagem de especificação baseada em objetos, textual que suporta objetos concorrentes e não deterministas. Desde então a linguagem foi modificada aom extensões como classes e uma notação diagramática, além de se investigar seu uso como linguagem de programação. Suas construções incomuns (reificação, agregação, etc.) são baseados em seu domínio semântico: Automâtos Não Sequenciais. Este domíno satisfaz composição diagonal, i.e refinamentos se compõem (verticalmente) refletindo uma descrição gradual de sistemas, envolvendo múltiplos níveis de abstração, e distribui-se através de combinadores (horizontalmente), o que significa que o refinamento de um sistema composto é a combinação de do refinamento de suas partes.O trabalho inclui um mapeamento inicial de um subconjunto da linguagem(objeto base, reificação, agregação e visão), uma versão ampliada para abranger mais construções( interação e classes), e uma versão refinada mais concorrente e sugestões de modificação na linguagem.

O presente trabalho é uma reflexão sobre os aspectos técnicos e estéticos do processo de criação de um portfolio de composições. Esta reflexão está fundamentada nos trabalhos de Leonard B. Meyer (1973), Étienne Souriau (1999) e Ilza Nogueira (2003). Os aspectos técnicos estão ligados aos procedimentos composicionais “paródia” e “relações de correspondência” e os aspectos estéticos referem-se às categorias estéticas “bizarro”, “cômico”, “fantástico” e “insólito”. Em todas as composições deste portfolio ocorrem esses procedimentos composicionais e categorias estéticas, em algumas composições mais, em outras menos. São realizadas reflexões sobre o processo composicional de cada uma das peças, individualmente, e, em seguida, considerações sobre como a “paródia”, as “relações de correspondência” e as categorias estéticas atuam em cada uma das composições. / This work is a discussion on the technical and aesthetic aspects of the composition of a group of pieces. The discussion is based on works by Leonard B. Meyer (1973), Étienne Souriau (1999) and Ilza Nogueira (2003). The technical aspects of the composition are related to the compositional procedures "parody" and "conformant relationships"; its aesthetic aspects are related to the aesthetic categories to it "bizarre", "comical", "fantastic" and "uncommon". Such procedures and aesthetic categories occur in the entire group of pieces, to various degrees of importance. A discussion is made on the composicional process of each individual piece followed by considerations on how "parody", "the conformant relationships" and aesthetical categories are integrated throughout the group of pieces.

Submitted by Marco Antônio de Ramos Chagas (mchagas@ufv.br) on 2017-07-21T16:14:18Z No. of bitstreams: 1 texto completo.pdf: 815357 bytes, checksum: 2a68f912958bd6f8757752e5431c5454 (MD5) / Made available in DSpace on 2017-07-21T16:14:18Z (GMT). No. of bitstreams: 1 texto completo.pdf: 815357 bytes, checksum: 2a68f912958bd6f8757752e5431c5454 (MD5) Previous issue date: 2017-02-23 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Nesta dissertação estudamos principalmente a correspondência entre categoria modelo e pares de cotorsão em categorias abeliana e exata. A correspondência de Hovey para categoria abeliana é adaptada para categoria exata. E isto é possível quando a categoria exata é fracamente idempotente completa. Esta correspondência nos permite encontrar estruturas modelos através de pares de cotorsão. Também estudamos as categorias Grothendieck e exata do tipo Grothendieck que são categorias abeliana e exata, respectivamente, que nos fornecem alguns exemplos de pares de cotorção. / Correspondece between Model Categories and Cotorsion Pairs of Abelian and Exact Category. Adiviser: Sônia Maria Fernandes.. In this dissertation we studied mainly the correspondence between model category and cotorsion pairs in abelian and exact categories. Hovey’s correspondence to abelian category is adapted to exact category. And it is possible when an exact category is weakly idempotent complete. This correspondence allows us to find model structures through cotorsion pairs. Also we study like Grothendieck categories and exact categories of Grothendieck type, which are abelian and exact categories, respectively, which provide us with some examples of cotorsion pairs.

LEAL, Abniza Pontes de Barros. O processo referencial da dêixis: por uma proposta de recategorização. 2015. 293f. – Tese (Doutorado) – Universidade Federal do Ceará, Departamento de Letras Vernáculas, Programa de Pós-graduação em Linguística, Fortaleza (CE), 2015. / Submitted by Márcia Araújo (marcia_m_bezerra@yahoo.com.br) on 2015-06-03T14:56:15Z No. of bitstreams: 1 2015_tese_apbleal.pdf: 2223426 bytes, checksum: d6f7c3dee70c21ddaa8e9a2e764da957 (MD5) / Approved for entry into archive by Márcia Araújo(marcia_m_bezerra@yahoo.com.br) on 2015-06-05T10:55:21Z (GMT) No. of bitstreams: 1 2015_tese_apbleal.pdf: 2223426 bytes, checksum: d6f7c3dee70c21ddaa8e9a2e764da957 (MD5) / Made available in DSpace on 2015-06-05T10:55:21Z (GMT). No. of bitstreams: 1 2015_tese_apbleal.pdf: 2223426 bytes, checksum: d6f7c3dee70c21ddaa8e9a2e764da957 (MD5) Previous issue date: 2015 / Usually interpreted as a textual-discursive phenomenon and used as theoretical basis that focus on dynamic aspects about the construction of references, referentiantion has attracted the scholars’ attention for this relevance to production and understanding of meaning. Among the main principles to construct referents, it is the negotiation between speakers as well as the socio-cognitive nature of referents, this last one being considered in the perspective about the instability of reality. Cavalcante, Custódio Filho and Brito (2014) claim that initial reference, anaphora and deixis are three major categories for referential processes. According to this view, this study aims to analyze deictic referential processes, focusing on its recategorization role in narrative genres in order to answer the question: how does it apply the use of deictic expressions and discursive functions of deictic referential developing process to the constitution of genres with a predominance of narrative sequences? Initially I selected some concepts namely: 1) the deictic reinterpretation (LYONS, 1977); 2) the inter-subjectivity relation among speaker, discourse and context (CAVALCANTE, 2000), 3) the previous referent can change at any time while the discursive interaction occurs (CHAROLLES; SCHNEDECKER, 1993a) and 4) the evolution of referent, as advocated by Apothéloz and Reichler-Béguelin (1995), Cavalcante (2011), Koch (2004b). Based on these studies, I developed the hypothesis that the use of deictic expressions and socio-discursive functions of the deictic referential developing process is responsible to form a deictic chain in the constitution of genres with a predominance of narrative sequences. Plus an extensive research, 30 texts of different genres were selected, the analysis were conducted considering personal, temporal and spatial categories, 5 chains of each category. Since the role of deictic expressions expand the understanding of deictic processes in Textual Linguistics field, I present a list of the main features observed without develop a general framework as proposed by Cavalcante (2000) and Ciulla (2008). The results show that, in the formation of chains, deictic expressions had been changed, as the Deictic Shift Theory proposes, and these changes are, in fact, deictic expressions re-categorized. / Abordada como um fenômeno textual-discursivo e como uma proposta teórica que salienta aspectos dinâmicos do processo de construção dos referentes, a referenciação tem despertado, cada vez mais, o olhar de estudiosos por sua relevância para a produção e compreensão de sentidos. Dentre os princípios que ancoram a construção dos referentes, encontram-se a negociação dos interlocutores e a natureza sociocognitiva da referência, vista agora na perspectiva da instabilidade do real. Cavalcante, Custódio Filho e Brito (2014) apontam a introdução referencial, a anáfora e a dêixis como as três categorias maiores de processos referenciais. De acordo com essa perspectiva, o presente trabalho tem como objetivo analisar os processos referenciais dêiticos, evidenciando seu caráter recategorizador em gêneros predominantemente narrativos e, assim, responder à questão: como ocorre o uso das expressões dêiticas e das funções discursivas do processo evolutivo referencial dêitico na constituição de gêneros com predominância de sequências narrativas? Tomo como ponto de partida os enfoques sobre a reinterpretação dêitica (LYONS, 1977); a realização de um tipo de intersubjetividade que se dá entre o falante, o discurso e o contexto de criação (CAVALCANTE, 2000); a noção de que um antecedente sofre profundas mudanças do início ao fim do discurso (CHAROLLES; SCHNEDECKER, 1993.a) e a evolução dos referentes, conforme defendida por Apothéloz e Reichler-Béguelin (1995), Cavalcante (2011), Koch (2004b). A partir, principalmente, desses estudos, elaboro a hipótese de que, na constituição de gêneros com predominância de sequências narrativas, o uso das expressões dêiticas e as funções sociodiscursivas do processo evolutivo referencial dêitico respondem pela formação de uma cadeia dêitica. Além de uma ampla pesquisa bibliográfica, montei um corpus de 30 textos, pertencentes a diversos gêneros, e optei por analisar um exemplário formado por 5 cadeias de cada uma das categorias de análise do presente trabalho: pessoal, temporal e espacial. Parto da ideia de que as funções desempenhadas pelas expressões dêiticas ampliam a compreensão da dêixis no panorama da Linguística Textual e, por esse motivo, priorizei apresentar uma lista das principais funções observadas, mas não me detive na elaboração de um quadro geral que abrigasse tais funções, a exemplo dos estudos de Cavalcante (2000) e Ciulla (2008). Os resultados da pesquisa me permitiram, em primeiro lugar, comprovar que, na formação das cadeias, as expressões dêiticas sofrem modificações, conforme propõe a Teoria da Mudança Dêitica; e ainda, que tais modificações se constituem recategorizações das expressões dêiticas.

[pt] Este trabalho se caracteriza como um estudo experimental, cujo foco é a delimitação da categoria adjetivo por crianças adquirindo o Português Brasileiro (PB) como língua materna. Adota-se uma perspectiva psicolingüística de aquisição da linguagem, aliada a uma concepção minimalista de língua (Chomsky, 1995-2001). Assume-se que a criança é sensível às propriedades fônicas de elementos de classes fechadas, como determinantes e afixos, conforme a hipótese do bootstrapping fonológico (Morgan & Demuth, 1996; Christophe et al., 1997). Considera-se que a representação da Categoria funcional D é fundamental na distinção entre nomes e adjetivos e que sufixos derivacionais contribuem para a representação do traço categorial desses últimos no léxico. Com base na hipótese do bootstrapping sintático (Gleitman, 1990), assume-se que a análise de adjetivos no contexto sintático de DPs ou de small clauses, aliada ao pressuposto de que DPs fazem referência a objetos/entidades, possibilita a representação de adjetivos como categoria que apresenta uma propriedade ou atributo de um referente. Avalia-se, ainda, o papel da ordem canônica, na distinção entre adjetivos e nomes, na ausência de informação de natureza morfológica. Neste trabalho, uma ampla revisão da literatura lingüística acerca da categoria adjetivo é apresentada de modo a que se identifique o que é demandado da criança na delimitação dessa categoria lexical, levando-se em conta propriedades do português. Foram conduzidos quatro experimentos: três com crianças, usando-se a técnica de seleção de objetos com pseudopalavras, e um com adultos falantes do PB. Para este último, foi concebida uma tarefa de atribuição de propriedades a objetos e pessoas a serem imaginadas a partir de pseudo-adjetivos denominais, de modo a avaliar em que medida as propriedades semânticas atribuídas a sufixos derivacionais formadores de adjetivos em análises lingüísticas correspondem ao conhecimento lingüístico intuitivo do falante da língua. Os dois primeiros experimentos foram conduzidos com crianças de 12-22 meses; o último, com crianças de 2-3 anos e 4-5 anos No Experimento 1, avalia-se o papel de determinantes e sufixos derivacionais, formadores de adjetivos, na delimitação desta categoria lexical em estruturas predicativas, independentemente das propriedades semânticas dos afixos. No Experimento 2, investiga-se o papel da ordem canônica aliada ao do sufixo derivacional como desencadeadores do processo de delimitação de nomes e adjetivos no âmbito do DP. No Experimento 3, explora-se o conhecimento por parte de falantes adultos do PB acerca dos traços semânticos dos afixos derivacionais -oso e -ento, formadores de adjetivos. No Experimento 4, verifica-se se os traços semânticos desses afixos são representados pela criança de modo a ser capaz de interpretá-los na interface semântica, à semelhança do que fazem os falantes adultos da língua. Os resultados dos experimentos aqui relatados são compatíveis com a hipótese de trabalho que orienta esta tese, qual seja, a de que a criança faz uso de informação sintática e morfológica na delimitação de adjetivos, e revelam que já aos dois anos de idade propriedades semânticas de sufixos formadores de adjetivos são representadas pela criança. Este trabalho contribui para uma teoria da aquisição da linguagem fundada no processamento de informação das interfaces da língua com sistemas perceptuais e conceptuais, na qual se enfatiza o papel de categorias funcionais e de elementos de classe fechada em geral (incluindo-se os afixos derivacionais) na identificação do que há de específico na língua. Este estudo também introduz uma metodologia experimental que permite complementar o resultado de análises lingüísticas pertinentes à morfologia no que concerne o conhecimento intuitivo do falante acerca dos traços semânticos de afixos. / [en] This dissertation presents an experimental study of the delimitation of adjectives as a lexical category in the acquisition of Brazilian Portuguese. It reconciles a psycholinguistic approach to language acquisition with a minimalist conception of language (Chomsky, 1995-2001). According to the phonological bootstrapping hypothesis (Morgan & Demuth, 1996; Christophe et al., 1997), it is assumed that infants are sensitive to closed class elements (as determiners and affixes) in the processing of the phonetic interface. The functional category D is considered to be fundamental to the distinction between nouns and adjectives, and derivational suffixes are viewed as contributing to the representation of the adjective as a categorical feature in the lexicon. According to the syntactic bootstrapping hypothesis (Gleitman, 1990), it is assumed that the parsing of adjectives in DP and small clause contexts, together with the assumption that DPs refer to objects/entities, allow the representation of the adjectives as words that present a property or an attribute of a given referent. And the role of the canonical word order in the distinction between nouns and adjectives, in the absence of specific morphological information, is evaluated. In this study, the linguistic literature on adjectives is extensively reviewed. This review contributes to the identification of the demands that the delimitation of adjectives present to children, taking into account the specific properties of Portuguese. Four experiments were conducted: three with children, making use of the object selection with pseudo-words paradigm, and one with adult speakers of BP. In the latter, a task was envisaged in which pseudo-adjectives were presented in order for the property of a hidden object/character to be guessed. The speaker’s intuitive knowledge of the meaning of derivational suffixes was expected to guide the accomplishment of this task. The two first experiments were conducted with 12- 22 month old children, and the last one, with 2-3 and 4-5 year olds. In Experiment 1, the role of determiners and derivational affixes (forming adjectives) in the parsing of adjectives in predicative structures was evaluated, independently of the semantic properties of those affixes. In Experiment 2, the role of the canonical word order within the DP and derivational affixes in the bootstrapping of the representation of adjectives in Portuguese was investigated. Experiment 3 explores the native speaker knowledge of the semantic features of the adjective forming derivational affixes -oso e -ento. In Experiment 4, children’s representation of these very features is assessed. The results of the experiments reported here are compatible with the working hypothesis, namely, that children make use of syntactic and morphological information in the delimitation of adjectives as a lexical category. They also reveal that the semantic properties of derivation affixes forming adjectives are already available by the age of two. This work contributes to a theory of language acquisition that explores early processing at the language interfaces with perceptual and conceptual systems, and in which the role of closed class elements (including derivational affixes) and functional categories is emphasized. It also introduces an experimental methodology that enables to access the adult speaker’s intuitive knowledge of derivational morphology.

Este trabalho propõe o estudo dos espaços coerentes do ponto de vista da teoria dos topos, ou seja, consiste em uma análise, em termos de topos, das principais categorias de espaços coerentes. Os espaços coerentes constituem um tipo de domínio que apresenta algumas particularidades que o distinguem dos demais, por exemplo, considera admissíveis no conjunto de funções somente aquelas que, além de contínuas no sentido de Scott - preservam supremos de conjuntos dirigidos, também são estáveis e lineares. Um topos e uma categoria Cartesiana fechada com classificador de subobjetos. Isso faz com que todo topos se comporte como Set (conjuntos como objetos e funções como morfismos), ou seja, uma categoria na qual as interpretações de suas construções básicas seguem a Teoria dos Conjuntos. Entre as categorias de Espaços Coerentes, tem-se a categoria STAB, cujos objetos são os espaços coerentes e os morfismos são funções estáveis entre esses espaços, que é uma categoria cartesiana fechada. Isto significa que STAB é uma categoria especial no sentido computacional: além de possuir o produto binário para todos os seus objetos, STAB apresenta objeto exponencial e morfismo de avaliação, garantindo significado para processos computacionais. A subcategoria LIN da categoria STAB, cujos morfismos são as funções lineares, não é uma categoria cartesiana fechada. Entretanto, LIN é uma categoria monoidal simétrica que e fechada. Este, condição e suficiente para que em LIN também se tenha a garantia de se obter significado para processos computacionais. Apresenta-se então, uma interpretação computacional da estrutura destas categorias e uma análise das mesmas do ponto de vista de topos, isto é, da existência ou não de classificador de subobjetos. / This work proposes the study of coherent spaces from the point of view of the Topos Theory, that is, it consists of an analysis of the main categories of coherent spaces in terms of topos. The coherent spaces make up a kind of domain which presents some peculiarities that separate it from the rest, for example, in the complex whole of the functions it only considers permissible, those which, apart from being continuous in the sense of Scott - preserving supremo of directed sets, it is also stable and linear. A topos is a Cartesian closed with subobject classifier. This makes topos behaves like Set (sets as objects and functions as morphisms), that is, a category in which the interpretations of its basic constructions follow the Theory of Sets. Among the categories of Coherent Spaces, there is the STAB category, a closed Cartesian category, the objects of which are the coherent spaces, having morphisms as stable functions among these spaces. This means that STAB is a special category in the computational sense: apart from having a binary product for all its objects, STAB presents an exponential object and a morphism of evaluation, ensuring meaning for computational processes. The subcategory LIN of the STAB category, the morphisms of which are linear functions, is not a closed Cartesian category. However, LIN is a symmetrical monoidal category which is closed. This condition is sufficient to also have in LIN the guarantee of obtaining meaning for computational processes. Thus, a computational interpretation of the structure of these categories will be presented, as well as an analysis of them from the point of view of the Topos Theory, that is, if subobject classifier exists or not.

O Processamento de Linguagem Natural (PLN) é uma área da Ciência da Computação, que vem tentando, ao longo dos anos, aperfeiçoar a comunicação entre o homem e o computador. Varias técnicas tem sido utilizadas para aperfeiçoar esta comunicação, entre elas a aplicação de métodos estatísticos. Estes métodos tem sido usados por pesquisadores de PLN, com um crescente sucesso e uma de suas maiores vantagens é a possibilidade do tratamento de textos irrestritos. Em particular, a aplicação dos métodos estatísticos, na marcação automática de "corpus" com categorias morfo-sintáticas, tem se mostrado bastante promissora, obtendo resultados surpreendentes. Assim sendo, este trabalho descreve o processo de marcação automática de categorias morfo-sintáticas. Inicialmente, são apresentados e comparados os principais métodos aplicados a marcação automática: os métodos baseados em regras e os métodos estatísticos. São descritos os principais formalismos e técnicas usadas para esta finalidade pelos métodos estatísticos. E introduzida a marcação automática para a Língua Portuguesa, algo até então inédito. O objetivo deste trabalho é fazer um estudo detalhado e uma avaliação do sistema rotulador de categorias morfo-sintáticas, a fim de que se possa definir um padrão no qual o sistema apresente a mais alta precisão possível. Para efetuar esta avaliação, são especificados alguns critérios: a qualidade do "corpus" de treinamento, o seu tamanho e a influencia das palavras desconhecidas. A partir dos resultados obtidos, espera-se poder aperfeiçoar o sistema rotulador, de forma a aproveitar, da melhor maneira possível, os recursos disponíveis para a Língua Portuguesa. / Natural Language Processing (NLP) is an area of Computer Sciences, that have been trying to improve communication between human beings and computers. A number of different techniques have been used to improve this communication and among them, the use of stochastic methods. These methods have successfully being used by NLP researchers and one of their most remarkable advantages is that they are able to deal with unrestricted texts. Namely, the use of stochastic methods for part-of-speech tagging has achieving some extremely good results. Thus, this work describes the process of part-of-speech tagging. At first, we present and compare the main tagging methods: the rule-based methods and the stochastic ones. We describe the main stochastic tagging formalisms and techniques for part-of-speech tagging. We also introduce part-of-speech tagging for the Portuguese Language. The main purpose of this work is to study and evaluate a part-of-speech tagger system in order to establish a pattern in which it is possible to achieve the greatest accuracy. To perform this evaluation, several parameters were set: the corpus quality, its size and the relation between unknown words and accuracy. The results obtained will be used to improve the tagger, in order to use better the available Portuguese Language resources.

Este trabalho propõe o estudo dos espaços coerentes do ponto de vista da teoria dos topos, ou seja, consiste em uma análise, em termos de topos, das principais categorias de espaços coerentes. Os espaços coerentes constituem um tipo de domínio que apresenta algumas particularidades que o distinguem dos demais, por exemplo, considera admissíveis no conjunto de funções somente aquelas que, além de contínuas no sentido de Scott - preservam supremos de conjuntos dirigidos, também são estáveis e lineares. Um topos e uma categoria Cartesiana fechada com classificador de subobjetos. Isso faz com que todo topos se comporte como Set (conjuntos como objetos e funções como morfismos), ou seja, uma categoria na qual as interpretações de suas construções básicas seguem a Teoria dos Conjuntos. Entre as categorias de Espaços Coerentes, tem-se a categoria STAB, cujos objetos são os espaços coerentes e os morfismos são funções estáveis entre esses espaços, que é uma categoria cartesiana fechada. Isto significa que STAB é uma categoria especial no sentido computacional: além de possuir o produto binário para todos os seus objetos, STAB apresenta objeto exponencial e morfismo de avaliação, garantindo significado para processos computacionais. A subcategoria LIN da categoria STAB, cujos morfismos são as funções lineares, não é uma categoria cartesiana fechada. Entretanto, LIN é uma categoria monoidal simétrica que e fechada. Este, condição e suficiente para que em LIN também se tenha a garantia de se obter significado para processos computacionais. Apresenta-se então, uma interpretação computacional da estrutura destas categorias e uma análise das mesmas do ponto de vista de topos, isto é, da existência ou não de classificador de subobjetos. / This work proposes the study of coherent spaces from the point of view of the Topos Theory, that is, it consists of an analysis of the main categories of coherent spaces in terms of topos. The coherent spaces make up a kind of domain which presents some peculiarities that separate it from the rest, for example, in the complex whole of the functions it only considers permissible, those which, apart from being continuous in the sense of Scott - preserving supremo of directed sets, it is also stable and linear. A topos is a Cartesian closed with subobject classifier. This makes topos behaves like Set (sets as objects and functions as morphisms), that is, a category in which the interpretations of its basic constructions follow the Theory of Sets. Among the categories of Coherent Spaces, there is the STAB category, a closed Cartesian category, the objects of which are the coherent spaces, having morphisms as stable functions among these spaces. This means that STAB is a special category in the computational sense: apart from having a binary product for all its objects, STAB presents an exponential object and a morphism of evaluation, ensuring meaning for computational processes. The subcategory LIN of the STAB category, the morphisms of which are linear functions, is not a closed Cartesian category. However, LIN is a symmetrical monoidal category which is closed. This condition is sufficient to also have in LIN the guarantee of obtaining meaning for computational processes. Thus, a computational interpretation of the structure of these categories will be presented, as well as an analysis of them from the point of view of the Topos Theory, that is, if subobject classifier exists or not.