A framework for efficient model transformations

The reported productivity gains while using models and model transformations to develop entire systems, after almost a decade of experience applying model-driven approaches for system development, are already undeniable benefits of this approach. However, the slowness of higher-level, rule based model transformation languages hinders the applicability of this approach to industrial scales. Lower-level, and efficient, languages can be used but productivity and easy maintenance seize to exist. The abstraction penalty problem is not new, it also exists for high-level, object oriented languages but everyone is using them now. Why is not everyone using rule based model transformation languages then? In this thesis, we propose a framework, comprised of a language and its respective environment, designed to tackle the most performance critical operation of high-level model transformation languages: the pattern matching. This framework shows that it is possible to mitigate the performance penalty while still using high-level model transformation languages.

New visualization model for large scale biosignals analysis

Benefits of long-term monitoring have drawn considerable attention in healthcare. Since the acquired data provides an important source of information to clinicians and researchers, the choice for long-term monitoring studies has become frequent. However, long-term monitoring can result in massive datasets, which makes the analysis of the acquired biosignals a challenge. In this case, visualization, which is a key point in signal analysis, presents several limitations and the annotations handling in which some machine learning algorithms depend on, turn out to be a complex task. In order to overcome these problems a novel web-based application for biosignals visualization and annotation in a fast and user friendly way was developed. This was possible through the study and implementation of a visualization model. The main process of this model, the visualization process, comprised the constitution of the domain problem, the abstraction design, the development of a multilevel visualization and the study and choice of the visualization techniques that better communicate the information carried by the data. In a second process, the visual encoding variables were the study target. Finally, the improved interaction exploration techniques were implemented where the annotation handling stands out. Three case studies are presented and discussed and a usability study supports the reliability of the implemented work.

Thermal performance of cool facades: evaluation by Infrared Thermography

High reflective paints (cool paints) are used on flat roofs to reduce heat gains from the incidence of solar radiation and thus improve the thermal comfort and energy efficiency of buildings, especially in summer periods. Given the application potential of these paints on vertical surfaces, a research study has been developed to evaluate the thermal performance of reflective paints on walls under real exposure conditions. Accordingly, different reflective paints have been applied as the final coating of an ETICS type solution, on the facades of a full scale experimental cell built at LNEC campus. For being applied in an ETICS system a paint has to fulfill several requirements, whether aesthetic or functional (such as the adhesion between the coating layers or the durability of the insulation), essential for its efficient performance. Since this construction coating system is subject to a prolonged sun exposure, various problems may arise, such as paint degradation or deterioration of the thermal insulation properties, particularly when dark colors are applied. To evaluate the thermal performance of the chosen paints, the method of non-destructive analysis by Infrared Thermography was used. Thermography allows knowing the temperature distribution of facades by measuring the radiation emitted by their surfaces. To complement the thermographic diagnosis, thermocouples were placed between the insulation and the paint system of the experimental cell. Additional laboratory tests allowed the characterization of the optical properties (reflectance and emittance) of the different reflective paints used in this study. The comparative analysis of the thermal performance of reflective and conventional paints revealed that the reflective paint allows a reduction of the facade surface temperature, reducing the risk of loss of insulating properties of the ETICS system and thus ensuring its longevity and functionality. The color of the paint used affects, naturally, the reflective ability of the surface and may have an important role in energy balance of the building. This paper also showed the potential of infrared thermography in the evaluation of the thermal performance of reflective paints.

A domain specific language for domotic systems

To cope with modernity, the interesting of having a fully automated house has been increasing over the years, as technology evolves and as our lives become more stressful and overloaded. An automation system provides a way to simplify some daily tasks, allowing us to have more spare time to perform activities where we are really needed. There are some systems in this domain that try to implement these characteristics, but this kind of technology is at its early stages of evolution being that it is still far away of empowering the user with the desired control over a habitation. The reason is that the mentioned systems miss some important features such as adaptability, extension and evolution. These systems, developed from a bottom-up approach, are often tailored for programmers and domain experts, discarding most of the times the end users that remain with unfinished interfaces or products that they have difficulty to control. Moreover, complex behaviors are avoided, since they are extremely difficult to implement mostly due to the necessity of handling priorities, conflicts and device calibration. Besides, these solutions are only reachable at very high costs, yet they still have the limitation of being difficult to configure by non-technical people once in runtime operation. As a result, it is necessary to create a tool that allows the execution of several automated actions, with an interface that is easy to use but at the same time supports all the main features of this domain. It is also desirable that this tool is independent of the hardware so it can be reused, thus a Model Driven Development approach (MDD) is the ideal option, as it is a method that follows those principles. Since the automation domain has some very specific concepts, the use of models should be combined with a Domain Specific Language (DSL). With these two methods, it is possible to create a solution that is adapted to the end users, but also to domain experts and programmers due to the several levels of abstraction that can be added to diminish the complexity of use. The aim of this thesis is to design a Domain Specific Language (DSL) that uses the Model Driven Development approach (MDD), with the purpose of supporting Home Automation (HA) concepts. In this implementation, the development of simple and complex scenarios should be supported and will be one of the most important concerns. This DSL should also support other significant features in this domain, such as the ability to schedule tasks, which is something that is limited in the current existing solutions.

Development of a fundus camera for analysis of photoreceptor directionality in the healthy retina

The Stiles-Crawford effect (SCE) is the well-known phenomenon in which the brightness of light perceived by the human eye depends upon its entrance point in the pupil. This physiological characteristic is due to the directional sensitivity of the cone photoreceptors in the retina and it displays an approximately Gaussian dependency which is altered in a number of pathologies. Retinal imaging, a widely spread clinical practice, may be used to evaluate the SCE and thus serve as diagnostic tool. Nonetheless, its use for such a purpose is still underdeveloped and far from the clinical reality. In this project a fundus camera was built and used to assess the cone photoreceptor directionality by reflective imaging of the retina in healthy individuals. The physical and physiological implications of its development are addressed in detail in the text: the optical properties of the human eye, illumination issues, acquiring a retinal image formed by the eye, among others. A full description of the developmental process that led to the final measuring method and results is also given. The developed setup was successfully used to obtain high quality images of the eye fundus and in particular the parafoveal cone photoreceptors. The SCE was successfully observed and characterized. Even though considerable improvements could be done to the measurement method, the project showed the feasibility of using retinal imaging to evaluate the SCE thus motivating its usage in a clinical environment.

Can body traits, other than wings, reflect the flight ability of Triatominae bugs?

Abstract: INTRODUCTION : Insects of the subfamily Triatominae are vectors of Trypanosoma cruzi , the Chagas disease parasite, and their flying behavior has epidemiological importance. The flying capacity is strikingly different across and within Triatominae species, as well as between sexes or individuals. Many Triatoma infestans individuals have wings but no flying muscles. In other Triatominae species, no clear relationships were found between wing length and flying behavior. If wing presence or size is not reflective of the flying behavior, which other parts of the body could be considered as reliable markers of this important function? METHODS : The genus Mepraia has exceptional characteristics with invariably wingless females and wingless or winged males. We calculated the porous surface exposed to odorant molecules to estimate the olfactory capacity of Mepraia spinolai . The head shape and thorax size were estimated using the geometric morphometric approach and traditional morphometric techniques, respectively. RESULTS : Alary polymorphism in M. spinolai was significantly associated with consistent modification of the thorax size, head shape, and notable change in the estimated olfactory capacity. The macropterous individuals had a larger olfactory surface and thorax size and significantly different head shape compared to those of the micropterous individuals. CONCLUSIONS: We concluded that these structural changes could be associated with the flying potential of Triatominae. Thus, morphological attributes not found on wings could help determine the likely flying potential of the bugs.

An agent based architecture to support monitoring in plug and produce manufacturing systems using knowledge extraction

In recent years a set of production paradigms were proposed in order to capacitate manufacturers to meet the new market requirements, such as the shift in demand for highly customized products resulting in a shorter product life cycle, rather than the traditional mass production standardized consumables. These new paradigms advocate solutions capable of facing these requirements, empowering manufacturing systems with a high capacity to adapt along with elevated flexibility and robustness in order to deal with disturbances, like unexpected orders or malfunctions. Evolvable Production Systems propose a solution based on the usage of modularity and self-organization with a fine granularity level, supporting pluggability and in this way allowing companies to add and/or remove components during execution without any extra re-programming effort. However, current monitoring software was not designed to fully support these characteristics, being commonly based on centralized SCADA systems, incapable of re-adapting during execution to the unexpected plugging/unplugging of devices nor changes in the entire system’s topology. Considering these aspects, the work developed for this thesis encompasses a fully distributed agent-based architecture, capable of performing knowledge extraction at different levels of abstraction without sacrificing the capacity to add and/or remove monitoring entities, responsible for data extraction and analysis, during runtime.

Rely-guarantee protocols for safe interference over shared memory

Mutable state can be useful in certain algorithms, to structure programs, or for efficiency purposes. However, when shared mutable state is used in non-local or nonobvious ways, the interactions that can occur via aliases to that shared memory can be a source of program errors. Undisciplined uses of shared state may unsafely interfere with local reasoning as other aliases may interleave their changes to the shared state in unexpected ways. We propose a novel technique, rely-guarantee protocols, that structures the interactions between aliases and ensures that only safe interference is possible. We present a linear type system outfitted with our novel sharing mechanism that enables controlled interference over shared mutable resources. Each alias is assigned separate, local roles encoded in a protocol abstraction that constrains how an alias can legally use that shared state. By following the spirit of rely-guarantee reasoning, our rely-guarantee protocols ensure that only safe interference can occur but still allow many interesting uses of shared state, such as going beyond invariant and monotonic usages. This thesis describes the three core mechanisms that enable our type-based technique to work: 1) we show how a protocol models an alias’s perspective on how the shared state evolves and constrains that alias’s interactions with the shared state; 2) we show how protocols can be used while enforcing the agreed interference contract; and finally, 3) we show how to check that all local protocols to some shared state can be safely composed to ensure globally safe interference over that shared memory. The interference caused by shared state is rooted at how the uses of di↵erent aliases to that state may be interleaved (perhaps even in non-deterministic ways) at run-time. Therefore, our technique is mostly agnostic as to whether this interference was the result of alias interleaving caused by sequential or concurrent semantics. We show implementations of our technique in both settings, and highlight their di↵erences. Because sharing is “first-class” (and not tied to a module), we show a polymorphic procedure that enables abstract compositions of protocols. Thus, protocols can be specialized or extended without requiring specific knowledge of the interference produce by other protocols to that state. We show that protocol composition can ensure safety even when considering abstracted protocols. We show that this core composition mechanism is sound, decidable (without the need for manual intervention), and provide an algorithm implementation.

A internet e o sistema de justiça

The subject of study of this Thesis aims to highlight and recognize as an object of reflection the undoubted relationship between the Internet and the Justice System, based on the issue of digital evidence. The simultaneously crossing of the juridical-legal implications and the more technical computer issues is the actual trigger for the discussion of the issues established. The Convention on Cybercrime of the Council of Europe of 23rd November 2001 and the Council Framework Decision n.° 2005/222/JHA of 24th February 2005 were avant-garde in terms of the international work about the crimes in the digital environment. In addition they enabled the harmonization of national legislations on the matter and, consequently, a greater flexibility in international judicial cooperation. Portugal, in compliance with these international studies, ratified, implemented and approved Law n. º 109/2009 of 15th September concerning the Cybercrime Act, establishing a more specific investigation and collection of evidence in electronic support when it comes to combating this type of crime, as it reinforced the Substantive Criminal Law and Procedural Nature. Nevertheless, the constant debates about the New Technologies of Information and Communication have not neglected the positive role of these tools for the user. However, they express a particular concern for their counterproductive effects; a special caution prevails on the part of the judge in assessing the digital evidence, especially circumstantial evidence, due to the its fragility. Indisputably, the practice of crimes through the computer universe, given its inexorable technical complexity, entails many difficulties for the forensic investigation, since the proofs hold temporary, changeable, volatile, and dispersed features. In this pillar, after the consummation of iter criminis, the Fundamental Rights of the suspects may be debated in the course of the investigation and the construction of iter probatorium. The intent of this Thesis is to contribute in a reflective way on the issues presented in order to achieve a bigger technical and legal awareness regarding the collection of digital proof, looking for a much lighter approach to its suitability in terms of evidentiary value.

Arshile Gorky: An Armenian in New York

Born in Armenia, the oldest Christian country in the world but nevertheless one of the youngest reinstated republics (1991) after the collapse of the Soviet Union, Arshile Gorky flew to the United States in 1920, where he chose to reinvent himself in the struggle to become an artist. This reinvention meant the creation of a persona with, or behind, which Gorky kept alive the artistic flame inside himself. Gorky became one of the most learned voices lecturing on contemporary European modernist artists and movements of the late nineteenth and early twentieth centuries in the United States (New York) without ever visiting Europe. Moreover, he was able to survive the traumatic events he underwent during the Armenian Genocide (1915-1919) to adapt to his new country and identity, to live through the years of the Depression and, eventually, to become the protagonistof a major artistic breakthrough. This paper proposes an insight into the experience of life and frame of work of this Armenian-American artist, whose simultaneously rich, traumatic, dislocated and reenacted life and work established one of the most fertile links between his middle‑eastern origins, his dreamed of Europe and the particular transit of his American artistic creation.

Professores realistas: mais eficazes e otimistas

A indisciplina na sala de aula prejudica o ensino e a aprendizagem sendo uma das principais causas do mal-estar dos professores, roubando-lhes energia e tempo conduzindo, muitos deles, à exaustão física e emocional e apresenta-se como um sério problema quer para professores principiantes, quer para professores experientes. A análise do ensino na perspetiva interpessoal possibilita uma nova visão sobre o ambiente de aprendizagem, nomeadamente no que se refere à relação professor-aluno. Nesta perspetiva, o enfoque dirige-se para a análise das perceções dos alunos sobre o comportamento do professor e o impacto que o mesmo tem sobre os alunos. Além de que, ao considerar-se a turma como um sistema deve ter-se em conta que o comportamento não pode ser visto como uma característica da pessoa mas, sim, como uma característica do sistema formado por aqueles que estão envolvidos na interação comunicacional. Analisar as interações comunicacionais à luz da pragmática da comunicação e dos seus cinco axiomas apresenta-se como um poderoso quadro clarificador de muitos dos comportamentos ditos disruptivos, possibilitando aos professores um “novo olhar” sobre o seu papel enquanto gestores da sala de aula. A formação realista de professores apresenta-se como uma estratégia com efeitos muito positivos uma vez que possibilita e ajuda-os a compreenderem o processo de circularidade característico da turma vista como um sistema. Por outro lado, permite evidenciar a impossibilidade dos professores de solucionarem os problemas disciplinares culpabilizando os alunos. Dito de outro modo, a formação realista conduz os professores a um (re) equacionar das suas práticas encorajando-os a selecionarem um comportamento interpessoal mais adequado. No 1º e 3º período letivo, os professores participantes (N= 15) responderam ao Questionário de Interação do Professor (Q.I.P.) e ao Questionário do Otimismo Académico (Q.O.A.) composto por três subescalas: Autoeficácia, Confiança nos alunos e famílias e Ênfase académica. Paralelamente, foram gravadas em suporte vídeo quatro aulas de cada professor, referentes a duas turmas selecionadas previamente pelos mesmos. Após a observação das suas aulas refletiram por escrito aquilo que observaram. No 2º período, participaram numa ação de formação intitulada “Ecologia da sala de aula: relacionamento interpessoal professor-aluno e a criação de ambientes de aprendizagem positivos” baseada no modelo realista de formação de professores. Desta formação resultou um conjunto de relatórios reflexivos que tiveram por objetivo desenvolver nos participantes a sua competência reflexiva, questionarem crenças tidas como inquestionáveis e otimizar a relação professor-aluno. A partir dos resultados obtidos pode afirmar-se que: 1) verificou-se um aumento no otimismo académico e no sentimento de autoeficácia; 2) observou-se um impacto nas conceções prévias, bem como no contexto organizacional.

Aprendizagem baseada na resolução de problemas: uma experiência pedagógica com alunos de um Curso de Especialização Tecnológica

Relatório de estágio de mestrado em Ensino de Informática

Uma abordagem à organização e tratamento de dados baseada na resolução de problemas

Relatório de estágio de mestrado em Ensino do 1.º e 2.º Ciclo do Ensino Básico

Operacionalização do processo de raciocínio no estudo para o desenvolvimento técnico do violino

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

A autonomia no processo de aquisição da competência plurilingue e intercultural no âmbito da aprendizagem do Espanhol

Relatório de estágio de mestrado em Ensino de Português no 3.º ciclo do Ensino Básico Secundário e do Ensino do Espanhol no Ensino Básico e Secundário