Structure-property relationships in polymer nanocomposites

Tese de Doutoramento em Ciência e Engenharia de Polímeros e Compósitos

Epidemic store for massive scale systems

The MAP-i doctoral program of the Universities of Minho, Aveiro and Porto

Deteção de colisões com guardas de segurança

Dissertação de mestrado integrado em Engenharia Eletrónica Industrial e Computadores

A integração de técnicas BIM nos elementos de projeto de aplicação de sistemas de pré-esforço

Dissertação de mestrado integrado em Engenharia Civil

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.

Exploring the use of HPFRC and GFRP grids for the production of manhole covers

Corrosion of the steel reinforced concrete elements is one of the common pathologies that limits the long-term performance of urban infrastructures. This problem causes the loss of structural serviceability by decreasing the concrete-steel bond strength and reducing the cross section of the reinforcements. The present study introduces a new system for developing free-corrosion resistance prefabricated manhole covers for applications in the aggressive environments, i.e. wastewater collector systems, sewer systems, stormwater systems, etc. Fibre reinforced cement composites were applied in this system in order to suppress the corrodible steel mesh and maintain the structural ductility as well. Application of fibre reinforced polymer (FRP) system is adopted as the additional solution for increasing the load carrying capacity of these elements without concerns about corrosion. The effectiveness of the applied strategy in developing the manhole covers in terms of load carrying capacity and failure mode is evaluated in this research. Furthermore, this paper discusses a FEM-based simulation, aiming to address the possibility of calibrating the constitutive model parameters related to fracture modes I and II.

Thin panels of cement composites reinforced with recycled fibres for the shear strengthening of reinforced concrete elements

A new technique was developed for producing thin panels of a cement based material reinforced with relatively high content of steel fibres originated from the industry of tyre recycling. Flexural tests with notched and un-notched specimens were carried out to characterize the mechanical properties of this Fibre Reinforced Cement Composite (FRCC) and the results are presented and discussed. The values of the fracture mode I parameters of the developed FRCC were determined by performing inverse analysis with test results obtained in three point notched beam bending tests. To appraise the potentialities of these FRCC panels for the increase of the shear capacity of reinforced (RC) beams, numerical research was performed on the use of developed FRCC panel for shear reinforcement by applying the panels in the lateral faces of RC beams deficiently reinforced in shear.

High strain rate constitutive modeling forhistorical structures subjected to blast loading

Doctoral Thesis Civil Engineering

Optimization of magnetoelectric composites based on electroactive polymers for energy harvesting and sensor application

Tese de Doutoramento em Engenharia de Materiais.