On solving fair exchange and related distributed problems in Byzantine environments

Abstract The solvability of the problem of fair exchange in a synchronous system subject to Byzantine failures is investigated in this work. The fair exchange problem arises when a group of processes are required to exchange digital items in a fair manner, which means that either each process obtains the item it was expecting or no process obtains any information on, the inputs of others. After introducing a novel specification of fair exchange that clearly separates safety and liveness, we give an overview of the difficulty of solving such a problem in the context of a fully-connected topology. On one hand, we show that no solution to fair exchange exists in the absence of an identified process that every process can trust a priori; on the other, a well-known solution to fair exchange relying on a trusted third party is recalled. These two results lead us to complete our system model with a flexible representation of the notion of trust. We then show that fair exchange is solvable if and only if a connectivity condition, named the reachable majority condition, is satisfied. The necessity of the condition is proven by an impossibility result and its sufficiency by presenting a general solution to fair exchange relying on a set of trusted processes. The focus is then turned towards a specific network topology in order to provide a fully decentralized, yet realistic, solution to fair exchange. The general solution mentioned above is optimized by reducing the computational load assumed by trusted processes as far as possible. Accordingly, our fair exchange protocol relies on trusted tamperproof modules that have limited communication abilities and are only required in key steps of the algorithm. This modular solution is then implemented in the context of a pedagogical application developed for illustrating and apprehending the complexity of fair exchange. This application, which also includes the implementation of a wide range of Byzantine behaviors, allows executions of the algorithm to be set up and monitored through a graphical display. Surprisingly, some of our results on fair exchange seem contradictory with those found in the literature of secure multiparty computation, a problem from the field of modern cryptography, although the two problems have much in common. Both problems are closely related to the notion of trusted third party, but their approaches and descriptions differ greatly. By introducing a common specification framework, a comparison is proposed in order to clarify their differences and the possible origins of the confusion between them. This leads us to introduce the problem of generalized fair computation, a generalization of fair exchange. Finally, a solution to this new problem is given by generalizing our modular solution to fair exchange

Data-parallel computation in parallel and distributed environments

The past few decades have seen a considerable increase in the number of parallel and distributed systems. With the development of more complex applications, the need for more powerful systems has emerged and various parallel and distributed environments have been designed and implemented. Each of the environments, including hardware and software, has unique strengths and weaknesses. There is no single parallel environment that can be identified as the best environment for all applications with respect to hardware and software properties. The main goal of this thesis is to provide a novel way of performing data-parallel computation in parallel and distributed environments by utilizing the best characteristics of difference aspects of parallel computing. For the purpose of this thesis, three aspects of parallel computing were identified and studied. First, three parallel environments (shared memory, distributed memory, and a network of workstations) are evaluated to quantify theirsuitability for different parallel applications. Due to the parallel and distributed nature of the environments, networks connecting the processors in these environments were investigated with respect to their performance characteristics. Second, scheduling algorithms are studied in order to make them more efficient and effective. A concept of application-specific information scheduling is introduced. The application- specific information is data about the workload extractedfrom an application, which is provided to a scheduling algorithm. Three scheduling algorithms are enhanced to utilize the application-specific information to further refine their scheduling properties. A more accurate description of the workload is especially important in cases where the workunits are heterogeneous and the parallel environment is heterogeneous and/or non-dedicated. The results obtained show that the additional information regarding the workload has a positive impact on the performance of applications. Third, a programming paradigm for networks of symmetric multiprocessor (SMP) workstations is introduced. The MPIT programming paradigm incorporates the Message Passing Interface (MPI) with threads to provide a methodology to write parallel applications that efficiently utilize the available resources and minimize the overhead. The MPIT allows for communication and computation to overlap by deploying a dedicated thread for communication. Furthermore, the programming paradigm implements an application-specific scheduling algorithm. The scheduling algorithm is executed by the communication thread. Thus, the scheduling does not affect the execution of the parallel application. Performance results achieved from the MPIT show that considerable improvements over conventional MPI applications are achieved.

Electromagnetic Design of a Solid Steel Rotor Motor for Demanding Operation Environments

The solid-rotor induction motor provides a mechanically and thermally reliable solution for demanding environments where other rotor solutions are prohibited or questionable. Solid rotors, which are manufactured of single pieces of ferromagnetic material, are commonly used in motors in which the rotationspeeds exceed substantially the conventional speeds of laminated rotors with squirrel-cage. During the operation of a solid-rotor electrical machine, the rotor core forms a conductor for both the magnetic flux and the electrical current. This causes an increase in the rotor resistance and rotor leakage inductance, which essentially decreases the power factor and the efficiency of the machine. The electromagnetic problems related to the solid-rotor induction motor are mostly associated with the low performance of the rotor. Therefore, the main emphasis in this thesis is put on the solid steel rotor designs. The rotor designs studied in thisthesis are based on the fact that the rotor construction should be extremely robust and reliable to withstand the high mechanical stresses caused by the rotational velocity of the rotor. In addition, the demanding operation environment sets requirements for the applied materials because of the high temperatures and oxidizing acids, which may be present in the cooling fluid. Therefore, the solid rotors analyzed in this thesis are made of a single piece of ferromagnetic material without any additional parts, such as copper end-rings or a squirrel-cage. A pure solid rotor construction is rigid and able to keep its balance over a large speed range. It also may tolerate other environmental stresses such as corroding substances or abrasive particles. In this thesis, the main target is to improve the performance of an induction motor equipped with a solid steel rotor by traditional methods: by axial slitting of the rotor, by selecting a proper rotor core material and by coating the rotor with a high-resistive stainless ferromagnetic material. In the solid steel rotor calculation, the rotor end-effects have a significant effect on the rotor characteristics. Thus, the emphasis is also put on the comparison of different rotor endfactors. In addition, a corrective slip-dependent end-factor is proposed. The rotor designs covered in this thesis are the smooth solid rotor, the axially slitted solid rotor and the slitted rotor having a uniform ferromagnetic coating cylinder. The thesis aims at design rules for multi-megawatt machines. Typically, mega-watt-size solidrotor machines find their applications mainly in the field of electric-motor-gas-compression systems, in steam-turbine applications, and in various types of largepower pump applications, where high operational speeds are required. In this thesis, a 120 kW, 10 000 rpm solid-rotor induction motor is usedas a small-scale model for such megawatt-range solid-rotor machines. The performance of the 120 kW solid-rotor induction motors is determined by experimental measurements and finite element calculations.

What to consider for applying backfilling on non-dedicated environments

The resource utilization level in open laboratories of several universities has been shown to be very low. Our aim is to take advantage of those idle resources for parallel computation without disturbing the local load. In order to provide a system that lets us execute parallel applications in such a non-dedicated cluster, we use an integral scheduling system that considers both Space and Time sharing concerns. For dealing with the Time Sharing (TS) aspect, we use a technique based on the communication-driven coscheduling principle. This kind of TS system has some implications on the Space Sharing (SS) system, that force us to modify the way job scheduling is traditionally done. In this paper, we analyze the relation between the TS and the SS systems in a non-dedicated cluster. As a consequence of this analysis, we propose a new technique, termed 3DBackfilling. This proposal implements the well known SS technique of backfilling, but applied to an environment with a MultiProgramming Level (MPL) of the parallel applications that is greater than one. Besides, 3DBackfilling considers the requirements of the local workload running on each node. Our proposal was evaluated in a PVM/MPI Linux cluster, and it was compared with several more traditional SS policies applied to non-dedicated environments.

Mutations in NDUFB11, Encoding a Complex I Component of the Mitochondrial Respiratory Chain, Cause Microphthalmia with Linear Skin Defects Syndrome.

Microphthalmia with linear skin defects (MLS) syndrome is an X-linked male-lethal disorder also known as MIDAS (microphthalmia, dermal aplasia, and sclerocornea). Additional clinical features include neurological and cardiac abnormalities. MLS syndrome is genetically heterogeneous given that heterozygous mutations in HCCS or COX7B have been identified in MLS-affected females. Both genes encode proteins involved in the structure and function of complexes III and IV, which form the terminal segment of the mitochondrial respiratory chain (MRC). However, not all individuals with MLS syndrome carry a mutation in either HCCS or COX7B. The majority of MLS-affected females have severe skewing of X chromosome inactivation, suggesting that mutations in HCCS, COX7B, and other as-yet-unidentified X-linked gene(s) cause selective loss of cells in which the mutated X chromosome is active. By applying whole-exome sequencing and filtering for X-chromosomal variants, we identified a de novo nonsense mutation in NDUFB11 (Xp11.23) in one female individual and a heterozygous 1-bp deletion in a second individual, her asymptomatic mother, and an affected aborted fetus of the subject's mother. NDUFB11 encodes one of 30 poorly characterized supernumerary subunits of NADH:ubiquinone oxidoreductase, known as complex I (cI), the first and largest enzyme of the MRC. By shRNA-mediated NDUFB11 knockdown in HeLa cells, we demonstrate that NDUFB11 is essential for cI assembly and activity as well as cell growth and survival. These results demonstrate that X-linked genetic defects leading to the complete inactivation of complex I, III, or IV underlie MLS syndrome. Our data reveal an unexpected role of cI dysfunction in a developmental phenotype, further underscoring the existence of a group of mitochondrial diseases associated with neurocutaneous manifestations.

Two component systems: physiological effect of a third component

Signal transduction systems mediate the response and adaptation of organisms to environmental changes. In prokaryotes, this signal transduction is often done through Two Component Systems (TCS). These TCS are phosphotransfer protein cascades, and in their prototypical form they are composed by a kinase that senses the environmental signals (SK) and by a response regulator (RR) that regulates the cellular response. This basic motif can be modified by the addition of a third protein that interacts either with the SK or the RR in a way that could change the dynamic response of the TCS module. In this work we aim at understanding the effect of such an additional protein (which we call ‘‘third component’’) on the functional properties of a prototypical TCS. To do so we build mathematical models of TCS with alternative designs for their interaction with that third component. These mathematical models are analyzed in order to identify the differences in dynamic behavior inherent to each design, with respect to functionally relevant properties such as sensitivity to changes in either the parameter values or the molecular concentrations, temporal responsiveness, possibility of multiple steady states, or stochastic fluctuations in the system. The differences are then correlated to the physiological requirements that impinge on the functioning of the TCS. This analysis sheds light on both, the dynamic behavior of synthetically designed TCS, and the conditions under which natural selection might favor each of the designs. We find that a third component that modulates SK activity increases the parameter space where a bistable response of the TCS module to signals is possible, if SK is monofunctional, but decreases it when the SK is bifunctional. The presence of a third component that modulates RR activity decreases the parameter space where a bistable response of the TCS module to signals is possible.

Invisible Environments: Old Age and its spaces

Despite the progressive ageing of a worldwide population, negative attitudes towards old age have proliferated thanks to cultural constructs and myths that, for decades, have presented old age as a synonym of decay, deterioration and loss. Moreover, even though every human being knows he/she will age and that ageing is a process that cannot be stopped, it always seems distant, far off in the future and, therefore, remains invisible. In this paper, I aim to analyse the invisibility of old age and its spaces through two contemporary novels and their ageing females protagonists –Maudie Fowler in Doris Lessing ’s The Diary of a Good Neighbour and Erica March in Rose Tremain ’s The Cupboard. Although invisible to the rest of society, these elderly characters succeed in becoming significant in the lives of younger protagonists who, immersed in their active lives, become aware of the need to enlarge our vision of old age.

SiC-Based MIS gas sensor for high water vapor environments

In this work we will prove that SiC-based MIS capacitors can work in environments with extremely high concentrations of water vapor and still be sensitive to hydrogen, CO and hydrocarbons, making these devices suitable for monitoring the exhaust gases of hydrogen or hydrocarbons based fuel cells. Under the harshest conditions (45% of water vapor by volume ratio to nitrogen), Pt/TaOx/SiO2/SiC MIS capacitors are able to detect the presence of 1 ppm of hydrogen, 2 ppm of CO, 100 ppm of ethane or 20 ppm of ethene, concentrations that are far below the legal permissible exposure limits.

Component Architecture for Context-Aware Applications

Mobiililaitteisiin tehdyt sovellukset ovat nykyään laajassa käytössä. Mobiilisovellukset tarjoavat käyttäjälleen usein tietyn ennalta määritellyn toiminnallisuuden eivätkä ne pysty mukautumaan vaihtelevaan käyttöympäristöönsä. Jos sovellus olisi tietoinen käyttöympäristöstään ja sen muutoksista, se voisi tarjota käyttäjälleen tilanteeseen sopivia ominaisuuksia. Käyttöympäristöstään tietoiset hajautetut sovellukset tarvitsevat kuitenkin huomattavasti perinteisiä sovelluksia monimutkaisemman arkkitehtuurin toimiakseen. Tässä työssä esitellään hajautetuille ja kontekstitietoisille sovelluksille tarkoitettu ohjelmistoarkkitehtuuri. Työ perustuu Oulun yliopiston CAPNET-tutkimusprojektissa kehitettyyn, mobiilisovelluksille tarkoitettuun arkkitehtuuriin. Tämän työn tarkoituksena on tarjota ratkaisuja niihin puutteisiin, jotka tulivat esille CAPNET-arkkitehtuurin kehitys- ja testausvaiheessa. Esimerkiksi arkkitehtuurin komponenttien määrittelyä tulisi tarkentaa ja ne tulisi jakaa horisontaalisiin kerroksiin niiden ominaisuuksien ja alustariippuvuuden mukaisesti. Työssä luodaan katsaus olemassa oleviin teknologioihin jotka tukevat hajautettujen ja kontekstitietoisten järjestelmien kehittämistä. Myös niiden soveltumista CAPNET-arkkitehtuuriin analysoidaan. Työssä esitellään CAPNET-arkkitehtuuri ja ehdotetaan uutta arkkitehtuuria ja komponenttien kerrosjaottelua. Ehdotuksessa arkkitehtuurin komponentit ja järjestelmän rakenne määritellään ja mallinnetaan UML-menetelmällä. Työn tuloksena on arkkitehtuurimäärittely, joka jakaa nykyisen arkkitehtuurin komponentit kerroksiin. Komponenttien rajapinnat on määritelty selkeästi ja tarkasti. Työ tarjoaa myös projektiryhmälle hyvän lähtökohdan uuden arkkitehtuurin suunnittelulle ja toteuttamiselle.

Supplier Evaluation on the Standard Material and Component Markets in the Electronic Manufacturing Equipment Industry

Työn tavoitteena oli arvioida ja selvittää toimittajasuhteeseen vaikuttavia tekijöitä JOT Automation Group Oyj.n ja sen alihankkijoiden välisessä yhteistyössä ja muodostaa yrityksen kilpailukykyä parantava toimittaja-arviointiprosessi. Työssä keskityttiin tarkastelemaan yleisillä materiaali- ja komponenttimarkkinoilla toimivia toimittajia elektroniikkateollisuuden tuotantojärjestelmien valmistuksessa. Ensin tutustuttiin toimittajasuhdetta ja sen arviointia käsitelleeseen kirjallisuuteen. Teorian tueksi tehtiin haastatteluja ja kartoitettiin ensisijaisia tarpeita ja tavoitteita arviointiprosessille. Valmis prosessi testattiin käytännössä kahden eri case-esimerkin avulla. Prosessista muodostui kahteen eri työkaluun jakautunut kokonaisuus, joista auditointi arvioi toimittajan kyvykkyyttä vastatta sille asetettuihin vaatimuksiin. Toimittajan suorituskyvyn mittaaminen puolestaan testaa ja vertaa jatkuvasti toiminnan todellista tasoa auditoinnissa saatuihin tuloksiin. Työ sisältää selvityksen ja ohjeistuksen toimittaja-arviointiprosessin käytöstä. Prosessin käyttö alentaa toimittajaan kohdistuvaa materiaalien saatavuuteen ja hankintaan liittyviä riskejä. Esimerkeistä saadut kokemukset osoittivat, että prosessin avulla päästään pureutumaan tärkeisiin ydinalueisiin ja kehittämään niitä sekä toimittajalle, että ostajayritykselle edullisella tavalla. Toimittaja-arviointiprosessista kehittyy toimintatapa yrityksen ja sen toimittajan välisen suhteen ylläpitämiseksi.

Guavira emergence and seedling production with substrates containing organic compost and soil under different screen environments

This study aimed to evaluate different proportions of organic compost and soil as a substrate for the guavira emergence and seedling formation under different protected environments, in the high Pantanal region of the state of Mato Grosso do Sul. The seeds were placed in polyethylene bags (15 x 25 centimeters) filled with four percentages of organic compost (0%, 20%, 80%, and 100% of total volume) mixed with soil. These substrates were tested in agro-nurseries covered with black screen and 50% thermo-reflecting shade cloths. The substrate with 20% soil and 80% organic compost and the black screen shade cloth promote the best performance in the seedling production.

Managing material flows and improving performance in a component supplier’s internal supply chain

Tämä diplomityö tehtiin osana Componenta Cast Componentsin kolmivuotista toimitusketjujen kehitysprojektia. Työn tavoitteena oli kuvata tyypillinen yrityksen sisäinen toimitusketjuprosessi ja tehdä alustava suorituskykyanalyysi valimon ja konepajan väliseen logistiseen prosessiin liittyen. Tarkoituksena oli myös löytää kehityskohteita materiaali- ja tietovirtojen hallinnassa näiden tuotantoyksiköiden välillä. Logistiikkaan, toimitusketjujen hallintaan ja toimitusketjun suorituskyvyn mittaamiseen liittyvän kirjallisuustutkimuksen sekä käytännön perusteella valittiin sopivat analyysimenetelmät. Näitä menetelmiä hyödynnettiin tilaustoimitus – prosessin kuvaamisessa sekä suorituskyvyn analysoinnissa yrityksen sisäisessä toimitusketjussa. Luonnollisena jatkona kehitettiin ja pantiin käytäntöön toimitusketjua synkronoiva imutyyppinen tuotannon- ja materiaalinohjausmenetelmä. Diplomityöprojektin aikana kehitettiin myös apuvälineet käyttöönotetun menetelmän asianmukaista hyödyntämistä varten. Diplomityöprojektissa otettiin ensimmäiset askeleet kohti integroitua sisäistä toimitusketjua. Uuden tuotannon- ja materiaalinohjausmenetelmän standardisointi muihin menetelmiin yhdistettynä, sekä toimitusketjun avainmittarien jatkokehitys on jo alkanut. Läpimenoaikoja lyhentämällä ja synkronoidun, läpinäkyvän kysyntä-tarjontaketjun avulla integroitumisen astetta voidaan nostaa edelleen. Poikkiorganisatorinen kehitys ja johtaminen toimitusketjussa on avainedellytys menestykseen.