Structural analysis of the masonry envelope of Ica Cathedral, Peru

Dissertação de mestrado em Structural Analysis of Monuments and Historical Constructions

Sustainability assessment of envelope wall solutions using MAXergy methodology

Projeto de investigação integrado de International Master in Sustainable Built Environment

Cálculo dos níveis ótimos de rentabilidade para o desempenho energético de habitações residenciais unifamiliares objeto de reabilitação

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

Analysis of portuguese residential buildings’ needs and proposed solutions

The Portuguese housing sector experienced a significant growth throughout the 20th century, particularly in the last quarter, after the democratic revolution in 1974. In fact, the number of buildings built between 1970 and 1990 is more than one third of the buildings actually existing in Portugal. Therefore most of them were built before the publication of the first regulation concerning the energy efficiency in buildings. Regarding this scenario, it would be expected that rehabilitation activities would represent most of the current construction activities. However, given some remaining barriers from old social policies, this situation is not observed; actually building retrofitting is the least significant sector, accentuating the degradation level of major part of the Portuguese housing stock. Several studies show that the main problems are found in the buildings envelope elements, such as roofs and façades. Based on this context, the aim of this paper is to introduce some examples of building retrofitting systems that, adapted to the Portuguese main needs and requirements may represent sustainable solutions to overcome the identified needs of Portuguese buildings' envelope.

On simple bounds for eigenvalues of symmetric tridiagonal matrices

How much can be said about the location of the eigenvalues of a symmetric tridiagonal matrix just by looking at its diagonal entries? We use classical results on the eigenvalues of symmetric matrices to show that the diagonal entries are bounds for some of the eigenvalues regardless of the size of the off-diagonal entries. Numerical examples are given to illustrate that our arithmetic-free technique delivers useful information on the location of the eigenvalues.

Structural analysis of the timber structure of Ica Cathedral, Peru

Dissertação de mestrado em Structural Analysis of Monuments and Historical Constructions

Study of grapevine solute transporters involved in berry quality. A biochemical and molecular approach

Tese de Doutoramento em Biologia de Plantas

Estufa de aproveitamento solar térmico para reabilitação de edifícios

Dissertação de mestrado em sustentabilidade do ambiente construido

Avaliação da sustentabilidade de soluções construtivas para a reabilitação da envolvente exterior dos edifícios

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

Rentabilidade económica de medidas de melhoria do desempenho energético e de produção - utilização de energias renováveis

Dissertação de mestrado integrado em Engenharia Civil

Refinement in hybridised institutions

Hybrid logics, which add to the modal description of transition structures the ability to refer to specific states, offer a generic framework to approach the specification and design of reconfigurable systems, i.e., systems with reconfiguration mechanisms governing the dynamic evolution of their execution configurations in response to both external stimuli or internal performance measures. A formal representation of such systems is through transition structures whose states correspond to the different configurations they may adopt. Therefore, each node is endowed with, for example, an algebra, or a first-order structure, to precisely characterise the semantics of the services provided in the corresponding configuration. This paper characterises equivalence and refinement for these sorts of models in a way which is independent of (or parametric on) whatever logic (propositional, equational, fuzzy, etc) is found appropriate to describe the local configurations. A Hennessy–Milner like theorem is proved for hybridised logics.