L'utilisation massive des plateformes multi-cœurs et multi-processeurs a pour effet de favoriser la programmation parallèle à mémoire partagée. Néanmoins, exploiter efficacement et de manière correcte le parallélisme sur ces plateformes reste un problème de recherche ouvert. De plus, leur modèle d'exécution sous-jacent, et notamment les modèles de mémoire "relâchés", posent de nouveaux défis pour les outils d'analyse statiques et dynamiques. Dans cette thèse nous abordons deux aspects importants dans le cadre de la programmation sur plateformes multi-cœurs et multi-processeurs: l'optimisation de sections critiques implémentées selon l'approche pessimiste, et l'analyse dynamique de flots d'informations. Les sections critiques définissent un ensemble d'accès mémoire qui doivent être exécutées de façon atomique. Leur implémentation pessimiste repose sur l'acquisition et le relâchement de mécanismes de synchronisation, tels que les verrous, en début et en fin de sections critiques. Nous présentons un algorithme générique pour l'acquisition/relâchement des mécanismes de synchronisation, et nous définissons sur cet algorithme un ensemble de politiques particulier ayant pour objectif d'augmenter le parallélisme en réduisant le temps de possession des verrous par les différentes threads. Nous montrons alors la correction de ces politiques (respect de l'atomicité et absence de blocages), et nous validons expérimentalement leur intérêt. Le deuxième point abordé est l'analyse dynamique de flot d'information pour des exécutions parallèles. Dans ce type d'analyse, l'enjeu est de définir précisément l'ordre dans lequel les accès à des mémoires partagées peuvent avoir lieu à l'exécution. La plupart des travaux existant sur ce thème se basent sur une exécution sérialisée du programme cible. Ceci permet d'obtenir une sérialisation explicite des accès mémoire mais entraîne un surcoût en temps d'exécution et ignore l'effet des modèles mémoire relâchées. A contrario, la technique que nous proposons permet de prédire l'ensemble des sérialisations possibles vis-a-vis de ce modèle mémoire à partir d'une seule exécution parallèle ("runtime prediction"). Nous avons développé cette approche dans le cadre de l'analyse de teinte, qui est largement utilisée en détection de vulnérabilités. Pour améliorer la précision de cette analyse nous prenons également en compte la sémantique des primitives de synchronisation qui réduisent le nombre de sérialisations valides. Les travaux proposé ont été implémentés dans des outils prototype qui ont permit leur évaluation sur des exemples représentatifs. / The invasion of multi-core and multi-processor platforms on all aspects of computing makes shared memory parallel programming mainstream. Yet, the fundamental problems of exploiting parallelism efficiently and correctly have not been fully addressed. Moreover, the execution model of these platforms (notably the relaxed memory models they implement) introduces new challenges to static and dynamic program analysis. In this work we address 1) the optimization of pessimistic implementations of critical sections and 2) the dynamic information flow analysis for parallel executions of multi-threaded programs. Critical sections are excerpts of code that must appear as executed atomically. Their pessimistic implementation reposes on synchronization mechanisms, such as mutexes, and consists into obtaining and releasing them at the beginning and end of the critical section respectively. We present a general algorithm for the acquisition/release of synchronization mechanisms and define on top of it several policies aiming to reduce contention by minimizing the possession time of synchronization mechanisms. We demonstrate the correctness of these policies (i.e. they preserve atomicity and guarantee deadlock freedom) and evaluate them experimentally. The second issue tackled is dynamic information flow analysis of parallel executions. Precisely tracking information flow of a parallel execution is infeasible due to non-deterministic accesses to shared memory. Most existing solutions that address this problem enforce a serial execution of the target application. This allows to obtain an explicit serialization of memory accesses but incurs both an execution-time overhead and eliminates the effects of relaxed memory models. In contrast, the technique we propose allows to predict the plausible serializations of a parallel execution with respect to the memory model. We applied this approach in the context of taint analysis , a dynamic information flow analysis widely used in vulnerability detection. To improve precision of taint analysis we further take into account the semantics of synchronization mechanisms such as mutexes, which restricts the predicted serializations accordingly. The solutions proposed have been implemented in proof of concept tools which allowed their evaluation on some hand-crafted examples.

Les Installations de Stockage de Déchets actuelles sont munies de barrieres de confinement composites géosynthétiques et minerales. En couverture, les interfaces entre composants de ces systèmes installés sur forte pente peuvent constituer des surfaces de glissement préférentiel. L'étude de ces interfaces est donc cruciale pour l'évaluation de la stabilité des barrières de ces installations. Le comportement de ces interfaces, en particuliers des interfaces géosynthétique - géosynthétique se révèle complexe: il va dépendre de la nature des polymères, de l'endommagement , de la vitesse de glissement relatif, de la température. Les conditions de chargement sont aussi primordiales, statiques ou dynamiques (cas de seisme). L'originalité du travail effectué dans le cadre de la présente étude tient d'abord aux dispositifs expérimentaux utilisés en parallèle, un Plan incliné et une Table Vibrante, les deux permettant de simuler les conditions réelles sur site, sous faible contrainte normale, en conditions d'une part statiques, d'autre part dynamiques. Des procédures d'essai nouvelles ont permis une interprétation fine des résultats d'essais. En particulier la variation du frottement en fonction de la cinétique d'essai est clairement démontrée, et le couplage des résultats obtenus dans les deux configurations d'essai permet de montrer que leur interprétation est complexe et ne peut se limiter à celle proposée par la norme européenne. En particulier, le niveau du déplacement relatif et la vitesse de déplacement influent significativement sur les résultats. Une étude spécifique de l'endommagement est aussi présentée. / Modern landfills are equipped with multi-layered liners, including geosynthetic-geosynthetic and soil-geosynthetic interfaces. The interfaces represent weakness surfaces where the shear strength is a crucial aspect for the landfill stability. The behaviour of each interface can be different depending on the interactions of the materials in contact under the different load conditions (i.e. static and seismic loading). Nevertheless, the assessment of the geosynthetic interface shear strength can be difficult depending on different factors such as mechanical damage, time-dependent processes (ageing), stress dependent processes (such as repeated loading), coupled effects of both time and stress-strain dependent processes (creep or relaxation). In the present work, the static and the dynamic behaviour of typical geosynthetic - geosynthetic interfaces is investigated by means of the Inclined Plane and the Shaking Table tests since both devices permit to simulate experimental conditions close to them expected in landfill cover systems (low normal stress, small and large deformations). Two new test procedures are proposed and applied in order to assess the interface friction at both devices during all the phases of the tests. Taking advantage of the complementarity of both facilities, an innovative interpretation of test results considering the evolution of the shear strength parameters, passing from the static to the dynamic loading conditions, from small to large displacements is carried out. Furthermore, the dependence of the interface friction on different parameters such as the kinematic conditions, the normal stress and the mechanical damage is also investigated. In light of test results, it has been demonstrated that the variation of the interface friction could be significant, depending on the loading conditions (static or dynamic), on the actual kinematic conditions and on the level of deformation at which the interface is subjected.

Orientador: Renato Sussumu Nishioka / Banca: Renato Sussumu Nishioka / Banca: José Claudio Martins Segalla / Banca: Eduardo Shigueyuki Uemura / Resumo: O objetivo desse estudo foi avaliar a aplicação de carga e distribuição das microdeformações ao redor de implantes com conexão protética cone morse. Três implantes foram inseridos num bloco de poliuretano e pilares microunit foram instalados nos implantes com torque de 20 Ncm. Três coifas usinadas foram adaptadas nos pilares para configurar a supraestrutura protética (n=5) e comparar com as supra-estruturas obtidas com coifas plásticas. Quatro extensômetros foram colados na superfície superior do bloco. Uma carga vertical estática de 30 Kg foi aplicada em cinco pontos das supra-estruturas. Os registros obtidos dos extensômetros foram submetidos ao teste estatístico ANOVA e Tukey (α=5%). As medidas derivadas dessa simulação revelaram que durante a aplicação de carga: (1) existiu uma relação direta do local de aplicação e na distribuição da microdeformação ao redor dos implantes; (2) não existiu diferença na microdeformação entre coifas plásticas e usinadas. / Abstract: The aim of this study was to evaluate the load transfer and strain distribution by an implant-supported fixed partial prosthesis. Three implants Morse Taper were inserted in a polyurethane block and abutments microunit were installed on the implants with a torque of 20 Ncm. Plastic cylinders and prefabricated cylinders were adapted on abutments to fabricate the framework (n=5). Four strain gauges were attached on the superior surface of the block and then each framework was tight on the abutments with a torque of 10 Ncm and vertical load of 30Kg was applied to five points on the framework. The data obtained in the strain gauge analysis were submitted to the statistical tests ANOVA and Tukey (α=5%). The measurements derived from this simulation revealed that: (1) there was a direct proportion between the strain distribution in the metal framework and stresses created in the supporting structure around the implants; (2) there was not a strain difference between plastic and prefabricated cylinders during the load transfer / Mestre

O presente trabalho é uma proposta de leitura e investigação do teatro estático O Marinheiro, de Fernando Pessoa, cuja ideia é estabelecer uma reflexão acerca dos problemas intrínsecos a este teatro que recusa a ação em prol do falar errante das Veladoras. A proposta deste estudo é perceber de que modo a fala cumpre, no teatro estático, a tarefa de aperfeiçoamento da linguagem dramática a partir do pensamento do inexequível trazido pela concepção pessoana de sonho. Sob tal perspectiva, esta escrita abordará questões como a concentração da ação o mais possível na fala das Veladoras; o sonho como potência artística criadora na modernidade; e a linguagem como assombro e dúvida, cuja ironia latente se revela nas concepções de fala e sonho dentro da economia de O Marinheiro / This work presents the reading and investigation of the static theater O Marinheiro, by Fernando Pessoa, in which the idea is to establish a reflection of the problems that are intrinsic to this theater, which refuses the action towards the Veladoras wandering speech. The present study intends to perceive the ways through which speech achieves, in static theater, the task of improvement of the dramatic language through the thought of the unattainable brought by the Pessoan conception of dream. Under this perspective, this work will approach questions such as the concentration of the action the most possible on the Veladoras speech; the dream as artistic creative power in modernity; and the language as stupefaction and doubt, whose latent irony is revealed in the conceptions of speech and dream in O Marinheiros economy

O evento de previsões do comportamento carga-recalque de uma estaca executada em solo predominantemente arenoso foi apresentado no 8° Seminário de Engenharia de Fundações Especiais e Geotecnia (SEFE8). As previsões utilizaram sondagens CPT, DMT e SPT realizadas no campo experimental de Araquari, em Santa Catarina. A estaca utilizada para o evento foi do tipo escavada com polímero, diâmetro de 100cm e comprimento de 24m. Foram recebidos pelo comitê organizador 73 previsões provenientes de 20 países, com estimativas do comportamento carga-recalque da estaca, da capacidade de carga total, lateral e de ponta e a distribuição de carga ao longo do fuste até a ruptura, definida pelo recalque de 100 mm (w/D = 10%), com um resumo dos métodos e considerações. Os dados das previsões foram comparados aos resultados obtidos em campo pela prova de carga estática da estaca instrumentada. As previsões foram majoritariamente conservadoras e o ensaio mais utilizado para determinação dos parâmetros do solo foi o CPT, tanto no meio acadêmico quanto no prático Diversos métodos foram utilizados, porém mesmo previsões que utilizaram o mesmo método apresentaram variabilidades nos resultados. Baixos valores de desvio na capacidade de carga total não significaram pequenos desvios de lateral e de ponta, mas uma combinação de desvios positivos e negativos desses. A maioria das estimativas subestimou a capacidade lateral e superestimou a de ponta. O método de Verbrugge (1981) foi utilizado em duas das cinco previsões com menores desvios de capacidade total. As curvas carga-recalque e carga-profundidade foram avaliadas quanto aos desvios médios absolutos e formatos, dados pela variância. As curvas carga-recalque com médias de até 10% utilizaram Elementos Finitos e o software UniPile, e o menor valor de variância utilizou Verbrugge (1981). As curvas carga-profundidade com médias de até 10% utilizaram Verbrugge (1981), Randolph e Wroth (1978) e Gwizdala e Steczniewski (2003), e o menor valor de variância utilizou o software UniPile. / The prediction event of load-settlement behavior of a pile built in predominantly sandy soil was presented at the 8th Foundation Engineering Seminar and Special Geotechnical (SEFE8). The predictions used tests of CPT, DMT and SPT accomplished in Araquari experimental field, in Santa Catarina. A bored pile with polymer, diameter of 100cm and length of 24m was the subject of the event. The organizing committee received 73 predictions from 20 countries, with estimates of load-settlement behavior of the pile, the total, shaft and base load capacity and the load distribution along the shaft until failure, defined by settlement of 100 mm (W/D = 10%), with a brief description of methods and considerations. Data from the predictions were compared to the results obtained in the field by static load test of the instrumented pile. The predictions were mostly conservative and the test most used for soil parameters prediction was the CPT, both in academia as in practice. Several methods were used, but even predictions that used the same method showed variability in the results Low error values in the total load capacity not meant small shaft and base errors, but a combination of positive and negative errors of these. Most estimates underestimated the shaft capacity and overestimated the base. The Verbrugge (1981) method was used in two of five predictions with lower errors of total capacity. The curves were analyzed for absolute average deviation and formats, evaluated by the variance. The load-settlement distribution with average up to 10% used Finite Element and UniPile software, and the lowest value of variance used Verbrugge (1981). The load-depth distribution with average up to 10% used Verbrugge (1981), Randolph and Wroth (1978) and Gwizdala and Steczniewski (2003), and the lowest value of variance used the UniPile software.

Recentemente foi desenvolvido na Universidade Federal do Rio Grande do Sul um método racional para previsão de capacidade de carga em fundações profundas. Denominado de método UFRGS, este procedimento considera conceitos de energias envolvidos durante o ensaio SPT. No presente trabalho, realizou-se estudo da precisão das estimativas fornecidas pela aplicação do método com intuito de compreender, averiguar, ajustar e validar seu uso na prática de engenharia. Para tal, foi gerado um banco de dados de provas de carga estáticas instrumentadas com base na bibliografia nacional e internacional, sendo este constituído de 25 casos em estacas metálicas, 42 em escavadas, 12 do tipo hélice contínua e 10 em prémoldadas. Considerando a resistência mobilizada por atrito lateral, ponta, resistência total e curvas de mobilização, foram gerados gráficos expressando os resultados obtidos pelo método e os resultados medidos nas provas de carga. Adicionalmente, apresenta-se uma comparação com resultados fornecidos por métodos consagrados de previsão de comportamento em estacas: os métodos de Aoki-Velloso, Décourt & Quaresma e interpretação teórica. De maneira geral, o método UFRGS apresentou subestimativas e baixa dispersão para o atrito lateral e uma superestimativa acompanhada de maior dispersão para a ponta das estacas. Da análise dos resultados, verifica-se que o método captura os mecanismos de mobilização de resistência desenvolvidos nas estacas, e reproduz resultados globais compatíveis com os métodos empregados na prática de engenharia. Além disso, apresenta destacada potencialidade haja vista à facilidade de melhoria dos resultados, que através da calibração da energia transferida pelo ensaio SPT, possibilita aplicação e compartilhamento entre diferentes práticas internacionais. Por fim, no âmbito de projeto, destaca-se que dentre todos os métodos empregados, o método estudado forneceu menor dispersão de atrito lateral. Em projetos que envolvem cálculos de risco e probabilidade de ruína, chama-se atenção de que melhorias discretas nos valores de dispersões geram ganho significativo na diminuição dos riscos. / Recently, a rational method for predicting the pile bearing capacity was developed at Federal University of Rio Grande do Sul in Brazil: the so called method UFRGS which considers the concepts of soil dynamics and principles of energy conservation in the interpretation of SPT test results. The present work analyses the accuracy of predicted bearing capacity values with the aim of understanding, verifying, and validating its application in engineering practice. Thus a database of static and instrumented load tests was built from national and international case studies; the data is composed by 25 load tests executed on steel piles, 42 on drilled piles, 12 on continuous flight auger piles and 10 on precast piles. The mobilized contributions of skin friction, tip resistance, and load mobilization curves of each pile were evaluated and compared to actual predictions using the results from UFRGS method. Furthermore, a series of charts were prepared showing comparisons between results of the UFRGS method and those obtained from other predictive methods of pile bearing capacity adopted in the Brazilian engineering practice: Aoki-Velloso and Décourt & Quaresma, as well as a method based on theoretical interpretation of pile response. In general, the UFRGS method underestimated the results for skin friction while slightly overestimate tip resistance and the scatter of predictions is generally lower than other methods. From these analyses, it was possible to conclude that the method captures the mobilization mechanisms developed around piles, and gives predictions which are in the same range as those produced by other methods adopted in Brazil. The UFRGS method has marked potential for being used in design practice given the fact that predictions can be improved by calibrating the SPT energy, which would allow to refine the predictions according to different practices of used worldwide. Finally it is important to stress that the UFRGS method showed the littlest scatter for skin friction assessment which may provide to be significant in risk analysis type of approach.

Informação relacionada a concertos de bugs tem sido explorada na construção de preditores de bugs cuja função é o suporte para a verificação de sistemas de software identificando quais elementos, como arquivos, são mais propensos a bugs. Uma grande variedade de métricas estáticas de código e métricas de mudança já foi utilizada para construir tais preditores. Dos muitos preditores de bugs propostos, a grande maioria foca em sistemas orientados à objeto. Apesar de orientação a objetos ser o paradigma de escolha para a maioria das aplicações, o paradigma procedural ainda é usado em várias — muitas vezes cruciais — aplicações, como sistemas operacionais e sistemas embarcados. Portanto, eles também merecem atenção. Essa dissertação extende o trabalho na área de predição de bugs ao avaliar e aprimorar preditores de bugs para sistemas procedurais de software. Nós proporcionamos três principais contribuições: (i) comparação das abordagens existentes de predição de bugs no contexto de sistemas procedurais, (ii) proposta de uso dos atributos de qualidade de software como atributos de predição no contexto estudado e (iii) avaliação dos atributos propostos em conjunto com a melhor abordagem encontrada em (i). Nosso trabalho provê, portanto, fundamentos para melhorar a performance de preditores de bugs no contexto de sistemas procedurais. / Information regarding bug fixes has been explored to build bug predictors, which provide support for the verification of software systems, by identifying fault-prone elements, such as files. A wide range of static and change metrics have been used as features to build such predictors. Many bug predictors have been proposed, and their main target is objectoriented systems. Although object-orientation is currently the choice for most of the software applications, the procedural paradigm is still being used in many—sometimes crucial—applications, such as operating systems and embedded systems. Consequently, they also deserve attention. This dissertation extends work on bug prediction by evaluating and tailoring bug predictors to procedural software systems. We provide three key contributions: (i) comparison of bug prediction approaches in context of procedural software systems, (ii) proposal of the use of software quality features as prediction features in the studied context, and (iii) evaluation of the proposed features in association with the best approach found in (i). Our work thus provides foundations for improving the bug prediction performance in the context of procedural software systems.

A aplicação de modelos hidrológicos vem sendo bastante utilizada como apoio à tomada de decisão no planejamento dos recursos hídricos. Tendo em vista que os dados que servem de entrada para esses modelos estão sujeitos a erros diversos, o presente estudo teve o intuito de contribuir com o conhecimento do impacto desses erros no desempenho do modelo e na estimativa de seus parâmetros. O modelo analisado foi o IPH II fazendo uso do programa computacional WIN_IPH2. Entendendo que a avaliação da sensibilidade ainda é uma área que requer mais estudos, o presente trabalho é focado na utilização das análises de sensibilidade estática e dinâmica. Para isso foram geradas diversas séries temporais de dados de entradas do modelo hidrológico obtidas pela perturbação da série de dados observados. A perturbação foi representada por erros aleatórios (seguindo uma distribuição normal ou uniforme) ou sistemáticos incorporados ás séries temporais das variáveis: precipitação e evapotranspiração. Posteriormente, as análises de sensibilidade estática e dinâmica foram executadas. Para efetuar o acompanhamento da interferência dos erros, na eficiência do modelo, foi feita a avaliação dos resultados obtidos com a aplicação do modelo WIN_IPH2 para diferentes medidas de desempenho, e verificado o impacto dos erros nos dados de entrada no desempenho do modelo (sensibilidade estática) e no desempenho do modelo e na estimativa dos parâmetros (sensibilidade dinâmica). Na análise de sensibilidade estática verificou-se o decaimento mais acentuado da eficiência do modelo, em comparação com a análise de sensibilidade dinâmica, onde o modelo consegue contornar os erros nos dados de entrada com a alteração dos valores dos parâmetros. Por fim, o presente estudo confirmou as conclusões obtidas em estudos anteriores: Oudin et al. (2006), Andréassian et al. (2004), Kavetski et al. (2003). Além disso, o presente estudo apontou para outros fatores, na medida em que, observa-se junto à tendência do desempenho do modelo cair quando a intensidade do erro gerado é elevada, a importância de avaliar o possível comprometimento de dados em eventos extremos, uma vez que, nessa situação o desempenho do modelo passa a ser afetado de forma mais acentuada. / The hydrologic models had been used to support the decision making in water resources management. Since the input data of those models are subject to several kinds of errors, this study aimed to assess how this errors affect the model performance and the estimate of its parameters. The hydrologic model IPH II was used. Perceiving that the sensitivity analysis is still a field that requires further knowledge, this study was focused in the use of the dynamic and the static sensitivity procedures. In this sense, several time series of input data were obtained through the perturbations of an observed time serie. The perturbation was represented by the addition of random errors (with a normal or uniform distribution) or systematic errors to the observed time series of evapotranspiration and precipitation. Then, the static and dynamic sensibility analysis were performed. The effect of input data errors was assessed for several calibration processes of the IPH II using several performance measures. Thus, modification of the model performance (static sensitivity analysis) and model performance and parameter estimation (dynamic sensitivity analysis) were estimated. In the static sensitivity analysis it was found a most pronounced decay of the model efficiency in comparison with the dynamic sensitivity analysis, where the model can circumvent the errors in the input data with modification of the optimum parameter values. Finally, this study confirmed the conclusions of other previous studies as Oudin et al. (2006), Andréassian et al. (2004), Kavetski et al. (2003). In addition this study found other factors, as was observed that if the intensity of the error is high in an extreme event of precipitation, it reduced the model performance more than when it is low, in spite of the time series of errors have the same statistics.

Este trabalho introduz o conceito de cortes k e cortes kl sobre um circuito mapeado, em uma representação netlist. Esta nova abordagem é derivada do conceito de cortes k e cortes kl sobre AIGs (and inverter graphs), respeitando as diferenças entre essas duas formas de representar um circuito. As principais diferenças são: (1) o número de entradas em um nodo do grafo, e (2) a presença de inversores e buffers de forma explícita no circuito mapeado. Um algoritmo para enumerar cortes k e cortes kl é proposto e implementado. A principal motivação de usar cortes kl sobre circuitos mapeados é para realizar otimizações locais na síntese lógica de circuitos digitais. A principal contribuição deste trabalho é uma abordagem nova de remapeamento iterativo, utilizando cortes kl, reduzindo a área do circuito e respeitando as restrições de temporização do circuito. O uso de portas lógicas complexas pode potencialmente reduzir a área total de um circuito, mas elas precisam ser escolhidas corretamente de forma a manter as restrições de temporização do circuito. Ferramentas comerciais de síntese lógica trabalham melhor com portas lógicas simples e não são capazes de explorar eventuais vantagens em utilizar portas lógicas complexas. A abordagem proposta de remapeamento iterativo utilizando cortes kl é capaz de explorar uma quantidade maior de portas lógicas com funções lógicas diferentes, reduzindo a área do circuito, e mantendo as restrições de temporização intactas ao fazer uma checagem STA (análise temporal estática). Resultados experimentais mostram uma redução de até 38% de área na parte combinacional de circuitos para um subconjunto de benchmarks IWLS 2005, quando comparados aos resultados de ferramentas comerciais de síntese lógica. Outra contribuição deste trabalho é um novo modelo de rendimento (yield) para fabricação de circuitos integrados (IC) digitais, considerando problemas de resolução da etapa de litografia como uma fonte de diminuição do yield. O uso de leiautes regulares pode melhorar bastante a resolução da etapa de litografia, mas existe um aumento de área significativo ao se introduzir a regularidade. Esta é a primeira abordagem que considera o compromisso (trade off) de portas lógicas com diferentes níveis de regularidade e diferentes áreas durante a síntese lógica, de forma a melhorar o yield do projeto. A ferramenta desenvolvida de remapeamento tecnológico utilizando cortes kl foi modificada de forma a utilizar esse modelo de yield como função custo, de forma a aumentar o número de boas amostras (dies) por lâmina de silício (wafer), com resultados promissores. / This work introduces the concept of k-cuts and kl-cuts on top of a mapped circuit in a netlist representation. Such new approach is derived from the concept of k-cuts and klcuts on top of AIGs (and inverter graphs), respecting the differences between these two circuit representations. The main differences are: (1) the number of allowed inputs for a logic node, and (2) the presence of explicit inverters and buffers in the netlist. Algorithms for enumerating k-cuts and kl-cuts on top of a mapped circuit are proposed and implemented. The main motivation to use kl-cuts on top mapped circuits is to perform local optimization in digital circuit logic synthesis. The main contribution of this work is a novel iterative remapping approach using klcuts, reducing area while keeping the timing constraints attained. The use of complex gates can potentially reduce the circuit area, but they have to be chosen wisely to preserve timing constraints. Logic synthesis commercial design tools work better with simple cells and are not capable of taking full advantage of complex cells. The proposed iterative remapping approach can exploit a larger amount of logic gates, reducing circuit area, and respecting global timing constraints by performing an STA (static timing analysis) check. Experimental results show that this approach is able to reduce up to 38% in area of the combinational portion of circuits for a subset of IWLS 2005 benchmarks, when compared to results obtained from logic synthesis commercial tools. Another contribution of this work is a novel yield model for digital integrated circuits (IC) manufacturing, considering lithography printability problems as a source of yield loss. The use of regular layouts can improve the lithography, but it results in a significant area overhead by introducing regularity. This is the first approach that considers the tradeoff of cells with different level of regularity and different area overhead during the logic synthesis, in order to improve overall design yield. The technology remapping tool based on kl-cuts developed was modified in order to use such yield model as cost function, improving the number of good dies per wafer, with promising interesting results.

Efeitos de interferência aerodinâmica por vizinhança ocorrem inevitavelmente em edificações imersas em contexto urbano. Com base nas características da vizinhança que envolve o entorno de uma edificação, estes efeitos consequentemente podem reduzir ou majorar as ações do vento sobre a mesma. Tendo em vista a complexidade do problema em estimar o real ambiente em que um edifício estará situado e sua influência no comportamento do vento, torna-se muito difícil a codificação destes efeitos em documentos normativos, específicos para cada situação de projeto. No entanto, fatores de redução e majoração das ações do vento sobre as edificações podem ser determinados de acordo com as características da vizinhança presente no ambiente em que estão inseridas. Neste trabalho são analisados quatro modelos reduzidos de edifícios altos e suas vizinhanças adjacentes. Os modelos foram testados em túnel de vento, no Laboratório de Aerodinâmica das Construções da Universidade Federal do Rio Grande do Sul, sob duas configurações de ensaios, uma com a edificação isolada e outra com a edificação na presença da vizinhança na qual estará imerso. A partir dos resultados obtidos no túnel, foram calculados coeficientes de força para cada modelo, em relação a dois eixos ortogonais com origem próxima ao centro de torção da secção transversal correspondente ao pavimento tipo. Dos quatro casos estudados, todos apresentaram variações significativas dos coeficientes de força quando na presença de edificações vizinhas. Para estes edifícios, foram calculados fatores de vizinhança respectivos aos ângulos de vento mais influentes ao dimensionamento estrutural dos mesmos. A respeito das análises, notou-se que sob vizinhança densa, houve uma grande redução das ações do vento, enquanto que brechas entre as estruturas de interferência, traduziram em aumentos das ações do vento sobre as edificações estudadas. / Neighborhood interference effects due to nearby strucutres, inevitably occur on buildings immersed in urban context. Based on the characteristics of the neighborhood surrounding the vicinity of a building, these effects therefore can reduce or increase wind actions. Given the complexity of the problem in estimating the real environment where a building is located and its influence on wind behavior, it is extreme hard to encode these effects in regulation codes by specifying situations for each proposed project. However, reduction and increase factors on the wind actions over buildings can be determined according to the caracteristics of its neighborhood at the environment in which they locate. This paper analyzes four scale models of tall buildings and its surrounding structures. The models were tested in the wind tunnel at the Laboratório de Aerodinâmica das Construções of the Universidade Federal do Rio Grande do Sul, in two configurations tests, one with the building in isolated situation and the other with the building in the corresponding vicinity. The results obtained in the wind tunnel tests were used to determine strength coefficients for each model in relation to the both orthogonal axes with its origin near the torsional center of the transversal section correspondent to the standard floor of the buildings. For the four cases studied, all the test results showed significant variations at force coefficients in the presence of neighboring structures. For each case studied, interference factors were calculated due to sorrounding structures for the most influential wind angles for the structural design. Regarding the analysis it was noticed that under dense neighborhood, there was a large reduction of the wind loads, while gaps between interference structures resulted in increases of wind actions over the studied buildings.