Analysis of output properties of the Peroxiredoxin/Thioredoxin/Thioredoxin reductase system

Dissertação de mestrado em Bioinformática

Metaphorisms in programming

This paper introduces the metaphorism pattern of relational specification and addresses how specification following this pattern can be refined into recursive programs. Metaphorisms express input-output relationships which preserve relevant information while at the same time some intended optimization takes place. Text processing, sorting, representation changers, etc., are examples of metaphorisms. The kind of metaphorism refinement proposed in this paper is a strategy known as change of virtual data structure. It gives sufficient conditions for such implementations to be calculated using relation algebra and illustrates the strategy with the derivation of quicksort as example.

Ontology-based representation and generation of workflows for micro-task human-machine computation

Doctoral Program in Computer Science

Análisis mecánico de albañilería arqueológica de adobe bajo cargas de compresión uniaxial: El caso de Huaca de la Luna

This article presents an experimental and numerical study for the mechanical characterization under uniaxial compressive loading of the adobe masonry of one of the most emblematic archaeological complex in Peru, 'Huaca de la Luna' (100-650AD). Compression tests of prisms were carried out with original material brought to the laboratory. For measuring local deformations in the tests, displacement transducers were used which were complemented by a digital image correlation system which allowed a better understanding of the failure mechanism. The tests were then numerically simulated by modelling the masonry as a continuum media. Several approaches were considered concerning the geometrical modelling, namely 2D and 3D simplified models, and 3D refined models based on a photogrammetric reconstruction. The results showed a good approximation between the numerical prediction and the experimental response in all cases. However, the 3D models with irregular geometries seem to reproduce better the cracking pattern observed in the tests.

Out-of-plane behavior of masonry infill walls

In order to investigate the out-of-plane behaviour of masonry infill walls, quasi-static testing was performed on a masonry infill walls built inside a reinforced concrete frame by means of an airbag system to apply the uniform out-of-plane load to each component of the infill. The main advantage of this testing setup is that the out-of-plane loading can be applied more uniformly in the walls, contrarily to point load configuration. The test was performed under displacement control by selecting the mid-point of the infill as control point. Input and output air in the airbag was controlled by using a software to apply a specific displacement in the control point of the infill wall. The effect of the distance between the reaction frame of the airbag and the masonry infill on the effective contact area was previously analysed. Four load cells were attached to the reaction frame to measure the out-of-plane force. The effective contact area of the airbag was calculated by dividing the load measured in load cells by the pressure inside the airbag. When the distance between the reaction walls and the masonry infill wall is smaller, the effective area is closer to the nominal area of the airbag. Deformation and crack patterns of the infill confirm the formation of arching mechanism and two-way bending of the masonry infill. Until collapse of the horizontal interface between infill and upper beam in RC frame, the infill bends in two directions but the failure of that interface which is known as weakest interface due to difficulties in filling the mortar between bricks of last row and upper beam results in the crack opening trough a well-defined path and the consequent collapse of the infill.

In-plane and out-of plane experimental characterization of rc masonry infilled frames

Seismic investigations of typical south European masonry infilled frames were performed by testing two reduced scale specimens: one in the in-plane direction and another in the out-ofplane direction. Information about geometry and reinforcement scheme of those structures constructed in 1980s were obtained by [1]. The specimen to be tested in the in-plane direction was constructed as double leaf masonry while the specimen for testing in the out-of-plane direction is constructed with only its exterior leaf since the recent earthquakes have highlighted the vulnerability of the external leaf of the infills in out-of-plane direction [2]. The tests were performed by applying the pre-defined values of displacements in the in-plane and out-of-plane directions in the control points. For in-plane testing it was done by hydraulic actuator and for out-of-plane testing through the application of an airbag. Input and output air in the airbag was controlled by using a software to apply a specific displacement in the control point of the infill wall. Mid-point of the infill was assumed as a control point for outof- plane testing. Deformation and crack patterns of the infill confirm the formation of two-way arching mechanism of the masonry infill until collapse of the upper horizontal interface between infill and frame which is known as weakest interface due to difficulties in filling the mortar between bricks of last row and upper beam. This results in the crack opening through a welldefined path and the consequent collapse of the infill.

Impacto do azoto no processo de soldadura reflow

Dissertação de mestrado em Engenharia Industrial (área de especialização em Qualidade, Segurança e Manutenção)