Made available in DSpace on 2014-06-11T19:30:32Z (GMT). No. of bitstreams: 0 Previous issue date: 2009-10-09Bitstream added on 2014-06-13T18:40:52Z : No. of bitstreams: 1 boccardo_dr_dr_ilha.pdf: 1178776 bytes, checksum: cdd885f0beff962757e3b9de59ce0832 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Ofusca c~ao de c odigo tem por nalidade di cultar a detec c~ao de propriedades intr nsecas de um algoritmo atrav es de altera c~oes em sua sintaxe, entretanto preservando sua sem antica. Desenvolvedores de software usam ofusca c~ao de c odigo para defender seus programas contra ataques de propriedade intelectual e para aumentar a seguran ca do c odigo. Por outro lado, programadores maliciosos geralmente ofuscam seus c odigos para esconder comportamento malicioso e para evitar detec c~ao pelos anti-v rus. Nesta tese, e introduzido um m etodo para realizar an alise com sensitividade ao contexto em bin arios com ofuscamento de chamada e retorno de procedimento. Para obter sem antica equivalente, estes bin arios utilizam opera c~oes diretamente na pilha ao inv es de instru c~oes convencionais de chamada e retorno de procedimento. No estado da arte atual, a de ni c~ao de sensitividade ao contexto est a associada com opera c~oes de chamada e retorno de procedimento, assim, an alises interprocedurais cl assicas n~ao s~ao con aveis para analisar bin arios cujas opera c~oes n~ao podem ser determinadas. Uma nova de ni c~ao de sensitividade ao contexto e introduzida, baseada no estado da pilha em qualquer instru c~ao. Enquanto mudan cas em contextos a chamada de procedimento s~ao intrinsicamente relacionadas com transfer encia de controle, assim, podendo ser obtidas em termos de caminhos em um grafo de controle de uxo interprocedural, o mesmo n~ao e aplic avel para mudan cas em contextos a pilha. Um framework baseado em interpreta c~ao abstrata e desenvolvido para avaliar contexto baseado no estado da pilha e para derivar m etodos baseado em contextos a chamada de procedimento para uso com contextos baseado no estado da pilha. O metodo proposto n~ao requer o uso expl cito de instru c~oes de chamada e retorno de procedimento, por em depende do... / A code obfuscation intends to confuse a program in order to make it more di cult to understand while preserving its functionality. Programs may be obfuscated to protect intellectual property and to increase security of code. Programs may also be obfuscated to hide malicious behavior and to evade detection by anti-virus scanners. We introduce a method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations. These binaries may use direct stack operators instead of the native call and ret instructions to achieve equivalent behavior. Since de nition of context-sensitivity and algorithms for context-sensitive analysis has thus far been based on the speci c semantics associated to procedure call and return operations, classic interprocedural analyses cannot be used reliably for analyzing programs in which these operations cannot be discerned. A new notion of context-sensitivity is introduced that is based on the state of the stack at any instruction. While changes in calling-context are associated with transfer of control, and hence can be reasoned in terms of paths in an interprocedural control ow graph (ICFG), the same is not true for changes in stackcontext. An abstract interpretation based framework is developed to reason about stackcontext and to derive analogues of call-strings based methods for the context-sensitive analysis using stack-context. This analysis requires the knowledge of how the stack, rather the stack pointer, is represented and on the knowledge of operators that manipulate the stack pointer. The method presented is used to create a context-sensitive version of Venable et al.'s algorithm for detecting obfuscated calls. Experimental results show that the contextsensitive version of the algorithm generates more precise results and is also computationally more e cient than its context-insensitive counterpart.

Made available in DSpace on 2014-06-11T19:28:57Z (GMT). No. of bitstreams: 0 Previous issue date: 2009-02-03Bitstream added on 2014-06-13T18:58:12Z : No. of bitstreams: 1 abreu_cw_me_sjc.pdf: 508442 bytes, checksum: 720d525ea366cc2fd0575e67a37ba04e (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / 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. / 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

Biometrics is a unique physical or behavioral characteristic of a person. This unique attribute, such as fingerprints or gait, can be used for identification or verification purposes. Gait is an emerging biometrics with great potential. Gait recognition is based on recognizing a person by the manner in which they walk. Its potential lays in that it can be captured at a distance and does not require the cooperation of the subject. This advantage makes it a very attractive tool for forensic cases and applications, where it can assist in identifying a suspect when other evidence such as DNA, fingerprints, or a face were not attainable. Gait can be used for recognition in a direct manner when the two samples are shot from similar camera resolution, position, and conditions. Yet in some cases, the only sample available is of an incomplete gait cycle, low resolution, low frame rate, a partially visible subject, or a single static image. Most of these conditions have one thing in common: static measurements. A gait signature is usually formed from a number of dynamic and static features. Static features are physical measurements of height, length, or build; while dynamic features are representations of joint rotations or trajectories. The aim of this thesis is to study the potential of predicting dynamic features from static features. In this thesis, we have created a database that utilizes a 3D laser scanner for capturing accurate shape and volumes of a person, and a motion capture system to accurately record motion data. The first analysis focused on analyzing the correlation between twenty-one 2D static features and eight dynamic features. Eleven pairs of features were regarded as significant with the criterion of a P-value less than 0.05. Other features also showed a strong correlation that indicated the potential of their predictive power. The second analysis focused on 3D static and dynamic features. Through the correlation analysis, 1196 pairs of features were found to be significantly correlated. Based on these results, a linear regression analysis was used to predict a dynamic gait signature. The predictors chosen were based on two adaptive methods that were developed in this thesis: "the top-x" method and the "mixed method". The predictions were assessed for both for their accuracy and their classification potential that would be used for gait recognition. The top results produced a 59.21% mean matching percentile. This result will act as baseline for future research in predicting a dynamic gait signature from static features. The results of this thesis bare potential for applications in biomechanics, biometrics, forensics, and 3D animation.

This thesis investigates the short term and the long term cointegration relations between European and Chinese, European and Russian stock markets, with a goal to define international diversification benefits. Whereas Russia and China are considered as developing countries, Europe represents a developed market. The period of study is from 1997 to 2018, which considers the global 2007-2008 financial crisis as a shift in the equilibrium.The static cointegration long run findings demonstrate scope for diversification benefits for the all observing markets over the whole period. With regard to the sub periods (before and after the global financial crisis), the outcomes suggest increase in cointegration relations between Europe and China after the crisis, indicating a more diversified portfolio for investors before the crisis. European and Russian financial time series show no changing in cointegration linkages after the crisis, suggesting scope for diversification gains before and after the crisis in the long run.The dynamic cointegration results, however, demonstrate episodic cointegrating relations over the whole period for the all markets. These findings also clear illustrate growth in cointegration linkages during the first year of the crisis for all samples, suggesting a less diversified portfolio during this period (for the short horizon investors), and supporting the financial contagion effect in the short run.Looking at static and dynamic results, we recommend combining both methods in order to make a clear conclusion about benefits from international diversification.

Passive coherent location (PCL) radars employ illuminators of opportunity to detect and track targets. This silent operating mode provides many advantages such as low cost and interception immunity. Many radiation sources have been exploited as illumination sources such as broadcasting and telecommunication transmitters. The classical architecture of the bistatic PCL radars involves two receiving channels: a reference channel and a surveillance channel. The reference channel captures the direct-path signal from the transmitter, and the surveillancesignal collects the possible target echoes. The two major challenges for the PCL radars are the reference signal noise and the surveillance signal static clutter. A noisy reference signal degrades the detection probability by increasing the noise-floor level of the detection filter output. And the static clutter presence in the surveillance signal reduces the detector dynamic range and buries low magnitude echoes.In this thesis, we consider a PCL radar based on the digital video broadcasting-terrestrial (DVB-T) signals, and we propose a set of improved methods to deal with the reference signal noise and the static clutter in the surveillance signal. The DVB-T signals constitute an excellentcandidate as an illumination source for PCL radars; they are characterized by a wide bandwidth and a high radiated power. In addition, they provide the possibility of reconstructing the reference signal to enhance its quality, and they allow a straightforward static clutter suppressionin the frequency domain. This thesis proposes an optimum method for the reference signal reconstruction and an improved method for the static clutter suppression.The optimum reference signal reconstruction minimizes the mean square error between the reconstructed signal and the exact one. And the improved static clutter suppression method exploits the possibility of estimating the propagation channel. These two methods extend thefeasibility of a single receiver PCL radar, where the reference signal is extracted from the direct-path signal present in the surveillance signal. / Doctorat en Sciences de l'ingénieur et technologie / info:eu-repo/semantics/nonPublished

L'objectif de cette thèse est de caractériser le comportement confiné en cisaillement du béton sous chargement statique et dynamique. La méthode expérimentale reprend le concept de l'essai 'Punch Through Shear' qui consiste dans un premier temps à soumettre une éprouvette de béton à un chargement radial puis à appliquer au cours d'une deuxième étape un chargement axial qui permet de cisailler la partie centrale de l'échantillon.Deux méthodes ont été utilisées pour appliquer la contrainte de confinement à l'éprouvette avant de la soumettre à un chargement de cisaillement. La première méthode consiste à appliquer une pression hydrostatique via un fluide de confinement. Ces essais sont réalisés avec la presse Giga. La deuxième méthode consiste à utiliser une cellule métallique pré-déformée à l'aide d'une presse hydraulique. Durant le déchargement de la cellule, des contraintes de confinement sont transmises à l'éprouvette de béton. Cette cellule est instrumentée avec des jauges de déformation qui permettent de mesurer le niveau de confinement appliqué au béton.Les éprouvettes de béton confinées avec la cellule sont soumises à deux types de chargement : l'un statique avec une presse hydraulique normale et l'autre dynamique avec un système aux barres de Hopkinson. Cela permet d'étudier le comportement du béton en cisaillement confiné sur une large gamme de vitesse de déformation.Les résultats des campagnes d'essais montrent que la contrainte de cisaillement du béton augmente avec la pression de confinement. D'autre part, des échantillons saturés d'eau et d'autres séchés à l'étuve sont testés afin de vérifier l'influence de la teneur d'eau sur la résistance au cisaillement. Une résistance au cisaillement des échantillons de béton R30A7 sec supérieure à celle des échantillons saturés est observée sur la plage de déformation considérée. Une influence modeste de la vitesse de déformation en comparaison de ce qui est observé sous chargement en traction dynamique a été remarquée. De plus, un béton haute performance a été testé pour étudier l'influence de la composition du béton sur sa résistance au cisaillement. Il a été observé que la résistance au cisaillement du béton haute performance dépasse fortement celle du béton ordinaire. Les résultats obtenus sont comparés à ceux de la littérature, pour lesquelles des méthodes expérimentales différentes avaient été utilisées. / This PhD thesis focuses on studying the confined behavior of concrete under shear loading in static and dynamic conditions. An experimental method based on the Punch-Through Shear (PTS) test is used in order to investigate shear behavior in mode II conditions. The concept of this test is to first subject the specimen to a confining pressure and then an axial loading is applied to punch through the central portion of the core.In order to introduce confinement to the concrete sample prior to testing it under shear, two methods have been used. The first one is an active confinement applied by means of a high capacity triaxial press Giga. The second method consists in confining the sample with a pre-stressed metallic cell instrumented with hoop strain gages in order to evaluate the confinement acting in the ligament of the concrete sample.Samples confined with the pre-stressed cell are subjected to two types of loading; static and dynamic. The static tests are carried out by means of a normal hydraulic press while dynamic shear testing are performed using a modified Split Hopkinson Bar setup which allows to determine the shear response of concrete over a wide range of strain-rates.The results of test campaigns show that the shear strength of the concrete increases significantly with an increase of confining pressure. Furthermore, dry and saturated concrete samples have been tested in order to study the influence of saturation ratio on the shear behavior of concrete. The results show a higher shear strength with dry samples than in wet ones. Moreover, a small influence (compared to what was observed in dynamic tension) of the strain rate was observed. A high performance concrete was also studied to investigate the influence of concrete composition on its shear strength. It was observed that its shear strength strongly exceeds that of the ordinary concrete. The obtained results are compared with data from literature obtained with different experimental methods.

La disponibilité de gros volumes de données structurées selon le modèle Resource Description Framework (RDF) est en constante augmentation. Cette situation implique un intérêt scientifique et un besoin important de rechercher de nouvelles méthodes d’analyse et de compilation de requêtes pour tirer le meilleur parti de l’extraction de données RDF. SPARQL est le plus utilisé et le mieux supporté des langages de requêtes sur des données RDF. En parallèle des langages de requêtes, les langages de définition de schéma d’expression de contraintes sur des jeux de données RDF ont également évolués. Les Shape Expressions (ShEx) sont de plus en plus utilisées pour valider des données RDF et pour indiquer les motifs de graphes attendus. Les schémas sont importants pour les tâches d’analyse statique telles que l’optimisation ou l’injection de requêtes. Notre intention est d’examiner les moyens et méthodologies d’analyse statique et d’optimisation de requêtes associés à des contraintes de schéma.Notre contribution se divise en deux grandes parties. Dans la première, nous considérons le problème de l’injection de requêtes SPARQL en présence de contraintes ShEx. Nous proposons une procédure rigoureuse et complète pour le problème de l’injection de requêtes avec ShEx, en prenant en charge plusieurs fragments de SPARQL. Plus particulièrement, notre procédure gère les patterns de requêtes OPTIONAL, qui s’avèrent former un important fonctionnalité à étudier avec les schémas. Nous fournissons ensuite les limites de complexité de notre problème en considération des fragments gérés. Nous proposons également une méthode alternative pour l’injection de requêtes SPARQL avec ShEx. Celle-ci réduit le problème à une satisfiabilité de Logique de Premier Ordre, qui permet de considérer une extension du fragment SPARQL traité par la première méthode. Il s’agit de la première étude traitant l’injection de requêtes SPARQL en présence de contraintes ShEx.Dans la seconde partie de nos contributions, nous proposons une méthode d’analyse pour optimiser l’évaluation de requêtes SPARQL groupées, sur des graphes RDF, en tirant avantage des contraintes ShEx. Notre optimisation s’appuie sur le calcul et l’assignation de rangs aux triple patterns d’une requête, permettant de déterminer leur ordre d’exécution. La présence de jointures intermédiaires entre ces patterns est la raison pour laquelle l’ordonnancement est important pour gagner en efficicacité. Nous définissons un ensemble de schémas ShEx bien- formulés, qui possède d’intéressantes caractéristiques pour l’optimisation de requêtes SPARQL. Nous développons ensuite notre méthode d’optimisation par l’exploitation d’informations extraites d’un schéma ShEx. Enfin, nous rendons compte des résultats des évaluations effectuées, montrant les avantages de l’application de notre optimisation face à l’état de l’art des systèmes d’évaluation de requêtes. / Data structured in the Resource Description Framework (RDF) are increasingly available in large volumes. This leads to a major need and research interest in novel methods for query analysis and compilation for making the most of RDF data extraction. SPARQL is the widely used and well supported standard query language for RDF data. In parallel to query language evolutions, schema languages for expressing constraints on RDF datasets also evolve. Shape Expressions (ShEx) are increasingly used to validate RDF data, and to communicate expected graph patterns. Schemas in general are important for static analysis tasks such as query optimisation and containment. Our purpose is to investigate the means and methodologies for SPARQL query static analysis and optimisation in the presence of ShEx schema constraints.Our contribution is mainly divided into two parts. In the first part we consider the problem of SPARQL query containment in the presence of ShEx constraints. We propose a sound and complete procedure for the problem of containment with ShEx, considering several SPARQL fragments. Particularly our procedure considers OPTIONAL query patterns, that turns out to be an important feature to be studied with schemas. We provide complexity bounds for the containment problem with respect to the language fragments considered. We also propose alternative method for SPARQL query containment with ShEx by reduction into First Order Logic satisfiability, which allows for considering SPARQL fragment extension in comparison to the first method. This is the first work addressing SPARQL query containment in the presence of ShEx constraints.In the second part of our contribution we propose an analysis method to optimise the evaluation of conjunctive SPARQL queries, on RDF graphs, by taking advantage of ShEx constraints. The optimisation is based on computing and assigning ranks to query triple patterns, dictating their order of execution. The presence of intermediate joins between the query triple patterns is the reason why ordering is important in increasing efficiency. We define a set of well-formed ShEx schemas, that possess interesting characteristics for SPARQL query optimisation. We then develop our optimisation method by exploiting information extracted from a ShEx schema. We finally report on evaluation results performed showing the advantages of applying our optimisation on the top of an existing state-of-the-art query evaluation system.

A crescente evolução das tecnologias de fabricação de circuitos integrados demanda o desenvolvimento de novas ferramentas de CAD. O desenvolvimento tradicional de circuitos digitais a nível físico baseia-se em bibliotecas de células. Estas bibliotecas de células oferecem certa previsibilidade do comportamento elétrico do projeto devido à caracterização prévia das células. Além disto,diferentes versões para cada célula são requeridas de forma que características como atraso e consumo sejam atendidos, aumentando o número de células necessárias em uma bilioteca. A geração automática de leiautes é uma alternativa cada vez mais importante para a geracão baseada em células. Este método implementa transistores e conexões de acordo com padrões que são definidos em algoritmos sem as limitações impostas pelo uso de uma biblioteca de células. A previsibilidade em leiautes gerado automaticamente é oferecida por ferramentas de análise e estimativa. Estas ferramentas devem ser aptas a trabalhar com estimativas do leiaute e gerar informações relativas a atraso, potência e área. Este trabalho inclui a pesquisa de novos métodos de síntese física e a implementação de um gerador automático de leiautes cujas células são geradas no momento da síntese do leiaute. A pesquisa investiga diferentes estratégias de disposição dos componentes (transistores, contatos e conexões) em um leiaute e seus efeitos na ocupação de área e no atraso e de um circuito. A estratégia de leiaute utilizada aplica técnicas de otimização de atraso pela integração com uma técnicas de dimensionamento de transistores. Isto é feito de forma que o método de folding permita diferentes dimensionamentos para os transistores. As principais características da estratégia proposta neste trabalho são: linhas de alimentação entre bandas, roteamento sobre o leiaute (não são utilizados canais de roteamento) e geração de leiautes visando a redução do atraso do circuito pela aplicação da técnica de dimensionamento ao leiaute e redução do comprimento médio das conexões. O fato de permitir a implementação de qualquer combinação de equações lógicas, sem as restrições impostas pelo uso de uma biblioteca de células, permite a síntese de circuitos com uma otimização do número de transistores utilizados. Isto contribui para a diminuição de atrasos e do consumo, especialmente do consumo estático em circuitos submicrônicos. Comparações entre a estratégia proposta e outros métodos conhecidos são apresentadas de forma a validar a proposta apresentada. / The evolution of integrated circuits technologies demands the development of new CAD tools. The traditional development of digital circuits at physical level is based in library of cells. These libraries of cells offer certain predictability of the electrical behavior of the design due to the previous characterization of the cells. Besides, different versions of each cell are required in such a way that delay and power consumption characteristics are taken into account, increasing the number of cells in a library. The automatic full custom layout generation is an alternative each time more important to cell based generation approaches. This strategy implements transistors and connections according patterns defined by algorithms. So, it is possible to implement any logic function avoiding the limitations of the library of cells. Tools of analysis and estimate must offer the predictability in automatic full custom layouts. These tools must be able to work with layout estimates and to generate information related to delay, power consumption and area occupation. This work includes the research of new methods of physical synthesis and the implementation of an automatic layout generation in which the cells are generated at the moment of the layout synthesis. The research investigates different strategies of elements disposition (transistors, contacts and connections) in a layout and their effects in the area occupation and circuit delay. The presented layout strategy applies delay optimization by the integration with a gate sizing technique. This is performed in such a way the folding method allows individual discrete sizing to transistors. The main characteristics of the proposed strategy are: power supply lines between rows, over the layout routing (channel routing is not used), circuit routing performed before layout generation and layout generation targeting delay reduction by the application of the sizing technique. The possibility to implement any logic function, without restrictions imposed by a library of cells, allows the circuit synthesis with optimization in the number of the transistors. This reduction in the number of transistors decreases the delay and power consumption, mainly the static power consumption in submicrometer circuits. Comparisons between the proposed strategy and other well-known methods are presented in such a way the proposed method is validated.

A extração e processamento de minério resultam na geração de elevadas quantidades de resíduos, cuja disposição gera impacto e risco ambiental. O lançamento direto em reservatórios contidos por diques consiste na forma mais comum de disposição dos resíduos de mineração em superfície. Estes diques podem ser construídos por alteamentos sucessivos a montante (upstream), prática desaconselhada em alguns países. Apesar de se tratar de um processo de baixo custo, o tipo de aterro a montante é uma operação de risco, pois a montante as barragens são sensíveis à liquefação e também porque a estabilidade das barragens pode ser ameaçada pelo excesso de poro pressão gerado dentro do depósito durante a construção. Para atender às exigências de projetos de áreas de disposição de resíduos é, portanto, fundamental entender o comportamento destes materiais. Resíduos exibem considerável variabilidade em suas características físicas, químicas e mineralógicas, que conferem um comportamento distinto dos geomateriais usualmente encontrados em depósitos naturais. Entre os diferentes resíduos destacam-se ouro e bauxita cuja prática de exploração no Brasil é revestida de considerável interesse econômico e ambiental. Nesta tese estes materiais são analisados a partir de uma extensa campanha de investigação geotécnica baseada em um programa de ensaios de laboratório destinados à caracterização destes resíduos e à definição de parâmetros constitutivos. Para fins comparativos são realizados ensaios com um material siltoso, porém inerte. A condutividade hidraúlica e compressibilidade dos resíduos foram obtidas através de ensaios oedométricos executados com estágios de carga e gradientes hidráulicos constantes. Ensaios triaxiais foram realizados com altos níveis de tensões de confinamento e distintas trajetórias de tensões, para a definição da linha do estado crítico e a identificação do comportamento destes materiais através de ensaios com Bender Elements. A análise dos resultados obtidos permitiu comparações entre a linha de consolidação oedométrica (LCO), a linha de consolidação isotrópica (LCI) e a linha do estado crítico (LEC) que definiram a resposta de liquefação estática do material. No espaço e - log (p´) o aparecimento de um comportamento instável alterou significativamente a inclinação da LEC com relação a LCI e a LCO. A mesma mudança de inclinação é observada tanto no parâmetro de estado como no módulo cisalhante do solo quando plotados contra a tensão efetiva média. Com base nessas evidências, é defendido que o LEC de resíduos de mineração é altamente não-linear, e servem como indicativo de três respostas distintas do solo: uma resposta estável quando LCO, LCI e a LEC exibem paralelismo, um comportamento meta-estável em baixas tensões de confinamento levando à liquefação e quebra de grãos para altas tensões de confinamento da amostra. O avanço nas pesquisas relativas à disposição de resíduos provenientes de indústrias de mineração com o conhecimento dos fenômenos que se processa, poderá evitar a ocorrência de ruptura de barragens, que teria como conseqüência desastres ambientais de grande impacto. / Production and deposition of mining tailings is a problem confronting geotechnical engineers given the dimension of tailings deposits and environmental risks. The direct launching of tailings in reservoirs contained by dikes consists in a common type of waste disposal. These dikes can be constructed by successive upstream embankments, a relatively simple and economical process adopted in some countries. Although it is a low cost process, the upstream embankment is an operation of great risk, especially because tailings are susceptible to liquefaction and also because the stability of the dams can be threatened by excess of pore pressures generated inside the deposit during construction. To meet design requirements of disposal of residues it is therefore essential to understand the behavior of these materials. Tailings show a considerable variability in their physical, chemical and mineral characteristics that confer a distinct behavior to the geo-materials usually found in natural deposits. The present work gives emphasis to gold and bauxite tailings that encompass substantial economic and environmental interest in Brazil. In the thesis, an extensive laboratory geotechnical investigation program is carried out in an attempt to characterize these residues and to establish design constituent parameters. For comparative purposes an inert silty material is also tested. Compressibility and hydraulic conductivity were measured in oedometer tests performed at constant load and constant hydraulic gradient tests. Triaxial tests were carried out at high stress levels and different stress paths in order to establish the position and shape of the critical state line. In addition measured with Bender Elements are evaluated. The results between the oedometer consolidation (OCL), isotropic consolidation (ICL) and critical sate (CSL) lines allowed the static liquefaction response to be directly assessed. In a e-log (p’) space, the onset of a meta-stable behaviour significantly changes the slope of the CSL relative to both ICL and OCL. The same change in slope is observed on both the state parameter and the small strain shear modulus measured by bender elements when plotted against mean stress. Based on these evidences it is advocated that the CSL of the tailing is highly non-linear in nature, which lead to three distinct soil responses: a stable response when OCL, ICL and CSL exhibit similar slopes, a meta-stable beahaviour at lower stress leading to liquefaction and a crushable response for higher mean stresses. Advanced research on tailings from mining industries with due recognition of the phenomena of liquefaction may prevent dam failure, and consequently may prevent major environmental disasters.

Proposição: O presente trabalho propõe o estudo histológico descritivo da aplicação de um campo magnético sepultado, estático e permanente em área de enxerto ósseo alógeno liofilizado e dento-alveolar associada a defeito cirúrgico em mandíbulas de ratos. Metodologia: estudo experimental in vivo, randomizado. Amostra foi composta por 21 ratos, da espécie Rattus novergicus albinus, linhagem Wistar, machos, divididos em três grupos, correspondendo aos tempos experimentais de sete, 21 e 45 dias. Foram realizadas ostectomias associadas a odontossecções, na face lateral externa do corpo mandibular e no ramo ascendente, atingindo transversalmente a raiz do incisivo inferior e os ápices dos molares. Este defeito cirúrgico permitiu a adaptação de dispositivos metálicos magnetizados (grupo teste) e não magnetizados (grupo controle) associados às regiões apicais dos molares e ao coto distal do incisivo inferior, local este onde realizou-se enxertia óssea alógena liofilizada. A intensidade média do campo magnético sepultado e permanente foi de 250 gauss.Resultados: observou-se no grupo teste e controle, nos diferentes tempos experimentais a gradativa integração do enxerto ósseo alógeno liofilizado, a manutenção da vitalidade pulpar dos molares e coto proximal do incisivo inferior, além da contínua erupção do incisivo inferior do rato. Nos grupos teste, principalmente aos 45 dias, constatou-se uma diferenciada e exuberante neoformação óssea centrípeta em direção aos dispositivos metálicos imantados. Conclusão: o campo magnético sepultado in vivo foi capaz de favorecer o processo de cicatrização óssea no defeito cirúrgico criado. / Purpose: The present study provides a descriptive histological analysis of the use of a buried, static and permanent magnetic field in lyophilized bone allografts in a dentoalveolar area associated with surgical defects in rat mandibles. Method: a randomized in vivo experimental study was carried out with 21 male Wistar rats (Rattus norvegicus albinus), which were split into three groups, corresponding to 7, 21 and 45 experimental days. Ostectomies associated with odontotomies were performed on the outer lateral face of the mandibular body and in the ascending branch, cross-sectionally to the root of the lower incisor and to the molar apices. This surgical defect allowed for the use of magnetized (test group) and non-magnetized (control group) metal devices associated with molar apices and with the distal stump of the lower incisor, where the lyophilized bone allograft was performed. The intensity of the buried and permanent magnetic field amounted to 250 gauss. Results: In the test and control groups, there was gradual integration of the lyophilized bone allograft, maintenance of pulp vitality of the molars and of the proximal stump of the lower incisor, in addition to continuous eruption of the lower incisor. In the test groups, especially at 45 days, there was distinct and pronounced centripetal new bone formation in a direction toward the magnetized metal devices. Conclusion: the in vivo buried magnetic field favored bone healing at the site of the surgical defect.