A logística na cadeia de frio em Portugal: transporte de produtos perecíveis congelados

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

O impacto do ambiente e das energias renováveis no projeto de instalações de frio industrial num matadouro

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

Controlo preditivo sobre redes de sensores e actuadores sem fios com tolerância a falhas de comunicação

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores

Simulação e estudo experimental de protocolos de encaminhamento seguro com tolerância a intrusões em redes de sensores sem fios de grande escala

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática.

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.

Dimensionamento de Uma Cobertura em Elementos Estruturais de Aço Enformados a Frio

O presente relatório versa sobre a análise e dimensionamento de estruturas de aço enformadas a frio. Devido a serem estruturas de elevada esbelteza, frequentemente denominadas “estruturas de aço leve”, apresentam fenómenos de instabilidade tanto a nível local como global, sendo da perspetiva regulamentar abrangidas pelo Eurocódigo 3, nomeadamente pelas Partes 1-1, 1-3 e 1-5. A Parte 1-3 do Eurocódigo 3 diz respeito às regras suplementares de elementos de aço enformados a frio, na qual estão presentes as regras de dimensionamento, bem como as verificações de segurança que deverão ser aplicadas. Nesta, é possível ainda “fazer a ponte” com a Parte 1-1 do Eurocódigo 3, respetiva às regras gerais de projeto de estruturas de aço e com a Parte 1-5 do Eurocódigo 3 relativa a elementos estruturais constituídos por placas. Inicialmente, será realizado um estado da arte, onde será efetuado um enquadramento histórico, apresentando o processo de fabrico destes elementos e o tipo de elementos estruturais originados, concluindo-se com as vantagens/desvantagens dos perfis em aço enformados a frio. Os conceitos teóricos de estabilidade estrutural, os tipos de instabilidade mais comuns nestes elementos, bem como os tipos de análise destes fenómenos farão a ponte com o capítulo que se segue. Relativamente ao dimensionamento destes elementos, será dado enfâse às metodologias preconizadas pelo Eurocódigo 3, Parte 1-3. Este capítulo incidirá, entre outos, nas propriedades das secções transversais, na determinação da resistência destas, onde se contabilizará os efeitos das instabilidades locais de placa e distorcionais, na instabilidade global dos perfis e nas ligações entre os mesmos. Será analisada, posteriormente, a abordagem apresentada pela ECCS relativamente ao dimensionamento de madres travadas por painéis de cobertura. Neste capítulo será apresentada a metodologia para o dimensionamento de vigas com restrição à torção e à translação, bem como a resistência da secção transversal da madre e do seu banzo livre à encurvadura. Finalmente, e ao encontro do que foi proposto pela empresa CCAD-Serviços de Engenharia, Lda, efetuar-se-á o dimensionamento de uma cobertura de um edifício de distribuição, cobertura esta constituída por asnas treliçadas e madres simples. Neste dimensionamento foram consideradas as ações segundo o Regulamento de Segurança e Ações Para Estruturas de Edifícios e Pontes e o Eurocódigo 1, Parte 1-1 que diz respeito às Ações Gerais em Estruturas e Parte 1-4 respeitante às Ações do vento.

Tolerância a faltas bizantinas em servidores RMI

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Tecnologias de produção de frio: estudo e análise de medidas de eficiência energética

Ao longo dos últimos anos tem sido crescente a preocupação com os consumos energéticos, sendo necessário intervir de forma a reduzir os consumos e assim manter a sustentabilidade do planeta. A indústria alimentar é dos setores mais importantes, sendo os sistemas de refrigeração os seus principais consumidores de energia elétrica (EE), ocupando assim a maior parte da fatia do consumo da instalação cerca de 75% [1]. Desta forma surge o presente artigo que pretende identificar oportunidades de eficiência energética na indústria alimentar, nomeadamente, no setor das carnes. Foram estudadas duas instalações e identificadas possíveis medidas de redução dos consumos de EE.

Formalização da tolerância à ausência de dados no processamento de sinais discretos

Dissertação para a obtenção do Grau de Doutor em Engenharia Electrotécnica

Tecnologias de Produção de Frio: Estudo e Análise de Soluções Técnico-económicas

A preocupação com os consumos energéticos é um assunto do qual se tem vindo cada vez mais a ter atenção no sentido de que sejam feitas reduções para que se consiga manter a sustentabilidade do planeta. As indústrias agroalimentares são um dos setores mais importantes em Portugal, sendo que os sistemas de refrigeração são os seus principais consumidores de energia elétrica, ocupando a maior parte da fatia do consumo da instalação. A identificação de oportunidades de racionalização dos consumos de energia toma assim especial importância, tanto na utilização de tecnologias mais eficientes como em medidas de boas práticas, ou seja como são utilizados os serviços. Neste âmbito surge o presente trabalho que tem como objetivo principal estudar duas instalações do mesmo setor e de escalas semelhantes de forma a identificar as diferenças entre elas e de como as tecnologias e os hábitos de utilização de cada uma influenciam nos consumos de energia. Foram estudados os sistemas de refrigeração e os seus principais constituintes, bem como as melhorias passiveis de implementar para que conduzissem a uma redução dos consumos energéticos. Assim, foi desenvolvida uma metodologia de auditoria orientada para os sistemas de refrigeração, em que foi aplicada aquando das auditorias às duas instalações. Após toda a recolha da informação acerca das instalações em estudo, fez se a sua análise individual e a comparação entre ambas, daqui foram obtidos os resultados.

Bioclima, saúde e qualidade da habitação em Portugal : papel da exposição ao frio na incidência de doenças coronárias agudas

Dissertação para obtenção do Grau de Doutor em Ambiente

Indução de Tolerância a Alimentos - Ficção ou Realidade?

A alergia alimentar é uma entidade clínica para a qual não temos, até à data, respostas terapêuticas totalmente satisfatórias. A possibilidade de uma abordagem activa, no sentido de induzir a tolerância, tem sido tentada pontualmente, com sucesso variável. Neste trabalho pretendemos fazer uma revisão sistemática dos estudos publicados sobre protocolos de indução de tolerância alimentar, tentando avaliar os seus resultados e perspectivar caminhos futuros. Foi possível identificar 10 estudos, 7 dos quais referentes a indução de tolerância oral e 3 a indução de tolerância subcutânea. Foi feito um resumo de cada estudo e cada protocolo é apresentado de forma esquemática, em quadro, de modo a facilitar a comparação. Verifica-se uma grande variabilidade no desenho dos diversos protocolos. Os resultados parecem promissores,em particular para os protocolos por via oral. No entanto, dado o risco de reacções adversas e a inexistência de protocolos normalizados, consideramos que esta abordagem deve manter-se reservada para situações clínicas seleccionadas e levada a cabo apenas por equipas experientes em centros de referência.

Dimensionamento de Madres Enformadas a Frio Travadas por Painéis do Tipo Sandwich

O presente relatório de estágio foi elaborado no âmbito da Unidade Curricular de DIPRE, Dissertação/Projeto/Estágio, do 2.º ano de Mestrado em Engenharia Civil do Instituto Superior de Engenharia do Porto, do ramo de estruturas, tendo como principal foco, a análise e dimensionamento de madres de aço enformado a frio e sua utilização com painéis do tipo sandwich em coberturas. Seções enformadas a frio são cada vez mais utilizadas em construções modernas, especificamente como estrutura secundária em coberturas, onde geralmente são fixas a painéis através de ligações aparafusadas. A presença de painéis e fixações através de parafusos permitem a estabilização lateral e torsional de madres aumentando desta forma a capacidade resistente, mas por serem elementos estruturais de espessura reduzida, os enformados a frio são suscetíveis a fenómenos de instabilidade associados. Desta forma, a norma EN 1993-1-3 [4] permite a análise e dimensionamento deste tipo de elementos através das disposições regulamentares preconizadas nas partes 1-1 [3] e 1-5 [5] da mesma norma. Num primeiro estudo, o presente trabalho tem como objetivo o dimensionamento e verificação de segurança de elementos enformados a frio com base na seção efetiva determinada com o auxílio das normas EN 1993-1-1 (regras gerais) e EN 1993-1-5 (regras para elementos estruturais constituídos por placas). Numa segunda fase, este trabalho pretende apresentar um estudo do comportamento de interação entre os sistemas madres-painéis. Para tal, são quantificadas as rigidezes das conexões dos sistemas e dos painéis para se realizarem a análise relativamente à restrição lateral e restrição torsional de madres. Neste contexto, concluiu-se que os painéis, quando fixos de forma adequada às madres, contribuem para a estabilidade.

Eficácia e tolerância do nitrofurfurilidene (1) na fase crônica da Moléstia de Chagas

Foram selecionados 25 pacientes chagásicos crônicos que apresentavam sorologia positiva e elevada parasitemia. A 15 deles, durante 120 dias, foi ministrado o Nitrofurfurilidene na dose diária de 8 a 10 mg por quilo de peso. Aos 10 restantes deu-se placebo. No trans e pós-tratamento não se verificaram alterações nas funções hepática, hematopoiética ou renal de caráter iatrogênico. Xenodiagnóstico e provas sorológicas foram realizadas mensalmente. O xenodiagnóstico, nos 15 doentes tratados, aos 60º dias da fase trans-terapêutica, mostrou-se negativo e assim se manteve durante 4 anos, período de tempo que durou a nossa observação. Quanto às reações sorodiagnósticas o mesmo não ocorreu, embora a partir dos 12 meses do término do tratamento o grupo que recebeu a droga tenha passado a apresentar níveis mais baixos de anticorpos. Os A.A. comentam o desacordo entre os achados do xenodiagnóstico e os das provas sorológicas e sugerem uma hipótese para justificá-lo. Concluem que, embora com menos evidência do que nas formas agudas, o Nitrofurfurilidene revela certa eficácia na fase crônica da infecção chagásica.

Tolerância a falhas com base em comutação de controladores – implementação em autómatos programáveis

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