Microfacies studies of carbonate rocks from Jurassic outcrops in the north of Faro, Southern Portugal

The Middle and Upper Jurassique limestones investigated were sub-divided into nine microfacies (MF) types. The firsts four represent Bathonian sediments with shallow water characteristics typical for carbonate platforms. They are comparable with Wilson's facies zones 6 to 8. Reef and reef debris, near-shore clastic-dominated limestones are not present. These MF-types are reiterated several times without cyclicity. The vertical development of the differentiated facies units indicates a close interfingering. The microfacies data are typical of inter to shallow subtidal environments; both authigenous quartz and low faunal and floral diversity of several layers point to temporary restricted conditions. The occurrence of Dictyoconus cayeuxi LUCAS and Callovian ammonites from the above lying strata argue for a Bathonian age. The MF-types 5-9 (Oxfordian-Kimmeridgian) show completely different sedimentation conditions. Fully marine nearshore recifal limestones alternate with pelagic sediments formed at deeper shelf areas. The pelagic micritic limestones of Oxfordian age are characterized by allodapic intercalations whereas the Oxfordian/Kimmeridgian limestones with tuberolithic fabrics often show intensive silifications. Only initial patch reef growth-stages were reached during the development of the Oxfordian and Kimmeridgian shallow water limestones.

Caracterização hidráulica, hidrológica e do transporte sólido das principais linhas de água (ribeiras) do concelho de Câmara de Lobos: ilha da Madeira

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Civil na Área de Especialização de Hidráulica

Projeto de fundações e estrutura de ampliação de escola no Açores utilizando os eurocódigos estruturais

Trabalho de Projeto para obtenção do grau de Mestre em Engenharia Civil na Área de Especialização de Estruturas

Analyzing TDMA with slot skipping

Distributed real-time systems, such as factory automation systems, require that computer nodes communicate with a known and low bound on the communication delay. This can be achieved with traditional time division multiple access (TDMA). But improved flexibility and simpler upgrades are possible through the use of TDMA with slot-skipping (TDMA/SS), meaning that a slot is skipped whenever it is not used and consequently the slot after the skipped slot starts earlier. We propose a schedulability analysis for TDMA/SS. We assume knowledge of all message streams in the system, and that each node schedules messages in its output queue according to deadline monotonic. Firstly, we present a non-exact (but fast) analysis and then, at the cost of computation time, we also present an algorithm that computes exact queuing times.

New schedulability analysis for WiDom

WiDom is a wireless prioritized medium access control (MAC) protocol which offers a very large number of priority levels. Hence, it brings the potential for employing non-preemptive static-priority scheduling and schedulability analysis for a wireless channel assuming that the overhead of WiDom is modeled properly. One schedulability analysis for WiDom has already been proposed but recent research has created a new version of WiDom with lower overhead (we call it: WiDom with a master node) and for this version of WiDom no schedulability analysis exists. Also, common to the previously proposed schedulability analyses for WiDom is that they cannot analyze message streams with release jitter. Therefore, in this paper we propose a new schedulability analysis for WiDom (with a master node). We also extend the WiDom analyses (with and without master node) to work also for message streams with release jitter.

WiDom: a dominance protocol for wireless medium access

In this paper, we address the problem of sharing a wireless channel among a set of sporadic message streams where a message stream issues transmission requests with real-time deadlines. We propose a collision-free wireless medium access control (MAC) protocol which implements static-priority scheduling, supports a large number of priority levels and is fully distributed. It is an adaptation to a wireless channel of the dominance protocol used in the CAN bus. But, unlike that protocol, our protocol does not require a node having the ability to receive an incoming bit from the channel while transmitting to the channel. The evaluation of the protocol with real embedded computing platforms is presented to show that the proposed protocol is in fact collision-free and prioritized. We measure the response times of our implementation and show that the response-time analysis developed for the protocol offers an upper bound on the response times.

Static-priority scheduling over wireless networks with multiple broadcast domains

We propose a wireless medium access control (MAC) protocol that provides static-priority scheduling of messages in a guaranteed collision-free manner. Our protocol supports multiple broadcast domains, resolves the wireless hidden terminal problem and allows for parallel transmissions across a mesh network. Arbitration of messages is achieved without the notion of a master coordinating node, global clock synchronization or out-of-band signaling. The protocol relies on bit-dominance similar to what is used in the CAN bus except that in order to operate on a wireless physical layer, nodes are not required to receive incoming bits while transmitting. The use of bit-dominance efficiently allows for a much larger number of priorities than would be possible using existing wireless solutions. A MAC protocol with these properties enables schedulability analysis of sporadic message streams in wireless multihop networks.

A two-competitive approximate schedulability analysis of CAN

Consider the problem of deciding whether a set of n sporadic message streams meet deadlines on a Controller Area Network (CAN) bus for a specified priority assignment. It is assumed that message streams have implicit deadlines and no release jitter. An algorithm to solve this problem is well known but unfortunately it time complexity is non-polynomial. We present an algorithm with polynomial time-complexity for computing an upper bound on the response times. Clearly, if the upper bound on the response time does not exceed the deadline then all deadlines are met. The pessimism of our approach is proven: if the upper bound of the response time exceeds the deadline then the response time exceeds the deadline as well for a CAN network with half the speed.

Preliminary discussion on globally prioritized medium access for multi-channel wireless systems

We discuss the development of a simple globally prioritized multi-channel medium access control (MAC) protocol for wireless networks. This protocol provides “hard” pre-run-time real-time guarantees to sporadic message streams, exploits a very large fraction of the capacity of all channels for “hard” real-time traffic and also makes it possible to fully utilize the channels with non real-time traffic when hard real-time messages do not request to be transmitted. The potential of such protocols for real-time applications is discussed and a schedulability analysis is also presented.

Building adaptable, QoS-aware dependable embedded systems

Most of today’s embedded systems are required to work in dynamic environments, where the characteristics of the computational load cannot always be predicted in advance. Furthermore, resource needs are usually data dependent and vary over time. Resource constrained devices may need to cooperate with neighbour nodes in order to fulfil those requirements and handle stringent non-functional constraints. This paper describes a framework that facilitates the distribution of resource intensive services across a community of nodes, forming temporary coalitions for a cooperative QoSaware execution. The increasing need to tailor provided service to each application’s specific needs determines the dynamic selection of peers to form such a coalition. The system is able to react to load variations, degrading its performance in a controlled fashion if needed. Isolation between different services is achieved by guaranteeing a minimal service quality to accepted services and by an efficient overload control that considers the challenges and opportunities of dynamic distributed embedded systems.

Collision-free prioritized medium access in the presence of hidden nodes without relying on out-of-band signaling

Consider the problem of sharing a wireless channel between a set of computer nodes. Hidden nodes exist and there is no base station. Each computer node hosts a set of sporadic message streams where a message stream releases messages with real-time deadlines. We propose a collision-free wireless medium access control (MAC) protocol which implements staticpriority scheduling. The MAC protocol allows multiple masters and is fully distributed. It neither relies on synchronized clocks nor out-of-band signaling; it is an adaptation to a wireless channel of the dominance protocol used in the CAN bus. But unlike that protocol, our protocol does not require a node having the ability to receive an incoming bit from the channel while transmitting to the channel. Our protocol has the key feature of not only being prioritized and collision-free but also dealing successfully with hidden nodes. This key feature enables schedulability analysis of sporadic message streams in multihop networks.

Relatório de estágio em reabilitação neurológica: intervenção da fisioterapia em indivíduos com AVC em fase aguda

Mestrado em Fisioterapia

Compact SMB chromatography for binary separation

A thesis submitted for the degree of Doctor of Philosophy

Gestão de resíduos produzidos num sistema de drenagem e tratamento de águas residuais

O presente trabalho centra-se na gestão de resíduos produzidos no sistema de drenagem e tratamento de águas residuais do município de Vila Nova de Gaia. A entidade onde decorreu o trabalho é uma empresa responsável pela distribuição de água e pela drenagem e tratamento de águas residuais. A empresa está certificada pela norma NP EN ISO 14001, desde 2001, sendo então um dos objectivos o enquadramento da gestão dos resíduos em estudo na referida norma, acompanhando os requisitos da mesma com vista ao seu total cumprimento. Outros dos objectivos foi estudar qual a opção de tratamento mais adequada a aplicar ao resíduo no seu local de armazenamento temporário com vista a minorar os seus impactes ambientais. De acordo com a caracterização analítica do resíduo e com os aspetos legais aplicáveis, foram também analisados os destinos finais possíveis e ambientalmente adequados ao resíduo. A medida proposta para a minimização de impactes no local de armazenamento temporário do resíduo foi a estabilização com cal nos leitos de secagem, disponíveis numa antiga ETAR de loteamento. O doseamento de cal a aplicar ao resíduo será de 10 kg de cal apagada comercial (Ca (OH)2) por uma tonelada de resíduo fresco com um período mínimo de secagem de 2 meses. Outra das medidas de minimização de impactes selecionada foi a implantação de uma cortina arbórea ao redor da instalação. Sendo o resíduo em estudo muito heterogéneo, constituído principalmente por areias, terras e gradados, a valorização foi equacionada mas não foram encontrados alternativas viáveis. O destino final considerado como mais adequado tendo em conta todas as características do resíduo e eluato, analisadas de acordo com o previsto no Decreto-Lei n.º 183/2009 de 10 de Agosto, foi o aterro para resíduos não perigosos. Foi também objecto do estudo a identificação e análise de todos os aspectos ambientais relacionados com a gestão de resíduos e a avaliação da sua significância. Dos aspectos ambientais identificados como significativos, destacam-se aqueles que ocorrem presentemente, os resíduos armazenados (gradados/limpeza de redes), e os que podem ocorrer em situações de emergência, fuga/derrame de óleos/combustíveis e cheiros/odores. De forma a minimizar os aspectos ambientais identificados, e de acordo com a norma NP EN ISO 14001, foram propostas ações que constam de um programa de gestão elaborado para este trabalho, onde se definem os objectivos, metas e prazos. As principais medidas propostas no programa de gestão foram: Estabilização com cal (inicial e reforço se necessário); melhoria do espaço envolvente; análise de questões de saúde ocupacional/segurança; adjudicação de prestação de serviços da recolha por operador licenciado; implantação da cortina arbórea; registo no SIRAPA; criação de planos de emergência ambiental e de segurança.

Membrane design and characterisation by incorporation of ionic liquids

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Química, especialidade de Operações Unitárias e Fenómenos de Transferência, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia