Estudo da influência cultural no Design de Calçado

Dissertação de mestrado em Design e Marketing

Contribution to the marine propeller hydrodynamic design for small boats in the Amazon region

ABSTRACTIn the Amazon, river navigation is very important due to the length of navigable rivers and the lack of alternative road networks. Boats usually operate in unfavorable conditions, since there is no hydrodynamic relation among propellers, geometry, and the dimensions of the boat hull. Currently, there is no methodology for propeller hydrodynamic optimization with low computational cost and easy implementation in the region. The aim of this work was to develop a mathematical approach for marine propeller design applied to boats typically found on Amazon rivers. We developed an optimized formulation for the chord and pitch angle distributions, taking into account the classical model of Glauert. A theoretical analysis for the thrust and torque relationships on an annular control volume was performed. The mathematical model used was based on the Blade Element Momentum Theory (BEMT). We concluded that the new methodology proposed in this work demonstrates a good physical behavior when compared with the theory of Glauert and the experimental data of the Wageningen B3-50 propeller.

Metodologia da investigação em cibercultura I: Design da pesquisa

Linguagem da Ciência e a problematização na área da Cibercultura: O objecto de estudos científico; conceitos e teoria; Conceitos principais; A validade dos conceitos; Metodologia e técnicas sociológicas; Fontes da pesquisa; Agenda da pesquisa; Metodologias Sociológicas clássicas e emergentes; Métodos e técnicas de pesquisa sobre a Cibercultura; Exemplo de um projeto de investigação: a Comunicação Pública da Arte em museus físicos e virtuais.

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.