Tolerância a falhas em sistemas de tempo-real distribuídos e embebidos

Este documento descreve um modelo de tolerância a falhas para sistemas de tempo-real distribuídos. A sugestão deste modelo tem como propósito a apresentação de uma solu-ção fiável, flexível e adaptável às necessidades dos sistemas de tempo-real distribuídos. A tolerância a falhas é um aspeto extremamente importante na construção de sistemas de tempo-real e a sua aplicação traz inúmeros benefícios. Um design orientado para a to-lerância a falhas contribui para um melhor desempenho do sistema através do melhora-mento de aspetos chave como a segurança, a confiabilidade e a disponibilidade dos sis-temas. O trabalho desenvolvido centra-se na prevenção, deteção e tolerância a falhas de tipo ló-gicas (software) e físicas (hardware) e assenta numa arquitetura maioritariamente basea-da no tempo, conjugada com técnicas de redundância. O modelo preocupa-se com a efi-ciência e os custos de execução. Para isso utilizam-se também técnicas tradicionais de to-lerância a falhas, como a redundância e a migração, no sentido de não prejudicar o tempo de execução do serviço, ou seja, diminuindo o tempo de recuperação das réplicas, em ca-so de ocorrência de falhas. Neste trabalho são propostas heurísticas de baixa complexida-de para tempo-de-execução, a fim de se determinar para onde replicar os componentes que constituem o software de tempo-real e de negociá-los num mecanismo de coordena-ção por licitações. Este trabalho adapta e estende alguns algoritmos que fornecem solu-ções ainda que interrompidos. Estes algoritmos são referidos em trabalhos de investiga-ção relacionados, e são utilizados para formação de coligações entre nós coadjuvantes. O modelo proposto colmata as falhas através de técnicas de replicação ativa, tanto virtual como física, com blocos de execução concorrentes. Tenta-se melhorar ou manter a sua qualidade produzida, praticamente sem introduzir overhead de informação significativo no sistema. O modelo certifica-se que as máquinas escolhidas, para as quais os agentes migrarão, melhoram iterativamente os níveis de qualidade de serviço fornecida aos com-ponentes, em função das disponibilidades das respetivas máquinas. Caso a nova configu-ração de qualidade seja rentável para a qualidade geral do serviço, é feito um esforço no sentido de receber novos componentes em detrimento da qualidade dos já hospedados localmente. Os nós que cooperam na coligação maximizam o número de execuções para-lelas entre componentes paralelos que compõem o serviço, com o intuito de reduzir atra-sos de execução. O desenvolvimento desta tese conduziu ao modelo proposto e aos resultados apresenta-dos e foi genuinamente suportado por levantamentos bibliográficos de trabalhos de in-vestigação e desenvolvimento, literaturas e preliminares matemáticos. O trabalho tem também como base uma lista de referências bibliográficas.

Tilt Training Increases Vasoconstrictor Reserve in Patients with Neurocardiogenic Syncope

Neurocardiogenic syncope (NCS) is a common clinical entity resulting from an excessive reflex autonomic response, particularly during orthostatism. Treatment options are controversial and of limited effectiveness. Tilt training (TT) is a promising option to treat these patients. However, its mechanism of action and clinical impact remain unclear. OBJECTIVE: To characterize hemodynamic and autonomic responses during a TT program in patients with NCS refractory to conventional measures. METHODS: We studied 28 patients (50% male, mean age 41±14 years) without structural heart disease, with NCS documented by tilt testing. The TT program included 9 tilt sessions (3 times a week, 30 min) (60° - 6 sessions, 70° - 3 sessions), under ECG and blood pressure monitoring combined with home orthostatic self-training and 10° head-up during sleep. Systolic volume, cardiac output, total peripheral resistance, baroreflex sensitivity and heart-rate variability were computed. Patients were reassessed at 1 month and every 6 months for a maximum of 36 months (24±12 months). RESULTS: Over the course of the TT program there was a significant increase in total peripheral resistance (1485±225 vs. 1591±187 dyn·s·cm(-5), p<0.05), with a decrease in standard deviation (206±60 vs. 150±42, p<0.05). During follow-up, syncope recurred in five patients (19%), with a significant reduction in the number of episodes (4.0±3.2/patient in the 12 months before TT vs. 1.4±0.8/patient post-TT, p<0.05). CONCLUSION: In refractory NCS, TT may be an effective therapeutic option, with long-term benefits. These results appear to be due to an increase in vasoconstrictor reserve combined with a reduction in its variance.

Participatory mapping in the design process of a spatial data infrastructure SDI: a case study in the Biosphere Reserve Rio Platano (Honduras)

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

A green future for European electricity? :Energy sources, policies and further determinants of the household price of electricity

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

The impact of the measurement unit of unit price on consumer preference and choice

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

Brincar de Internet: a vivência lúdica infantil em ambiente virtual

Tese de Doutoramento em Ciências da Educação (Especialidade em Tecnologia Educativa)

Reverse Auction: A Potential Strategy for Reduction of Pharmacological Therapy Cost

Background:Polypharmacy is a significant economic burden.Objective:We tested whether using reverse auction (RA) as compared with commercial pharmacy (CP) to purchase medicine results in lower pharmaceutical costs for heart failure (HF) and heart transplantation (HT) outpatients.Methods:We compared the costs via RA versus CP in 808 HF and 147 HT patients followed from 2009 through 2011, and evaluated the influence of clinical and demographic variables on cost.Results:The monthly cost per patient for HF drugs acquired via RA was $10.15 (IQ 3.51-40.22) versus $161.76 (IQ 86.05‑340.15) via CP; for HT, those costs were $393.08 (IQ 124.74-774.76) and $1,207.70 (IQ 604.48-2,499.97), respectively.Conclusion:RA may reduce the cost of prescription drugs for HF and HT, potentially making HF treatment more accessible. Clinical characteristics can influence the cost and benefits of RA. RA may be a new health policy strategy to reduce costs of prescribed medications for HF and HT patients, reducing the economic burden of treatment.

Tacit collusion and capacity withholding in repeated uniform price auctions

This paper contributes to the study of tacit collusion by analyzing infinitely repeated multiunit uniform price auctions in a symmetric oligopoly with capacity constrained firms. Under both the Market Clearing and Maximum Accepted Price rules of determining the uniform price, we show that when each firm sets a price-quantity pair specifying the firm's minimum acceptable price and the maximum quantity the firm is willing to sell at this price, there exists a range of discount factors for which the monopoly outcome with equal sharing is sustainable in the uniform price auction, but not in the corresponding discriminatory auction. Moreover, capacity withholding may be necessary to sustain this out-come. We extend these results to the case where firms may set bids that are arbitrary step functions of price-quantity pairs with any finite number of price steps. Surprisingly, under the Maximum Accepted Price rule, firms need employ no more than two price steps to minimize the value of the discount factor

Dynamic Option Adjusted Spread and the Value of Mortgage Backed Securities (Draft 1)

We extend a reduced form model for pricing pass-through mortgage backed securities (MBS) and provide a novel hedging tool for investors in this market. To calculate the price of an MBS, traders use what is known as option-adjusted spread (OAS). The resulting OAS value represents the required basis points adjustment to reference curve discounting rates needed to match an observed market price. The OAS suffers from some drawbacks. For example, it remains constant until the maturity of the bond (thirty years in mortgage-backed securities), and does not incorporate interest rate volatility. We suggest instead what we call dynamic option adjusted spread (DOAS). The latter allows investors in the mortgage market to account for both prepayment risk and changes of the yield curve.

Dynamic Option Adjusted Spread and the Value of Mortgage Backed Securities (Draft 2)

We extend a reduced form model for pricing pass-through mortgage backed securities (MBS) and provide a novel hedging tool for investors in this market. To calculate the price of an MBS, traders use what is known as option-adjusted spread (OAS). The resulting OAS value represents the required basis points adjustment to reference curve discounting rates needed to match an observed market price. The OAS suffers from some drawbacks. For example, it remains constant until the maturity of the bond (thirty years in mortgage-backed securities), and does not incorporate interest rate volatility. We suggest instead what we call dynamic option adjusted spread (DOAS), which allows investors in the mortgage market to account for both prepayment risk and changes of the yield curve.

Optimal Martingales and American Option Pricing

Pricing American options is an interesting research topic since there is no analytical solution to value these derivatives. Different numerical methods have been proposed in the literature with some, if not all, either limited to a specific payoff or not applicable to multidimensional cases. Applications of Monte Carlo methods to price American options is a relatively new area that started with Longstaff and Schwartz (2001). Since then, few variations of that methodology have been proposed. The general conclusion is that Monte Carlo estimators tend to underestimate the true option price. The present paper follows Glasserman and Yu (2004b) and proposes a novel Monte Carlo approach, based on designing "optimal martingales" to determine stopping times. We show that our martingale approach can also be used to compute the dual as described in Rogers (2002).

Efficient Competition through Cheap Talk: Competing Auctions and Competitive Search without Ex Ante Price

We consider a frictional two-sided matching market in which one side uses public cheap talk announcements so as to attract the other side. We show that if the first-price auction is adopted as the trading protocol, then cheap talk can be perfectly informative, and the resulting market outcome is efficient, constrained only by search frictions. We also show that the performance of an alternative trading protocol in the cheap-talk environment depends on the level of price dispersion generated by the protocol: If a trading protocol compresses (spreads) the distribution of prices relative to the first-price auction, then an efficient fully revealing equilibrium always (never) exists. Our results identify the settings in which cheap talk can serve as an efficient competitive instrument, in the sense that the central insights from the literature on competing auctions and competitive search continue to hold unaltered even without ex ante price commitment.

Fractional Integration of the Price-Dividend Ratio in a Present-Value Model of Stock Prices

We re-examine the dynamics of returns and dividend growth within the present-value framework of stock prices. We find that the finite sample order of integration of returns is approximately equal to the order of integration of the first-differenced price-dividend ratio. As such, the traditional return forecasting regressions based on the price-dividend ratio are invalid. Moreover, the nonstationary long memory behaviour of the price-dividend ratio induces antipersistence in returns. This suggests that expected returns should be modelled as an AFIRMA process and we show this improves the forecast ability of the present-value model in-sample and out-of-sample.

Divorce in the barn owl: securing a compatible or better mate entails the cost of re-pairing with a less ornamented female mate.

Two nonmutually exclusive hypotheses can explain why divorce is an adaptive strategy to improve reproductive success. Under the 'better option hypothesis', only one of the two partners initiates divorce to secure a higher-quality partner and increases reproductive success after divorce. Under the 'incompatibility hypothesis', partners are incompatible and hence they may both increase reproductive success after divorce. In a long-term study of the barn owl (Tyto alba), we address the question of whether one or the two partners derive fitness benefits by divorcing. Our results support the hypothesis that divorce is adaptive: after a poor reproductive season, at least one of the two divorcees increase breeding success up to the level of faithful pairs. By breeding more often together, faithful pairs improve coordination and thereby gain in their efficiency to produce successful fledglings. Males would divorce to obtain a compatible mate rather than a mate of higher quality: a heritable melanin-based signal of female quality did not predict divorce (indicating that female absolute quality may not be the cause of divorce), but the new mate of divorced males was less melanic than their previous mate. This suggests that, at least for males, a cost of divorce may be to secure a lower-quality but compatible mate. The better option hypothesis could not be formally rejected, as only one of the two divorcing partners commonly succeeded in obtaining a higher reproductive success after divorce. In conclusion, incompatible partners divorce to restore reproductive success, and by breeding more often together, faithful partners improve coordination.

Low intensity vs. self-guided internet-delivered psychotherapy for major depression: a multicenter, controlled, randomized study.

BACKGROUND Major depression will become the second most important cause of disability in 2020. Computerized cognitive-behaviour therapy could be an efficacious and cost-effective option for its treatment. No studies on cost-effectiveness of low intensity vs self-guided psychotherapy has been carried out. The aim of this study is to assess the efficacy of low intensity vs self-guided psychotherapy for major depression in the Spanish health system. METHODS The study is made up of 3 phases: 1.- Development of a computerized cognitive-behaviour therapy for depression tailored to Spanish health system. 2.- Multicenter controlled, randomized study: A sample (N=450 patients) with mild/moderate depression recruited in primary care. They should have internet availability at home, not receive any previous psychological treatment, and not suffer from any other severe somatic or psychological disorder. They will be allocated to one of 3 treatments: a) Low intensity Internet-delivered psychotherapy + improved treatment as usual (ITAU) by GP, b) Self-guided Internet-delivered psychotherapy + ITAU or c) ITAU. Patients will be diagnosed with MINI psychiatric interview. Main outcome variable will be Beck Depression Inventory. It will be also administered EuroQol 5D (quality of life) and Client Service Receipt Inventory (consume of health and social services). Patients will be assessed at baseline, 3 and 12 months. An intention to treat and a per protocol analysis will be performed. DISCUSSION The comparisons between low intensity and self-guided are infrequent, and also a comparative economic evaluation between them and compared with usual treatment in primary. The strength of the study is that it is a multicenter, randomized, controlled trial of low intensity and self-guided Internet-delivered psychotherapy for depression in primary care, being the treatment completely integrated in primary care setting. TRIAL REGISTRATION Clinical Trials NCT01611818.