Eco-efficient self-compacting concrete with reduced Portland cement content and high volume of fly ash and metakaolin

The eco-efficient, self-compacting concrete (SCC) production, containing low levels of cement in its formulation, shall contribute for the constructions' sustainability due to the decrease in Portland cement use, to the use of industrial residue, for beyond the minimization of the energy needed for its placement and compaction. In this context, the present paper intends to assess the viability of SCC production with low cement levels by determining the fresh and hardened properties of concrete containing high levels of fly ash (FA) and also metakaolin (MK). Hence, 6 different concrete formulations were produced and tested: two reference concretes made with 300 and 500 kg/m3 of cement; the others were produced in order to evaluate the effects of high replacement levels of cement. Cement replacement by FA of 60% and by 50% of FA plus 20% of MK were tested and the addition of hydrated lime in these two types of concrete were also studied. To evaluate the self-compacting ability slump flow test, T500, J-ring, V-funnel and L-box were performed. In the hardened state the compressive strength at 3, 7, 14, 21, 28 and 90 days of age was determined. The results showed that it is possible to produce low cement content SCC by replacing high levels of cement by mineral additions, meeting the rheological requirements for self-compacting, with moderate resistances from 25 to 30 MPa after 28 days.

Industrial engineering and management curriculum profile: Developing a framework of competences

This paper presents a framework of competences developed for Industrial Engineering and Management that can be used as a tool for curriculum analysis and design, including the teaching and learning processes as well as the alignment of the curriculum with the professional profile. The framework was applied to the Industrial Engineering and Management program at University of Minho (UMinho), Portugal, and it provides an overview of the connection between IEM knowledge areas and the competences defined in its curriculum. The framework of competences was developed through a process of analysis using a combination of methods and sources for data collection. The framework was developed according to four main steps: 1) characterization of IEM knowledge areas; 2) definition of IEM competences; 3) survey; 4) application of the framework at the IEM curriculum. The findings showed that the framework is useful to build an integrated vision of the curriculum. The most visible aspect in the learning outcomes of IEM program is the lack of balance between technical and transversal competences. There was not almost any reference to the transversal competences and it is fundamentally concentrated on Project-Based Learning courses. The framework presented in this paper provides a contribution to the definition of IEM professional profile through a set of competences which need to be explored further. In addition, it may be a relevant tool for IEM curriculum analysis and a contribution for bridging the gap between universities and companies.

A trust model for cloud computing environment

This paper presents a proposal for a management model based on reliability requirements concerning Cloud Computing (CC). The proposal was based on a literature review focused on the problems, challenges and underway studies related to the safety and reliability of Information Systems (IS) in this technological environment. This literature review examined the existing obstacles and challenges from the point of view of respected authors on the subject. The main issues are addressed and structured as a model, called "Trust Model for Cloud Computing environment". This is a proactive proposal that purposes to organize and discuss management solutions for the CC environment, aiming improved reliability of the IS applications operation, for both providers and their customers. On the other hand and central to trust, one of the CC challenges is the development of models for mutual audit management agreements, so that a formal relationship can be established involving the relevant legal responsibilities. To establish and control the appropriate contractual requirements, it is necessary to adopt technologies that can collect the data needed to inform risk decisions, such as access usage, security controls, location and other references related to the use of the service. In this process, the cloud service providers and consumers themselves must have metrics and controls to support cloud-use management in compliance with the SLAs agreed between the parties. The organization of these studies and its dissemination in the market as a conceptual model that is able to establish parameters to regulate a reliable relation between provider and user of IT services in CC environment is an interesting instrument to guide providers, developers and users in order to provide services and secure and reliable applications.

Controlo da qualidade de betões

Dissertação de mestrado em Construção e Reabilitação Sustentáveis

Using relational algebra on the specification of real world ETL processes

Modeling Extract-Transform-Load (ETL) processes of a Data Warehousing System has always been a challenge. The heterogeneity of the sources, the quality of the data obtained and the conciliation process are some of the issues that must be addressed in the design phase of this critical component. Commercial ETL tools often provide proprietary diagrammatic components and modeling languages that are not standard, thus not providing the ideal separation between a modeling platform and an execution platform. This separation in conjunction with the use of standard notations and languages is critical in a system that tends to evolve through time and which cannot be undermined by a normally expensive tool that becomes an unsatisfactory component. In this paper we demonstrate the application of Relational Algebra as a modeling language of an ETL system as an effort to standardize operations and provide a basis for uncommon ETL execution platforms.

Estudo do trabalho numa empresa de produção de pneus e implementação de ferramentas Lean

Dissertação de mestrado integrado em Engenharia e Gestão Industrial

Mitigating the impact of occupational noise exposure for elderly workers: Setting the functional requirements for an ANC system

Noise affects people in very different aspects and in almost every aspect of our daily life. The most prominent impact of noise exposure is hearing loss. However, it can also impair people at their work settings due to other effects rather than hearing loss. Older works tend to be more susceptible to noise exposure effects at work, firstly because most of them already have some ‘natural’ hearing loss, as a results of the ageing process, and secondly because they also tend to be more susceptible at an psychological level. The current study is an attempt to describe the potential problem and to make a survey to identify the available active noise cancelation systems, as well as to specific the main requirements of this type of systems to be applied in such contexts. Several aspects of characteristics of the ANC systems were identified and are presented in this study. From the obtained results it was possible to have a clearer idea about the potential of this technology, and to confirm that this type of solution can be extremely important as a component of an active ageing program, as the preservation of hearing will also impact on the social life of the exposed workers.

Engineering of fatty acid production and secretion in Saccharomyces cerevisiae

Tese de Doutoramento em Ciências - Especialidade em Biologia

Improvement of in silico strain engineering methods in Saccharomyces cerevisiae

PhD thesis in Bioengineering

Reverse engineering of web applications

The MAP-i Doctoral Program of the Universities of Minho, Aveiro and Porto

Creep behaviour of cracked steel fibre reinforced self-compacting concrete laminar structures

Tese de Doutoramento - Civil Engineering

Tunnel engineering – influence of the type and the quantity of measurements in the back analysis of geomechanical parameters

The monitoring data collected during tunnel excavation can be used in inverse analysis procedures in order to identify more realistic geomechanical parameters that can increase the knowledge about the interested formations. These more realistic parameters can be used in real time to adapt the project to the real structure in situ behaviour. However, monitoring plans are normally designed for safety assessment and not especially for the purpose of inverse analysis. In fact, there is a lack of knowledge about what types and quantity of measurements are needed to succeed in identifying the parameters of interest. Also, the optimisation algorithm chosen for the identification procedure may be important for this matter. In this work, this problem is addressed using a theoretical case with which a thorough parametric study was carried out using two optimisation algorithms based on different calculation paradigms, namely a conventional gradient-based algorithm and an evolution strategy algorithm. Calculations were carried for different sets of parameters to identify several combinations of types and amount of monitoring data. The results clearly show the high importance of the available monitoring data and the chosen algorithm for the success rate of the inverse analysis process.

Search for massive supersymmetric particles decaying to many jets using the ATLAS detector in pp collisions at s√=8TeV

Results of a search for decays of massive particles to fully hadronic final states are presented. This search uses 20.3 fb−1 of data collected by the ATLAS detector in s√=8TeV proton--proton collisions at the LHC. Signatures based on high jet multiplicities without requirements on the missing transverse momentum are used to search for R-parity-violating supersymmetric gluino pair production with subsequent decays to quarks. The analysis is performed using a requirement on the number of jets, in combination with separate requirements on the number of b-tagged jets, as well as a topological observable formed from the scalar sum of the mass values of large-radius jets in the event. Results are interpreted in the context of all possible branching ratios of direct gluino decays to various quark flavors. No significant deviation is observed from the expected Standard Model backgrounds estimated using jet-counting as well as data-driven templates of the total-jet-mass spectra. Gluino pair decays to ten or more quarks via intermediate neutralinos are excluded for a gluino with mass mg~<1TeV for a neutralino mass mχ~01=500GeV. Direct gluino decays to six quarks are excluded for mg~<917GeV for light-flavor final states, and results for various flavor hypotheses are presented.

Engineering modular viral scaffolds for targeted bacterial population editing

Bacteria are central to human health and disease, but existing tools to edit microbial consortia are limited. For example, broad-spectrum antibiotics are unable to precisely manipulate bacterial communities. Bacteriophages can provide highly specific targeting of bacteria, but assembling well-defined phage cocktails solely with natural phages can be a time-, labor- and cost-intensive process. Here, we present a synthetic biology strategy to modulate phage host ranges by engineering phage genomes in Saccharomyces cerevisiae. We used this technology to redirect Escherichia coli phage scaffolds to target pathogenic Yersinia and Klebsiella bacteria, and conversely, Klebsiella phage scaffolds to target E. coli by modular swapping of phage tail components. The synthetic phages achieved efficient killing of their new target bacteria and were used to selectively remove bacteria from multi-species bacterial communities with cocktails based on common viral scaffolds. We envision this approach accelerating phage biology studies and enabling new technologies for bacterial population editing.

Design and validation of a biomechanical bioreactor for cartilage tissue culture

Specific tissues, such as cartilage undergo mechanical solicitation under their normal performance in human body. In this sense, it seems necessary that proper tissue engineering strategies of these tissues should incorporate mechanical solicitations during cell culture, in order to properly evaluate the influence of the mechanical stimulus. This work reports on a user-friendly bioreactor suitable for applying controlled mechanical stimulation - amplitude and frequency - to three dimensional scaffolds. Its design and main components are described, as well as its operation characteristics. The modular design allows easy cleaning and operating under laminar hood. Different protocols for the sterilization of the hermetic enclosure are tested and ensure lack of observable contaminations, complying with the requirements to be used for cell culture. The cell viability study was performed with KUM5 cells.