[pt] A segmentação de documentos HTML tem sido essencial para as tarefas de extração de informações, como mostram vários estudos na área. Nesta dissertação investigamos a relação entre o documento HTML e sua representação visual, mostrando como esta ligação ajuda na abordagem estrutural para a identificação de segmentos. Também investigamos como utilizar algoritmos de distância de edição em árvores para encontrar padrões na árvore DOM, tornando possível resolver duas tarefas de identificação de segmentos. A primeira tarefa é a identificação de tabelas genuínas, aonde foi obtido 90,40% de F1 utilizando o corpus fornecido por (Wang e Hu, 2002). Mostramos através de um estudo experimental que este resultado é competitivo com os melhores resultados da área. A segunda tarefa que consideramos é a identificação de listas de produtos em sites de comércio eletrônico, nessa obtivemos 94,95% de F1 utilizando um corpus com 1114 documentos HTML, criado a partir de 8 sites. Concluímos que os algoritmos de similaridade estrutural ajudam na resolução de ambas às tarefas e acreditamos que possam ajudar na identificação de outros tipos de segmentos. / [en] The segmentation of HTML documents has been essential to information extraction tasks, as showed by several works in this area. This paper studies the link between an HTML document and its visual representation to show how it helps segments identification using a structural approach. For this, we investigate how tree edit distance algorithms can find structural similarities in a DOM tree, using two tasks to execute our experiments. The first one is the identification of genuine tables where we obtained a 90.40% F1 score using the corpus provided by (Wang e Hu, 2002). We show through an experimental study that this result is competitive with the best results in the area. The second task studied is the identification of product listings in e-commerce sites. Here we get a 94.95% F1 score using a corpus with 1114 HTML documents from 8 distinct sites. We conclude that algorithms to calculate trees similarity provide competitive results for both tasks, making them also good candidates to identify other types of segments.

[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] Segerberg apresentou uma prova geral da completude para lógicas proposicionais. Para tal, um sistema de dedução foi definido de forma que suas regras sejam regras para um operador booleano arbitrário para uma dada lógica proposicional. Cada regra desse sistema corresponde a uma linha na tabela de verdade desse operador. Na primeira parte desse trabalho, mostramos uma extensão da ideia de Segerberg para lógicas proposicionais finito-valoradas e para lógicas não-determinísticas. Mantemos a ideia de definir um sistema de dedução cujas regras correspondam a linhas de tabelas verdade, mas ao invés de termos um tipo de regra para cada valor de verdade da lógica correspondente, usamos uma representação bivalente que usa a técnica de fórmulas separadoras definidas por Carlos Caleiro e João Marcos. O sistema definido possui tantas regras que pode ser difícil trabalhar com elas. Acreditamos que um sistema de cálculo de sequentes definido de forma análoga poderia ser mais intuitivo. Motivados por essa observação, a segunda parte dessa tese é dedicada à definição de uma tradução entre cálculo de sequentes e dedução natural, onde procuramos definir uma bijeção melhor do que as já existentes. / [en] Segerberg presented a general completeness proof for propositional logics. For this purpose, a Natural Deduction system was defined in a way that its rules were rules for an arbitrary boolean operator in a given propositional logic. Each of those rules corresponds to a row on the operator s truth-table. In the first part of this thesis we extend Segerbergs idea to finite-valued propositional logic and to non-deterministic logic. We maintain the idea of defining a deductive system whose rules correspond to rows of truth-tables, but instead of having n types of rules (one for each truth-value), we use a bivalent representation that makes use of the technique of separating formulas as defined by Carlos Caleiro and João Marcos. The system defined has so many rules it might be laborious to work with it. We believe that a sequent calculus system defined in a similar way would be more intuitive. Motivated by this observation, in the second part of this thesis we work out translations between Sequent Calculus and Natural Deduction, searching for a better bijective relationship than those already existing.