Made available in DSpace on 2014-07-29T14:57:46Z (GMT). No. of bitstreams: 1 dissertacao-fernando.pdf: 677510 bytes, checksum: 19704f0b04ee313a63b053f7f9df409c (MD5) Previous issue date: 2010-10-10 / Most research on Automatic Text Categorization (ATC) seeks to improve the classifier performance (effective or efficient) responsible for automatically classifying a document d not yet rated. The k nearest neighbors (kNN) is simpler and it s one of automatic classification methods more effective as proposed. In this paper we proposed two kNN variations, Inverse kNN (kINN) and Symmetric kNN (kSNN) with the aim of improving the effectiveness of ACT. The kNN, kINN and kSNN methods were applied in Reuters, 20ng and Ohsumed collections and the results showed that kINN and kSNN methods were more effective than kNN method in Reuters and Ohsumed collections. kINN and kSNN methods were as effective as kNN method in 20NG collection. In addition, the performance achieved by kNN method is more stable than kINN and kSNN methods when the value k change. A parallel study was conducted to generate new features in documents from the similarity matrices resulting from the selection criteria for the best results obtained in kNN, kINN and kSNN methods. The SVM (considered a state of the art method) was applied in Reuters, 20NG and Ohsumed collections - before and after applying this approach to generate features in these documents and the results showed statistically significant gains for the original collection. / Grande parte das pesquisas relacionadas com a classificação automática de textos (CAT) tem procurado melhorar o desempenho (eficácia ou eficiência) do classificador responsável por classificar automaticamente um documento d, ainda não classificado. O método dos k vizinhos mais próximos (kNN, do inglês k nearest neighbors) é um dos métodos de classificação automática mais simples e eficazes já propostos. Neste trabalho foram propostas duas variações do método kNN, o kNN invertido (kINN) e o kNN simétrico (kSNN) com o objetivo de melhorar a eficácia da CAT. Os métodos kNN, kINN e kSNN foram aplicados nas coleções Reuters, 20NG e Ohsumed e os resultados obtidos demonstraram que os métodos kINN e kSNN tiveram eficácia superior ao método kNN ao serem aplicados nas coleções Reuters e Ohsumed e eficácia equivalente ao método kNN ao serem aplicados na coleção 20NG. Além disso, nessas coleções foi possível verificar que o desempenho obtido pelo método kNN é mais estável a variação do valor k do que os desempenhos obtidos pelos métodos kINN e kSNN. Um estudo paralelo foi realizado para gerar novas características em documentos a partir das matrizes de similaridade resultantes dos critérios de seleção dos melhores resultados obtidos na avaliação dos métodos kNN, kINN e kSNN. O método SVM, considerado um método de classificação do estado da arte em relação à eficácia, foi aplicado nas coleções Reuters, 20NG e Ohsumed - antes e após aplicar a abordagem de geração de características nesses documentos e os resultados obtidos demonstraram ganhos estatisticamente significativos em relação à coleção original.

A presente dissertação explorou a aplicação de conceitos jurídicos indeterminados na indústria do petróleo e do gás natural, tecendo um comparativo entre o Brasil e os Estados Unidos da América. Por conceitos jurídicos indeterminados entendem-se aqueles que abarcam uma vasta gama de significados e, portanto, mostram-se úteis na resolução de casos complexos e de pouca previsibilidade. Para melhor compreensão deste tema no contexto da indústria de petróleo e gás, foi apresentado o Regime Regulatório Misto, vigente no Brasil desde 2010. Adicionalmente, o arcabouço regulatório vigente foi abordado, bem como a evolução da indústria de petróleo e gás natural no Brasil desde a criação da agência reguladora setorial, a ANP, em 1997. Em seguida, foram tratadas as características gerais dos contratos para exploração de hidrocarbonetos firmados nos EUA, denominados leases. Foram descritas as agências reguladoras, seus poderes e analisados o julgamento de seus atos pelos respectivos Poderes Judiciários. Foram revistas as características sobre os conceitos jurídicos indeterminados nas doutrinas internacional e nacional: flexibilidade e mutabilidade. A partir desta base analítica, a aplicação dos conceitos jurídicos indeterminados utilizados no Brasil e nos EUA na indústria do petróleo e do gás natural foi comparada. Conclui-se pela necessidade da adoção de conceitos jurídicos indeterminados para a indústria do petróleo e do gás natural em ambos os países. Ademais, constatou-se que a utilização desses termos abertos, tanto na esfera administrativa, quanto na judicial, encontra-se mais madura nos EUA que no Brasil. Por fim, foi proposto o reconhecimento de discricionariedade administrativa conferida pelos conceitos jurídicos indeterminados no Brasil no âmbito das agência reguladoras. Ao final, realizou-se a análise das possíveis formas de revisão destes atos pelo Poder Judiciário, sugerindo-se a adoção de deferência semelhante ao Direito norte-americano, privilegiando-se a análise técnica do órgão regulador e a preservação do mérito administrativo. / The thesis develops the application of indeterminate legal precepts in the oil and gas industry comparing Brazil and the United States of America. Indeterminate legal precepts encompass a wide range of meanings and therefore prove useful in resolving complex cases with little predictability. For better comprehension, the Regulatory Mixed Regime, in effect in Brazil since 2010, is presented. In addition, the current Brazilian regulatory framework is discussed, in light of the development of as the oil and gas industry since 1997, when the National Agency of Petroleum, Natural Gas and Biofuels was established. Following, the general characteristics of the contracts signed for exploration of hydrocarbons in the United States, the leases, are also subject of discussion. Because of the regulatory model adopted in the two countries namely: regulation through independent agencies - the regulatory agencies are addressed, considering their powers and, judicial review of their regulatory acts. International and national doctrines on the indeterminate legal precepts and their main characteristics, flexibility and changeability, are reviewed. Once established the analytical basis, the work focuses on the application of indeterminate legal concepts in the oil and gas industry in a comparative perspective including the Brazilian and American systems. The conclusion emphasizes the necessity of adopting indeterminate legal precepts for the oil and gas industry in both countries. It also notes that the use of open terms, both in administrative as in judicial decisions, is more mature in the United States of America than in Brazil. Finally, proposed for the recognition of administrative discretion conferred by the indeterminate legal concepts in Brazil as part of the regulatory agency power. At the end, we carried out the analysis of possible ways of revising these acts by the judiciary, suggesting the adoption of similar to US law deference, privileging the technical analysis of the regulatory body and the preservation of the administrative merit.

Nesta tese é apresentado um esquema novo de alta resolução upwind (denominado TDPUS-C3) para reconstrução de fluxos numéricos para leis de conservação não lineares e problemas relacionados em DFC. O esquema é baseado nos critérios de estabilidade CBC e TVD e desenvolvido utilizando condições de diferenciabilidade \'C POT. 3\'. Além disso, é realiozada a implementação da associação do esquema TDPLUS-C3 com a modelagem de turbulência RNG \'\\kappa - \\epsilon\'. O propósito é obter soluções numéricas de sistemas hiperbólicos de leis de conservação para dinâmica dos gases e equações de Navier-Stokes para escoamento incompreensível de fluidos newtonianos e não newtonianos (viscoelásticos). Fazendo o uso do esquema TDPUS-C3, a precisão global dos métodos numéricos é verificada acessando o erro em problemas teste (benchmark) 1D e 2D. Um estudo comparativo entre os resultados do esquema TDPUS-C3 e os esquemas upwind convencionais para leis de conservação hiperbólicas complexas é também realizado. A Associação das modelagens numéricas (upwinding mais RNG \'\\kappa - \\epsilon\') é , então, examinada na simulação de escoamentos turbulentos de fluidos newtonianos envolvendo superfícies livres móveis, usando a metodologia URANS. No geral, em termos do comportamento global, concordância satisfatória é observada / In this thesis, a new high-resolution upwind scheme (named TDPUS-C3) for reconstruction of numerical fluxes for nonlinear conservation laws and related CFD problems in presented. The scheme is based on CBC and TVD stability criteria and developed by employing differentiability condictions (\'C POT. 3\'). In additon, the implementation of an association of the TDPUS-C3 scheme with the RNG \'\\kappa - \\epsilon\' turbulence modelling is also performed. The purpose is to obtain numerical solutions of systems of hyperbolic conservation laws for gas dynamics and Navier-Stokes equations for incompressible flow of Newtonian and non-Newtonian (viscoelstic) fluids. By using the TDPUS-C3 scheme, the global accuracy of the numerical methods is verified by assessing the error on 1D and 2D benchmark test cases. A comparative study between the TDPUS-C3 scheme and convectional upwind schemes to solve standard and complex hyperbolic conservation laws is also accomplished. The association of the numerical modelling (upwinding plus RNG \'\\kappa - epsilon\') is then examined in the simulation of turbulent Newtonian fluid flows involving moving free surfaces, by using URANS methodology. Overall, satisfactory agreement is found in terms of the overall behaviour

Três esquemas de captura de descontinuidade são apresentados para simular hiperbólicos de leis de conservação e equações de Navier-Stokes incompressíveis, a saber: FDHERPUS (Five Degree Hermite Upwind Scheme); RUS (Rational Upwind Scheme); e CSPUS (Cubic Spline Polynomial Upwind Scheme). Esses esquemas são baseados nos critérios de estabilidade CBC e TVD e implementados nos contextos das metodologias diferenças finitas e volumes finitos. A precisão local dos esquemas é verificada acessando o erro e a taxa de convergência em problemas testes de referência. Um estudo comparativo entre os esquemas estudados (incluido o WENO5) e o esquema bem estabelecido de van Albada, para resolver leis de conservação lineares e não lineares, é também realizado. O esquema de convecção que fornece melhores resultados em leis de conservação hiperbólicas é então examinado na simulação de escoamentos de fluidos newtonianos com superfícies livres móveis de complexidade crescente; resultados satisfatórios têm sido observados em termos do comportamento global / Three shock capturing schemes for numerical solution of hyperbolic conservation laws and incompressible Navier-Stokes equations are presented, namely: FDHERPUS (Five Degree Hermite Polynomial Upwind Scheme); RUS (Rational Upwind Scheme); and CSPUS ( Cubic Spline Polynomial Upwind Scheme). These schemes are based on CBC and TVD stability criteria and implemented in the context of finite volume methodologies. The local observed accuracy of the schemes is verified by assessing the error and convergence rate on benchmark test cases. A comparative study between the schemes (including WENO5) and the well established van. Albada scheme to solve standard linear and nonlinear hyperbolic conservation laws is also accomplished. The scheme that has provided better results in hyperbolic conservation laws is then examined in the simulation of Newtonian moving free surface flows of increasing complexity, satisfactory agreement has been observed in terms of the overall behavior

Made available in DSpace on 2016-04-26T20:29:56Z (GMT). No. of bitstreams: 1 Andrea Lucia Nazario Villares.pdf: 1294638 bytes, checksum: 468f08176414bcded911d16586bca0ab (MD5) Previous issue date: 2009-11-18 / The work is about the legal instruments used by economic agents and the authority of the defense of competition in Brazil. The main objective of this study was to discuss the tools provided by law for the defense of competition, and others adopted by the Brazilian antitrust authority, investigating to what extent are agreed ways to protect competition. Moreover, during the study, it was aimed to identify some questions generated by the adoption of instruments such as its assumptions for adoption, the legal thresholds, intervention of third parties, scope of its provisions, identifying, even if the set of clauses was consensual. The scope of the terms of the instruments raised the analysis of the application of several principles, identifying whether there is violation of the principle of legality in the name of economic efficiency. The study noted the division adopted by the Law of Protection of Competition, in the control of structures and conducts. In the control of structures, it was discussed the Incidental Measure, the Agreement of Reversibility Preservation of Operation - APRO and Term of Commitment to Performance - TCD. On the conducts, were analyzed the Preventive Measure, the Term of Commitment Termination - TCC, and in particular the behavior of cartels and the Leniency Agreement. The research conducted examined the legal instruments concluded between economic agents and CADE from 1994 to 2008, to the analysis of its provisions, we follow the development of instruments over time and the measures adopted in cases analyzed by the Brazilian System of Protection of Competition, considering the different nature of each instrument. Moreover, the study contributed to the debate on the issue of efficiency in the procedural arrangements for protection of competition, under Brazilian antitrust law / O trabalho versa sobre os instrumentos jurídicos utilizados pelos agentes econômicos e a autoridade de defesa da concorrência no Brasil. O objetivo principal do trabalho foi o de discorrer sobre os instrumentos previstos na lei de defesa da concorrência, bem como outros adotados pela autoridade antitruste brasileira, investigando até que ponto são formas acordadas para proteção à concorrência. Além disso, no decorrer do trabalho buscou-se identificar algumas questões geradas pela adoção desses instrumentos, tais como seus pressupostos para a celebração, a natureza jurídica, intervenção de terceiros, alcance de suas cláusulas, identificando, ainda, se o ajuste das cláusulas seria consensual. O alcance das cláusulas dos instrumentos suscitou a análise da aplicação de vários princípios, identificando se haveria violação ao princípio da legalidade em nome da eficiência econômica. O estudo observou a divisão adotada pela lei de defesa da concorrência, o de controle de estruturas e condutas. No controle de estruturas, discorremos sobre a Medida Cautelar, o Acordo de Preservação de Reversibilidade da Operação - APRO e o Termo de Compromisso de Desempenho - TCD. No controle de condutas, foram analisados a Medida Preventiva, o Termo de Compromisso de Cessação - TCC e, em especial, na conduta de cartel, foi abordado o Acordo de Leniência. A pesquisa realizada examinou os instrumentos jurídicos firmados entre os agentes econômicos e o CADE de 1994 a 2008, para que, da análise de suas cláusulas, pudéssemos acompanhar a evolução dos instrumentos ao longo do tempo e as respectivas medidas adotadas nos processos em trâmite no Sistema Brasileiro de Defesa da Concorrência, considerando a natureza distinta de cada instrumento. Além disso, o estudo contribuiu para o debate sobre a questão da eficiência nos acordos processuais para proteção à concorrência, conforme a lei antitruste brasileira

Made available in DSpace on 2016-04-26T20:48:37Z (GMT). No. of bitstreams: 1 Gerson Alves de Freitas Jr.pdf: 815407 bytes, checksum: 56e12a88b678dd692f6fae8381118ad9 (MD5) Previous issue date: 2012-10-01 / The aim of this work is to revisit the debate surrounding the role of natural resources in economic development. This is an exploratory essay, which examines theses and stylized facts on the topic especially those that establish a negative relationship between natural resource endowment and economic growth in light of structural changes in the global economy and the rise in international primary product prices in the last decade. Its first conclusion is that there isn t any conclusive literary evidence of the so-called "resource curse," although some of the assumptions associated with it, such as the existence of a secular trend of decline in terms of the primary goods trade, have been proven true in the past century although, perhaps, not in the 21st century so far. The technical and economic characteristics of the current globalization process suggest, on the other hand, an increasing trend of dynamic natural resource markets, which may represent a window of opportunity for commodity-rich economies / O objetivo desse trabalho é revisitar o debate sobre o papel dos recursos naturais no desenvolvimento econômico. Trata-se de uma pesquisa exploratória, de caráter ensaístico, que analisa teses e fatos estilizados sobre o tema sobretudo aqueles que estabelecem uma relação negativa entre a dotação de recursos naturais e o crescimento econômico à luz das mudanças estruturais na economia mundial e à alta nos preços internacionais dos produtos primários na última década. Sua primeira conclusão é que não há, na literatura, trabalhos capazes de atestar de maneira conclusiva a maldição dos recursos naturais , embora alguns dos pressupostos a ela associados, tal como a existência de uma tendência secular de queda nos termos de troca dos produtos primários, tenham se mostrado verdadeiras no século passado ainda que não o sejam nesse curto começo do século 21. As características técnicas e econômicas do atual processo de globalização sugerem, pelo contrário, uma tendência crescente de dinamização dos mercados de recursos naturais, o que pode representar uma janela de oportunidades para economias ricas em produtos primários

Made available in DSpace on 2016-04-26T20:48:53Z (GMT). No. of bitstreams: 1 Wendell Gomes Schmiedecke.pdf: 619717 bytes, checksum: 94fc273bce9584548d12e9f9ba12f34e (MD5) Previous issue date: 2008-10-28 / The objective of this work is to answer the following question: How we can explain the recent rise in the commodities prices, due to the entry of China in the international market and which are the tendencies for the next years? For this, the work initially will present the deterioration in terms of trade from Prebisch and Singer, with an evolution of this thought, as well as criticism of this thesys. Afterwards we will present the Chinese economy, as well his impact in the demand of raw-materials and food and in the production capacity of industrialized products, presenting impacts over the terms of trade in the worldwide scenario, after that, we will use the Enzo Grilli and Maw Cheng Yang series updated, to show the prices behavior of the main commodities, with a special focus in the high occurred in this prices in the period comprehended between the Chinese market overture to the worldwide economy until 2007, fact contrary to the Prebisch and Singer thesis. At least we will conclude the work answering the question object of this work / O objetivo deste trabalho é responder a seguinte questão: Como podemos explicar a alta recente do preço dos commodities, face a entrada da China no mercado internacional e quais as tendências para os próximos anos? Para isso, o trabalho inicialmente apresentará a tese de deterioração dos termos de troca de Prebisch e Singer, com uma evolução desse pensamento, bem como críticas a estas teses. Posteriormente apresentaremos a economia chinesa, bem como seu impacto sobre a demanda de matérias-primas e alimentos e na capacidade de produção de produtos industrializados, apresentando impactos sobre os termos de troca no cenário mundial, em seguida, utilizaremos a série de preços formulada por Enzo Grilli e Maw Cheng Yang, que mostra uma evolução de preços dos principais commodities ao longo do tempo, focando na alta ocorrida nos preços de produtos primários no período compreendido entre a abertura do mercado chinês a economia mundial até 2007, fato este que contrária a tese de Prebisch e Singer. Por último teremos a conclusão que responderá a questão objeto deste trabalho

Na atualidade, o interesse pelo uso de ontologias tem sido incrementado. No entanto, o processo de construção pode ser custoso em termos de tempo. Para uma ontologia ser construída, precisa-se de um especialista com conhecimentos de um editor de ontologias. Com a finalidade de reduzir tal processo de construção pelo especialista, analisamos e propomos um método para realizar aprendizado de ontologias (AO) de forma supervisionada. O presente trabalho consiste em uma abordagem combinada de diferentes técnicas no AO. Primeiro, usamos uma técnica estatística chamada C/NC-values, acompanhada da ferramenta Cogroo, para extrair os termos mais representativos do texto. Esses termos são considerados por sua vez como conceitos. Projetamos também uma gramática de restrições (GR), com base na informação linguística do Português, com o objetivo de reconhecer e estabelecer relações entre conceitos. Para poder enriquecer a informação na ontologia, usamos a análise de conceitos formais (ACF) com o objetivo de identificar possíveis superconceitos entre dois conceitos. Finalmente, extraímos ontologias para os textos de três temas, submetendo-as à avaliação dos especialistas na área. Um web site foi feito para tornar o processo de avaliação mais amigável para os avaliadores e usamos o questionário de marcos de características proposto pelo método OntoMetrics. Os resultados mostram que nosso método provê um ponto de partida aceitável para a construção de ontologias. / Nowadays, the interest in the use of ontologies has increased, nevertheless, the process of ontology construction can be very time consuming. To build an ontology, we need a domain expert with knowledge in an ontology editor. In order to reduce the time needed by the expert, we propose and analyse a supervised ontology learning (OL) method. The present work consists of a combined approach of different techniques in OL. First, we use a statistic technique called C/NC-values, with the help of the Cogroo tool, to extract the most significant terms. These terms are considered as concepts consequently. We also design a constraint grammar (CG) based in linguistic information of Portuguese to recognize relations between concepts. To enrich the ontology information, we use the formal concept analysis (FCA) in order to discover a parent for a set of concepts. In order to evaluate the method, we have extracted ontologies from text on three different domains and tested them with corresponding experts. A web site was built to make the evaluation process friendlier for the experts and we used an evaluation framework proposed in the OntoMetrics method. The results show that our method provides an acceptable starting point for the construction of ontologies.

Submitted by Mariana Dornelles Vargas (marianadv) on 2015-06-10T19:07:31Z No. of bitstreams: 1 terminologia_gestao.pdf: 1422332 bytes, checksum: 701b2781252c4018c23a955b86cc47ac (MD5) / Made available in DSpace on 2015-06-10T19:07:31Z (GMT). No. of bitstreams: 1 terminologia_gestao.pdf: 1422332 bytes, checksum: 701b2781252c4018c23a955b86cc47ac (MD5) Previous issue date: 2014-09-29 / IFSUL - Instituto Federal de Educação, Ciência e Tecnologia Sul-rio-grandense / A presente pesquisa tem por objetivo o reconhecimento da terminologia que chamamos de político-administrativa, com vistas à proposta de um glossário da gestão federal da cultura. Esta área é compreendida como campo de atividade técnica voltado para a formulação, execução e avaliação das políticas públicas de cultura, a cargo do Ministério da Cultura (MinC) e também como espaço político, marcado por representações ideológicas e sociais, decorrentes do caráter multifacetado da cultura. Trata-se, portanto, de um campo complexo, cuja terminologia ainda não foi repertoriada, a despeito de sua importância. Para dar conta do objetivo exposto, propomos um esquema operacional fundamentado em princípios teórico-metodológicos da Teoria Comunicativa da Terminologia (TCT), desenvolvida por Maria Teresa Cabré (1998-2005); da Terminografia Linguístico-Textual, proposta por Krieger e Finatto (2004) e também pela Semiótica de linha francesa. Adotamos como princípio que os termos adquirem valor terminológico pela sua inscrição nos textos especializados, vistos como ambientes naturais da terminologia. Por meio da análise semiótica dos documentos programáticos do MinC, foi possível depreender não apenas temáticas, mas formas de organização da área, que funcionaram como linhas norteadoras para estabelecer as categorias terminológicas. Os resultados da análise semiótica tornaram-se um recurso operacional importante para o reconhecimento da terminologia político-administrativa da cultura. Como resultado, apresentamos o repertório de termos distribuído em categorias terminológicas correspondentes às três dimensões da área: a) dimensão político-conceitual, referente aos conceitos e princípios que fundamentam as políticas públicas de cultura; b) dimensão administrativa, que diz respeito à estrutura institucional e aos mecanismos de gestão e c) dimensão normativa, que engloba os dispositivos legais de financiamento da cultura. No final do trabalho, são descritas diretrizes teórico-metodológicas de uma proposta de glossário da gestão federal da cultura. / This research paper aims at recognizing the terminology known as political-administrative, with the purpose of suggesting a glossary of federal management culture. This field is understood as a special subject focused on the formulation, implementation and evaluation of cultural public policies in which the Ministry of Culture is in charge of. It is also considered a political area, marked by ideological and social representations resulting from the multifaceted nature of culture. Although it is a complex and important field, its terminology has not been listed yet. In order to accomplish the goal which was mentioned previously, we propose an operational scheme based on theoretical and methodological principles of Communicative Theory of Terminology (TCT), developed by Maria Teresa Cabré (1998-2005); linguistic-textual Terminography, proposed by Krieger and Finatto (2004) and Semiotics of French Line. We have adopted the principle that terms acquire terminological value due to their insertion in specialized texts, which are seen as natural environments of terminology. Through semiotic analysis of the Ministry of Culture program documents, it was possible to deduce not only themes, but ways of organization in the area, which have been used as guiding lines to establish terminological categories. The results of the semiotic analysis have become an important operational resource for the recognition of political and administrative terminology of culture. As a result, we present the repertoire of terms distributed in terminological categories which correspond to the three dimensions of the area: a) political-conceptual dimension, referring to concepts and principles that underlie cultural public policies; b) administrative dimension, which concerns the institutional structure and management mechanisms and c) normativ e dimension, which includes the legal provisions for financing culture. At the end of the paper, we describe theoretical and methodological guidelines of a proposed glossary of federal management culture.

Este trabalho trata do uso dos verbos modais em manuais de aviação em inglês sob uma perspectiva da lingüística de corpus. O objetivo é gerar subsídios que permitam elaborar materiais didáticos que reflitam as estruturas lingüísticas como aparecem em seu contexto de uso. Parte-se da hipótese de que o uso dos verbos modais no corpus de estudo apresenta peculiaridades com relação à freqüência de ocorrência, estrutura sintática e sentidos. O corpus de estudo é composto de três manuais técnicos da aeronave BOEING 737, sendo dois manuais de operações destinados a pilotos e um manual de manutenção destinado a mecânicos. A pesquisa é realizada em três etapas. Na primeira etapa é realizado um contraste entre o corpus de estudo, um corpus de referência de inglês geral e um corpus de contraste composto de manuais de sistemas operacionais para computadores pessoais. Esse contraste visa a verificar as diferenças de ocorrências entre os verbos modais e as suas estruturas sintáticas. Depois, são realizadas comparações entre os três manuais que compõem o corpus de estudo também com relação às freqüências dos modais e suas estruturas sintáticas. Na terceira etapa são verificadas as colocações principais de cada VM no manual de manutenção e em um dos manuais de operações. Outro objetivo desta investigação é contrastar o manual de manutenção e um livro didático que tem por objetivo ensinar inglês técnico para mecânicos de aeronaves. Nesse sentido, é feita uma análise do livro no que tange os verbos modais e sugeridas algumas modificações. O trabalho reúne referenciais teóricos da Lingüística de Corpus, Lingüística das Linguagens Especializadas e Verbos Modais. Os resultados do trabalho mostram que há diferenças entre a presença dos modais nos três corpora pesquisados e principalmente entre os três manuais que compõe o corpus de estudo. O estudo mostra a importância de realizar pesquisas baseadas em corpus para revelar as peculiaridades de uma linguagem especializada e assim fornecer subsídios para a elaboração de material didático com propósitos específicos mais de acordo com as necessidades do público alvo. / This thesis is about the use of modal verbs in aviation manuals in the light of corpus linguistics. The goal is to gather subsides to enable the creation of classroom material which presents the linguistic structures as they appear in their natural context. The hypothesis is that the use of modal verbs in the corpus has peculiarities in terms of frequency, syntactic patterns, and meanings. The aviation corpus is composed of three manuals from the BOEING 737 aircraft: two operations manuals directed to pilots and one maintenance manual directed to mechanics. The research has been carried out in three stages. In the first stage, the aviation corpus is contrasted to a reference corpus and another specialized corpus composed of personal computer operational systems. Such contrast aims at verifying the differences in the number of modal tokens and their syntactic patterns. In the second stage, the three manuals that make up the aviation corpus are compared in terms of modal frequencies and their syntactic patterns. In the third stage, the main collocations of each modal are checked. This thesis also aims at contrasting the maintenance manual and a course book designed to teach aviation English to mechanics. Thus, an analysis of the modal verbs in the course book is carried out and changes to the book are suggested. This thesis brings together theoretical assumptions from Corpus Linguistics, the Linguistics of Specialized languages and Modal Verbs. The results point out that there are differences in the use of modal verbs in the three investigated corpora and mainly among the three manuals that compose the aviation corpus. This study shows the importance of corpus based research to reveal the peculiarities of a specialized language and, therefore, provide input to produce specific pedagogical material which better meets the needs of the target public.