Suunnittelujärjestelmien hyödyntäminen kartonkitehtaan kunnossapidon laitossuunnittelussa

Tutkimus selvittää ajanmukaisien suunnittelujärjestelmien ominaisuuksia ja soveltuvuutta kartonkitehtaan kunnossapidon laitossuunnitteluun. Tutkimus on tehty keräämällä tietoja kirjallisista julkaisuista sekä tekemällä haastatteluja, empiirisiä kokeita ja kyselytutkimus. Saadut tutkimustulokset ovat suhteellisia ja niitä verrataan eräässä kartonkitehtaassa käytössä olevaan järjestelmään. Tutkimuksen tuloksina esitetään ajanmukaisien suunnittelujärjestelmien käytöllä saavutettavissa olevia hyötyjä ja käyttöön liittyviä ongelmia sekä näiden järjestelmien soveltuvuutta ja vertailukriteerejä laitoskäyttöön. Lisäksi käsitellään ajanmukaisiin järjestelmiin investoinnin kannattavuutta ja herkkyystekijöitä investointilaskelman (NPV) avulla. Tuloksena saatiin, etteivät tämänhetkiset suunnittelujärjestelmät sovi parhaalla mahdollisella tavalla yritysten suunnittelun ja tiedonhallinnan kokonaisuuteen. Keinona, jolla voidaan parantaa suunnittelujärjestelmien laitoskäyttöön sopivuutta, esitetään metsäteollisuuskonsernien välistä yhteistyötä.

Putkilinjan suunnittelu integroidussa simulointiympäristössä

Työn tavoitteena oli määritellä kirjallisuustutkimuksen ja suunnitteluesimerkin avulla vaatimuksia integroidulle simulointiympäristölle, joka sisältää simulointiohjelmien lisäksi prosessilaitteiden mitoitusohjelmia ja prosessilaite- ja mallitietokannan. Lisäksi pohdittiin simulointiympäristön tuomia etuja prosessissuunnitteluun. Esimerkkinä käytettiin yksinkertaista putkilinjaa. Ensin selvitettiin prosessisuunnittelun kulkua, menetelmiä, apuvälineitä ja ajankohtaisia teemoja kirjallisuuden perusteella. Prosessisuunnittelun menetelmistä keskityttiin yksityiskohtaisemmin prosessisimulointiin. Lisäksi etsittiin kirjallisuudesta esimerkkejä integroiduista suunnitteluympäristöistä. Kirjallisuusselvityksen perusteella määriteltiin yleisiä vaatimuksia integroidulle simulointiympäristölle. Seuraavaksi suunniteltiin esimerkkinä käytetty putkilinja ja kuvattiin suunnittelun eteneminen. Suunnitteluesimerkin avulla pyrittiin tunnistamaan suunnitteluprosessista ne kohdat, joissa integroitu simulointiympäristö helpottaisi työskentelyä sekä pohtimaan yksityiskohtaisemmin integroidun simulointiympäristön toimintoja. Lopuksi kuvattiin putkilinjan suunnittelun eteneminen integroidussa simulointiympäristössä ja pohdittiin sen etuja verrattuna perinteiseen putkilinjan suunnitteluun. Tutkimuksen perusteella integroitu simulointiympäristö tehostaa prosessisuunnittelua siten, että simulointimallien määrittelyissä tarvittavat laitetiedot ovat saatavissa helposti ja nopeasti ohjelmien ymmärtämässä muodossa. Simulointiympäristössä tieto eri sovellusten välillä siirtyy osittain automaattisesti, minkä takia ohjelmiin ei erikseen tarvitse syöttää samoja tietoja. Lisäksi integroitu simulointiympäristö tukee rinnakkaista suunnittelua ja automaatio- ja prosessisuunnittelun integrointia.Jatkotutkimusehdotuksena on lisäselvitykset siitä, miten simulointiympäristö sijoittuisi yrityksissä jo olemassa oleviin suunnittelujärjestelmiin, etenkin tiedonhallintajärjestelmiin nähden. Muina jatkotutkimusehdotuksina on integroidun simulointiympäristön tarkasteleminen automaatiosuunnittelijan kannalta sekä vaatimusmäärittelyjen tarkentaminen. Työssä ei juuri ole kiinnitetty huomiota siihen, kuinka helposti ehdotetut simulointiympäristön toiminnot ja vaatimukset ovat toteutettavissa teknisesti tai ylipäätään ovatko toteutettavissa, joten tämäkin vaatinee jatkotutkimuksia.

3D-suunnittelujärjestelmän ja tuotetiedonhallintajärjestelmän integrointi

3D-suunnittelujärjestelmät ovat tärkeitä työkaluja tuotetiedon luomista ja muokkaamista varten, joten niiden tehokas toiminta yhdessä tuotetiedonhallintajärjestelmien kanssa on erittäin tärkeää. 3D-suunnittelujärjestelmien kehityksen seurauksena 3D-malleihin voidaan sisällyttää entistä enemmän tuotetietoa, jolloin tehokas tiedon tallentaminen ja sen hallinta kasvattaa merkitystään. 3D-malleihin sisältyvää tietoa, kuten esimerkiksi kappaleen painoa tai geometriaa, halutaan myös tarkastella ilman tiettyä 3D-järjestelmää. Tuotetiedon hallinta on ollut jo pitkään tärkeä osa tuotteen suunnitteluprosessia. Tuotetiedon hallintaan sisältyy tiedon luomista, keräämistä ja muokkaamista koko tuotteen eliniän ajan. Näitä tietoja voivat olla esimerkiksi piirustukset, 3D-mallit, mittauspöytäkirjat, kokouspöytäkirjat, mallistoluettelot, lujuuslaskelmat, huoltoraportit jne. Tuotetiedonhallintajärjestelmä pitää huolta kaikesta tästä tiedosta ja sen kautta tuotteisiin liittyvää tietoa voidaan myös muokata ja jakaa tehokkaasti. Tässä diplomityössä tutkittiin näiden kahden järjestelmän integraation toteutusta erilaisilla menetelmillä. Työn tarkoituksena oli valita Valtra Oy:n tarkoituksiin parhaiten sopiva menetelmä tuotetiedon siirtämiseksi järjestelmien välillä tehokkaasti. Työn tuloksena annetaan suositus käytettävistä menetelmistä ja työkaluista.

Tuotteen suunnitteluketjun tehostaminen 3D-ympäristössä

Tämä diplomityö on tehty Andritz Oy:lle Washers & Filters tuoteryhmään. Työ on osa 3D-suunnittelujärjestelmän käyttöönottoprojektia. Tavoitteena on arvioida uuden laitesuunnittelujärjestelmän vaikutuksia yrityksen tietojärjestelmiin ja toimintatapoihin sekä etsiä potentiaalisia tulevaisuuden kehityskohteita. Suunnittelutietoa hyödyntäviä sidosryhmien edustajia haastattelemalla selvitettiin järjestelmille ja ohjelmistoille asetettavia vaatimuksia. Ohjelmistoihin tutustumalla saatiin käsitys niiden nykytilasta ja kehityssuunnista. 3D-geometrian hyödyntämiseen perustuvilla järjestelmillä voidaan poistaa päällekäistä työtä sekä lyhentää läpimenoaikoja suunnittelussa ja valmistuksessa sijoittamalla työvaiheita rinnakkain. Suurimmat 3D-suunnittelun edut saavutetaan tuotekehitysvaiheessa, tuotemuutoksia tehtäessä sekä valmistusprosesseja suunniteltaessa. Ongelmallisimmat osa-alueet tietojärjestelmien kehittämisessä ovat ensi-sijaisesti tiedonsiirto ohjelmistojen välillä, työntekijöiden muutosvastarinta sekä laadukkaiden järjestelmien korkea hinta. Laajojen tietojärjestelmä-projektien läpivienti on hyvin haastavaa ja onnistuminen vaatii kaikkien sidosryhmien mukana olemista ja tarkkaa projektin koordinointia.

Teollisuuspuhaltimille tarkoitetun suunnittelujärjestelmän kehittäminen

Diplomityön tavoitteena oli kehittää Dust Control Systems Oy:n nykyistä suunnittelujärjestelmää yrityksen toiminnan laadun ja suunnittelun tehokkuuden parantamiseksi. Suunnittelun suurin pullonkaula on valmistusdokumenttien tuottaminen, joten keskeinen tehtävä oli dokumenttien laadun parantaminen ja tuottamisen nopeuttaminen. Lisäksi tärkeää oli selkeyttää nykyistä nimikkeiden hallintaa ja ylläpitoa. Kehitystyö keskittyi suurelta osin suunnittelujärjestelmän ohjelmistoympäristön päivittämiseen ja sen muokkaamiseen. Teoriaosuudessa käsiteltiin nykyaikaista suunnittelua ja sen kehittämismahdollisuuksia. Lisäksi tarkasteltiin suunnittelun automatisoinnin tuomia hyötyjä sekä erilaisia tuotannon tehostamismenetelmiä. Kehitysosiossa tutkittiin yrityksen nykyistä suunnittelujärjestelmää ja ohjelmistoympäristöä, tuotteiden asettamia vaatimuksia sekä järjestelmän puutteita. Näihin liittyi suuresti yhteistyö henkilöstön sekä ohjelmistotoimittajan kanssa. Tutkimuksen perusteella ryhdyttiin kehittämään uutta järjestelmäkokonaisuutta, johon liitettiin tarvittavia ohjelmistoja ja päivityksiä. Käyttöönottoa varten ohjelmistot konfiguroitiin yrityksen tarpeita vastaaviksi. Työn tuloksena saatiin kehittyneempi ja nykyaikaisempi suunnittelujärjestelmä ja ohjelmistoympäristö. Suunnittelijoiden työtaakkaa saadaan kevennettyä toistuvien työvaiheiden pidemmälle viedyllä automatisoinnilla. Uudistettu ohjelmistoympäristö luo osaltaan ehtoja ja sääntöjä, jotta virheitä syntyy yhä vähemmän. Lisäksi suunnittelun läpimenoaikaa saadaan lyhennettyä parannetulla dokumenttien tuottamisella.

Studies on integrating kinematic design method with mechanical systems simulation techniques

Theultimate goal of any research in the mechanism/kinematic/design area may be called predictive design, ie the optimisation of mechanism proportions in the design stage without requiring extensive life and wear testing. This is an ambitious goal and can be realised through development and refinement of numerical (computational) technology in order to facilitate the design analysis and optimisation of complex mechanisms, mechanical components and systems. As a part of the systematic design methodology this thesis concentrates on kinematic synthesis (kinematic design and analysis) methods in the mechanism synthesis process. The main task of kinematic design is to find all possible solutions in the form of structural parameters to accomplish the desired requirements of motion. Main formulations of kinematic design can be broadly divided to exact synthesis and approximate synthesis formulations. The exact synthesis formulation is based in solving n linear or nonlinear equations in n variables and the solutions for the problem areget by adopting closed form classical or modern algebraic solution methods or using numerical solution methods based on the polynomial continuation or homotopy. The approximate synthesis formulations is based on minimising the approximation error by direct optimisation The main drawbacks of exact synthesis formulationare: (ia) limitations of number of design specifications and (iia) failure in handling design constraints- especially inequality constraints. The main drawbacks of approximate synthesis formulations are: (ib) it is difficult to choose a proper initial linkage and (iib) it is hard to find more than one solution. Recentformulations in solving the approximate synthesis problem adopts polynomial continuation providing several solutions, but it can not handle inequality const-raints. Based on the practical design needs the mixed exact-approximate position synthesis with two exact and an unlimited number of approximate positions has also been developed. The solutions space is presented as a ground pivot map but thepole between the exact positions cannot be selected as a ground pivot. In this thesis the exact synthesis problem of planar mechanism is solved by generating all possible solutions for the optimisation process ¿ including solutions in positive dimensional solution sets - within inequality constraints of structural parameters. Through the literature research it is first shown that the algebraic and numerical solution methods ¿ used in the research area of computational kinematics ¿ are capable of solving non-parametric algebraic systems of n equations inn variables and cannot handle the singularities associated with positive-dimensional solution sets. In this thesis the problem of positive-dimensional solutionsets is solved adopting the main principles from mathematical research area of algebraic geometry in solving parametric ( in the mathematical sense that all parameter values are considered ¿ including the degenerate cases ¿ for which the system is solvable ) algebraic systems of n equations and at least n+1 variables.Adopting the developed solution method in solving the dyadic equations in direct polynomial form in two- to three-precision-points it has been algebraically proved and numerically demonstrated that the map of the ground pivots is ambiguousand that the singularities associated with positive-dimensional solution sets can be solved. The positive-dimensional solution sets associated with the poles might contain physically meaningful solutions in the form of optimal defectfree mechanisms. Traditionally the mechanism optimisation of hydraulically driven boommechanisms is done at early state of the design process. This will result in optimal component design rather than optimal system level design. Modern mechanismoptimisation at system level demands integration of kinematic design methods with mechanical system simulation techniques. In this thesis a new kinematic design method for hydraulically driven boom mechanism is developed and integrated in mechanical system simulation techniques. The developed kinematic design method is based on the combinations of two-precision-point formulation and on optimisation ( with mathematical programming techniques or adopting optimisation methods based on probability and statistics ) of substructures using calculated criteria from the system level response of multidegree-of-freedom mechanisms. Eg. by adopting the mixed exact-approximate position synthesis in direct optimisation (using mathematical programming techniques) with two exact positions and an unlimitednumber of approximate positions the drawbacks of (ia)-(iib) has been cancelled.The design principles of the developed method are based on the design-tree -approach of the mechanical systems and the design method ¿ in principle ¿ is capable of capturing the interrelationship between kinematic and dynamic synthesis simultaneously when the developed kinematic design method is integrated with the mechanical system simulation techniques.

Interfacing Health Care Information Systems Design and Implementation

Terveydenhuollossa käytetään nykyisin informaatioteknologian (IT) mahdollisuuksia parantamaan hoidon laatua, vähentämään hoitoon liittyviä kuluja sekä yksinkertaistamaan ja selkeyttämään laakareiden työnkulkua. Tietojärjestelmät, jotka edustavat jokaisen IT-ratkaisun ydintä, täytyy kehittää täyttämään lukuisia vaatimuksia, ja yksi niistä on kyky integroitua saumattomasti toisten tietojärjestelmien kanssa. Järjestelmäintegraatio on kuitenkin yhä haastava tehtävä, vaikka sita varten on kehitetty useita standardeja. Tässä työssä kuvataan vastakehitetyn lääketieteellisen tietojärjestelmän liittymäratkaisu. Työssä pohditaan vaatimuksia, jotka tällaiselle sovellukselle asetetaan, ja myös tapa, jolla vaatimukset toteutuvat on esitetty. Liittymaratkaisu on jaettu kahteen osaan, tietojärjestelmaliittymään ja "liittymakoneeseen" (interfacing engine). Edellinen on käsittää perustoiminnallisuuden, jota tarvitaan vastaanottamaan ja lähettämään tietoa toisiin järjestelmiin, kun taas jälkimmäinen tarjoaa tuen tuotantoympäristössa käytettäville standardeille. Molempien osien suunnitelu on esitelty perusteellisesti tässä työssä. Ongelma ratkaistiin modulaarisen ja geneerisen suunnittelun avulla. Tämä lähestymistapa osoitetaan työssä kestäväksi ja joustavaksi ratkaisuksi, jota voidaan käyttää tarkastelemaan laajaa valikoimaa liittymäratkaisulle asetettuja vaatimuksia. Lisaksi osoitetaan kuinka tehty ratkaisu voidaan joustavuutensa ansiosta helposti mukauttaa vaatimuksiin, joita ei ole etukäteen tunnistettu, ja siten saavutetaan perusta myös tulevaisuuden tarpeille

Methods of Design and Testing of Real Time Systems

Teollusuussovelluksissa vaaditaan nykyisin yhä useammin reaaliaikaista tiedon käsittelyä. Luotettavuus on yksi tärkeimmistä reaaliaikaiseen tiedonkäsittelyyn kykenevän järjestelmän ominaisuuksista. Sen saavuttamiseksi on sekä laitteisto, että ohjelmisto testattava. Tämän työn päätavoitteena on laitteiston testaaminen ja laitteiston testattavuus, koska luotettava laitteistoalusta on perusta tulevaisuuden reaaliaikajärjestelmille. Diplomityössä esitetään digitaaliseen signaalinkäsittelyyn soveltuvan prosessorikortin suunnittelu. Prosessorikortti on tarkoitettu sähkökoneiden ennakoivaa kunnonvalvontaa varten. Uusimmat DFT (Desing for Testability) menetelmät esitellään ja niitä sovelletaan prosessorikortin sunnittelussa yhdessä vanhempien menetelmien kanssa. Kokemukset ja huomiot menetelmien soveltuvuudesta raportoidaan työn lopussa. Työn tavoitteena on kehittää osakomponentti web -pohjaiseen valvontajärjestelmään, jota on kehitetty Sähkötekniikan osastolla Lappeenrannan teknillisellä korkeakoululla.

Design and Analysis of Forward Error Control Coding and Signaling for Guaranteeing QoS in Wireless Broadcast Systems

Broadcasting systems are networks where the transmission is received by several terminals. Generally broadcast receivers are passive devices in the network, meaning that they do not interact with the transmitter. Providing a certain Quality of Service (QoS) for the receivers in heterogeneous reception environment with no feedback is not an easy task. Forward error control coding can be used for protection against transmission errors to enhance the QoS for broadcast services. For good performance in terrestrial wireless networks, diversity should be utilized. The diversity is utilized by application of interleaving together with the forward error correction codes. In this dissertation the design and analysis of forward error control and control signalling for providing QoS in wireless broadcasting systems are studied. Control signaling is used in broadcasting networks to give the receiver necessary information on how to connect to the network itself and how to receive the services that are being transmitted. Usually control signalling is considered to be transmitted through a dedicated path in the systems. Therefore, the relationship of the signaling and service data paths should be considered early in the design phase. Modeling and simulations are used in the case studies of this dissertation to study this relationship. This dissertation begins with a survey on the broadcasting environment and mechanisms for providing QoS therein. Then case studies present analysis and design of such mechanisms in real systems. The mechanisms for providing QoS considering signaling and service data paths and their relationship at the DVB-H link layer are analyzed as the first case study. In particular the performance of different service data decoding mechanisms and optimal signaling transmission parameter selection are presented. The second case study investigates the design of signaling and service data paths for the more modern DVB-T2 physical layer. Furthermore, by comparing the performances of the signaling and service data paths by simulations, configuration guidelines for the DVB-T2 physical layer signaling are given. The presented guidelines can prove useful when configuring DVB-T2 transmission networks. Finally, recommendations for the design of data and signalling paths are given based on findings from the case studies. The requirements for the signaling design should be derived from the requirements for the main services. Generally, these requirements for signaling should be more demanding as the signaling is the enabler for service reception.

Design of marine generators for alternative diesel-electric power systems

This study compares different electric propulsion systems. Results of the analysis of all the advantages and disadvantages of the different propulsion systems are given. This thesis estimates possibilities to apply different diesel-electric propulsion concepts for different vessel types. Small and medium size vessel’s power ranges are studied. The optimal delivery system is chosen. This choice is made on the base of detailed study of the concepts, electrical equipment market and comparison of mass, volume and efficiency parameters. In this thesis three marine generators are designed. They are: salient pole synchronous generator and two permanent magnet synchronous generators. Their electrical, dimensional, cost and efficiency parameters are compared. To understand all the benefits diagrams with these parameters are prepared. Possible benefits and money savings are estimated. As the result the advantages, disadvantages and boundary conditions for the permanent magnet synchronous generator application in marine electric-power systems are found out.

Exploration and Design of Power-Efficient Networked Many-Core Systems

Multiprocessing is a promising solution to meet the requirements of near future applications. To get full benefit from parallel processing, a manycore system needs efficient, on-chip communication architecture. Networkon- Chip (NoC) is a general purpose communication concept that offers highthroughput, reduced power consumption, and keeps complexity in check by a regular composition of basic building blocks. This thesis presents power efficient communication approaches for networked many-core systems. We address a range of issues being important for designing power-efficient manycore systems at two different levels: the network-level and the router-level. From the network-level point of view, exploiting state-of-the-art concepts such as Globally Asynchronous Locally Synchronous (GALS), Voltage/ Frequency Island (VFI), and 3D Networks-on-Chip approaches may be a solution to the excessive power consumption demanded by today’s and future many-core systems. To this end, a low-cost 3D NoC architecture, based on high-speed GALS-based vertical channels, is proposed to mitigate high peak temperatures, power densities, and area footprints of vertical interconnects in 3D ICs. To further exploit the beneficial feature of a negligible inter-layer distance of 3D ICs, we propose a novel hybridization scheme for inter-layer communication. In addition, an efficient adaptive routing algorithm is presented which enables congestion-aware and reliable communication for the hybridized NoC architecture. An integrated monitoring and management platform on top of this architecture is also developed in order to implement more scalable power optimization techniques. From the router-level perspective, four design styles for implementing power-efficient reconfigurable interfaces in VFI-based NoC systems are proposed. To enhance the utilization of virtual channel buffers and to manage their power consumption, a partial virtual channel sharing method for NoC routers is devised and implemented. Extensive experiments with synthetic and real benchmarks show significant power savings and mitigated hotspots with similar performance compared to latest NoC architectures. The thesis concludes that careful codesigned elements from different network levels enable considerable power savings for many-core systems.

Virtual Testing of Active Magnetic Bearing Systems based on Design Guidelines given by the Standards

Active Magnetic Bearings offer many advantages that have brought new applications to the industry. However, similarly to all new technology, active magnetic bearings also have downsides and one of those is the low standardization level. This thesis is studying mainly the ISO 14839 standard and more specifically the system verification methods. These verifying methods are conducted using a practical test with an existing active magnetic bearing system. The system is simulated with Matlab using rotor-bearing dynamics toolbox, but this study does not include the exact simulation code or a direct algebra calculation. However, this study provides the proof that standardized simulation methods can be applied in practical problems.

Working fluid selection and design of small-scale waste heat recovery systems based on organic Rankine cycles

Demand for the use of energy systems, entailing high efficiency as well as availability to harness renewable energy sources, is a key issue in order to tackling the threat of global warming and saving natural resources. Organic Rankine cycle (ORC) technology has been identified as one of the most promising technologies in recovering low-grade heat sources and in harnessing renewable energy sources that cannot be efficiently utilized by means of more conventional power systems. The ORC is based on the working principle of Rankine process, but an organic working fluid is adopted in the cycle instead of steam. This thesis presents numerical and experimental results of the study on the design of small-scale ORCs. Two main applications were selected for the thesis: waste heat re- covery from small-scale diesel engines concentrating on the utilization of the exhaust gas heat and waste heat recovery in large industrial-scale engine power plants considering the utilization of both the high and low temperature heat sources. The main objective of this work was to identify suitable working fluid candidates and to study the process and turbine design methods that can be applied when power plants based on the use of non-conventional working fluids are considered. The computational work included the use of thermodynamic analysis methods and turbine design methods that were based on the use of highly accurate fluid properties. In addition, the design and loss mechanisms in supersonic ORC turbines were studied by means of computational fluid dynamics. The results indicated that the design of ORC is highly influenced by the selection of the working fluid and cycle operational conditions. The results for the turbine designs in- dicated that the working fluid selection should not be based only on the thermodynamic analysis, but requires also considerations on the turbine design. The turbines tend to be fast rotating, entailing small blade heights at the turbine rotor inlet and highly supersonic flow in the turbine flow passages, especially when power systems with low power outputs are designed. The results indicated that the ORC is a potential solution in utilizing waste heat streams both at high and low temperatures and both in micro and larger scale appli- cations.

Review of water electrolysis technologies and design of renewable hydrogen production systems

An electric system based on renewable energy faces challenges concerning the storage and utilization of energy due to the intermittent and seasonal nature of renewable energy sources. Wind and solar photovoltaic power productions are variable and difficult to predict, and thus electricity storage will be needed in the case of basic power production. Hydrogen’s energetic potential lies in its ability and versatility to store chemical energy, to serve as an energy carrier and as feedstock for various industries. Hydrogen is also used e.g. in the production of biofuels. The amount of energy produced during hydrogen combustion is higher than any other fuel’s on a mass basis with a higher-heating-value of 39.4 kWh/kg. However, even though hydrogen is the most abundant element in the universe, on Earth most hydrogen exists in molecular forms such as water. Therefore, hydrogen must be produced and there are various methods to do so. Today, the majority hydrogen comes from fossil fuels, mainly from steam methane reforming, and only about 4 % of global hydrogen comes from water electrolysis. Combination of electrolytic production of hydrogen from water and supply of renewable energy is attracting more interest due to the sustainability and the increased flexibility of the resulting energy system. The preferred option for intermittent hydrogen storage is pressurization in tanks since at ambient conditions the volumetric energy density of hydrogen is low, and pressurized tanks are efficient and affordable when the cycling rate is high. Pressurized hydrogen enables energy storage in larger capacities compared to battery technologies and additionally the energy can be stored for longer periods of time, on a time scale of months. In this thesis, the thermodynamics and electrochemistry associated with water electrolysis are described. The main water electrolysis technologies are presented with state-of-the-art specifications. Finally, a Power-to-Hydrogen infrastructure design for Lappeenranta University of Technology is presented. Laboratory setup for water electrolysis is specified and factors affecting its commissioning in Finland are presented.

Agent-based management systems for many-core platforms : rigorous design and efficient implementation

Due to various advantages such as flexibility, scalability and updatability, software intensive systems are increasingly embedded in everyday life. The constantly growing number of functions executed by these systems requires a high level of performance from the underlying platform. The main approach to incrementing performance has been the increase of operating frequency of a chip. However, this has led to the problem of power dissipation, which has shifted the focus of research to parallel and distributed computing. Parallel many-core platforms can provide the required level of computational power along with low power consumption. On the one hand, this enables parallel execution of highly intensive applications. With their computational power, these platforms are likely to be used in various application domains: from home use electronics (e.g., video processing) to complex critical control systems. On the other hand, the utilization of the resources has to be efficient in terms of performance and power consumption. However, the high level of on-chip integration results in the increase of the probability of various faults and creation of hotspots leading to thermal problems. Additionally, radiation, which is frequent in space but becomes an issue also at the ground level, can cause transient faults. This can eventually induce a faulty execution of applications. Therefore, it is crucial to develop methods that enable efficient as well as resilient execution of applications. The main objective of the thesis is to propose an approach to design agentbased systems for many-core platforms in a rigorous manner. When designing such a system, we explore and integrate various dynamic reconfiguration mechanisms into agents functionality. The use of these mechanisms enhances resilience of the underlying platform whilst maintaining performance at an acceptable level. The design of the system proceeds according to a formal refinement approach which allows us to ensure correct behaviour of the system with respect to postulated properties. To enable analysis of the proposed system in terms of area overhead as well as performance, we explore an approach, where the developed rigorous models are transformed into a high-level implementation language. Specifically, we investigate methods for deriving fault-free implementations from these models into, e.g., a hardware description language, namely VHDL.