Sistemas de abastecimento de água e saneamento básico

O presente relatório de estágio enquadra-se no âmbito do Trabalho Final de Mestrado (TFM) do curso de Engenharia Civil, área de especialização de Hidráulica, do Instituto Superior de Engenharia de Lisboa, e baseia-se na temática dos sistemas de abastecimento de água e drenagem de águas residuais. O estágio, intitulado de “Sistemas de Abastecimento de Agua e Saneamento Básico”, decorreu numa empresa de consultaria de engenharia denominada ENGIDRO – Estudos de Engenharia, Lda., vocacionada para a realização de estudos e projectos na área de Hidráulica, com particular incidência na Hidráulica Urbana e Saneamento Básico. O estágio iniciou-se com um adequado enquadramento profissional na empresa e incidiu principalmente no desenvolvimento de trabalhos de concepção e dimensionamento, a nível de projectos de execução, de sistemas de abastecimento de água e de saneamento básico, para 21 localidades da província de Lunda Sul, em Angola, com prestação de serviços para o Governo Provincial de Lunda Sul – Direcção Provincial da Energia e Aguas, juntamente com empresa CENGA – Consultores de Engenharia de Angola, S.A. Na prestação de serviços à entidade contratante foram efectuados trabalhos de campo, que consistiram principalmente em reconhecimentos do terreno, levantamentos topográficos e recolha de informação relevante sobre elementos condicionantes dos projectos (origens e disponibilidades de água, natureza e declive dos terrenos, tipos de infra-estruturas locais) e trabalhos de gabinete para compilação e análise da informação recolhida na elaboração dos projectos de execução, incluindo pecas desenhadas (desenhos pormenorizados) e peças escritas (memórias descritivas e justificativas, medições e orçamentos). Sendo os projectos destinados a aglomerados populacionais pouco desenvolvidos e com carências e condicionantes de diversa ordem (falta de energia eléctrica, de acessos, de telecomunicações, de meios técnicos e materiais, entre outros), prestou-se especial atenção aos aspectos da concepção, privilegiando soluções de baixa tecnologia, mais fáceis de explorar e manter com os recursos locais disponíveis.

On the moroccan tsunami catalogue

A primary tool for regional tsunami hazard assessment is a reliable historical and instrumental catalogue of events. Morocco by its geographical situation, with two marine sides, stretching along the Atlantic coast to the west and along the Mediterranean coast to the north, is the country of Western Africa most exposed to the risk of tsunamis. Previous information on tsunami events affecting Morocco are included in the Iberian and/or the Mediterranean lists of tsunami events, as it is the case of the European GITEC Tsunami Catalogue, but there is a need to organize this information in a dataset and to assess the likelihood of claimed historical tsunamis in Morocco. Due to the fact that Moroccan sources are scarce, this compilation rely on historical documentation from neighbouring countries (Portugal and Spain) and so the compatibility between the new tsunami catalogue presented here and those that correspond to the same source areas is also discussed.

IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics

This paper presents an algorithm to efficiently generate the state-space of systems specified using the IOPT Petri-net modeling formalism. IOPT nets are a non-autonomous Petri-net class, based on Place-Transition nets with an extended set of features designed to allow the rapid prototyping and synthesis of system controllers through an existing hardware-software co-design framework. To obtain coherent and deterministic operation, IOPT nets use a maximal-step execution semantics where, in a single execution step, all enabled transitions will fire simultaneously. This fact increases the resulting state-space complexity and can cause an arc "explosion" effect. Real-world applications, with several million states, will reach a higher order of magnitude number of arcs, leading to the need for high performance state-space generator algorithms. The proposed algorithm applies a compilation approach to read a PNML file containing one IOPT model and automatically generate an optimized C program to calculate the corresponding state-space.

Reabilitação do Centro de Saúde de Caldas da Rainha, do Ministério da Saúde

Relatório de Estágio para obtenção do grau de Mestre em Engenharia Civil Perfil de Edificações