Tese(doutorado)-Universidade de Brasília, Departamento de Engenharia Mecânica, 2009. / Submitted by Jaqueline Ferreira de Souza (jaquefs.braz@gmail.com) on 2011-05-14T00:55:37Z No. of bitstreams: 1 2009_AlbertoPinheiroDantas.pdf: 15007432 bytes, checksum: 000a9081d281fe643ad5224199c24aab (MD5) / Approved for entry into archive by Jaqueline Ferreira de Souza(jaquefs.braz@gmail.com) on 2011-05-14T00:57:20Z (GMT) No. of bitstreams: 1 2009_AlbertoPinheiroDantas.pdf: 15007432 bytes, checksum: 000a9081d281fe643ad5224199c24aab (MD5) / Made available in DSpace on 2011-05-14T00:57:20Z (GMT). No. of bitstreams: 1 2009_AlbertoPinheiroDantas.pdf: 15007432 bytes, checksum: 000a9081d281fe643ad5224199c24aab (MD5) / Esta tese apresenta uma nova alternativa para calcular a amplitude da tensão cisalhante em critérios de fadiga multiaxial baseados na abordagem de plano crítico. Essa nova medida foi aplicada aos critérios de Findley e de Susmel & Lazzarin e os resultados comparados com dados experimentais sob carregamentos combinados disponíveis na literatura para condições limite de fadiga. Os resultados obtidos pela nova medida denominada de Máximo Retângulo Circunscrito (MRC) foram também comparados com os resultados obtidos pelo Método do Mínimo Círculo Circunscrito (MCC), mostrando que o MRC é mais eficiente e mais preciso que o MCC. Uma nova definição para o plano crítico foi proposta, pois observou-se que a definição clássica não possui unicidade e não considera explicitamente a influência da tensão normal máxima na localização do plano crítico. Aplicou-se algoritmos genéticos, um método de otimização, para reduzir o custo computacional tornando viável o uso de critérios de fadiga multiaxial baseados em abordagens plano críticos no âmbito da engenharia. _______________________________________________________________________________ ABSTRACT / The aim of this thesis is to propose a new alternative to compute the amplitude of the shear stress on critical plane based multiaxial fatigue approaches. This new measure was applied to Findley and Susmel & Lazzarin criteria and compared with 42 experimental data taken from the literature. The estimates provided by this measure, here on denominated the Maximum Circumscribed Rectangle (MCR) were also compared with results obtained by the celebrated Minimum Circumscribed Circle (MCC) method. Results showed that the MCR is more efficient and more accurate than the MCC to estimate multiaxial fatigue strength. A new definition of critical plane is presented as the classic one proved to be an ill posed problem and does not take in account the influence of the maximum normal stress on the critical plane localization. It was applied genetic algorithms, an optimization method, to reduce the computational cost associated with the material search process. The use of genetic algorithms turns feasible the use of multiaxial fatigue criteria based on critical plane approaches in the engineering framework, where real components are usually modeled by means of Finite Element Methods (FEM).

Neste trabalho são investigadas soluções eficientes para o problema de determinar se uma nuvem de pontos está contida (ou, alternativamente, invade) a digitalização tridimensional da superfície de um sólido não necessariamente convexo. Estratégias baseadas no Teorema da Curva de Jordan, generalizadas para o caso tridimensional, bem como estratégias baseadas no estudo de volumes com sinal de tetraedros, foram testadas e comparadas segundo sua eficácia e eficiência computacional. Os experimentos computacionais foram feitos com digitalizações de pedras brutas disponibilizadas pelo Centro Tecnológico de Pedras de Soledade, RS. Este trabalho estabelece importante contribuição para a solução de relevante e mais complexo problema em Geometria Computacional: determinar se há inclusão (ou, alternativamente, invasão) espacial entre dois sólidos com superfícies digitalizadas, e que consequentemente tem variadas aplicações. / This work investigates e cient solutions to the problem of determining whether or not a cloud of points is contained (or alternatively, invades) the spatial digitization of the surface of a not-necessarily convex solid. Strategies based on the well-known Jordan Curve Theorem, once generalized to the 3D case, as well as those based on the analysis of signed volumes of tetrahedra, were tested and compared according to their robustness and e ciency. The numerical experiments used digitization of raw stones made available by the the Technological Center of Stones, Gems and Jewelry of the city of Soledade, in this state. The present work makes an important contribution to the solution to a relevant further complex problem in Computational Geometry: to determine whether or not there is spatial inclusion (or, alternatively, invasion) between two solids with digitized surfaces, which have several further applications.

Um dos problemas para a realização de produções descentralizadas está nos equipamentos necessários para as plantas. Grandes sistemas necessitam um investimento muito alto além de pessoal especializado para operá-los. Com a finalidade de facilitar o uso de sistemas de pequeno porte, os algoritmos devem ser modificados para possibilitar a operação dos mesmos com poder de processamento limitado. Outro fator é a transmissão de dados, como ha possibilidade de sistemas em locais afastados, a compressão dos dados se torna muito importante. O objetivo deste trabalho é o de desenvolver um sistema integrado de compressão e auditoria para a utilização em uma placa processadora de baixo custo. O algoritmo tem base no Swinging Door Trending, o qual gera os parâmetros para a auditoria. Para teste de desempenho foi utilizado um Computador PC e o algoritmo em uma placa Raspberry Pi. A avaliação foi feita com dados históricos de planta e simulados, contando com compactação, auditoria, estabilidade do algoritmo e outliers. Os dados históricos compreendem diversos tipos de sensores com diversas dinâmicas. / One of the problems to the realization of decentralized productions lies on the required plant equipment. Large systems need a very high investment beyond having specialized personnel to operate them. With the aim of facilitating usage on small scale systems, the algorithms must be modified to enable the operations of them on limited processing power. Another important issue is data transfer, since there is the possibility of systems on remote locations, data compression becomes very important. The objective of this work is the development of a joint compression and audition to usage on a low cost processor board. The algorithm is based on the Swinging Door Trending, which generates the parameters to the audition. To the performance test a PC Computer was used and the algorithm was implemented in a Raspberry Pi board. The evaluation was made with historical and simulated plant data, comprising compression, auditing, and outliers. The historical data comprises diverse sensor types and multiple dynamics.

O projeto de sistemas intrachip (SoCs) é uma atividade de alto grau de complexidade, dados a dimensão de SoCs, na ordem do bilhão de transistores, os requisitos de tempo de desenvolvimento e de consumo de energia, entre outros fatores. A forma de dominar a complexidade de projeto de SoCs inclui dividir a funcionalidade do sistema em módulos de menor complexidade, denominados de núcleos de propriedade intelectual (núcleos IP), interligados por uma infra-estrutura de comunicação. Enquanto núcleos IP podem ser reusados de outros projetos ou adquiridos de terceiros, a infra-estrutura de comunicação deve sempre ser desenvolvida de forma personalizada para cada SoC. O presente trabalho volta-se para o projeto de infraestruturas de comunicação eficientes. Questões importantes neste contexto são a eficiência da comunicação, refletida e.g. em medidas de vazão e latência, a redução de área de silício para implementar a comunicação, e a redução da energia consumida na comunicação. Estas questões dependem da escolha da infra-estrutura de comunicação. Barramentos são as infra-estruturas mais usadas nas comunicações intrachip, mas têm sido consideradas como pouco adequadas para servir a necessidade de comunicação de SoCs futuros. Redes intrachip vêm emergindo como um possível melhor candidato. Nesta infra-estrutura de comunicação, um problema a ser resolvido é o posicionamento relativo de núcleos IP dentro da rede, visando otimizar desempenho e reduzir o consumo de energia, no que se denomina aqui problema de mapeamento. Dada a complexidade deste problema, considera-se fundamental dispor de modelos para capturar as características da infra-estrutura de comunicação, bem como da aplicação que a emprega A principal contribuição deste trabalho é propor e avaliar um conjunto de modelos de computação voltados para a solução do problema de mapeamento de núcleos de propriedade intelectual sobre uma infra-estrutura de comunicação. Três modelos são propostos (CDM, CDCM e ECWM) e comparados, entre si e com três outros disponíveis na literatura (CWM, CTM e ACPM). Embora os modelos sejam genéricos, os estudos de caso restringem-se aqui a infra-estruturas de comunicação do tipo rede intrachip. Dada a diversidade de modelos de mapeamento, propõe-se uma segunda contribuição, o metamodelo Quantidade, Ordem, Dependência (QOD), que relaciona modelos de mapeamento usando os critérios expressos na denominação QOD. Considerando o alto grau de abstração dos modelos empregados, julga-se necessário prover uma conexão com níveis inferiores da hierarquia de projeto. Neste sentido, uma terceira contribuição original do presente trabalho é a proposta de modelos de consumo de energia e tempo de comunicação para redes intrachip. Visando demonstrar a validade de todos os modelos propostos, foram desenvolvidos métodos de uso destes na solução do problema de mapeamento, o que constitui uma quarta contribuição. Estes métodos incluem algoritmos de mapeamento, estimativas de tempo de execução, consumo de energia e caminhos críticos em infra-estruturas de comunicação. Como quinta contribuição, propõe-se o framework CAFES, que integra os métodos desenvolvidos e os modelos de mapeamento em algoritmos computacionais. Uma última contribuição do presente trabalho é um método habilitando a estimativa de consumo de energia para infra-estruturas de comunicação e sua implementação como uma ferramenta computacional.

Orientador: Michel Daoud Yacoub / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-21T07:51:38Z (GMT). No. of bitstreams: 1 Shinoda_AiltonAkira_D.pdf: 6768804 bytes, checksum: 470e8e2c0cc2ef38398eda074f2083f2 (MD5) Previous issue date: 1996 / Resumo: Técnicas Locais de Alocação - TLA -, caracterizadas por algoritmos que manipulam o tráfego com acesso a mais de uma estação rádio base -, e Técnicas Globais de Alocação - TGA -, compreendendo as várias formas de alocação dinâmica de canais, são investigadas em sistemas de comunicação sem fio. Propõem-se um procedimento de rearranjo de canais aplicado às TLA e um outro às TGA. Propõe-se, também, a combinação das TLA e TGA em uma técnica comum. Propõem-se, ainda, cinco algoritmos de alocação pertencendo' ao grupo TGA. Os sistemas celulares sob investigação incluem: 1) Sistema Infinito Balanceado; 2) Sistema Infinito Desbalanceado; e 3) Sistema Real. Dada a intratabilidade analítica do problema, a análise de desempenho destas propostas é feita através de simulação de Monte Carlo. O procedimento de rearranjo aplicado às TLA usa as mesmas regras de decisão da própria técnica e o aumento da performance devido ao rearranjo é substancial. As técnicas combinadas apresentam um desempenho notável, muito superior àquele obtido pelas técnicas individualmente. Ao contrário das TGA conhecidas, que, relativamente à Silocação fixa de canais, desempenham melhor para baixo tráfego e pior para alto tráfego, as técnicas globais de alocação propostas neste trabalho procuram otimizar a eficiência espectral obtendo-se, assim, um notável desempenho em qualquer situação. De fato, estas técnicas adotam procedimentos de auto-organização migrando convenientemente da alocação totalmente dinâmica para a completamente fixa e vice-versa de acordo com o perfil de tráfego. Os ganhos são obtidos às custas de outros fatores que incluem o aumento do nível de interferência, quando se usam as TLA, ou então da complexidade do algoritmo, quando se usam as TGA / Abstract: Not informed. / Doutorado / Doutor em Engenharia Elétrica

Orientador: Carlos A. de Moura e Jose Vitorio Zago / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-21T16:05:45Z (GMT). No. of bitstreams: 1 Amendola_Mariangela_D.pdf: 3030178 bytes, checksum: ea089e9f15fb8528b32dfff59d687628 (MD5) Previous issue date: 1996 / Resumo: O objetivo desta pesquisa é construir algoritmos seqüenciais e paralelos, adequados para a simulação numérica de problemas de fronteira livre que são modelados por inequações variacionais, o que fazemos focalizando o problema da cavitação na lubrificação hidrodinâmica de mancais. Este problema é modelado para a pressão do fluido lubrificante pela equação de Reynolds sob hipóteses simplificadoras apropriadas, com condições de fronteira essenciais nulas e em um domínio periódico. Faz parte do problema determinar onde esta equação é satisfeita e, para tanto devem ser impostas condições complementares na interface desta região. A formulação variacional do problema é atrativa porque além de transformar as condições complementares em naturais, garante resultados teóricos de existência e unicidade da solução, e fornece tal região automaticamente. O trabalho descreve argumentos para a seleção de algoritmos, desde o ponto de vista da descrição física do problema, até o da seleção do computador usado. O algoritmo construído é composto basicamente por dois processos iterativos: um externo associado ao método da penalização, necessário para transformar a inequação em equação variacional, e um interno associado ao método dos gradientes conjugados com precondicionador para resolver o sistema gerado pelo método dos elementos finitos. Este último é que foi implementado segundo a estratégia elemento por elemento que é facilmente paralelizada. A versão seqüencial do programa computacional deste algoritmo foi usada para analisar a influência dos parâmetros físicos do problema, como a rotação, a razão de excentricidade e a razão comprimento por diâmetro. Os testes foram realizados em um microcomputador. . A performance da versão paralela do mesmo programa foi testada através do seu uso exclusivo em uma rede heterogênea de cinco processadores com o pacote P.V.M. instalado, disponível no CENAPAD/SP. / Abstract: This research seeks to build sequential and parallel algorithms for the numerical simulation of free boundary problems that are modelled by variational inequalities. That was done with the focus on the cavitational problem for journal bearings. This problems is modelled for the pression of the lubricating fluid under the Reynolds equation with simplified hypothesis, with null essential boundary conditions and over a periodic domain. It is part of the problem to find where this equation is satisfied and in order to do this, another condition should be imposed on the interface of this region. The variational formulation of the problem is attractive because besides transforming this essential condition on natural condition, it assures existency and unicity of the solution and gives that region automatically. The work describes arguments for the selection of the algorithm, beginning by the physical descrition of the problem and goes as far as the selection of the computer used. The chosen algorithm is basically composed by two iteratives parts: the first associated to pena1ty method, necessary to transform the inequality into equality variational, and the second associated to the conjugated gradient method to solve the linear system generated by the use of the finite element method. This second part was implemented' by element-by-element strategy which is easily parallelized. The sequential version of the program was implemented for a microcomputer in order to analyse the influence of the physical parameters like the rotation, the ratio of excentricity and the ratio length by widht. The parallel version performance was tested by exclusive use in heterogeneous network of five processors with the P.V.M. at CENAPAD/SP. / Doutorado / Doutor em Matemática Aplicada

Orientador: Alvaro Rodolfo De Pierro / Dissertação (mestrado) - Universidade Estadual de Campinas, Isntituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-07-22T01:05:06Z (GMT). No. of bitstreams: 1 Yamagishi_MichelEduardoBeleza_M.pdf: 2460448 bytes, checksum: e34f1971556aadb635b3c80ed6fb9b7b (MD5) Previous issue date: 1997 / Resumo: Não informado. / Abstract: Not informed. / Mestrado / Mestre em Matemática Aplicada

Orientador: João Meidanis / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-23T12:35:59Z (GMT). No. of bitstreams: 1 Telles_GuilhermePimentel_M.pdf: 2865242 bytes, checksum: 54f791de77bb496c8eebad6c170fdc93 (MD5) Previous issue date: 1997 / Resumo: Neste trabalho formalizamos as Árvores PQR de Meidanis e Munuera e seu relacionamento com a propriedade dos uns consecutivos e com as Árvores PQ de Booth e Lueker. Mostramos que uma árvore PQR construída para uma coleção C de subconjuntos de um universo U é capaz de armazenar todas as permutações de U que verificam a propriedade dos uns consecutivos. Apresentamos dois algoritmos para construir as árvores PQR, um recursivo e outro não recursivo, e alguns problemas relativos à propriedade e às coleções de conjuntos que podem ser resolvidos através destas árvores. Analisamos, ainda, um conjunto de aplicações das Árvores PQ e consideramos a possibilidade de empregar as árvores PQR / Abstract: In the present work we formalize Meidanis and Munuera's PQR trees and their relationship with the Consecutive Ones Property and with Booth and Lueker's PQ trees. We show that a PQR tree built for a colIection C of subsets of a ground set U is able to store alI permutations of U that verify the consecutive ones property. We introduce two algorithms that build the PQR trees, a recursive and a non recursive one, and some problems related to the consecutive ones property and to colIections of sets that can be solved using them. We analyze some applications of the PQ trees and inspect the useness of the PQR trees / Mestrado / Mestre em Ciência da Computação

Orientador: Rogerio Drummond Burnier Pessoa de Mello Filho / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-07-23T12:49:47Z (GMT). No. of bitstreams: 1 Oliveira_AredisSebastiaode_M.pdf: 3427641 bytes, checksum: 37bbd69debac907793af9a3c65ed42a3 (MD5) Previous issue date: 1997 / Resumo: Este trabalho apresenta o projeto e a implementação de um Make Distribuído (MakeD) baseado na conhecida ferramenta make. A aplicação cliente/selVidor MakeD permite usar uma rede de computadores como um re~urso computacional único para minimizar o tempo gasto no processo de make durante o desenvolvimento de projetos de médio e grande porte. Num ambiente de desenvolvimento típico uma estação cliente apresenta um padrão de uso de CPU com curtos períodos de intensa utilização e longos períodos de inatividade ou baixa utilização. Dessa forma, utilizar os clientes como servidores de CPU e usar a ferramenta MakeD para distribuir as tarefas de compilações entre eles melhora o uso da capacidade de processamento disponível na rede, contribuindo para balancear a utilização dos recursos. A implementação do MakeD combina o mecanismo de RPC com recursos de multithreading para explorar a distribuição de tarefas na rede e a multi-tarefa em cada sistema. Os resultados de testes comparativos entre MakeD, GNU Make e outro make distribuído (Dmake) demonstram a eficiência dos métodos empregados. O trabalho também discute alguns aspectos de transformação de aplicações centralizadas em distribuídas e propõe um selVidor de make distribuído multi-usuário como extensão para o MakeD / Abstract: This work presents the design and implementation of a Distributed Make (MakeD) utility. The MakeD c1ient/server application allows using a network as a single computing resource to reduce compilation time in the development of medium and large projects. In a typical development environment, client workstations presents relatively short periods of high CPU load followed by long periods of low or zero utilization. MakeD uses ordinary c1ients as CPU servers in order to distribute tasks, thus making a network's id1e processor capacity available and balancing resource use. MakeD uses RPC and multithreading to achieve distributed processing in the network and multitasking within each node. The results of comparative tests show performance gains relative to GNU Make and a similar distributed make (Dmake). This work also discusses some aspects of transforming centralized applications into distributed ones and proposes a multi-user distributed Make Server as a future evolution / Mestrado / Mestre em Ciência da Computação

Orientador: João Meidanis / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-27T09:25:12Z (GMT). No. of bitstreams: 1 Braga_MariliaDiasVieira_M.pdf: 1562326 bytes, checksum: e2bde728b7016815f56abc118722d3d4 (MD5) Previous issue date: 2000 / Resumo: Este trabalho está relacionado à Biologia Computacional, uma área da Ciência da Computação cuja existência é motivada pela busca de métodos computacionais que resolvam ou ajudem a resolver problemas de origem biológica. Esta ciência tem sido largamente utilizada no âmbito da genética, contribuindo essencialmente no seqüenciamento de cadeias de DNA e no mapeamento de genomas [11]. O foco do nosso projeto foi uma família de problemas denominada Minimum Contig Problems (MCP) [4], que é um modelo teórico para a abordagem da Montagem de Fragmentos de DNA [11] e que possui uma grande semelhança com um problema de grafos denominado Cobertura de Vértices por Caminhos (CVC) [4]. O principal resultado da nossa pesquisa foi a apresentação de provas formais da NP-dificuldade dos problemas de MCP. A partir daí, complementamos o nosso trabalho propondo um algoritmo de aproximação para instâncias restritas de cada problema de MCP. / Abstract: Not informed. / Mestrado / Mestre em Ciência da Computação