natgillin/translations-raw huggingface dataset:
Usability throughout the life-cycle means in this context usability that the end-user encounters, but also usability for the factory worker, the wholesaler, the assembler and for the repair man. By increasing the usability in every step in the products life-cycle, it is supposed that the costs sink and the overall competence increase.
Tukkuri haluaa helposti varastoitavan ja kevyen tuotteen, kun taas asentajan kannalta mahdollisimman valmiiksi koottu tuote alentaa asentamisen työmäärää ja kustannuksia.
The partner company is weighting different possibilities to enhance its position on the markets and that is why one objective of the thesis is to find out different possibilities to change and amend actions related to cable distribution cabinets.
Tuotteita tarkastellaan niin tuote-kuin markkinatasolla ja päämääränä on selvittää miten ja millaisilla tuotteilla nykymarkkinoilla pärjätään.
The use of zone model simulation of fire in an insurance company
Tulipalon vyöhykemallisimuloinnin käyttövakuutusyhtiössä
Electron transport through semiconductor heterostructures
Elektronien kuljetusominaisuudet puolijohdekerrosrakenteissa
Creating Tools to Import and Edit Biological Systems Data
Työkalujen luominen systeemibiologisen datan siirtämiseen ja muokkaamiseen
Normalization and Rewriting for Answer Set Programming and Optimization
Sääntöpohjaisten haku- ja optimointiohjelmien normalisointi ja uudelleenkirjoitus
Such problems can be solved both in theory and also increasingly in practice by ASP technology.
Tällaisia ongelmia voidaan ratkaista ASP-pohjaisilla algoritmeilla sekä teoriassa että monesti käytännössäkin.
Answer-set programming (ASP) is an automated problem-solving paradigm specifically suitable for combinatorial search and optimization problems.
Sääntöpohjainen rajoiteohjelmointi (answer-set programming, ASP) on kombinatoristen haku- ja optimointiongelmien laskennallinen ratkaisukeino.
The methods belong to two novel classes of ASP transformations: optimization rewritings, aimed at enhancing optimization performance, and firstorder lazy-normalizations aimed at extending the applicability of lazy-grounding in general.
Nämä kuvatut menetelmät perustuvat ASP-ohjelmamuunnoksiin, jotka jakautuvat kahteen uuteen luokkaan: optimointiehtojen uudelleenkirjoittamiseen (optimization rewriting) optimointitehokkuuden lisäämiseksi ja ensimmäisen kertaluokan laiskaan normalisointiin(first-order lazy-normalization) laiskojen hakualgoritmien sovellettavuuden laajentamiseksi.
In more detail, the contributions of this thesis focus on ASP optimization algorithms as well as ASP search algorithms based on so-called lazy-grounding.
Tämän väitöskirjan tavoite on edistää ASP-menetelmien tehokkuutta keskittymällä toisaalta optimointialgoritmeihin ja toisaalta sellaisiinhakualgoritmeihin, jotka instantioivat muuttujia laiskasti (lazy-grounding).
In particular, early versions of the techniques attained first place in the optimization track of the sixth edition of the series [56].
Kyseiset parannukset ovatkin siivittäneet niihin perustuvan ASP-ratkaisinohjelman ensimmäiselle sijalle ASP-toteutusten suorituskykyvertailun optimointikategoriassa [56].
Moreover, the included work on lazy-grounding removed an obstacle previously preventing lazy-grounding from being applied to broad classes of programs that are central to the ASP paradigm.
Väitöskirjassa esistetyt laiskojen hakualgoritmien laajennukset kattoivat keskeisiä ASP-ohjelmaluokkia, joitaniillä ei aiemmin ole kyetty ratkomaan.
On the topic of transformations, this dissertation moreover presents novel systematic ways to test and verify the correctness of certain types of ASP transformations.
Ohjelmamuunnoksien lisäksi väitöskirjassa esitellään uusia varmennuskeinoja ASP-ohjelmamuunnoksien oikeellisuudelle.
These verification methods are distinct in the way they compare programs, which has been designed to reflect the behavior of standard ASP solvers to be as practically relevant as possible.
Nämä esitetyt varmennuskeinot ovat poikkeuksellisia niiden käytännönläheisen ohjelmien vertailutavan vuoksi.
To these ends, several methods are proposed and shown theoretically and experimentally to have measurable performance increasing potential.
Näihin todisteisiin lukeutuu sekä teoreettisia tarkasteluita että laskennallisia kokeita.
It also allows customizations for individual customers and products.
Lisäksi toimintaa voidaan muokata erilaiseksi eri asiakkaille ja tuotteille.
Product line architecture enables greater reuse of software components.
Arkkitehtuurin avulla ohjelmiston komponenttien uudelleenkäyttöä voidaan parantaa.
The testing of single applications takes place after domain testing so it can be said that some savings were achieved by automatic unit testing, because errors were found earlier.
Yksittäisten tuotteiden testaus taas tapahtuu vasta tuotelinjan testauksen jälkeen, joten automaattisella yksikkötestauksella saavutettiin jonkin verran säästöjä, koska virheet havaittiin aikaisemmin.
Measurements were used to get insight of how the implemented unit testing system and the automated unit tests affected software testing and quality.
Mittausten avulla muodostettiin käsitys siitä, miten toteutettu yksikkötestausjärjestelmä ja automaattiset yksikkötestit vaikuttavat ohjelmiston testaukseen ja laatuun.
Analysis of errors found during automatic unit testing indicated that the majority of errors would not have been found until application testing.
Yksikkötestauksessa havaittujen virheiden analysointi osoitti, että suurin osa yksikkötesteissä havaituista virheistä olisi havaittu vasta yksittäisten tuotteiden testauksen yhteydessä.
The objective of this work is to examine what are the problems of testing the specific software and which problems can be solved with automatic unit testing.
Työn tarkoitus on kartoittaa kohdejärjestelmän testauksessa olevat haasteet ja selvittää, mitkä niistä voidaan ratkaista automaattisella yksikkötestauksella.
The problem in testing during domain engineering is that variability is not yet bound.
Tuotelinjan sovelluskehitys- prosessissa tapahtuvan testauksen todettiin kuitenkin olevan vaikeaa, koska varioitavuutta ei ole vielä siinä vaiheessa sidottu.
Automatic unit testing of product line architecture
Ohjelmistotuotelinjan automaattinen yksikkötestaus
Previous researches however have shown that software quality can he improved by automatic testing.
Kirjallisuudessa esitetyissä tutkimuksissa testien automatisoinnin on kuitenkin todettu parantavan ohjelmiston laatua.
Customized testing tools are needed to enable testing when variability is not yet bound so unit testing framework was added to the planned testing system.
Kirjallisuuden mukaan varioitavuuden sitomiseksi tarvittiin varioitavuuden huomioon ottavia työkaluja ja suunniteltuun yksikkötestausjärjestelmään lisättiinkin yksikkötestauskehys, joka laajennettiin käsittelemään tuotelinjan varioitavuutta.
This work studies automatic unit testing of specific software that is web-based and uses product line architecture.
Kohdejärjestelmä on Internet-pohjainen sovellus, joka noudattaa ohjelmistotuotelinja-arkkitehtuuria.
The objective of literature survey was to research which techniques exist for automatic unit testing and what are the characteristics of automatic unit testing.
Tavoitteen saavuttamiseksi työssä toteutettiin kirjallisuuskatsaus, jossa kartoitettiin olemassa olevia testausmenetelmiä, automaattisen yksikkötestauksen ominaisuuksia ja tuotelinja-arkkitehtuurin vaikutuksia testaukseen.
In product line architecture unit testing is more efficient during domain engineering than application engineering according to literature.
Kirjallisuuden perusteella tehokkain tapa toteuttaa yksikkötestausta tuotelinja-arkkitehtuurissa on tuotelinjan sovelluskehitysprosessin yksikkötestausvaiheessa.
The results also helped to assess suitability of the selected tools to testing.
Lisäksi automaattisten yksikkötestien toteutuksen yhteydessä saatiin parempi kuva valittujen työkalujen soveltuvuudesta automaattisen yksikkötestauksen toteuttamiseen.
Based on the results from the empirical study the implemented solution allowed testing during domain engineering.
Testien toteutuksen yhteydessä kerättyjen tulosten perusteella testausjärjestelmä mahdollisti automaattisen yksikkötestauksen tuotelinjan sovelluskehitysprosessissa.
There was no clear evidence of improved quality based on the results from this study.
Mittaustulosten perusteella ei pystytty selkeästi osoittamaan käytetyn järjestelmän vaikutusta ohjelmiston laatuun.
Empirical study was performed after the implementation of the automatic unit testing system.
Tässä työssä perehdytään erään järjestelmän automaattisen yksikkötestauksen toteuttamiseen.
One objective is also to introduce automatic unit testing as one of the activities in the software engineering process that is used to develop the specific software.
Lopullisena tavoitteena on, että tämän työn tuloksena automaattinen yksikkötestaus saadaan osaksi sovelluskehitysprosessia.
The open interview surveyed the problems involved in testing the software.
Testauksessa olevia haasteita kartoitettiin pienimuotoisella avoimella haastattelulla.
Existing O-MI node implementations may convert the JSON messages to XML format without losing meaningful information.
Olemassa olevat O-MI-noodi toteutukset voivat muuntaa JSON-viestit XML-formaattiin menettämättä tärkeää informaatiota.
The standard is currently under development and this work employs the Draft-07 version of the standard.
JSON Schema -standardi on vielä kehitteillä ja tässä työssä käytetään standardin Draft-07 versiota.
This work utilizes the two JSON technologies to define JSON implementation for existing XML based IoT standards: O-MI and O-DF.
Tämä työ hyödyntää edellä mainittuja JSON-teknologioita määritettäessä JSON-toteutus olemassa oleville XML-pohjaisille IoT-standardeille: O-MI ja O-DF.
JSON-LD is a method to encode linked data in JSON format and, among other things, provides a native way to manage XML namespaces by defining a context mapping that maps terms to Internationalized Resource Identifiers (IRIs).
JSON-LD on tapa esittää yhdistettyä tietoa (linked data) JSON-formaatissa ja tarjoaa muun muassa tavan käsitellä XML-nimiavaruudet määrittämällä kontekstikartoituksen, joka yhdistää termit IRI-muotoon (Internationalized Resource Identifier).
On the other hand, the JSON-LD implementation of the standards introduces some additional features that existing O-MI nodes would have to implement for compatibility.
Esitelty JSON-LD -formaatti kuitenkin tuo mukanaan toiminnallisuuksia, jotka O-MI-noodien tulee toteuttaa täyden yhteensopivuuden takaamiseksi.
With JSON becoming the most used text based data interchange format over XML, defining JSON implementations for existing XML based standards is gaining attention.
JSON-formaatin suosion ohittaessa XML:n käytetyimpänä tekstipohjaisena tiedonsiirtoformaattina kiinnostus luoda JSON-toteutus olemassa oleville XML-pohjaisille standardeille kasvaa.
Entities that communicate using the O-MI/O-DF standards are called O-MI nodes.
Standardien avulla kommunikoivia sovelluksia kutsutaan O-MI-noodeiksi (O-MI node).
JSON Schema is a standard validating JSON documents against a schema document, similarly to XML schema, which can be used to validate XML documents against an XML schema.
JSON Schema on standardi, joka mahdollistaa JSON-asiakirjojen rakenteen tarkistamisen skeematiedoston avulla samalla tavalla kuin XML-skeema mahdollistaa XML-asiakirjojen rakenteen tarkistamisen.
The JSON schema provided in this work is functionally equivalent to the XML schema used to define the O-MI/O-DF standards and can be used to validate JSON messages to ensure compatibility with the XML version.
Tässä työssä esitellyt JSON-skeematiedostot vastaavat toiminnallisesti XML-skeemoja, joiden avulla O-MI- ja O-DF-standardit on määritelty.
The open standards O-MI/O-DF are defined to ensure the interoperability between different IoT platforms, where O-MI defines the communication protocol and O-DF defines the data format.
Avoimet standardit O-MI ja O-DF on kehitetty takaamaan IoT-alustojen yhteensopivuus.
XML provides powerful tools, such as namespaces and schema validation, but emerging technologies such as JSON Schema and JSON-LD also provide same kind of functionality to JSON format.
JSON Schema ja JSON-LD ovat kaksi nousevaa teknologiaa, jotka mahdollistavat vastaavat toiminnallisuudet JSON-formaattiin.
Liquid chromatographic determination of carotenoids, retinol and alpha-tocopherol in plasma
Karotenoidien, retinolin ja alfa-tokoferolin nestekromatografinen määrittäminen plasmasta
Corporate Operations and Application of Asynchronous Transfer Mode (ATM)
Yrityksen operatiivinen toiminta ja asynkronisen toimintamuodon (ATM) soveltaminen yritysverkossa
Tastes and meanings
Makuja - merkityksiä
Biomass gasification is an efficient and environmentally friendly alternative to produce bioenergy and contribute to resolving future energy needs.
Biomassan kaasutus on tehokas ja ympäristöystävällinen vaihtoehto tuottaa bioenergiaa ja ratkaista osaltaan tulevaisuuden energiatarpeita.
Catalytic hot gas clean-up is an efficient method to decompose both hydrocarbons and ammonia.
Katalyyttinen kuumakaasupuhdistus on tehokas tapa hajottaa sekä aromaattisia hiilivetyjä että ammoniakkia.
Catalytic clean-up of biomass derived gasification gas with zirconia based catalysts
Biomassan kaasutuskaasun katalyyttinen puhdistus zirkoniapohjaisilla katalyyteillä
The impurities of the gasification gas, such as tar and ammonia, need to be removed to enable the use of the gas in any of its applications such as in electricity or liquid biofuels production.
Kaasutuskaasussa olevat epäpuhtaudet, erityisesti terva ja ammoniakki, on poistettava kaasusta, jotta kaasua voidaan käyttää esimerkiksi sähkön tai biopolttonesteiden tuotannossa.
Characterization revealed that doping of zirconia with lanthanum favorably affected the redox and basic properties and thereby enhanced the activity towards tar in complex sulfur containing gas mixtures compared to ZrO2, SiO2-ZrO2 and Y2O3-ZrO2.
Zirkoniumoksidin seostus lantaanilla vaikutti myönteisesti katalyytin hapetus-pelkistysominaisuuksiin ja paransi sen aktiivisuutta tervan hajotuksessa tutkituissa olosuhteissa verrattuna ZrO2-, SiO2-ZrO2- ja Y2O3-ZrO2-katalyytteihin.
La2O3-ZrO2 and Rh/La2O3-ZrO2 together could be efficient and more sulfur resistant alternatives for nickel catalysts in gas clean-up, e.g. in a two staged reforming unit.
La2O3-ZrO2- ja Rh/La2O3-ZrO2-katalyytit tarjoavat tehokkaamman ja rikkiä kestävän vaihtoehdon nikkelikatalyyteille kaasutuskaasun puhdistuksessa esim. käyttäen kaksivaiheista kaasunpuhdistusyksikköä.
Several zirconia, precious metal and nickel catalysts were examined for the decomposition of tar and ammonia from synthetic gasification gas mixtures resembling gas from air blown gasification or from oxygen blown gasification.
Useita zirkoniumoksidikatalyyttejä sekä jalometalli- ja nikkelikatalyyttejä tutkittiin tervan ja ammoniakin hajotuksessa käyttäen synteettisiä kaasutuskaasuseoksia, jotka olivat koostumukseltaan mahdollisimman lähellä biomassasta saatavaa ilma- tai happikaasutuskaasua.
La2O3-ZrO2 was sulfur tolerant and decomposed tar and ammonia in selective oxidation reactions even at 600-700 °C and was more selective to higher molecular weight tar naphthalene than towards lighter tar compound toluene.
La2O3-ZrO2 osoittautui aktiivisimmaksi zirkoniumoksidikatalyyteistä, jotka olivat hyvin rikkiä sietäviä ja hajottivat tervaa ja ammoniakkia selektiivisissä hapetusreaktioissa jopa 600-700 °C:n lämpötiloissa.
Rh/La2O3-ZrO2 proved to be the most active of the studied mono- and bimetallic catalysts.
Rh/La2O3-ZrO2 osoittautui aktiivisimmaksi tutkituista yksi- ja kaksimetallikatalyyteistä hajottaen tervan malliaineen täysin reformointireaktioissa 900 °C:ssa.
La2O3-ZrO2 proved to be the most active of the zirconia based catalysts with sulfur containing gas.
La2O3-ZrO2 hajotti lisäksi tehokkaammin naftaleenia verrattuna kevyempiin tervan yhdisteisiin kuten tolueeniin.
It decomposed tar model compounds completely in reforming reactions at 900 °C and was more sulfur resistant and stable than the studied nickel catalysts.
Rh/La2O3-ZrO2 kesti myös rikkiä paremmin ja oli stabiilimpi kuin tutkitut nikkelikatalyytit.
The sulfur poisoning of Rh/La2O3-ZrO2 was shown to be reversible.
Rodiumkatalyytin rikkimyrkyttyminen osoittautui reversiibeliksi.
Segmentation as means of developing a marketing strategy
Segmentointi markkinointistrategian kehittämisen apuvälineenä
Plastic materials in the electronics industry
Elektroniikkateollisuuden muovimateriaalit
Three-dimensional thermal modeling of podded propulsion drive
Ruoripotkurimoottorin lämpömallinnus kolmiulotteisella kentänlaskentaohjelmistolla
Numerical Studies on Electromagnetically Complex Materials and Devices
Sähkömagneettisesti monimutkaisten aineiden ja laitteiden numeerinen tarkastelu
The density of the 300 mm concrete plate on the top-surface was on average 30 kg/m3 lower than the bottom surface.
Tiheys 300mm paksun laatan yläpinnassa oli keskimäärin 30 kg/m3 alhaisempi kuin laatan alapinnassa.
The material of the study consisted of 194 m3 of concrete, made in 69 batches and delivered to the site at 21 concrete trucks.
Aineisto koostui 194 m3 betonia, joka valmistettiin 69 valmistuserässä ja toimitettiin työmaalle 21 betonikuormassa.
Under concrete construction conditions, precise quality control of concrete was found challenging because there is generally accepted inaccuracy in the practices.
Työmaaolosuhteissa betonin tarkka laadunhallinta on haastavaa, sillä käytännöissä on yleisesti hyväksyttyä epätarkkuutta.
The widely discussed strength problems in concrete construction have highlighted the need to review the management and quality control of demanding concrete structure chains.
Betonirakentamisen laajasti keskustellut lujuuskato-ongelmat ovat tuoneet esiin tarpeen tarkistaa vaativien betonirakenteiden valmistusketjun hallintaa ja laadunvalvontaa.
The strength of the hardened structure was found to correspond of 85% compressive strength of the site specimen at the estimated 28-day maturity.
Loppurakenteen lujuuden havaittiin vastaavan 85 % työmaakoekappaleen lujuudesta arvioidussa 28 vrk kypsyysiässä.
In the observed concrete, a non-released 2.5% air volume potential was observed in the mix, which was released during transport and site processing.
Tarkastellulla betonilla havaittiin 2,5 % sekoituksessa vapautumatonta ilmamääräpotentiaalia, joka syntyi betoniin uusina huokosina kuljetuksen ja työstämisen aikana.
The regulation of concrete quality control is now days built on the assumption that the composition of the concrete is not changing within the manufacturing chain after manufacturing process.
Betonin laadunvalvonta pohjautuu oletukseen, ettei betonin koostumus juuri muutu valmistusketjussa valmistuksen jälkeen.
The experimental data was collected as a follow-up study of a concrete structure production at stages of concrete station, site and the hardened structure.
Tutkimuksessa kerättiin kokeellinen aineisto erään betonirakenteen valmistuksen seurantatutkimuksena betoniasemalla, rakennuspaikalla ja valmiista rakenteesta.
It was found likely that the volume of the cement paste and the air volume in the top-surface layers was increased.
Todennäköistä on, että sementtipastan tilavuusosuus pintakerroksissa on kasvanut ja ilmamäärä kohonnut.
This thesis defines the behaviour of concrete properties at various stages in the manufacturing chain under construction site conditions.
Tässä diplomityössä on selvitetty betonin ominaisuuksien käyttäytymistä valmistusketjun eri vaiheissa työmaaolosuhteissa.
In this work, the relevant concrete properties are compressive strength, density and air content considering their development phenomena as well as the sources of variation in the empirical case.
Työssä on määritetty vaiheittain betonin laatuominaisuuksien: puristuslujuuden, tiheyden ja ilmamäärän kehittymisen ilmiöitä sekä vaihtelun lähteitä esimerkkikohteessa.
The compressive strength of the concrete was followed from the test specimens produced at various stages of the production chain with systematic results.
Betonin puristuslujuutta seurattiin valmistusketjun eri vaiheissa valmistetuista koekappaleista odotetuin tuloksin.
After all, 18 samples were drilled on the hardened structure.
Toteutuneesta rakenteesta porattiin 18 porakoekappaleen otos.
It is also essential to know and obey the current regulation at various stages of the manufacturing chain.
Keskustelu laadunvalvonnan kehittämiseksi onkin aiheellista, mutta keskeistä on myös nykyisten määräysten tuntemus ja noudattaminen valmistusketjun eri vaiheissa.
Reliability of concrete density was found to interfere with problems of comparability of moisture conditions and measurement methods.
Betonin tiheyden hyödyntämistä laadunvalvonnassa todettiin häiritsevän kosteustilan ja mittaustapojen vertailukelpoisuuteen liittyvät ongelmat.
Dispersion of density was proved to be under control within the same measuring point, but the comparability between measuring points was found poor.
Tiheyden hajonta osoittautui mittauspisteiden sisällä hyvin hallituksi, mutta vertailukelpoisuus tuoreen ja kovettuneen betonin välillä on heikko.
Based on the results, the actual concrete air volume is a major factor to the durability and strength of concrete structures in demanding conditions.
Betonin toteutunut ilmamäärä on keskeisessä asemassa vaativien olosuhteiden betonirakenteiden säilyvyydessä ja lujuudessa.
The results showed changes in the strength and density within the concrete slab structure caused by the material segregation.
Tuloksista tunnistettiin tiivistyksen aiheuttaman erottumisen synnyttämät muutokset betonilaattarakenteen lujuudessa ja tiheydessä.
The results of this study verify changes in the manufacturing chain and so provide a basis for further conversation.
Tämä tutkimus kuitenkin todentaa muutoksia valmistusketjun sisällä.
Phenomenon of concrete properties within manufacturing chain
Betonin ominaisuudet betonirakenteen valmistusketjun eri vaiheissa
The study found no issues to doubt the quality of concrete construction more widely.
Betonirakentamisen hallinnassa ei havaittu huolestuttavia puutteita.
The data was gathered from several sources.
Tieto kerättiin useista eri lähteistä.
The research objective of this thesis is twofold.
Tutkimuksen tavoite on kaksijakoinen.
The final sample consists of 308 mergers and acquisitions carried out in the telecommunications industry in Europe between 1996 and 2008.
Lopullinen aineisto koostuu 308 eurooppalaisesta yritysjärjestelystä tietoliikennetoimialalla vuosien 1996 ja 2008 välillä.
Other sources consist of company annual statements, press releases, websites as well as Lexis-Nexis and ORBIS databases.
Muita lähteitä olivat yritysten tilinpäätökset, lehdistötiedotteet ja www-sivut sekä Lexis-Nexis ja ORBIS tietokannat.
The acquisition events, stock prices and financial information were obtained from Thomson ONE Banker database.
Yritysjärjestelytapahtumat, osakekurssit ja taloudellinen informaatio hankittiin Thomson ONE Banker tietokannasta.
The privatisation of the state-owned mobile network operators has decreased the prices of telecommunication services and given an impetus to the technological development in the industry.
Valtio-omisteisten operaattorien yksityistäminen on laskenut tietoliikennepalvelujen hintoja ja vauhdittanut teknologista kehitystä toimialalla.
The research questions are operationalised through five hypotheses.
Tutkimustavoitteista johdetaan viisi hypoteesia.
The other hypotheses related to the sources behind these abnormal returns and they are tested by conducting multivariate regression analysis.
Muut hypoteesit liittyvät normaalista poikkeavien tuottojen syihin ja niitä testataan monimuuttujaregressioanalyysin avulla.
Effects of European mobile network operators' acquisitions on value creation
Eurooppalaisten matkapuhelinverkko-operaattorien tekemien yrityshankintojen vaikutus yrityksen arvon muodostumiseen