Food Structure Design: Innovation in food structure-properties relationships

This Special Issue gathers selected contributions from the 1st Congress on Food Structure Design, covering most of the topics described above.

Design of mechatronic system for handling bedridden people

Dissertação de mestrado em Engenharia Mecatrónica

Blogs: atores sociais na disseminação da cultura de moda

Dissertação de mestrado em Design de Comunicação de Moda

Adaptive facade systems - review of performance requirements, design approaches, use cases and market needs

The paper reflects the work of COST Action TU1403 Workgroup 3/Task group 1. The aim is to identify research needs from a review of the state of the art of three aspects related to adaptive façade systems: (1) dynamic performance requirements; (2) façade design under stochastic boundary conditions and (3) experiences with adaptive façade systems and market needs.

Moradias sobredimensionadas dos anos 70‐90 na periferia de Braga: processo de transformação

According to the latest census (2011) covering the Portuguese housing stock, there is a considerable number of sub-occupied buildings and most of them were built before the first Portuguese Thermal Code (RCCTE). In view of the objectives of the European Union (20-20-20), it is necessary to contribute to the rehabilitation of existing buildings by promoting the densification of oversized houses, while complying with up-to-date comfort standards and codes. In this sense, this research is aimed to analyse this problem at the outskirts of Braga, by identifying the type-morphology of oversized buildings, assessing the degree of satisfaction and expectations of both owners and inhabitants and developing and testing a systematic design tool. Through the development of an intervention kit, wich systematizes and priorizes design strategies and solutions, the design team can have the necessary decision-making support tool to improve the spacial design of the building whilst considering energy efficency, sustainability and improvemente of interior environmental quality.

Development of procedures for the design, optimization and manufacturing of customized orthopaedic and trauma implants: Geometrical/anatomical modelling from 3D medical imaging

Tese de Doutoramento (Programa Doutoral em Engenharia Biomédica)

Systems biology approaches for the design of novel Saccharomyces cerevisiae winemaking strains for enhanced flavour compounds synthesis

Tese de Doutoramento em Biologia Ambiental e Molecular

Hybrid hypervisor partially deployed on FPGA

Tese de Doutoramento em Engenharia Eletrónica e 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.

Towards the design and implementation of aspect-oriented programming for spreadsheets

A spreadsheet usually starts as a simple and singleuser software artifact, but, as frequent as in other software systems, quickly evolves into a complex system developed by many actors. Often, different users work on different aspects of the same spreadsheet: while a secretary may be only involved in adding plain data to the spreadsheet, an accountant may define new business rules, while an engineer may need to adapt the spreadsheet content so it can be used by other software systems.Unfortunately,spreadsheetsystemsdonotoffermodular mechanisms, and as a consequence, some of the previous tasks may be defined by adding intrusive “code” to the spreadsheet. In this paper we go through the design and implementation of an aspect-oriented language for spreadsheets so that users can work on different aspects of a spreadsheet in a modular way. For example, aspects can be defined in order to introduce new business rules to an existing spreadsheet, or to manipulate the spreadsheet data to be ported to another system. Aspects are defined as aspect-oriented program specifications that are dynamically woven into the underlying spreadsheet by an aspect weaver. In this aspect-oriented style of spreadsheet development, differentusers develop,orreuse,aspects withoutaddingintrusive code to the original spreadsheet. Such code is added/executed by the spreadsheet weaving mechanism proposed in this paper.

Towards an engine for coordination-based architectural reconfigurations

Software reconfigurability became increasingly relevant to the architectural process due to the crescent dependency of modern societies on reliable and adaptable systems. Such systems are supposed to adapt themselves to surrounding environmental changes with minimal service disruption, if any. This paper introduces an engine that statically applies reconfigurations to (formal) models of software architectures. Reconfigurations are specified using a domain specific language— ReCooPLa—which targets the manipulation of software coordinationstructures,typicallyusedinservice-orientedarchitectures(soa).Theengine is responsible for the compilation of ReCooPLa instances and their application to the relevant coordination structures. The resulting configurations are amenable to formal analysis of qualitative and quantitative (probabilistic) properties.

On the verification of architectural reconfigurations

In a reconfigurable system, the response to contextual or internal change may trigger reconfiguration events which, on their turn, activate scripts that change the system׳s architecture at runtime. To be safe, however, such reconfigurations are expected to obey the fundamental principles originally specified by its architect. This paper introduces an approach to ensure that such principles are observed along reconfigurations by verifying them against concrete specifications in a suitable logic. Architectures, reconfiguration scripts, and principles are specified in Archery, an architectural description language with formal semantics. Principles are encoded as constraints, which become formulas of a two-layer graded hybrid logic, where the upper layer restricts reconfigurations, and the lower layer constrains the resulting configurations. Constraints are verified by translating them into logic formulas, which are interpreted over models derived from Archery specifications of architectures and reconfigurations. Suitable notions of bisimulation and refinement, to which the architect may resort to compare configurations, are given, and their relationship with modal validity is discussed.

Design of bio-based supramolecular structures through self-assembly of α-lactalbumin and lysozyme

Bovine α-lactalbumin (α-La) and lysozyme (Lys), two globular proteins with highly homologous tertiary structures and opposite isoelectric points, were used to produce bio-based supramolecular structures under various pH values (3, 7 and 11), temperatures (25, 50 and 75 °C) and times (15, 25 and 35 min) of heating. Isothermal titration calorimetry experiments showed protein interactions and demonstrated that structures were obtained from the mixture of α-La/Lys in molar ratio of 0.546. Structures were characterized in terms of morphology by transmission electron microscopy (TEM) and dynamic light scattering (DLS), conformational structure by circular dichroism and intrinsic fluorescence spectroscopy and stability by DLS. Results have shown that protein conformational structure and intermolecular interactions are controlled by the physicochemical conditions applied. The increase of heating temperature led to a significant decrease in size and polydispersity (PDI) of α-La–Lys supramolecular structures, while the increase of heating time, particularly at temperatures above 50 °C, promoted a significant increase in size and PDI. At pH 7 supramolecular structures were obtained at microscale – confirmed by optical microscopy – displaying also a high PDI (i.e. > 0.4). The minimum size and PDI (61 ± 2.3 nm and 0.14 ± 0.03, respectively) were produced at pH 11 for a heating treatment of 75 °C for 15 min, thus suggesting that these conditions could be considered as critical for supramolecular structure formation. Its size and morphology were confirmed by TEM showing a well-defined spherical form. Structures at these conditions showed to be stable at least for 30 or 90 days, when stored at 25 or 4 °C, respectively. Hence, α-La–Lys supramolecular structures showed properties that indicate that they are a promising delivery system for food and pharmaceutical applications.

Introducing biomimetic approaches to materials development and product design for engineering students

In this paper, we present a new course entitled “Biomimicry: from life to nanotechnological innovations” at the Mines Nancy Engineering School, Nancy, France, and explain how we developed a specific curriculum covering biomimicry. We discuss strategies that can be followed by teachers to explain selected contents in the multi-disciplinary field of biomimicry and/or bioinspiration to undergraduate students and how practical classroom activities can be conducted as individual or team work. We hope that sharing our experience will help teachers and senior researchers disseminate useful concepts and real examples of biomimetic principles and tools for the development of new materials, new/improved design and fabrication strategies, and innovation methodologies.

A proteção cumulativa do design pelo Direito de Autor e pelo Direito da Propriedade Industrial: o caso especial do contrato de trabalho

Dissertação de mestrado em Direito dos Contratos e das Empresas