On Fault Tolerance Methods for Networks-on-Chip

Technology scaling has proceeded into dimensions in which the reliability of manufactured devices is becoming endangered. The reliability decrease is a consequence of physical limitations, relative increase of variations, and decreasing noise margins, among others. A promising solution for bringing the reliability of circuits back to a desired level is the use of design methods which introduce tolerance against possible faults in an integrated circuit. This thesis studies and presents fault tolerance methods for network-onchip (NoC) which is a design paradigm targeted for very large systems-onchip. In a NoC resources, such as processors and memories, are connected to a communication network; comparable to the Internet. Fault tolerance in such a system can be achieved at many abstraction levels. The thesis studies the origin of faults in modern technologies and explains the classification to transient, intermittent and permanent faults. A survey of fault tolerance methods is presented to demonstrate the diversity of available methods. Networks-on-chip are approached by exploring their main design choices: the selection of a topology, routing protocol, and flow control method. Fault tolerance methods for NoCs are studied at different layers of the OSI reference model. The data link layer provides a reliable communication link over a physical channel. Error control coding is an efficient fault tolerance method especially against transient faults at this abstraction level. Error control coding methods suitable for on-chip communication are studied and their implementations presented. Error control coding loses its effectiveness in the presence of intermittent and permanent faults. Therefore, other solutions against them are presented. The introduction of spare wires and split transmissions are shown to provide good tolerance against intermittent and permanent errors and their combination to error control coding is illustrated. At the network layer positioned above the data link layer, fault tolerance can be achieved with the design of fault tolerant network topologies and routing algorithms. Both of these approaches are presented in the thesis together with realizations in the both categories. The thesis concludes that an optimal fault tolerance solution contains carefully co-designed elements from different abstraction levels

Aaltovoimalaitteen toimintaperiaatteen analysointi

Diplomityö tehtiin Wello Oy:n toimeksiannosta. Wello Oy on vesi- ja tuulivoimaratkaisuihin keskittynyt yritys, joka kehittää aaltovoimalaitekonseptia. Työssä selvitettiin aaltovoimaan liittyviä ilmiöitä ja aaltovoimalaitteen mekaanista konseptia ja tehtiin arvio niiden tehokkuudesta. Työssä käytettiin kaupallisia simulointityökaluja kuten monikappaledynamiikan simulointiohjelmaa MSC.ADAMS R3:a ja yleistä matematiikka ohjelmaa Matlab Simulink:ia. Simulointimallia käytettiin arvioimaan laitteen yleistä käyttäytymistä. Lisäksi laitteen analyyttisiä malleja käytettiin laitteen toimintaperiaatteen selvitykseen. Simulointia käytettiin kelluvan laitteen mekanismin tutkimukseen. Tuloksiin pohjautuen laitteelle määriteltiin teoreettiset maksimiteho rajat ja rajoitteet, jotka vaikuttavat laitteen tehokkuuteen.

Magnetic and transport properties of II-V diluted magnetic semiconductors doped with manganese and nickel

This thesis is devoted to investigations of three typical representatives of the II-V diluted magnetic semiconductors, Zn1-xMnxAs2, (Zn1-xMnx)3As2 and p-CdSb:Ni. When this work started the family of the II-V semiconductors was presented by only the compounds belonging to the subgroup II3-V2, as (Zn1-xMnx)3As2, whereas the rest of the materials mentioned above were not investigated at all. Pronounced low-field magnetic irreversibility, accompanied with a ferromagnetic transition, are observed in Zn1-xMnxAs2 and (Zn1-xMnx)3As2 near 300 K. These features give evidence for presence of MnAs nanosize magnetic clusters, responsible for frustrated ground magnetic state. In addition, (Zn1-xMnx)3As2 demonstrates large paramagnetic response due to considerable amount of single Mn ions and small antiferromagnetic clusters. Similar paramagnetic system existing in Zn1-xMnxAs2 is much weaker. Distinct low-field magnetic irreversibility, accompanied with a rapid saturation of the magnetization with increasing magnetic field, is observed near the room temperature in p- CdSb:Ni, as well. Such behavior is connected to the frustrated magnetic state, determined by Ni-rich magnetic Ni1-xSbx nanoclusters. Their large non-sphericity and preferable orientations are responsible for strong anisotropy of the coercivity and saturation magnetization of p- CdSb:Ni. Parameters of the Ni1-xSbx nanoclusters are estimated. Low-temperature resistivity of p-CdSb:Ni is governed by a hopping mechanism of charge transfer. The variable-range hopping conductivity, observed in zero magnetic field, demonstrates a tendency of transformation into the nearest-neighbor hopping conductivity in non-zero magnetic filed. The Hall effect in p-CdSb:Ni exhibits presence of a positive normal and a negative anomalous contributions to the Hall resistivity. The normal Hall coefficient is governed mainly by holes activated into the valence band, whereas the anomalous Hall effect, attributable to the Ni1-xSbx nanoclusters with ferromagnetically ordered internal spins, exhibits a low-temperature power-law resistivity scaling.

La escala de análisis: un tema central en didáctica de la geografía = The scale of analysis a central didactic theme in Geography

Geographical scale is not merely a technical question. The learning of geographical scale goes beyond geometricunderstanding; it implies the etymological comprehension of the concept, the recognition of the importance of scale in theelaboration of the geographical discourse. It implies placing oneself in the centre of the teaching and learning of Geographyand asking oneself, what scale? Why this scale? What progression of scales? The answer to these questions puts in doubtthe scientific discourse that is presently taught in schools especially on the scale of analysis, the sequencing of studiedspaces and the false dichotomy local and global

Otra mirada al tema del cambio de escala: los nuevos espacios de comercio, ocio y turismo = Another look at the theme of the change of scale: new spaces in commerce, leisure and tourism

The technological advances and new organisation of the economy together with a change in ideas in consumer habits andlifestyle that have happened in the last 25 years have placed us in a new state of capitalism. The spatial translation of thisnew state has been immediate and implies among other changes the overcoming of the concept of scale. Commercialspaces and those of leisure and tourism offer us an unbeatable opportunity of exemplifying these changes because they arethe most effected by the new postmodern tendencies

Engineering of Business Critical Web Applications

Research focus of this thesis is to explore options for building systems for business critical web applications. Business criticality here includes requirements for data protection and system availability. The focus is on open source software. Goals are to identify robust technologies and engineering practices to implement such systems. Research methods include experiments made with sample systems built around chosen software packages that represent certain technologies. The main research focused on finding a good method for database data replication, a key functionality for high-availability, database-driven web applications. Research included also finding engineering best practices from books written by administrators of high traffic web applications. Experiment with database replication showed, that block level synchronous replication offered by DRBD replication software offered considerably more robust data protection and high-availability functionality compared to leading open source database product MySQL, and its built-in asynchronous replication. For master-master database setups, block level replication is more recommended way to build high-availability into the system. Based on thesis research, building high-availability web applications is possible using a combination of open source software and engineering best practices for data protection, availability planning and scaling.

Learning Robot Motions from Visual Sensing

Learning from demonstration becomes increasingly popular as an efficient way of robot programming. Not only a scientific interest acts as an inspiration in this case but also the possibility of producing the machines that would find application in different areas of life: robots helping with daily routine at home, high performance automata in industries or friendly toys for children. One way to teach a robot to fulfill complex tasks is to start with simple training exercises, combining them to form more difficult behavior. The objective of the Master’s thesis work was to study robot programming with visual input. Dynamic movement primitives (DMPs) were chosen as a tool for motion learning and generation. Assuming a movement to be a spring system influenced by an external force, making this system move, DMPs represent the motion as a set of non-linear differential equations. During the experiments the properties of DMP, such as temporal and spacial invariance, were examined. The effect of the DMP parameters, including spring coefficient, damping factor, temporal scaling, on the trajectory generated were studied.

Kaupunkialueella toimivan sähkönjakeluverkkoyhtiön siirtohinnoittelun kehittäminen

Sähkönjakeluverkkoyhtiöllä on sähkön siirtopalveluun alueellinen monopoli. Siirtohinnoittelun reunaehdot tulevat sähkömarkkinalaista ja hintojen kohtuullisuutta valvoo ja sääntelee Energiamarkkinavirasto. Tässä työssä selvitetään Turku Energia Sähköverkot Oy:lle kustannusvastaavat aiheuttamisperiaatteen mukaiset siirtohinnat. Samalla muodostetaan yleis-, yö- ja kausituotteiden perusmaksuihin asiakkaan liittymispisteen pääsulakkeen kokoon perustuva porrastus. Sulakeporrastuksen käyttöönotolla pystytään kehittämään siirtohinnoittelun kustannusvastaavuutta ja noudattamaan aiheuttamisperiaatteen mukaista hinnoittelupolitiikkaa entistä paremmin. Työssä tutkitaan siirtohinnoittelun kehitysnäkymiä myös pidemmällä tähtäimellä. Älykkäiden sähköverkkojen kehittyminen ja erityisesti etäluettavien mittareiden käyttöönotto tulevat luomaan kehitysmahdollisuuksia siirtohinnoitteluun tulevaisuudessa. Laitteista saatavia tarkkoja sähkönkulutus- ja tehotietoja voidaan käyttää kustannusvastaavuuslaskennan taustalla. Jotta verkon käyttö olisi sen mitoitukseen nähden mahdollisimman tehokasta, tulisi kuorman jakautua mahdollisimman tasaisesti ajan suhteen. Verkossa esiintyviä kulutushuippuja pystytään tulevaisuudessa mahdollisesti tasoittamaan esimerkiksi kuorman ohjauksen avulla, jonka tehokeinona voidaan käyttää siirtohinnoittelua. Siirtohinnoilla voidaan mahdollisesti vaikuttaa myös esimerkiksi kulutuksen ja tuotannon ajoittamiseen sekä kannusta asiakkaita loistehon kompensointiin. Siirtotuotteiden täytyy myös kehittyä asiakkaiden tarpeiden kehittymisen rinnalla ja esimerkiksi sähkön laadun tuotteistaminen voi olla eräs keino vastaamaan tiukentuneisiin vaatimuksiin.

Design and analysis of a transversal-flux switched-reluctance-linear-machine pole-pair

The Switched Reluctance technology is probably best suited for industrial low-speed or zerospeed applications where the power can be small but the torque or the force in linear movement cases might be relatively high. Because of its simple structure the SR-motor is an interesting alternative for low power applications where pneumatic or hydraulic linear drives are to be avoided. This study analyses the basic parts of an LSR-motor which are the two mover poles and one stator pole and which form the “basic pole pair” in linear-movement transversal-flux switchedreluctance motors. The static properties of the basic pole pair are modelled and the basic design rules are derived. The models developed are validated with experiments. A one-sided one-polepair transversal-flux switched-reluctance-linear-motor prototype is demonstrated and its static properties are measured. The modelling of the static properties is performed with FEM-calculations. Two-dimensional models are accurate enough to model the static key features for the basic dimensioning of LSRmotors. Three-dimensional models must be used in order to get the most accurate calculation results of the static traction force production. The developed dimensioning and modelling methods, which could be systematically validated by laboratory measurements, are the most significant contributions of this thesis.

Modeling and Analysis of Noise and Interconnects for On-Chip Communication Link Design

This thesis considers modeling and analysis of noise and interconnects in onchip communication. Besides transistor count and speed, the capabilities of a modern design are often limited by on-chip communication links. These links typically consist of multiple interconnects that run parallel to each other for long distances between functional or memory blocks. Due to the scaling of technology, the interconnects have considerable electrical parasitics that affect their performance, power dissipation and signal integrity. Furthermore, because of electromagnetic coupling, the interconnects in the link need to be considered as an interacting group instead of as isolated signal paths. There is a need for accurate and computationally effective models in the early stages of the chip design process to assess or optimize issues affecting these interconnects. For this purpose, a set of analytical models is developed for on-chip data links in this thesis. First, a model is proposed for modeling crosstalk and intersymbol interference. The model takes into account the effects of inductance, initial states and bit sequences. Intersymbol interference is shown to affect crosstalk voltage and propagation delay depending on bus throughput and the amount of inductance. Next, a model is proposed for the switching current of a coupled bus. The model is combined with an existing model to evaluate power supply noise. The model is then applied to reduce both functional crosstalk and power supply noise caused by a bus as a trade-off with time. The proposed reduction method is shown to be effective in reducing long-range crosstalk noise. The effects of process variation on encoded signaling are then modeled. In encoded signaling, the input signals to a bus are encoded using additional signaling circuitry. The proposed model includes variation in both the signaling circuitry and in the wires to calculate the total delay variation of a bus. The model is applied to study level-encoded dual-rail and 1-of-4 signaling. In addition to regular voltage-mode and encoded voltage-mode signaling, current-mode signaling is a promising technique for global communication. A model for energy dissipation in RLC current-mode signaling is proposed in the thesis. The energy is derived separately for the driver, wire and receiver termination.

Saostuman esto prosessiputken pinnalle

Työn tarkoituksena oli tutkia kirjallisuudessa esitettyjen menetelmien soveltuvuutta estää kalsiumkarbonaatin saostuminen PCC – prosessissa paperikonelinjan massansyöttöputkessa. Menetelmien heikkoudet ja toimivuudet arvioitiin lähdetietojen perusteella, joiden perusteella tehtiin johtopäätelmiä niiden toimivuudesta prosessissa ja käytettävyydestä kalsiumkarbonaattisaostuman muodostumiseen. Kirjallisuusselvitys osoittaa, että saostuma voidaan estää kemiallisesti ja sähkökemiallisesti sekä modifioimalla materiaalipintaa. Lisäksi sen muodostuminen voidaan estää ultraääniaaltojen avulla sekä indusoimalla mahdolliseen saostuskohtaan magneetti- tai sähkökenttä. Kokeellisessa osassa keskityttiin kirjallisuuden perusteella tutkimaan kalsiumkarbonaatin saostumista kaupallisilla menetelmillä. Tutkimuksissa käytettiin erilaisia pinnoitemateriaaleja, ultraääniaaltoja sekä magneettikenttää että liuossähkökemiaa. Näiden lisäksi tutkittiin saostumisen kehittymistä putkipinnalle ajan funktiona. Kokeellisten tulosten perusteella kirjallisuudessa esitetyistä menetelmistä ei suoraan mikään sovellu sellaisenaan tutkitussa prosessissa saostuman muodostumisen estoon. Koeparametrien optimointi muuttamalla tunnettuja parametreja prosessitilanteeseen paransi kalsiumkarbonaatin liukoisuutta. Tämän tutkimuksen tuloksena löytyi menetelmäkuvaus, jolla saostumien muodostuminen putkipinnoille voidaan estää.

Trauma renal

Apresentamos uma revisão sobre trauma renal, com ênfase na avaliação radiológica, particularmente com o uso da tomografia computadorizada, que tem se tornado o exame de eleição, ao invés da urografia excretora e arteriografia. O sucesso no tratamento conservador dos pacientes com trauma renal depende de um acurado estadiamento da extensão da lesão, classificado de acordo com a Organ Injury Scaling do Colégio Americano de Cirurgiões. O tratamento conservador não-operatório é seguro e consiste de observação contínua, repouso no leito, hidratação endovenosa adequada e antibioti- coterapia profilática, evitando-se uma exploração cirúrgica desnecessária e possível perda renal. As indicações para exploração cirúrgica imediata são abdome agudo, rápida queda do hematócrito ou lesões associadas determinadas na avaliação radiológica. Quando indicada, a exploração renal após controle vascular prévio é segura, permitindo cuidadosa inspeção do rim e sua reconstrução com sucesso, reduzindo a probabilidade de nefrectomia.

Estudo comparativo entre o tratamento não-operatório e a cirurgia conservadora no trauma esplênico

Nas últimas décadas, diversas alternativas têm sido propostas para o tratamento do trauma esplênico. O presente estudo procurou comparar o tratamento não-operatório e a cirurgia conservadora na lesão esplênica. Foram analisados, retrospectivamente, os prontuários de 136 portadores de trauma esplênico atendidos na Unidade de Emergência do Hospital das Clínicas da FMRPUSP (1986-1995). Foram utilizados o lnjury Severity Score (1SS) e o Organ lnjury Scaling (OIS) para a definição da gravidade dos casos. Os pacientes foram divididos em dois grupos: grupo A (n=32): conservador não operatório e grupo B (n=104): cirurgia conservadora. As médias de idade, em anos, foram semelhantes (A: 20,31 + 12,43 e B: 25,02 + 14,98; p>0,05). Houve predominância do sexo masculino em ambos os grupos. Os dois grupos diferiram quanto à etiologia (p<0,01). A avaliação das médias do ISS não mostrou diferença significativa (A: 14,21 ± 8,67 e B: 19,44 ± 11,33; p>0,05). Ocorreram complicações em 9,37% e 24,03% dos grupos A e B, respectivamente, mas a diferença não foi significativa (p>0,05). A média de permanência hospitalar foi de 6,68 ± 5,65 e 9,24 ± 9,09 dias, grupos A e B, sem diferença significativa (p>0,05). Concluímos, portanto: o tratamento não-operatório e a cirurgia conservadora do trauma esplênico são condutas equivalentes, sendo opções terapêuticas válidas nas lesões esplênicas de menor gravidade.

On Energy Efficient Computing Platforms

In accordance with the Moore's law, the increasing number of on-chip integrated transistors has enabled modern computing platforms with not only higher processing power but also more affordable prices. As a result, these platforms, including portable devices, work stations and data centres, are becoming an inevitable part of the human society. However, with the demand for portability and raising cost of power, energy efficiency has emerged to be a major concern for modern computing platforms. As the complexity of on-chip systems increases, Network-on-Chip (NoC) has been proved as an efficient communication architecture which can further improve system performances and scalability while reducing the design cost. Therefore, in this thesis, we study and propose energy optimization approaches based on NoC architecture, with special focuses on the following aspects. As the architectural trend of future computing platforms, 3D systems have many bene ts including higher integration density, smaller footprint, heterogeneous integration, etc. Moreover, 3D technology can signi cantly improve the network communication and effectively avoid long wirings, and therefore, provide higher system performance and energy efficiency. With the dynamic nature of on-chip communication in large scale NoC based systems, run-time system optimization is of crucial importance in order to achieve higher system reliability and essentially energy efficiency. In this thesis, we propose an agent based system design approach where agents are on-chip components which monitor and control system parameters such as supply voltage, operating frequency, etc. With this approach, we have analysed the implementation alternatives for dynamic voltage and frequency scaling and power gating techniques at different granularity, which reduce both dynamic and leakage energy consumption. Topologies, being one of the key factors for NoCs, are also explored for energy saving purpose. A Honeycomb NoC architecture is proposed in this thesis with turn-model based deadlock-free routing algorithms. Our analysis and simulation based evaluation show that Honeycomb NoCs outperform their Mesh based counterparts in terms of network cost, system performance as well as energy efficiency.

Uusia näkökulmia Euroopan rajoihin

Kirjallisuusarvostelu