natgillin/translations-raw huggingface dataset:
The measurements were performed with a membrane electrode assembly consisting of an anion exchange membrane, Pt cathode and either PtRu or Pt anode.
Mittaukset suoritettiin elektrolyysikennolla, joka koostui anioninvaihtomembraanista, Pt-katodista ja joko PtRu- tai Pt-anodista.
The catalyst was shown to be suitable for hydrogen production in a laboratory-scale electrolysis cell, retaining its performance during a four-week durability experiment.
Katalyytin osoitettiin olevan sopiva vedynkehitykseen laboratoriomittakaavassa elektrolyysikennossa, kun se säilytti suorituskyvyn neljän viikon kestävyyskokeessa.
The catalytic activity for the hydrogen evolution reaction was analyzed both in an electrochemical cell at various pH and in a laboratory-scale electrolyzer.
Katalyyttistä aktiivisuutta vedynkehitysreaktiolle analysoitiin sekä sähkökemiallisessa kennossa eri pH: ssa että laboratoriomittakaavassa elektrolyyserissä.
Hydrogen Evolution Research with non-Noble Metal Catalysts and Methanol Electrolysis
Vedynkehitys epäjalometallikatalyyteillä sekä metanolielektrolyysillä
In this thesis, two catalysts based on abundantly available elements and simple preparations are presented and their catalytic behavior researched in depth.
Tässä työssä tutkittiin kahta katalyyttiä, jotka perustuvat yleisesti saatavilla oleviin alkuaineisiin ja helppoihin valmistusmenetelmiin.
The basic concept of methanol–water solution electrolysis with an alkaline membrane was developed and the functionality validated with experimental studies.
Tutkimuksessa kehitettiin metanoli-vesiseoksen elektrolyysimenetelmä emäksisellä membraanilla ja toiminnallisuus varmistettiin kokeellisilla tutkimuksilla.
Proof-of-concept for alkaline methanol electrolysis was successful.
Alkaalisen metanolielektrolyysin menetelmä todistettiin toimivaksi.
Furthermore, durability of N-FWCNTs was demonstrated by operating a full electrolyzer cell for five weeks.
Lisäksi tämän katalyytin kestävyys varmistettiin viiden viikon elektrolyysikennotesteillä.
HER mechanism on nitrogen functionalized few-walled carbon nanotubes (N-FWCNT) was analyzed in acidic media with a pH series and by Tafel slope analysis.
Typpifunktionalisoiduilla muutaman seinämän hiilinanoputkilla analysoitiin vedynkehityksen mekanismia happamissa olosuhteissa pH-sarjalla ja Tafel-analyysillä.
Overall hydrogen surface coverage on N-FWCNT is also suggested to affect the HER rate.
Katalyyttisen pinnan vedyn peittoaste näyttää vaikuttavan rektion nopeuteen.
Older employees' adjustment to a merger and their retirement intentions - The role of organizational identification, perceived procedural justice and work engagement
Vanhempien työntekijöiden fuusioon sopeutuminen ja eläköitymisaikeet - Organisaatioon samaistumisen, koettu menettelytapojen oikeudenmukaisuuden ja työn imun merkitys
The visual world and evolution of Artek and Aalto posters
Artekin ja Aalto-julisteiden visuaalinen maailma ja sen kehitys
Ha-ha is a-ha: conscious use of humour as a tool for group leading
Ha-ha is a-ha : huumorin tietoinen käyttö ryhmänohjaamisen työkaluna
A practical model checking approach using SATABS
Käytännön lähestymistapa mallintarkastukseen SATABS -verifiointityökalua käyttäen
SATABS, a model checking -based software verification tool for ANSI-C and C++- has been selected for this work primarily since it is capable of deriving all checked claims directly from the source code requiring no separately constructed external specification.
SATABS-verifiointityökalu ANSI-C ja C++ -lähdekoodille on valittu tähän työhön pääasiassa, koska verifiointi voidaan suorittaa suoraan lähdekoodista ilman erillistä formaalia määrittelyä.
The emphasis is in complementing testing and heuristic bug-finding methods with formal program analysis based on model checking without significant modifications to existing software processes.
Erityisenä tavoitteena on kyetä täydentämään testausta ja heuristisia virheenetsintämenetelmiä formaalilla mallintarkastukseen perustuvalla koodin analysoinnilla ilman merkittäviä muutoksia olemassa oleviin ohjelmistokehitysprosesseihin.
However, if requirements for soundness and completeness are relaxed, useful results can be obtained using divide-and-conquer strategies.
Kuitenkin, jos luovutaan verifioinnin oikeellisuuden ja täydellisyyden vaatimuksista, voidaan käytännössä hyödyllisiä tuloksia saada pilkkomalla verifiointiongelma pienempiin osaongelmiin.
The goal of this work is to study the applicability of model checking methods to agile and informal non-specialized software development processes characterized by lack of a formal specification.
Tämän työn tavoitteena on tutkia mallintarkastukseen pohjautuvien formaalien verifiointimenetelmien soveltuvuutta ketteriin ja epäformaaleihin ohjelmistonkehitysprosesseihin, joille ominaista on kehitettävän ohjelmiston formaalin määrittelyn puuttuminen.
As a partial solution to verification affordability problems, an incomplete bug-finding algorithm based on abstraction and piecewise refinement of source code at function call granularity is presented and its practical usefulness demonstrated.
Osittaisena ratkaisuna verifioinnin kustannusongelmiin esitetään epätäydellinen virheenetsintäalgoritmi perustuen ohjelmakoodin abstrahointiin ja vaiheittaiseen tarkentamiseen funktiokutsujen tarkkuudella.
As a case study, bugs detected in utilities contained in GNU Coreutils open source toolkit are analysed.
Analysoitavina esimerkkeinä käytetään avoimena lähdekoodina julkaistun GNU Coreutils -työkaluohjelmapaketin raportoituja ohjelmavirheitä.
Iteratively, starting with unmodified source code, verification using SATABS is attempted and the source code is modified according to the results until verification yields expected results as the a priori known bugs are reported.
Lähdekoodia pyritään vuorotellen verifioimaan ja modifioimaan verifiointityökalun edellyttämällä tavalla, kunnes tämä tuottaa odotettuja tuloksia eli raportoi ennalta tunnetut ohjelmavirheet.
The results indicate that monolithic verification of the entire code base is still infeasible even with relatively small and uncomplicated non-threaded programs.
Tulokset osoittavat, että koko lähdekoodin verifiointi mallintarkastukseen pohjautuvin menetelmin yhtenä kokonaisuutena ei ole käytännössä mahdollista edes kohtuullisen suppeiden ja yksinkertaisten ohjelmien osalta.
Results also indicate that the code modifications required by SATABS are relatively simple when divide-and-conquer strategies are used, and could realistically be incorporated in the program by a software engineer or a programmer with good working knowledge of the tool.
Tulokset osoittavat myös, että pilkkomisen jälkeen verifioinnin edellyttämät koodimuutokset ovat verrattain vähäisiä, ja voidaan realistisesti olettaa ne voitavan huomioida jo ohjelmankehitysvaiheessa.
Also, using a program slicer such as implemented in FRAMA-C embedded in a bug-finding algorithm is proposed.
Työssä myös esitetään ohjelmien siivutusta (program slicing) osana virheenetsintäalgoritmia.
The feasibility of detecting these bugs with SATABS is evaluated.
Työssä tutkitaan ovatko ohjelmavirheet löydettävissä SATABS-veriflointityökalua käyttäen.
Automatic identification of paper reels
Paperirullien automaattinen tunnistaminen
Thereafter, the current state of reel identification is researched in a case study, which compares the identification and handling processes of three Finnish and three Swedish paper mills, and three harbours.
Tämän jälkeen tehtävässä tapaustutkimuksessa tarkastellaan kolmen suomalaisen ja kolmen ruotsalaisen paperitehtaan sekä kolmen sataman osalta paperirullien tunnistamiseen ja käsittelyyn liittyviä prosesseja.
Hence, it is recommended to continue testing with RFID technology.
Tämän vuoksi on suositeltavaa, että paperiyhtiöt jatkavat RFID-tekniikan testaamista etenkin näissä kohteissa.
The literary part examines the areas of paper industry, supply chain management and technologies for automatic identification.
Kirjallisuustutkimuksen avulla perehdytään paperiteollisuuden, toimitusketjun hallinnan ja automaattisten tunnistustekniikoiden osa-alueisiin.
It was found that radio frequency identification (RFID) is not yet mature for use in paper reel identification in a complete supply chain.
Työn tulokset osoittavat, että radiotaajuuteen perustuva tunnistaminen (RFID) ei vielä tällä hetkellä ole toimiva ratkaisu otettavaksi käyttöön koko toimitusketjussa.
This recommendation is supported by calculations, which point out that investing in automatic identification technology and taking item level identification into use bring economical benefits for the supply chain parties.
Tätä suositusta tukevat investointilaskelmat, jotka osoittavat automaattisten tunnistustekniikoiden käyttöönoton ja yksikkötason tunnistamisen tuovan toimitusketjun osapuolille myös selviä taloudellisia hyötyjä.
The study also analyses the current way of using label information, and calculates the costs and benefits of automatic identification.
Työssä analysoidaan myös rullaetikettien tietosisältöä sekä lasketaan tunnistustekniikoihin liittyviä kustannuksia ja hyötyjä.
There is potential to improve paper reel identification and handling processes in Finland.
Paperirullien tunnistus- ja käsittelyprosesseissa havaittiin olevan kehittämisen varaa etenkin Suomessa.
However, the technology may provide solutions for mill and customer operations.
RFID-tekniikka voi kuitenkin osoittautua toimivaksi ratkaisuksi sekä paperitehtaan että asiakkaan sisäisissä toiminnoissa.
This development requires item level identification of paper reels.
Tässä tutkimuksessa käsitellään paperirullien tunnistamista.
Radio frequency identification and belt bar code are recognised as the most promising technology solutions.
Lupaavimpina tekniikoina paperirullien tunnistamisessa pidetään radiotaajuuteen perustuvaa tunnistamista (RFID) ja viivakoodia.
This thesis investigates paper reel identification, with an aim to find out how the paper industry could benefit from using automatic identification technologies in its supply chain.
Tavoitteena on selvittää, mitä hyötyä paperiyhtiöille olisi automaattisen tunnistustekniikan käytöstä.
Thus, it is recommended to proceed with the implementation of belt bar code technology.
Työssä suositellaankin vyöviivakooditekniikan ottamista käyttöön myös Suomessa tuotetuissa paperirullissa.
Paper companies are developing their outbound logistics operations towards item level supply chain management.
Yksittäisten tuotteiden seuraaminen toimitusketjussa on paperiyhtiöille yhä tärkeämpää.
Most detail is given to mobility management.
Eniten huomiota kiinnitetään liikkuvuuden hallintaan.
In 95% of the cases the device is disconnected from the network for under 50 ms, and the data pause experienced is less than 75 ms.
95%:ssa tapauksista päätelaite on kokonaan verkosta irti kytkettynä alle 50 ms, ja käyttäjän kokema datakatko on alle 75 ms.
Measurement results and their analysis are then discussed.
Tämän jälkeen esitetään mittaustulokset ja niiden analyysi.
Performance of handover in long term evolution
Long term evolutionin solunvaihdon suorituskyky
Finally, conclusions and opportunities for further study are given.
Lopuksi esitetään johtopäätökset, sekä ehdotetaan mahdollisia kohteita jatkotutkimukselle.
This caused TCP retransmissions, of which 26% were triggered because of a retransmission timeout.
Datan häviäminen aiheutti TCP:n (Transmission Control Protocol) uudelleenlähetyksiä, joista 26% johtui uudelleenlähetysajastimen laukeamisesta.
The handover process is studied at the level of signalling messages.
Solunvaihtoprosessi käsitellään signalointitasolla.
The measurement results show that the normal handover has minimal effect on the service performance.
Mittaustulokset osoittavat, että tavallisella solunvaihdolla ei ole vaikutusta palveluiden suorituskykyyn.
Additionally, the effects of handover to voice quality are studied with a qualitative user survey.
Solunvaihdon vaikutusta puheluihin tutkitaan laadullisella käyttäjätutkimuksella.
Thus, the end user will not experience any disturbance other than that resulting from low radio conditions.
Näin ollen käyttäjä ei koe laadun heikentymistä, elleivät radio-olosuhteet sitä aiheuta.
No data is lost because of the handover.
Dataa ei häviä solunvaihdon aikana.
The results of the voice call user survey confirm that the normal handover is not audible to the end user.
Käyttäjätutkimuksen tulokset osoittavat, että tavallinen solunvaihto ei aiheuta laadullista häiriötä loppukäyttäjälle.
The thesis first presents a literature review of Long Term Evolution based on the system specifications, white papers and scientific studies.
Katsaus pohjautuu järjestelmän spesifikaatioihin, laitevalmistajien julkaisuihin, sekä tieteellisiin tutkimuksiin.
The measurements include delay, data pause and data loss.
Analyysi perustuu Soneran tuotantoverkossa suoritettuihin mittauksiin, joissa tutkittiin viivettä, datakatkosta ja hävinnyttä datamäärää.
The core network assisted handover was found to lose data during handover, not according to the specifications.
Keskusverkon avustaman solunvaihdon huomattiin hävittävän dataa.
This thesis studies the effect of intra-system handover in Long Term Evolution to the performance of popular services and protocols.
Tässä diplomityössä tutkitaan LTE:n (Long Term Evolution) yhteydellisen tilan solunvaihdon vaikutusta tiedostonsiirtoon, suoratoistoon, sekä internetpuheluihin.
The user survey established that this type of handover is also audible to the user, but the overall quality impairment is not significant.
Käyttäjätutkimuksen mukaan kyseinen solunvaihto aiheuttaa lyhyen häiriön puheluun.
Different attribute data, for example, could be applied to improve the results of the methods.
Esimerkiksi erilaisten ominaisuustietojen soveltamisella voitaisiin parantaa menetelmien antamia tuloksia.
ArcMap and Pajek software were applied to analysis and calculation.
Analyysiin ja laskentaan käytettiin ArcMap- ja Pajek-ohjelmistoja.
The main goal of this work was to find out, in the light of a case study, whether and how certain GIS tools could be for help in climate change emergency issues, especially flooding; where people are located at each point of time, and how they can be rescued if needed.
Tämän työn päätavoitteena oli tutkia kokeellista esimerkkitapausta käyttäen, millä tavoin tiettyjä GIS-työkaluja voidaan käyttää apuna ilmastonmuutoksen aiheuttamiin uhkiin, erityisesti tulviin, varautumisessa; mikä on ihmisten sijainti eri ajankohtina, ja mitä kautta heidät voidaan tarvittaessa pelastaa.
Spatial approaches in responding to climate change emergencies - Case study: Helsinki flooding
Ilmastonmuutoksen aiheuttamiin uhkiin varautuminen spatiaalisen analyysin keinoin - Tapaus: Helsinki tulvii
The work leads off with a general introduction to climate change and flooding and their significance, and followed by a short representation of issues on emergency management and GIS use.
Työ alkaa johdannolla ilmastonmuutokseen ja tulviin sekä niiden vaikutuksiin, minkä jälkeen esitellään lyhyesti kriisinhallintaa ja GIS:in soveltamista.
The results show that a five-metre flood would cover extensive areas in Helsinki region even if, at the same time, a major part of the downtown district would remain undisturbed.
Tulokset osoittavat viisimetrisen merenpinnan nousun peittävän laajoja alueita Helsingin seudulla, joskin valtaosa kantakaupungista jäisi kuiville.
In the case study, sea level was first elevated 5 metres to determine the areas affected by the flood.
Tapaustutkimuksen ensimmäisenä vaiheena merenpintaa nostettiin viisi metriä ja määritettiin tulvan alle jäävät alueet.
The theory section of this paper presents digital elevation models, analysis of critical networks including graph theory and spatiotemporal modelling, which constitute the relevant thematic entities for this study.
Teoriaosiossa esitellään digitaaliset korkeusmallit, verkoston kriittisten kohtien analyysi sekä spatiotemporaalinen mallinnus, jotka ovat myös tutkimuksen temaattiset kokonaisuudet.
The road network would suffer some significant cut-offs and several road segments other than those in normal conditions would become critical, which is an exceedingly noteworthy point when considering emergency logistics et cetera.
Tieverkko katkeaisi useista ratkaisevista kohdista, ja lisäksi monista normaalitilanteesta poikkeavista tieosista tulisi kriittisiä, mikä on erittäin oleellista esimerkiksi kriisitilanteen logistiikan kannalta.
The estimated relative number of population varies considerably from normal to under-the flood situation and needs be taken into account in, for example, evacuation planning.
Arvioitu suhteellinen väestömäärä normaalitilanteessa ja tulvan saartamana vaihtelee huomattavan paljon eri ajankohtien välillä, mikä on tärkeää ottaa huomioon muun muassa evakuoinnin suunnittelussa.
The study area was chosen to cover the Helsinki city centre area and some outskirts.
Tutkimusalueeksi valikoitui Helsinki keskusta-alue ympäristöineen.
The data used include the contour data from the NLS Topographic Database as elevation data, vector format Transport Networks database as road network data, and time period and building-specific attribute data from the damage analysis demonstrator as spatiotemporal population data.
Korkeusdatana käytettiin Maanmittauslaitoksen Maastotietokannan korkeuskäyrästöä, tieverkkodatana niin ikään Maanmittauslaitoksen vektorimuotoista tieverkkoaineistoa ja spatiotemporaalisena väestödatana haittavaikutusanalyysissa käytettyä aika- ja rakennuskohtaista ominaisuustietoa.
Second, the flood was overlapped with the road network data, and centrality measures - betweenness and cut vertices - were calculated for the network segments in both normal and flood emergency conditions to find the critical locations.
Toisessa vaiheessa tulva-alueet asetettiin päällekkäin tieverkkodatan kanssa ja laskettiin verkon osille haavoittuvuutta kuvaavat tunnusluvut sekä normaalissa että tulvatilanteessa.
After theoretic contemplation, facts and specific flooding issues in Helsinki area are gone over, before representing the actual analysis procedure.
Varsinaisen teoriaosan jälkeen käydään myös läpi Helsingin alueen erityisiä tulvaan liittyviä asioita.
Lastly, the flood was overlapped with building data including population amounts on different times, and flood-exposed population was consequently defined.
Viimeisenä vaiheena tulva-alueet asetettiin päällekkäin aika- ja rakennuskohtaisen väkimäärätiedon kanssa tulvalle altistuvan väestön määrittämiseksi.
The right quality of data in both cases is of great importance.
Sekä verkostoanalyysissa että spatiotemporaalisessa väestömallissa käytettävän datan laatuun ja oikeaan rakenteeseen on kiinnitettävä runsaasti huomiota.
According to competitor solutions and found technologies, 4 different concepts were created from which one was chosen for further development based on their rating.
Kilpailijoiden ratkaisuiden ja löydettyjen tekniikoiden pohjalta luotiin 4 erilaista konseptia, joista jatkokehitykseen valittiin yksi pisteytyksen perusteella.
Also the operation of the designed control loop was tested in practice.
Myös suunnitellun säätimen toimintaa testattiin käytännössä.
As a result of the thesis a prototype was created which met almost all of the requirement conditions.
Työn tuloksena saatiin prototyyppi, joka täytti lähes kaikki sille asetetut vaatimukset.
However if the output stage prestage volume increases it would highlight the benefits of the prototype’s increased air flow capacity.
Jos pääteasteen esiohjaustilavuus kuitenkin kasvaa entisestään, korostuu prototyypin suuremman kapasiteetin tuomat hyödyt.
Main goal was to improve the capacity of the two stage valve’s pilot stage and reduce its air consumption.
Päätavoite oli parantaa kaksiosaisen venttiilin esiohjauksen kapasiteettia ja vähentää sen ilmankulutusta.
Valves of the prototype leaked more air than expected however it can be assumed that the leaks will decrease if the valves are lapped.
Prototyypin venttiilit vuosivat hieman odotettua enemmän ilmaa, vuotojen voidaan kuitenkin odottaa vähenevän jos venttiilit läpätään.
The prototype is a labile system therefore a good control is necessary for its correct operation.
Prototyypin toiminta on myös labiilia, jolloin hyvä säädin on sen oikeanlaisen toiminnan kannalta välttämätöntä.
The designed device cannot be utilized as it is to control pressure compensated output stage because of its regulated pressure levels.
Suunniteltua laitetta ei voida suoraan sellaisenaan hyödyntää painekompensoidun pääteasteen ohjaukseen sen vakioidun painetason takia.
A FMEA was conducted for the concept and it was found out that the concept does not have a significant failure risks, except for the nozzle-flapper valve.
Jonka tuloksena todettiin, että konsepti ei sisällä merkittäviä vikaantumisriskejä, suutin-läppäventtiiliä lukuun ottamatta.
The improvements made by the prototype to the control of the prestage pressure were quite minor compared to the increased cost and complexity of the prestage circuit.
Prototyypin esiohjauksen hallintaan tuomat parannukset ovat kuitenkin varsin pieniä verrattuna sen aiheuttamaan esiohjauspiirin hinnan ja monimutkaisuuden kasvuun.
Aim of the thesis was to further develop the pneumatic valve of a digital positioner.
Tämän työn tavoitteena oli kehittää digitaalisen asennoittimen, pneumaattisen venttiilin toimintaa.
A number of tests were ran for the prototype which measured its rising and falling prestage pressure response time, air consumption and functions under varying input pressures.
Prototyypille suoritettiin kokeet, joilla mitattiin sen tuottaman esiohjauspaineen nousu- ja laskuaikaa, ilmankulutusta ja syöttöpaineen suhteen vakioitua toimintaa.
The designed control loop did not perform as hoped and its performance can be considered adequate at best.
Suunniteltu säädin ei toiminut testeissä aivan oletetulla tavalla ja sen toimintaa voidaan pitää korkeintaan välttävänä.
A simulation model was created from the concept to assist the design process and to confirm the correct operation of the system.
Valitusta konseptista luotiin simulointimalli suunnittelun aputyökaluksi ja halutunlaisen toiminnan varmistamiseksi.
Development of the actuating system commonly used in pilot-stage’s nozzle-flapper valve was excluded from the work.
Esiohjauksessa yleisesti käytetyn suutin-läppäventtiilin toimielimen kehitys rajattiin työn ulkopuolelle.
The research begins with a review of Metso’s ND9000 positioner pilot-stage working principles.
Aluksi työssä käydään läpi Metson ND9000 asennoittimen esiohjauksen toiminta ja perehdytään myös muutaman kilpailijan esiohjauspiiriin.
Theoretical outlook on air flow through orifice and survey of applicable technologies to develop the pilot-stage, is made.
Työssä luodaan teoreettinen katsaus ilman virtaukseen kuristuksen läpi ja selvitetään mahdollisia esiohjauspiirin kehitykseen soveltuvia tekniikoita.
Eventually a prototype was built based on the concept.
Lopulta konseptista rakennettiin prototyyppi, jolla säädettiin suljetun tilan painetta.
The device met the performance requirements except for the falling prestage pressure response time.
Laite täytti testatut suorituskykyvaatimukset kaikkien paitsi laskuajan osalta.
Development of a pilot stage for proportional valve
Säätöventtiilin esiohjauksen kehitys
A simulation model based control loop was designed for the concept to control prestage pressure.
Simulointimallin avulla toteutettiin myös konseptille esiohjauspaineen säätöön soveltuva säädin.
Outline of the thesis was especially in a pilot-stage.
Työ rajattiin erityisesti esiohjauspiiriin.
Determinating the moisture content of aggregate and water content of fresh concrete
Betonin runkoaineen vesimäärän mittaus ja betonimassan vesimäärän arviointi
First modern tramways are planned nowadays in Finland.
Ensimmäisiä pikaraitioteitä suunnitellaan parhaillaan Suomessa.
Number of conflict points should be minimized for each planning area by traffic management and guidance.
Konfliktipisteiden määrä tulisi minimoida jokaiselle suunnittelukohteelle liikenteenhallinnan ja ohjauksen avulla.