On the analysis of compensation correctness

One fundamental idea of service-oriented computing is that applications should be developed by composing already available services. Due to the long running nature of service interactions, a main challenge in service composition is ensuring correctness of transaction recovery. In this paper, we use a process calculus suitable for modelling long running transactions with a recovery mechanism based on compensations. Within this setting, we discuss and formally state correctness criteria for compensable processes compositions, assuming that each process is correct with respect to transaction recovery. Under our theory, we formally interpret self-healing compositions, that can detect and recover from faults, as correct compositions of compensable processes. Moreover, we develop an automated verification approach and we apply it to an illustrative case study.

Compensação da energia reactiva com minimização de perturbações sobre a rede eléctrica

Trabalho Final de Mestrado para a obtenção de grau de Mestre em Engenharia Electrotécnica Ramo de Automação e Electrónica Industrial

Dimensionamento de Sistemas de Compensação do Fator de Potência com Filtragem Passiva de Harmónicos

A eficiência energética tem um papel de importância crescente devido a questões ambientais e ao aumento dos custos energéticos. Recentemente foram tomadas medidas para regular o consumo e o fornecimento de energia reativa em Portugal, que tornaram mais rigorosas as condições de faturação. O custo crescente da energia e a implementação das smart grids apontam para um futuro de maior rigor sobre a utilização da energia reativa. Não será de estranhar que as regras de faturação sejam mais severas daqui a uns anos. O desenvolvimento tecnológico nas áreas da análise da energia e nas formas de controlo da compensação de energia reativa permitem resultados muito mais eficazes que aqueles apresentados pelos vulgares sistemas a contactores que constituem a maioria dos cenários. Apesar de terem um custo inicial superior, os sistemas de compensação do fator de potência com filtragem passiva de harmónicos, desde que projetados corretamente, trazem vantagens evidentes na sua exploração a longo prazo. Com este trabalho pretende-se promover a sensibilização para o uso de sistemas mais eficientes na compensação de energia reativa e para que estes sejam projetados mais à medida das necessidades de cada local. Também se demonstra a extrema importância da adequação destes sistemas à qualidade de energia do local, principalmente em termos de conteúdo harmónico. Desta forma, os sistemas serão mais flexíveis em termos de utilização e possibilitam a sua adaptação às necessidades mesmo que as regras de faturação de energia reativa se tornem mais rigorosas.

The impact of SFAS 123R on CEO equity compensation

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Finance from the NOVA – School of Business and Economics

Consumption and emotional compensation in economic crisis

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Simulation of OWES with five-Level converter linked to the grid: Harmonic assessment

This paper deals with a computing simulation for an offshore wind energy system taking into account the influence of the marine waves action throughout the floating platform. The wind energy system has a variable-speed turbine equipped with a permanent magnet synchronous generator and a full-power five level converter, injecting energy into the electric grid through a high voltage alternate current link. A reduction on the unbalance of the voltage in the DC-link capacitors of the five-level converter is proposed by a strategic selection of the output voltage vectors. The model for the drive train of the wind energy system is a two mass model, including the dynamics of the floating platform. A case study is presented and the assessment of the quality of the energy injected into the electric grid is discussed.

New control algorithm for single-phase series active power filter

This paper presents a single-phase Series Active Power Filter (Series APF) for mitigation of the load voltage harmonic content, while maintaining the voltage on the DC side regulated without the support of a voltage source. The proposed series active power filter control algorithm eliminates the additional voltage source to regulate the DC voltage, and with the adopted topology it is not used a coupling transformer to interface the series active power filter with the electrical power grid. The paper describes the control strategy which encapsulates the grid synchronization scheme, the compensation voltage calculation, the damping algorithm and the dead-time compensation. The topology and control strategy of the series active power filter have been evaluated in simulation software and simulations results are presented. Experimental results, obtained with a developed laboratorial prototype, validate the theoretical assumptions, and are within the harmonic spectrum limits imposed by the international recommendations of the IEEE-519 Standard.

Exercise and heart failure. Relation of the severity of the disease to the anaerobic threshold and the respiratory compensation point

OBJECTIVE - To identify, the anaerobic threshold and respiratory compensation point in patients with heart failure. METHODS - The study comprised 42 Men,divided according to the functional class (FC) as follows: group I (GI) - 15 patients in FC I; group II (GII) - 15 patients in FC II; and group III (GIII) - 12 patients in FC III. Patients underwent a treadmill cardiopulmonary exercise test, where the expired gases were analyzed. RESULTS - The values for the heart rate (in bpm) at the anaerobic threshold were the following: GI, 122±27; GII, 117±17; GIII, 114±22. At the respiratory compensation point, the heart rates (in bpm) were as follows: GI, 145±33; GII, 133±14; GIII 123±22. The values for the heart rates at the respiratory compensation point in GI and GIII showed statistical difference. The values of oxygen consumption (VO2) at the anaerobic threshold were the following (in ml/kg/min): GI, 13.6±3.25; GII, 10.77±1.89; GIII, 8.7±1.44 and, at the respiratory compensation point, they were as follows: GI, 19.1±2.2; GII, 14.22±2.63; GIII, 10.27±1.85. CONCLUSION - Patients with stable functional class I, II, and III heart failure reached the anaerobic threshold and the respiratory compensation point at different levels of oxygen consumption and heart rate. The role played by these thresholds in physical activity for this group of patients needs to be better clarified.

Computer-assisted motion compensation and analysis of perfusion ultrasound data

Magdeburg, Univ., Fak. für Informatik, Diss., 2014

Lipschitz harmonic capacity and Bilipschitz images of cantor sets

For bilipschitz images of Cantor sets in Rd we estimate the Lipschitz harmonic capacity and show this capacity is invariant under bilipschitz homeomorphisms.

Motion compensation strategies in magnetic resonance imaging.

Image quality in magnetic resonance imaging (MRI) is considerably affected by motion. Therefore, motion is one of the most common sources of artifacts in contemporary cardiovascular MRI. Such artifacts in turn may easily lead to misinterpretations in the images and a subsequent loss in diagnostic quality. Hence, there is considerable research interest in strategies that help to overcome these limitations at minimal cost in time, spatial resolution, temporal resolution, and signal-to-noise ratio. This review summarizes and discusses the three principal sources of motion: the beating heart, the breathing lungs, and bulk patient movement. This is followed by a comprehensive overview of commonly used compensation strategies for these different types of motion. Finally, a summary and an outlook are provided.

A type of perturbation of the harmonic oscillator

"Vegeu el resum a l'inici del document del fitxer adjunt."