Avaliação de vigas de madeira de Castanho tendo por base a classificação visual e ensaios não destrutivos

Dissertação de mestrado Internacional em Sustentabilidade do Ambiente Construído

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.

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.

From software extensions to product lines of dataflow programs

Abstract Dataflow programs are widely used. Each program is a directed graph where nodes are computations and edges indicate the flow of data. In prior work, we reverse-engineered legacy dataflow programs by deriving their optimized implementations from a simple specification graph using graph transformations called refinements and optimizations. In MDE-speak, our derivations were PIM-to-PSM mappings. In this paper, we show how extensions complement refinements, optimizations, and PIM-to-PSM derivations to make the process of reverse engineering complex legacy dataflow programs tractable. We explain how optional functionality in transformations can be encoded, thereby enabling us to encode product lines of transformations as well as product lines of dataflow programs. We describe the implementation of extensions in the ReFlO tool and present two non-trivial case studies as evidence of our work’s generality

An integrated model for simulation of construction phasing of arch concrete dams

Dissertação de mestrado integrado em Civil Engineering

Implementação de metodologias BIM na Direção de Engenharia de Barragens da EDP: casos de estudo de projeto de estruturas em obras hidroelétricas

Dissertação de mestrado integrado em Engenharia Civil

Promoção da motivação e da autonomia com recurso às tecnologias de informação e comunicação em alunos normovisuais e em alunos com deficiência visual

Relatório de estágio de mestrado em Ensino de Informática

A comunicação online: a página Web como o BIO Empresarial: estratégias de comunicação visual e web design

Dissertação de mestrado em Ciências da Comunicação (área de especialização em Audiovisuais e Multimédia)

Hierarchical modelling of timber reference properties using probabilistic methods: Maximum Likelihood Method, Bayesian Methods and Probability Networks

In recent decades, an increased interest has been evidenced in the research on multi-scale hierarchical modelling in the field of mechanics, and also in the field of wood products and timber engineering. One of the main motivations for hierar-chical modelling is to understand how properties, composition and structure at lower scale levels may influence and be used to predict the material properties on a macroscopic and structural engineering scale. This chapter presents the applicability of statistic and probabilistic methods, such as the Maximum Likelihood method and Bayesian methods, in the representation of timber’s mechanical properties and its inference accounting to prior information obtained in different importance scales. These methods allow to analyse distinct timber’s reference properties, such as density, bending stiffness and strength, and hierarchically consider information obtained through different non, semi or destructive tests. The basis and fundaments of the methods are described and also recommendations and limitations are discussed. The methods may be used in several contexts, however require an expert’s knowledge to assess the correct statistic fitting and define the correlation arrangement between properties.

Mother's anxiety and depression during the third pregnancy trimester and neonate's mother versus stranger's face/voice visual preference

Background: Neonates show visual preference for their mother's face/voice and shift their attention from their mother to a stranger's face/voice after habituation. Aim: To assess neonate's mother versus stranger's face/voice visual preference, namely mother's anxiety and depression during the third pregnancy trimester and neonate's: 1) visual preference for the mother versus the stranger's face/voice (pretest visual preference), 2) habituation to the mother's face/voice and 3) visual preference for the stranger versus the mother's face/voice (posttest visual preference). Method: Mothers (N=100) filled out the Edinburgh Postnatal Depression Scale (EPDS) and the State Anxiety Inventory (STAI) both at the third pregnancy trimester and childbirth, and the “preference and habituation to the mother's face/voice versus stranger” paradigm was administered to their newborn 1 to 5 days after childbirth. Results: Neonates of anxious/depressed mothers during the third pregnancy trimester contrarily to neonates of non-anxious/non-depressed mothers did not look 1) longer at their mother's than at the stranger's face/voice at the pretest visual preference (showing no visual preference for the mother), nor 2) longer at the stranger's face/voice in the posttest than in the pretest visual preference (not improving their attention to the stranger's after habituation). Conclusion: Infants exposed to mother's anxiety/depression at the third gestational trimester exhibit less perceptual/social competencies at birth.