Suporte a testes automáticos em aplicações web geradas com a OutSystems Platform

Dissertação de natureza científica para obtenção do grau de Mestre em Engenharia Informática e de Computadores

Estudo da percepção dos problemas de usabilidade de um software relacionados com o desempenho dos processos cognitivos

Dissertação apresentada à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Audiovisual e Multimédia.

A garantia de um teste de força isométrica do quadricípete com dinamómetro portátil

Teste muscular - Mede a capacidade de determinado músculo produzir força e proporciona informação útil para o diagnóstico diferencial, prognóstico e tratamento de alterações neuromusculares e músculoesqueléticas. Objectivo do estudo: determinar a garantia de um teste de avaliação da força isométrica dos músculos extensores do joelho.

Biblioteca para a realização de security token services

A família de especificações WS-* define um modelo de segurança para web services, baseado nos conceitos de claim, security token e Security Token Service (STS). Neste modelo, a informação de segurança dos originadores de mensagens (identidade, privilégios, etc.) é representada através de conjuntos de claims, contidos dentro de security tokens. A emissão e obtenção destes security tokens, por parte dos originadores de mensagens, são realizadas através de protocolos legados ou através de serviços especiais, designados de Security Token Services, usando as operações e os protocolos definidos na especificação WS-Trust. O conceito de Security Token Service não é usado apenas no contexto dos web services. Propostas como o modelo dos Information Cards, aplicável no contexto de aplicações web, também utilizam este conceito. Os Security Token Services desempenham vários papéis, dependendo da informação presente no token emitido. São exemplos o papel de Identity Provider, quando os tokens emitidos contêm informação de identidade, ou o papel de Policy Decision Point, quando os tokens emitidos definem autorizações. Este documento descreve o projecto duma biblioteca software para a realização de Security Token Services, tal como definidos na norma WS-Trust, destinada à plataforma .NET 3.5. Propõem-se uma arquitectura flexível e extensível, de forma a suportar novas versões das normas e as diversas variantes que os Security Token Services possuem, nomeadamente: o tipo dos security token emitidos e das claims neles contidas, a inferência das claims e os métodos de autenticação das entidades requerentes. Apresentam-se aspectos de implementação desta arquitectura, nomeadamente a integração com a plataforma WCF, a sua extensibilidade e o suporte a modelos e sistemas externos à norma. Finalmente, descrevem-se as plataformas de teste implementadas para a validação da biblioteca realizada e os módulos de extensão da biblioteca para: suporte do modelo associado aos Information Cards, do modelo OpenID e para a integração com o Authorization Manager.

Simulação térmica de uma fachada de dupla pele com ventilação natural

Este trabalho relata os resultados obtidos de uma simulação térmica de uma fachada de dupla pele com ventilação natural utilizando um software genérico de simulação térmica de edifícios. Esta fachada encontra-se montada numa célula de teste no Laboratório de Engenharia Civil em Lisboa, e cujo propósito é verificar e analisar o comportamento térmico deste tipo de elementos em regimes de ventilação natural. Para atingir o objectivo desta dissertação em simular a DSF, é utilizado o amplamente conhecido EnergyPlus, um programa de grande capacidade para simular o comportamento térmico de edifícios e dimensionar pormenorizadamente os seus sistemas de ventilação e AVAC. Paralelamente a este software, é utilizado um outro programa, o DesignBuilder, tratando-se este de um interface comercial para o EnergyPlus. Os resultados das simulações efectuadas são comparadas com os dados experimentais retirados durante o funcionamento da DSF entre das datas de 23 a 28 de Abril de 2008. Utilizando estas ferramentas informáticas, foram efectuadas duas modelações da fachada de modo a avaliar diferentes graus de detalhe, ambas segundo as características geométricas, propriedades térmicas e ópticas dos seus elementos de construção, sombreamento existente e modo de funcionamento durante o período em causa. Posteriormente são comparados os resultados das simulações com os dados experimentais. A análise dos resultados permitiu chegar á conclusão que, embora o software utilizado não contenha até á data um modelo próprio e detalhado para fachadas envidraçadas de dupla pele com ventilação natural, este possui uma potencialidade promissora para efectuar uma simulação fiável. No entanto, diversas divergências significativas foram notadas e analisadas nos parâmetros comparados, nomeadamente a temperatura e o caudal, de modo a estabelecer algumas limitações do software.

Teste de exercício cardio-pulmonar e insuficiência cardíaca

Insuficiência cardíaca - Impossibilidade do sistema cardiovascular de transportar O O2 às mitocôndrias, em quantidade suficiente para a síntese de ATP de acordo com as necessidades do organismo.

Projecto timecloud: software de gestão de tempo laboral numa plataforma cloud

O presente projecto tem como objectivo a disponibilização de uma plataforma de serviços para gestão e contabilização de tempo remunerável, através da marcação de horas de trabalho, férias e faltas (com ou sem justificação). Pretende-se a disponibilização de relatórios com base nesta informação e a possibilidade de análise automática dos dados, como por exemplo excesso de faltas e férias sobrepostas de trabalhadores. A ênfase do projecto está na disponibilização de uma arquitectura que facilite a inclusão destas funcionalidades. O projecto está implementado sobre a plataforma Google App Engine (i.e. GAE), de forma a disponibilizar uma solução sob o paradigma de Software as a Service, com garantia de disponibilidade e replicação de dados. A plataforma foi escolhida a partir da análise das principais plataformas cloud existentes: Google App Engine, Windows Azure e Amazon Web Services. Foram analisadas as características de cada plataforma, nomeadamente os modelos de programação, os modelos de dados disponibilizados, os serviços existentes e respectivos custos. A escolha da plataforma foi realizada com base nas suas características à data de iniciação do presente projecto. A solução está estruturada em camadas, com as seguintes componentes: interface da plataforma, lógica de negócio e lógica de acesso a dados. A interface disponibilizada está concebida com observação dos princípios arquitecturais REST, suportando dados nos formatos JSON e XML. A esta arquitectura base foi acrescentada uma componente de autorização, suportada em Spring-Security, sendo a autenticação delegada para os serviços Google Acounts. De forma a permitir o desacoplamento entre as várias camadas foi utilizado o padrão Dependency Injection. A utilização deste padrão reduz a dependência das tecnologias utilizadas nas diversas camadas. Foi implementado um protótipo, para a demonstração do trabalho realizado, que permite interagir com as funcionalidades do serviço implementadas, via pedidos AJAX. Neste protótipo tirou-se partido de várias bibliotecas javascript e padrões que simplificaram a sua realização, tal como o model-view-viewmodel através de data binding. Para dar suporte ao desenvolvimento do projecto foi adoptada uma abordagem de desenvolvimento ágil, baseada em Scrum, de forma a implementar os requisitos do sistema, expressos em user stories. De forma a garantir a qualidade da implementação do serviço foram realizados testes unitários, sendo também feita previamente a análise da funcionalidade e posteriormente produzida a documentação recorrendo a diagramas UML.

Medição de parâmetros de componentes passivos RLC em ambiente LabVIEW pelo método da desmodulação síncrona ou coerente

A presente dissertação apresenta o desenvolvimento de um medidor de componentes passivos RLC. Este medidor baseia-se num protótipo desenvolvido para possibilitar a medição da impedância de um dispositivo em teste. Tendo uma carta de aquisição de sinal como interface, o protótipo comunica com um computador que controla todo o processo de medição desde a aquisição e processamento de sinais ao cálculo e visualização dos parâmetros. A topologia de medição implementada é a da ponte auto-balanceada e no processamento recorre-se ao método da desmodulação síncrona ou coerente. A sua viabilidade é suportada por um estudo teórico prévio, pela discussão das opções tomadas no projecto e pelos resultados obtidos através do algoritmo desenvolvido utilizando o software LabVIEW de programação gráfica.

Relatório de projeto Milk Run Software

Em suma este trabalho de projeto visa a criação de uma ferramenta que permita a gestão dos transportes para a recolha de matéria-prima necessária ao bom funcionamento da fábrica de produção automóvel Volkswagen Autoeuropa num ambiente dinâmico, sendo esta desenvolvida para responder às necessidades da empresa. Assim foi desenvolvido o protótipo Milk Run Software que consiste basicamente na integração de informação fornecida pela empresa relativa a consumos de materiais provenientes de ordens de produção, fornecedores e transportes. Com base nestes dados e recurso a sistemas externos é efetuada a georreferenciação de fornecedores para que exista a noção de proximidade entre estes, além disso foi construído um sistema de decisão, para que com base nos consumos (peças, pesos e volumes), se consigam determinar e gerir as rotas de transportes da empresa Volkswagen Autoeuropa com base no conceito Milk Run, que consiste na otimização do transporte de peças para montagem de veículos, no qual tem em conta a localização geográfica, o volume ou peso a transportar, as limitações físicas dos veículos de transporte, bem como o número de paragens máximas (cargas a efetuar no percurso). Neste projeto são utilizadas diversas técnicas de análise protagonizadas para a construção de ferramentas com o recurso à Engenharia de Software, e a algumas técnicas na área de pesquisa em espaços de estado para auxiliar o conceito Milk Run para resolução dos problemas encontrados.

Desenvolvimento e estudo de modelos de FACTS para o trânsito de energia: aplicação ao estudo das condições técnicas de ligação de linhas MAT

Dissertação para obtenção do grau de Mestre em Engenharia Electrotécnica Ramo de Energia

Simulação, em software adequado, da sintomatologia vibracional de avarias mecânicas de máquinas rotativas

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Mecânica na Área de Manutenção e Produção

Projecto, montagem e teste de uma unidade modular de detecção de radiação Geiger-Muller

Dissertação para obtenção do grau de Mestre em Engenharia Electrotécnica Ramo de Automação e Electrónica Industrial

Estratégias e internacionalização na manutenção e produção

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Mecânica

Variabilidade introduzida pelo operador no processamento dos estudos Gated-SPECT do miocárdio

Introdução – Os estudos Gated – Single Photon Emission Computed Tomography (SPECT) são uma das técnicas de imagiologia cardíaca que mais evoluiu nas últimas décadas. Para a análise das imagens obtidas, a utilização de softwares de quantificação leva a um aumento da reprodutibilidade e exatidão das interpretações. O objetivo deste estudo consiste em avaliar, em estudos Gated-SPECT, a variabilidade intra e interoperador de parâmetros quantitativos de função e perfusão do miocárdio, obtidos com os softwares Quantitative Gated SPECT (QGS) e Quantitative Perfusion SPECT (QPS). Material e métodos – Recorreu-se a uma amostra não probabilística por conveniência de 52 pacientes, que realizaram estudos Gated-SPECT do miocárdio por razões clínicas e que integravam a base de dados da estação de processamento da Xeleris da ESTeSL. Os cinquenta e dois estudos foram divididos em dois grupos distintos: Grupo I (GI) de 17 pacientes com imagens com perfusão do miocárdio normal; Grupo II (GII) de 35 pacientes que apresentavam defeito de perfusão nas imagens Gated-SPECT. Todos os estudos foram processados 5 vezes por 4 operadores independentes (com experiência de 3 anos em Serviços de Medicina Nuclear com casuística média de 15 exames/semana de estudos Gated-SPECT). Para a avaliação da variabilidade intra e interoperador foi utilizado o teste estatístico de Friedman, considerando α=0,01. Resultados e discussão – Para todos os parâmetros avaliados, os respectivos valores de p não traduziram diferenças estatisticamente significativas (p>α). Assim, não foi verificada variabilidade intra ou interoperador significativa no processamento dos estudos Gated-SPECT do miocárdio. Conclusão – Os softwares QGS e QPS são reprodutíveis na quantificação dos parâmetros de função e perfusão avaliados, não existindo variabilidade introduzida pelo operador.

Relação entre função ventricular esquerda e os índices de captação miocárdio/pulmão em estudos Gated-SPECT

Introdução – A tomografia de emissão de fotão simples sincronizada com o sinal eletrocardiográfico (Gated-SPECT) é essencial para a avaliação conjunta da perfusão e da função ventricular esquerda (VE) do miocárdio. Objetivo – Investigar a relação entre a função VE e o índice de captação (IC) miocárdio/pulmão direito (M/PD) e M/P esquerdo (M/PE) nos estudos Gated-SPECT com 99mTc-Tetrofosmina. Metodologia – Amostra de 32 pacientes que realizaram estudos Gated-SPECT por indicação clínica, sendo subdividida em dois grupos: Grupo I (GI) – pacientes com a informação clínica de enfarte agudo do miocárdio (EAM); Grupo II (GII) – pacientes com a informação clínica de isquemia. Por cada paciente adquiriram-se imagens estáticas torácico-abdominais e dois estudos Gated-SPECT do miocárdio (protocolo de um dia esforço/repouso). Nas imagens estáticas definiram-se regiões de interesse (Regions of interest – ROI) para calcular os IC. Nos estudos Gated-SPECT utilizou-se o software Quantitative Gated SPECT/Quantitative Perfusion SPECT para calcular a Fração de Ejeção do Ventrículo Esquerdo (FEVE). Efetuou-se análise estatística descritiva para caracterização da amostra. Aplicou-se o teste de Spearman para avaliar a correlação entre a FEVE e os IC por grupo de pacientes. O Teste de Willcoxon foi usado para comparar FEVE em repouso e em esforço. Resultados – Nos estudos Gated-SPECT em esforço não se verificou correlação estatisticamente significativa entre a FEVE e os IC, para GI e GII; em repouso existe correlação positiva estatisticamente significativa entre a FEVE e os IC, para GI; para GII não se verificou correlação. Na comparação dos valores de FEVE em esforço e repouso nos dois grupos constatou-se a existência de diferenças estatisticamente significativas, sendo a FEVE em Esforçode indicar disfunção VE, contudo, não é possível aplicar de forma viável esta dedução para a amostra total que realizou Gated‑SPECT (GI e GII).