Comparação de técnicas analíticas e numéricas para previsão de resistência de juntas adesivas de sobreposição simples

As juntas adesivas têm vindo a ser usadas em diversas áreas e contam com inúmeras aplicações práticas. Devido ao fácil e rápido fabrico, as juntas de sobreposição simples (JSS) são um tipo de configuração bastante comum. O aumento da resistência, a redução de peso e a resistência à corrosão são algumas das vantagens que este tipo de junta oferece relativamente aos processos de ligação tradicionais. Contudo, a concentração de tensões nas extremidades do comprimento da ligação é uma das principais desvantagens. Existem poucas técnicas de dimensionamento precisas para a diversidade de ligações que podem ser encontradas em situações reais, o que constitui um obstáculo à utilização de juntas adesivas em aplicações estruturais. O presente trabalho visa comparar diferentes métodos analíticos e numéricos na previsão da resistência de JSS com diferentes comprimentos de sobreposição (LO). O objectivo fundamental é avaliar qual o melhor método para prever a resistência das JSS. Foram produzidas juntas adesivas entre substratos de alumínio utilizando um adesivo époxido frágil (Araldite® AV138), um adesivo epóxido moderadamente dúctil (Araldite® 2015), e um adesivo poliuretano dúctil (SikaForce® 7888). Consideraram-se diferentes métodos analíticos e dois métodos numéricos: os Modelos de Dano Coesivo (MDC) e o Método de Elementos Finitos Extendido (MEFE), permitindo a análise comparativa. O estudo possibilitou uma percepção crítica das capacidades de cada método consoante as características do adesivo utilizado. Os métodos analíticos funcionam apenas relativamente bem em condições muito específicas. A análise por MDC com lei triangular revelou ser um método bastante preciso, com excepção de adesivos que sejam bastante dúcteis. Por outro lado, a análise por MEFE demonstrou ser uma técnica pouco adequada, especialmente para o crescimento de dano em modo misto.

A proof system for lock-free concurrency

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Application of superconducting bulks and stacks of tapes in electrical machines

The present dissertation focuses on the research of the recent approach of innovative high-temperature superconducting stacked tapes in electrical ma-chines applications, taking into account their potential benefits as an alternative for the massive superconducting bulks, mainly related with geometric and me-chanical flexibility. This work was developed in collaboration with Institut de Ciència de Ma-terials de Barcelona (ICMAB), and is related with evaluation of electrical and magnetic properties of the mentioned superconducting materials, namely: analysis of magnetization of a bulk sample through simulations carried out in the finite elements COMSOL software; measurement of superconducting tape resistivity at liquid nitrogen and room temperatures; and, finally, development and testing of a frequency controlled superconducting motor with rotor built by superconducting tapes. In the superconducting state, results showed a critical current density of 140.3 MA/m2 (or current of 51.15 A) on the tape and a 1 N∙m developed motor torque, independent from the rotor position angle, typical in hysteresis motors.

Prestress losses in reinforced concrete beams strengthened with NSM-CFRP laminates

Using prestressed near surface mounted fibre reinforced polymers (NSM-FRP) is nowadays regaining the attention from the scientific community for the strengthening of existing reinforced concrete (RC) structures. The application of prestressed internal FRP bars and externally bonded prestressed FRPs has already been deeply investigated and revealed considerable benefits when compared to the corresponding passive solutions. A certain amount of prestress provides benefits mainly associated to structural integrity and material durability. Immediately after prestress transference, it is possible to close some of the existing cracks, decreasing the susceptibility of the element to corrosion and, a certain amount of deflection can be recovered due to the creation of a negative curvature. However, very few studies have been carried out to properly assess the preservation of prestress over time. In this context, several reinforced concrete beams strengthened with prestressed NSM carbon FRP (CFRP) laminates were prestressed and monitored for about 40 days. The data obtained from these experimental programs is in this paper presented and analysed. The observed prestress losses were later modelled using finite elements analysis and, although this topic is not addressed in this paper, the obtained results revealed considerable precision. The largest strain losses in the CFRP laminate were found to be mainly located in the extremities of the bonded length, while in the central zone most of the applied pre-strain was retained over time. The highest CFRP strain losses were observed in the first 6 to 12 days after prestress transfer, suggesting that the application of prestressed NSM-FRP will be very effective over time.

Numerical approaches for the analysis of timber frame walls

A numerical approach to simulate the behaviour of timber shear walls under both static and dynamic loading is proposed. Because the behaviour of timber shear walls hinges on the behaviour of the nail connections, the force-displacement behaviour of sheathing-to-framing nail connections are first determined and then used to define the hysteretic properties of finite elements representing these connections. The model nails are subsequently implemented into model walls. The model walls are verified using experimental results for both monotonic and cyclic loading. It is demonstrated that the complex hysteretic behaviour of timber shear walls can be reasonably represented using model shear walls in which nonlinear material failure is concentrated only at the sheathing-to-framing nail connections.

Estudo numérico sobre o reforço de pilares de betão armado com cantoneiras e presilhas metálicas: análise paramétrica e modelo de cálculo

Dissertação de mestrado integrado em Engenharia Civil

Flow updating: fault-tolerant aggregation for dynamic networks

Documento submetido para revisão pelos pares. A publicar em Journal of Parallel and Distributed Computing. ISSN 0743-7315

Feature Nets: behavioural modelling of software product lines

Software product lines (SPL) are diverse systems that are developed using a dual engineering process: (a)family engineering defines the commonality and variability among all members of the SPL, and (b) application engineering derives specific products based on the common foundation combined with a variable selection of features. The number of derivable products in an SPL can thus be exponential in the number of features. This inherent complexity poses two main challenges when it comes to modelling: Firstly, the formalism used for modelling SPLs needs to be modular and scalable. Secondly, it should ensure that all products behave correctly by providing the ability to analyse and verify complex models efficiently. In this paper we propose to integrate an established modelling formalism (Petri nets) with the domain of software product line engineering. To this end we extend Petri nets to Feature Nets. While Petri nets provide a framework for formally modelling and verifying single software systems, Feature Nets offer the same sort of benefits for software product lines. We show how SPLs can be modelled in an incremental, modular fashion using Feature Nets, provide a Feature Nets variant that supports modelling dynamic SPLs, and propose an analysis method for SPL modelled as Feature Nets. By facilitating the construction of a single model that includes the various behaviours exhibited by the products in an SPL, we make a significant step towards efficient and practical quality assurance methods for software product lines.

From software extensions to product lines of dataflow programs

Abstract Dataflow programs are widely used. Each program is a directed graph where nodes are computations and edges indicate the flow of data. In prior work, we reverse-engineered legacy dataflow programs by deriving their optimized implementations from a simple specification graph using graph transformations called refinements and optimizations. In MDE-speak, our derivations were PIM-to-PSM mappings. In this paper, we show how extensions complement refinements, optimizations, and PIM-to-PSM derivations to make the process of reverse engineering complex legacy dataflow programs tractable. We explain how optional functionality in transformations can be encoded, thereby enabling us to encode product lines of transformations as well as product lines of dataflow programs. We describe the implementation of extensions in the ReFlO tool and present two non-trivial case studies as evidence of our work’s generality

Concise server-wide causality management for eventually consistent data stores

Large scale distributed data stores rely on optimistic replication to scale and remain highly available in the face of net work partitions. Managing data without coordination results in eventually consistent data stores that allow for concurrent data updates. These systems often use anti-entropy mechanisms (like Merkle Trees) to detect and repair divergent data versions across nodes. However, in practice hash-based data structures are too expensive for large amounts of data and create too many false conflicts. Another aspect of eventual consistency is detecting write conflicts. Logical clocks are often used to track data causality, necessary to detect causally concurrent writes on the same key. However, there is a nonnegligible metadata overhead per key, which also keeps growing with time, proportional with the node churn rate. Another challenge is deleting keys while respecting causality: while the values can be deleted, perkey metadata cannot be permanently removed without coordination. Weintroduceanewcausalitymanagementframeworkforeventuallyconsistentdatastores,thatleveragesnodelogicalclocks(BitmappedVersion Vectors) and a new key logical clock (Dotted Causal Container) to provides advantages on multiple fronts: 1) a new efficient and lightweight anti-entropy mechanism; 2) greatly reduced per-key causality metadata size; 3) accurate key deletes without permanent metadata.

Adaptive Verfahren zur numerischen Berechnung von Reaktions-Diffusions-Systemen

Reaction-diffusion problems, finite elements, unstructured grid, grid adaption, W-method, stiffness, local partitioning, excitable medium, spiral wave drift

RADIC II: a fault tolerant architecture with flexible dynamic redundancy

The demand for computational power has been leading the improvement of the High Performance Computing (HPC) area, generally represented by the use of distributed systems like clusters of computers running parallel applications. In this area, fault tolerance plays an important role in order to provide high availability isolating the application from the faults effects. Performance and availability form an undissociable binomial for some kind of applications. Therefore, the fault tolerant solutions must take into consideration these two constraints when it has been designed. In this dissertation, we present a few side-effects that some fault tolerant solutions may presents when recovering a failed process. These effects may causes degradation of the system, affecting mainly the overall performance and availability. We introduce RADIC-II, a fault tolerant architecture for message passing based on RADIC (Redundant Array of Distributed Independent Fault Tolerance Controllers) architecture. RADIC-II keeps as maximum as possible the RADIC features of transparency, decentralization, flexibility and scalability, incorporating a flexible dynamic redundancy feature, allowing to mitigate or to avoid some recovery side-effects.

Superficial and deep changes of cellular mechanical properties following cytoskeleton disassembly.

The cytoskeleton, composed of actin filaments, intermediate filaments, and microtubules, is a highly dynamic supramolecular network actively involved in many essential biological mechanisms such as cellular structure, transport, movements, differentiation, and signaling. As a first step to characterize the biophysical changes associated with cytoskeleton functions, we have developed finite elements models of the organization of the cell that has allowed us to interpret atomic force microscopy (AFM) data at a higher resolution than that in previous work. Thus, by assuming that living cells behave mechanically as multilayered structures, we have been able to identify superficial and deep effects that could be related to actin and microtubule disassembly, respectively. In Cos-7 cells, actin destabilization with Cytochalasin D induced a decrease of the visco-elasticity close to the membrane surface, while destabilizing microtubules with Nocodazole produced a stiffness decrease only in deeper parts of the cell. In both cases, these effects were reversible. Cell softening was measurable with AFM at concentrations of the destabilizing agents that did not induce detectable effects on the cytoskeleton network when viewing the cells with fluorescent confocal microscopy. All experimental results could be simulated by our models. This technology opens the door to the study of the biophysical properties of signaling domains extending from the cell surface to deeper parts of the cell.

Entorno de desarrollo para clusters

El presente trabajo expone los entornos de desarrollo de aplicaciones paralelas en sistemas distribuidos. Se ha dedicado especial atención a los entornos gráficos, como plataforma de acceso al cluster. Dada la cantidad de alternativas a seleccionar en este tipo de entornos, como puede ser la parametrización de las aplicaciones, especificación de la arquitectura a utilizar de los nodos, caracterización de la carga, políticas de planificación, etc, hace que este trabajo pueda servir de punto inicial de partida a usuarios que deseen iniciarse en este tipo de entornos.

The snail hosts of schistosomiasis: some evolutionary and ecological perspectives in relation to control

Despite opportunities for radiation provided by spatio-temporal isolation, the basic morphological plan of pulmonate snails has remained conservative. In consequence of the resulting dearth of morphological characters and their plasticity, there is a case for using biochemical characters such as exogenous chemicals released by the snails (e.g. amino acids) and their chemoreception niche as taxonomic aids to classify snails of medical importance. As these same chemicals are used by snails to distinguish conspecifics they could also be used as "environmental antibodies" in controlled release formulations (CRF's) designed to remove target snails in a specific, cost-effective and ecologically acceptable manner. The snails, surface-living bacteria, algae and macrophytic plants are considered as co-evolved, interactive modular systems with strong mutualistic elements. Recently, anthropogenic perturbations such as deforestation, and damming of flowing waters, have benefited these modules whereas others such as river canalization, acid deposition, accumulation of pesticide residues and eutrophication have harmed them. Research is needed to elucidate the factors which limit the growth of snails in primitive habitats, uninfluenced by man, as well as in those subject to harmful anthropogenic factors. The understanding thus gained could be applied to develop cost-effective primary health care strategies to reduce or prevent transmission of schistosomiasis and other water related diseases.