Este trabalho avalia os efeitos na estimação de parâmetros aerodinâmicos de uma aeronave devido a erros não modelados da instrumentação de ensaio em vôo. O algoritmo utilizado para estimação dos parâmetros da aeronave é do tipo output error e a ferramenta estatística para análise da distribuição dos parâmetros estimados foi Monte Carlo. A análise estatística dos efeitos dos erros não modelados foi realizada com dados sintéticos de vôo, o que facilitou bastante as diferentes combinações de tipos de erros tais como ruído de medição, erro de polarização, fator de escala, atraso temporal, erros interferentes associados com cruzamento entre variáveis, latência dinâmica dos sensores e desalinhamento geométrico dos sensores. Foi verificado que o ruído de medição, o fator de escala e o cruzamento de variável não causam grandes erros nos parâmetros aerodinâmicos estimados enquanto que os demais tipos de erros geram erros que invalidam a estimativa dos parâmetros aerodinâmicos.

Este trabalho apresenta um estudo comparativo entre três ferramentas computacionais diferentes na determinação do coeficiente de pressão em um caso típico de aerofólio supercrítico, em particular o Boeing A4, com sua conseqüente comparação com os dados experimentais obtidos em túnel de vento para este aerofólio. Esta comparação contribui para o processo de validação de uma ferramenta de mecânica dos fluidos computacional (CFD) que vem sendo desenvolvida no presente grupo de trabalho. Os códigos de CFD empregados resolvem uma formulação de Navier-Stokes com média de Reynolds (RANS) ou uma formulação de Euler acoplada a soluções de camada limite. Neste último caso, tem-se a opção de fixar a transição sobre a superfície do aerofólio ou deixá-la livre. Todos os códigos utilizam modelos de turbulência do tipo viscosidade de vórtice para levar em consideração os efeitos de transporte de turbulência. Em particular, o modelo de uma equação de Spalart-Allmaras e o modelo de duas equações k-e RT são empregados nos códigos com formulação RANS. O código de camada limite utiliza o modelo algébrico de Cebeci-Smith. O trabalho apresenta os aspectos da integração no tempo e a integração espacial, bem como os procedimentos de aceleração de convergência usados no código que está sendo desenvolvido, o que possibilita numa análise posterior estabelecer relações de tendências de resultados de acordo com os modelamentos e equações que estão sendo utilizados. Foram utilizados onze casos teste diferentes, todos utilizando a configuração do aerofólio Boeing A4. Os resultados obtidos permitiram analisar a qualidade e a confiabilidade dos resultados dos códigos no que se diz respeito à correta identificação de possíveis ondas de choque, valores de coeficientes de pressão, posicionamento da transição de escoamento laminar para turbulento e tendências que os códigos possam apresentar de oscilações numéricas na solução. Estes resultados e análises realizadas dão subsídios importantes no processo de validação do código em desenvolvimento.

A formação de gelo em aeronaves é um tópico de grande interesse para a indústria aeronáutica. Vários acidentes fatais já ocorreram na aviação comercial em decorrência da formação de gelo em partes sensíveis de aeronaves. Por conta disso, os órgãos certificadores elaboraram uma série de requisitos em relação aos mecanismos de proteção e de eliminação de gelo, assim como na avaliação da qualidade de vôo e desempenho de uma aeronave que opere em condições de gelo acumulado nas suas superfícies de sustentação e de controle. Ao longo dos anos, muitos estudos têm sido conduzidos de maneira a se alcançar uma rápida e precisa maneira de avaliar esse fenômeno e com isso reduzir o ciclo de projeto. Nesse trabalho, é apresentado um método simples de avaliação do mecanismo de acúmulo de gelo em aerofólios, baseado principalmente no cálculo da eficiência de coleta, um dos principais parâmetros envolvidos no processo. Partindo-se de um código numérico desenvolvido por Lozowski e Oleskiw [1], foi realizada uma reestruturação do mesmo. Algumas subrotinas foram atualizadas, assim como novos e melhores procedimentos de cálculo foram adicionados ao código original. A versão atual do código foi validada através da comparação com a versão original e, posteriormente, foram conduzidas análises da influência de diversos parâmetros na eficiência de coleta resultante de um determinado corpo submetido a condições conhecidas. Além disso, foram avaliados alguns casos relativos à formação de gelo e os resultados são comentados aqui.

Nas últimas décadas, as melhorias na tecnologia de extit{hardware} principalmente no que diz respeito a unidade de processamento central, memória e capacidade de armazenamento, diversas ferramentas numéricas aplicadas na engenharia foram desenvolvidas com o intuito de se obter respostas rápidas e mais baratas do que ensaios, experimentos e testes laboratoriais. A Dinâmica dos Fluidos Computacional (DFC) faz uma aproximação numérica como um meio de simular escoamentos. Um dos grandes desafios em soluções numéricas na DFC é a garantia da consistência, estabilidade e convergência garantindo com isso, a confiabilidade do código numérico. As turbomáquinas operam em uma ampla faixa de velocidades no campo do escoamento, podendo ter regiões com baixos números de Mach. Nesse ponto, surge um problema, pois códigos da DFC para o cálculo de escoamento compressível geralmente são programados seguindo formulações matemáticas baseadas no vetor de variáveis conservadas, podendo ter problemas numéricos e apresentar soluções inconsistentes devido a pequena variação da densidade do fluido. Chorin através de alguns estudos constatou que os códigos de DFC possuem uma diminuição de sua convergência e estabilidade quando o número de Mach do escoamento torna-se menor do que o limite de compressibilidade. Com o objetivo de solucionar este problema, Chorin criou a técnica de compressibilidade artificial. Choi e Merkle; Turkel e outros pesquisadores modificaram a técnica de compressibilidade artificial e desenvolveram a técnica de pré-condicionamento para diversas aplicações para garantir a convergência, estabilidade e melhorias na soluções numéricas dos códigos DFC para uma ampla faixa de velocidades do escoamento. No presente trabalho, foi realizada a implementação do método de pré-condicionamento de Turkel, Vatsa e Radaspiel em um programa de DFC desenvolvido por Tomita para calcular escoamentos compressíveis, internos e externos. A fim de melhorar a robustez do código numérico o pré-condicionador foi modificado seguindo o proposto no trabalho de Damorfal e Siu. O pré-condicionamento foi implementado primeiramente para as Equações de Euler e depois para escoamentos viscosos e turbulentos. Diversas experiências numéricas foram realizadas e resultados interessantes utilizando o código de DFC compressível e o código de DFC compressível com o pré-condicionador original e modificado foram obtidos. Todos estes casos estão apresentados e comentados no presente trabalho. A implementação do pré-condicionador em um código de DFC desenvolvido para o cálculo de escoamento tipicamente compressível resultou em uma ferramenta numérica com maior potencial para o cálculo do escoamento numa ampla faixa de número de Mach.

Uma das principais preocupações consideradas na Engenharia de Software consiste na redução do custo de manutenção durante seu ciclo de vida, que pode compreender até 67% de seu custo total. A qualidade interna do código-fonte de um software representa um dos aspectos relacionados ao seu grau de manutenibilidade. Características de seu design como sua estruturação e facilidade de compreensão podem influenciar o esforço associado à sua manutenção. Especialistas em projetos de sistemas Orientados a Objetos (OO) defendem que a manutenção de baixo acoplamento entre os módulos resultam em produtos de software mais confiáveis e manuteníveis. Ao longo dos anos, autores formularam heurísticas para auxiliar os programadores a realizarem a tarefa de controlar o acoplamento entre módulos de um software. Uma destas heurísticas, a Lei de Demeter (Law of Demeter - LoD), foi proposta com a motivação de favorecer a modularização de um software através de sua aplicação. A Análise Estática de Código (AES) consiste em uma dentre as possíveis abordagens para automação da verificação da aderência ou violação da LoD no código-fonte de um software. Entretanto, sua aplicaçãoo pode apre- sentar alguns desafios como longos tempos de execução de análise, ruído excessivo e taxas inaceitáveis de falsos-positivos. Neste trabalho de pesquisa, se investiga, concebe, implementa e verifica um framework, denominado Law Of Demeter Reduced (LoDRed), para identificação automatizada de violações da LoD utilizando AES e redução do volume de ruídos resultantes. Nele, propõe-se ainda uma extensão para LoD, a Extensão da Lei de Demeter (Law of Demeter Extension - LoD-E) com a finalidade de investigar, definir e suportar, sob a ótica da LoD, elementos para análise de algumas construções particulares de linguagens OO como generics e lambda expressions, além de considerar a aplicação de filtros sobre agrupamentos lógicos. O framework LoDRed consiste na principal contribuição desta pesquisa. Ele define um processo, composto por quatro métodos que, em conjunto, têm a finalidade de identificar e reportar, de forma automatizada, violações da LoD e da LoD-E nos códigos-fonte de softwares. A sua implementação resultou em três produtos de software de código aberto e foi verificada nesta pesquisa por meio da execução de um experimento que apresentou redução no volume de ruídos da ordem de até 95%.

Ao percorrer a trajetória do conceito de autoria na sociedade e, em particular, em diferentes áreas do conhecimento científico, verifica-se que este ganhou destaque durante a Modernidade e, a partir deste período, vem sofrendo alterações sucessivas. Em meio aos debates constantes sobre a -autoria? em diferentes áreas do conhecimento, é importante desenvolver pesquisas integrando o contexto da natureza social à representação documental. Trata-se de uma investigação exploratória e teórica, pautada nas pesquisas bibliográfica, documental, histórica e comparativa, que tem como objeto de estudo o conceito de autoria e de autor na representação documental, através dos códigos de catalogação adotados para a representação descritiva no Brasil, a saber: as Normas para catalogação de impressos, mais conhecidas como Código da Vaticana, o Código de catalogação anglo-americano (CCAA ou AACR) e Resource description and access (RDA). Como o autor é representado nos registros bibliográficos conforme as orientações pré-estabelecidas nos códigos de catalogação, reflexões acerca da autoria e sua forma de representação são fundamentais para se criar vínculos entre os registros bibliográficos, entre os documentos e para os usuários. Reflexões teóricas acerca de questões socioculturais e a representação documental buscam ir além da visão tecnicista e atribuir uma função social à representação descritiva, capaz de mobilizar uma sociedade do conhecimento, provendo acesso ao documento, respeitando as particularidades de seus usuários e, consequentemente, contribuindo para a representação, circulação, uso e produção de novos conhecimentos. / Analyzing the trajectory of the concept of authorship in society and, in particular, in different areas of scientific knowledge, one can conclude that it rose to prominence during Modernity and, from this period on, has been going through continuous change. Amidst constant debates about -authorship? in diverse areas of knowledge, it is important that research be carried out to integrate the context of social nature and documental representation. It is about an exploratory, theoretical investigation, based on bibliographic, documental, historical and comparative research whose object of study is the concept of authorship and of author in documental representation, by means of cataloguing codes adopted by descriptive representation in Brazil, namely: the Rules for the catalog of printed books, better known as Vatican code, the Anglo-American cataloguing rules (AACR) and Resource description and access (RDA). As the author is represented in the bibliographic records according to guidelines established in the cataloguing codes, reflections about authorship and its form of representation are instrumental for links to be created between bibliographic records, documents and users. Theoretical reflections about sociocultural issues and documental representation seek to go beyond the technicist view and assign a social function to the descriptive representation, thus being able of mobilizing a knowledge society by providing access to documents, respecting particularities of users and, consequently, contributing to the representation, circulation, use and production of new knowledge.

As mudanças formais na narrativa jornalística nem sempre obedeceram a regras sancionadas institucionalmente, estando ligadas, muitas vezes, a sistemas de escrita tão amplamente utilizados que se tornaram padrões, mesmo que não reconhecidos oficialmente por qualquer organização ou expostas em algum livro escrito. A partir do pressuposto de que as estratégias discursivas utilizadas por jornalistas obedecem, em seus contornos gerais, a determinados modos padrões de narração que instauram códigos de reconhecimento socialmente compartilhados, a presente pesquisa tem como objetivo estudar como esses modos padrões de narração se modificaram ao longo do tempo, instaurando mudanças na narrativa jornalística no decorrer da história da reportagem em revista no século XX no Brasil. Utilizaremos como aparato teórico e metodológico um entrecruzamento entre o entendimento de Michel de Certeau acerca das práticas simbólicas, a estruturação da narrativa proposta por Paul Ricoeur e a noção de código a partir dos contornos que Roland Barthes deu a esse conceito. Com isso, o nosso objetivo é verificar como são articuladas as repetições e as translações de significado na composição jornalística a partir de sua estrutura narrativa, de sua forma de organização codificada e padronizada, bem como o modo como essa configuração mudou ao longo do tempo, instaurando regimes narrativos, historicamente marcados, nas revistas brasileiras. Como corpus de trabalho, foram escolhidos os seguintes títulos: Revista da Semana, O Cruzeiro, Fatos e Fotos, Realidade e Manchete, Veja, Época e IstoÉ. Uma vez que o próprio realismo pode ser entendido como a manifestação de um sistema de códigos convencionais, posto que é construído, justamente, a partir de uma série de procedimentos estilísticos que estão ancorados em regras culturais de representação, procuraremos estudar os diferentes modos narrativos padrões que o jornalismo de revista mobilizou ao longo do século XX como forma imaginariamente legitimada de construção de realidade. / The formal changes in journalistic narrative do not always obey institutionally sanctioned rules and are often linked to writing systems that are so widely used that they become standards, even if not officially recognized by any organization or exposed in some written book. Assuming that the discursive strategies used by journalists obey, in their general outlines, certain standard ways of narration, which are socially shared, the present research project aims to study how these standard ways of storytelling have changed over time, introducing changes in journalistic narrative throughout the history of reporting in Brazilian magazines from the twentieth century. To achieve this objective, we will use as a theoretical and methodological approach an interaction between Michel de Certeau\'s understanding about symbolic practices, the structuring of narrative proposed by Paul Ricoeur and the notion of code from the contours that Roland Barthes gave to this concept, in order to see how these repetitions and these translations of meaning are articulated in the composition of journalistic narratives. We will study as well how this configuration has changed over time, establishing narrative schemes, historically marked, in Brazilian magazines. In order to study these questions, we chose these following publications: Revista da Semana, O Cruzeiro, Fatos e Fotos, Realidade e Manchete, Veja, Época and IstoÉ. Once realism itself can be understood as a manifestation of a conventional coding system, since it is constructed precisely from a number of stylistic procedures that are anchored in cultural norms of representation, we aim to study the different narrative standard modes that journalism magazine mobilized throughout the twentieth century as a form of reality construction.

Este trabalho realizou uma comparação entre alguns dos principais códigos de transporte que empregam a abordagem estocástica de Monte Carlo para aplicação em cálculos dosimétricos em Medicina Nuclear. Foram analisados com detalhes os diversos modelos físicos e numéricos utilizados pelo código MCNP5 em relação códigos como Penelope e EGS. A identificação de suas potencialidades e limitações para solução de problemas microdosimétricos foram destacados. A metodologia condensada usada pelo MCNP resultou em valores para energia depositada normalmente menores, evidenciando uma conhecida característica do método das historias condensadas: o fato de subestimar tanto o número de colisões ao longo da trajetória do elétron quanto do número de partículas secundárias criadas. O uso de códigos de transporte como Penelope e MCNP em escalas micrométricas recebeu especial atenção neste trabalho. Códigos classe I e II foram estudados e seus principais recursos foram explorados visando o transporte de elétrons, que são de especial importância em dosimetria. Espera-se que a avaliação das metodologias disponíveis, aqui abordadas contribua para um maior entendimento do comportamento de tais códigos principalmente para esta classe de problemas, comuns em microdosimetria. / This study made a comparison between some of the major transport codes that employ the Monte Carlo stochastic approach in dosimetric calculations in nuclear medicine. We analyzed in detail the various physical and numerical models used by MCNP5 code in relation with codes like EGS and Penelope. The identification of its potential and limitations for solving microdosimetry problems were highlighted. The condensed history methodology used by MCNP resulted in lower values for energy deposition calculation. This showed a known feature of the condensed stories: its underestimates both the number of collisions along the trajectory of the electron and the number of secondary particles created. The use of transport codes like MCNP and Penelope for micrometer scales received special attention in this work. Class I and class II codes were studied and their main resources were exploited in order to transport electrons, which have particular importance in dosimetry. It is expected that the evaluation of available methodologies mentioned here contribute to a better understanding of the behavior of these codes, especially for this class of problems, common in microdosimetry.

Submitted by Angela Maria de Oliveira (amolivei@uepg.br) on 2017-10-31T13:25:24Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) Dissertação - Rosilene Ales.pdf: 1659544 bytes, checksum: b146b0c0707ab6d3ca5c1e525b34793c (MD5) / Made available in DSpace on 2017-10-31T13:25:24Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) Dissertação - Rosilene Ales.pdf: 1659544 bytes, checksum: b146b0c0707ab6d3ca5c1e525b34793c (MD5) Previous issue date: 2017-09-29 / Whitney identificou as propriedades fundamentais de dependência, que são comuns entre grafos e matrizes dando origem a Teoria de Matróides em 1935. Neste trabalho será apresentada a construção de novas famílias de Matróides e a resolução de teoremas de maneira ampla e de fácil compreensão, pois o tema é definido de forma matemática puramente abstrata. Assim, para obter um novo Matróide utiliza-se um já dado, sendo definido em termos de seus conjuntos independentes. Destaca-se que Matróides é encontrado nas seguintes abrangências: em espaços vetoriais, ciclos em grafos, funções afins, circuitos, bases, rank, fecho e dualidade. Deste modo, para construir um código quântico, precisa compreender a teoria de informação e codificação quântica como os Postulados da Mecânica Quântica, estados de um ou vários qubits, operadores unitários, portas lógicas, medidas de estados quânticos, códigos estabilizadores e a classe dos códigos de Calderbank-Shor-Steane (CSS). Os códigos lineares são os códigos da Álgebra Linear, subespaços vetoriais definidos sobre corpos finitos. Os códigos quânticos tem a finalidade de proteger possíveis erros de um canal para detectar e corrigir tais erros. Com o fundamento teórico adquirido, pode se verificar a possibilidade de construir a conexão da teoria de Matróides e a teoria de codificação quântica, por meio da matriz de verificação de paridade de um código CSS e a matriz que gera um dado Matróide vetorial. / Whitney identified the fundamental properties of dependence, which are common among graphs and matrices giving rise to Matroid Theory in 1935. In this work will be presented the construction of new families of Matroid and the resolution of theorems in a comprehensive and easy to understand, since the theme is defined in purely abstract mathematical form. Thus, to obtain a new Matroid one uses an already given one, being defined in terms of its independent sets. It should be noted that Matroid is found in the following ranges: in vector spaces, cycles in graphs, related functions, circuits, bases, rank, closure and duality. Thus, to construct a quantum code, one must understand quantum information and coding theory such as the Postulates of Quantum Mechanics, single- or multi-qubit states, unit operators, logic gates, quantum state measures, stabilizing codes, and the class of codes of Calderbank-Shor-Steane (CSS). The linear codes are the codes of Linear Algebra, vector subspaces defined on finite bodies. Quantum codes are intended to protect potential errors from a channel to detect and correct such errors. With the acquired theoretical foundation, the possibility of constructing the connection of the Matroid theory and the theory of quantum codification can be verified by means of the parity check matrix of a CSS code and the matrix that generates a given vector matroid.

Made available in DSpace on 2014-06-12T17:36:02Z (GMT). No. of bitstreams: 2 arquivo2523_1.pdf: 1662188 bytes, checksum: ca366b30d35fcf4e22eb4ea7ea20d578 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / A decodificação de códigos baseados em matrizes de verificação de paridade esparsas (LDPC, do inglês low-density parity-check) é realizada através do algoritmo soma-produto (ASP). Este trabalho apresenta um estudo do funcionamento do ASP e do seu desempenho em um canal com ruído aditivo Gaussiano branco (AWGN, do inglês additive white Gaussian noise) através de simulações computacionais. Em seguida, esta análise é estendida quando um quantizador uniforme com 2q níveis de quantização é incorporado ao sistema de comunicações. O passo de quantização ótimo é identificado para vários parâmetros do código e do canal. Este estudo indica que para q = 1 (quantização abrupta) ocorre uma perda de desempenho de aproximadamente 1,8 dB em relação ao canal AWGN enquanto que para q = 4 essa perda é reduzida para aproximadamente 0,12 dB