Study of the Reliability of Statistical Timing Analysis for Real-Time Systems

Presented at 23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France.

Inspeção a sistemas de climatização e conceção de um sistema de gestão da manutenção aplicado em edifícios universitários

Os requisitos legais impostos ao processo de manutenção das instalações de AVAC em edifícios evoluíram nos últimos 10 anos no sentido de uma crescente exigência, obrigando à existência de planos de manutenção preventiva, livros de ocorrências, inspeções obrigatórias a equipamentos, auditorias ou certi cações energéticas. Para os responsáveis da gestão da manutenção de edifícios, em particular para os que gerem uma quantidade signi cativa de equipamentos e instalações, fazê-lo sem o auxílio de uma ferramenta informática é um desa o considerável. Este trabalho visou a arquitetura de um sistema de gestão da manutenção de edifícios que foi aplicado a um caso real, nomeadamente o campus de Azurém da Universidade do Minho. Foi desenvolvida uma metodologia de inspeção, recolha e tratamento da informação para os sistemas técnicos de AVAC existentes nos edifícios. Esta metodologia foi implementada numa aplicação informática que permite aos técnicos responsáveis pela manutenção uma agilização de tarefas, resultado de um vasto conjunto de informações e de ferramentas desenvolvidas propositadamente, facilmente acessíveis através da rede Wi-Fi universitária. A integração das tarefas de manutenção na aplicação informática permitirá aumentar o grau de e ciência e e cácia nas atividades inerentes à manutenção, aumentando o grau de satisfação dos técnicos envolvidos no processo e dos utentes dos edifícios. O registo das tarefas de manutenção realizadas e dos respetivos custos em bases de dados, tornará também possível a geração de relatórios que sustentarão decisões mais assertivas. A implementação na aplicação informática dos seis módulos estruturais do Sistema de Gestão da Manutenção e Consumos Energéticos, SGMCE, permitirá atingir um nível de gestão da manutenção mais elevado, criando condições para o efetuar o comissionamento. O comissionamento prolonga-se por toda a vida do edifício, permitindo atingir os objetivos designados pelo seu promotor, dentro de patamares de custos de exploração energéticos e de custos optimizados de manutenção.

As mulheres da família real portuguesa e a música: estudo preliminar de 1640 a 1754

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ciências Musicais, variante de Musicologia Histórica

Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada

Presented at Work in Progress Session, IEEE Real-Time Systems Symposium (RTSS 2015). 1 to 3, Dec, 2015. San Antonio, U.S.A..

Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada

Presented at Work in Progress Session, IEEE Real-Time Systems Symposium (RTSS 2015). 1 to 3, Dec, 2015. San Antonio, U.S.A..

Real-time Parallel Applications on Many-core Architectures

Presented at INForum - Simpósio de Informática (INFORUM 2015). 7 to 8, Sep, 2015. Portugal.

Embedded Multi-Core systems for Mixed Criticality applications in dynamic and changeable real-time environments

EMC2 finds solutions for dynamic adaptability in open systems. It provides handling of mixed criticality multicore applications in r eal-time conditions, withscalability and utmost flexibility, full-scale deployment and management of integrated tool chains, through the entire lifecycle.

Optimization of the Sybr Green real time PCR for the detection of Human Herpes Virus type 6 (HHV-6)

HHV-6 is the etiological agent of Exanthem subitum which is considered the sixth most frequent disease in infancy. In immuno-compromised hosts, reactivation of latent HHV-6 infection may cause severe acute disease. We developed a Sybr Green Real Time PCR for HHV-6 and compared the results with nested conventional PCR. A 214 pb PCR derived fragment was cloned using pGEM-T easy from Promega system. Subsequently, serial dilutions were made in a pool of negative leucocytes from 10-6 ng/µL (equivalent to 2465.8 molecules/µL) to 10-9 (equivalent to 2.46 molecules/µL). Dilutions of the plasmid were amplified by Sybr Green Real Time PCR, using primers HHV3 (5' TTG TGC GGG TCC GTT CCC ATC ATA 3)'and HHV4 (5' TCG GGA TAG AAA AAC CTA ATC CCT 3') and by conventional nested PCR using primers HHV1 (outer): 5'CAA TGC TTT TCT AGC CGC CTC TTC 3'; HHV2 (outer): 5' ACA TCT ATA ATT TTA GAC GAT CCC 3'; HHV3 (inner) and HHV4 (inner) 3'. The detection threshold was determined by plasmid serial dilutions. Threshold for Sybr Green real time PCR was 24.6 molecules/µL and for the nested PCR was 2.46 molecules/µL. We chose the Real Time PCR for diagnosing and quantifying HHV-6 DNA from samples using the new Sybr Green chemistry due to its sensitivity and lower risk of contamination.

Metodologia BIM aplicada à conceção e produção de uma estrutura metálica

Este relatório apresenta o estágio curricular relativo ao curso de mestrado em engenharia civil na área de especialização de estruturas. O estágio decorreu no grupo O Feliz, S.A, uma metalomecânica sedeada em Braga. No âmbito do estágio, foi efetuada uma pesquisa e de seguida um projeto real aplicando a metodologia Building Information Modeling. Inicialmente, será feita uma apresentação da empresa e definidos os objetivos propostos para o estágio. Seguidamente, será apresentada toda a pesquisa realizada sobre o BIM para poder, seguidamente, realizar um projeto real utilizando esta metodologia, proposta pela empresa. Posteriormente é apresentado o projeto realizado com a metodologia BIM e todo o seu processo até chegar à sua construção. Por último, são apresentadas algumas das obras que estavam em curso durante a realização do presente trabalho e que houve a oportunidade de acompanhar, refletindo a experiência adquirida na área, durante o desenvolvimento do estágio.

Effects of prescribed fire on surface soil in a Pinus pinaster plantation, northern Portugal

In order to decrease the risk of severe wildfire, prescribed fire has recently been adopted in Portugal and elsewhere in the Mediterranean as a major tool for reducing the fuel load instead of manual or mechanical removal of vegetation. There has been some research into its impact on soils in shrublands and grasslands, but to date little research has been conducted in forested areas in the region. As a result, the impact of prescribed fire on the physico-chemical soil characteristics of forest soils has been assumed to be minimal, but this has not been demonstrated. In this study, we present the results of a monitoring campaign of a detailed pre- and post-prescribed fire assessment of soil properties in a long-unburnt P. pinaster plantation, NW Portugal. The soil characteristics examined were pH, total porosity, bulk density, moisture content, organic matter content and litter/ash quantity. The results show that there was no significant impact on the measured soil properties, the only effect being confined to minor changes in the upper 1 cm of soil. We conclude that provided the fire is carried out according to strict guidelines in P. pinaster forest, a minimal impact on soil properties can be expected.

Fire effects on soil after an experimental burnt

5th International Conference of Fire Effects on Soil Properties

Classificação Internacional de Funcionalidade (CIF): Conceitos, Preconceitos e Paradigmas. Contributo de um Construto para o Percurso Real em Meio Natural de Vida.

A autora aborda o historial, génese e objectivos da Classificação Internacional de Funcionalidade para crianças e jovens, implementada pela Organização Mundial de Saúdeem 2007. Sublinha o papel de complementaridadade da CIF relativamente a outras classificações como a Classificação Internacional de Doenças (CID), em que a primeira visa caracterizar as capacidades e dificuldades de crianças e jovens com deficiência, ou seja, caracterizar do ponto de vista funcional cada criança e jovem, independentemente do diagnóstico etiológico médico. Trata-se da mudança de paradigma bio-médico para a do indivíduo que apresenta determinadas competências e dificuldades, em que estas últimas são definidas em função do ambiente – facilitador ou actuando como barreira. Assim, é dado enfoque ao ambiente para que este seja modificado transformando os factores que actuam como barreira em facilitadores, que anulem ou atenuem as dificuldades. Sendo a deficiência e ou doença uma experiência universal, a CIF vem colmatar uma importante lacuna na dificuldade de comunicação e articulação entre os diversos actores intervenientes no apoio socio educativo e médico destas crianças,criando uma linguagem acessível aos técnicos envolvidos – educadores, terapeutas e outros profissionais ligados à infância, por força envolvidos, dando uma maior ênfase à interacção criança/meio numa perspectiva holística de bem estar bio-psico-social.

Cross-Layer Admission Control to Enhance the Support of Real-Time Applications in WSN

Real-time monitoring applications may be used in a wireless sensor network (WSN) and may generate packet flows with strict quality of service requirements in terms of delay, jitter, or packet loss. When strict delays are imposed from source to destination, the packets must be delivered at the destination within an end-to-end delay (EED) hard limit in order to be considered useful. Since the WSN nodes are scarce both in processing and energy resources, it is desirable that they only transport useful data, as this contributes to enhance the overall network performance and to improve energy efficiency. In this paper, we propose a novel cross-layer admission control (CLAC) mechanism to enhance the network performance and increase energy efficiency of a WSN, by avoiding the transmission of potentially useless packets. The CLAC mechanism uses an estimation technique to preview packets EED, and decides to forward a packet only if it is expected to meet the EED deadline defined by the application, dropping it otherwise. The results obtained show that CLAC enhances the network performance by increasing the useful packet delivery ratio in high network loads and improves the energy efficiency in every network load.

Profiling of real-world web applications

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Efficiency of strengthening techniques assessed for existing masonry buildings

The Azores archipelago is a zone with a vast cultural heritage, presenting a building stock mainly constructed in traditional stone masonry. It is known that this type of construction exhibits poor behaviour under seismic excitations; however it is extensively used in seismic prone areas, such as this case. The 9th of July of 1998 earthquake was the last seismic event in the islands, leaving many traditional stone constructions severely damaged or totally destroyed. This scenario led to an effort by the local government of improving the seismic resistance of these constructions, with the application of several reinforcement techniques. This work aims to study some of the most used reinforcement schemes after the 1998 earthquake, and to assess their effectiveness in the mitigation of the construction’s seismic vulnerability. A brief evaluation of the cost versus benefit of these retrofitting techniques is also made, seeking to identify those that are most suitable for each building typology. Thus, it was sought to analyze the case of real structures with different geometrical and physical characteristics, by establishing a comparison between the seismic performance of reinforced and non-reinforced structures. The first section contains the analysis of a total of six reinforcement scenarios for each building chosen. Using the recorded 1998 earthquake accelerograms, a linear time-history analysis was performed for each reinforcement scenario. A comparison was then established between the maximum displacements, inter-storey drift and maximum stress obtained, in order to evaluate the global seismic response of each reinforced structure. In the second part of the work, the examination of the performance obtained in the previous section, in relation to the cost of implementing each reinforcement technique, allowed to draw conclusions concerning the viability of implementing each reinforcement method, based on the book value of the buildings in study.