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.

Comparison of single and multi-objective evolutionary algorithms for robust link-state routing

Traffic Engineering (TE) approaches are increasingly impor- tant in network management to allow an optimized configuration and resource allocation. In link-state routing, the task of setting appropriate weights to the links is both an important and a challenging optimization task. A number of different approaches has been put forward towards this aim, including the successful use of Evolutionary Algorithms (EAs). In this context, this work addresses the evaluation of three distinct EAs, a single and two multi-objective EAs, in two tasks related to weight setting optimization towards optimal intra-domain routing, knowing the network topology and aggregated traffic demands and seeking to mini- mize network congestion. In both tasks, the optimization considers sce- narios where there is a dynamic alteration in the state of the system, in the first considering changes in the traffic demand matrices and in the latter considering the possibility of link failures. The methods will, thus, need to simultaneously optimize for both conditions, the normal and the altered one, following a preventive TE approach towards robust configurations. Since this can be formulated as a bi-objective function, the use of multi-objective EAs, such as SPEA2 and NSGA-II, came nat- urally, being those compared to a single-objective EA. The results show a remarkable behavior of NSGA-II in all proposed tasks scaling well for harder instances, and thus presenting itself as the most promising option for TE in these scenarios.

A new and efficient synthesis of N3-cycloalkylamino-6,8-diaminopurines

[Excerpt] The purine core is a privileged scaffold in medicinal chemistry and the biological relevance of purine derivatives makes them attractive targets in the preparation of combinatorial libraries.1,2 In particular, there is a great interest in the synthesis of 8-substituted purines due to their important potential as antiviral and anticancer agents.3 Reports on 8-aminopurines are limited and general methods to obtain these purine derivatives are still needed.4 Cyclic amines and hydrazines are key structural motifs in various bioactive agents.5 Here we report a novel, efficient and inexpensive method for the synthesis of 6,8-diaminopurines 4 incorporating cycloalkylamino substituents at N3position of the purine ring. (...)

Sistema de apoio a rondas de segurança

Dissertação de mestrado integrado em Engenharia Eletrónica Industrial e Computadores

Development of advanced cell/tissue culture systems, based on enhanced polymeric scaffolds and sophisticated bioreactors, for tissue engineering applications

Programa Doutoral em Engenharia Biomédica

A network approach to brain aging through multimodal neuroimaging

Tese de Doutoramento em Ciências da Saúde.