Tolerância a falhas em sistemas de tempo-real distribuídos e embebidos

Este documento descreve um modelo de tolerância a falhas para sistemas de tempo-real distribuídos. A sugestão deste modelo tem como propósito a apresentação de uma solu-ção fiável, flexível e adaptável às necessidades dos sistemas de tempo-real distribuídos. A tolerância a falhas é um aspeto extremamente importante na construção de sistemas de tempo-real e a sua aplicação traz inúmeros benefícios. Um design orientado para a to-lerância a falhas contribui para um melhor desempenho do sistema através do melhora-mento de aspetos chave como a segurança, a confiabilidade e a disponibilidade dos sis-temas. O trabalho desenvolvido centra-se na prevenção, deteção e tolerância a falhas de tipo ló-gicas (software) e físicas (hardware) e assenta numa arquitetura maioritariamente basea-da no tempo, conjugada com técnicas de redundância. O modelo preocupa-se com a efi-ciência e os custos de execução. Para isso utilizam-se também técnicas tradicionais de to-lerância a falhas, como a redundância e a migração, no sentido de não prejudicar o tempo de execução do serviço, ou seja, diminuindo o tempo de recuperação das réplicas, em ca-so de ocorrência de falhas. Neste trabalho são propostas heurísticas de baixa complexida-de para tempo-de-execução, a fim de se determinar para onde replicar os componentes que constituem o software de tempo-real e de negociá-los num mecanismo de coordena-ção por licitações. Este trabalho adapta e estende alguns algoritmos que fornecem solu-ções ainda que interrompidos. Estes algoritmos são referidos em trabalhos de investiga-ção relacionados, e são utilizados para formação de coligações entre nós coadjuvantes. O modelo proposto colmata as falhas através de técnicas de replicação ativa, tanto virtual como física, com blocos de execução concorrentes. Tenta-se melhorar ou manter a sua qualidade produzida, praticamente sem introduzir overhead de informação significativo no sistema. O modelo certifica-se que as máquinas escolhidas, para as quais os agentes migrarão, melhoram iterativamente os níveis de qualidade de serviço fornecida aos com-ponentes, em função das disponibilidades das respetivas máquinas. Caso a nova configu-ração de qualidade seja rentável para a qualidade geral do serviço, é feito um esforço no sentido de receber novos componentes em detrimento da qualidade dos já hospedados localmente. Os nós que cooperam na coligação maximizam o número de execuções para-lelas entre componentes paralelos que compõem o serviço, com o intuito de reduzir atra-sos de execução. O desenvolvimento desta tese conduziu ao modelo proposto e aos resultados apresenta-dos e foi genuinamente suportado por levantamentos bibliográficos de trabalhos de in-vestigação e desenvolvimento, literaturas e preliminares matemáticos. O trabalho tem também como base uma lista de referências bibliográficas.

Análise da influência das pontes térmicas nos edifícios residenciais

Dissertação para obtenção do Grau de Mestre em Engenharia civil

Métodos de análise elástica e de análise plástica para cálculo de esforços em estruturas de aço

Dissertação para obtenção do Grau de Mestre em Engenharia Civil

Saúde Ocupacional em Portugal: O caso do Serviço de Saúde Ocupacional da Câmara Municipal de Almada

Dissertação “Saúde Ocupacional em Portugal: O Caso do Serviço de Saúde Ocupacional da Câmara Municipal de Almada” Autora: Ana Luísa Pinto Nunes Curto Procuramos contribuir com uma perspectiva sistémica para a compreensão das condicionantes das formulações, políticas e práticas de Saúde Ocupacional em geral, utilizando o Serviço de Saúde Ocupacional da Câmara Municipal de Almada como Caso e os aspectos mais singulares do seu processo de implementação e de desenvolvimento das práticas e actividades de saúde. Para o efeito, recorremos a metodologia compreensiva (ou qualitativa), com desenho de Estudo de Caso, de características exploratórias/explanatórias e intrínseco/instrumental. Desenvolvemos duas abordagens prévias, para melhor contextualizar e compreender as singularidades do Caso em análise. Uma abordagem geral à Saúde Ocupacional, no âmbito da Saúde Pública e do modelo económico e social europeu, incluindo o esclarecimento de alguns conceitos - recorremos a revisão da literatura sobre experiências e práticas nacionais e internacionais; e a informações e percepções de intérpretes do processo e das circunstâncias da institucionalização da Saúde Ocupacional no País, obtidos por entrevistas, diálogo e nossa reflexão. Como segunda abordagem, o desenvolvimento de um quadro de referência conceptual, suportado na revisão bibliográfica, no Estudo de Caso e reflexão, com as dimensões que condicionam o desenvolvimento de serviços e sistemas de Saúde Ocupacional. Apresentamos os resultados da Dissertação com um formato próximo da narrativa. Como uma história preenchida por ambientes, pessoas e organizações, para uma leitura mais fácil e para que melhor se perceba a ligação da Saúde Ocupacional ao percurso das sociedades. Mas também para que no pensamento, reflexões e documentos que venham ser produzidos por quem aceda a este trabalho, a história da Saúde Ocupacional passe a estar ligada aos contributos de alguns protagonistas-chave, e a Almada. Com este trabalho, foi possível conhecer e compreender melhor a contingência da Saúde Ocupacional, configurada como sistema de saúde nacional ou área de referência em alguns países, e quase desconhecida noutros, pese embora a maior visibilidade da relação saúde e trabalho, fruto das angústias contemporâneas do “planeta financeiro”, atento à sustentabilidade dos sistemas de protecção social, impacto das desigualdades sociais e de saúde nas capacidades produtivas e despesa dos Estados, …. A evidência de ganhos de saúde e efectividade das medidas e cuidados de saúde ocupacional são escassos, mas a solidez dos racionais, o reconhecimento de que os ambientes de trabalho são um Determinante Social de Saúde susceptível de provocar e/ou agravar as desigualdades em saúde, e alguns exemplos de boas-práticas conhecidos, fundamentam a atenção das agências internacionais e as recomendações para que a área se desenvolva. Em Portugal, apesar das dificuldades em reconhecer institucionalmente o mérito e os resultados, mesmo que validados por entidades de peritos independentes, destaca-se o Serviço de Saúde Ocupacional da Câmara Municipal de Almada. É um Caso que ilustra as dimensões que é necessário fazer coincidir para que a Saúde Ocupacional se possa desenvolver; a necessidade e vantagem de acção sistémica; a relevância das lideranças e da visão e da capacidade técnicas; e de como se podem concretizar os princípios gerais que vêm escritos nos livros, mesmo que nem sempre em consonância com as formulações legais, sobretudo se desadequadas dos ambientes e das necessidades de saúde. Ao longo do texto, acentuamos as dificuldades quase generalizadas em inspirar e mobilizar acção inovadora neste domínio; em conjugar os saberes e competências que a área requer; e a necessidade de valorizar o que é invulgar e raro (Cisne Negro ). Na discussão e conclusões, sublinhamos o potencial do Caso de Almada como exemplo de um sistema integrado de protecção e promoção da saúde no trabalho, e a vantagem de o utilizar como recurso para organizar soluções que permitam pensar, desenhar e realizar sistemas sociais e de saúde que contribuam para que em Portugal, na Europa e “por todo o lado”, indivíduos e comunidades vivam e se sintam bem. Palavras-Chave: Saúde Ocupacional, Serviço de Saúde Ocupacional da Câmara Municipal de Almada, Quadro de referência conceptual, Sistemas de saúde, Promoção da saúde no trabalho.

Previsão do Diagrama de Carga de Subestações da REN utilizando Redes Neuronais

A presente dissertação apresenta o estudo de previsão do diagrama de carga de subestações da Rede Elétrica Nacional (REN) utilizando redes neuronais, com o intuito de verificar a viabilidade do método utilizado, em estudos futuros. Atualmente, a energia elétrica é um bem essencial e desempenha um papel fundamental, tanto a nível económico do país, como a nível de conforto e satisfação individual. Com o desenvolvimento do setor elétrico e o aumento dos produtores torna-se importante a realização da previsão de diagramas de carga, contribuindo para a eficiência das empresas. Esta dissertação tem como objetivo a utilização do modelo das redes neuronais artificiais (RNA) para criar uma rede capaz de realizar a previsão de diagramas de carga, com a finalidade de oferecer a possibilidade de redução de custos e gastos, e a melhoria de qualidade e fiabilidade. Ao longo do trabalho são utilizados dados da carga (em MW), obtidos da REN, da subestação da Prelada e dados como a temperatura, humidade, vento e luminosidade, entre outros. Os dados foram devidamente tratados com a ajuda do software Excel. Com o software MATLAB são realizados treinos com redes neuronais, através da ferramenta Neural Network Fitting Tool, com o objetivo de obter uma rede que forneça os melhores resultados e posteriormente utiliza-la na previsão de novos dados. No processo de previsão, utilizando dados reais das subestações da Prelada e Ermesinde referentes a Março de 2015, comprova-se que com a utilização de RNA é possível obter dados de previsão credíveis, apesar de não ser uma previsão exata. Deste modo, no que diz respeito à previsão de diagramas de carga, as RNA são um bom método a utilizar, uma vez que fornecem, à parte interessada, uma boa previsão do consumo e comportamento das cargas elétricas. Com a finalização deste estudo os resultados obtidos são no mínimo satisfatórios. Consegue-se alcançar através das RNA resultados próximos aos valores que eram esperados, embora não exatamente iguais devido à existência de uma margem de erro na aprendizagem da rede neuronal.

Cultura, património e turismo: uma trilogia possível? Sons, silêncio e outros sentidos no mosteiro de S. Bento de Cástris

Trabalho de Projecto Segundo Ciclo em Práticas Culturais para Municípios

Visita guiada: uma estratégia da educação museal

Trabalho de Projecto apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Museologia

Estruturas metálicas para contenção de fachadas

Dissertação para obtenção do Grau de Mestre em Engenharia Civil – Perfil de Estruturas

Biomimética no projecto de estruturas espaciais

Dissertação para obtenção do Grau de Mestre em Engenharia Civil - Perfil Estruturas e Geotecnia

Caracterização sócio-económica da população do Algarve

O presente trabalho pretende efectuar uma caracterização sócio-económica da população do Algarve. Após a apresentação do objectivo do trabalho, são definidos os dados e designada a sua fonte. De seguida, efectua-se uma Análise Factorial das Correspondências em primeiro lugar ao nível das Freguesias e posteriormente tomando como base os dados do Concelho.

Enhancing Agent Mediated Electronic Markets with Ontology Matching Services and Social Network Support

Os Mercados Eletrónicos atingiram uma complexidade e nível de sofisticação tão elevados, que tornaram inadequados os modelos de software convencionais. Estes mercados são caracterizados por serem abertos, dinâmicos e competitivos, e constituídos por várias entidades independentes e heterogéneas. Tais entidades desempenham os seus papéis de forma autónoma, seguindo os seus objetivos, reagindo às ocorrências do ambiente em que se inserem e interagindo umas com as outras. Esta realidade levou a que existisse por parte da comunidade científica um especial interesse no estudo da negociação automática executada por agentes de software [Zhang et al., 2011]. No entanto, a diversidade dos atores envolvidos pode levar à existência de diferentes conceptualizações das suas necessidades e capacidades dando origem a incompatibilidades semânticas, que podem prejudicar a negociação e impedir a ocorrência de transações que satisfaçam as partes envolvidas. Os novos mercados devem, assim, possuir mecanismos que lhes permitam exibir novas capacidades, nomeadamente a capacidade de auxiliar na comunicação entre os diferentes agentes. Pelo que, é defendido neste trabalho que os mercados devem oferecer serviços de ontologias que permitam facilitar a interoperabilidade entre os agentes. No entanto, os humanos tendem a ser relutantes em aceitar a conceptualização de outros, a não ser que sejam convencidos de que poderão conseguir um bom negócio. Neste contexto, a aplicação e exploração de relações capturadas em redes sociais pode resultar no estabelecimento de relações de confiança entre vendedores e consumidores, e ao mesmo tempo, conduzir a um aumento da eficiência da negociação e consequentemente na satisfação das partes envolvidas. O sistema AEMOS é uma plataforma de comércio eletrónico baseada em agentes que inclui serviços de ontologias, mais especificamente, serviços de alinhamento de ontologias, incluindo a recomendação de possíveis alinhamentos entre as ontologias dos parceiros de negociação. Este sistema inclui também uma componente baseada numa rede social, que é construída aplicando técnicas de análise de redes socias sobre informação recolhida pelo mercado, e que permite melhorar a recomendação de alinhamentos e auxiliar os agentes na sua escolha. Neste trabalho são apresentados o desenvolvimento e implementação do sistema AEMOS, mais concretamente: • É proposto um novo modelo para comércio eletrónico baseado em agentes que disponibiliza serviços de ontologias; • Adicionalmente propõem-se o uso de redes sociais emergentes para captar e explorar informação sobre relações entre os diferentes parceiros de negócio; • É definida e implementada uma componente de serviços de ontologias que é capaz de: • o Sugerir alinhamentos entre ontologias para pares de agentes; • o Traduzir mensagens escritas de acordo com uma ontologia em mensagens escritas de acordo com outra, utilizando alinhamentos previamente aprovados; • o Melhorar os seus próprios serviços recorrendo às funcionalidades disponibilizadas pela componente de redes sociais; • É definida e implementada uma componente de redes sociais que: • o É capaz de construir e gerir um grafo de relações de proximidade entre agentes, e de relações de adequação de alinhamentos a agentes, tendo em conta os perfis, comportamento e interação dos agentes, bem como a cobertura e utilização dos alinhamentos; • o Explora e adapta técnicas e algoritmos de análise de redes sociais às várias fases dos processos do mercado eletrónico. A implementação e experimentação do modelo proposto demonstra como a colaboração entre os diferentes agentes pode ser vantajosa na melhoria do desempenho do sistema e como a inclusão e combinação de serviços de ontologias e redes sociais se reflete na eficiência da negociação de transações e na dinâmica do mercado como um todo.

Desenvolvimento e Controlo de um Veículo Autónomo Aéreo Quadrotor

A crescente necessidade de meios de inspecção e recolha de informação de infraestruturas e do meio ambiente natural, origina o recurso a meios tecnológicos cada vez mais evoluídos. Neste contexto, os robôs móveis autónomos aéreos surgem como uma ferramenta importante. Em particular, os veículos aéreos de asa móvel, pela sua manobrabilidade e controlo podem-se utilizar eficazmente em meios complexos como cenários interiores onde o ambiente é parcialmente controlado. A sua utilização em coordenação com outros veículos robóticos móveis e em particular com a crescente autonomia de decisão, permitem uma eficiência elevada, por exemplo, em tarefas de recolha automática de informação, vigilância, apoio a comunicações, etc. A inexistência de um veículo autónomo de asa móvel no cenário multi-robótico desenvolvido pelo Laboratório de Sistemas Autónomos do Instituto Superior de Engenharia do Porto, aliada às suas aplicações referidas, criou a necessidade do desenvolvimento de um veículo desta gama. Identificou-se, pois, o desenvolvimento de um veículo autónomo aéreo do tipo quadrotor com capacidade de vôo base estabilizado como o problema a resolver. Foi efectuado um levantamento de requisitos do sistema, a caracterização de um veículo autónomo aéreo Vertical Take-off and Landing - VTOL, e efectuado um trabalho de pesquisa a fim de possibilitar o conhecimento das técnicas e tecnologias envolvidas. Tendo em vista o objectivo de controlo e estabilização do veículo, foi efectuada a modelização do sistema que serviu não só para a melhor compreensão da sua dinâmica mas também para o desenvolvimento de um simulador que possibilitou a validação de estratégias de controlo e avaliação de comportamentos do veículo para diferentes cenários. A inexistência de controladores de motores brushless adequada (frequência de controlo), originou o desenvolvimento de um controlador dedicado para motores brushless, motores esses utilizados para a propulsão do veículo. Este controlador permite uma taxa de controlo a uma frequência de 20KHz, possui múltiplas interfaces de comunicação (CAN, RS232, Ethernet, SPI e JTAG), é de reduzido peso e dimensões e modular, visto ter sido implementado em dois módulos, i.e., permite a sua utilização com diferentes interfaces de potência. Projectou-se um veículo autónomo aéreo em termos físicos com a definição da sua arquitectura de hardware e software bem como o sistema de controlo de vôo. O sistema de estabilização de vôo compreende o processamento de informação fornecida por um sistema de navegação inercial, um sonar e o envio de referências de velocidade para cada um dos nós de controlo ligados a um barramento CAN instalado no veículo. A implementação do veículo foi alcançada nas suas vertentes mecânica, de hardware e software. O UAV foi equipado com um sistema computacional dotando-o de capacidades para o desempenho de tarefas previamente analisadas. No presente trabalho, são também tiradas algumas conclusões sobre o desenvolvimento do sistema e sua implementação bem como perspectivada a sua evolução futura no contexto de missões coordenadas de múltiplos veículos robóticos.

Avaliação da eficiência das empresas na utilização das redes sociais digitais: data envelopment analysis aplicada ao Facebook

Dissertação para obtenção do Grau de Mestre em Engenharia e Gestão Industrial

Avaliação de Riscos para a Segurança da Informação no ISEP Aplicação ao Processo de Notas

Desde que existe informação, há necessidade de criar um sistema que permita gerir e garantir que a informação está segura e que cumpre os requisitos básicos de segurança. Como tal, é necessário desenvolver técnicas e mecanismos para que os requisitos sejam testados e melhorados continuamente. Com esta necessidade em vista, apareceram padrões que dão resposta a um conjunto vasto de problemas, em diferentes sistemas e aplicações diversas. Estes tornaram-se guias de reflexão para quem os analisava, de arquitetura para quem os implementava e modelos para quem os geria. O padrão ISO 27001 dá resposta aos cuidados a ter para se conseguir um sistema de gestão da segurança da informação eficaz e eficiente. Esta norma preocupa-se com os detalhes de aplicação até à forma como é implementado e arquitetado o sistema. Os processos, atividades, fluxos de trabalho são essenciais para que esta norma seja cumprida. É necessário um bom escrutínio dos processos e suas atividades, assim como um fluxo de trabalho bem definido com papéis e responsabilidades de cada ator. É necessário também assegurar a forma como é gerido, a sua verificação e melhoria contínua. Foi aplicado no ISEP um exercício com o qual se pretendeu verificar se os processos e outros aspetos seguiam estes cuidados e se estavam de acordo com a norma. Durante o exercício foram verificados processos dentro de um certo âmbito, todas as suas atividades, papéis e responsabilidades, verificação de recursos, aplicação de controlos e aplicação de uma análise de risco. Esta análise tem como objetivo verificar o nível de segurança dos recursos, algo que a norma ISO 27001 propõe mas não especifica em que moldes. No final deste exercício pretendeu-se melhorar o sistema de gestão de informação do ISEP em vertentes tais como a documentação, a qual especifica quais os passos realizados no decorrer do mesmo.

Momentos resistentes em apoios de veios

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