Desenvolvimento de uma plataforma SIG para apoio ao estudo da sismicidade em Portugal

Trabalho Final de Mestrado elaborado no Laboratório Nacional de Engenharia Civil (LNEC) para a obtenção do grau de Mestre em Engenharia Civil pelo Instituto Superior de Engenharia de Lisboa no âmbito do protocolo de cooperação entre o ISEL e o LNEC

Modelos de risk based inspection e risk based inspection and maintenance aplicados a sistemas de produção de energias renováveis

A utilização de recursos energéticos renováveis apresenta-se como um caminho vital para a humanidade alcançar um desenvolvimento sustentável. Nesta campanha, a energia eólica surge como um dos principais vectores de orientação tendo evoluído de forma quase exponencial nos últimos anos. No entanto, apesar da sua relativa maturidade, esta tecnologia enfrenta ainda alguns problemas e desafios. Não obstante a experiência empírica da indústria eólica, adquirida nos últimos trinta anos e dos esforços para melhorar a fiabilidade operacional das turbinas, as taxas de falha ainda se apresentam elevadas. Face às correntes práticas de Manutenção das turbinas e parques eólicos e às características de falha, (por vezes catastróficas), existe a necessidade de optimizar as estratégias de manutenção das turbinas eólicas e reduzir os custos durante o ciclo de vida, de modo a maximizar o retorno do investimento. Descreve-se neste trabalho o estado do conhecimento actual face ao objectivo pretendido, a recolha de dados reais da operação e Manutenção, a aplicabilidade dos modelos escolhidos para obtenção da probabilidade de falha, e as consequências e avaliação do risco. Assim, desenvolveu-se uma ferramenta de apoio à decisão, baseada em Modelos de RBI (Risk Based Inspection) e RBIM (Risk Based Inspection and Maintenance) aplicados a turbinas eólicas.

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.

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

Fatores determinantes da maturidade e composição da dívida das empresas portuguesas cotadas

Mestrado em Contabilidade e análise financeira

Observação e controlo da segurança estrutural de barragens de betão: utilização integrada de modelos numéricos e de modelos de separação de efeitos

Dissertação de Natureza Científica elabora da no âmbito do protocolo de cooperação entre o ISEL e o LNEC para obtenção do grau de Mestre em Engenharia Civil

Caracterização do desempenho das redes rodoviárias com base em modelos de afetação de tráfego: aplicação à Rede Rodoviária Nacional

Relatório de estágio para obtenção do grau de Mestre em Engenharia Civil na Área de Especialização em Vias de Comunicação e Transportes

Bobinas de radiofrequência em estudos mamários por ressonância magnética: modelos e qualidade de imagem

Em três equipamentos de Ressonância Magnética [1,5T] avaliaram-se e compararam-se 3 modelos de bobinas dedicadas para estudos mamários. A variável qualidade de imagem foi avaliada quantitativamente através dos indicadores: (i) relação entre o sinal e o ruído (SNR) e (ii) uniformidade do sinal (U). Na avaliação qualitativa consideram-se as variáveis: (iii) conforto proporcionado às voluntárias durante o exame, (iv) acessibilidade à mama para procedimentos de intervenção, (v) manipulação e posicionamento pelos Técnicos de Radiologia, (vi) possibilidade de selecção uni ou bilateral na aquisição da imagem e (vii) orientação da paciente dentro do magneto. Para a obtenção das imagens, 3 mulheres voluntárias, sem história conhecida de patologia mamária que representavam os padrões mamários 1, 2 e 3 da classificação BIRADS (35, 53 e 72 anos) foram submetidas a uma sequência RM utilizando-se a técnica de saturação espectral da gordura (SPIR), em ponderação T2. Procedeu-se a uma análise de variância factorial com cinco factores fixos sem réplicas e verificou-se que existiam diferenças significativas nas imagens relativamente aos valores médios da SNR e U nas três bobinas [SNR (valor-p=0, F=277,193) e U (valor-p=0, F=1487,95)]. A análise das comparações múltiplas de Tukey, permitiu verificar que existem diferenças significativas entre os valores médios da SNR e da U entre todas as combinações de pares de bobinas, sendo a bobina Z a que apresentou os valores médios da SNR e da U significativamente mais elevados [SNR (15,08u.a.) e U (0,58u.a.)] e, por isso, permitindo obter melhores imagens. Quanto à bobina X verificaram-se os valores de (SNR=4,77 e U=0,30u.a.) e para a bobina Y o SNR (2u.a.) e a U (0,06u.a). Verificou-se que a posição da ROI nos procedimentos de medida (correlação de Spearman) não influencia a qualidade da imagem (valor-p≥0 em todas as bobinas). A classificação mais elevada relativamente ao conforto foi atribuída à bobina X, seguindo-se a bobina Z. A escolha do modelo da bobina é importante para promover o aumento da qualidade das imagens, do conforto da paciente e manipulação nas manobras de posicionamento. Este estudo poderá contribuir como regulador dos aspectos financeiros e comerciais desenvolvidos entre marcas concorrentes no mercado.

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.

Estudo das tensões interlaminares e rotura de elementos curvos em materiais compósitos

Este trabalho aborda o comportamento mecânico de elementos curvos em materiais compósitos aquando sujeitos a forças e momentos nas extremidades. Os modos de falha mais comuns são estudados em detalhe: falha transversal na matriz devido a tensões de flexão (tensões circunferenciais), ou falha por delaminagem devido as tensões interlaminares de tracção verificadas ao longo da espessura na região curva (tensões radiais). Inicialmente, faz-se uma abordagem sobre a influência de Z-Pins na resistência interlaminar, uma abordagem sobre os efeitos de bordo, e sobre tensões interlaminares com base em teorias Layerwise de ordem superior. Salienta-se, ainda, a importância do estudo feito com o World-Wide Failure Exercise (WWFE) (Hinton et al. 2004) na comunidade científica relacionada com o tema dos materiais compósitos. O presente trabalho, é essencialmente dividido em duas partes: modelos analíticos e modelos numéricos. São estudados provetes curvos, em forma de C (semicircular), geometria analisada por Ko e Jackson (1989); e em forma de L (cantoneira de abas iguais), analisados por Sun e Kelly (1988). Começa-se por fazer uma análise teórica, através da Teoria Multicamada, ao trabalho Ko e Jackson, autores da mesma. Analisou-se também, através desta teoria, a parte em quarto de círculo da viga estudada por Sun e Kelly. Após ter a solução analítica bem compreendida, essa teoria é aplicada ao principal estudo deste trabalho, um provete semicircular, usando os empilhamentos de Sun e Kelly. É ainda estudado, e aplicado a este último, o critério de falha em três dimensões (3D) proposto por Hashin (1980). Na segunda parte, é feita uma validação numérica dos três casos anteriores, com recurso ao software comercial de elementos finitos (EF), ANSYS. Estes estudos de EF têm a diferença, relativamente aos originais, de serem em 3D, podendo assim ser retiradas todas as tensões necessárias para se aplicar o critério de falha. No final, é feita uma comparação geral entre os resultados analíticos e numéricos.

Configuração e interrogação com sistemas federados

Apesar da existência de produtos comerciais e da investigação na área, a construção de sistemas de informação com diversos componentes distribuídos, heterogéneos e autónomos - conhecidos como sistemas de informação federados - é ainda um desafio. Estes sistemas de informação oferecem uma visão global unificada sobre os vários modelos de dados (parciais). No entanto, a modelação destes sistemas é um desafio, já que modelos de dados como o relacional não incluem informação sobre a distribuição e tratamento de heterogeneidade. É também necessário interagir com estes sistemas de informação, através de interrogações sobre os diversos componentes dos sistemas, sem ser necessário conhecer os detalhes dos mesmos. Este trabalho propõe uma abordagem a estes desafios, através da utilização de modelos para descrição semântica, e.g. linguagem OWL (Ontology Web Language), para construir uma descrição unificada dos seus diversos modelos parciais. O modelo criado para dar suporte a esta descrição é, em parte, baseado em ontologias existentes, que foram alteradas e extendidas para resolver diversos desafios de modelação. Sobre este modelo, é criado um componente de software que permite a execução de interrogações SQL (Structured Query Language) sobre o sistema federado, resolvendo os problemas de distribuição e heterogeneidade existentes.

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.

Utilização de modelos de elementos finitos tridimensionais no cálculo estrutural de barragens de betão

Este trabalho procura evidenciar a importância da escolha do tipo de elementos finitos e correspondente discretização a utilizar na análise do comportamento estrutural de barragens abóbada. Descreve-se a metodologia de cálculo utilizada na análise da resposta de barragens em regime elástico linear sob a acção do peso próprio e da pressão hidrostática com base em modelos numéricos de elementos finitos 3D. Apresentam-se sumariamente os fundamentos do método dos elementos finitos referindo-se, em particular, os elementos finitos utilizados: elemento isoparamétrico tipo cubo com 20 pontos nodais e elemento subparamétrico tipo cubo com 8 pontos nodais. Apresentam-se os programas de análise de barragens utilizados no LNEC nas fases de pré-processamento (geração de malhas de EF3D), processamento e pós-processamento, bem como o programa comercial de cálculo automático SAP2000. Analisa-se por fim o comportamento de duas barragens abóbada cuja resposta para a acção do peso e da pressão hidrostática apresenta algumas diferenças que se analisam em pormenor, nomeadamente em termos de tensões e deslocamentos utilizando vários modelos numéricos 3D (DTIN12 [LNEC] e SAP2000) com diferentes discretizações em que se utilizam os dois tipos de EF atrás referidos.

Metodologia básica de ensaios e execução de ensaios acelerados de vida na área de fiabilidade

Os ensaios acelerados de vida são testes que se realizam com o objectivo de estimar determinados parâmetros fiabilísticos, referentes a um dado bem, provocando-lhe a ocorrência de um dado modo de falha específico num espaço de tempo mais curto do que aquele em que normalmente este evento ocorreria. É através dos ensaios acelerados, e de modelos analíticos específicos, que se torna então possível prever as falhas antes de estas ocorrerem, potenciando atempadamente possíveis alterações de projecto ou concepção, antes do bem entrar no mercado. Este tipo de ensaios possibilita, por exemplo ao fabricante, uma economia de tempo na determinação da informação de dados de vida (considerados relevantes) que deverá acompanhar o produto na sua comercialização. Para uma melhor compreensão da temática, abordam-se no trabalho duas áreas essenciais, nomeadamente: O conceito de Fiabilidade e o conceito de Ensaios Acelerados de Vida. Ao longo do documento podem-se analisar os modelos mais utilizados em Ensaios Acelerados, como o Modelo de Arrhenius, o Modelo de Eyring, o Modelo de Potência Inversa e o Modelo de Temperatura e Humidade. Também são apresentadas algumas distribuições importantes relacionadas com esses modelos, como a Distribuição Normal, a Distribuição Lognormal, a Distribuição Exponencial e a Distribuição de Weibull. Para verificação da metodologia, realizou-se uma aplicação experimental, tendo por base a normalização existente e os parâmetros seguidos pelo fabricante do componente estudado. Para tratamento dos dados resultantes dos ensaios acelerados utiliza-se o programa ALTA 7.0 PRO, que de uma forma expedita permite extrapolar das condições de ensaio para uma utilização normal, e assim determinar os parâmetros fiabilísticos correspondentes ao bem. De salientar que este ‘’software’’ pode trabalhar com um ou mais níveis de aceleração, como por exemplo conjugar a influência da temperatura com a humidade. O conhecimento dos modelos usados nesta área permite compreender a metodologia de ensaios acelerados e o comportamento dos componentes. Os dados demonstram uma alta precisão dos resultados, num período de tempo reduzido.