Redes de Petri reactivas e hierárquicas - integração de formalismos no projecto de sistemas reactivos de tempo-real

Dissertação apresentada para obtenção do grau de Doutor em Engenharia Electrotécnica, especialidade de Sistemas Digitais, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

RealCrono –sistema de difusão de resultados em tempo real na web

A velocidade de difusão de conteúdos numa plataforma web, assume uma elevada relevância em serviços onde a informação se pretende atualizada e em tempo real. Este projeto de Mestrado, apresenta uma abordagem de um sistema distribuído de recolher e difundir resultados em tempo real entre várias plataformas, nomeadamente sistemas móveis. Neste contexto, tempo real entende-se como uma diferença de tempo nula entre a recolha e difusão, ignorando fatores que não podem ser controlados pelo sistema, como latência de comunicação e tempo de processamento. Este projeto tem como base uma arquitetura existente de processamento e publicação de resultados desportivos, que apresentava alguns problemas relacionados com escalabilidade, segurança, tempos de entrega de resultados longos e sem integração com outras plataformas. Ao longo deste trabalho procurou-se investigar fatores que condicionassem a escalabilidade de uma aplicação web dando ênfase à implementação de uma solução baseada em replicação e escalabilidade horizontal. Procurou-se também apresentar uma solução de interoperabilidade entre sistemas e plataformas heterogêneas, mantendo sempre elevados níveis de performance e promovendo a introdução de plataformas móveis no sistema. De várias abordagens existentes para comunicação em tempo real sobre uma plataforma web, adotou-se um implementação baseada em WebSocket que elimina o tempo desperdiçado entre a recolha de informação e sua difusão. Neste projeto é descrito o processo de implementação da API de recolha de dados (Collector), da biblioteca de comunicação com o Collector, da aplicação web (Publisher) e sua API, da biblioteca de comunicação com o Publisher e por fim a implementação da aplicação móvel multi-plataforma. Com os componentes criados, avaliaram-se os resultados obtidos com a nova arquitetura de forma a aferir a escalabilidade e performance da solução criada e sua adaptação ao sistema existente.

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.

Imunização de camundongos com «vacina» viva avirulenta de Trypanosoma cruzi: II Ensaio da avaliação do tempo de eficiência da vacina

Camundongos "vacinados" com vacina viva avirulenta de T. cruzi se mostraram protegidos contra infecção virulenta, até 20 semanas após a imunização. Essa proteção foi inferior à observada avós 4 semanas de imunização e menor ainda do que a apresentada por animais infectados 4 semanas após a "vacinação" e reinfeetados 15 semanas depois. Neste último caso, a primeira infecção parece ter atuado como uma dose de reforço. O Autor assinala a dificuldade em determinar o tempo de validade da vacina, em virtude da resistência natural apresentada com a idade, mesmo pelos animais mais sensíveis.

Utilização de cartas de controlo para monitorização em tempo real da qualidade da água numa rede de distribuição

Dissertação para obtenção do Grau de Mestre em Engenharia e Gestão Industrial

Carga proviral do HTLV-1 e HTLV-2: um método simples através da PCR quantitativa em tempo real

Os vírus linfotrópicos de células T humanas, quando integrados ao genoma da célula hospedeira, provírus, têm como marcador de replicação seu DNA proviral. A carga proviral parece ser um importante fator no desenvolvimento de patologias associadas a estes retrovírus. Neste estudo foi desenvolvida uma metodologia para quantificação absoluta da carga proviral dos HTLV-1 e HTLV-2 através da PCR em tempo real. Cinqüenta e três amostras de doadores de sangue com teste de ELISA reagente foram submetidas à metodologia, que utilizou o sistema TaqMan® para três seqüências alvo: HTLV-1, HTLV-2 e albumina. A quantificação proviral absoluta foi determinada através da proporção relativa entre o genoma do HTLV e o genoma da célula hospedeira, levando em consideração o número de leucócitos. O método apresentado é sensível (215 cópias/mL), prático e simples para quantificação proviral, além de eficiente e adequado para confirmação e discriminação da infecção pelos tipos virais.

“Em Direto”. A banalização da transmissão em tempo real na informação da SIC e da SIC Notícias

O avanço tecnológico da televisão possibilita cada vez mais chegar onde nunca antes fora possível. Hoje em dia é possível transmitir em direto de quase qualquer ponto do mundo e, com os canais de informação, a qualquer hora. Mas estará o direto a ser banalizado ao ponto de perder a sua importância? Como é que é utilizada a transmissão em tempo real nos canais portugueses, em particular na SIC e na SIC Notícias? Este relatório vai tentar entender as vantagens e desvantagens que o direto acarreta, enquanto apresenta o novo panorama tecnológico da televisão

Implementação e validação do método de deteção de alergénios em alimentos por PCR em tempo real no Laboratório SGS

As alergias alimentares são um grande problema de saúde pública a nível mundial, que ocorre em todas as faixas etárias, tendo maior incidência em crianças. Mediada pelo sistema imunitário, a alergia alimentar é uma reação adversa que ocorre devido à presença de alergénios alimentares, que são identificados erroneamente como sendo um perigo ao organismo. Como é uma patologia que não possui cura, a prevenção é a melhor forma de evitar que ocorram reações alérgicas em indivíduos sensíveis, sendo a rotulagem um componente indispensável para a identificação dos alergénios presentes nos alimentos. Dentro dos métodos utilizados para a deteção de alergénios está a Reação em Cadeia da Polimerase em tempo real (PCR em tempo real), que é capaz de identificar o gene que codifica a proteína alergénica. Este método possui elevada sensibilidade e especificidade, sendo atualmente utilizado na área alimentar para a deteção de organismos genéticamente modificados e alergénios. Devido a uma grande procura de clientes e consumidores, para identificação de alergénios em alimentos, o objetivo do presente trabalho foi implementar e validar, a partir de análises de sensibilidade, precisão e robustez, o método de PCR em tempo real. Dessa forma, foi testada a deteção qualitativa de oito alergénios em alimentos, sendo estes o aipo, amendoim, avelã, caju, noz, pistáchio, sésamo e soja, no Laboratório da SGS - Société Générale de Surveillance. Destes alergénios, foi possível a validação de sete, demonstrando que o método de PCR em tempo real, para os presentes alergénios, possui elevada precisão e sensibilidade nos resultados obtidos.

Demonstração do mecanismo da terapia de ressincronização ventricular com ecocardiografia tridimensional em tempo real em paciente com insuficiência cardíaca

Relatamos caso de homem de 66 anos de idade portador de insuficiência cardíaca classe funcional (NYHA) IV que foi submetido a terapia de ressincronização cardíaca por implante de marcapasso biventricular. O paciente foi avaliado antes e 48 horas após o implante do marcapasso com o emprego da ecocardiografia tridimensional transtorácica em tempo real. A utilização da ecocardiografia tridimensional contribuiu para o entendimento do mecanismo envolvido na ressincronização cardíaca através da demonstração da melhor sincronização dos segmentos cardíacos, o que resultou em melhora clínica do paciente.