A modular traffic sampling architecture for flexible network measurements

Dissertação de Mestrado (Programa Doutoral em Informática)

Topography of aligned PNIPAm nanogels determines cell motility and cytoskeleton architecture

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Engenharia Clínica)

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.

A novel architecture of a bidirectional bridgeless interleaved converter for EV battery chargers

This paper presents a novel architecture of a bidirectional bridgeless interleaved converter for battery chargers of electric vehicles (EVs). The proposed converter is composed by two power stages: an ac-dc converter that is used to interface the power grid and the dc-link, and a dc-dc converter that is used to interface the dc-link and the batteries. The ac-dc converter is an interleaved bridgeless bidirectional boost-type converter and the dc-dc converter is a bidirectional buck-boost-type converter. The proposed converter works with sinusoidal grid current and with high power factor for all operating power levels, and in both grid-to-vehicle (G2V) and vehicle-to-grid (V2G) operation modes. In the paper is described in detail the proposed converter for EV battery chargers: the circuit topology, the principle of operation, the power control theory, and the current control strategy. Several simulation results for both G2V and V2G operation modes are presented.

Affordable prefabricated modular houses using cement and polymer based materials and advanced design tools

By taking advantage of the appropriate use of cement and polymer based materials and advanced computational tools, a pre-fabricated affordable house was built in a modular system. Modular system refers to the complete structure that is built-up by assembling pre-fabricated sandwich panels composed of steel fibre reinforced self-compacting concrete (SFRSCC) outer layers that are connected by innovative glass fibre reinforced polymer (GFRP) connectors, resulting in a panel with adequate structural, acoustic, and thermal insulation properties. The modular house was prepared for a typical family of six members, but its living area can be easily increased by assembling other pre-fabricated elements. The speed of construction and the cost of the constructive elements make these houses competitive when compared to traditional solutions. In this paper the relevant research subjacent to this project (LEGOUSE) is briefly described, as well as the construction process of the built real scale prototype.

The domestic architecture of Bracara Augusta and its evolution

The excavations carried out under the rescue “Project of Bracara Augusta” have generated significant amounts of data that enabled the reconstruction of Bracara Augusta urban evolution and the characterization of its buildings and blocks. This paper aims to enhance the existing data related with the domestic architecture of the roman town, which was mainly represented by the houses of domus type.

In-line rheo-optical characterization during small-scale polymer processing and compounding

As increasingly more sophisticated materials and products are being developed and times-to-market need to be minimized, it is important to make available fast response characterization tools using small amounts of sample, capable of conveying data on the relationships between rheological response, process-induced material structure and product characteristics. For this purpose, a single / twin-screw mini-extrusion system of modular construction, with well-controlled outputs in the range 30-300 g/h, was coupled to a in- house developed rheo-optical slit die able to measure shear viscosity and normal-stress differences, as well as performing rheo-optical experiments, namely small angle light scattering (SALS) and polarized optical microscopy (POM). In addition, the mini-extruder is equipped with ports that allow sample collection, and the extrudate can be further processed into products to be tested later. Here, we present the concept and experimental set-up [1, 2]. As a typical application, we report on the characterization of the processing of a polymer blend and of the properties of extruded sheets. The morphological evolution of a PS/PMMA industrial blend along the extruder, the flow-induced structures developed and the corresponding rheological characteristics are presented, together with the mechanical and structural characteristics of produced sheets. The application of this experimental tool to other material systems will also be discussed.

A case study of product usability of a pelvic device used by children with neuromotor impairments

On assistive technology targeted for people with activity limitations and participation, usability issues becomes an essential tool to ensure that the product has the appropriate ergonomics characteristics, in other words, ensure that it fits the specific user´s needs. The aim of this study was to analyze the usability of an adaptive seating device for children with neuromotor impairments, by using kinematic indicators of the reaching movement. The study sample consisted of 13 children with associated neurologic conditions. The tests were developed by using a wooden bench height adjustable, integrated with the adaptive seating device under study, and a system to capture three-dimensional image, called Qualisys Track Manager. The following reaching kinematics variables were measured: maximum reaching velocity, movement duration, index of curvature, and unit movements. It was found that the use of the adaptive seating device had a positive impact on upper limb function in children with neuromotor impairments. It was also noticed an improvement in the reaching movement kinematics, which was statistical significant for the index of curvature and unit movements. As main conclusions, it is possible to point out some positive effects that the product under study seems to have on users' movements, such as the improved movement quality of the upper limb, which could mean a better postural adjustments and higher trunk postural control. By identifying new measures of usability in terms of effectiveness and efficiency for the analyzeddevice, the results obtained may serve also as performance indicators, providing new data that may help to improve the product and eventually modifying it, in order to turn it more compatible with the needs of the considered target population.

Refinement and variability techniques in model transformation of software requirements

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

Generating timed trajectories foran autonomous robot

Tese de Doutoramento Programa Doutoral em Engenharia Electrónica e Computadores

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.

Different module placements in a modular façade system for natural ventilation

Nowadays natural ventilation has gained prominence because its correct use can reduce energy consumption for cooling systems and improve thermal comfort among users. In this paper, we report on the modelling initiative, based on the wind tunnel tests that were carried out for the determination of the influence of natural ventilation in buildings. Indeed, the renewal of air in a closed environment without using an air conditioning system with mechanical elements can lead to energy savings and, in addition, provide air quality.The wind tunnel tests were carried out by varying the positioning of six ventilation modules in the façade system configuration. The modules were positioned below the window-sill (ventilated window-sill) as well as separately above and below the façade. The wind speed measurements were taken inside and outside the model for the different façades configurations to evaluate the best performance in relation to natural ventilation. The results supported the positioning of the six ventilation modules below the window-sill, forming a â ventilated window-sillâ as the most effective natural ventilation solution.

Study of natural ventilation for a modular façade system in wind tunnel tests

Wind tunnel tests are a reliable tool to determine the effect of natural ventilation on buildings. This paper presents results of wind tunnel tests conducted to evaluate the influence of ventilation modules positioning on a façade system. Modules positioning was modified, resulting in different façade configurations. The tests were carried out with the use of a model, varying the position of the ventilation modules in the façade configuration. The cases tested were six ventilation modules positioned below the window-sill (ventilated window-sill), and three ventilation modules positioned above and below the façade. The façade system proposed was movable and interchangeable so that the same basic model could be used to test the possibilities for ventilation. Wind speed measurements were taken inside and outside the model for the different façades configurations to evaluate the best performance in relation to natural ventilation. Singleâ sided and Cross ventilation were considered for wind speed measurements. Results show the use of six ventilation modules positioned below the window-sill, forming "a ventilated window-sill" is the best solution in terms of natural ventilation.

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.

Design modular: Solução sustentável aplicada aos resíduos limpos na indústria do couro

ISSN 19820941