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.

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.

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

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.

A Casa do Côto: entre a definição medieval e o desígnio contemporâneo

Dissertação de mestrado integrado em Arquitectura

A vegetação na envolvente exterior dos edifícios: impactos, condicionantes e estratégias de intervenção ecoeficientes

Dissertação de mestrado integrado em Arquitectura

3D representation of the urban evolution of Braga using the cityengine tool

The morphological evolution of the city of Braga has been the subject of several studies focusing on different urban areas in different periods. Using the accumulated knowledge provided by the available archaeological, historical and iconographic data of Braga, from the Roman times to the nineteenth century, we intend to present a working methodology for 3D representation of urban areas and its evolution, using the CityEngine ESRI tool. Different types of graphic and cartographic data will be integrated in an archaeological information system for the characterization of urban buildings. Linking this information system to the rules of characterization of urban spaces through the CityEngine tool, we can create the 3D urban spaces and their changes. The building characterization rules include several parameters of architectural elements that can be dynamically changed according the latest information. This methodology will be applied to the best known areas within of the city allowing the creation of different and dynamic layouts. Considerations about the concepts, challenges and constraints of using the CityEngine tool for recording and representing urban evolution knowledge will be discussed.

Processos de melhoria social: a requalificação do Bairro Social de Santa Tecla

Dissertação de mestrado integrado em Arquitectura

Se tu eliminares o conto de fadas da realidade eu sou contra ti: disse Kahn

Dissertação de mestrado integrado em Arquitetura (área de especialização em Cultura Arquitetónica)

Património natural e arquitectónico: plano de intervenção na aldeia de Ermelo

Dissertação de mestrado integrado em Arquitectura (área de especialização em Cidade e Território)