Modelo de especificação e controlo de execuções paralelas e distribuídas

O desenvolvimento actual de aplicações paralelas com processamento intensivo (HPC - High Performance Computing) para alojamento em computadores organizados em Cluster baseia-se muito no modelo de passagem de mensagens, do qual é de realçar os esforços de definição de standards, por exemplo, MPI - Message - Passing Interface. Por outro lado, com a generalização do paradigma de programação orientado aos objectos para ambientes distribuídos (Java RMI, .NET Remoting), existe a possibilidade de considerar que a execução de uma aplicação, de processamento paralelo e intensivo, pode ser decomposta em vários fluxos de execução paralela, em que cada fluxo é constituído por uma ou mais tarefas executadas no contexto de objectos distribuídos. Normalmente, em ambientes baseados em objectos distribuídos, a especificação, controlo e sincronização dos vários fluxos de execução paralela, é realizada de forma explicita e codificada num programa principal (hard-coded), dificultando possíveis e necessárias modificações posteriores. No entanto, existem, neste contexto, trabalhos que propõem uma abordagem de decomposição, seguindo o paradigma de workflow com interacções entre as tarefas por, entre outras, data-flow, control-flow, finite - state - machine. Este trabalho consistiu em propor e explorar um modelo de execução, sincronização e controlo de múltiplas tarefas, que permita de forma flexível desenhar aplicações de processamento intensivo, tirando partido da execução paralela de tarefas em diferentes máquinas. O modelo proposto e consequente implementação, num protótipo experimental, permite: especificar aplicações usando fluxos de execução; submeter fluxos para execução e controlar e monitorizar a execução desses fluxos. As tarefas envolvidas nos fluxos de execução podem executar-se num conjunto de recursos distribuídos. As principais características a realçar no modelo proposto, são a expansibilidade e o desacoplamento entre as diferentes componentes envolvidas na execução dos fluxos de execução. São ainda descritos casos de teste que permitiram validar o modelo e o protótipo implementado. Tendo consciência da necessidade de continuar no futuro esta linha de investigação, este trabalho é um contributo para demonstrar que o paradigma de workflow é adequado para expressar e executar, de forma paralela e distribuída, aplicações complexas de processamento intensivo.

Placas de OSB: investigação e estudo laboratorial das suas características de desempenho

A utilização de placas de OSB – Oriented Strand Board está em franca expansão no território nacional e parece ser uma alternativa ecológica e económica aos painéis de derivados de madeira normalmente usados. O OSB é obtido num processo de fabrico resultante da interacção de diversas variáveis, que conferem aos painéis uma vasta gama de aplicações estruturais ou não estruturais (paredes exteriores e interiores, pavimentos, coberturas, componentes de vigas, cofragens, embalagens, móveis, elementos de decoração, etc.). Neste trabalho pretendeu-se investigar, através de pesquisa bibliográfica as características das placas OSB assim como seu processo de fabrico e condicionantes existentes no seu decurso. Em seguida estas foram comparadas com os seus principais concorrentes, o contraplacado e o aglomerado de madeira e cimento. O trabalho experimental realizado teve como objectivo analisar as propriedades de OSB, proveniente do mercado nacional, de acordo com a EN 300:2006 e com os dados recolhidos na pesquisa bibliográfica. Foram executados ensaios de flexão (EN 310:2002), inchamento em espessura (EN 317:2002) e ensaios de flexão após envelhecimento (EN 321:2010). Concluiu-se que o OSB é um material com algumas características de destaque, no entanto a substituição de outros derivados de madeira por este deve ser acompanhada por estudos, principalmente em ambientes húmidos. É importante realçar que este possui modelos com características específicas para determinadas utilizações e ambientes que possibilitam uma optimização do seu comportamento, no entanto, nos ensaios realizados apenas foi utilizado um modelo base de OSB.

Cálculo automático de estruturas: análise de placas através do método dos elementos finitos

Nesta dissertação desenvolveu-se um programa de cálculo automático que efectua a análise estrutural de placas, sujeitas a acções estáticas e considerando um comportamento isotrópico elástico linear dos materiais. Este programa foi elaborado em linguagem Fortran. O método que se utilizou para o cálculo das estruturas é baseado na teoria dos elementos finitos, tendo sido adoptados elementos finitos com dois graus de liberdade por nó (duas translações), associados ao método dos deslocamentos para a sua resolução. Para permitir a representação dos resultados obtidos pelo programa, utilizou-se um módulo gráfico comercial: GiD. A validação do programa desenvolvido foi feita a partir da comparação dos resultados calculados de alguns exemplos com os obtidos através de um programa de cálculo estrutural de referência: SAP2000. Esta dissertação contempla ainda um manual, que tem como finalidade o fornecimento de indicações para a correcta utilização do software desenvolvido, o qual inclui orientações para a introdução de dados e respectiva interpretação de resultados.

Análise dos parâmetros de qualidade das imagens de verificação em radioterapia aplicada a patologias de cabeça e pescoço

Mestrado em Radiações Aplicadas às Tecnologias da Saúde - Área de especialização: Terapia com Radiações.

Contributo para a utilização segura de câmaras de segurança biológica na manipulação de medicamentos citotóxicos

Mestrado em Segurança e Higiene do Trabalho.

Optimização do posicionamento de câmaras de vídeo-vigilância

Dissertação de Mestrado em Engenharia de Redes de Comunicação e Multimédia

Avaliação experimental do comportamento dinâmico de um edifício do século XIX: aplicação à calibração de modelos numéricos

Trabalho de Dissertação de natureza científica para obtenção do grau de Mestre em Engenharia Civil na Área de Especialização em Estruturas

Seguimento de pessoas em sistemas multi-câmara

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia de Redes de Comunicação e Multimédia

Estudo de falha em placas laminadas usando métodos analíticos e numéricos

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia de Manutenção

Caracterização por optical coherence tomography (OCT) de placas coronárias sujeitas a cutting balloon: contributo das técnicas bidiomensional e tridimensional

Mestrado em Tecnologia de Diagnóstico e Intervenção Cardiovascular - Área de especialização: Intervenção cardiovascular

Otimização de placas compósitas laminadas utilizando redes neuronais e enxames de partículas

Trabalho Final de mestrado para obtenção do grau de Mestre em engenharia Mecância

Concepção de uma estação fruteira com instalações frigoríficas em regime de atmosfera controlada

O presente trabalho tem como objectivo a elaboração de uma estação fruteira com instalações frigoríficas em regime de atmosfera controlada. A estação fruteira integra seis câmaras de refrigeração e um túnel de pré arrefecimento. Os produtos alimentares são considerados perecíveis e requerem o frio para a conservação das suas características. Para tal, é necessário um correcto dimensionamento dos equipamentos que constituem as instalações frigoríficas, tais como: compressores, condensadores, evaporadores, válvulas, entre outros. Foi efectuado um estudo de modo a implementar um plano de gestão e manutenção das instalações frigoríficas, para que deste modo se consiga prevenir a avaria dos diferentes equipamentos. A concepção do projecto teve com base de estudo uma instalação assente numa lógica de optimização energética. Realizou-se um estudo de viabilidade económica entre a concepção de uma estação fruteira convencional e em regime de atmosfera controlada implementado em Portugal, tendo em conta a produção de fruta que advém do mercado externo. Todo o procedimento deste trabalho teve como finalidade atingir um projecto real e portanto todos os componentes e processos construtivos prescritos deverão ser rigorosamente obedecidos e considerados imprescindíveis.

Construção de um biossensor para o doseamento de ureia baseado na inibição enzimática da amidase de pseudomonas aeruginosa com recurso a um eléctrodo selectivo de iões amónio

Era objectivo do presente trabalho o desenvolvimento de um biossensor baseado na inibição da amidase de Pseudomonas aeruginosa para a quantificação de ureia em diversas amostras com recurso a um eléctrodo selectivo de iões amónio (ISE). A ureia é um poderoso inibidor do centro activo da amidase (Acilamida hidrolase EC 3.5.1.4) de Pseudomonas aeruginosa a qual catalisa a hidrólise de amidas alifáticas produzindo o ácido correspondente e amónia. O extracto celular de Pseudomonas aeruginosa L10 contendo actividade de amidase foi imobilizado em membranas de poliétersulfona modificadas (PES) e em membranas de nylon Porablot NY Plus na presença de gelatina e de glutaraldeído (GA) como agente bifuncional. Estas membranas foram posteriormente utilizadas na construção do biossensor baseado no ISE, utilizando acetamida como substrato, a reacção enzimática foi seguida medindo os iões amónio produzidos pela hidrólise da amida alifática, e a resposta do biossensor apresentada como a velocidade inicial da reacção (mV.min-1). A optimização dos parâmetros de imobilização foi efectuada de acordo com a metodologia ANOVA. Assim, a mistura de 30μL extracto celular, 2μL GA (5%) e 10 μL Gelatina 15% (p/v) foi a que conduziu a uma melhor resposta do biossensor. Efectuou-se ainda o estudo de optimização de alguns parâmetros experimentais pH e tempo de incubação em ureia, este conduziu ao valor pH=7,2 como pH óptimo de resposta do biossensor e 20 min como tempo óptimo de incubação das membranas nas soluções de ureia, sendo neste caso a resposta do biossensor dada pela diferença das respostas do biossensor antes e após incubação. A calibração do biossensor foi efectuada em soluções contendo concentrações conhecidas de ureia preparadas em tampão Tris, leite e vinho caseiro, exibindo um limite de detecção de 2,0 ×10-6 M de ureia. A incubação das membranas em hidroxilamina 2M por um período de 2h permitiu a recuperação de 70% da actividade enzimática da membrana. O biossensor apresentou uma elevada estabilidade de armazenamento por um período de 55 dias revelando uma perda de apenas 15% da sua resposta. O biossensor desenvolvido apresenta uma sensibilidade de 58,245 mV.min-1 e um tempo de resposta de aproximadamente 20s. A resposta do biossensor foi linear para concentrações de ureia presentes no vinho na gama de 4-10 μM de ureia.

Desenvolvimento de modelos para análise dinâmica de estruturas: Aplicação a barragens de betão e estruturas auxiliares

Com este trabalho mostra-se a importância da utilização integrada de modelos numéricos e de resultados da observação do comportamento dinâmico com vista ao controlo de segurança de grandes estruturas, particularizando para o caso da barragem do Cabril e da respectiva torre das tomadas de água. Descrevem-se os fundamentos da dinâmica de estruturas sob a perspectiva da realização de estudos no domínio do tempo e no domínio da frequência, e referem-se os princípios em que se baseiam as metodologias de identificação modal, utilizadas na interpretação e análise de resultados de ensaios de vibração ambiental. Apresentam-se os fundamentos do método dos elementos finitos na perspectiva da sua implementação computacional para análise dinâmica de estruturas, e apresenta-se sumariamente o programa MEFDIN3D, desenvolvido em MATLAB no âmbito deste trabalho, o qual permite a análise estática e dinâmica de estruturas utilizando elementos finitos de placa e tridimensionais. Analisam-se os parâmetros dinâmicos da torre, em termos de frequências naturais e configurações modais, utilizando modelos numéricos 2D (MEFDIN3D e SAP 2000) e um modelo 3D em SAP 2000. Os resultados destes modelos numéricos são comparados com resultados experimentais obtidos a partir de: i) ensaios de vibração ambiental com medição de acelerações no topo da torre e no corpo da barragem e; ii) de um sistema de observação em contínuo do comportamento dinâmico da barragem do Cabril, recentemente instalado em obra pelo LNEC. Após a calibração dos modelos numéricos, apresenta-se um estudo de previsão do comportamento dinâmico da torre sob acções sísmicas, efectuando a análise no domínio do tempo e por espectro de resposta. Por fim, apresentam-se resultados de um cálculo sísmico 3D da barragem do Cabril com o MEFDIN3D.

Compressão de imagens em sistemas de videovigilância

As características dos vídeos recolhidos num sistema de videovigilância são bastante diferentes dos vídeos recolhidos para filmes. Cada sistema de videovigilância é único. Este trabalho trata a implementação, e especialização, de um algoritmo de codificação de vídeo para um sistema particular de videovigilância composto por três câmaras fixas. O algoritmo desenvolvido tira partido do facto de se conhecer previamente as características físicas e de utilização do local. Utilizando uma codificação inteligente, a codificação das imagens recolhidas depende do dia da semana, hora, câmara e da detecção de alterações na área que se encontra sob vigilância. A especialização é realizada através da configuração do codificador, tendo em conta critérios pré-definidos, de modo a obter uma relação adequada entre a qualidade de imagem e a compressão dos dados. As imagens são independentemente codificadas pela seguinte ordem de operações: transformada discreta do co-seno, quantização, run-length e codificação de Huffman. São armazenadas todas as imagens onde for detectado movimento, não a totalidade da imagem, mas apenas as regiões onde foi detectado movimento sendo utilizado uma decomposição em árvore quaternária. Foi implementado um protótipo de modo a avaliar o desempenho do algoritmo de codificação. O algoritmo, quando comparado com a técnica de codificação usada no sistema de videovigilância, apresenta uma maior taxa de compressão As imagens descodificadas apresentam qualidade suficiente para identificar as pessoas em pontos críticos e seguir os seus movimentos ao longo do corredor.