Refinement and variability techniques in model transformation of software requirements

Tese de Doutoramento em Tecnologias e Sistemas de Informação

The effects of sodium hypochlorite against selected drinking water-isolated bacteria in planktonic and sessile states

Chlorine is the most commonly used agent for general disinfection, particularly for microbial growth control in drinking water distribution systems. The goals of this study were to understand the effects of chlorine, as sodium hypochlorite (NaOCl), on bacterial membrane physicochemical properties (surface charge, surface tension and hydrophobicity) and on motility of two emerging pathogens isolated from drinking water, Acinetobacter calcoaceticus and Stenotrophomonas maltophilia. The effects of NaOCl on the control of single and dual-species monolayer adhered bacteria (2 h incubation) and biofilms (24 h incubation) was also assessed. NaOCl caused significant changes on the surface hydrophobicity and motility of A. calcoaceticus, but not of S. maltophilia. Planktonic and sessile S. maltophilia were significantly more resistant to NaOCl than A. calcoaceticus. Monolayer adhered co-cultures of A. calcoaceticus-S. maltophilia were more resilient than the single species. Oppositely, dual species biofilms were more susceptible to NaOCl than their single species counterparts. In general, biofilm removal and killing demonstrated to be distinct phenomena: total bacterial viability reduction was achieved even if NaOCl at the higher concentrations had a reduced removal efficacy, allowing biofilm reseed. In conclusion, understanding the antimicrobial susceptibility of microorganisms to NaOCl can contribute to the design of effective biofilm control strategies targeting key microorganisms, such as S. maltophilia, and guarantying safe and high-quality drinking water. Moreover, the results reinforce that biofilms should be regarded as chronic contaminants of drinking water distribution systems and accurate methods are needed to quantify their presence as well as strategies complementary/alternative to NaOCl are required to effectively control the microbiological quality of drinking water.

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

Doctoral Program in Computer Science

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.

Thermal conditions affecting heat transfer in FDM/FFE: a contribution towards the numerical modelling of the process

The performance of parts produced by Free Form Extrusion (FFE), an increasingly popular additive manufacturing technique, depends mainly on their dimensional accuracy, surface quality and mechanical performance. These attributes are strongly influenced by the evolution of the filament temperature and deformation during deposition and solidification. Consequently, the availability of adequate process modelling software would offer a powerful tool to support efficient process set-up and optimisation. This work examines the contribution to the overall heat transfer of various thermal phenomena developing during the manufacturing sequence, including convection and radiation with the environment, conduction with support and between adjacent filaments, radiation between adjacent filaments and convection with entrapped air. The magnitude of the mechanical deformation is also studied. Once this exercise is completed, it is possible to select the material properties, process variables and thermal phenomena that should be taken in for effective numerical modelling of FFE.

Engineering of fatty acid production and secretion in Saccharomyces cerevisiae

Tese de Doutoramento em Ciências - Especialidade em Biologia

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.

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.

A demonstration case on the derivation of process-level logical architectures for ambient assisted living ecosystems

When representing the requirements for an intended software solution during the development process, a logical architecture is a model that provides an organized vision of how functionalities behave regardless of the technologies to be implemented. If the logical architecture represents an ambient assisted living (AAL) ecosystem, such representation is a complex task due to the existence of interrelated multidomains, which, most of the time, results in incomplete and incoherent user requirements. In this chap- ter, we present the results obtained when applying process-level modeling techniques to the derivation of the logical architecture for a real industrial AAL project. We adopt a V-Model–based approach that expresses the AAL requirements in a process-level perspec- tive, instead of the traditional product-level view. Additionally, we ensure compliance of the derived logical architecture with the National Institute of Standards and Technology (NIST) reference architecture as nonfunctional requirements to support the implementa- tion of the AAL architecture in cloud contexts.

Numerical simulation of the reflow soldering process

Dissertação de mestrado integrado em Mechanical Engineering

Metabolic engineering with multi-objective optimization of kinetic models

Kinetic models have a great potential for metabolic engineering applications. They can be used for testing which genetic and regulatory modifications can increase the production of metabolites of interest, while simultaneously monitoring other key functions of the host organism. This work presents a methodology for increasing productivity in biotechnological processes exploiting dynamic models. It uses multi-objective dynamic optimization to identify the combination of targets (enzymatic modifications) and the degree of up- or down-regulation that must be performed in order to optimize a set of pre-defined performance metrics subject to process constraints. The capabilities of the approach are demonstrated on a realistic and computationally challenging application: a large-scale metabolic model of Chinese Hamster Ovary cells (CHO), which are used for antibody production in a fed-batch process. The proposed methodology manages to provide a sustained and robust growth in CHO cells, increasing productivity while simultaneously increasing biomass production, product titer, and keeping the concentrations of lactate and ammonia at low values. The approach presented here can be used for optimizing metabolic models by finding the best combination of targets and their optimal level of up/down-regulation. Furthermore, it can accommodate additional trade-offs and constraints with great flexibility.

Micro/nano-structured superhydrophobic surfaces in the biomedical field: part I: basic concepts and biomimetic approaches.

Inspired by natural structures, great attention has been devoted to the study and development of surfaces with extreme wettable properties. The meticulous study of natural systems revealed that the micro/nano-topography of the surface is critical to obtaining unique wettability features, including superhydrophobicity. However, the surface chemistry also has an important role in such surface characteristics. As the interaction of biomaterials with the biological milieu occurs at the surface of the materials, it is expected that synthetic substrates with extreme and controllable wettability ranging from superhydrophilic to superhydrophobic regimes could bring about the possibility of new investigations of cellâ material interactions on nonconventional surfaces and the development of alternative devices with biomedical utility. This first part of the review will describe in detail how proteins and cells interact with micro/nano-structured surfaces exhibiting extreme wettabilities.

Highly robust chitosan hydrogels via a fast, simple and biocompatible dual crosslinking-based process

Load-bearing soft tissues such as cartilage, blood vessels and muscles are able to withstand a remarkable compressive stress of several MPa without fracturing. Interestingly, most of these structural tissues are mainly composed of water and in this regard, hydrogels, as highly hydrated 3D-crosslinked polymeric networks, constitute a promising class of materials to repair lesions on these tissues. Although several approaches can be employed to shape the mechanical properties of artificial hydrogels to mimic the ones found on biotissues, critical issues regarding, for instance, their biocompatibility and recoverability after loading are often neglected. Therefore, an innovative hydrogel device made only of chitosan (CHI) was developed for the repair of robust biological tissues. These systems were fabricated through a dual-crosslinking process, comprising a photo- and an ionic-crosslinking step. The obtained CHIbased hydrogels exhibited an outstanding compressive strength of ca. 20 MPa at 95% of strain, which is several orders of magnitude higher than those of the individual components and close to the ones found in native soft tissues. Additionally, both crosslinking processes occur rapidly and under physiological conditions, enabling cellsâ encapsulation as confirmed by high cell survival rates (ca. 80%). Furthermore, in contrast with conventional hydrogels, these networks quickly recover upon unloading and are able to keep their mechanical properties under physiological conditions as result of their non-swell nature.