Run-time monitoring in real-time operating systems

Embedded systems are increasingly complex and dynamic, imposing progressively higher developing time and costs. Tuning a particular system for deployment is thus becoming more demanding. Furthermore when considering systems which have to adapt themselves to evolving requirements and changing service requests. In this perspective, run-time monitoring of the system behaviour becomes an important requirement, allowing to dynamically capturing the actual scheduling progress and resource utilization. For this to succeed, operating systems need to expose their internal behaviour and state, making it available to external applications, and a runtime monitoring mechanism must be available. However, such mechanism can impose a burden in the system itself if not wisely used. In this paper we explore this problem and propose a framework, which is intended to provide this run-time mechanism whilst achieving code separation, run-time efficiency and flexibility for the final developer.

Optimising protocol of acquisition and post-processing procedures in the assessment of coronary artery disease by computed tomography

Coronary artery disease (CAD) is currently one of the most prevalent diseases in the world population and calcium deposits in coronary arteries are one direct risk factor. These can be assessed by the calcium score (CS) application, available via a computed tomography (CT) scan, which gives an accurate indication of the development of the disease. However, the ionising radiation applied to patients is high. This study aimed to optimise the protocol acquisition in order to reduce the radiation dose and explain the flow of procedures to quantify CAD. The main differences in the clinical results, when automated or semiautomated post-processing is used, will be shown, and the epidemiology, imaging, risk factors and prognosis of the disease described. The software steps and the values that allow the risk of developingCADto be predicted will be presented. A64-row multidetector CT scan with dual source and two phantoms (pig hearts) were used to demonstrate the advantages and disadvantages of the Agatston method. The tube energy was balanced. Two measurements were obtained in each of the three experimental protocols (64, 128, 256 mAs). Considerable changes appeared between the values of CS relating to the protocol variation. The predefined standard protocol provided the lowest dose of radiation (0.43 mGy). This study found that the variation in the radiation dose between protocols, taking into consideration the dose control systems attached to the CT equipment and image quality, was not sufficient to justify changing the default protocol provided by the manufacturer.

Análise crítica do Regulamento Geral dos Sistemas Públicos e Prediais de Distribuição de Água e de Drenagem de Águas Residuais

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Civil na Área de Especialização de Hidráulica

CoS: a new perspective of operating systems design for the cyber-physical world

Our day-to-day life is dependent on several embedded devices, and in the near future, many more objects will have computation and communication capabilities enabling an Internet of Things. Correspondingly, with an increase in the interaction of these devices around us, developing novel applications is set to become challenging with current software infrastructures. In this paper, we argue that a new paradigm for operating systems needs to be conceptualized to provide aconducive base for application development on Cyber-physical systems. We demonstrate its need and importance using a few use-case scenarios and provide the design principles behind, and an architecture of a co-operating system or CoS that can serve as an example of this new paradigm.

A traffic differentiation add-on to the IEEE 802.15.4 protocol: implementation and experimental validation over a real-time operating system

The IEEE 802.15.4 is the most widespread used protocol for Wireless Sensor Networks (WSNs) and it is being used as a baseline for several higher layer protocols such as ZigBee, 6LoWPAN or WirelessHART. Its MAC (Medium Access Control) supports both contention-free (CFP, based on the reservation of guaranteed time-slots GTS) and contention based (CAP, ruled by CSMA/CA) access, when operating in beacon-enabled mode. Thus, it enables the differentiation between real-time and best-effort traffic. However, some WSN applications and higher layer protocols may strongly benefit from the possibility of supporting more traffic classes. This happens, for instance, for dense WSNs used in time-sensitive industrial applications. In this context, we propose to differentiate traffic classes within the CAP, enabling lower transmission delays and higher success probability to timecritical messages, such as for event detection, GTS reservation and network management. Building upon a previously proposed methodology (TRADIF), in this paper we outline its implementation and experimental validation over a real-time operating system. Importantly, TRADIF is fully backward compatible with the IEEE 802.15.4 standard, enabling to create different traffic classes just by tuning some MAC parameters.

Compact SMB chromatography for binary separation

A thesis submitted for the degree of Doctor of Philosophy

Performance evaluation of hospitals that provide care in the public health system, Brazil

OBJECTIVE To analyze if size, administrative level, legal status, type of unit and educational activity influence the hospital network performance in providing services to the Brazilian Unified Health System.METHODS This cross-sectional study evaluated data from the Hospital Information System and the Cadastro Nacional de Estabelecimentos de Saúde (National Registry of Health Facilities), 2012, in Sao Paulo, Southeastern Brazil. We calculated performance indicators, such as: the ratio of hospital employees per bed; mean amount paid for admission; bed occupancy rate; average length of stay; bed turnover index and hospital mortality rate. Data were expressed as mean and standard deviation. The groups were compared using analysis of variance (ANOVA) and Bonferroni correction.RESULTS The hospital occupancy rate in small hospitals was lower than in medium, big and special-sized hospitals. Higher hospital occupancy rate and bed turnover index were observed in hospitals that include education in their activities. The hospital mortality rate was lower in specialized hospitals compared to general ones, despite their higher proportion of highly complex admissions. We found no differences between hospitals in the direct and indirect administration for most of the indicators analyzed.CONCLUSIONS The study indicated the importance of the scale effect on efficiency, and larger hospitals had a higher performance. Hospitals that include education in their activities had a higher operating performance, albeit with associated importance of using human resources and highly complex structures. Specialized hospitals had a significantly lower rate of mortality than general hospitals, indicating the positive effect of the volume of procedures and technology used on clinical outcomes. The analysis related to the administrative level and legal status did not show any significant performance differences between the categories of public hospitals.

Avaliação da gestão do tempo no contexto da organização do trabalho dos técnicos de radiologia

Mestrado em Intervenção Sócio-Organizacional na Saúde - Área de especialização: Políticas de Administração e Gestão de Serviços de Saúde

Produção de biodiesel mediante ecovalorização de óleos alimentares: otimização de estratégias de produção e de controlo de qualidade

Os biocombustíveis são combustíveis com origem em matérias-primas naturais e renováveis, como óleos vegetais, gorduras animais, óleos e gorduras residuais entre outros, utilizados como substitutos de combustíveis minerais, como o gasóleo ou gasolina. Esta alternativa aos combustíveis de origem fóssil, tem-se vindo a revelar cada vez mais atrativa, sobretudo devido aos seus benefícios ambientais, destacando-se entre ele s o facto de serem biodegradáveis, não tóxicos e emitirem menos gases aquando da sua combustão, não contribuindo deste modo para o aumento do efeito de estufa na atmosfera. Na execução do presente trabalho, assume-se como finalidade o desenvolvimento de procedimentos laboratoriais sistemático de modo, com o intuito de elaborar um controlo de qualidade para a produção do biodiesel que permita a implementação de novas medidas processuais melhorando a produção de biodiesel. Este trabalho é resultado do estágio no Ecoparque Braval Valorização e Tratamento de Resíduos Sólidos, S.A. Com a avaliação sistemática e contínua, tanto da matéria-prima usada na produção do biodiesel, como do produto final em si, através de procedimentos laboratoriais específicos para o efeito, visa-se que em distintas fases do processo de produção do biodiesel seja compreendido o que ocorre de forma efetiva, e assim se assumam medidas preventivas e corretivas com o intuito de melhorar a qualidade do produto final. Na elaboração deste trabalho foram também reunidos esforços no sentido de controlar as especificações do óleo à entrada das instalações e iniciar o controlo de qualidade do produto final através de análises comparativas elaboradas no laboratório da Unidade de Produção de Biodiesel do Ecoparque Brava! - Valorização e Tratamento de Resíduos Sólidos, S.A. Outra abordagem do trabalho em questão, incide no estudo do efeito da variação das condições operatórias, nomeadamente a razão molar metanol/óleo , quantidade de catalizador na produção de biodiesel, nomeadamente, na quantidade de glicerina obtida como subproduto da reação e na facilidade de separação de fases. Neste sentido, o trabalho proposto pretende controlar a qualidade da matéria-prima usada, a qualidade do produto final e apresentar os aspetos-chave que deve m ser considerados para urna melhor gestão do s recursos de produção do biocombustível.

Linux based mobile: operating systems

Trabalho de Projeto para obtenção do grau de Mestre em Engenharia Informática e de Computadores

Part I : Comparing derivatization methods for amino acids – one and two-step procedures using gas chromatography – flame ion detector (GC-FID) Part II: Story of an icon from its execution until its conservation

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Conservação e Restauro

Development of procedures for the simulation of atmospheric flows over complex terrain, using OpenFOAM

The main purpose of this work was the development of procedures for the simulation of atmospheric ows over complex terrain, using OpenFOAM. For this aim, tools and procedures were developed apart from this code for the preprocessing and data extraction, which were thereafter applied in the simulation of a real case. For the generation of the computational domain, a systematic method able to translate the terrain elevation model to a native OpenFOAM format (blockMeshDict) was developed. The outcome was a structured mesh, in which the user has the ability to de ne the number of control volumes and its dimensions. With this procedure, the di culties of case set up and the high computation computational e ort reported in literature associated to the use of snappyHexMesh, the OpenFOAM resource explored until then for the accomplishment of this task, were considered to be overwhelmed. Developed procedures for the generation of boundary conditions allowed for the automatic creation of idealized inlet vertical pro les, de nition of wall functions boundary conditions and the calculation of internal eld rst guesses for the iterative solution process, having as input experimental data supplied by the user. The applicability of the generated boundary conditions was limited to the simulation of turbulent, steady-state, incompressible and neutrally strati ed atmospheric ows, always recurring to RaNS (Reynolds-averaged Navier-Stokes) models. For the modelling of terrain roughness, the developed procedure allowed to the user the de nition of idealized conditions, like an uniform aerodynamic roughness length or making its value variable as a function of topography characteristic values, or the using of real site data, and it was complemented by the development of techniques for the visual inspection of generated roughness maps. The absence and the non inclusion of a forest canopy model limited the applicability of this procedure to low aerodynamic roughness lengths. The developed tools and procedures were then applied in the simulation of a neutrally strati ed atmospheric ow over the Askervein hill. In the performed simulations was evaluated the solution sensibility to di erent convection schemes, mesh dimensions, ground roughness and formulations of the k - ε and k - ω models. When compared to experimental data, calculated values showed a good agreement of speed-up in hill top and lee side, with a relative error of less than 10% at a height of 10 m above ground level. Turbulent kinetic energy was considered to be well simulated in the hill windward and hill top, and grossly predicted in the lee side, where a zone of ow separation was also identi ed. Despite the need of more work to evaluate the importance of the downstream recirculation zone in the quality of gathered results, the agreement between the calculated and experimental values and the OpenFOAM sensibility to the tested parameters were considered to be generally in line with the simulations presented in the reviewed bibliographic sources.

Passive haemagglutination test for human neurocysticercosis immunodiagnosis: II - Comparison of two standardized procedures for the passive haemagglutination reagent in the detection of anti-Cysticercus cellulosae antibodies in cerebrospinal fluids

A comparison of two different standardized reagent procedures for the passive haemagglutination test (PHA) in the detection of specific antibody to Cysticercus cellulosae in cerebrospinal fluid (CSF) was carried out. The formaldehyde-treated group O Rh-human red blood cells (HuRBC) and glutaraldehyde-treated sheep red blood cells (SRBC) were the supplies for the reagents preparation and, in the tests, they were designated as PHA-1 and PHA-2, respectively. For both reagents the cells were coated with the cysticerci total saline extract (TS) antigen. PHA-1 and PHA-2 were assessed in a total of 204 CSF from patients with neurocysticercosis, from non-related infections and from healthy individuals. The positivity and specificity indices obtained were respectively 81.7% and 94.4% for PHA-1 and for PHA-2, 88.7% and 96.6%. Since no significant differences were observed between the results provided by two reagents, at level of significance of 0.05, either processes of cell sensitization can alternatively be used according to the own laboratory convenience.

Comparison study of procedures for aspiration of biopsy samples

Introduction: The samples obtained from fine needle aspiration in liquid base cytology (FNAC) are often limited by scarce cellularity compared to the amount of colloid and presence of blood. Accordingly, it was important to test alternative technical procedures so as to maximize the cellularity of each sample. Objective: To compare the morphological features and cellularity of the three procedures in the FNAC cytodiagnosis of the thyroid. Methods: A total of 31 cases were each subjected to a cell block and ThinPrep preparation as well as a routine smear. The observation and analysis was performed using an optical microscope. Cytological diagnosis of each cell block case was objectively analysed for cellularity, presence of background and cellular preservation. Each smear and ThinPrep case was analysed for the presence or absence of cells. The data was analysed with Microsoft Excel (Office 2010) and SPSS (Statistical Package of Social Science) version 15.0 for Windows. Results: Of 31 cases, only 20 had thyroid cells in the cell block and ThinPrep preparations, however, all smear cases contained thyroid cells. Some background was found in 30 Cell block cases with only 5 of these containing well preserved cells for cytodiagnosis. Conclusions: As indicated by the results, smear is the most appropriate procedure for FNAC of the thyroid.