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

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

Sistema de avaliação da estabilidade transversal de navios em tempo real

A presente dissertação visa a aplicação dos conhecimentos adquiridos sobre estabilidade transversal estática de navios, conjugados com a análise dinâmica do comportamento do navio em mar regular, por intermédio da utilização de um inclinómetro de precisão e das equações matemáticas relacionadas com movimentos oscilatórios amortecidos livres e forçados, para a determinação das características do movimento do navio. É nitidamente claro que a determinação da estabilidade de navios deve ser tratada de uma forma dinâmica. A dificuldade reside essencialmente na medição exacta do efeito das forças dinâmicas tais como o vento e a ondulação. O objectivo principal deste trabalho consiste na obtenção de uma ferramenta expedita para a determinação, em tempo real, da condição de estabilidade transversal de navios, e com uma margem de erro pouco significativa. Para tal, além do tratamento das medições dinâmicas no modelo e no navio, por intermédio do MatlabTM e folha de cálculo ExcelTM para a determinação dos factores de amortecimento e de estabilidade, foram utilizadas as curvas de estabilidade para as condições de carga mais usuais do navio, assim como as curvas hidrostáticas necessárias. No final do trabalho são apresentadas folhas de cálculo em Excel para duas classes de navios, e do Navio-Escola Sagres, cujo objectivo consiste no traçado das curvas relacionadas com a estabilidade transversal em caso de embarque de pesos a bordo, e de alagamentos de determinados compartimentos do navio, com ou sem os efeitos do vento e da ondulação marítima, e respectiva comparação com os critérios de estabilidade transversal em vigor na Marinha.

“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.

A Realidade do Tempo – uma análise de Durée et Simultanéité de Henri Bergson

Este trabalho aborda a questão da realidade do tempo na obra Durée et Simultanéité de Henri Bergson. Primeiramente, explicita-se o sentido dos termos necessários para uma compreensão da natureza do tempo: “duração”, “memória”, “virtual”, “real”, “sucessão” e “simultaneidade”. O objectivo desta análise é compreender de que forma se relacionam estes conceitos e em que sentido a consciência do tempo pode tomar-se como raiz da constituição temporal. A abordagem destes conceitos conduz também à problemática da multiplicidade de tempos, que é inicialmente discutida em relação aos termos previamente referidos. Seguidamente, estabelece-se a relação entre o temporal e o intemporal, considerando de que forma surge a ideia de eternidade numa realidade que é essencialmente temporal. Neste ponto, considera-se a visão de duração como privação de eternidade e a questão de se é possível e como é possível uma consciência universal. O último tópico abordado no trabalho diz respeito à unicidade do tempo. O estudo da realidade no tempo partiu da distinção entre o tempo real e o tempo espacializado. Posteriormente, observámos, através da consideração das relações eu-outro, em que sentido se pode falar de um único tempo. Com a pretensão de chegar à hipótese de um único tempo vivido clarificámos o problema da multiplicidade de tempos. Por último, considerámos a possibilidade de um mundo sem consciência.

Molecular mobility of n-ethylene glycol dimethacrylate glass formers upon free radical polymerization

Quando um líquido evita a cristalização durante o arrefecimento, diz-se que entra no estado sobrearrefecido. Se a temperatura continuar a diminuir, o consequente aumento da viscosidade reflecte-se na mobilidade molecular de tal maneira que os tempos característicos se tornam da mesma ordem de grandeza que os tempos acessíveis experimentalmente. Se o arrefecimento continuar, o líquido altamente viscoso acaba por vitrificar, i.e. entra no estado vítreo onde apenas os movimentos locais são permitidos. Os monómeros da família n -etileno glicol dimetacrilato ( n -EGDMA, para n = 1 até 4, que constituem o objecto deste estudo, facilmente evitam a cristalização, sendo pois bons candidatos para estudar a mobilidade molecular nos estados sobrearrefecido e vítreo. A Espectroscopia de Relaxação Dieléctrica (DRS) foi a técnica escolhida para obter informação detalhada sobre a sua dinâmica molecular (Capítulos 1 e 2). A primeira parte deste trabalho consistiu na caracterização dieléctrica dos processos de relaxação existentes acima e abaixo da temperatura de transição vítrea (g T ), a qual aumenta com o aumento do peso molecular (w M ), sendo este resultado confirmado por Calorimetria Diferencial de Varrimento (DSC). No que respeita ao processo cooperativo a , associado à transição vítrea, e ao processo secundário b, observa-se uma dependência com w M , enquanto que o outro processo secundário, g , aparenta ser independente deste factor (Capítulo 3). Nos capítulos seguintes, foram levadas a cabo diferentes estratégias com o objectivo de clarificar os mecanismos que estão na origem destas duas relaxações secundárias (b e g ), assim como conhecer a sua respectiva relação com a relaxação principal (a ). Do estudo, em tempo real, da polimerização isotérmica via radicais livres do TrEGDMA por Calorimetria de Varrimento Diferencial com Modulação de Temperatura (TMDSC), levado a cabo a temperaturas abaixo da g T do polímero final, concluem-se entre outros, dois importantes aspectos: i) que a vitrificação do polímero em formação conduz a graus de conversão relativamente baixos, e ii) que o monómero que está por reagir é expulso da rede polimérica que se forma, dando lugar a uma clara separação de fases (Capítulo 4). Com base nesta informação, o passo seguinte foi estudar separadamente a polimerização isotérmica do di-, tri- e tetra-EGDMA, dando especial atenção às alterações de mobilidade do monómero ainda por reagir. Com as restrições impostas pela formação de ligações químicas, as relaxações a e b detectadas no monómero tendem a desaparecer no novo polímero formado, enquanto que a relaxação g se mantém quase inalterada. Os diferentes comportamentos que aparecem durante a polimerização permitiram a atribuição da origem molecular dos processos secundários: o processo g foi associado ao movimento twisting das unidades etileno glicol, enquanto que a rotação dos grupos carboxilo foi relacionada com a relaxação b (Capítulo 5). No que respeita ao próprio polímero, um processo de relaxação adicional foi detectado, pol b , no poly-DEGDMA, poly-TrEGDMA e poly-TeEGDMA, com características similares ao encontrado nos poli(metacrilato de n -alquilo). Este processo foi confirmado e bem caracterizado aquando do estudo da copolimerização do TrEGDMA com acrilato de metilo (MA) para diferentes composições (Capítulo 6). Para finalizar, o EGDMA, o elemento mais pequeno da família de monómeros estudada, além de vitrificar apresenta uma marcada tendência para cristalizar quer a partir do estado líquido ou do estado vítreo. Durante a cristalização, a formação de uma fase rígida afecta principalmente o processo a , cuja intensidade diminui sem no entanto se observarem modificações significativas na dependência do tempo de relaxação característico com a temperatura. Por outro lado, o processo secundário b torna-se melhor definido e mais estreito, o que pode ser interpretado em termos de uma maior homogeneidade dos micro-ambientes associados aos movimentos locais(Capítulo 7).

Programa de monitorização para apoio a doentes domiciliados

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores

Simulação da profundidade de campo

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Informática

Software de sistema para um intercomunicador de veículos militares

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Informática

Interfaces baseadas em gestos e movimento

Dissertação de Mestrado em Engenharia Informática

Análise superficial em AFM de filmes finos com gradiente de composição em profundidade obtidos por codeposição catódica

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Física

Detecção de incêndios nocturnos através de processamento digital de imagem

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para o grau de Mestre em Engenharia Electrotécnica e Computadores

Projecto e construção de um sistema de monitorização de energia eléctrica para uma habitação

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores

Plataforma unificada e extensível para colaboração com dispositivos heterogéneos

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática,como requisito parcial para obtenção do grau de Mestre em Engenharia Informática