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.

Incorporation of hybrid phase change materials in plastering mortars for increased energy efficiency in buildings

Tese de Doutoramento em Engenharia Civil.

A case study on the conversion of an internal combustion engine vehicle into an electric vehicle

This paper presents the conversion process of a traditional Internal Combustion Engine vehicle into an Electric Vehicle. The main constitutive elements of the Electric Vehicle are presented. The developed powertrain uses a three-phase inverter with Field Oriented Control and space vector modulation. The developed on-board batteries charging system can operate in Grid-to-Vehicle and Vehicle-to-Grid modes. The implemented prototypes were tested, and experimental results are presented. The assembly of these prototypes in the vehicle was made in accordance with the Portuguese legislation about vehicles conversion, and the main adopted solutions are presented.

Sustainable mortars with incorporation of microencapsulated phase change materials

The construction industry is responsible for high energy and raw materials consumption. Thus, it is important to minimize the high energy consumption by taking advantage of renewable energy sources and reusing industrial waste, decreasing the extraction of natural materials. The mortars with incorporation of phase change materials (PCM) have the ability to regulate the temperature inside buildings, contributing to the thermal comfort and reduction of the use of heating and cooling equipment, using only the energy supplied by the sun. The simultaneous incorporation of PCM and fly ash (FA) can reduce the energy consumption and the amount of materials landfilled. However, the addition of these materials in mortars modifies its characteristics. The main purpose of this study was the production and characterization in the fresh and hardened state of mortars with incorporation of different contents of PCM and FA. The binders studied were aerial lime, hydraulic lime, gypsum and cement. The proportion of PCM studied was 0%, 20%, 40% and 60% of the mass of the sand. The content of fly ash added to the mortars was 0%, 20%, 40% and 60% of the mass of the binder. It was possible to observe that the incorporation of PCM and fly ash in mortars caused differences in properties such as workability, microstructure, water absorption, compressive strength, flexural strength and adhesion.

Assessing the feasibility of impregnating phase change materials in lightweight aggregate for development of thermal energy storage systems

This paper assesses the feasibility of impregnation/encasement of phase change materials (PCMs) in lightweight aggregates (LWAs). An impregnation process was adopted to carry out the encasement study of two different PCMs in four different LWAs. The leakage of the impregnated/encased PCMs was studied when they were submitted to freeze/thawing and oven drying tests, separately. The results confirmed that, the impregnation/encasement method is effective with respect to the large thermal energy storage density, and can be suitable for applications were PCMs cannot be incorporated directly such as asphalt road pavements.

Fatores de sucesso e dificuldades das spin-offs empresariais: o caso das agências de mediação de seguros

Dissertação de mestrado em Marketing e Estratégia

Companies' OHS internal structures: Types and theoretical foundations

An organization manages to regulate, standardize and optimize its operations in a way that places health and safety first by considering Health, Safety, Environment and Ergonomics (HSEE). In order to provide a theoretical foundation for Companies’ Occupational Health and Safety Internal Structures (COHSIS) allowing the focus on safety, COHSIS and its fundamentals were reviewed and described based on a brief literature review, which have included both papers published in journals, as well as works made available by selected organizations with mature safety culture. Three COHSIS were defined for description of its fundamentals, enabling improve the usability of its terminologies and provide the mentioned theoretical foundation.

Recensão de Lee, E. (2005). How internet radio can change the world : an activist’s handbook. Nova Iorque : iUniverse, Inc.

(Excerto) O entusiasmo pela comunicação digital percorre transversalmente a obra How Internet Radio Can Change the World: An Activist’s Handbook, de Eric Lee. Esta postura tão apologista das possibilidades comunicativas oferecidas pela Internet reforça provavelmente um conjunto alargado de entendimentos sobre a conquista do quotidiano pelo digital. Em 1967, McLuhan e Fiore já se referiam aos circuitos eletrónicos como ‘extensões do sistema nervoso central’. Numa leitura mais contemporânea, José Bragança de Miranda refere: “vivemos, nos nossos dias, no meio de conexões, de links, do on‑line, estamos votados à participação, à ‘interactividade’, etc. Algo de novo está a emergir” (2001, p. 265). Maria Teresa Cruz (2001) define a convergência tecnológica das relações sociais como a ‘mobilização erótica da técnica’. Esta obra aqui recenseada pretende, assim, desafiar a utilização da rádio digital para “melhorar a comunicação e solidificar as organizações” (p. 1), em torno de três grupos de reflexão.

Lideranças curriculares intermédias no contexto da avaliação externa das escolas em Portugal

Tese de Doutoramento em Ciências da Educação (área de especialização em Desenvolvimento Curricular).

Fashion communication: a way to change comsumption behaviour towards ethical fashion

In view of the major social and environmental problems, with which we are faced nowadays, we noticed a certain absence of values in society, where man draws many more resources than nature can replace in the short or medium term. Within the framework of fashion emerges the ethical fashion as a movement in this direction, intending to change this current paradigm. Ethical fashion encompasses different concepts such as fair trade, sustainability, working conditions, raw materials, social responsibility and the protection of animals. This study aims to determine which type of communication are fashion brands using in this context, and if this communication aims at educating the consumer for a more ethical consumer behavior. For this study were selected 44 fashion brands associated with the Ethical Trade Initiative. The method used for the research development was content analysis for which first was made a data collection of the information provided on the websites and social networks of the selected fashion brands. The data was analyzed taking into account the quality and type of information published related to ethical fashion, for which an ordinal scale was created as a way of measuring and comparing results.

Narrative change in Gloria Films: Comparing various processes of therapeutic innovation

Aims: The present study focuses on the analysis of novelty emergence in classic Gloria Films with Rogers, Perls, and Ellis to understand how the same client formulated her own problem and if and how change occurred in those three sessions. Method: The Innovative Moments Coding System was applied to track innovative moments (IMs) and their themes. Results: The session with Rogers showed more diversity in disclosed problems and themes of IMs, as well as a higher proportion of reflection IMs. The session with Perls demonstrated a high proportion of protest IMs. The session with Ellis showed less innovation than other sessions. The changes found were based mostly on reflection and protest IMs in three sessions. Conclusion: Narrative innovations occurred in the three single sessions. The type of dominant innovation is consistent with the therapeutic model and the IMs model. The exploration of the IMs’ themes allowed a more precise identification of Gloria's new narrative positions and their development throughout those sessions.

Development of high specific strength components, with internal cellular structure, for several applications

Dissertação de mestrado em Engenharia Mecânica

Utilização de gás natural comprimido em veículos pesados de passageiros

Dissertação de mestrado em Engenharia Mecânica

Development of a thermoelectric generator for the exhaust of a vehicle

Dissertação de mestrado integrado em Engenharia Mecânica