[pt] Estudos econômicos de áreas com indícios de hidrocarbonetos estão imersos em incertezas de diferentes naturezas (geológicas, de engenharia e econômicas). No início do estudo, aspectos da geologia, dos fluidos, das rochas e do reservatório só são conhecidos por métodos indiretos que fornecem informações imprecisas. A redução dessas incertezas é limitada pelos elevados custos de perfuração de poços que permitam testes diretos. Conseqüentemente, decisões de investimentos de exploração têm que ser tomadas sob risco motivando, assim, o desenvolvimento de métodos para a avaliação econômica probabilística de propriedades. O foco desta dissertação é a avaliação econômica probabilística de recursos petrolíferos, antes da perfuração do poço pioneiro. O cálculo do valor econômico de uma propriedade depende das estimativas dos perfis temporais de receitas e custos associados ao seu desenvolvimento e produção (D e P). A obtenção de tais elementos requer um projeto de D e P para a propriedade que, em função dos dados disponíveis, é menos detalhado do que um projeto de simulação multicelular. Nesta dissertação, uma metodologia de avaliação baseada em simulação de Monte Carlo é apresentada juntamente com uma implementação- protótipo. A realização das numerosas replicações, necessárias para se obter uma avaliação probabilística, se torna viável graças a um programa capaz de gerar o projeto de D e P automaticamente. Esse programa foi desenvolvido pela Petrobras com base em regras fornecidas por um especialista. Além da justificativa para a abordagem adotada, da descrição e implementação do método, são feitas considerações sobre distribuições de probabilidade para codificar incertezas e sobre os resultados dos testes iniciais do sistema protótipo. / [en] Economics studies of areas with indications of hydrocarbons are submerged in uncertainties of assorted natures (geological, of engineering and economical). At the start of the study, aspects concerning the geology, the fluids, the rocks and the reservoir are only known through indirect methods that yield imprecise information. The reduction of these uncertainties is limited by high costs of drilling wells that allow direct tests. Consequently, decisions on exploration investments have to be made under risk. This motivates the development of methods for probabilistic economic evaluation of properties. This dissertation addresses the probabilistic economic evaluation of petroleum resources, prior wildcat well drilling. Assessing the economic value of a property depends on estimates of incomes and costs time profiles associated to its development and production (D and P). Obtaining such elements requires a D and P project for the property that, due to the limited data available, is less detailed than a multi- cellular simulation project. In this thesis, a probabilistic evaluation methodology based on Monte Carlo simulation is presented along with a prototype implementation. Performing the numerous replications necessary to obtain a probabilistic evaluation becomes feasible thanks to a procedure capable of automatically generating the D and P project. That procedure was developed by Petrobras based on heuristic rules supplied by an expert. In addition to a justification for the proposed approach, the description of the method and its implementation, comments are made on probability density functions used for encoding uncertainties, and on the results of the initial tests with the prototype system.

[pt] Os principais aspectos da teoria da definição que são discutidos nesta tese são os seguintes: 1) a natureza das definições; 2) a metodologia empregada na formulação de definições; 3) o papel que as definições exercem na ciência em geral; 4) as características que distinguem axiomas e hipóteses de definições; 5) a distinção entre definições nominais e reais; 6) a relação entre definição e demonstração. Um exame de diferentes pontos de vista, através da história da filosofia, em conexão com estes aspectos, mostra que não é possível alcançar rigor científico sem o emprego de definições claras e rigorosas, e conduz à conclusão de que definições têm um papel epistemológico fundamental. / [en] The main aspects of the theory of definition that are discussed in this thesis are the following: 1) the nature of definitions; 2) the methodology used in the formulation of definitions; 3) the role that definitions play in science in general; 4) the characteristics that distinguish axioms and hypotheses from definitions; 5) the distinction between nominal and real definitions; 6) the relation between definition and demonstration. An examination of different points of view throughout the history of philosophy in connection with these aspects shows that it is not possible to reach scientific rigor without the employment of clear and exact definitions, and leads to the conclusion that definitions have an essential epistemological role.

[pt] O ambiente baseado em hyperlink possui na sua topologia informações substanciais sobre o seu conteúdo. Baseado nesse tipo de ambiente, Jon Kleingerg desenvolveu um conjunto de algoritmos, popularmente conhecido como HITS (Hyperlink Induced Topic Search), que utiliza a estrutura de hyperlinks na WWW para extrair essas informações. O foco central desses algoritmos é a classificação de tópicos de busca de caráter geral na WWW, através da descoberta de páginas que representam autoridade sobre tais tópicos. Para tanto, os algoritmos formulam a noção de autoridade considerando o relacionamento, decorrente da estrutura de hyperlink, entre o conjunto de páginas que são autoridades relevantes e o conjunto de páginas que apontam para essas, denominadas de hubs. Jon Kleingerg definiu, portanto, uma relação de interdependência entre os conjuntos anteriormente citados: uma boa autoridade será uma página apontada por bons hubs e um bom hub será uma página que aponta para boas autoridades. Neste trabalho, propomos a extensão do modelo formulado por Jon Kleingerg, através da inserção de novos conceitos nas relações de interdependência entre autoridades e hubs. Assim, formulamos um algoritmo estendido, XHITS (Extended Hyperlink Induced Topic Search), que visa melhorar a classificação das autoridades do ambiente. Nessa extensão as autoridades são apontadas por bons hubs, às vezes apontadas por bons portais e também apontam para boas novidades. Os bons hubs são páginas que apontam para boas autoridades e novidades, e são apontados por bons portais. As boas novidades são páginas que são apontadas pelas boas autoridades, pelos bons hubs e pelos bons portais e bons portais são páginas que apontam para as boas autoridades, para bons hubs e para boas novidades. Adicionalmente, mostramos que o algoritmo proposto converge e também os diversos resultados experimentais que indicam a melhoria na precisão dos hiperdocumentos recuperados. / [en] The network structure of a hyperlinked environment can be a rich source of information about the content of this environment. Jon Kleinberg developed a set of algorithms, called HITS (Hyperlink Induced Topic Search), for extracting information from the hyperlink structures of those environments. The aim of these algorithms is the distillation of broad search topics, through the discovery of related authoritative information sources. The notion of authority is based on the hyperlink structure relationship between a set of relevant authoritative pages and the set of hubs. Thus, hubs and authorities exhibit what could be called a mutually reinforcing relationship: a good hub is a page that points to many good authorities; a good authority is a page that is pointed by many good hubs. In this work, we present the XHITS (Extended Hyperlink Induced Topic Search) algorithm, an extension of the HITS algorithm by introducing new concepts on the mutually reinforcing relationship. In XHITS, a good authority is a page that is pointed by many good hubs, some good portals and points to good novels; a good hub is a page that points to many good authorities, some good novels and is pointed by some good portals; and a good novel is a page that is pointed by good authorities, some good hubs and some good portals; a good portal is a page that points to some good authorities, some good hubs and some good novels. In addition, we show that XHITS converges and, through some experiments, the improved quality of the hyper documents retrieved.

[pt] O objetivo do presente trabalho é investigar o processo de construção da identidade profissional de um aluno tornando-se professor de inglês como língua estrangeira, no contexto de um curso livre em Nilópolis, Rio de Janeiro. Acompanho o desenvolvimento deste aluno desde que ele revelou o desejo de tornar-se professor até sua inserção no grupo de professores do curso, passando pela sua escolha em fazer o Curso de Treinamento de Professores (TTC) da instituição e, mais tarde, seu ingresso no Curso de Letras. À luz dos princípios da Prática Exploratória (Allwright, 2000; Moraes Bezerra, 2003), caracterizo esta pesquisa como um estudo de caso longitudinal (Lüdke e André, 2001). Analiso informações obtidas na aula de inglês avançado do curso, na qual o aluno de 24 anos manifestou o desejo de ser professor, e na série de 8 entrevistas conduzidas ao longo de um ano e meio, visando refletir sobre sua decisões e seu processo de formação profissional. Alinho-me teoricamente com o conceito de identidade como construto social (Moita Lopes, 2002; Dutra, 2003; Kleiman, 2003). Ainda, utilizo o conceito de aprendizado dentro da perspectiva sócio-construcionista (Vygotsky, 1994; Bakhtin,1981 e 1992; Mercer, 1994; Edwards e Mercer, 1994), considerando o discurso em sua dimensão social (Cook, 2000). Problematizo questões pertinentes ao processo de construção identitária do professor, ressaltando sua crença inicial nos conceitos de modelo e inspiração e sua reflexão crítica sobre a importância do Curso de Letras na formação profissional do professor de inglês. / [en] The purpose of this dissertation is to investigate the professional identity construction of a student becoming a teacher in the context of a private language school in Nilópolis, Rio de Janeiro. I study the development of this student from the moment he showed an interest in becoming a teacher until he joined the teaching staff of the same school, passing through his choice of studying at the institution`s Teachers Training Course and, later on, his entrance in a university Letters course. I characterize this research as a longitudinal case study (Lüdke e André, 2001), inspired by the principles of Exploratory Practice (Allwright, 2000; Moraes Bezerra, 2003). I analyze data from an advanced English class, in which the 24-year-old student expressed his interest in becoming a teacher; and data from 8 interviews, conducted during one year and a half, with the purpose of reflecting about his professional decisions and growth. In theoretical terms, I view identity as socially constructed (Moita Lopes, 2002; Dutra, 2003; Kleiman, 2003). I align myself with the socio-construcionist perspective on learning (Vygotsky, 1994; Bakhtin, 1981 e 1992; Mercer, 1994; Edwards e Mercer, 1994) and also consider discourse in its social dimension (Cook, 2000). I problematize identity construction issues in the process of the specific learner becoming a teacher. I highlight his initial belief in the concept of model and inspiration and his critical reflection about the importance of the university Letters course in teacher professional development.

[pt] Nesse trabalho é avaliada a solução numérica do colapso na frente de escavação em túneis rasos, através da teoria de análise limite numérico, usando o teorema do limite inferior, a partir da condição de equilíbrio para as condições plásticas, além de considerar o comportamento do material rígido perfeitamente plástico. O teorema de limite inferior implica em maximizar o fator multiplicador na carga atuante, por isso a análise limite se torna um problema de otimização, nele tem que se usar a programação matemática para ser resolvido. É avaliada a solução numérica tridimensional da análise limite através do método dos elementos finitos, usando malha de elementos hexaédricos de oito nós, a análise dos elementos finitos é feita com o próprio código gerado na linguagem de programação do MATLAB 2017.As metodologias de programação matemática empregadas são: programação cônica de segunda ordem e programação semidefinida. Antes deve-se adaptar os critérios de ruptura de Drucker Prager à programação cônica de segunda ordem e Mohr-Coulomb tridimensional à programação semidefinida. Para a otimização se usa o algoritmo comercial MOSEK Aps 7.1 baseado no método do ponto interior em grande escala, na linguagem do MATLAB 2017. Além disso, obteve-se o mecanismo de colapso através da propriedade da dualidade do problema de otimização, dualidade que é cumprida pelos teoremas de limite superior e inferior. / [en] In this work the numerical solution of the collapse in the front of excavation in shallow tunnels is evaluated through the theory of numerical limit analysis, using the lower limit theorem, from the equilibrium condition for the plastic conditions, considering the behavior of the perfectly plastic rigid material. The lower limit theorem implies maximizing the multiplier factor in the acting load, so that the limit analysis becomes an optimization problem. The three-dimensional numerical solution of the limit analysis using the finite element method is evaluated using a mesh of eight-node hexahedral elements. The finite element analysis is done using the code generated in the MATLAB 2017 programming language. The mathematical programming methodologies used are: second order conic programming and semidefinite programming. The Drucker-Prager three-dimensional criteria should be adapted to the conic programming of the second order and Mohr-Coulomb three-dimensional to the semidefinite programming. For the optimization, the MOSEK Aps 7.1 commercial algorithm based on the large-scale interior point method is used in the MATLAB 2017 language. In addition, the collapse mechanism was obtained through the duality property of the optimization problem, duality that is fulfilled by the upper and lower limit theorems.

[pt] Esta dissertação faz uma comparação de três métodos de classificação em cascata de imagens multitemporais. Os classificadores se baseiam nas seguintes técnicas: (1) Máquina de Suporte Vetorial (SVM), (2) Modelos Ocultos de Markov (HMM) e (3) Cadeias de Markov Nebulosas(FMC). Para verificar a robustez dos modelos de classificação, introduziram-se nos dados de entrada outliers, avaliando-se assim, a robustez dos classificadores. Adicionalmente, avaliou-se o desempenho dos métodos quando a proporção de ocorrências de cada transição de classe no conjunto de treinamento difere da proporção no conjunto de teste. Determinou-se também qual o benefício do uso de conhecimento a priori sobre as transições possíveis. A análise experimental foi realizada sobre dois conjuntos de imagens de diferentes características, um par de imagens IKONOS do Rio de Janeiro, Brasil e um par de imagens LANDSAT7 de Alcinópolis, Mato Grosso do Sul. O estudo revelou que acurácia global das três abordagens tem um comportamento similar nos diferentes experimentos. Mostrou também que todas as três abordagens multitemporais apresentam desempenho superior aos seus homólogos monotemporais. / [en] This dissertation compares three cascade multitemporal image classification methods based on: (1) Support Vector Machines (SVM), (2) Hidden Markov Models (HMM) and (3) Fuzzy Markov Chains (FMC). The robustness of the classification models is verified, by introducing outliers in the data set. Additionally, performance of each method is evaluated when the number of occurrences of each class transition is different in the training and in the testing set. The gain of exploiting a prior knowledge regarding the admissible transitions in each target site is also investigated. The experimental analysis is conducted over two data sets with different characteristics; specifically a pair of IKONOS images of Rio de Janeiro and a pair of LANDSAT7 images of Alcinópolis, Mato Grosso do Sul. This study has concluded that the overall accuracy of the three approaches are similar through all experiments. The superiority ofthe multitemporal approaches over the monotemporal counterparts was confirmed.

[pt] Esta dissertação examina as classificações atribuídas ao pronome lhe, com base na gramática de valências. Segundo a tradição gramatical a nomeação do pronome é uma etapa suficiente como proposta de ensino. Neste trabalho, refuta- se esta conduta, à medida que se defende que - com relação à aprendizagem - importa para o aluno compreender, sobretudo, o funcionamento do pronome lhe na estrutura frásica. Do mesmo modo, é necessário depreender que este pronome pode desempenhar funções sintáticas distintas, as quais são justificadas através do comportamento do lhe e não por uma determinação meramente classificatória. O corpus selecionado privilegiou exemplos reunidos em livros didáticos, em gramáticas pedagógicas, no corpus do CETEMPúblico e do CETEMFolhaNILC/São Carlos. O resultado da análise revela que o pronome lhe é um genuíno complemento e que não basta classificar o elemento em questão, mas entender seu papel básico desempenhado em qualquer contexto. / [en] This dissertation examines the classifications which are attributed to the pronoun lhe with the base on the basis Valence Grammar. According to the grammatical tradition the nomination for a pronoun is an adequate step as a teaching proposal However, this dissertation refutes this procedure by defending that, as far as learning concerned, what matters to the student is above all understand the function of the pronoun lhe in the phrase structure. At the same time, it is necessary to consider that this pronoun may have distinct syntactical functions, which are justified by structural collocation and not only by one merely classifying determination. The selected corpus favoured examples from didactic books, Pedagogical grammars, in the corpus of Public CETEM and of NIL/São Carlos. The result of the data analysis reveals that the pronoun lhe is a genuine complement and it is not sufficient to classify the aforementioned particle on debate, but to understand its role in the context it which it occurs.

[pt] Este trabalho consiste na caracterização da fase gama linha em superligas de níquel através do processamento e análise digital de imagens. Amostras de uma superliga de níquel foram submetidas a 10 tratamentos térmicos diferentes. Após o tratamento térmico, estas amostras foram preparadas para avaliação metalográfica e imagens da microestrutura foram adquiridas no microscópio eletrônico de varredura (MEV). A fase gama linha presente no material foi segmentada e posteriormente medida através do processamento digital de imagens. Foram analisadas 429 imagens, o que gerou medidas de mais de 225,000 partículas. Foi medida a fração de área ocupada pelas partículas de gama linha, a quantidade de partículas por imagem, a área de cada partícula e a razão de aspectos das partículas. Uma análise estatística dos resultados foi realizada. Os resultados mostraram menor concentração e maior tamanho de gama linha com o aumento da temperatura, conforme era esperado. O uso de análise digital de imagens permitiu obter medidas com altíssima confiabilidade, uma vez que a alta velocidade de análise permite uma amostragem muito superior às técnicas tradicionais de caracterização microestrutural. / [en] This study consists of the characterization of the gamma prime phase in nickel base superalloys using digital image processing and analysis. Samples of a nickel base superalloy were heat treated to 10 different temperatures. After the heat treatment cycle, the samples were prepared for metallographic evaluation and images of the microstructure were acquired using a scanning electron microscope (SEM). The gamma prime was segmented and measured using digital image processing methods. 429 images were analyzed, in which over 225000 particles were measured. The following parameters were obtained: area fraction of gamma prime, number of particles of gamma prime per image, area of each particle and the particles' feret ratio. An statistical analysis of the data was performed The results showed that the gamma prime fraction decreases and its size increases with temperature increase, as expected. The use of digital image analysis provided measurements with high accuracy, as the high speed of digital image analysis allowed sampling much superior to the traditional microstructural characterization methods.

[pt] Este trabalho pretende investigar o nível de conhecimento e aplicação dos parâmetros ambientais, por parte dos profissionais de design, durante o desenvolvimento de seus projetos. É sabida a existência de poderosas ferramentas, que visam apoiar o projetista no que diz respeito à avaliação e inserção nos projetos de parâmetros de proteção ambiental. No entanto, observa-se que os profissionais responsáveis pelo desenvolvimento de projetos, principalmente os designers, parecem não utilizá-las. Este trabalho pretende investigar se os designers efetivamente fazem uso destas ferramentas de auxílio ao projeto de produtos eco-eficientes, e se não o fazem, entender porque isto acontece. Busca-se também entender porque uma poderosa técnica de avaliação dos aspectos ambientais e dos potenciais impactos associados a qualquer produto, chamada Análise de Ciclo de Vida (ACV), não é devidamente utilizada pelas equipes de projetistas. Esta técnica, se conhecida pelo designer e utilizada em conjunto com metodologias clássicas de ecodesign, representa uma contribuição fundamental na redução do impacto ambiental associado à cada uma das fases do ciclo de vida de um produto. / [en] This work intends to investigate the level of knowledge and application of environmental parameters, on the part of the professionals of design, during the development of its projects. The existence of powerful tools is known, which helps to support the designer in whom it says respect to the evaluation and insertion of parameters of environmental protection in the projects. However, it is observed that the responsible professionals for the development of projects, mainly designers, seem not to use them. This work intends to investigate if designers effectively makes use of these tools of aid to the project of echoefficient products, and if they do not make it, to understand why this happens. This work also search to understand why a powerful technique of evaluation of the environmental aspects and the potential impacts associated to any product, called Life Cycle Assessment (LCA), is not used by the teams of designers. This technique, if known and used in set with classic methodologies of ecodesign, represents a basic contribution in the reduction of the environmental impact associated to each one of the phases of the life cycle of a product.

[pt] Atualmente, há uma demanda crescente por serviços que exploram a integração entre as tradicionais redes de pacotes (como a Internet) e as redes celulares de última geração. Além das aplicações que visam ao transporte de dados em si, há linhas de pesquisa no sentido de oferecer serviços de voz sobre IP em redes celulares, ou seja, explorando o paradigma da transmissão de voz em pacotes. Uma destas aplicações é o Push to Talk over Cellular, ou PoC, serviço no qual, durante uma sessão, apenas um usuário por vez pode falar em modo half duplex. No PoC, assim como em toda aplicação baseada em voz sobre IP, o atraso fim-a-fim, a variação do atraso (jitter) e as taxas de perdas (além de outros fatores) influenciam a qualidade da recepção da voz nos extremos finais da comunicação. Os resultados aqui apresentados estão focados no requisito de atraso fim-a-fim dos pacotes de voz, cujos valores variam dependendo do tamanho destes pacotes, do número de usuários por canal e, principalmente, das condições do meio (razão C/I). Também são apresentados resultados referentes às simulações que validaram o modelo da rede EGPRS, mais especificamente, referentes às características da interface aérea baseada no EDGE. Durante as simulações, considerou-se que os canais eram dedicados às sessões PoC, isto é, sem nenhuma espécie de tráfego concorrente. / [en] Nowadays, there is a increasing demand for services that join traditional packet data networks (like Internet) and last generation cellular systems. Besides applications based on data only, there are researches about offer services of voice calls in cellular networks based on packet switched transmission mode. One of that is Push to Talk over Cellular, or PoC, that is a real-time service based on delivery of voice traffic in packets between two or more parties in a half duplex way. Like traditional VoIP services, the end-to-end delay, the jitter and the lost rates can affect the transmission and reception of the voice between the extremes of the communication. The results are focused on end-to-end delay of the voice packets in a PoC session, whose values can change drasticly depending on the size of the packets, the number of users sharing a channel and, mainly, the conditions of the medium (C/I rates). The model used for the EGPRS network, in special, the EDGE air interface, is studied by simulations and the results are presented and analysed too. This work presents a mean of estimating the capacity of EGPRS/EDGE channels of supporting PoC sessions without considering any other type of traffic.