natgillin/translations-raw huggingface dataset:
On the other hand, differences in the low temperature performance were not observed with the Fraass breaking point and complex modulus tests.
Tästä huolimatta kylmäominaisuuksissa ei havaittu eroja Fraass-murtumispiste- ja kompleksimoduulitestien perusteella.
The thesis was a part of a research project which was included in the Innovative Cities (2014–2017) programme managed by Tekes.
Diplomityö tehtiin osana "Kierrätysasfaltin markkinakelpoisuuden edellytysten luominen, demo-kohteena kattohuopaa sisältävä asfaltti" -tutkimusprojektia, joka kuuluu Tekesin hallinnoimaan INKA – innovatiiviset kaupungit (2014–2017) -ohjelmaan.
The aim of this master’s thesis was to investigate the usability of recycled asphalt shingles (RAS) in asphalt mixtures and to develop the procedure and guidelines to accelerate the controlled use and commercialization of novel recycled materials in the asphalt pavement industry.
Diplomityön tavoitteena oli selvittää bitumikatteen käyttökelpoisuutta asfaltin ainesosaksi ja luoda toimintatapamalli sekä menetelmäohjeistus edistämään uusien kierrätysmateriaalien hallittua käyttöönottoa asfalttiteollisuudessa.
Development of the requirements for market validity of recycled asphalt – asphalt pavement containing asphalt shingles (roofing felt) as a case study
Kierrätysasfaltin markkinakelpoisuuden edellytysten luominen – Demokohteena bitumikatetta (kattohuopaa) sisältävä asfaltti
However, the use of asphalt shingles increased the complex shear modulus of the binders and decreased the phase angle (viscous flow).
Bitumikatteen lisääminen nosti kuitenkin sideaineseosten kompleksimoduulia (jäykkyyttä) ja pienensi vaihekulmaa (virtaavuutta).
The usability of recycled asphalt shingles was also investigated from the health and environmental point of view.
Bitumikatteen teknisen kelpoisuuden lisäksi selvitettiin myös terveydellinen soveltuvuus ja ympäristökelpoisuus.
As verified by Glover-Rowe parameter, there were changes in the correlation of stiffness and flow properties, indicating that the use of shingles reduced binder’s ability to flow at a known level of stiffness.
Lisäksi Glover-Rowe-parametri osoitti bitumikatteen lisäyksen muuttavan sideaineseoksen jäykkyyden ja virtaavuuden riippuvuutta siten, että tietyllä jäykkyydellä sideaineen kyky virrata heikkeni.
Large number of laboratory tests were conducted to evaluate the performance of the asphalt mixture with shingles and the binder extracted from the cores.
Teknisen kelpoisuuden selvittämiseksi tehtiin laajat laboratoriokokeet, joissa selvitettiin bitumikatetta sisältävän asfaltin toiminnallisia ominaisuuksia ja näytteistä uutettujen sideaineseosten ominaisuuksia sekä verrattiin tuloksia referenssinäytteiden tuloksiin.
A total of 128 core samples with asphalt shingles and reference samples without shingles were drilled from two of these test sites.
Tutkimusaineisto koostui kahdeksasta bitumikatetta sisältävästä päällystyskohteesta, joista kahdesta porattiin yhteensä 128 bitumikatetta sisältävää näytettä sekä referenssinäytettä ilman bitumikatetta.
The amount of fresh bitumen in the RAS-mixtures were reduced by the amount of bitumen contributed by RAS.
Referenssimassaan verrattuna bitumikatetta sisältävässä massassa oli bitumikatteen sisältämän bitumin verran vähemmän tuoretta bitumia.
There were no major differences between the reference mixture and the RAS-mixture, as verified by indirect tensile strength and other tests performed on the mixtures and core samples.
Halkaisuvetolujuudessa ja muissa massa- ja kappaletesteissä ei ollut merkittäviä eroja bitumikate- ja referenssimassojen välillä.
In this situation the use of asphalt shingles increased the stiffness and resistance to permanent deformation of the mixture.
Tällöin bitumikatetta sisältävän massan jäykkyys kasvoi ja deformaatiokestävyys parani verrattuina referenssimassoihin.
The method is very effective in finding hidden design errors.
Menetelmä on erittäin tehokas löytämään piileviä suunnitteluvirheitä.
Model Checking Large Nuclear Power Plant Safety System Designs
Ydinvoimaloiden laajojen turva-automaatiojärjestelmien mallintarkastus
The exhaustive verification of these systems is challenging, and verification methods such as testing and simulation are typically insufficient.
Tällaisten digitaalisten järjestelmien verifiointi on erittäin haastavaa, eivätkä perinteiset menetelmät kuten testaus ja simulointi usein kykene saavuttamaan täydellistä kattavuutta.
The results of this work have a high significance to safety because the developed techniques can be used to verify the correctness of safety system designs used in nuclear power plants.
Väitöstyön tulokset ovat tärkeitä turvallisuuden kannalta, sillä kehitettyjä tekniikoita voidaan käyttää varmistamaan turva-automaatiojärjestelmien suunnittelun virheettömyys.
Furthermore, the dissertation presents the development of an iterative abstraction refinement algorithm for the purpose of automatically finding an abstraction level suitable for verification.
Lisäksi väitöstyössä on kehitetty iteratiivinen tekniikka, jonka tarkoituksena on etsiä verifiointiin sopiva abstraktiotaso automaattisesti.
Model checking is computationally very demanding, and thus one of the challenges in applying model checking is its scalability.
Mallintarkastus on laskennallisesti vaativa menetelmä, ja eräs menetelmän soveltamiseen liittyvä haaste on sen skaalautuvuus.
Finally, this work presents the development of a test set generation technique based on model checking that utilises the structure of function block diagram (FBD) programs.
Viimeiseksi, työssä on kehitetty mallintarkastusta hyödyntävä tekniikka, jonka avulla voidaan automaattisesti luoda joukko testejä toimilohko-kaavion (function block diagram, FBD) rakenteen perusteella.
The methodology follows closely the conventions of probabilistic risk assessment (PRA), and serves as a first step for further integration between model checking and PRA.
Tekniikka mukailee todennäköisyysperusteisen riskianalyysin (PRA, probabilistic risk assessment) käyttämiä tapoja jäsentää vikaantumiseen liittyviä ongelmia, ja on täten myös askel kohti näiden kahden menetelmän syvempää integraatiota.
This dissertation also studies hardware failures, and creates an extension of the safety system modelling methodology that enables the analysis of fault-tolerance properties in large many-redundant system assemblies.
Työssä on myös tutkittu laitteistovikojen mallintamista ja kehitetty turvajärjestelmien mallinnuksen kanssa yhteensopiva mallinnustekniikka, joka mahdollistaa järjestelmän vikasietoisuuteen liittyvien ominaisuuksien tarkastelemisen laajoissa moniredundanttisissa järjestelmissä.
The work has also improved the scalability and applicability of model checking, and can be seen as part of a continuum toward larger plant-level models and toward new all-encompassing safety analysis approaches.
Työn voi nähdä osana jatkumoa kohti yhä suurempia laitostason malleja, ja uusia kokonaisvaltaisia tapoja analysoida turvallisuutta.
Model checking is a formal method for verifying the correctness of a system design model.
Mallintarkastus on formaali menetelmä, jota käytetään järjestelmän verifioinnin apuvälineenä.
First of all, this dissertation presents methodology for modelling safety system designs, and describes a simple abstraction technique for models of these systems that utilises modular over-approximating abstractions.
Työssä on luotu metodologiaa turvajärjestelmien mallintamiseen, sekä tehty mallinnustavan kanssa yhteensopiva modulaarinen abstraktiomenetelmä, joka perustuu moduulien yliapproksimatiivisiin abstraktioihin.
This dissertation discusses the verification of larger systems implementing multiple functions using model checking.
Tässä väitöstyössä tutkitaan mallintarkastuksen soveltamista useiden alijärjestelmien muodostamien laajojen kokonaisuuksien verifiointiin.
Digital instrumentation and control (I & C) systems are increasingly being used for implementing safety-critical applications such as nuclear power plant safety systems.
Monet turvakriittiset sovellukset kuten ydinvoimaloissa käytetyt turva-automaatiojärjestelmät perustuvat yhä enenevässä määrin digitaaliseen ohjelmoitavaan tekniikkaan.
The requirements of the system are formalised using temporal logic, and the behaviour of the system model is exhaustively analysed with respect to these formal specifications.
Mallintarkastuksessa järjestelmän toiminnalliset vaatimukset muodostetaan aikalogiikan lauseiden avulla, ja vaatimusten täyttyminen tarkastetaan käymällä systemaattisesti läpi kaikki järjestelmästä laaditun mallin käyttäytymiset.
The Quasi steady state simulation model was used in the thesis to compare supervisory control strategies.
Pysyvän tilan simulointimallia hyödynnettiin energianhallintastrategioiden vertailuun.
This thesis proposed a solution, which does not require heavy calculation, it improved fuel economy, flattened diesel power fluctuation and is possible to implement in existing control units.
Työn tuloksena ehdotetaan strategiaa, joka ei vaadi raskasta laskentaa, parantaa polttoainetaloutta, tasoittaa polttomoottorin kuormituspiikkejä ja on mahdollista toteuttaa olemassa olevaan elektroniikkaan.
This thesis aims to develop and implement a supervisory control strategy for the series hybrid diesel electric loader.
Työn tarkoituksena oli kehittää energianhallintastrategia sarjahybridi pyöräkuormaajaan.
By decoupling the diesel from the wheels, it is possible to more freely select the diesel operation points.
Poistamalla polttomoottorin ja renkaiden väliltä mekaaninen yhteys on polttomoottorin toimintapiste mahdollista valita vapaammin.
The main target for the solution is to flatten diesel power fluctuation, downsize the diesel and improve the fuel economy.
Tavoite oli tasoittaa polttomoottorin tehonvaihteluita, pienentää polttomoottorin iskutilavuutta ja parantaa polttoainetaloutta.
In the conventional mine loader powertrain, in-combustion engine is connected to the wheels through a torque converter, transmission and driveline.
Perinteisessä kaivoskoneen voimansiirrossa, polttomoottori on kytketty momentinmuuntimen, vaihteiston ja akseleiden välityksellä renkaisiin.
The model was verified based on measurements from a similar prototype machine with electric powertrain.
Simulointimalli verifioitiin perustuen aikaisemman prototyyppikoneen mittauksiin.
This leads to the situation where, in-combustion engine is mostly operating at a non-optimal operating point.
Tästä johtuen polttomoottori toimiii suurimman osan ajasta heikomman hyötysuhteen alueella.
It means that the in-combustion engine operating point is determined by the machine speed, load and selected gear.
Tämä tarkoittaa, että polttomoottorin toimintapiste määräytyy ajonopeuden, kuormituksen ja välityssuhteen perusteella.
The most suitable supervisory control strategy, based on the simulations, was implemented to the electronic control unit for further testing the powertrain.
Siimulointien perusteella valittiin sopivin strategia, mikä ohjelmoitiin koneessa käytettävään ohjausjärjestelmälogiikkaan.
Furthermore, effects of applications major parameters were studied.
Lisäksi tutkittiin sovelluksien yleisimpien parametrien vaikutusta mittaustuloksiin.
The measurement conditions were optimized to correspond scaling in applications, yet the measurements were kept quick and easy to perform.
Mittausolosuhteet optimoitiin vastaamaan saostumista sovelluksissa, mutta toisaalta mittaukset haluttiin pitää nopeina ja yksinkertaisina suorittaa.
Scaling of inorganic salts is a major problem in several industries, including paper and oil industry.
Epäorgaanisten suolojen saostuminen on suuri ongelma usealla teollisuuden alalla, kuten paperi- ja öljyteollisuudessa.
Literature part of this study presents theory of crystallization, scaling in paper and oil industries, the most common scale inhibitor chemistries and inhibition mechanisms.
Työn kirjallisuusosa esittelee kiteytymisen teoriaa, saostumisongelmia paperi- ja öljyteollisuudessa sekä yleisimpien saostumisenestoaineiden kemiaa ja inhibitio-mekanismeja.
Dynamic tube blocking method was qualitatively validated and differences between the method and o generally used scale inhibition testing procedure, static jar tests, were compared.
Dynaaminen kapillaarisaostumismenetelmä validoitiin kvalitatiivisesti ja mittauksia verrattiin yleisesti käytettyyn testimenetelmään, staattisiin purkkitesteihin.
The inhibition performance of polymeric antiscalants is based on attractive forces between cations in the salt and anionic, functional groups of scale inhibitor.
Polymeeristen saostumisenestoaineiden tehokkuus perustuu attraktiivisiin voimiin suolan kationien ja saostumisenestoaineiden anionisten, funktionaalisten ryhmien välillä.
Scales are generally treated with anionic, polymeric scale inhibitors that prevent/retard scale formation or dissolve the scale formed.
Saostumista estetään useimmiten anionisilla, polymeerisillä saostumisenestoaineilla, jotka estavät/hidastavat saostumista tai liuottavat jo muodostuneen saostuman.
Calcium oxalate and barium sulfate scaling in paper and oil applications - Validation of dynamic tube blocking procedures
Kalsiumoksalaatin ja bariumsulfaatin saostuminen paperi- ja öljyteollisuudessa - Dynaamisen kapillaarisaostumismenetelmän validointi
Barium sulfate is also a troublesome scale in oil field reservoirs.
Bariumsulfaatin saostuminen on vakava ongelma myös öljykentillä.
Barium sulfate and calcium oxalate are among the most challenging scales in pulp and paper mills.
Bariumsulfaatti ja kalsiumoksalaatti kuuluvat hankalimpiin saostumiin sellu- ja paperiteollisuudessa.
Scaling causes problems in the industry due to precipitation of undesired, sparingly-soluble salts onto process surfaces, generally onto pipelines or heat transfer equipment.
Saostuminen aiheuttaa ongelmia teollisuudessa, kun niukkaliukoisia suoloja saostuu prosessilaitteiden pinnoille, kuten putkilinjoihin ja lämmönsiirtimiin.
Barium sulfate and calcium oxalate scaling and scale inhibition are studied by dynamic tube blocking method and dynamic test method setups for comparative scale inhibitor performance tests are presented in the experimental part of this study.
Kokeellisessa osassa tutkitaan BaSO4:n ja CaC2O 4:n saostumista ja saostumisenestoa polymeerisillä saostumisenestoaineilla dynaamisella menetelmällä, jossa saostuminen tapahtuu kapillaarissa ja kehitetään dynaamisia testimenetelmiä saostumisenestoaineiden tehokkuuden vertailuun.
Uniform Point Distributions and Their Voronoi Duals on Closed, Positively Curved Surfaces
Tasaiset pistejakaumat ja niiden Voronoi-duaalit suljetuilla, positiivisesti kaareutuvilla pinnoilla
Document lifecycle in property data management
Dokumenttien elinkaari kiinteistötiedon hallinnassa
Evaluation of Business Opportunities for Third Generation Mobile Systems User Services
Liiketoimintamahdollisuuksien arviointi kolmannen sukupolven matkapuhelinten käyttäjäpalveluille
Development of four-channel volume coil for an open MRI-system
4-kanavaisen voluumikelan toteuttaminen avoimeen magneettikuvauslaitteeseen
The Front End of Synthetic Aperture Radar's Digital Receiver
Synteettisen apertuurin tutkan digitaalisen vastaanottimen etupää
Compiling Bayesian Models to Simulator Softwave
Bayesilaisten mallien kääntäminen simulaatio-ohjelmiksi
A neural network solution to the inverse problem in electrical impedance tomography
Neuroverkkoratkaisu käänteisongelmaan impedanssitomografiassa
In this case the E-value was 24 % lower than in basic case.
Sen E-luku oli 24 % alempi kuin perustapauksen E-luku.
This phenomenon can been seen by looking the number of dozens of pending projects.
Tämä on havaittavissa hankkeiden määrässä, joita on vireillä kymmeniä.
Studied energy-saving solutions improved significantly energy efficiency of the building.
Tutkitut energiaa säästävät ratkaisut parantavat merkittävästi rakennuksen energiatehokkuutta.
On the other hand dense construction of buildings which includes high-rise buildings, can create new opportunities for energy savings.
Toisaalta tiivis rakentaminen, johon korkea rakentaminen kuuluu, luo energian säästämiselle uusia mahdollisuuksia.
High-rise building designing differ significantly from standard building projects.
Korkea rakentaminen eroaa tavallisesta rakentamisesta merkittävästi.
Wind pressure and pressure differences between different parts of the building can render abnormal problems.
Tuulenpaine sekä paine-erot rakennuksen eri osien välillä aiheuttavat normaalista rakentamisesta poikkeavia ongelmia.
Up to 45 % of energy contained of sewage can be recycled back to the domestic hot water production.
Sillä voidaan kierrättää jopa 45 % lämpimän käyttöveden lämmittämiseen käytetystä energiasta takaisin lämpimän käyttöveden tuotantoon.
Various solutions were observed in or-der to achieve better level of energy efficiency than the standard level of current Finnish construction regulations D3 (2012).
Työssä tar-kasteltiin ratkaisuja, joilla saavutetaan nykyisen D3(2012) mukaista vaatimustasoa parempi energiatehokkuus.
In Helsinki metropolitan area exists a growing interest of building high-rise buildings.
Pääkaupunkiseudulla on kasvavaa kiinnostusta korkeaan rakentamiseen.
Also SWHR had a significant impact on energy efficiency.
Myös jäteveden lämmöntalteenotolla oli merkittävä vaikutus energiatehokkuuteen.
Also, notable is that inside temperatures do not drop significantly, even if the design heating power is reduced more than half of the original.
Mitoitustehon alentamiseen liittyvässä tutkimuksessa huomattiin, että sisälämpötilat eivät putoa merkittävästi, vaikka mitoitustehoa alennetaan yli puoleen alkuperäisestä
Management of energy flows and power peaks in high-rise buildings
Korkeiden rakennusten energiavirtojen hallinta ja hyötykäyttö
The solution, where a ground source heat pump (GSHP) was used together with sewage water heat recovery and PV, was the most energy efficient solution.
Ratkaisu, jossa käytettiin lämmitysmuotona maalämpöä ja jota tehostettiin jäteveden lämmöntalteenotolla ja aurinkopaneeleilla osoittautui kaikkein energiatehokkaimmaksi ratkaisuksi.
In this thesis energy usage and ways to improve energy efficiency of a 35-storey building located in Kalasatama area in Helsinki was studied.
Tässä diplomityössä tutkittiin yhden Helsingin Kalasatamaan sijoittuvan 35-kerroksisen rakennuksen energiankäyttöä sekä keinoja parantaa sen energiatehokkuutta.
E-value target was not achieved in basic case (125.5 kWh/m2) where district heating and cooling were used as a main heating and cooling energy source.
Kaukolämmitetyn ja kaukojäähdytetyn perustapauksen tuloksilla (125,5 kWh/m2) ei saavutettu asetettua E-lukuvaatimusta.
Building envelope and inner air-tightness have significant impact (35 %) on the heating demand.
Tutkimuksessa havaittiin, että käytetyillä rakennuksen sisäisten vuotoreittien ja vaipan ilmanpitävyyden arvoilla oli jopa 35 % vaikutus rakennuksen lämmitysenergiantarpeeseen.
By using solar panels the amount of delivered energy can be reduced only by small amount, because of the limited roof surface area compared to the building size.
Korkeassa rakennuksessa paikanpäälle asennettavien paneeleiden kapasiteettia rajoittaa korkean rakennuksen katon pieni pinta-ala.
The main tool of research was IDA ICE energy simulation software.
Työn päätutkimusmenetelmänä oli IDA ICE-simulointiohjelmisto, jolla rakennuksen energiankäyttöä ja siellä esiintyviä fysikaalisia ilmiöitä tutkittiin.
The goal of this thesis was to achieve total energy consumption (E-value) of 116 kWh /m2,a which was determined in FInZEB-project for residential apartment buildings.
Tavoitetasoiksi valittiin FInZEB-hankkeessa määritetty asuinkerrostalon kokonaisenergiankulutuksen (E-luku) vaatimustaso 116 kWh/m2, a. Tutkimuksel-la pyrittiin dynaamista simulointia hyväksikäyttäen hakemaan energiavirtojen hallintaan ja hyötykäyttöön liittyviä teknisiä ratkaisuja, jotka energiataloudellisessa mielessä olivat kaikkein parhaimpia tarkasteltavalle rakennukselle.
Examined solutions were sewage water heat recovery (SWHR), photovoltaics panels (PV) and ground source heat pump (GSHP).
Tutkittavat energiaa säästävät ratkaisut olivat jäteveden lämmöntalteenotto, aurinkosähkö ja maalämpö.
Based on the obtained results, heating demand of each floor of the building is different based on elevation.
Saatujen tulosten perusteella voidaan sanoa, että kerroskohtainen energiankulutus muuttuu sen mukaan, mitä rakennuksen kerrosta tarkastellaan.
Two regression models were created.
Näiden pohjalta tehtiin kaksi regressiomallia.
Financial Shared Services Centre: Effects on audit fees
Taloushallinnon palvelukeskus: Vaikutukset tilintarkastuspalkkioihin
The final data consisted of 73 and 74 observations, respectively, and was relatively small.
Mallien havaintomääriksi jäi 73 ja 74 havaintoa, jotka ovat pieniä tilastolliseen analyysiin.
A financial shared centre can be viewed as an autonomous organization, where companies centralize their support activities motivated by cost savings and better service quality.
Taloushallinnon palvelukeskuksella tarkoitetaan itsenäistä organisaatiota, jonne yritys keskittää tukitoimintojaan kustannussäästöjen ja paremman palvelun laadun motivoimana.
Because most of the big multinational companies are using shared services centres nowadays to achieve cost savings, it is very interesting to examine whether the cost savings can be achieved through reduced audit fees also.
Koska valtaosa monikansallisista suuryrityksistä käyttää nykyään palvelukeskusta ja sillä tavoitellaan pääasiassa kustannussäästöjä, on mahdollinen tilintarkastuspalkkioissa tapahtuva säästö erittäin mielenkiintoinen tutkimuskohde.
The idea of a shared service centre is to standardize and harmonize processes within the group and provide quality services to internal clients.
Palvelukeskuksen ideana on standardoida ja harmonisoida prosessit koko konsernin tasolla ja tuottaa palveluita sisäisille asiakkaille, eli konserniin kuuluville yrityksille.
The first model compared the test group to the control group one year before and one year after implementing a SSC and the second model compared groups one year before and three years after the implementation.
Toisessa mallissa tarkasteltiin palvelukeskuksen implementoineita yrityksiä vuosi implementoinnin jälkeen verraten näitä kontrolliryhmään ja toisessa mallissa tarkasteltiin palvelukeskuksen implementoineita yrityksiä kolme vuotta implementoinnin jälkeen.
Mixed methods was chosen for methodology of this thesis by combining characteristics of both qualitative and quantitative methodology.
Tutkimus toteutettiin Mixed methods -tutkimuksena, jossa yhdisteltiin määrällisen ja laadullisen tutkimuksen piirteitä.
Three experienced auditors in the field of shared services audit were interviewed in the qualitative section.
Laadullisessa osiossa haastateltiin kolmea tilintarkastajaa, joilla on laaja kokemus palvelukeskustarkastuksesta.
The aim of this study is to examine how transferring financial activities into a shared services centre affects to audit process and hereby to audit fees.
Tämän tutkielman tarkoituksena on selvittää, miten taloushallinon palvelukeskuksen implementointi vaikuttaa tilintarkastusprosessiin ja sitä kautta yrityksen maksamiin tilintarkastuspalkkioihin.
It was hypothesized that a SSC increases audit fees in the first year due to increased error rates and risk, but after the transfer phase it affects negatively to audit fees due to economies of scale, increased transparency and decreased risk.
Palvelukeskuksen implementointi saattaa hypoteesin mukaan alussa nostaa palkkioita lisääntyneen riskin, päällekkäisyyksien ja virheiden johdosta, mutta toiminnan vakiintuessa sen pitäisi laskea palkkioita mm. skaalaetujen, lisääntyneen läpinäkyvyyden ja vähentyneen riskin myötä.
Because the results of the regression model were not statistically significant in the matter of SSC, the importance of the results from the interviews grew bigger.
Koska määrällisen osion tulos ei ollut tilastollisesti merkitsevä, korostuvat laadullisen osion tulokset.
A regression model with Difference-in-differences approach was built for the quantitative section.
Määrällinen osio toteutettiin regressioanalyysina hyödyntäen Ero eroissa -menetelmää (Difference-in-differences).