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.

Desenvolvendo aprendizagens integradas

Relatório de estágio de mestrado em Educação Pré-Escolar

A aplicabilidade pedagógica do canto no ensino do violoncelo

Relatório de estágio de mestrado em Ensino de Música

Typology based method for choosing old masonry walls inspection procedures

The diagnosis of historic masonry walls is an intricate and complex field and has been an object of research for many years. This paper aims to propose practical methodologies for the diagnosis of historic masonry walls, specifically based on their typological characteristics. In order to develop such procedures, information relating to historic masonry typologies in Portugal, classified as rural, urban and military was gathered and techniques for the assessment of historic masonry were studied. All information was integrated to develop a pattern typology oriented methodology. Developed methodology was tested and validated in a small diagnosis campaign carried out in the Guimarães Castle. Methodology was proven to be advantageous and although the study is limited and focused on the Portuguese architectural specificities, it still holds global classifications, and therefore can be useful for any diagnosis procedure of a historic masonry wall.

Documentação pedagógica: estratégia de escuta e resposta a diferentes interesses em interação

Relatório de estágio de mestrado em Educação Pré-Escolar

Evaluation of seismic vulnerability assessment parameters for portuguese vernacular constructions with nonlinear numerical analysis

Considering that vernacular architecture may bear important lessons on hazard mitigation and that well-constructed examples showing traditional seismic resistant features can present far less vulnerability than expected, this study aims at understanding the resisting mechanisms and seismic behavior of vernacular buildings through detailed finite element modeling and nonlinear static (pushover) analysis. This paper focuses specifically on a type of vernacular rammed earth constructions found in the Portuguese region of Alentejo. Several rammed earth constructions found in the region were selected and studied in terms of dimensions, architectural layout, structural solutions, construction materials and detailing and, as a result, a reference model was built, which intends to be a simplified representative example of these constructions, gathering the most common characteristics. Different parameters that may affect the seismic response of this type of vernacular constructions have been identified and a numerical parametric study was defined aiming at evaluating and quantifying their influence in the seismic behavior of this type of vernacular buildings. This paper is part of an ongoing research which includes the development of a simplified methodology for assessing the seismic vulnerability of vernacular buildings, based on vulnerability index evaluation methods.

Seismic-resistant building practices resulting from local seismic culture

Considering that vernacular architecture may bear important lessons on hazard mitigation, this chapter focuses on the European Mediterranean countries and studies traditional seismic-resistant architectural elements and techniques that local populations developed to prevent or repair earthquake damage. This area was selected as a case study because, as a highly seismic region, it has suffered the effect of many earthquakes along the history and, thus, regions within this area are prone to have developed a Local Seismic Culture. After reviewing seismic resistant construction concepts, a wide range of traditional construction solutions that, in many cases, have shown to improve the seismic performance of vernacular constructions of these regions is presented, as a contribution to the general overview of retrofitting building systems provided in this book. The main motivation is that most of these techniques can be successfully applied to preserve and to retrofit surviving examples without prejudice for their identity.

Princípios para a reabilitação sustentável low cost de edifícios antigos: estudo de um quarteirão no centro da cidade do Porto

Dissertação de mestrado em Construção e Reabilitação Sustentável

O ensino de canto nos ramos genérico e vocacional no 1º ciclo do ensino básico: um estudo de caso múltiplo

Tese de Doutoramento em Estudos da Criança (área de especialização em Educação Musical).

Álbuns narrativos e aprendizagens no pré-escolar. Um estudo de caso

Tese de Doutoramento em Estudos da Criança (área de especialização em Literatura para a Infância).

Designing cnc knit for hybrid membrane and bending active structures

Recent advances in computation allow for the integration of design and simulation of highly interrelated systems, such as hybrids of structural membranes and bending active elements. The engaged complexities of forces and logistics can be mediated through the development of materials with project specific properties and detailing. CNC knitting with high tenacity yarn enables this practice and offers an alternative to current woven membranes. The design and fabrication of an 8m high fabric tower through an interdisciplinary team of architects, structural and textile engineers, allowed to investigate means to design, specify, make and test CNC knit as material for hybrid structures in architectural scale. This paper shares the developed process, identifies challenges, potentials and future work.

Towards high performance and multi-functional structural membranes using advanced fibrous and textile materials

Scientific and technological advancements in the area of fibrous and textile materials have greatly enhanced their application potential in several high-end technical and industrial sectors including construction, transportation, medical, sports, aerospace engineering, electronics and so on. Excellent performance accompanied by light-weight, mechanical flexibility, tailor-ability, design flexibility, easy fabrication and relatively lower cost are the driving forces towards wide applications of these materials. Cost-effective fabrication of various advanced and functional materials for structural parts, medical devices, sensors, energy harvesting devices, capacitors, batteries, and many others has been possible using fibrous and textile materials. Structural membranes are one of the innovative applications of textile structures and these novel building skins are becoming very popular due to flexible design aesthetics, durability, lightweight and cost benefits. Current demand on high performance and multi-functional materials in structural applications has motivated to go beyond the basic textile structures used for structural membranes and to use innovative textile materials. Structural membranes with self-cleaning, thermoregulation and energy harvesting capability (using solar cells) are examples of such recently developed multi-functional membranes. Besides these, there exist enormous opportunities to develop wide varieties of multi-functional membranes using functional textile materials. Additionally, it is also possible to further enhance the performance and functionalities of structural membranes using advanced fibrous architectures such as 2D, 3D, hybrid, multi-layer and so on. In this context, the present paper gives an overview of various advanced and functional fibrous and textile materials which have enormous application potential in structural membranes.

Arquitecturas imaginárias. Espaço real e ilusório no Barroco português

Tese de Doutoramento em Arquitectura / Cultura Arquitectónica.

Educação e ambiguidades da autonomização: para uma pedagogia crítica da promoção do indivíduo autónomo

O presente artigo, confrontando a educação com o desiderato da autonomização, pretende analisar as ambiguidades a que esse confronto dá hoje origem e estabelecer, mediante a explicitação de uma conceção contra-hegemónica de autonomização, as bases e as coordenadas de uma pedagogia crítica da promoção do indivíduo autónomo, que seja simultaneamente humanista, emancipadora e transformadora tanto da realidade do sujeito quanto da realidade do contexto. A estrutura narrativa, em consonância com esse amplo propósito, articula as seguintes dimensões: a educação e a normatividade da autonomização; as ambiguidades da autonomização: sentidos divergentes de fazer educação para a autonomia; e, por fim, o empowerment emancipatório e transformador: vetor da educação enquanto autonomização contra-hegemónica. A conclusão aponta as linhas diretoras da construção de uma pedagogia crítica do indivíduo autónomo, assumida nas vertentes de emancipação individual e transformação social.