Efficient schedulability tests for real-time embedded systems with urgent routines

Task scheduling is one of the key mechanisms to ensure timeliness in embedded real-time systems. Such systems have often the need to execute not only application tasks but also some urgent routines (e.g. error-detection actions, consistency checkers, interrupt handlers) with minimum latency. Although fixed-priority schedulers such as Rate-Monotonic (RM) are in line with this need, they usually make a low processor utilization available to the system. Moreover, this availability usually decreases with the number of considered tasks. If dynamic-priority schedulers such as Earliest Deadline First (EDF) are applied instead, high system utilization can be guaranteed but the minimum latency for executing urgent routines may not be ensured. In this paper we describe a scheduling model according to which urgent routines are executed at the highest priority level and all other system tasks are scheduled by EDF. We show that the guaranteed processor utilization for the assumed scheduling model is at least as high as the one provided by RM for two tasks, namely 2(2√−1). Seven polynomial time tests for checking the system timeliness are derived and proved correct. The proposed tests are compared against each other and to an exact but exponential running time test.

Study in real conditions and in laboratory of the application of expanded agglomerated cork as exterior wall covering

The interest of the study on the implementation of expanded agglomerated cork as exterior wall covering derives from two critical factors in a perspective of sustainable development: the use of a product consisting of a renewable natural material-cork-and the concern to contribute to greater sustainability in construction. The study aims to assess the feasibility of its use by analyzing the corresponding behaviour under different conditions. Since this application is relatively recent, only about ten years old, there is still much to learn about the reliability of its long-term properties. In this context, this study aims to deepen and approach aspects, some of them poorly studied and even unknown, that deal with characteristics that will make the agglomerate a good choice for exterior wall covering. The analysis of these and other characteristics is being performed by testing both under actual exposure conditions, on an experimental cell at LNEC, and on laboratory. In this paper the main laboratory tests are presented and the obtained results are compared with the outcome of the field study. © (2015) Trans Tech Publications, Switzerland.

Avaliação das actividades de enriquecimento curricular nas escolas do 1º ciclo do ensino básico - estudo de caso nas áreas metropolitanas de Lisboa e Porto

Comunicação publicada nas Actas do Encontro pela Faculdade de Letras da Universidade do Porto. Apresentação realizada no 2.º Encontro de Sociologia da Educação "Educação, Territórios e (Des)Igualdades", no Porto, em Janeiro de 2011.

Mediterranean spotted fever and identification of new agents of rickettsioses in Portugal : epidemiological determinants, host and microbial features in portuguese patients

Resumo: a febre botonosa, também conhecida por febre escaro-nodular (FEN) é uma doença endémica nos Países da bacia do Mediterrâneo, África, Médio Oriente, Índia e Paquistão. O agente etiológico responsável por esta patologia é a bactéria Rickettsia conorii. Contudo, em alguns países, como Portugal e Itália, esta patologia é causada por duas estirpes diferentes: R conorii Malish e R conorii Israeli spotted fever strain. O principal vector e reservatório é o ixodídeo Rhipicephalus sanguineus. Mesmo com uma elevada taxa de subnotificação detectada no nosso País, a taxa incidência da FEN é de 8.4/105 habitantes (1989-2005), uma das mais altas quando comparada coom a de outros países da bacia do Mediterrâneo. De todos os distritos portugueses, Bragança e Beja são aqueles que apresentam as taxas de incidência mais elevadas, 56,8/105 habitantes e 47,4 / 105 habitantes respectivamente. Em Portugal, as alterações climáticas verificadas na última década, nomeadamente a subida das temperaturas médias anuais, parecem ter influenciado o ciclo de vida do vector e a sua dinâmica sazonal, permitindo ao R. sanguineus completar mais de um ciclo de vida por ano. Este facto, e a possibilidade deste vector se manter activo noutros meses do ano, nomeadamente nos meses de inverno, tem influenciado consequentemente o padrão de distribuição anual dos casos de FEN. A febre escaro-nodular caracteriza-se clinicamente como uma doença exantemática, com um processo de vasculite generalizado. Apesar de na generalidade ser considerada uma doença benigna (quando tratada atempadamente e com terapêutica adequada e específica)e de estarem descritos casos graves em cerca de 5-6% dos doentes, em Portugal essa percentagem aumentou e consequentemente levou a um aumento de casos fatais. Este facto tornou-se mais evidente em 1997, no Hospital Distrital de Beja e no Hospital Garcia de Orta, onde a taxa de letalidade atingiu os 32% e 18% respectivamente.Para além dos factores de co-morbilidade encontrados nos doentes mais graves, como diabetes mellitus, ou o atraso na instituição da terapêutica específica, foi colocada de que a estirpe R. conorii Israel spotted fever strain pudesse ser mais virulenta ou então estivesse associada a diferentes manifestações clínicas que dificultassem o diagnóstico clínico e a instituição atempada da terapêutica. Houve ainda a necessidade de avaliar alguns parâmetros imunológicos dos doentes e tentar identificar que factores, nomeadamente que citoquinas, poderiam estar envolvidos na resposta a uma infecção por R.conorii.Face a estas questões foi avaliada e comparada a epidemiologia, manifestações clínicas e laboratoriais de 140 doentes (71 infectados com R. conorii Malish e 69 infectados com R. conorii Israel spotted fever strain). Concluiu-se que existe uma sobreposição de manifestações clinicas entre os dois grupos de doentes, mas que a percentagem da escara de inoculação é significativamente inferior em doentes infectados com R. conorii Israel spotted fever strain. Dos resultados mais importantes encontrados neste estudo concluiu-se que a estirpe R. conorii Malish e é demonstrado, pela primeira vez, estatisticamente que o alcoolismo é um factor de risco para a morte de doentes com FEN. Associadas a factores de um mau prognósitco da doença, estão as manifestações gastrointestinais, que poderão ser ou não reflexo de alterações do sistema nervoso central, e ainda a alteração de parâmetros laboratoriais como a presença de hiperbilirubinemia e aumento dos valores da ureia.A maior parte dos estudos realizados sobre os mecanismos da resposta imunitária à infecção por R. conorii e as interacções hospedeiro - agente etiológico têm sido elucidados com base em modelos animais. Poucos estudos têm sido efectuados em doentes e nenhum estudo prévio tinha sido realizado no sentido de avaliar localmente (escara/pele) quais os mediadores ou outras moléculas envolvidas na resposta imunitária às rickettsioses. Foi avaliado o nível de expressão génica de RNA mensageiro (RNAm)de diferentes citoquinas em amostras de pele de doentes com FEN pela técnica de PCR em tempo real.Os resultados deste estudo mostraram que, quando comparado com o grupo controlo, os 23 doentes analisados apresentavam níveis estatisticamente significativos, mais elevados de expressão génica de interferão (IFN-γ, Tumor necrosis factor (TFN-α, interleucina 10 (IL-10, RANTES (regulated by activation, normal T-cell-expressed and secreted chemokine)e indolamina 2-3 desoxigenase (IDO),uma enzima envolvida no controlo e limitação do crescimento intracelular das rickettsias, através da degradação do triptofano. Seis dos 23 doentes apresentaram ainda niveis de expressão elevados de óxido nítrico indutível (iNOS)que actua como microbicida. Encontrou-se uma correlação positiva entre a expressão de RNAm de TNF-α, γ, iNOS e IDO e os casos menos graves de FEN sugerindo um tipo de resposta imunitária tipo Th1, i.e. com papel protector na resposta à infecção.Verificou-se também que os valores de expressão genética do RNAm de IL-10, estavam inversamente correlacionados com a expressão do RNAm de TNF-α e IFN-γ. Os casos menos graves de FEN parecem assim envolver um balanço entre a resposta pró-inflamatória e anti-inflamatória. Já os níveis de expressão génica do RNAm de IL-10 estavam inversamente correlacionados com a expressão RNAm de TNF-α e IFN-γ. Os casos menos graves de FEN parecem assim envolver um balanço entre uma resposta pró-inflamatória e anti-inflamatória. Já os níveis de expressão RNAm da quimoquina RANTES foram estatisticamente mais elevados em doentes graves.Nesta dissertação é ainda descrita uma nova rickettsiose presente em Portugal, causada pela bactéria R. sibirica mongolitimonae, que foi identificada laboratorialmente por isolamento do agente, e por detecção do DNA em biopsia de pele. A presença deste agente foi ainda corroborada pela detecção em paralelo do mesmo agente no ixodídeos como R. africae like e em pulgas como R. felis e R.typhi alertam para a possibilidade de existência de outras rickettsioses que possam estar diagnosticadas em Portugal. Abstract: Mediterranean spotted fever (MSF), a tick-borne disease caused by Rickettsia conorii, is widley distributed in the Old World, being endemic in the southern Europe, Africa, Middle East, India and Pakistan. In Portugal two strains cause disease: R.conorii Malish and R.conorii Israeli spotted fever.Rhipicephalus sanguineus, the brown dog tick, is considered the main vector and reservoir. MSF is characterized by seasonality, and most of cases are encountered in late spring and summer, peaking in July and August. However, CEVDI/INSA laboratory has observed that the incidence of MSF cases has changed during winter season.The increasing annual averages of air temperatures and warmer and drier winters might have influenced the dynamics of the life cycle and activity of R. sanguineus, and indirectley the number MSF cases during the so called MSF off-season.In the period of 1989-2005, the incidence rate of MSF was 8.4/105 inhabitants, one of the highest rates compared with other endemic countries. In the Portugal during the same period, the highest incidence rates were reported in the districts of Bragança, with 56.8/105 inhabitants, and Beja, with 47.4/105 inhabitants. Severe cases of MSF are reported in 6% of the patients, but it seems that this pattern of disease in Portugal has been changing.This factor became more evident in 1997, with a reported case fatality rate of 32% and 18% in patients with MSF admited at Beja and Garcia Orta Hospitals, respectively. Although it was found that diabetes mellitus and delay in therapy have been implicated as a risk factor for death, the hypothesis was considered, that the new ISF strain isolated from Portugueses patients in the same year (1997)causes different or atypical clinical conorii Malish strain. The local (skin biopsies) immune response to R. conorii infection was also evaluated.A prospective study was performed to characterized epidemiological, clinical, laboratory features and determined risk factors for a fatal outcome. One hundred forty patients (51% patients were infected with Rickettsia conorii Malish stain and 49% with Israeli spotted fever strain)with diagnosis documented with identification of the causative rickettsial strain were admitted to 13 Portugueses Hospitals during 1994-2006.Comparison of the clinical manifestations of MSF caused by Malish and ISF strains revealed tremendous overlap that would not permit clinical recognition of the strain envolved, but an eschar was observed in a significantly higher percentage of patients with Malish than ISF strain.A fatal outcome was significantly more likely for patients with ISF strain infection meaning that ISF strain was more virulent than Malish strain, and also alcoholism was a host risk factor for a fatal outcome.The pathophysiology of a fatal outcome involved significantly greater incidence of petechial rash, gastrointestinal symptoms, confusion/obtundation, dehydration, tachypnea, hepatomegaly, leukocytosis, coagulopathy, azotemia, hyperbilirubinemia, and elevated hepatic enzymes and creatine kinase. Multivariate analysis revealed that acute renal failure and hyperbilirubinemia were most strong associated with a fatal oucome of infections with both strains.The immune response to R. conorii infection determined with both strains. The immune response to R. conorii infection determined by the expression levels of inflammatory and immune mediators in skin biopsies collected from untreated patients with Mediterranean spotted fever reveal that intralesional expression of mRNA of TNF-α, IFN-γ, IL-10, RANTES, and indoleamine-2, 3-dioxygenase (IDO)an enzyme involved in limiting rickettsial growth by tryptophan degradation, were elevated in skin of MSF patients compared to controls. Six patients had elevated levels of inducible nitric oxide synthase (NOS2, a source microbicidal nitric oxide.Positive correlations among TNF-α, IFN-γ, NOS2,IDO and mild-to-moderate disease suggested that type 1 polarization plays a protective role. Significantly high levels of intralesional IL-10 were inversely correlated with IFN-γ and TNF-α. The chemokine RANTES was significantly higher in patients with several MSF. It seems that MSF patients with mild-to-moderate disease have a strong and balanced intralesional pro-inflammatory and anti-inflammatory response, while severe disease is associated with higher chemokine expression.Whether these findings are simply a correlate of mild and severe disease or contribute to anti-rickettsial immunity and pathogenesis remains to be determined.In this dissertation is also described a new rickettsiois present in Portugal caused by R.sibirica mongolitimonae strain, identified based on agent isolation and DNA detection by PCR technique in a skin biopsy.The presence of this agent corroborated by its detection also in Rhipicephalus pusillus tick. Also, pathogenic tick and flea-borne rickettsial agents such as R. africae strain detected in Rhipicephalus bursa tick, and R.felis and R.typhi detected in different fleas species raise the alert for the possible existence of other rickettsioses in Portugal that might be underdiagnosed.

Matemática II : apoio às aulas de funções reais de mais de uma variável real

Este texto apresenta os conceitos fundamentais das funções reais de mais de duas variáveis. Estes slides são um complemento às aulas de Matemática II para o tema em estudo para alunos da licenciatura em gestão.

Avaliação das actividades de enriquecimento curricular (AEC) no 1º ciclo de ensino básico do concelho de Oeiras

Comunicação apresentada no 6º Congresso Nacional de Administração Pública, realizado pelo INA em Lisboa em 29 e 30 de Outubro de 2008

Convergência para NZEB de um edifício de serviços em Faro

Dissertação para obtenção do grau de Mestre em Engenharia Civil

Produção de Biohidrogénio pela cianobactéria Anabaena sp. PCC 7120 e mutantes: efeito do ciclo de luz (dia/noite) e da intensidade luminosa

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção de Grau de Mestre em Energia e Bioenergia

Modelo para apoio à definição curricular de cursos 1º ciclo na área da Ciência da Computação

Tese submetida à Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa, para cumprimento parcial dos requisitos para o grau de Mestrado em Engenharia Informática

System-on-chip field-programmable gate array design for onboard real-time hyperspectral unmixing

Hyperspectral instruments have been incorporated in satellite missions, providing large amounts of data of high spectral resolution of the Earth surface. This data can be used in remote sensing applications that often require a real-time or near-real-time response. To avoid delays between hyperspectral image acquisition and its interpretation, the last usually done on a ground station, onboard systems have emerged to process data, reducing the volume of information to transfer from the satellite to the ground station. For this purpose, compact reconfigurable hardware modules, such as field-programmable gate arrays (FPGAs), are widely used. This paper proposes an FPGA-based architecture for hyperspectral unmixing. This method based on the vertex component analysis (VCA) and it works without a dimensionality reduction preprocessing step. The architecture has been designed for a low-cost Xilinx Zynq board with a Zynq-7020 system-on-chip FPGA-based on the Artix-7 FPGA programmable logic and tested using real hyperspectral data. Experimental results indicate that the proposed implementation can achieve real-time processing, while maintaining the methods accuracy, which indicate the potential of the proposed platform to implement high-performance, low-cost embedded systems, opening perspectives for onboard hyperspectral image processing.

Real fábrica de vidros de Coina – Chemical analysis of archaeological glass fragments

Actas do 17º Congresso da Associação Internacional para a História do Vidro

Os sistemas de informação geográfica no ensino da Geografia: aplicação a uma turma do 3º ciclo do Ensino Básico

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Estatística e Gestão de Informação.

Deteção de avarias na caixa de engrenagens de aerogeradores

Ao longo dos últimos anos tem-se assistido a um forte desenvolvimento e crescimento do número de parques eólicos instalados no mundo, o que leva a que seja necessário o incremento de ferramentas que permitam aperfeiçoar os sistemas de monitorização e controlo atualmente existentes. Por outro lado, não se deve deixar de ter em conta os custos elevados de operação e manutenção dos sistemas eólicos bem como o facto de os aerogeradores estarem localizadas em locais remotos ou offshore, o que faz aumentar os custos associados à sua exploração. A dissertação nasce da intenção clara do mercado em apostar na supervisão e previsão de avarias graves, de forma a minimizar os encargos subjacentes. Este trabalho de dissertação visa a utilização de redes neuronais para criar uma ferramenta informática de previsão de avarias em caixas de engrenagens em aerogeradores. As redes neuronais são ferramentas informáticas ideais para trabalhar com muita informação, sendo que a sua aplicação depende da qualidade e quantidade dos dados. Para tal irá ser efetuado um estudo em um parque eólico, no qual se analisará as principais avarias detetadas bem como as grandezas que deverão integrar a construção desta rede neuronal. Assim sendo, a informação relativa às diversas máquinas existentes num parque, é de enorme importância para a definição e otimização da rede neuronal a construir. Os resultados obtidos neste trabalho com a aplicação de redes neuronais para a previsão de avarias em caixas de engrenagens do parque eólico de estudo, provam que é possível realizar uma deteção da avaria bem como uma constatação de que a reparação possa ter sido bem efetuada ou mal sucedida, podendo assim ser ajustados os programas de manutenção a efetuar e uma verificação das ações de reparação para sua validação.

Relatório de estágio de Mestrado em Ensino de Biologia e de Geologia no 3º ciclo de Ensino Básico e no Ensino Secundário

Relatório de estágio Pedagógico apresentado na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Ensino de Biologia e Geologia no 3º Ciclo de Ensino Básico e no Ensino Secundário