A Logic and tool for local reasoning about security protocols

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

Gás sulfídrico nas redes de águas residuais

Os colaboradores que realizam a sua atividade profissional, no setor das águas residuais, reconhecem que a sua atividade é perigosa. Esse conhecimento, foi adquirido pela experiência obtida ao longo dos anos, pelas várias formações e pelas notícias de acidentes, muitas vezes mortais, que têm acontecido na atividade. Muita das vezes, os colaboradores têm dificuldade em aceitar o risco, porque na realidade não existe um histórico conhecido do que se passa no interior das redes de drenagem de águas residuais e consideram que o risco é apenas teórico. Os portugueses são um Povo muito ligado à Cultura Popular,e são os ditados populares que melhor sintetiza as ideias expressas pelos trabalhador português “Ver para Crer, Como São Tomé” (SOUSA, Marcelo Rebelo de, Os Evangelhos de 2001, Lisboa, Bertrand Editora, 2001]. O objetivo principal com este trabalho, foi evidenciar que existem gases no interior das caixas de visita, mas principalmente, demostrar que seu aparecimento e respetiva concentração, é variável e que ocorre sem aviso prévio! Tornando assim, os trabalhos no interior das caixas de visita e das redes de drenagem de águas residuais domesticas, locais perigosos para quem opera no seu interior, sem a correta utilização dos equipamentos de proteção individual, (Epis e Epc). Sendo necessário, reforçar, a constante informação e formação para a utilização dos equipamentos de proteção individual e coletiva. Com o presente estágio, pretendeu-se iniciar um registo histórico de medições nas redes de drenagem de águas residuais domésticas. Com o resultado das medições que serão obtidas, pretende-se uma “Radiografia Fotográfica” ao interior das caixas de visitas das redes de drenagem de águas residuais. Com os resultados deste estudo, pretende-se contribuir de forma clara e objetiva, para os perigos iminentes que existem efetivamente, no interior das redes de saneamento, com a presença de altas concentrações de gás sulfídrico, nocivo para a vida humana!

Lá fora também se aprende

Relatório da Prática Profissional Supervisionada Mestrado em Educação Pré-Escolar

Perspetivas dos professores do ensino básico e secundário face ao desempenho da profissão: perplexidades e desafios

Dissertação apresentada à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ciências da Educação, especialidade Supervisão em Educação

Estimation of vegetation carbon stock in Portugal using land use/ land cover data

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies

O perfil do utilizador abusivo dos Serviços de Urgência Portugueses: um estudo no Hospital de São João

A afluência desmedida aos Serviços de Urgência é uma questão que acarreta preocupações a nível financeiro. Contribui para este fato, a mentalidade da população, que acredita que este serviço oferece mais facilidades de acesso, dispõe de mais recursos e fornece melhores cuidados de saúde. Novas medidas foram preconizadas, como o aumento das taxas moderadoras, para tentar travar este fenómeno. No entanto, apesar da descida dos episódios de urgência em cerca de 10%, em Portugal, estudos apontam para valores na ordem dos 30-35% de episódios não urgentes. Assim, torna-se importante que não só se enfatizem as novas medidas, como se eduque a população com vista à correta utilização destes serviços, através de campanhas de sensibilização. Torna-se, assim, necessário que se chegue ao perfil do utilizador abusivo. Para a identificação de um perfil de abusividade, foram solicitados dados de episódios de urgência ocorridos durante um período de 6 meses no Hospital de São João, tendo depois sido estimado um modelo de regressão logística. A metodologia permite identificar quais as características que influenciam uma utilização abusiva do serviço e quantificar o impacto de cada uma destas características na probabilidade de um utente apresentar um comportamento abusivo. Concluiu-se que, uma mulher entre os 18-30 anos, que resida em Vila Nova de Gaia, recorra à urgência durante a noite tendo-lhe sido atribuída uma pulseira azul e seja abrangida pelo Serviço Nacional de Saúde, apresenta 91,92% de probabilidade de utilizar este serviço de forma abusiva. Contrariamente, um homem com mais de 60 anos, residente na Maia, que recorra ao serviço durante o dia, esteja isento do pagamento de taxas moderadoras e seja abrangido pela ADSE, e lhe seja atribuída uma pulseira laranja, apresenta apenas 39,93% de probabilidade de ter um comportamento abusivo. Estes resultados são importantes para definir campanhas de sensibilização que diminuam comportamentos abusivos.

Splenomegaly in relation to Schistosoma mansoni egg counts: a population based study

A cross: sectional survey on schistosomiasis was done in Comercinho (Minas Gerais State, Brazil), a town with 1474 inhabitants. Stool (Kato-Katz method) and physical examinations were done on 90% of the population and on 84% of the individuals over 2 years of age, respectively. The ecological and individual (case-control) analysis were used to investigate the relation between splenomegaly and S. mansoni egg counts in different age groups. In the ecological analysis there was a clearly correspondence between higher geometric mean of eggs and higher percentage of splenomegaly in the age groups 5-9 and 10-12 years. In the individual analysis it was found that only in the youngest individuals (5-8 or 5-9 years old) the splenomegaly was related with higher mean egg counts in the feces, having been a tendency to the decrease of excretion of eggs in patients with splenomegaly as the age increased. These results strongly suggest that the ecological data are' better indicator of the severity of schistosomiasis in endemic areas, as the decrease of the egg excretion in patients with splenomegaly may be a confounding variable for the individual analysis.

Seroepidemiology of hepatitis a and b in two urban communities of Rio de Janeiro, Brazil

Hepatitis B markers were determined in 397 individuals from Niterói and 680 from Nova Iguaçu and prevalences of 9.1% (1.0% of HBsAg and 8.1% of anti HBs) and 11.1% (1.8% of HBsAg and 9.3% of antiHBs) were found, respectively. The comparative prevalence of both markers in relation to age showed a higher prevalence of HBsAg in the group 21-50 years old. Considering the antiHBs antibody, it was demostrated a gradual increase with age, reaching 14.9% in Niterói and 29.1% in Nova Iguaçu in individuals over 51 years old. For hepatitis A, in 259 samples from Niterói, equally distributed by age groups, an overall prevalence of 74.5% of anti-HAV antibodies was found. This prevalence increases gradually reaching 90.0% at age over thirty. In 254 samples from Nova Iguaçu analysed, a prevalence of 90.5% of antibodies was encountered when the same criteria of distribution of samples were used. This level of prevalence reached 90.0% already in the age over ten years old. The tests were performed by enzyme immunoassay with reagents prepared in our laboratory.

Aplicação de ferramentas de simulação estocástica na área de planeamento de uma empresa de abastecimento de água

No presente trabalho procura-se evidenciar algumas soluções para aplicação de simulação estocástica num contexto de gestão dos ativos, aplicado a um sistema de abastecimento de água, tirando partido da informação disponível sobre a manutenção que vem realizando, ao longo dos anos. Procura-se também descrever como estas metodologias podem ser aplicadas noutros casos, futuramente, beneficiando ainda da recolha de informação de colaboradores da empresa, com experiência no cargo e com elevado conhecimento do funcionamento das infraestruturas. A simulação estocástica é uma área cujas ferramentas podem dar uma preciosa ajuda no processo de tomada de decisão. Por outro lado, as organizações preocupam-se, cada vez mais, com o tema da gestão de ativos e com os custos a si associados, começando a investir mais tempo e dinheiro nessa matéria com o objetivo de delinearem estratégias para aumentar o período de vida útil dos seus ativos e otimizarem os seus investimentos de renovação. Nesse contexto, evidencia-se que um adequado plano de intervenções de manutenção e operação é uma boa metodologia, para garantir a redução de falhas no sistema de abastecimento de uma empresa desse setor, bem como garantir que as infraestruturas se encontram em condições de funcionamento. Contudo, esta abordagem tradicional não será suficiente para garantir as melhores práticas e os objetivos que se pretendem alcançar com uma gestão de ativos atual. O trabalho inclui, ainda, um estudo de caso com que se aplicaram as ferramentas estudadas a um caso real de um grupo de bombagem, de uma das Estações Elevatórias da empresa.

Reforço de estruturas de betão armado com CFRP

Ao longo dos anos as estruturas existentes têm sido adaptadas para novas utilizações. No entanto, devido aos condicionalismos arquitetónicos e patrimoniais, a demolição e substituição por estruturas novas, pode-se tornar pouco viável, sendo cada vez mais exequível a opção de reforçar. A presente dissertação refere-se a uma dessas opções de reforço nomeadamente ao reforço de estruturas em betão armado com CFRP (Compósitos Reforçados com Fibras de Carbono), nomeadamente lajes e vigas. Os objetivos principais deste trabalho consistem em desenvolver uma proposta de critérios de dimensionamento de estruturas de betão armado reforçadas com CFRP tendo por base o disposto no Eurocódigo 2 comparando -a com o relatório técnico publicado “bulletin 14 - Externally bonded FRP reinforcement for RC structures”, da Fédération Internationale du Béton. Recorrendo à revisão bibliográfica, onde estão referidos temas como as características dos materiais de um sistema FRP, as suas técnicas de reforço e com uma exposição do comportamento das vigas reforçadas à flexão, particularmente no seu comportamento mecânico e modos de ruína associados a este tipo de reforço. Apresentam-se duas metodologias de cálculo para dimensionamento deste tipo de reforço para os diferentes estados limites, e aplicam-se a cada uma das metodologias de cálculo a uma viga com necessidade de reforço à flexão e ao corte, devido a um aumento de esforços provocado pelo aumento da sobrecarga. Desenvolve-se um estudo experimental onde se pretende avaliar a eficácia de um sistema de reforço à flexão com compósitos de CFRP colado externamente a uma viga e com diferentes taxas de reforço.

Levantamento elétrico e análise de equipamento para acabamento térmico e químico de telas para pneus

Esta dissertação surge da necessidade da empresa Continental - Indústria Têxtil do Ave S.A. – grupo Continental Mabor atualizar os esquemas elétricos de uma máquina para acabamento térmico e químico de telas para pneus. Esta máquina (Zell) é crucial no seu processo produtivo e foi ao longo dos anos sofrendo sucessivas atualizações no sentido de melhorar o seu processo de produção. Existiam já, esquemas elétricos da máquina realizados em EPLAN no entanto não foram acompanhando as sucessivas alterações sofridas pela mesma. Deste modo, torna-se assim necessário não só produzir um suporte digital desses mesmos esquemas como também proceder à sua atualização. Ao longo desta dissertação o leitor pode obter informações relativas à Zell e ao processo de análise, estudo e documentação dos seus quadros elétricos em software EPLAN Electric P8. São ainda abordadas técnicas de leitura e desenho em EPLAN e descritas algumas das funcionalidade que este permite. É abordada a base de dados criada com informações relativas à máquina tais como características dos seus motores, variadores de frequência e localização dos quadros elétricos ao longo dos pisos que a compõe. No âmbito desta dissertação foi redigido o “Manual da Máquina de Impregnar Zell” e neste relatório abordam-se os principais tópicos que o compõe. Com a atualização dos esquemas tornou-se necessário proceder à identificação de diversos componentes na máquina. Esse processo de identificação é também aqui retratado. O leitor pode por fim obter informações de como realizar um processo de troca de variadores de frequência da marca ABB de diferentes gamas tendo em consideração as ligações em causa para o fazer. Pretende-se assim que o leitor fique com uma noção geral das diferentes vertentes que foram abordadas neste trabalho realizado sob a forma de um estágio com duração de seis meses no seio desta indústria.

O Processo de internacionalização das empresas angolanas e o seu impacto no crescimento e desenvolvimento económico: o caso da Sonangol

Dissertação de Mestrado apresentado ao Instituto Superior de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Empreendedorismo e Internacionalização. Os orientadores: Prof. Doutor José de Freitas Santos Profª. Doutora Maria Clara Dias Pinto Ribeiro

Design and implementation of an autonomous, proactive, and reactive software infrastructure to help improving the management level of projects

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

The prevalence of antibody to human parvovirus B19 in Rio de Janeiro, Brazil

During 1985 and 1986 serum samples were collected from the Rio de Janeiro population and examined for the presence of IgG antibody to human parvovirus B19. No difference in prevalence was found between males and females. Antibody prevalence rose from 35% in children less than five years old to almost 80% in children aged eleven to fifteen years. The antibody prevalence in individuals over 50 years old was over 90%.

Digitalização das promoções de vendas e email marketing

Dissertação de Mestrado apresentado ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Marketing Digital, sob orientação de Professor Doutor António Correia de Barros