Developing Libraries Using Software Transactional Memory

Software transactional memory is a promising programming model that adapts many concepts borrowed from the databases world to control concurrent accesses to main memory (RAM) locations. This paper discusses how to support apparently irreversible operations, such as memory allocation and deallocation, within software libraries that will be used in (software memory) transactional contexts, and propose a generic and elegant approach based on a handler system, which provide the means to create and execute compensation actions at key moments during the life-time of a transaction.

Autoconsumo fotovoltaico, um elemento de eficiência energética. Caso de estudo: ISEP

Mestrado em Energias Sustentáveis

Estudo, Avaliação e Propostas de melhoria para a Climatização do edifício Biorama do Parque Biológico de Vila Nova de Gaia

A eficiência energética e a preocupação com a sustentabilidade têm vindo a ganhar preponderância na sociedade moderna. Este trabalho é uma contribuição para esta tendência onde se pretendeu avaliar e sugerir alterações ao sistema de climatização do edifício Biorama do Parque Biológico de Vila Nova de Gaia (PBG). Procedeu-se em primeiro lugar a uma caracterização física, química e geográfica dos 5 biomas constituintes do Biorama. Para isso, recorreu-se a documentos fornecidos pelo próprio PBG, visitas ao local e registo de medições de alguns parâmetros (temperatura, humidade relativa, qualidade do ar). Posteriormente foi realizado o balanço térmico dos edifícios, de acordo com a legislação em vigor, recorrendo a expressões e conceitos teóricos. Foram determinados valores dos ganhos térmicos de aquecimento de 15811, 10694, 7939, 9233, e 6621 kWh/ano para Floresta tropical, Mesozoico, Dunas, Savana e Deserto, respetivamente. Foram igualmente determinados valores dos ganhos térmicos no verão de 7093, 4798, 3560, 4144 e 2971 kWh na Floresta tropical, no Mesozoico, nas Dunas, na Savana e no Deserto, respetivamente. As cargas térmicas de aquecimento foram 149, 125, 47, 60 e 51 kW na Floresta tropical, no Mesozoico, nas Dunas, na Savana e no Deserto, respetivamente. As cargas térmicas de arrefecimento foram iguais a 59, 57, 47, 35 e 36 kW na Floresta tropical, no Mesozoico, nas Dunas, na Savana e no Deserto, respetivamente. Algumas soluções são avançadas, bem como alternativas comportamentais de modo a corrigir alguns problemas identificados. Uma proposta é a da instalação de painéis solares e acumuladores de calor, com os quais se estima um ganho médio conjunto de 500 W em cada bioma, e representam um investimento de 1050 euros e terão um retorno de 1 ano. Em relação à humidade é sugerido a utilização mais eficaz dos aspersores existentes e a utilização de esponjas, para fazer subir a humidade relativa para valores superiores a 80%. Em sentido inverso, no inverno, propõem-se a utilização de material higroscópico para fazer baixar a humidade relativa em cerca de 5%. Os custos com os suportes e o material higroscópico rondam os 250 €. Por fim, é sugerido a instalação de um aparelho de ar condicionado de 16 000 BTU no corredor de ligação, pois é a única forma de garantir condições de conforto térmico. Esta proposta de arrefecimento com ar condicionado e ainda o recurso a uma cortina de lâminas de plástico, que servem para efetuar uma separação mais eficiente entre ar frio e ar quente, têm um custo aproximado de 350 €. É ainda sugerida a utilização de lonas ou de uma planta trepadeira com um custo por planta de 5€, nas coberturas dos telhados virados a sul, sendo que a zona do corredor deverá ser totalmente coberta, a fim de evitar a exposição solar direta.

Modelo de controlo difuso de um sistema de produção de energia com base em recursos renováveis

A satisfação das necessidades energéticas mundiais, cada vez mais exigentes, bem como a necessidade urgente de procurar caminhos que permitam usufruir de energia, da forma menos poluente possível, levam à necessidade de serem explorados caminhos que permitam cumprir estes pressupostos. A escolha da utilização das energias renováveis na produção de energia, torna-se cada vez mais interessante, quer do ponto de vista ambiental quer económico. O fundamento da lógica difusa está associado à recolha de informações vagas, que são no fundo uma linguagem falada por seres humanos, possibilitando a passagem deste tipo de linguagem para formato numérico, permitindo assim uma manipulação computacional. Elementos climáticos como o sol e o vento, podem ser descritos em forma de variáveis linguísticas, como é o caso de vento forte, temperatura baixa, irradiação fraca, etc. Isto faz com que a aplicação de um controlo a partir destes fenómenos, justifique ser realizado com recurso a sistemas de inferência difusa. Para a realização do trabalho proposto, foram consumados estudos relativos às energias renováveis, com particular enfoque na solar e na eólica. Também foi realizado um estudo dos conceitos pertencentes à lógica difusa e a sistemas de inferência difusa com o objetivo de perceber os diversos parâmetros constituintes desta matéria. Foi realizado o estudo e desenvolvimento de um sistema de aquisição de dados, bem como do controlador difuso que é o busílis do trabalho descrito neste relatório. Para tal, o trabalho foi efetuado com o recurso ao software MATLAB, a partir do qual foram desenvolvidas aplicações que possibilitaram a obtenção de dados climáticos, com vista à sua utilização na toolbox Fuzzy Logic a qual foi utilizada para o desenvolvimento de todo o algoritmo de controlo. Com a possibilidade de aquisição de dados concluída e das variáveis que iriam ser necessárias definidas, foi implementado o controlador difuso que foi sendo sintonizado ao longo do trabalho por forma a garantir os melhores resultados possíveis. Com o recurso à ferramenta Guide, também do MATLAB, foi criada a interface do sistema com o utilizador, sendo possível a averiguação da energia a ser produzida, bem como das contribuições de cada uma das fontes de energia renováveis para a obtenção dessa mesma energia. Por último, foi feita uma análise de resultados através da comparação entre os valores reais esperados e os valores obtidos pelo controlador difuso, bem como assinaladas conclusões e possibilidades de desenvolvimentos futuros deste trabalho.

Field experiments for marine casualty detection with autonomous surface vehicles

In this paper we present a set of field tests for detection of human in the water with an unmanned surface vehicle using infrared and color cameras. These experiments aimed to contribute in the development of victim target tracking and obstacle avoidance for unmanned surface vehicles operating in marine search and rescue missions. This research is integrated in the work conducted in the European FP7 research project Icarus aiming to develop robotic tools for large scale rescue operations. The tests consisted in the use of the ROAZ unmanned surface vehicle equipped with a precision GPS system for localization and both visible spectrum and IR cameras to detect the target. In the experimental setup, the test human target was deployed in the water wearing a life vest and a diver suit (thus having lower temperature signature in the body except hands and head) and was equipped with a GPS logger. Multiple target approaches were performed in order to test the system with different sun incidence relative angles. The experimental setup, detection method and preliminary results from the field trials performed in the summer of 2013 in Sesimbra, Portugal and in La Spezia, Italy are also presented in this work.

Impacto das medidas de conservação de energia em projeto na redução da intensidade de utilização de matérias-primas na construção de um edifício

O presente trabalho pretende mostrar que a aplicação de medidas de conservação de energia (MCE) pode representar uma redução da intensidade de utilização de matérias-primas na construção de um edifício. Mais concretamente, pode representar uma redução da utilização de materiais e equipamentos, e como consequência, uma redução no esforço económico ao primeiro investimento. Podendo posteriormente representar uma redução na utilização de energia durante o período de funcionamento do edifício. A aplicação de MCE no sector da construção tem vindo a ser uma prática corrente nos novos edifícios e edifícios sujeitos a grandes intervenções de reabilitação. Esta prática deve-se à obrigatoriedade de cumprimento de requisitos regulamentares aplicados à otimização do desempenho energético dos edifícios e dos seus sistemas técnicos, nomeadamente, o RCCTE e o RSECE, entretanto revogados pelo REH e pelo RECS, respetivamente. A implementação de MCE apresenta, na maioria dos casos, benefícios económicos para o promotor do edifício, uma vez que se traduz muitas vezes, na otimização do dimensionamento dos sistemas de Aquecimento, Ventilação e Ar Condicionado (AVAC). Esta otimização permite reduzir os custos associados ao primeiro investimento, bem como na utilização de energia por parte do utilizador, logo na redução dos custos de exploração. No entanto, a falta de quantificação dos impactos do dimensionamento dos sistemas AVAC, da redução de utilização de energia e da análise do custo-benefício da sua aplicação pode condicionar o interesse na sua implementação. Neste contexto, surge a presente dissertação, por iniciativa do Instituto Soldadura e Qualidade (ISQ), aplicado a um caso prático de um edifício já construído e propriedade daquela empresa. Com este trabalho pretende-se avaliar o contributo efetivo das MCE implementadas na fase de projeto e na fase de construção, quer na otimização da dimensão de sistemas e equipamentos AVAC, por via da redução das necessidades energéticas, quer na redução de utilização de energia, permitindo, de seguida, uma avaliação custo-benefício.Na base do caso de estudo está o ECOTERMOLAB, o edifício acima referido, adquirido pelo ISQ para instalação de um laboratório de formação, investigação e desenvolvimento na área da energia. Após aquisição pelo ISQ, o edifício sofreu várias alterações/beneficiações, entre as quais a implementação de MCE, tais como, a aplicação de isolamento térmico na envolvente opaca (paredes, pavimentos e coberturas), duplicação dos vãos envidraçados simples, conferindo-lhes melhores caraterísticas térmicas, e pela aplicação de proteções solar. Foram ainda adotadas MCE aos sistemas AVAC, designadamente, pela adoção de recuperadores de calor nas Unidades de Tratamento de Ar Novo (UTAN’s) e de variadores de velocidade nas bombas de circulação de água e nos ventiladores de ar das UTAN’s. Pretendia o ISQ concluir se a aplicação de todas as MCE contribuiu de forma efetiva para o dimensionamento de sistemas e equipamentos AVAC de menor capacidade e, consequentemente, numa redução de utilização de energia. Em sequência, pretendia avaliar a viabilidade económica da aplicação de todas as MCE, estimando o sobrecusto inicial e o tempo necessário para o retorno financeiro daquele investimento. Para alcançar os objetivos propostos, procedeu-se à simulação energética dinâmica do ECOTERMOLAB, utilizando o programa EnergyPlus. Primeiro foi simulada uma situação base do edifício, sem quaisquer MCE. Posteriormente foi caraterizada cada uma das situações de aplicação das MCE, com o objetivo de avaliar o respetivo impacto individual na utilização de energia pelos sistemas AVAC. Por último foram assumidas todas as soluções em conjunto para avaliar o impacto final de todas as MCE na utilização de energia dos sistemas AVAC, bem como no seu dimensionamento. Das simulações dinâmicas foram obtidos os valores das necessidades de aquecimento e arrefecimento, de energia utilizada pelos sistemas AVAC e de caudais de água aquecida e arrefecida circulada. Com estes valores foi feita uma estimativa de dimensionamento dos equipamentos e componentes AVAC para as situações da aplicação de todas as MCE no ECOTERMOLAB e a sua ausência. A partir da diferença dos custos de aquisição dos respetivos equipamentos e dos valores de poupança em energia foi realizado o estudo da viabilidade económica da implementação das MCE neste edifício. Este estudo permitiu concluir que a aplicação das MCE no ECOTERMOLAB levou à redução da dimensão na generalidade dos equipamentos e componentes AVAC. Permitiu, ainda, concluir que houve uma diminuição de utilização de energia por parte destes sistemas e equipamentos para o aquecimento e arrefecimento. Conclui-se ainda que o período de retorno (Payback) do sobrecusto inicial, estimado em 37.822€ é de, aproximadamente, onze anos e meio, para um valor atual líquido (VAL) de 8.061€ e à taxa interna de rentabilidade (TIR) de 7,03%.

Transgenerational Inheritance of Paternal Neurobehavioral Phenotypes: Stress, Addiction, Ageing and Metabolism

Epigenetic modulation is found to get involved in multiple neurobehavioral processes. It is believed that different types of environmental stimuli could alter the epigenome of the whole brain or related neural circuits, subsequently contributing to the long-lasting neural plasticity of certain behavioral phenotypes. While the maternal influence on the health of offsprings has been long recognized, recent findings highlight an alternative way for neurobehavioral phenotypes to be passed on to the next generation, i.e., through the male germ line. In this review, we focus specifically on the transgenerational modulation induced by environmental stress, drugs of abuse, and other physical or mental changes (e.g., ageing, metabolism, fear) in fathers, and recapitulate the underlying mechanisms potentially mediating the alterations in epigenome or gene expression of offsprings. Together, these findings suggest that the inheritance of phenotypic traits through male germ-line epigenome may represent the unique manner of adaptation during evolution. Hence, more attention should be paid to the paternal health, given its equivalently important role in affecting neurobehaviors of descendants.

Quality-of-service aware routing for static and mobile IPv6-based low-power and lossy sensor networks using RPL

The Internet of Things (IoT) has emerged as a paradigm over the last few years as a result of the tight integration of the computing and the physical world. The requirement of remote sensing makes low-power wireless sensor networks one of the key enabling technologies of IoT. These networks encompass several challenges, especially in communication and networking, due to their inherent constraints of low-power features, deployment in harsh and lossy environments, and limited computing and storage resources. The IPv6 Routing Protocol for Low Power and Lossy Networks (RPL) [1] was proposed by the IETF ROLL (Routing Over Low-power Lossy links) working group and is currently adopted as an IETF standard in the RFC 6550 since March 2012. Although RPL greatly satisfied the requirements of low-power and lossy sensor networks, several issues remain open for improvement and specification, in particular with respect to Quality of Service (QoS) guarantees and support for mobility. In this paper, we focus mainly on the RPL routing protocol. We propose some enhancements to the standard specification in order to provide QoS guarantees for static as well as mobile LLNs. For this purpose, we propose OF-FL (Objective Function based on Fuzzy Logic), a new objective function that overcomes the limitations of the standardized objective functions that were designed for RPL by considering important link and node metrics, namely end-to-end delay, number of hops, ETX (Expected transmission count) and LQL (Link Quality Level). In addition, we present the design of Co-RPL, an extension to RPL based on the corona mechanism that supports mobility in order to overcome the problem of slow reactivity to frequent topology changes and thus providing a better quality of service mainly in dynamic networks application. Performance evaluation results show that both OF-FL and Co-RPL allow a great improvement when compared to the standard specification, mainly in terms of packet loss ratio and average network latency. 2015 Elsevier B.V. Al

Estudo sobre viabilidade de produção descentralizada de energia à custa do efeito chaminé

A procura por alternativas ao atual paradigma energético, que se caracteriza por uma predominância indiscutível das fontes combustíveis fósseis, é o motivo primário desta investigação. A energia emitida pelo Sol que chega à Terra diariamente ultrapassa em várias ordens de grandeza a energia que a nossa sociedade atual necessita. O efeito chaminé é uma das formas de aproveitar essa energia. Este efeito tem origem no diferencial de temperaturas existente entre o interior e o exterior de uma chaminé, que provoca um gradiente nas massas volúmicas do fluido entre o interior e o exterior da chaminé, induzindo assim um fluxo de ar. Esta diferença de temperaturas radica na exposição da face exterior da chaminé à radiação solar. No sistema que nos propomos estudar, o ar entra na chaminé por pequenos orifícios situados na sua base, e, ao tomar contacto com as paredes internas da chaminé, aquece desde a temperatura ambiente, Ta, até à temperatura interna, Ti . Este aumento de temperatura torna o ar dentro da chaminé mais “leve” em comparação com o ar mais frio do exterior levando-o a ascender ao longo do interior da chaminé. Este escoamento contém energia cinética que pode, por exemplo, ser transformada em energia elétrica por intermédio de turbinas. A eficiência de conversão da energia será tanto maior quanto menor for a velocidade do ar a jusante da turbina. Esta tecnologia poderá ser instalada de forma descentralizada, como acontece com as atuais centrais concentradoras solares térmicas e fotovoltaicas localizadas na periferia de grandes cidades ou, alternativamente, poderá ser inserida no próprio tecido urbanístico. A investigação demonstra que as dimensões da chaminé, a irradiação e a temperatura do ar são os fatores com maior impacto na potência hidráulica gerada.

Potential of CPV receivers integrating screen-printed solar cells

Dissertação para obtenção do Grau de Mestre em Energias Renováveis – Conversão Eléctrica e Utilização Sustentável

On the existence of pure-strategy equilibria in large games

Over the years, several formalizations and existence results for games with a continuum of players have been given. These include those of Schmeidler (1973), Rashid (1983), Mas-Colell (1984), Khan and Sun (1999) and Podczeck (2007a). The level of generality of each of these existence results is typically regarded as a criterion to evaluate how appropriate is the corresponding formalization of large games. In contrast, we argue that such evaluation is pointless. In fact, we show that, in a precise sense, all the above existence results are equivalent. Thus, all of them are equally strong and therefore cannot rank the different formalizations of large games.

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.

HAART: a risk factor for development of porphyria cutanea tarda?

Porphyria cutanea tarda (PCT) is caused by inherited or acquired partial deficiency of the uroporphyrinogen-decarboxylase (Uro-D) enzyme activity. It is the most common form of porphyria. The main triggering factors to the development of porphyria cutanea tarda are alcohol, hepatitis C virus and human immunodeficiency virus. There are several reports of PCT associated with drugs, among them, antiretroviral therapy. We describe three HIV-positive patients, which showed photosensitivity as well as the emergence of tense blisters on sun-exposed areas during the use of highly active antiretroviral therapy (HAART) and discuss the possibility of PCT after the use of these drugs by those patients.

Contingencies of humble leadership

Double degree

Infraventus-internationalizing a renewables business to Kenya

Infraventus – Internationalizing a Renewables Business to Kenya Infraventus is a renewable energy development company, with a consolidated experience, since 1988, in developing, constructing and operating projects mainly in Portugal, but also in other countries: Spain, Poland, France, Australia, Finland and Panama, and is now regarding Kenya as a possible destiny. Kenya is the biggest economy of East Africa, with a growing GDP around 5% and a low level of electric grid coverage thru its territory, 33% of national access to electricity. Kenya energy policy is intended to promote the investment in renewables; wind and sun are existing resources in good measures. Kenya is an interesting destiny to Infraventus, but has many risks. The objective of this dissertation is to evaluate the possible advantages of this investment and risks and propose recommendations about how to mitigate them considering alternative entry mode