[pt] O volume de dados existentes aumenta a cada dia, sendo que, armazenar, processar e transmitir esta informação se torna um grande desafio. O paradigma de Map Reduce, proposto por Dean e Ghemawat (10), é uma forma eficiente para o processamento de grandes volumes de dados utilizando um cluster de computadores e, mais recentemente, infraestruturas no Cloud. Entretanto, implementações tradicionais de Map Reduce não apresentam nem a flexibilidade (para escolher entre diferentes técnicas de codificação na etapa de map), nem o controle (capaz de especificar como organizar os resultados na etapa de reduce), necessários para o processamento de vídeos. Porém, com a proliferação de dispositivos capazes de reproduzir conteúdo em multimídia, e com o aumento da disponibilidade de banda, o consumo deste tipo de conteúdo é cada vez maior, o que mostra a necessidade de termos arquitetura eficientes para lidar com grandes volumes de dados, especificamente vídeos. A arquitetura de Split and Merge, proposta nesta dissertação, generaliza o paradigma de Map Reduce, fornecendo uma solução eficiente que contempla aspectos relevantes às aplicações de processamento intensivo de vídeo. Para validar a arquitetura proposta, são apresentados dois casos de uso onde a mesma foi implementada utilizando uma plataforma de Cloud. / [en] The Map Reduce approach, proposed by Dean and Ghemawat (10), is an efficient way for processing very large datasets using a computer cluster and, more recently, cloud infrastructures. Traditional Map Reduce implementations, however, provide neither the necessary flexibility (to choose among different encoding techniques in the mapping stage) nor control (to specify how to organize results in the reducing stage), required to process video files. The Split and Merge tool, proposed in this thesis, generalizes the Map Reduce paradigm, and provides an efficient solution that contemplates relevant aspects of intense processing video applications.

[pt] O acompanhamento dos recalques de aterros, por meio de nivelamento topográfico periódico, permite estimar a evolução dos mesmos, bem como retroanalisar os parâmetros adotados em determinado projeto. Neste trabalho, recalques foram medidos em um aterro experimental sobre um depósito com 12 m de espessura de solos moles em Camboinhas, Niteroi (RJ), construído entre o final de 1977 e o início de 1978. O aterro serviu como modelo em escala real para a realização de estudos geotécnicos diversos na PUC-Rio, auxiliando o projeto de um empreendimento imobiliário da época. A obra foi embargada pouco tempo após seu início e, desde então, nenhum empreendimento foi realizado. Em 2013, novas amostras Shelby foram extraídas, para a realização dos ensaios de laboratório desta pesquisa. Ensaios de campo também foram realizados. Verificou-se que os recalques causados pela construção do aterro ainda estão ocorrendo, 37 anos após sua execução. Compararam-se, também, os valores de OCR de laboratório com os obtidos por meio de correlações empíricas com os resultados de campo. Por fim, foram feitas previsões da evolução do recalque médio com o tempo e da magnitude do valor total médio. / [en] Monitoring of embankment settlements using periodic topographic leveling allows one to preview their evolution, and to assess the parameters used in a specific design. In this research, settlements of an experimental embankment constructed between the end of 1977 and the beginning of 1978, over a 12 m thick soft soils deposit in Camboinhas, Niteroi (RJ), were monitored. At that time, the embankment served as large model to help designing of a commercial housing development. The work was hampered shortly after the end of embankment s construction and, since then, no enterprise was held. In 2013, in this research, new Shelby samples were obtained in order to carry out series of laboratory tests. Settlements due to the embankment construction were noted to be still progressing. Also, OCR values from laboratory tests were compared to those empirically evaluated from field results. Finally, the magnitude of total settlement and its progress with time were estimated.

[pt] O setor da refrigeração possui um papel essencial e crescente na economia global, com um aumento na quantidade de sistemas operantes. A necessidade de desenvolver novos refrigerantes tem sido cada vez mais frequente, a fim de atender a legislações ambientais cada vez mais rigorosas. Igualmente, medidas envolvendo a introdução de novos materiais, como os nanofluidos, tem sido uma constante. Neste trabalho, um sistema de refrigeração usando uma mistura nanolubrificante POE-diamante e refrigerante R410A foi simulado. Dados experimentais cedidos pela Universidade Federal de Uberlândia (UFU) foram usados para a elaboração e validação do modelo. O simulador utiliza a equação de Peng-Robinson para o cálculo das propriedades termodinâmicas e o método de fronteira móvel para a modelagem dos trocadores. O impacto das nanopartículas em relação aos parâmetros críticos foi avaliado a partir do princípio do isomorfismo e da natureza de ambos os materiais: fluido base e nanopartículas. A convergência da simulação do ciclo de refrigeração foi obtida com o método do simplex modificado, que mostrou-se adequado para tal aplicação, apresentando convergência satisfatória em todos os casos. As temperaturas de evaporação, condensação e de descarga do compressor são obtidas a partir das condições de operação do compressor, dos dois fluidos de transferência de calor, do grau de superaquecimento no evaporador e também do grau de subresfriamento no condensador. Superfícies de resposta foram criadas a fim de avaliar o efeito de cada uma das variáveis (temperatura de evaporação, frequência do compressor e concentração de nanopartículas) utilizadas no estudo do coeficiente de performance (COP), da capacidade frigorífica e da potência do compressor. A temperatura de evaporação possui um impacto significativo sobre a capacidades frigorífica e o COP, enquanto que a potência é mais afetada pela frequência do compressor. A concentração de nanopartículas, apesar de possuir um efeito marginal, não deve ser desprezada, devido à modificação que causa sobre as propriedades termofísicas da mistura. / [en] The refrigeration sector has an essential and growing role in the global economy, with an increase in the number of operating systems. The need to develop new refrigerants has been increasingly frequent, in order to meet increasingly stringent environmental legislation. Equally, measures involving the introduction of new materials, such as nanofluids, have been a constant. In this work, a cooling system using a POE-diamond nanolubricant mixture and R410A refrigerant was simulated. Experimental data provided by the Federal University of Uberlândia (UFU) were used for the elaboration and validation of the model. The simulation uses the Peng-Robinson equation to calculate thermodynamic properties and the moving-boundary method for modeling the heat exchangers. The impact of the nanoparticles in relation to critical parameters was evaluated based on the principle of isomorphism and the nature of both materials: base fluid and nanoparticles. The convergence of the refrigeration cycle simulation was obtained with the modified simplex method, which proved to be adequate for such application, presenting satisfactory convergence in all cases. Evaporation,condensation and discharge temperatures are obtained from the operating conditions of compressor and both heat transfer fluids, the degree of superheating in the evaporator and also the degree of subcooling in the condenser. Response surfaces were created in order to evaluate the effect of each of the variables (evaporation temperature, compressor frequency and nanoparticle concentration) used in the study of the performance coefficient (COP), refrigeration capacity and compressor power. Results have shown that the evaporation temperature has a significant impact on the cooling capacity and the COP, while the power is mainly affected by the compressor frequency. The nanoparticles concentration, despite having a more attenuated effect, should not be neglected, due to the change it causes to the mixture thermophysical properties.

[pt] Este trabalho é uma elaboração, com exemplos, e evolução do Algoritmo de Compressão Horizontal (HC) apresentado e seu Conjunto de Regras de Compressão. Este trabalho apresenta uma prova, feita no Provador Interativo de Teoremas Lean, de que o algoritmo HC pode obter uma Derivação Comprimida, representada por um Grafo Acíclico Dirigido, a partir de qualquer Derivação Tipo-Árvore em Dedução Natural para a Lógica Minimal Puramente Implicacional. Finalmente, a partir da Cobertura e Corretude do algoritmo HC, pode-se argumentar que NP = PSPACE. / [en] This work is an elaboration, with examples, and evolution of the presented Horizontal Compression Algorithm (HC) and its set of Compression Rules. This work argues a proof, done in the Lean Interactive Theorem Prover, that the HC algorithm can obtain a Compressed Derivation, represented by a Directed Acyclic Graph, from any Tree-Like Natural Deduction Derivation in Minimal Purely Implicational Logic. Finally, from the Coverage and Soundness of the HC algorithm, one can argue that NP = PSPACE.

[pt] Esta dissertação apresenta uma estratégia para desenvolver mecanismos de compressão de dados adquiridos por sensores, seguindo como inspiração o processo utilizado no formato JPG2000. A estratégia adota a abordagem das séries históricas dos dados sob o ponto de vista do processamento de sinais. Dada à natureza instável dos sensores é natural que ruídos sejam adicionados ao sinal original. Estes ruídos são detectados e tratados enquanto o sinal é suavizado e limpo, facilitando a análise, ao passo que em que componentes pouco relevantes são removidos ou aproximados, permitindo que o sinal seja comprimido com pouca perda de informação. / [en] This dissertation introduces a strategy to develop a compression method for sensor data inspired on the JPG2000 techniques. The strategy adopted processes data streams much in the same way as signal processing. Due to the unstable nature of sensor data, noise is added to the original signal. This noise is detected and treated while the signal is cleaned and smoothed, making it easier to analyze the data stream. Less relevant signal components are removed or approximated allowing the signal to be compressed with few information loss.

[pt] A tecnologia de jogos multi-jogador é uma especialização dentro da área de ambientes virtuais distribuídos. Com a crescente popularidade de jogos pela Internet, torna-se interessante analisar os seus principais problemas e encontrar soluções de arquiteturas destes ambientes, a fim de adaptá-las para as necessidades específicas destes jogos. Uma arquitetura híbrida usando as abordagens cliente- servidor e peer-to-peer é proposta e implementada neste trabalho, visando atender uma certa classe de jogos multi- jogador. Com o objetivo de permitir uma eficiente transmissão de objetos criados entre os jogadores durante uma sessão, é proposta uma alteração em sua forma de representação geométrica. É mostrado que técnicas de modelagem de mais alto nível como CSG ou Metaball podem ser usadas para permitir esta transmissão eficiente sob certas circunstâncias. É também proposta uma técnica eficiente de representação e transmissão de coordenadas do ambiente virtual usando campos de bits. / [en] Multiplayer game technology is a specialized field in networked virtual environments (Net-VE). With the increasing popularity of Internet games, the analysis of their main problems and the search for an architecture for these environments has become interesting in order to adapt them to the specific needs of these games. A hybrid architecture using both client-server and peer-to-peer approach is proposed and implemented in this work for a certain class of multiplayer games. In order to provide an efficient transmission of user created objects among players during a session, a change in its geometrical representation is proposed. It is showed that the use of higher level object representation such as CSG or Metaball modeling techniques can be used to provide this efficient transmission under certain circumstances. It is also proposed the use of bitfields as a efficient way to both represent and transmit coordinates of the virtual world.