natgillin/translations-raw huggingface dataset:
The work is aimed to be general in the sense that it is applicable to most large ships and to test the calculations, simulations are conducted on three different vessels that are each from common categories of large vessels: cruise ship, container ship and tanker.
Työn tavoitteena on olla yleistettävissä siten että ohjelma kykenee laskemaan pelastusreitin suurille kaupallisille aluksille, kuten risteilijöille, konttilaivoille ja tankkereille.
The operator will be provided with user-assisting information such as the control input to execute the rescue turn to aid in completing the rescue mission.
Ohjelma tarjoaa käyttäjäavusteista informaatiota, kuten lasketun pelastusreitin simuloidut ohjauskomennot sekä trajektorin.
This gives base to an optimal control problem in which the goal is to design such a control that the vessel is brought in minimal time to a target location with respect to the vessel dynamics and constraints.
Optimointitehtävä muodostuu laivan dynamiikkaa ja pelastusreittiä koskevista rajaehdoista sekä navigointiin kulutetun ajan minimoinnista.
Testing the programme's performance in practice is part of the future work of the project and beyond the scope of this thesis.
Tulosten testaamisessa ohjelman toimivuutta arvioidaan näiden kolmen laivatyypin avulla.
A clearing system for public transportation in Finland and its reports
Joukkoliikenteen clearing-järjestelmän raportointi
Reducing Working Capital by Improving Processes
Käyttöpääoman alentaminen liiketoimintaprosesseja kehittämällä
The styles can be described as emotional states such as aggressiveness or sadness, or as physical attributes such as being tense or slow.
Liikkeiden tyylit voidaan tulkita tunnetiloina, kuten aggressiivisuutena tai surullisuutena, tai fyysisinä ominaisuuksina, kuten jäykkyytenä tai hitautena.
While the main field of this thesis is computer animation, building an understanding of motion style is also related to fields of perception, psychology and semantics.
Väitöksen päätutkimusala on tietokoneanimaatio, mutta tyylien ymmärtämiseksi on käytetty menetelmiä myös havaintotutkimuksen, psykologian ja semantiikan aloilta.
The captured motions can then be used as inputs for several motion synthesis methods that enable real-time animations with actions that can adapt to changing surroundings.
Kaapattuja liikkeitä voidaan käyttää lähtömateriaalina liikesynteesimetodeille, jotka mahdollistavat reaaliaikaisen animaation ja liikkeiden mukautumisen muuttuvaan ympäristöön.
More specifically, the presented methods enable creating characters that can interact fluidly while still allowing the expressiveness to be controlled.
Esitetyillä menetelmillä voi tuottaa hahmoja, jotka voivat olla sujuvassa vuorovaikutuksessa samalla kun niiden ilmeikkyyttä säädellään.
This thesis studies synthesis of expressive styles and real-time interaction between autonomous characters in order to enable controllable performance synthesis.
Tässä väitöksessä on tutkittu liikkeiden tuottamista ja reaaliaikaista vuorovaikutusta autonomisten hahmojen välillä, jotta voidaan luoda ilmeikkäitä kehollisia esityksiä.
The main contribution here is a new method for authoring expressive interaction through recorded actions and reactions.
Päätulos tässä yhteydessä on uusi menetelmä luoda ilmeikästä vuorovaikutusta näyteltyjen liikkeiden ja niiden herättämien reaktioiden pohjalta.
Furthermore, to recognize and to enable control of created styles, methodology from the field of pattern recognition has been used.
Tyylien tunnistamiseksi ja säädeltävyyden mahdollistamiseksi käytössä on myös menetelmiä, jotka liittyvät hahmontunnistukseen.
This was found to be possible when the styles are modeled as continuous attributes that are allowed to vary independently, and when individual styles are numerically defined through comparisons between motions.
Yksittäisen hahmon tapauksessa päätulos on, että on mahdollista säätää tyylejä kielellisten kuvausten perusteella, kun eri tyylejä käsitellään jatkuvina ominaisuuksina, joiden annetaan vaihdella toisistaan riippumattomasti, ja kun yksittäiset tyylit määritellään numeerisesti liikkeiden vertailuihin pohjautuen.
Human motions such as walking or waving a hand can be performed in many different styles.
Ihmisen liikkeitä kuten kävelyä tai käden heilutusta voi esittää monella tyylillä, joiden tulkinta voi vaihdella riippuen siitä millaisessa tilanteessa liikkeet esitetään.
Presented research relies on motion capture as it enables reproduction of realistic human motion in off-line animations, and recording expressive performances with talented actors.
Esitetty tutkimus hyödyntää liikkeenkaappausta, koska se mahdollistaa todenmukaisten liikkeiden toistamisen animaatioelokuvissa, ja ilmeikkäiden esitysten tallentamisen.
In the context of expressive interaction between characters, the research builds on the observation that motions can be interpreted as expressive behaviors when portrayed as reactions to an action.
Hahmojen vuorovaikutuksen tapauksessa liike voidaan tulkita ilmeikkääksi, jos se esitetään vastauksena tiettyyn toimintaan.
In practice, the research includes implementations and evaluations of proof-of-concept systems, and questionnaires where varying motion styles have been rated and described.
Käytännössä tutkimus sisältää esimerkkijärjestelmien toteuttamista ja arviointia.
The results of the dissertation are useful for development of virtual characters as many existing systems do not take full advantage of bodily motions as an expressive medium.
Väitöksen tuloksia voidaan käyttää hyväksi kehitettäessä animaatiohahmoja ilmaisuvoimaisemmiksi kehollisten tyylien avulla, mihin useat olemassa olevat järjestelmät eivät anna tukea.
Both quantitative analysis of answers of the questionnaires, and visualizations of the data have been made to form a qualitative understanding of motion style.In the context of single character motion, the main result is in enabling accurate verbal control of motion styles.
Kyselyiden vastauksia on analysoitu määrällisesti, ja dataa on visualisoitu laadullisen kuvan luomiseksi tyyleistä.
From motion capture to performance synthesis: A data based approach on full-body animation
Ilmaisuvoimaisten koko kehon animaatioiden tuottaminen liikekaappauksen avulla
The usage of geothermal heat in Finland
Maalämmön käyttö Suomessa
It is up to the viewer’s interpretation if the series holds a critical or romanticizing approach to the topic.
Riippuu katsojan tulkinnasta onko kyseessä kriittinen vai romantisoiva näkemys.
The work investigates what an image can tell and how an image delivers cultural information.
Työssä pohditaan, mitä kuvalla voi kertoa ja miten kuva välittää kulttuurista informaatiota.
The photographic series is the starting point for a theoretical framework.
Valokuvasarja toimii lähtökohtana teoreettiselle viitekehykselle.
The theme of monoculture – a unified western culture spread due to globalization – is dealt through seriality: does the western culture appear in a similar way everywhere, and how can this be observed through the means of photography.
Sarjallisuuden kautta käsitellään monokulttuurin – globaalistumisen seurauksena levinneen länsimaisen yhtenäiskulttuurin – teemaa: esiintyykö länsimainen kulttuuri kaikkialla samanlaisena ja miten tätä voi tarkastella valokuvan keinoin.
Places to Stop has been shown in two solo shows and in seven group exhibitions between 2012 and 2014.
Places to Stop -valokuvasarja on esitetty kahdessa yksityisnäyttelyssä ja seitsemässä ryhmänäyttelyssä eri maissa vuosina 2012-2014.
The text opens the notions of place, identity and representation and studies how Places to Stop can be seen against this theoretical framework.
Tekstissä avataan erityisesti käsitteitä paikka, identiteetti ja representaatio sekä pohditaan, miten Places to Stop asettuu tätä teoreettista kehystä vasten.
This Master of Arts thesis studies the photographic series Places to Stop and its theme: the identity of a place.
Tämä taiteen maisterin opinnäyte käsittelee valokuvasarjaa Places to Stop, sen syntyä ja aihepiiriä: paikan identiteettiä.
Architectural photography and photography on constructed environment from 1960’s till today are studied through the examples of the photography artists in the New Topographics group and the Düsseldorf School.
Lisäksi käsitellään arkkitehtuurin ja rakennetun maiseman kuvaukseen perehtyneitä valokuvaajia ja suuntauksia 1960-luvulta tähän päivään esimerkiksi New Topographics -ryhmän ja Düsseldorfin koulukunnan valokuvaajien kautta.
Places to Stop is a series of nocturnal gas stations that have been photographed between 2010 and 2015 in 22 countries around Europe and North America.
Opinnäytteen kirjallisen osan kohteena oleva valokuvasarja Places to Stop koostuu öisistä huoltoasemista, jotka on kuvattu vuosina 2010-2015 yhteensä 22 eri maassa ympäri Eurooppaa ja Pohjois-Amerikkaa.
The images are documents of monuments of an era, where car culture is praised.
Kuvat ovat dokumentteja yhden aikakauden – autoilua ihannoivan kulttuurin – monumenteista.
The questions dealing with places and non-places are seen in the light of humanistic geography and on the other hand in the light of the author’s own experiences in photographic practice.
Paikkoihin ja epäpaikkoihin ja niiden tutkimiseen liittyviä kysymyksiä käsitellään erityisesti humanistisen maantieteen kannalta ja tuodaan toisaalta tekijän omien kuvauskokemusten kautta esiin konkreettisesti.
Gas stations are in the core of Places to Stop, but through them the work examines monoculture, car culture and the globalized culture spread by oil companies.
Places to Stopin keskiössä ovat huoltoasemat, mutta niiden kautta myös laajemmin monokulttuuri ja öljy-yhtiöiden levittämä globaali toimintamalli ja autoiluun perustuva elämäntapa.
The study brings light to the background of the series and situates the artistic part of the work in the context of contemporary art.
Tutkielma selvittää teoksen lähtökohtia ja sijoittaa taiteellisen osuuden nykytaiteen kontekstiin.
The point of view is art-based, and the study compares the means used to deal with the questions in the contemporary art photography.
Näkökulma on taidelähtöinen, ja tutkielmassa vertaillaan nykypäivän valokuvataiteessa käytettyjä keinoja käsitellä esitettyjä kysymyksiä ja suhteutetaan kirjoittajan omaa työskentelyä niihin.
Maps, aerial photography and the street photographs of Google Street View are among others examples for studying different ways of traveling, exploring and perceiving a place.
Matkustamista, paikan hahmottamista ja tutkimista pohditaan mm. karttojen, ilmakuvien ja Google Street View’n katukuvien kautta.
The essential study question is the identity of a place and its representation in a photograph.
Paikan identiteetti ja sen esittäminen valokuvassa on ensisijainen tutkimuskysymys.
Perovskite Cobalt Oxides: Control of Oxidation and Spin States of Cobalt
Perovskiittikobolttioksidit: Koboltin hapetusasteen ja spin-tilan kontrolloiminen
The Preparation of Poly-4-Methylpentene-1
Poly-4-metyyli-1-penteenin valmistus
Control of power supplies of portable patient monitor
Siirrettävän potilasvalvontamonitorin tehonsyötön ohjaus
Preparation, oxygen nonstoichiometry and properties of some perovskitederived transition metal oxides
Joidenkin perovskiittijohdannaisoksidien valmistus, happistoikiometria ja ominaisuudet
Children's parents analysing the school route
Vanhemmat lasten koulureitin liikenneturvallisuuden arvioijina
Chloride ingress into concrete and determining chloride profiles by titration
Kloridin tunkeutuminen betoniin sekä kloriprofiilin määrittäminen titraamalla
During the last two decades, mobile ball-shaped robots have gained an increasing interest among researchers, mathematicians, robot engineers, and public.
Kuluneen runsaan kahdenkymmenen vuoden aikana pallonmuotoiset liikkuvat robotit ovat herättäneet kasvavaa kiinnostusta niin tutkijoiden, matemaatikkojen, insinöörien kuin yleisönkin keskuudessa.
Mobility and Motion Modelling of Pendulum-Driven Ball-Robots: Decoupled Models for Steering and Obstacle Crossing
Heiluriohjatun pallorobotin liikkumiskyky ja sen mallintaminen:erotellut mallit pallon ohjauksessa ja esteenylityksessä
Customarily, a quasi-static analysis has been conducted to evaluate the slope-climbing and step-crossing capability of a ball-shaped robot, but this approach seriously underrates the robot's dynamic step-crossing capability.
Perinteisesti pallorobotin liikkumiskykyä on arvioitu kvasistaattisen tasapainon kriteerillä, mikä kuitenkin vakavasti aliarvioi robotin todellista dynaamista esteenylityskykyä.
This work introduces new simplified contact models for rigid-shelled and flexible-shelled ball-robots when in contact with a step-shaped obstacle.
Tämä työ esittelee uusia yksinkertaistettuja kontaktimalleja niin jäykkäkuorisen kuin pehmeäkuorisenkin pallorobotin ja askeleenmuotoisen esteen välille.
In development of a ball-robot, dynamic modelling is essential in evaluation and prediction of robot performance, as well as in controller development, path planning, and decision making.
Pallorobotin liikettä kuvaavat dynaamiset mallit ovat tarpeellisia robottien kehitystyössä, robotin suorituskyvyn arvioinnissa, säätöalgoritmien määrittämisessä sekä radansuunnittelussa.
Regarding the forward motion model, this work collects the decoupled models available in the literature and reformulates them with a unified notation and formulation.
Useat erilaiset kirjallisuudesta löytyvät erotellut vierintäliikkeen mallit kerätään tässä työssä yhteen ja harmonisoidaan esitysasun sekä merkintöjen suhteen yhtenäisiksi.
This thesis studies decoupled forward rolling models and steering models of pendulum-driven ball-shaped robots.
Tässä työssä tutkitaan heiluriohjatun pallorobotin eroteltuja vierintä- ja ohjausmalleja.
Ball-robot provides an interesting research case to study rolling kinematics, advanced modelling and control problems, as well as interaction and communications between humans and mobile robots.
Pallorobotti sovelluksineen tarjoaa mielenkiintoisen ja haastavan tutkimuskohteen, mihin sisältyy muun muassa vierivän kappaleen kinematiikkaa ja dynamiikkaa, systeemin mallintamista, säätöteoriaa, sekä ihmisen ja robotin välistä vuorovaikutusta.
The unified presentation allows easy comparison and application of the existing models.
Näin on helpompaa vertailla näitä malleja keskenään ja jatkossa myös helpompaa soveltaa kulloiseenkin tarkoitukseen parhaiten sopivaa mallia.
The motivation behind this study anticipates a domestic rolling robot providing observation and surveillance at home or in industrial environment.
Tämän tutkimuksen innoittajana toimii visio kotioloissa toimivasta pallonmuotoisesta seura- ja valvontarobotista, jonka suunnittelussa ja ohjaamisessa tarvittavia malleja ja menetelmiä työssä tutkitaan.
In addition, another new dynamic precession model is presented to consider a non-zero contact area and to evaluate the conditions where no-spinning constraint is applicable.
Toinen uusi esiteltävä malli sisältää pistemäisen kosketuksen sijasta nollaa suuremman kosketuspinta-alan.
Customarily, a decoupled steering model assumes between the ball and rolling plane a point contact and restricted ball spinning, which leads to a kinematic motion model.
Kirjallisuudessa usein esitetty pallorobotin eroteltu ohjausmalli olettaa pistemäisen kosketusgeometrian pallon ja sen vierintätason välille.
To design a spherical robot to surpass obstacles it may encounter during its operation, there exists a need to estimate the dynamic step-overcoming capability of the robot.
Näin jo robottia suunniteltaessa on tarpeen pystyä arvioimaan sen tulevaa esteenylityskykyä.
The simulation results are validated with practical step-overcoming tests on free-rolling and pendulum-driven balls.
Erotellut vierintä- ja ohjausmallit eroavat täydestä mallista siten, että eteenpäin vievää vierintäliikettä sekä pallon vierintäsuuntaa muuttavaa ohjausliikettä tutkitaan toisistaan erillään ja riippumattomina.
Considering ball-robot inertia and non-symmetry, this thesis introduces a new dynamic precession model and compares the simulated rolling paths of the dynamic and kinematic steering models.
Uutena lähestymistapana tämä työ esittelee dynaamisen ohjausmallin, joka huomioi pallon inertian ja mahdollisesti epäsymmetrisen massan jakauman.
The staircases of apartment buildings in Turku - threats and possibilities
Turun asuinkerrostalojen porrashuoneet - uhat ja mahdollisuudet
Improving Nuclear Power Plant Diesel Generators Reliability Through Predictive Maintenance and Condition Monitoring
Ennakkohuollon ja kunnonvalvonnan vaikutusmahdollisuudet ydinvoimalaitoksen varavoimadieselien käyttövarmuuteen
The effect of the impurities present in the oil refinery's hydrogen network on noble metal catalysts
Öljynjalostamon vetyverkon epäpuhtauksien vaikutus jalometallikatalyytteihin
Microstructural study of spark plasma sintered high carbon ferrous alloys
SPS-prosessoitujen korkeahiilisten rautapohjaisten seosten mikrorakenteen karakterisointi
The evaluation of ASP rules has two logical phases: grounding and actual solving.
ASP-sääntöjen evaluaatiossa on kaksi loogista vaihetta: muuttujien instantiointi ja varsinainen ratkaiseminen.
According to performance analysis, the metagrounder is not yet competitive with current grounder technology.
Suoritetun vertailun perusteella metatason instantioinnin tehokkuus ei ole vielä kilpailukykyinen nykyisten instantiointitekniikoiden kanssa.
Having rules in the reified format is beneficial as behavioral rules can then be shared and manipulated as any other data.
Sääntöjen esittäminen reifioidussa muodossa on hyödyllistä, sillä tällöin sääntöjä voidaan jakaa ja käsitellä samoin kuin muutakin tietoa.
These methods enable sharing, analyzing and executing behavioral descriptions in a controlled manner within the same semantic ASP framework, providing one solution for the interoperability problem.
Nämä menetelmät mahdollistavat käyttäytymissääntöjen turvallisen ja hallitun jakamisen, analysoinnin sekä evaluaation yhdessä semanttisessa viitekehyksessä, tarjoten erään mahdollisen ratkaisun yhteensopivuusongelmaan.
Furthermore we need to manage the evaluation process based on the content and provenance of the descriptions and other information on which the descriptions operate.
Tämän lisäksi evaluointiprosessia täytyy hallinnoida perustuen sekä käyttäytymisten kuvausten että muun käytetyn tiedon sisältöön ja alkuperään.
This requires analysis or evaluation of behavioral descriptions from untrusted parties in a controlled manner.
Tästä johtuen on tarpeellista analysoida tai evaluoida hallitusti käyttäytymisten kuvauksia, jotka ovat peräisin mahdollisesti epäluotettavilta tahoilta.
The motivation of this work is goes back to the objective of achieving interoperability in multiparty environments such as ubiquitous systems.
Tämän opinnäytteen motivaationa on yhteensopivuus ubiikkien järjestelmien kaltaisissa usean käyttäjän ympäristöissä.
To facilitate metaevaluation, we transform rules to a reified format, which enables representing rules as facts, and construct the metaevaluator to work directly on this reified format.
Jotta metaevaluaatio olisi mahdollista, säännöt muunnetaan reifioituun muotoon, joka sallii sääntöjen esittämisen faktoina ja metaevaluaattori toteutetaan toimimaan näiden reifioitujen kuvausten kanssa.
In addition to the metaevaluation phase, we have implemented syntactical safety analysis of reified rules.
Työssä esitetään myös syntaktinen turvallisuusanalyysi reifioiduille säännöille.
Full interoperability in an open environment requires mutually sharing the behavior of the participants, so that the behavioral interoperability becomes as relevant as interoperability of data.
Täydellinen yhteensopivuus avoimissa ympäristöissä vaatii osapuolten käyttäytymisten kuvausten jakamista käyttäjien kesken.
Facts corresponding to reified rules and the metaevaluation rules are then treated by native ASP tools.
Faktoina esitetyt reifioidut säännöt ja metaevaluaattorin säännöt evaluoidaan olemassaolevilla ASP-työkaluilla.
In this work we present a method for the evaluation of ASP rules based on metaprogramming: the evaluator for the rules is implemented using ASP rules themselves.
Tässä opinnäytteessä kuvataan metaohjelmointipohjainen menetelmä sääntöjen evaluoimiseen, missä itse evaluaattori on toteutettu ASP-säännöillä.
To the best of our knowledge, this work presents the first implementation of a metagrounder for ASP programs.
Tässä työssä on esitetty käsittääkseemme ensimmäinen toteutus ASP-sääntöjen instantioinnista metatasolla.
We give a proof that our metaevaluator adheres to the stable model semantics for ASP evaluation.
Työssä esitetään oikeellisuustodistus, jonka perusteella toteutettu metaevaluaattori noudattaa stabiilien mallien semantiikkaa.
We have separated provenance handling and syntactic analysis to the metagrounding phase with the intention that rules and data, which do not match the provenance criteria, are never delivered to the solving phase.
Näin varmistetaan, että tiedot tai säännöt, jotka eivät ole toimintaperiaatteiden mukaisia, eivät koskaan päädy ratkaisuvaiheeseen.
This allows attaching arbitrary metainformation to rules and facts and allows independently creating policies which control on how different data is handled in the ASP solving phase.
Tämä mekanismi mahdollistaa mielivaltaisen metainformaation liittämisen sääntöihin sekä muuhun tietoon ja suo erityisesti mahdollisuuden määrittää lisätoimintaperiaatteita sääntöevaluoinnin ohjaamiseen.
This information allows one to choose which behaviour is to be used and which data is to be operated on. To enable this vision we propose to present behavioral descriptions as Answer Set Programming (ASP) rules.
Tämän vision mahdollistamiseksi tässä työssä ehdotetaan käyttäytymiskuvausten esitettämistä sääntöpohjaisella rajoiteohjelmoinnilla (engl.
We have implemented a mechanism which maintains the provenance information of data during the rule evaluation along with hooks to allow control over the context of the use of that data.
Tämän ohella esitellään edelliseen laajennus jonka avulla voidaan kontrolloida syötetiedon käyttökonteksti.
Improvement of production quality assurance
Tuotannon laadunvarmistuksen parantaminen
ADB-application for time and resource planning in special construction projects
Erityiskohteiden ajallisen työnsuunnittelun atk-sovellus
With the help of these tests we choose a combination of calculation schemes and approximations that are justified and give good results when compared with experiments.
Testien avulla valitaan yhdistelmä menetelmiä ja approksimaatioita, jotka ovat sekä perusteltuja että antavat hyviä tuloksia kokeisiin nähden.
This application shows that the computational method developed can be used for chemical and structural analysis of vacancy-type defects.
Tämä sovellutus osoittaa, että kehitettyä laskennallista menetelmää voidaan soveltaa vakanssityyppisten virheiden kemiallisessa ja rakenteellisessa analyysissa.
The technological problem behind is that the concentration of charge carriers saturates to a low level irrespective of the increase in the dopant concentration.
Työ liittyy teknologiseen ongelmaan, jossa varauksenkuljettajien konsentraatio saturoituu alhaiselle tasolle riippumatta seostusatomien lisäämisestä.
By measuring positron lifetimes and momentum distributions of annihilating electron-positron pairs one obtains information about the open volumes and the chemical environments of the defects.
Mittaamalla positronien elinaikoja ja annihiloituvien elektroni-positroniparien liikemäärää ja jakaumia saadaan tietoa hilavirheiden avoimista tilavuuksista ja kemiallisista ympäristöistä.
They are mainly vacancies decorated by one or two Sb atoms but also divacancy-type defects are present.
Ne ovat pääasiassa vakansseja, joiden ympärillä on yksi tai kaksi Sb-atomia.
Positron annihilation spectroscopy is an experimental method for studying defects in materials.
Positroniannihilaatiospektroskopia on kokeellinen materiaalien hilavirheiden tutkimusmenetelmä.
The most important application dealt with the new scheme is the analysis of Doppler spectra measured from Sb-doped Si.
Tärkein sovellutus, johon uutta menetelmää työssä käytetään, on antimoniseostetusta piistä mitattujen Doppler-spektrien analysointi.