Spectrum-based energy leak localization

Dissertação de Mestrado em Engenharia Informática

Improving quality of medical service with mobile health software

An increasing number of m-Health applications are being developed benefiting health service delivery. In this paper, a new methodology based on the principle of calm computing applied to diagnostic and therapeutic procedure reporting is proposed. A mobile application was designed for the physicians of one of the Portuguese major hospitals, which takes advantage of a multi-agent interoperability platform, the Agency for the Integration, Diffusion and Archive (AIDA). This application allows the visualization of inpatients and outpatients medical reports in a quicker and safer manner, in addition to offer a remote access to information. This project shows the advantages in the use of mobile software in a medical environment but the first step is always to build or use an interoperability platform, flexible, adaptable and pervasive. The platform offers a comprehensive set of services that restricts the development of mobile software almost exclusively to the mobile user interface design. The technology was tested and assessed in a real context by intensivists.

Refinement and variability techniques in model transformation of software requirements

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

Inovação como fator de competitividade da cadeia de valor da moda

Tese de Doutoramento em Engenharia Têxtil

Innovation in “low-tech” industries: Portuguese footwear industry

ICEIM – International Conference in Entrepreneurship and Innovation Management, Roma, 17-18 de setembro de 2015.

Novel auxetic structures from basalt braided composites for structural applications

Auxetic materials are a class of materials behaves unusual way compared to regular materials i.e. possess negative Poisson’s ratio. This paper reports, the development of auxetic structures based on re-entrant hexagon design from braided composite materials and testing of the mechanical properties (tensile property, auxetic property and work of rupture). The structure developed from glass and basalt braided composite rods and properties were compared between them. Later, the basic re-entrant hexagon design was modified with vertical straight rods to improve their mechanical behavior and their auxetic property was studied. Auxetic behavior of these structures was studied in a tensile testing machine taking video during testing by Digital camera, later the video converted into images to measure the strain values using simple software, ImageJ. Along with experimental work, analytical model was used to calculate the Poisson’s ratio of basic structure and results were compared

Frameworks no desenvolvimento de software: o caso da Elevation da PRIMAVERA BSS

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

Planeamento e controlo de projetos em ambiente colaborativo com recurso a ferramentas BIM

Dissertação de mestrado integrado em Engenharia Civil

Desenvolvimento de um laboratório pedagógico de vias de comunicação na Universidade do Minho

Dissertação de mestrado integrado em Engenharia Civil

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 integração de técnicas BIM nos elementos de projeto de aplicação de sistemas de pré-esforço

Dissertação de mestrado integrado em Engenharia Civil

Definição de indicadores para estimar custos de projeto e análise paramétrica dos eurocódigos estruturais

Dissertação de mestrado integrado em Engenharia Civil

Planeamento e controlo de projetos de construção com recurso ao BIM

Dissertação de mestrado integrado em Engenharia Civil

Influência do fator visão do céu na propagação do ruído em zonas urbanas

Dissertação de mestrado integrado em Engenharia Civil

O estudo da aplicação de acabamentos funcionais de barreira UV em fibras previamente ativadas por plasma

Tese de Doutoramento Engenharia Têxtil