FairSky: gestão confiável e otimizada de dados em múltiplas nuvens de armazenamento na internet

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

Quality of process modeling using BPMN: a model-driven approach

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

Exploring motor neuron degeneration in ALS - prevention by glycoursodeoxycholic acid and signaling to microglia

Dissertação para obtenção do Grau de Mestre em Genética Molecular e Biomedicina

Segurança e Privacidade de dados em nuvens de armazenamento

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

Integração de um Modelo de Aprendizagem em Blended-Learning no Curso de Informática Educativa, do Instituto Superior de Ciências da Educação da Huíla

Trabalho de Projecto apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Gestão de Sistema de E-learning

Exploring deregulated signals involved in motor neuron-microglia cross-talk in ALS

Part of the results discussed in this thesis was presented in the following meetings: Cunha MI, Cunha C, Vaz AR, Brites D. Studying microglial-motoneuron cross-talk in ALS pathology. 6th iMed.UL Postgraduate Students Meeting, Lisbon, July 2, 2014. [Abstract and Poster] Vaz AR. Motoneuron degeneration and glial reactivity in ALS: insights from cellular to animal models. Neuroscience Seminars at IMM 2012, Instituto de Medicina Molecular, Universidade de Lisboa, Lisbon, Portugal, June 9, 2014. [Oral Communication (by invitation)]

Glia-Motoneuron dialogue in ALS onset and progression in SOD1G93A-mice model

Amyotrophic lateral sclerosis (ALS) is a fatal neurodegenerative disease characterized by the pro-gressive loss of motoneurons (MN). Increasing evidence points glial cells as key players for ALS onset and progression. Indeed, MN-glia signalling pathways involving either neuroprotection or inflammation are likely to be altered in ALS. We aimed to study the molecules related with glial function and/or reactivity by evaluating glial markers and hemichannels, mainly present in astrocytes. We also studied molecules involved in mi-croglia-MN dialogue (CXCR3/CCL21; CX3CR1/CX3CL1; MFG-E8), as well as proliferation (Ki-67) and inflammatory-related molecules (TLR2/4, NLRP3; IL-18) and alarming/calming signals (HMGB1/autotaxin). We used lumbar spinal cord (SC) homogenates from mice expressing a mutant human-SOD1 protein (mSOD1) at presymptomatic and late-symptomatic ALS stages. SJL (WT) mice at same ages were used as controls. We observed decreased expression of genes associated with astrocytic (GFAP and S100B) and microglial (CD11b) markers in mSOD1 at the presymptomatic phase, as well as diminished levels of gap junction components pannexin1 and connexin43 and expression of Ki-67 and decreased autotax-in. In addition, microglial-MN communication was negatively affected in mSOD1 mice as well as in-flammatory response. Interestingly, we observed astrocytic (S100B) and microglial (CD11b) reactivity, increased proliferation (Ki-67) and increased autotaxin expression in symptomatic mSOD1 mice. In-creased MN-microglial dialogue (CXCR3/CCL21; CX3CR1/CX3CL1; MFG-E8) and hemichannel activ-ity, namely connexin43 and pannexin1, were also observed in mSOD1 at the symptomatic phase, along with an elevated inflammatory response as indicated by increased levels of HMGB1 and NLRP3. Our results suggest that decreased autotaxin expression is a feature of the presymptomatic stage, and precede the network of pro-inflammatory-related symptomatic determinants, including HMGB1, CCL21, CX3CL1, and NLRP3. The identification of the molecules and signaling pathways that are dif-ferentially activated along ALS progression will contribute for a better design of therapeutic strategies for disease onset and progression.

Study of the electromyographic signal dynamic behavior in Amyotrophic Lateral Sclerosis (ALS)

Amyotrophic Lateral Sclerosis (ALS) is a neurodegenerative disease characterized by motor neurons degeneration, which reduces muscular force, being very difficult to diagnose. Mathematical methods are used in order to analyze the surface electromiographic signal’s dynamic behavior (Fractal Dimension (FD) and Multiscale Entropy (MSE)), evaluate different muscle group’s synchronization (Coherence and Phase Locking Factor (PLF)) and to evaluate the signal’s complexity (Lempel-Ziv (LZ) techniques and Detrended Fluctuation Analysis (DFA)). Surface electromiographic signal acquisitions were performed in upper limb muscles, being the analysis executed for instants of contraction for ipsilateral acquisitions for patients and control groups. Results from LZ, DFA and MSE analysis present capability to distinguish between the patient group and the control group, whereas coherence, PLF and FD algorithms present results very similar for both groups. LZ, DFA and MSE algorithms appear then to be a good measure of corticospinal pathways integrity. A classification algorithm was applied to the results in combination with extracted features from the surface electromiographic signal, with an accuracy percentage higher than 70% for 118 combinations for at least one classifier. The classification results demonstrate capability to distinguish members between patients and control groups. These results can demonstrate a major importance in the disease diagnose, once surface electromyography (sEMG) may be used as an auxiliary diagnose method.

Liberdade e tolerância religiosa: "portugueses não católicos" no ultramar do século XIX

The personal legal status of native non catholic people of Portuguese colonial Empire during the nineteenth century, their position in what concerns Portuguese citizenship, is the main subject of this article. While discussing constitutional articles on religion, Portuguese deputies of the nineteenth century were confronted with a set of problems about that status which they find difficult to solve: should non catholic peoples who were born in Portuguese colonial territory be treated as plain Portuguese citizens or where they just “savage people”, “colonial subjects” or, in a more optimistic approach, “civilizing subjects”. The results were not conclusive, giving rise to an “uncertainty principle” which enabled central and local government to decide in an almost casuistic way about native people status and rights.

Paradigmas construtivos da máquina elétrica de relutância comutada: aplicação em regime de baixas velocidades. Aproveitamentos de energias renováveis

A máquina elétrica de relutância comutada (MERC) é, inerentemente, um conversor eletromecânico de velocidade variável, facilmente controlado através dos instantes de excitação e desexcitação do circuito magnético partilhado pelas fases. A sua robustez e simplicidade construtiva (só enrolamentos concentrados no estator), flexibilidade de controlo, bom rendimento numa gama alargada de velocidades, a sua fiabilidade e tolerância a defeitos fazem desta máquina uma opção válida para sistemas de conversão de energia caraterizados por baixas velocidades. A tendência crescente de instalar turbinas eólicas em offshore, para além dos desafios económicos e tecnológicos que levanta, torna a fiabilidade e a tolerância a defeitos, requisitos de vital importância. Neste contexto, a potencial aplicação da MERC a geradores eólicos sem recurso a caixa de velocidades, já que esta penaliza o custo, o volume e a fiabilidade do sistema, serviu de motivação a este trabalho. Nesta dissertação apresentam-se, numa perspetiva comparativa, diferentes paradigmas construtivos da MERC para o funcionamento gerador em regime de baixas velocidades, caraterístico dos aproveitamentos de energias renováveis. Para o efeito, formularam-se leis de escala apropriadas a análises dimensionais de topologias diferenciadas pelas caraterísticas dos circuitos elétrico e magnético e do seu posicionamento relativo. Estes modelos de escala permitiram introduzir constrangimentos físicos e dos materiais que condicionam o projeto da máquina, como a saturação magnética e limites de temperatura. Das análises dimensionais e validação com elementos finitos, elegeu-se uma estrutura magnética modular com caminhos de fluxo curtos que foi comparada com um protótipo de MERC regular, previsto para equipar um gerador eólico. Quando comparadas as duas topologias, assumindo dimensões idênticas, a modular apresentou um significativo ganho de potência específica mantendo bons níveis de rendimento. Pretende-se assim alargar a discussão do projeto das MERC, geralmente confinado a topologias regulares, a um contexto mais abrangente que inclua novos paradigmas construtivos.

Analysis and design of sinusoidal quadrature RC-oscillators

Modern telecommunication equipment requires components that operate in many different frequency bands and support multiple communication standards, to cope with the growing demand for higher data rate. Also, a growing number of standards are adopting the use of spectrum efficient digital modulations, such as quadrature amplitude modulation (QAM) and orthogonal frequency division multiplexing (OFDM). These modulation schemes require accurate quadrature oscillators, which makes the quadrature oscillator a key block in modern radio frequency (RF) transceivers. The wide tuning range characteristics of inductorless quadrature oscillators make them natural candidates, despite their higher phase noise, in comparison with LC-oscillators. This thesis presents a detailed study of inductorless sinusoidal quadrature oscillators. Three quadrature oscillators are investigated: the active coupling RC-oscillator, the novel capacitive coupling RCoscillator, and the two-integrator oscillator. The thesis includes a detailed analysis of the Van der Pol oscillator (VDPO). This is used as a base model oscillator for the analysis of the coupled oscillators. Hence, the three oscillators are approximated by the VDPO. From the nonlinear Van der Pol equations, the oscillators’ key parameters are obtained. It is analysed first the case without component mismatches and then the case with mismatches. The research is focused on determining the impact of the components’ mismatches on the oscillator key parameters: frequency, amplitude-, and quadrature-errors. Furthermore, the minimization of the errors by adjusting the circuit parameters is addressed. A novel quadrature RC-oscillator using capacitive coupling is proposed. The advantages of using the capacitive coupling are that it is noiseless, requires a small area, and has low power dissipation. The equations of the oscillation amplitude, frequency, quadrature-error, and amplitude mismatch are derived. The theoretical results are confirmed by simulation and by measurement of two prototypes fabricated in 130 nm standard complementary metal-oxide-semiconductor (CMOS) technology. The measurements reveal that the power increase due to the coupling is marginal, leading to a figure-of-merit of -154.8 dBc/Hz. These results are consistent with the noiseless feature of this coupling and are comparable to those of the best state-of-the-art RC-oscillators, in the GHz range, but with the lowest power consumption (about 9 mW). The results for the three oscillators show that the amplitude- and the quadrature-errors are proportional to the component mismatches and inversely proportional to the coupling strength. Thus, increasing the coupling strength decreases both the amplitude- and quadrature-errors. With proper coupling strength, a quadrature error below 1° and amplitude imbalance below 1% are obtained. Furthermore, the simulations show that increasing the coupling strength reduces the phase noise. Hence, there is no trade-off between phase noise and quadrature error. In the twointegrator oscillator study, it was found that the quadrature error can be eliminated by adjusting the transconductances to compensate the capacitance mismatch. However, to obtain outputs in perfect quadrature one must allow some amplitude error.

Rely-guarantee protocols for safe interference over shared memory

Mutable state can be useful in certain algorithms, to structure programs, or for efficiency purposes. However, when shared mutable state is used in non-local or nonobvious ways, the interactions that can occur via aliases to that shared memory can be a source of program errors. Undisciplined uses of shared state may unsafely interfere with local reasoning as other aliases may interleave their changes to the shared state in unexpected ways. We propose a novel technique, rely-guarantee protocols, that structures the interactions between aliases and ensures that only safe interference is possible. We present a linear type system outfitted with our novel sharing mechanism that enables controlled interference over shared mutable resources. Each alias is assigned separate, local roles encoded in a protocol abstraction that constrains how an alias can legally use that shared state. By following the spirit of rely-guarantee reasoning, our rely-guarantee protocols ensure that only safe interference can occur but still allow many interesting uses of shared state, such as going beyond invariant and monotonic usages. This thesis describes the three core mechanisms that enable our type-based technique to work: 1) we show how a protocol models an alias’s perspective on how the shared state evolves and constrains that alias’s interactions with the shared state; 2) we show how protocols can be used while enforcing the agreed interference contract; and finally, 3) we show how to check that all local protocols to some shared state can be safely composed to ensure globally safe interference over that shared memory. The interference caused by shared state is rooted at how the uses of di↵erent aliases to that state may be interleaved (perhaps even in non-deterministic ways) at run-time. Therefore, our technique is mostly agnostic as to whether this interference was the result of alias interleaving caused by sequential or concurrent semantics. We show implementations of our technique in both settings, and highlight their di↵erences. Because sharing is “first-class” (and not tied to a module), we show a polymorphic procedure that enables abstract compositions of protocols. Thus, protocols can be specialized or extended without requiring specific knowledge of the interference produce by other protocols to that state. We show that protocol composition can ensure safety even when considering abstracted protocols. We show that this core composition mechanism is sound, decidable (without the need for manual intervention), and provide an algorithm implementation.

Frequency-domain receiver design for doubly-selective channels

This work is devoted to the broadband wireless transmission techniques, which are serious candidates to be implemented in future broadband wireless and cellular systems, aiming at providing high and reliable data transmission and concomitantly high mobility. In order to cope with doubly-selective channels, receiver structures based on OFDM and SC-FDE block transmission techniques, are proposed, which allow cost-effective implementations, using FFT-based signal processing. The first subject to be addressed is the impact of the number of multipath components, and the diversity order, on the asymptotic performance of OFDM and SC-FDE, in uncoded and for different channel coding schemes. The obtained results show that the number of relevant separable multipath components is a key element that influences the performance of OFDM and SC-FDE schemes. Then, the improved estimation and detection performance of OFDM-based broadcasting systems, is introduced employing SFN (Single Frequency Network) operation. An initial coarse channel is obtained with resort to low-power training sequences estimation, and an iterative receiver with joint detection and channel estimation is presented. The achieved results have shown very good performance, close to that with perfect channel estimation. The next topic is related to SFN systems, devoting special attention to time-distortion effects inherent to these networks. Typically, the SFN broadcast wireless systems employ OFDM schemes to cope with severely time-dispersive channels. However, frequency errors, due to CFO, compromises the orthogonality between subcarriers. As an alternative approach, the possibility of using SC-FDE schemes (characterized by reduced envelope fluctuations and higher robustness to carrier frequency errors) is evaluated, and a technique, employing joint CFO estimation and compensation over the severe time-distortion effects, is proposed. Finally, broadband mobile wireless systems, in which the relative motion between the transmitter and receiver induces Doppler shift which is different or each propagation path, is considered, depending on the angle of incidence of that path in relation to the direction of travel. This represents a severe impairment in wireless digital communications systems, since that multipath propagation combined with the Doppler effects, lead to drastic and unpredictable fluctuations of the envelope of the received signal, severely affecting the detection performance. The channel variations due this effect are very difficult to estimate and compensate. In this work we propose a set of SC-FDE iterative receivers implementing efficient estimation and tracking techniques. The performance results show that the proposed receivers have very good performance, even in the presence of significant Doppler spread between the different groups of multipath components.

Tolerância de leguminosas de cobertura do solo a Herbicidas

São poucas as pesquisas de tolerância de leguminosas de cobertura do solo a herbicidas visando selecionar produtos que sejam seletivos a estas plantas e que apresentem controle satisfatório das plantas daninhas. Com o objetivo avaliar a tolerância de quatro leguminosas a herbicidas, instalou-se um experimento em condições de casa-de-vegetação. As leguminosas foram plantadas em sacos plásticos de dois litros, contendo substrato homogeneizado com duas sementes das leguminosas Pueraria phaseoloides, Desmodium ovalifolium, Mucuna aterrima e Mucuna cochinchinensis. Os herbicidas aplicados foram 2,4-DB, em pós-emergência, e alachlor, imazaquin e pendimethalin em pré-emergência. O delineamento experimental foi inteiramente ao acaso, em esquema fatorial de 4x4x5x4 com quatro espécies de leguminosas, quatro herbicidas e cinco doses de cada herbicida, respectivamente, repetidos quatro vezes. Aos trinta e seis dias após o plantio a Pueraria phaseoloides mostrou-se tolerante aos herbicidas alachlor e imazaquin e suscetível ao 2,4-DB e pendimethalin. O Desmodium ovalifolium foi suscetível aos herbicidas nas doses usadas, exceto o alachlor. A Mucuna aterrima apresentou tolerância ao alachlor, imazaquin e pendimethalin e foi suscetível ao 2,4-DB. Os herbicidas alachlor e imazaquin não foram fítotóxicos à Mucuna cochinchinensis, enquanto 2,4-DB e pendimethalin causaram severas injúrias.