Tolerância a falhas em sistemas de tempo-real distribuídos e embebidos

Este documento descreve um modelo de tolerância a falhas para sistemas de tempo-real distribuídos. A sugestão deste modelo tem como propósito a apresentação de uma solu-ção fiável, flexível e adaptável às necessidades dos sistemas de tempo-real distribuídos. A tolerância a falhas é um aspeto extremamente importante na construção de sistemas de tempo-real e a sua aplicação traz inúmeros benefícios. Um design orientado para a to-lerância a falhas contribui para um melhor desempenho do sistema através do melhora-mento de aspetos chave como a segurança, a confiabilidade e a disponibilidade dos sis-temas. O trabalho desenvolvido centra-se na prevenção, deteção e tolerância a falhas de tipo ló-gicas (software) e físicas (hardware) e assenta numa arquitetura maioritariamente basea-da no tempo, conjugada com técnicas de redundância. O modelo preocupa-se com a efi-ciência e os custos de execução. Para isso utilizam-se também técnicas tradicionais de to-lerância a falhas, como a redundância e a migração, no sentido de não prejudicar o tempo de execução do serviço, ou seja, diminuindo o tempo de recuperação das réplicas, em ca-so de ocorrência de falhas. Neste trabalho são propostas heurísticas de baixa complexida-de para tempo-de-execução, a fim de se determinar para onde replicar os componentes que constituem o software de tempo-real e de negociá-los num mecanismo de coordena-ção por licitações. Este trabalho adapta e estende alguns algoritmos que fornecem solu-ções ainda que interrompidos. Estes algoritmos são referidos em trabalhos de investiga-ção relacionados, e são utilizados para formação de coligações entre nós coadjuvantes. O modelo proposto colmata as falhas através de técnicas de replicação ativa, tanto virtual como física, com blocos de execução concorrentes. Tenta-se melhorar ou manter a sua qualidade produzida, praticamente sem introduzir overhead de informação significativo no sistema. O modelo certifica-se que as máquinas escolhidas, para as quais os agentes migrarão, melhoram iterativamente os níveis de qualidade de serviço fornecida aos com-ponentes, em função das disponibilidades das respetivas máquinas. Caso a nova configu-ração de qualidade seja rentável para a qualidade geral do serviço, é feito um esforço no sentido de receber novos componentes em detrimento da qualidade dos já hospedados localmente. Os nós que cooperam na coligação maximizam o número de execuções para-lelas entre componentes paralelos que compõem o serviço, com o intuito de reduzir atra-sos de execução. O desenvolvimento desta tese conduziu ao modelo proposto e aos resultados apresenta-dos e foi genuinamente suportado por levantamentos bibliográficos de trabalhos de in-vestigação e desenvolvimento, literaturas e preliminares matemáticos. O trabalho tem também como base uma lista de referências bibliográficas.

Relationship between ISO 9001 certification maturity and EFQM business excellence model results

Purpose: This exploratory research evaluates if there is a relationship between the number of years since an organization has achieved ISO 9001 certification and the highest level of recognition received by the same organization with the EFQM Business Excellence Model. Methodology/Approach: After state of the art review a detailed comparison between both models was made. Fifty two Portuguese organizations were considered and Correlation coefficient Spearman Rho was used to investigate the possible relationships. Findings: Conclusion is that there is indeed a moderate positive correlation between these two variables, the higher the number of years of ISO 9001 certification, the higher the results of the organization EFQM model evaluation and recognition. This supports the assumption that ISO 9001 International Standard by incorporating many of the principles present in the EFQM Business Excellence Model is consistent with this model and can be considered as a step towards that direction. Research Limitation/implication: Due to the dynamic nature of these models that might change over time and the possible time delays between implementation and results, more in-depth studies like experimental design or a longitudinal quasi-experimental design could be used to confirm the results of this investigation. Originality/Value of paper: This research gives additional insights on conjunct studies of both models. The use of external evaluation results carried out by the independent EFQM assessors minimizes the possible bias of previous studies accessing the value of ISO 9001 certification.

Desenvolvimento e aplicação de um biossensor para monitorização de creatinina, um biomarcador associado a doenças emergentes

Este trabalho descreve o desenvolvimento de um material sensor para creatinina por impressão molecular em estrutura polimérica (MIP) e a sua aplicação no desenvolvimento de um dispositivo de natureza potenciométrica para a determinação da molécula alvo em fluidos biológicos. A creatinina é um dos biomarcadores mais utilizados no acompanhamento da doença renal, já que é um bom indicador da taxa de filtração glomerular (TFG). Os materiais biomiméticos desenhados para interação com a creatinina foram obtidos por polimerização radicalar, recorrendo a monómeros de ácido metacríclico ou de vinilpiridina e a um agente de reticulação apropriado. De modo a aferir o efeito da impressão da creatinina na resposta dos materiais MIP à sua presença, foram também preparados e avaliados materiais de controlo, obtidos sem impressão molecular (NIP). O controlo da constituição química destes materiais, incluindo a extração da molécula impressa, foi realizado por Espectroscopia de Raman e de Infravermelho com Transformada de Fourrier. A afinidade de ligação entre estes materiais e a creatinina foi também avaliada com base em estudos cinéticos. Todos os materiais descritos foram integrados em membranas selectivas de elétrodos seletivos de ião, preparadas sem ou com aditivo iónico lipófilo, de carga negativa ou positiva. A avaliação das características gerais de funcionamento destes elétrodos, em meios de composição e pH diferentes, indicaram que as membranas com materiais impressos e aditivo aniónico eram as únicas com utilidade analítica. Os melhores resultados foram obtidos em solução tampão Piperazine-N,N′-bis(2- ethanesulfonic acid), PIPES, de pH 2,8, condição que permitiu obter uma resposta quasi-Nernstiana, a partir de 1,6×10-5 mol L-1. Estes elétrodos demonstraram ainda uma boa selectividade ao apresentaram uma resposta preferencial para a creatinina quando na presença de ureia, carnitina, glucose, ácido ascórbico, albumina, cloreto de cálcio, cloreto de potássio, cloreto de sódio e sulfato de magnésio. Os elétrodos foram ainda aplicados com sucesso na análise de amostras sintéticas de urina, quando os materiais sensores eram baseados em ácido metacrilico, e soro, quando os materiais sensores utilizados eram baseados em vinilpiridina.

Feasibility and acceptability of an exergame intervention for schizophrenia

Objectives To evaluate the feasibility and acceptability of an exergame intervention as a tool to promote physical activity in outpatients with schizophrenia. Design Feasibility/Acceptability Study and Quasi-Experimental Trial. Method Sixteen outpatients with schizophrenia received treatment as usual and they all completed an 8-week exergame intervention using Microsoft Kinect® (20 min sessions, biweekly). Participants completed pre and post treatment assessments regarding functional mobility (Timed Up and Go Test), functional fitness performance (Senior Fitness Test), motor neurological soft signs (Brief Motor Scale), hand grip strength (digital dynamometer), static balance (force plate), speed of processing (Trail Making Test), schizophrenia-related symptoms (Positive and Negative Syndrome Scale) and functioning (Personal and Social Performance Scale). The EG group completed an acceptability questionnaire after the intervention. Results Attrition rate was 18.75% and 69.23% of the participants completed the intervention within the proposed schedule. Baseline clinical traits were not related to game performance indicators. Over 90% of the participants rated the intervention as satisfactory and interactive. Most participants (76.9%) agreed that this intervention promotes healthier lifestyles and is an acceptable alternative to perform physical activity. Repeated-measures MANOVA analyses found no significant multivariate effects for combined outcomes. Conclusion This study established the feasibility and acceptability of an exergame intervention for outpatients with schizophrenia. The intervention proved to be an appealing alternative to physical activity. Future trials should include larger sample sizes, explore patients' adherence to home-based exergames and consider greater intervention dosage (length, session duration, and/or frequency) in order to achieve potential effects.

Comparing the performance of geostatistical models with additional information from covariates for sewage plume characterization

In this work, kriging with covariates is used to model and map the spatial distribution of salinity measurements gathered by an autonomous underwater vehicle in a sea outfall monitoring campaign aiming to distinguish the effluent plume from the receiving waters and characterize its spatial variability in the vicinity of the discharge. Four different geostatistical linear models for salinity were assumed, where the distance to diffuser, the west-east positioning, and the south-north positioning were used as covariates. Sample variograms were fitted by the Mat`ern models using weighted least squares and maximum likelihood estimation methods as a way to detect eventual discrepancies. Typically, the maximum likelihood method estimated very low ranges which have limited the kriging process. So, at least for these data sets, weighted least squares showed to be the most appropriate estimation method for variogram fitting. The kriged maps show clearly the spatial variation of salinity, and it is possible to identify the effluent plume in the area studied. The results obtained show some guidelines for sewage monitoring if a geostatistical analysis of the data is in mind. It is important to treat properly the existence of anomalous values and to adopt a sampling strategy that includes transects parallel and perpendicular to the effluent dispersion.

Influência de um programa de treino da musculatura do core em jogadoras ado-lescentes de voleibol

Introdução: Apesar de na reabilitação e nas atividades da vida diária já se perceber que o treino do core tem bastantes benefícios, no desporto ainda não há provas conclusivas deste mesmo benefício e de como o treino do core deve ser elaborado. Objectivo(s): Avaliar a eficácia de um programa de intervenção sobre a musculatura do core em jogadoras de voleibol Métodos: O presente estudo quasi experimental longitudinal teve uma amostra final de 56 indivíduos – grupo controlo (GC) (n= 27), e grupo experimental (GE) (n=29). Avaliou-se os testes de endurance, e respectivos rácios, descritos por McGill. Ambos os grupos foram avaliados antes (Momento 0) e após (Momento 1) a aplicação de um programa de intervenção. Resultados: Na análise entre os 2 grupos, tanto no Momento 0 como no Momento 1, não se registou diferenças estatisticamente significativas, nem nas médias de tempo dos testes de McGill nem nos rácios. Já na análise intragrupo, o GC não apresentou resultados estatisti-camente significativos, nem nas médias de tempo dos testes do McGill nem nos rácios, enquanto o GE apenas apresentou valores estatisticamente significativos nas médias de tempo da prancha lateral direita (p = 0,04) e prancha lateral esquerda (p = 0,03). Conclusão: Atletas jovens e do sexo feminino, apresentaram um fraco de-sempenho da musculatura extensora do tronco que as torna mais passíveis de contrair lesões lumbopélvicas. Será necessário implementar um programa de intervenção, diferente do aplicado neste estudo, e com maior ênfase na musculatura extensora para equilibrar os rácios propostos por McGill, e assim, diminuir o risco de lesão.