natgillin/translations-raw huggingface dataset:
The theory part of the thesis covers typically concrete structures, moisture content and drying of concrete and measuring of moisture content of concrete.
Tutkimuksen teoriaosuudessa käytiin lävitse tyypillisiä betonirakenteita, betonin sisältämää kosteutta, betonin kuivumista sekä betonin kosteuden mittausta.
Eight different slabs and weighing pieces were casted in the practical part of this study.
Tutkimusosuudessa valettiin kahdeksan erilaista laattaa ja punnituskappaletta.
The averages of differences of concretes’ relative humidity were compared in the analyzing part.
Tulosten analysoinnissa vertailtiin ominaisuuskohtaisesti betonien suhteellisten kosteuksien erojen keskiarvoja.
The effect of temperature of surrounding air was studied on concrete’s degree of hydration and its moisture content.
Lisäksi ympäristön lämpötilan vaikutusta tutkittiin betonin kuivumiseen ja hydrataatioasteeseen.
The effect of the grade of concrete on its degree of hydration and moisture content
Betonilaadun vaikutus betonin hydrataatioasteeseen ja kosteuspitoisuuteen
Different relative humidity measurement equipment was also compared in the thesis.
Tämän ohessa tehtiin vertailua eri suhteellisen kosteuden mittauslaitteiden välillä.
The effect of the properties of concrete was studied on its degree of hydration and moisture content in this thesis.
Työssä tutkittiin betonin eri ominaisuuksien vaikutusta betonin kuivumiseen ja hydrataatioasteeseen.
Development of earth fault compensation in Finnish MV networks
Maasulun kompensoinnin kehittyminen Suomen keskijänniteverkoissa
Symbolic Methods for Transducers and Testing
Symboliset metodit muuntimille ja testaukseen
Fusion is supported by further reductions based on reachability analysis and automata minimization.
Fuusiota täydentävät saavutettavuusanalyysiin ja automaattien minimointiin perustuvat supistusmenetelmät.
The new algorithm DPOR-CR is shown to explore significantly fewer tests.
Uuden algoritmin DPOR-CR:n näytetään käyvän läpi huomattavasti vähemmän testisuorituksia kuin alkuperäinen.
Symbolic methods reason about groups of values.
Symboliset metodit päättelevät joukoilla arvoja.
The evolution of modern satisfiability modulo theories (SMT) solvers has enabled an increasing variety of symbolic applications that require efficient reasoning in rich logics, such as bit vectors and arrays.
Modernien satisfiability modulo theories (SMT) -ratkaisimien evoluutio on mahdollistanut kasvavan valikoiman symbolisia sovelluksia, jotka vaativat päättelyä rikkailla logiikoilla, kuten bittivektoreilla ja taulukoilla.
In the areas of stream processing and Big Data analytics, it is desirable to be able to represent computations as pipelines of modular processing stages.
Tietovirtojen käsittelyssä ja suuren datan analytiikassa on hyödyllistä pystyä esittämään laskentaa sarjana modulaarisia vaiheita.
This dissertation contributes applications of symbolic methods in the areas of stream processing, test generation and software verification.Symbolic automata and transducers are generalizations of their respective classical models that shift reasoning about inputs to an SMT solver, which allows efficient use of very large alphabets.
Tämä väitöskirja edistää symbolisten metodien sovelluksia tietovirtojen käsittelyssä, testien generoinnissa ja ohjelmistojen verifioinnissa.Symboliset automaatit ja muuntimet ovat vastaavien klassisten mallien yleistyksiä, jotka siirtävät syötteisiin liittyvää päättelyä SMT-ratkaisimelle, mikä mahdollistaa erittäin suurten aakkostojen tehokkaan käytön.
Furthermore, a proof is presented that data races can be cheaply checked for during DPOR.
Lisäksi todistetaan, että synkronoimaton jaetun muistin käyttö voidaan tarkistaa edullisesti DPOR:n aikana.
The Dash algorithm combines concolic testing with a predicate abstraction.
Dash-algoritmi yhdistää dynaamisen symbolisen suorituksen ja predikaattiabstraktion.
SMT solvers remove barriers for employing solver technology in the development of symbolic methods.
SMT-ratkaisimet helpottavat ratkaisinteknologian käyttöä symbolisten metodien kehityksessä.
The tool generates efficient fused code, which is shown to provide comparable performance to a sample of real-world, hand-optimized, monolithic code, as well as greater performance than alternative methods of composing modular pipelines of stream computations.Concolic testing is a popular approach for implementing symbolic execution, which commonly uses SMT solvers to efficiently generate test inputs.
Työkalu tuottaa tehokasta koodia, jonka näytetään olevan suorituskyvyltään vertailukelpoista näytteeseen käsin optimoitua ei-modulaarista koodia, sekä tehokkaampaa kuin vaihtoehtoisilla menetelmillä fuusioidut ohjelmat.Dynaaminen symbolinen suoritus käyttää SMT-ratkaisimia generoidakseen tehokkaasti syötteitä testaukseen.
This dissertation presents an implementation of Dash for automati- cally verifying sequential C programs on the LLVM compiler framework.
Tämä väitöskirja esittelee LLVM kääntäjäkirjastoa käyttävän toteutuksen Dash-algoritmista C-ohjelmien automaattista verifiointia varten.
This dissertation presents an improvement to the dynamic partial order reduction (DPOR) algorithm, which exploits the commutativity of read operations to enable more reduction.
Tämä väitöskirja esittelee uuden version dynaamisesta osittaisjärjestysreduktiosta (DPOR), joka mahdollistaa lukuoperaatioiden kommutatiivisuuden hyödyntämisen.
The resulting tool LCTD shows competitive results on a set of benchmarks drawn from SV-COMP.Partial order reduction is an approach for exploring reduced sets of interleavings between threads in a multi-threaded program.
Toteutettu työkalu LCTD on kilpailukykyinen vertailtuna joukolla SV-COMP-kilpailusta haettuja ohjelmia.Osittaisjärjestysreduktio on lähestymistapa, jolla voidaan käydä läpi supistettuja joukkoja rinnakkaisten ohjelmien testisuorituksia menettämättä virheiden saavutettavuutta.
Pipelines represented as symbolic transducers can be efficiently fused into a single stage, which reduces communication overhead and enables further reductions.This dissertation presents a tool that applies fusion to pipelines of symbolic transducers specified in a variety of frontend languages.
Lisäksi näin yhdistettyjä muuntimia voidaan edelleen supistaa.Tämä väitöskirja esittelee työkalun, joka soveltaa fuusiota erinäisillä ohjelmointikielillä esitettyjen symbolisien muuntimien sarjoista koostuviin ohjelmiin.
A refinement strategy for the LLVM intermediate representation is presented and design considerations for reducing memory usage and improving verification performance are discussed.
Tämä sisältää selityksen siitä, miten Dash-algoritmi toteutetaan LLVM:n välikielelle, sekä tavan parantaa verifoinnin suorituskykyä.
The overall failure costs were 1 318 361 euro of which 69 percent originated from planning and actions of the client.
Virheiden kokonaiskustannusvaikutukseksi saatiin 1 318 361 euroa, joista 69 prosenttia yhdistettiin suunnitteluun ja rakennuttajan tekemiin virheisiin.
14 housing projects were monitored during the production phase for a period of three months.
Tutkimuksessa seurattiin 14 asuntorakentamisen työmaata kolmen kuukauden ajan.
Altogether 242 defects were registered and described in detail.
Virheistä tehtiin yhteensä 242 havaintoa, joista jokainen analysoitiin yksityiskohtaisesti.
The research revealed that in the production of residential buildings in the target company, defects happen periodically on irregular situations and they cause significant cost effects.
Tutkimus osoitti, että kohdeyrityksen asuntotuotannossa esiintyy säännöllisesti epätavallisissa tilanteissa virheitä, joiden kustannusvaikutukset ovat merkittäviä.
Half of the total failure costs were pointed to the client, 36 percent to the contractor and the rest of the costs to other actors at the site.
Virhekustannuksista puolet osoitettiin rakennuttajalle, 36 prosenttia pääurakoitsijalle ja loput jakautuivat muille työmaan toimijoille.
In the production phase observed defects and their costs in residential building projects
Asuntorakentamisen työmaavaiheessa havaittavat virheet ja niiden kustannukset
The aim of this research was to collect new empirical material of defects that occur on construction sites.
Tämä diplomityö keskittyi uuden empiirisen materiaalin keräämiseen rakentamisen aikana työmaalla ilmenevistä virheistä.
To eliminate the causes the company should concentrate on improving the knowledge of the management team and the constructability of designs already at the stage of the initial design stage.
Virheiden eliminoimiseksi jatkossa tulisi keskittyä työmaan työnjohdon osaamisen kehittämiseen sekä suunnitelmien rakennettavuuden parantamiseen jo suunnittelun alkuvaiheesta lähtien.
Only two percent of total failure costs were pointed to designers.
Suunnittelijan osuus kustannuksista oli vain kaksi prosenttia.
After all the research shows that in the worst case the defects during construction phase can decrease the contractor’s margin even by 10 percent.
Tutkimus antaa viitteitä siitä, että tuotannon aikana esiin tulevat virheet voivat heikentää pääurakoitsijan työmaakatetta jopa 10 prosenttia.
The dominant causes of the defects were lack of information and motivation.
Suurimmaksi virheisiin johtavaksi syyksi nähtiin huolimattomuus sekä kommunikoinnin puute.
At each construction site management team members acted as observers of defects.
Virheiden havaitsijana toimivat kunkin työmaan työnjohtajat.
The defects were defined as deviations from actions that were planned and occurred at the site.
Virhe määriteltiin työmaalla havaittavana poikkeamana suunnittellusta toiminnasta.
The biggest failure costs were caused by lack of knowledge.
Eniten virhekustannuksia aiheuttivat puutteet eri toimijoiden osaamisessa ja kokemuksessa.
It seems that the causes of defects are originating from the common culture of construction.
Näiden virheiden syyt saattavat liittyä tapaan hoitaa ja käsitellä asioita, jolloin ne ovat ongelmia, joista on tullut osa voimassa olevaa rakentamisen kulttuuria.
The concrete element work was the most critical work phase.
Työvaihetasolla virheitä tapahtui eniten betonielementtitöissä.
Unfortunately we do not find evidence of production of new massive particles, and thus we exclude a series of theory predictions up to 8 TeV resonance masses.
Valitettavasti emme löydä viitteitä uusien raskaiden hiukkasten olemassaolosta, joten suljemme pois teorioiden ennustamia hiukkasia aina 8 TeV:n massaan asti.
The behavior of partons is governed by the rules of Quantum Chromodynamics (QCD), the theory of the strong force.
Partonien käyttäytymistä kuvaava teoria on kvanttiväridynamiikka (Quantum Chromodynamics, QCD).
In the second half of the thesis we apply our understanding of jets to searches for new massive elementary particles, which are predicted by theoretical models that try to explain the shortcoming of the current theoretical understanding.
Väitöskirjan toisessa osassa sovellamme ymmärrystämme ryöpyistä ja etsimme niiden avulla uusia raskaita alkeishiukkasia, joita teoriamallit ennustavat ratkaistakseen nykyiseen ymmärrykseemme liittyviä puutteita.
When we collide protons at the Large Hadron Collider (LHC) of CERN, the European Organization for Nuclear Research, what actually collides are the quarks and gluons, collectively partons, that make up the protons.
Kun törmäytämme protoneita toisiinsa Euroopan hiukkastutkimuskeskus CERN:n Suuressa Hadronitörmäyttimessä (Large Hadron Collider, LHC), todellisuudessa vuorovaikuttavat protonien rakenneosat eli kvarkit ja gluonit, kollektiivisesti partonit.
The studies on the one hand demonstrate the excellent performance of the CMS jet reconstruction, detector simulation and the particle-flow algorithm, but on the other hand show where further studies are needed and open a series of questions and ideas for future jet particology research.
Tutkimustulokset osoittavat toisaalta, että CMS-kokeen particle-flow rekonstruktio ja ilmaisimen tietokonemallinnus toimivat erinomaisesti, mutta toisaalta myös herättävät uusia kysymyksiä ja näyttävät, missä lisäkehitys hiukkasryöppyjen tutkimuksessa on tarpeen.
QCD has a peculiar property called confinement, which prevents partons from moving freely and forces the formation of composite particles called hadrons.
QCD:lla on erikoinen ominaisuus nimeltään partonien vankeus, joka estää kvarkkeja ja gluoneita liikkumasta vapaasti.
For maximal discovery potential, our strategy is to look for everything that interacts with quarks and gluons in an analysis called the dijet resonance search.
Maksimoidaksemme analyysin mahdollisuudet uuteen löytöön etsimme vastakkaisten hiukkasryöppyjen analyysissä kaikkia mahdollisia hiukkasia, jotka vuorovaikuttavat kvarkkien ja gluonien kanssa.
We study 13 teraelectronvolt (TeV) proton-proton collisions of the LHC and look for events with back-to-back jets, which is the experimental signature of a heavy particle decaying to partons.
Analysoimme LHC:n tuottamia 13 teraelektronivoltin (TeV) protonitörmäyksiä ja etsimme niistä vastakkaisiin suuntiin syntyneitä hiukkasryöppyjä.
Jets are thus building blocks of the majority of the LHC physics analyses, and a thorough understanding of their behavior is very important for achieving precise physics results.
Jettejä syntyy käytännössä jokaisessa LHC:n törmäystapahtumassa ja ne ovat osa lähes jokaista kokeellisen hiukkasfysiikan analyysiä.
Whenever we try to separate a quark from a proton, what results is a burst of hadrons that we call a jet.
Yrittäessämme erottaa partonia protonista seuraa reaktio, jossa syntyy hiukkasryöppy eli jetti.
In the first half of this thesis I present a series of pioneering studies of jets at the particle level, including measurements of jet energy composition, jet response and mitigation of the effects of pileup, the unwanted noise caused by simultaneous proton-proton collisions.
Tutkin muun muassa niiden energiakoostumusta ja mittausvastetta ilmaisimissamme sekä sitä, miten useiden samanaikaisten hiukkastörmäysten aiheuttamaa taustakohinaa voidaan vähentää.
By virtue of the particle-flow event reconstruction used in the Compact Muon Solenoid (CMS) experiment, for the first time we can actually take a good look inside the jets and directly measure what the jets are made of, what kind of particles carry most of the energy etc. We call these in-depth jet studies jet particology.
Tämän menetelmän ansiosta voimme ensi kertaa tutkia jettejä hiukkastasolla ja esimerkiksi määrittää, miten ryöpyn energia jakautuu eri hiukkastyypeille.
This search reaches to the highest energies ever achieved in a collider and we observe events with up to 8 TeV dijet masses.
Tällä analyysistrategialla pystymme tutkimaan korkeampia energia-alueita kuin koskaan ennen hiukkastörmäyttimissä on tutkittu.
Independent component analysis is a relatively new computational technique for finding hidden components in a multivariate data or signals.
Riippumattomien komponenttien analyysi (ICA) on suhteellisen uusi laskennallinen tekniikka, jonka tarkoituksena on löytää moniulotteisessa aineistossa tai signaaleissa piilevät riippumattomat komponentit.
We also introduce several ICA applications with the most known of them being the cocktail party problem.
Lisäksi testaamme, mikä vaikutus estimaattien toimintaan poikkeavilla havainnoilla on. Työssä esitellään myös muutamia ICA sovelluksia, niistä tunnetuimpana cocktail-juhla-ongelma.
In cocktail party problem the speech signals are separated from sample signals recorded in a room where several people are speaking simultaneously.
Cocktail-juhla-ongelmassa yritetään erottaa alkuperäiset äänisignaalit toisistaan tilanteessa, jossa huoneessa on useampi samanaikainen puhuja ja äänisignaalit sekoittuvat toisiinsa.
Our results show that the outliers can have a very strong effect on the estimates depending on the original data distributions.
Simulaation tulokset näyttävät, että poikkeavilla havainnoilla voi olla hyvinkin suuri vaikutus estimaattien toimivuuteen riippuen alkuperäisestä datasta.
In recent years ICA has become more known method as computation capacity has grown and more information has become digitalized, making ICA computations possible also for real time situations.
ICA on tullut entistä relevantimmaksi aineistojen ja tietokantojen muuttuessa digitaalisiksi sekä kasvavan laskentatehon mahdollistamien laskujen myötä.
In simulations we use Minimum Distance-index to measure the performance of these estimates.
Estimointien vertailuun käytetään Minimum Distance-indeksiä, jolla voi verrata estimaattien sopimista alkuperäiseen aineistoon.
However we did not observe much difference between estimates based on different scatter matrices.
Eri hajontamatriiseihin perustuvien estimaattien välillä emme kuitenkaan löytäneet suuria eroja lukuunottamatta tiettyjä tilanteita, joissa estimaattien toimivuus oli todella hyvä.
The purpose of this study is to find out if there is any benefit from using robust scatter matrix estimates.
Yhtenä työn lähtökohtana on tutkia onko robustimpien hajontamatriisien käytöstä hyötyä perinteisiin hajontaestimaatteihin verrattuna.
In this thesis, we conduct a simulation study to compare different scatter matrix based independent component analysis estimates.
Tämä työ on simulaatiotutkimus, jossa tutkitaan eri hajontamatriisien toimintaa ICA estimaattien laskemisessa.
The difference was observable only in certain situations where the estimates were very close to the original data and based on our results we would recommend to always test several scatter matrix combinations and choose the suitable combination for each data.
Tulostemme perusteella suosittelemme aina valitsemaan dataan parhaiten sopivan hajontamatriisi yhdistelmän.
Methodology in geometric modelling
Geometrisen mallituksen menetelmät
A software architecture for high-performance video processing
Ohjelmistoarkkitehtuuri korkeansuorituskyvyn videokäsittelyyn
I have also compared GPU and multi-core CPU processing and in my video processing benchmark a single GPU can run 4 - 20 times faster than CPU only solution depending on how many processing threads are used.
Vertailen myös grafiikka- ja moniydinsuorittimien suorituskykyä, missä testissäni yksi grafiikkasuoritin on 4 - 20 kertaa tehokkaampi kuin moniydinsuoritin riippuen käytettyjen prosessointisäikeiden määrästä.
The framework and its video processing component library can be used with high-level scripting languages to make applications development easier and faster.
Videonkäsittelykomponenttikirjastoamme ja ohjelmistoalustaamme on mahdollista käyttää myös korkeantason ohjelmointikielillä, mikä tarjoaa helpomman ja nopeamman tavan kehittää sovelluksia.
Last part of this thesis provides tests results of a prototype system made to verify system scalability and efficiency.
Lopuksi esittelen tuloksia esittelemäni järjestelmän prototyypillä tehdyistä testeistä, joilla mittaan järjestelmän tehokkuutta ja skaalautuvuutta.
These results show that our system has good scalability and can run with over five times performance on an eight core computer when compared to a single threaded execution.
Testattaessa kahdeksan suoritinytimenjärjestelmällä tulokset osoittavat, että järjestelmä kykenee toimimaan monisäikeistettynä yli viisinkertaistella suorituskyvyllä verrattuna vain yhteen prosessointisäikeeseen.
Real-time digital video processing is computationally very demanding and traditionally requires specialized custom video processing hardware.
Reaaliaikainen videonkäsittely on laskennallisesti vaativaa ja perinteiset järjestelmät käyttävät usein erikoislaitteita videonkäsittelyyn.
The framework enables easy development of video processing systems through rapid prototyping on general purpose computers while simultaneously provides solid foundation for building complex video processing applications.
Ohjelmistoalusta mahdollistaa nopean prototyyppien kehityksen yleisesti saatavilla olevilla tietokoneilla ja samalla tarjoaa tehokkaan rungon monimutkaisten videonkäsittelyohjelmistojen kehittämiseen.
I will explain how dynamic real-time execution scheduler can do parallel and efficient execution of those filter graphs.
Lisäksi esittelen miten nämä graafit voi ajoittaa ja tosiaikaisesti suorittaa tehokkaasti rinnakkaistietokoneilla.
The recent emergence of multi-core processors and programmable graphics processing units has brought great performance potential for software based video processing.
Ohjelmoitavien grafiikka- ja moniydinsuorittimien viimeaikainen kehitys tarjoaa runsaasti suorituskykyä ohjelmistopohjaiseen videonkäsittelyyn, mikä mahdollistaa korkean suorituskyvyn rinnakkaislaskennan.
The subject of this thesis is the study of high performance video processing with a new software framework for modern parallel computers.
Tässä diplomityössä olen tutkinut videonkäsittelyssä käytettävää ohjelmistoarkkitehtuuria ja kehittänyt ohjelmistoalustan korkeaa suorituskykyä vaativille televisiontuotantojärjestelmille käyttäen moderneja rinnakkaisia tietokoneita.
In order to solve this, I propose a new software architecture that implements filter graph based framework for video processing similar to existing multimedia frameworks, but with parallel execution model.
Esittelen uuden ohjelmistoarkkitehtuurin rinnakkaiseen videonkäsittelyyn, mikä hyödyntää aikaisemmissa multimedia-alustoissa käytettyjä suodatingraafeja, mutta lisäksi laajentaa niitä rinnakkaisella prosessointimenetelmällä.
The framework can flexibly mix both GPU and CPU processing elements to get benefit of both and exploits both fine-grain and coarse-grain parallelism that is often available in video processing applications.
Esittelemäni järjestelmä kykenee käyttämään sekä grafiikka- että moniydinsuorittimia ja pystyy näin hyödyntämään videonkäsittelyssä usein ilmenevää monimuotoista rinnakkaisuutta tehokkaasti.
However, current video processing software for this heterogeneous computing environment is still lacking behind, and does not scale when more parallel computing resources are made available.
Kuitenkaan nykyiset ohjelmistot eivät kykene tehokkaasti käyttämään näitä rinnakkaisia järjestelmiä.
It is scalable and high performance while using only standard CPU and GPU components.
Tämä uusi järjestelmämme on skaalautuva ja kykenee tehokkaasti käyttämään sekä moniydinsuorittimia että grafiikkasuorittimia.
The main goal of the framework is to efficiently use parallel computing resources in demanding video processing applications for television broadcast production systems.
Järjestelmällä muodostetaan suodatingraafeja, jotka kuvaavat tietovuota videonkäsittelyprosesseissa.
Enhancing Performance of SIP Presence Service
SIP Läsnäolopalvelun Tehostaminen
Thermomechanical model for freezing soil and its computer implementation
Maan routimisen termomekaaninen malli ja sen laskelmat
Reduction of voltage stresses and bearing currents of the induction motor fed by a frequency converter
Taajuusmuuttajalla syötetyn oikosulkumoottorin jänniterasitusten ja laakerivirtojen pienentäminen
Transmission of the building management and control services through telenetworks
Kiinteistövalvontapalveluiden välittäminen televerkkojen avulla
The meaning of the word strategy in different social science disciplines
Strategia-termin merkitys eri yhteiskuntatieteen aloilla
The measurement and characterisation of undulator radiation
Undulaattorisäteilyn mittaus ja karakterisointi
Acoustic measurements of polymer materials
Polymeerien meluominaisuuksien tutkiminen
Online services are evolving rapidly from simple message relaying, file transfer and storage solutions to complex professional applications that used to be strictly tethered to the desktop computer.
Verkkopalvelut kehittyvät nyt nopeasti viestien välityksestä, tiedonsiirrosta ja -säilömisestä kohti ammattimaisia sovelluksia, jotka olivat ennen kiinteästi vain työasemasovelluksia.