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.

Modelação dinâmica de sistemas de drenagem em meio urbano

Dissertação para obtenção do Grau de Mestre em Engenharia do Ambiente, perfil Engenharia Sanitária

Simulação de sistemas distribuídos de manufactura

Os sistemas distribuídos de manufactura (SDM) possuem como principais características a capacidade de executarem processos de manufactura de forma distribuída em ambientes heterogéneos, em que os diversos estágios e parceiros envolvidos funcionam de forma autónoma. Dotados de uma boa capacidade de adaptação a mercados em constante mudança, são sis-temas complexos e dinâmicos, sendo difícil prever o seu desempenho sem abordagens adequadas, nomeadamente, recorrendo a métodos de simulação. No entanto os pacotes de simulação que existem actualmente, apesar de boa qualidade e bastante flexíveis, ainda se caracterizam por uma limitada capacidade para a simulação de SDM. Por outro lado, o desenvolvi-mento duma ferramenta de manufactura que combine a simulação ao nível local de processos de manufactura (por exemplo: com robôs e maquinas industriais) e a correspondente ao nível global e distribuído, revela-se significativamente complexo e oneroso. Ao invés de se desenvolver tal sistema, com este trabalho, pretende-se especificar um modelo e respectiva ferramenta que permita a simulação de SDM, recorrendo a produtos comerciais já existentes, mediante a definição duma estratégia de interoperabilidade entre as ferramentas. A simulação em simultâneo, de forma agregada e em tempo real dos diversos níveis estratégicos e locais de um SDM, permite assim uma melhor estimativa do seu desempenho futuro.

Perdas em redes de abastecimento de água – Sistemas de detecção, controlo e gestão. Aplicação do conceito Smart Cities na óptica de sustentabilidade do ciclo da água

O desenvolvimento da Sociedade obrigou à gestão integrada dos recursos hídricos. A gestão do ciclo de água é executada de forma a optimizar este recurso ao máximo, tendo em consideração os aspectos económicos, ambientais, normativos e sociais, de forma coordenada com os restantes recursos naturais e com os planos intersectoriais e geracionais. No entanto, continua a constatar-se a ocorrência de elevados níveis de perdas e fugas de água, nos sistemas urbanos de abastecimento e distribuição de água, constituindo um prejuízo para as entidades gestoras, o qual se reflecte, economicamente no cliente final, e no equilíbrio do meio-ambiente. Impera, assim, a necessidade de garantir a utilização da água, de forma consciente, eficiente e sustentável. No âmbito desta temática, surgem, actualmente, termos, como, “água inteligente” ou “smart water”, aplicados especialmente ao conceito “Smart Cities”. Pressupõe-se com este, a aplicação das novas tecnologias de informação, em prol das políticas urbanas que gerem uma cidade, por forma a garantir o controlo em tempo real, da informação inerente à exploração das infra-estruturas existentes na cidade. Estuda-se, neste trabalho, o estado normativo Português e os objectivos governamentais relacionados com o combate às perdas de água, no sentido de obter maiores níveis de eficiência e sustentabilidade do recurso água. Pretende-se analisar, também, a importância da implementação de parcerias (ao nível nacional e internacional), entre empresas de tecnologias de informação (detentoras de métodos inovadores de gestão de dados) e as entidades gestoras dos sistemas de abastecimento de água (conhecedoras dos reais problemas operacionais, inerentes à exploração dos sistemas). Neste trabalho, enumeram-se ainda, exemplos de aplicações inovadoras na gestão de sistemas de abastecimento de água, assim como onde está a ser aplicado o conceito Smart Cities, e quais os meios utilizados para obter apoio para o financiamento das soluções preconizadas.

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

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

Caracterização preliminar da bioenergética do efluxo pelo sistema AcrAB-TolC em Escherichia coli

A resistência aos antibióticos em bactérias Gram-negativas pode ser aumentada pela extrusão de antibióticos através de sistemas de efluxo. Em Escherichia coli, o principal sistema de efluxo é o AcrAB-TolC o qual tem como principal fonte energética a força proto-motriz. Este trabalho pretendeu estudar alguns aspectos essenciais da bioenergética na actividade de efluxo de E. coli usando três estirpes bem caracterizadas genotipica e fenotipicamente. Foi utilizado um método fluorimétrico semi-automático no qual a fluorescência do fluorocromo brometo de etídeo, substrato de bombas de efluxo foi seguida, permitindo a medição em tempo real da actividade de efluxo e acumulação de fluorocromo (inibição do efluxo). A utilização de brometo de etídeo é particularmente vantajosa pois emite baixa fluorescência no exterior da célula bacteriana tornando-se extremamente fluorescente no seu interior. Este método é uma nova aplicação do termociclador em tempo real RotorGeneTM 3000 que permite o cálculo da cinética de transporte reflectindo o balanço entre acumulação de substrato por difusão passiva através da membrana e a sua extrusão/efluxo, proporcionando uma detecção rápida e económica de inibidores de efluxo. Os resultados obtidos mostram, para todas as estirpes, que a GLU e o pH afectam a acumulação e o efluxo do brometo de etídeo. De todos os inibidores de vias biossintéticas testados, o ortovanadato de sódio, foi o que demonstrou maior actividade inibitória, a qual é revertida na presença de GLU. Em conclusão, este estudo mostra que a actividade de efluxo de E. coli depende não só da fosforilação oxidativa por via da força proto-motriz mas também da energia proveniente da hidrólise de ATP pelas ATPases. O ortovanadato de sódio tem potencial para ser um novo inibidor de bombas de efluxo de largo espectro. A tecnologia utilizada neste trabalho demonstrou ser apropriada para a caracterização bioenergética da actividade de bombas de efluxo e permite a selecção de novos inibidores de bombas de efluxo em bactérias.

Geo-localização de viaturas na gestão de frotas

Relatório de Estágio apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Gestão do Território especialização em Detecção Remota e Sistemas de Informação Geográfica

Análise de desempenho de anéis de controlo baseado em PCA

Dissertação para obtenção do Grau de Mestre em Engenharia Eletrotécnica e de Computadores

Caracterização preliminar da bioenergética do efluxo pelo sistema AcrAB-TolC EM Escherichia Coli

A resistência aos antibióticos em bactérias Gram-negativas pode ser aumentada pela extrusão de antibióticos através de sistemas de efluxo. Em Escherichia coli, o principal sistema de efluxo é o AcrAB-TolC o qual tem como principal fonte energética a força proto-motriz. Este trabalho pretendeu estudar alguns aspectos essenciais da bioenergética na actividade de efluxo de E. coli usando três estirpes bem caracterizadas genotipica e fenotipicamente. Foi utilizado um método fluorimétrico semi-automático no qual a fluorescência do fluorocromo brometo de etídeo, substrato de bombas de efluxo foi seguida, permitindo a medição em tempo real da actividade de efluxo e acumulação de fluorocromo (inibição do efluxo). A utilização de brometo de etídeo é particularmente vantajosa pois emite baixa fluorescência no exterior da célula bacteriana tornando-se extremamente fluorescente no seu interior. Este método é uma nova aplicação do termociclador em tempo real RotorGeneTM 3000 que permite o cálculo da cinética de transporte reflectindo o balanço entre acumulação de substrato por difusão passiva através da membrana e a sua extrusão/efluxo, proporcionando uma detecção rápida e económica de inibidores de efluxo. Os resultados obtidos mostram, para todas as estirpes, que a GLU e o pH afectam a acumulação e o efluxo do brometo de etídeo. De todos os inibidores de vias biossintéticas testados, o ortovanadato de sódio, foi o que demonstrou maior actividade inibitória, a qual é revertida na presença de GLU. Em conclusão, este estudo mostra que a actividade de efluxo de E. coli depende não só da fosforilação oxidativa por via da força proto-motriz mas também da energia proveniente da hidrólise de ATP pelas ATPases. O ortovanadato de sódio tem potencial para ser um novo inibidor de bombas de efluxo de largo espectro. A tecnologia utilizada neste trabalho demonstrou ser apropriada para a caracterização bioenergética da actividade de bombas de efluxo e permite a selecção de novos inibidores de bombas de efluxo em bactérias.

Optimização energética no terminal portuário do complexo petroquímico de Sines

Actualmente a indústria petroquímica é cada vez mais confrontada com a necessidade de poupança de custos. O presente trabalho surge dessa mesma necessidade e foi desenvolvido, no âmbito de um estágio curricular, no Complexo Petroquímico da Repsol, em Sines, durante um período de seis meses. O principal objectivo do estágio foi a optimização energética dos períodos diários de envio de etileno, dentro do complexo, bem como a avaliação energética dos sistemas de refrigeração, no terminal portuário, tendo-se utilizado o software Aspen HYSYS como simulador dos processos. Essa avaliação energética consistiu no cálculo dos coeficientes de performance e das eficiências dos vários compressores, tendo-se verificado que ambos os parâmetros encontram-se abaixo das condições de design para todos os processos, com a excepção do coeficiente de performance do sistema de refrigeração do 1,3-butadieno. Foram desenvolvidas ferramentas em excel que permitem a avaliação em tempo real da eficiência dos vários sistemas de refrigeração, que pode ser usada na sua optimização, ajustando as eficiências reais às de design. Foram estudados dois projectos a implementar no terminal portuário: um sobre a implementação de variadores de frequência nas liquefacções de etileno, que permitirá uma poupança de 62 kW-h/t de etileno recebida, e outro projecto sobre a instalação de um permutador refrigerado com água salgada, que seria colocado a jusante dos aero-arrefecedores, nas liquefacções. Este estudo permitiu concluir que no caso em que o aero-arrefecedor está desligado, poupar-se-ia em média 2,95 kW-h/t de etileno, e quando o aero-arrefecedor estiver em série com o permutador, poupar-se-ia em média 1,88 kW-h/t de etileno. No âmbito da avaliação energética, foram estimadas também as perdas energéticas nos vários compressores do terminal portuário, tendo-se constatado que os compressores do sistema de refrigeração do 1,3-butadieno apresentam maiores perdas por tonelada de produto recebido. No caso da optimização energética, verificou-se que os casos mais rentáveis eram o 3, 4 e o de estudo, sendo que estes permitiram poupanças na ordem dos 900000 €. Concluiu-se também que liquefazer no terminal é melhor das Segundas às Sextas, a partir de 2 t/h, enquanto que aos Sábado, é a partir de 3 t/h. Aos Domingos liquefazer no terminal compensa sempre, porque não há horas de ponta nem horas cheias.