Recycled steel fibre reinforced concrete failing in bending and in shear

Recent research is showing that the addition of Recycled Steel Fibres (RSF) from wasted tyres can decrease significantly the brittle behaviour of cement based materials, by improving its toughness and post-cracking resistance. In this sense, Recycled Steel Fibre Reinforced Concrete (RSFRC) seems to have the potential to constitute a sustainable material for structural and non-structural applications. To assess this potential, experimental and numerical research was performed on the use of RSFRC in elements failing in bending and in beams failing in shear. The values of the fracture mode I parameters of the developed RSFRC were determined by performing inverse analysis with test results obtained in three point notched beam bending tests. To assess the possibility of using RSF as shear reinforcement in Reinforced Concrete (RC) beams, three point bending tests were executed with three series of RSFRC beams flexurally reinforced with a relatively high reinforcement ratio of longitudinal steel bars in order to assure shear failure for all the tested beams. By performing material nonlinear simulations with a computer program based on the finite element method (FEM), the applicability of the fracture mode I crack constitutive law derived from the inverse analysis is assessed for the prediction of the behaviour of these beams. The performance of the formulation proposed by RILEM TC 162 TDF and CEB-FIP 2010 for the prediction of the shear resistance of fibre reinforced concrete elements was also evaluated.

Shear strengthening of damaged reinforced concrete beams with hybrid composite plates

This paper aims to evaluate experimentally the potentialities of Hybrid Composite Plates (HCPs) technique for the shear strengthening of reinforced concrete (RC) beams that were previously subjected to intense damage in shear. HCP is a thin plate of Strain Hardening Cementitious Composite (SHCC) reinforced with Carbon Fiber Reinforced Polymer (CFRP) laminates. For this purpose, an experimental program composed of two series of beams (rectangular and T cross section) was executed to assess the strengthening efficiency of this technique. In the first step of this experimental program, the control beams, without steel stirrups, were loaded up to their shear failure, and fully unloaded. Then, these pre-damaged beams were shear strengthened by applying HCPs to their lateral faces by using a combination of epoxy adhesive and mechanical anchors. The bolts were applied with a certain torque in order to increase the concrete confinement. The obtained results showed that the increase of load carrying capacity of the damaged strengthened beams when HCPs were applied with epoxy adhesive and mechanical anchors was 2 and 2.5 times of the load carrying capacity of the corresponding reference beams (without HCPs) for the rectangular and T cross section beam series, respectively. To further explore the potentialities of the HCPs technique for the shear strengthening, the experimental tests were simulated using an advanced numerical model by a FEM-based computer program. After demonstration the good predictive performance of the numerical model, a parametric study was executed to highlight the influence of SHCC as an alternative for mortar, as well as the influence of torque level applied to the mechanical anchors, on the load carrying capacity of beams strengthened with the proposed technique.

Plastic-damage smeared crack model to simulate the behaviour of structures made by cement based materials

This work proposes a constitutive model to simulate nonlinear behaviour of cement based materials subjected to different loading paths. The model incorporates a multidirectional fixed smeared crack approach to simulate crack initiation and propagation, whereas the inelastic behaviour of material between cracks is treated by a numerical strategy that combines plasticity and damage theories. For capturing more realistically the shear stress transfer between the crack surfaces, a softening diagram is assumed for modelling the crack shear stress versus crack shear strain. The plastic damage model is based on the yield function, flow rule and evolution law for hardening variable, and includes an explicit isotropic damage law to simulate the stiffness degradation and the softening behaviour of cement based materials in compression. This model was implemented into the FEMIX computer program, and experimental tests at material scale were simulated to appraise the predictive performance of this constitutive model. The applicability of the model for simulating the behaviour of reinforced concrete shear wall panels submitted to biaxial loading conditions, and RC beams failing in shear is investigated.

Shear strengthening of reinforced concrete beams with SHCC-FRP panels

Tese de Doutoramento em Engenharia Civil

Generic system for human-computer gesture interaction: applications on sign language recognition and robotic soccer refereeing

Hand gestures are a powerful way for human communication, with lots of potential applications in the area of human computer interaction. Vision-based hand gesture recognition techniques have many proven advantages compared with traditional devices, giving users a simpler and more natural way to communicate with electronic devices. This work proposes a generic system architecture based in computer vision and machine learning, able to be used with any interface for human-computer interaction. The proposed solution is mainly composed of three modules: a pre-processing and hand segmentation module, a static gesture interface module and a dynamic gesture interface module. The experiments showed that the core of visionbased interaction systems could be the same for all applications and thus facilitate the implementation. For hand posture recognition, a SVM (Support Vector Machine) model was trained and used, able to achieve a final accuracy of 99.4%. For dynamic gestures, an HMM (Hidden Markov Model) model was trained for each gesture that the system could recognize with a final average accuracy of 93.7%. The proposed solution as the advantage of being generic enough with the trained models able to work in real-time, allowing its application in a wide range of human-machine applications. To validate the proposed framework two applications were implemented. The first one is a real-time system able to interpret the Portuguese Sign Language. The second one is an online system able to help a robotic soccer game referee judge a game in real time.

Hand gesture recognition system based in computer vision and machine learning

"Lecture notes in computational vision and biomechanics series, ISSN 2212-9391, vol. 19"

Vision-based portuguese sign language recognition system

Vision-based hand gesture recognition is an area of active current research in computer vision and machine learning. Being a natural way of human interaction, it is an area where many researchers are working on, with the goal of making human computer interaction (HCI) easier and natural, without the need for any extra devices. So, the primary goal of gesture recognition research is to create systems, which can identify specific human gestures and use them, for example, to convey information. For that, vision-based hand gesture interfaces require fast and extremely robust hand detection, and gesture recognition in real time. Hand gestures are a powerful human communication modality with lots of potential applications and in this context we have sign language recognition, the communication method of deaf people. Sign lan- guages are not standard and universal and the grammars differ from country to coun- try. In this paper, a real-time system able to interpret the Portuguese Sign Language is presented and described. Experiments showed that the system was able to reliably recognize the vowels in real-time, with an accuracy of 99.4% with one dataset of fea- tures and an accuracy of 99.6% with a second dataset of features. Although the im- plemented solution was only trained to recognize the vowels, it is easily extended to recognize the rest of the alphabet, being a solid foundation for the development of any vision-based sign language recognition user interface system.

Unfuzzying fuzzy parsing

Dissertação de Mestrado em Engenharia Informática

Using a domain-specific language to enrich ETL schemas

Today it is easy to find a lot of tools to define data migration schemas among different types of information systems. Data migration processes use to be implemented on a very diverse range of applications, ranging from conventional operational systems to data warehousing platforms. The implementation of a data migration process often involves a serious planning, considering the development of conceptual migration schemas at early stages. Such schemas help architects and engineers to plan and discuss the most adequate way to migrate data between two different systems. In this paper we present and discuss a way for enriching data migration conceptual schemas in BPMN using a domain-specific language, demonstrating how to convert such enriched schemas to a first correspondent physical representation (a skeleton) in a conventional ETL implementation tool like Kettle.

Digital manipulatives as scaffolds for preschoolers’ language development

The study reported here aims at contributing to a deeper understanding of the educational possibilities offered by digital manipulatives in preschool contexts. It presents a study carried with a digital manipulative to enhance the development of lexical knowledge and language awareness, which are relevant language abilities for formal literacy learning. The study took place in a Portuguese preschool, with a class of 20 five-year-olds in collaboration with the teacher. The digital manipulative supported the construction of multiple fictional worlds, motivating children's verbal interactions, and the playing of words and sound games, thus contextualizing the learning of an extensive collection of vocabulary and language awareness abilities. The degree of engagement and involvement that the manipulative provided in supporting children’s imaginative play as well as the imitation, in their own play, of the playful pedagogical interventions that the teacher had designed, shows the importance of well- designed materials that support a child-centered learning model. As such, it sustains a discussion on the potential of digital manipulatives to enhance fundamental language development in the preschool years. Further, the study highlights the importance of multidisciplinary teams in the creation of innovative pedagogical materials.

Para uma pedagogia das literacias: das conceções e práticas docentes aos conceitos e competências discentes. Um estudo da aula de língua portuguesa no 2º ciclo do ensino básico

Tese de Doutoramento em Ciências da Educação (Especialidade em Literacias e Ensino do Português)

Hand gesture recognition system based in computer vision and machine learning: Applications on human-machine interaction

Tese de Doutoramento em Engenharia de Eletrónica e de Computadores

Modelling and verifying smell-free architectures with the Archery language

Architectural (bad) smells are design decisions found in software architectures that degrade the ability of systems to evolve. This paper presents an approach to verify that a software architecture is smellfree using the Archery architectural description language. The language provides a core for modelling software architectures and an extension for specifying constraints. The approach consists in precisely specifying architectural smells as constraints, and then verifying that software architectures do not satisfy any of them. The constraint language is based on a propositional modal logic with recursion that includes: a converse operator for relations among architectural concepts, graded modalities for describing the cardinality in such relations, and nominals referencing architectural elements. Four architectural smells illustrate the approach.

A study of risk-aware program transformation

In the trend towards tolerating hardware unreliability, accuracy is exchanged for cost savings. Running on less reliable machines, functionally correct code becomes risky and one needs to know how risk propagates so as to mitigate it. Risk estimation, however, seems to live outside the average programmer’s technical competence and core practice. In this paper we propose that program design by source-to-source transformation be risk-aware in the sense of making probabilistic faults visible and supporting equational reasoning on the probabilistic behaviour of programs caused by faults. This reasoning is carried out in a linear algebra extension to the standard, `a la Bird-Moor algebra of programming. This paper studies, in particular, the propagation of faults across standard program transformation techniques known as tupling and fusion, enabling the fault of the whole to be expressed in terms of the faults of its parts.

Factoriality and the pin-reutenauer procedure

We consider implicit signatures over finite semigroups determined by sets of pseudonatural numbers. We prove that, under relatively simple hypotheses on a pseudovariety V of semigroups, the finitely generated free algebra for the largest such signature is closed under taking factors within the free pro-V semigroup on the same set of generators. Furthermore, we show that the natural analogue of the Pin-Reutenauer descriptive procedure for the closure of a rational language in the free group with respect to the profinite topology holds for the pseudovariety of all finite semigroups. As an application, we establish that a pseudovariety enjoys this property if and only if it is full.