RADIC II: a fault tolerant architecture with flexible dynamic redundancy

The demand for computational power has been leading the improvement of the High Performance Computing (HPC) area, generally represented by the use of distributed systems like clusters of computers running parallel applications. In this area, fault tolerance plays an important role in order to provide high availability isolating the application from the faults effects. Performance and availability form an undissociable binomial for some kind of applications. Therefore, the fault tolerant solutions must take into consideration these two constraints when it has been designed. In this dissertation, we present a few side-effects that some fault tolerant solutions may presents when recovering a failed process. These effects may causes degradation of the system, affecting mainly the overall performance and availability. We introduce RADIC-II, a fault tolerant architecture for message passing based on RADIC (Redundant Array of Distributed Independent Fault Tolerance Controllers) architecture. RADIC-II keeps as maximum as possible the RADIC features of transparency, decentralization, flexibility and scalability, incorporating a flexible dynamic redundancy feature, allowing to mitigate or to avoid some recovery side-effects.

Power laws and scaling of rain events and dry spells in the Catalonia region

We analyze the statistics of rain-event sizes, rain-event durations, and dry-spell durations in a network of 20 rain gauges scattered in an area situated close to the NW Mediterranean coast. Power-law distributions emerge clearly for the dryspell durations, with an exponent around 1.50 ± 0.05, although for event sizes and durations the power-law ranges are rather limited, in some cases. Deviations from power-law behavior are attributed to finite-size effects. A scaling analysis helps to elucidate the situation, providing support for the existence of scale invariance in these distributions. It is remarkable that rain data of not very high resolution yield findings in agreement with self-organized critical phenomena.

How The 1996 Hotel Majestic agreement may explain a future PP/CiU relationship in Madrid

Some historians have argued that 1996 marked a ‘second transition’ for Spain because of the return to power of the political right in Madrid and that the relationship and eventual pact between the Partido Popular (PP) and Convergència i Unió (CiU) meant that the state could finally escape the ghosts of its Francoist past. For this research, face-to-face interviews were conducted with Catalan Members of Parliament who served under either José María Aznar or Jordi Pujol in Madrid or Barcelona. Drawing upon both interviews and other evidence, including the analysis of election results and the 1996 Hotel Majestic Agreement, the research seeks to provide a better understanding of the previous relationships between the PP and CiU and their leaders in order to understand what lessons might be learnt that would contribute to anticipating and explaining possible future negotiations between the two parties. This is attempted by first examining the potential costs and benefits of political pacts between centre (Madrid) and periphery (Barcelona). Secondly, due to many interviewees making reference to Salvador Espriu’s work La Pell de Brau, the three routes of Espriu’s Catalan nationalism are put into the context of the political pacts. Finally, the likelihood of future agreements between PP and CiU are hypothesized, not only how those agreements may (or may not) come about, but also, what might the result of those negotiations be. Ultimately, it is concluded that the benefits of the Hotel Majestic Agreement outweighed the costs, thus leaving the door open for future negotiations, even if some of those interviewed disagreed.

Endogenous bargaining power

We present a novel approach to N-person bargaining, based on the idea thatthe agreement reached in a negotiation is determined by how the directconflict resulting from disagreement would be resolved. Our basic buildingblock is the disagreement function, which maps each set of feasible outcomesinto a disagreement point. Using this function and a weak axiom basedon individual rationality we reach a unique solution: the agreement inthe shadow of conflict, ASC. This agreement may be construed as the limitof a sequence of partial agreements, each of which is reached as a functionof the parties relative power. We examine the connection between ASC andasymmetric Nash solutions. We show the connection between the power ofthe parties embodied in the ASC solution and the bias in the SWF thatwould select ASC as an asymmetric Nash solution.

FAM-MDR: a flexible family-based multifactor dimensionality reduction technique to detect epistasis using related individuals

We propose a novel multifactor dimensionality reduction method for epistasis detection in small or extended pedigrees, FAM-MDR. It combines features of the Genome-wide Rapid Association using Mixed Model And Regression approach (GRAMMAR) with Model-Based MDR (MB-MDR). We focus on continuous traits, although the method is general and can be used for outcomes of any type, including binary and censored traits. When comparing FAM-MDR with Pedigree-based Generalized MDR (PGMDR), which is a generalization of Multifactor Dimensionality Reduction (MDR) to continuous traits and related individuals, FAM-MDR was found to outperform PGMDR in terms of power, in most of the considered simulated scenarios. Additional simulations revealed that PGMDR does not appropriately deal with multiple testing and consequently gives rise to overly optimistic results. FAM-MDR adequately deals with multiple testing in epistasis screens and is in contrast rather conservative, by construction. Furthermore, simulations show that correcting for lower order (main) effects is of utmost importance when claiming epistasis. As Type 2 Diabetes Mellitus (T2DM) is a complex phenotype likely influenced by gene-gene interactions, we applied FAM-MDR to examine data on glucose area-under-the-curve (GAUC), an endophenotype of T2DM for which multiple independent genetic associations have been observed, in the Amish Family Diabetes Study (AFDS). This application reveals that FAM-MDR makes more efficient use of the available data than PGMDR and can deal with multi-generational pedigrees more easily. In conclusion, we have validated FAM-MDR and compared it to PGMDR, the current state-of-the-art MDR method for family data, using both simulations and a practical dataset. FAM-MDR is found to outperform PGMDR in that it handles the multiple testing issue more correctly, has increased power, and efficiently uses all available information.

The maximum voltage drop in an on-chip power distribution network: analysis of square, triangular and hexagonal power pad arrangements

A mathematical model of the voltage drop which arises in on-chip power distribution networks is used to compare the maximum voltage drop in the case of different geometric arrangements of the pads supplying power to the chip. These include the square or Manhattan power pad arrangement, which currently predominates, as well as equilateral triangular and hexagonal arrangements. In agreement with the findings in the literature and with physical and SPICE models, the equilateral triangular power pad arrangement is found to minimize the maximum voltage drop. This headline finding is a consequence of relatively simple formulas for the voltage drop, with explicit error bounds, which are established using complex analysis techniques, and elliptic functions in particular.

Implementació d’un sistema SCADA a la cèl·lula de fabricació flexible MPS+2000C

L’Escola Politècnica Superior de la Universitat de Vic disposa d’una cèl·lula de fabricació flexible del fabricant Festo, que simula un procés d’emmagatzematge automàtic, aquesta cèl·lula esta composta per quatre estacions de muntatge diferenciades i independents, l’estació palets, l’estació plaques, l’estació magatzem intermedi i l’estació transport. Cada una d’aquestes estacions està formada per sensors i actuadors elèctrics i pneumàtics del fabricant Festo que van connectats a un PLC SIEMENS S7-300.Els quatre PLC’s (un per cada estació) estan connectats entre ells mitjançant el bus de comunicacions industrials Profibus. L’objectiu d’aquest treball consisteix en l’adaptació de la programació dels PLC’s i la realització d’un SCADA per tal de controlar el funcionament del conjunt de la cèl·lula de fabricació a través del software Vijeo Citect, d’aquesta manera es coneixerà el funcionament de la cèl·lula i permetrà treure’n rendiment per la docència. Aquest projecte ha estat realitzat en quatre fases principals. 1. Estudi i coneixement de les estacions, en aquesta fase s’han estudiat els manuals de funcionament de les estacions i s’han interpretat els codis de programació dels seus PLCs, amb l’objectiu de conèixer bé el programa per tal de interaccionar-hi més endavant amb el sistema SCADA 2. Disseny i programació del sistema SCADA, en aquesta fase s’ha realitzat tot el disseny gràfic de les pantalles de la interfície SCADA així com la programació dels objectes, la connexió amb els PLCs i la base de dades. 3. Posada en marxa del sistema complert, quan es coneixia abastament el funcionament de les estacions i el sistema SCADA estava completat s’ha fet la posada en marxa del conjunt i s’ha comprovat el correcte funcionament i interacció dels sistemes. 4. Realització de la memòria del projecte, en aquesta ultima fase s’ha realitzat la memòria del projecte on s’expliquen les característiques i funcionament de totes les estacions i del sistema SCADA. La conclusió més rellevant obtinguda en aquest treball, és la clara visualització de la potència i simplicitat que han aportat els sistemes SCADA al món de l’automatització, anys enrere per la supervisió de l’estat d’un sistema automatitzat era necessari disposar d’un gran espai amb grans panells de control formats per una gran quantitat de pilots lluminosos, potenciòmetres, interruptors, polsadors, displays i sobretot un voluminós i complexa cablejat, gràcies als sistemes SCADA avui en dia tot això pot quedar reduït a un PC o terminal tàctil, amb pantalles gràfiques clares i una gran quantitat d’opcions de supervisió control i configuració del sistema automatitzat.

The maximum voltage drop in an on-chip power distribution network: analysis of square, triangular and hexagonal power pad arrangements

A mathematical model of the voltage drop which arises in on-chip power distribution networks is used to compare the maximum voltage drop in the case of different geometric arrangements of the pads supplying power to the chip. These include the square or Manhattan power pad arrangement, which currently predominates, as well as equilateral triangular and hexagonal arrangements. In agreement with the findings in the literature and with physical and SPICE models, the equilateral triangular power pad arrangement is found to minimize the maximum voltage drop. This headline finding is a consequence of relatively simple formulas for the voltage drop, with explicit error bounds, which are established using complex analysis techniques, and elliptic functions in particular.

Countervailing power? Collusion in markets with decentralized trade

We consider the collective incentives of buyers and sellers to form cartels in markets where trade is realized through decentralized pairwise bargaining. Cartels are coalitions of buyers or sellers that limit market participation and compensate inactive members for abstaining from trade. In a stable market outcome, cartels set Nash equilibrium quantities and cartel memberships are immune to defections. We prove that the set of stable market outcomes is non-empty and we provide its full characterization. Stable market outcomes are of two types: (i) at least one cartel actively restrains trade and the levels of market participation are balanced, or (ii) only one cartel, eventually the cartel that forms on the long side of the market, is active and it reduces trade slightly below the opponent's.

I want you! An experiment studying the selection effect when assigning distributive power.

We study whether selection affects motivation. In our experiment subjects first answer a personality questionnaire. They then play a 3-person game. One of the three players decides between an outside option assigning him a positive amount, but leaving the two others empty-handed and allowing one of the other two players to distribute a pie. Treatments differ in the procedure by which distributive power is assigned: to a randomly determined or to a knowingly selected partner. Before making her decision the selecting player could consult the personality questionnaire of the other two players. Results show that knowingly selected players keep less for themselves than randomly selected ones and reward the selecting player more generously.

The possibility for continuous growth with exhaustible resources: unknowingly an agreement has been reached, but it may not be correct

It is the size of the elasticity of substitution that has been the central issue in the long debate over the possibility of continuous growth in the presence of exhaustible resources. This paper reviews the debate and comes to the surprising conclusion that , unnoticed by the pessimists, the optimist position has gradually evolved so that it now approximates that of the pessimists. The paper also summarises some preliminary work by the author that indicates that this common position may not be correct

Demand elasticity and market power in the spanish electricity market

In this paper we check whether generator's bid behavior at the Spanish whosale electricity market is consistent with the hypothesis of profit maximization on their residual demands. Using OMEL data, we find the arc-elacticity of the residual demand around the system marginal price. The results suggest thet the larger firms are not actually profit-msximization. We argue how the regulatory environment may drive these results. Finally, we repeat the analysis for the first session of the intra-day market where presumably firms may not have the same incentives as in the day-ahead market.

Two algorithms to find a power integral basis

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

Encryption methods using formal power series rings

Recently there has been a great deal of work on noncommutative algebraic cryptography. This involves the use of noncommutative algebraic objects as the platforms for encryption systems. Most of this work, such as the Anshel-Anshel-Goldfeld scheme, the Ko-Lee scheme and the Baumslag-Fine-Xu Modular group scheme use nonabelian groups as the basic algebraic object. Some of these encryption methods have been successful and some have been broken. It has been suggested that at this point further pure group theoretic research, with an eye towards cryptographic applications, is necessary.In the present study we attempt to extend the class of noncommutative algebraic objects to be used in cryptography. In particular we explore several different methods to use a formal power series ring R && x1; :::; xn && in noncommuting variables x1; :::; xn as a base to develop cryptosystems. Although R can be any ring we have in mind formal power series rings over the rationals Q. We use in particular a result of Magnus that a finitely generated free group F has a faithful representation in a quotient of the formal power series ring in noncommuting variables.