Skip to main content
Login | Suomeksi | På svenska | In English

Browsing by Title

Sort by: Order: Results:

  • Giraldo Garcia, Manuel Alejandro (2013)
    Non-transition metal catalytic systems able to activate hydrogen and other small molecules are focused in the literature review. Special attention is given to synthesis and reactivity of novel metal free catalytic systems based on bulky Lewis acids and bulky Lewis bases known as frustrated Lewis pairs (FLPs). N/B, C/B and P/B pairs previously identified as active catalyst are described together with the available mechanistic studies developed to clarify experimental findings obtained hitherto. In the experimental section, synthesis of the Lewis acid mono(perfluorophenyl)borane was studied thorough several routes obtaining the borane in almost quantitative yield as a series of dimers including the anti- and syn-isomer with a low percentage of bis(perfluorophenyl)borane. Hydrogen activation was not possible because dimerization avoided further reactivity of the boron center in the presence of bulky amines. A new synthetic route to obtain C6F5BCl2 in 58% yield was proposed and Lewis acid reactivity of the dichloro(perfluorophenyl)borane was studied with bulky amines exhibiting frustration although no hydrogen activation was achieved when purging hydrogen into the FLP solution. Instead, disproportionation of chloroborane species was promoted affording mixtures of (perfluorophenyl)boranes derivatives instead of an ammonium borate salt resulting from hydrogen activation. The new adduct (t-Bu)2PSHBH(C6F5)2 was synthesized as a pure compound in more than 95% yield. Further studies are necessary to evaluate hydrogen release and hydrogenation activity of the compound.
  • Lahtinen, Sami (2022)
    Background: The splitting of functionality into multiple inter-communicating services has created a need for managing the APIs that these services are using to talk to each other. They also present an easy avenue for faults to be introduced into the system as these services are updated over time, especially in the absence of extensive testing, such as in rapid prototyping contexts. Aims: The study aimed to find a light-weight method for detecting API breakages between services, which requires as little manual labor from developers as possible. Method: The method used for the study was design science research focused around the iterative de- velopment and validation of the method through using it in synthetic and practical use-cases. Results: The study identified the possibility of using self-documenting services and machine- readable API documentation as a means to automatically detect API breakages either via naive or more complex approaches, with complex approaches providing more granular fault detec- tion and ability to create dependency graphs between services. Conclusion: Use of more automation seems a viable approach to detecting faults in network-based communication be- tween services. With further study, these approaches could be developed into developer-friendly systems, which allow not only automated fault detection, but also visual impact analysis for complex architectures spanning multiple services.
  • Myllymäki, Teemu (2014)
    Tarve ympäristöystävällisille materiaaleille, jotka eivät kuluta fossiilisia polttoaineita, on maailmanlaajuinen ja yksi vastaus tarpeeseen voisivat olla uudet materiaalit ligniinistä. Selluloosan ja hemiselluloosan ohella ligniini on yksi kasvien kolmesta pääkomponentista. Ligniiniä on tutkittu jo pitkään, sillä sellunvalmistuksen yksi tärkeä vaihe on poistaa puun ligniini selluloosan joukosta. Koska ligniinin tutkimus on keskittynyt lähinnä sen tehokkaaseen pilkkomiseen eikä uusien materiaalien valmistamiseen, ei markkinoilla ole muita ligniinipohjaisia tuotteita kuin vanilliinia ja DMSO:a. Tässä tutkielmassa esitellään ligniinin kemiallista muokkausta. Pääpaino on menetelmissä, joita voitaisiin käyttää uusien materiaalien valmistamiseen ligniinistä. Ligniinille on tehty paljon hapetuksia ja pelkistyksiä homo- ja heterogeenisissa olosuhteissa, termokemiallista muokkausta, hydroksyyliryhmien derivatisointia ja fraktiointia. Tutkielman kokeellinen osio koostuu ligniinin fraktioinnista orgaanisilla liuotinseoksilla ja ligniinin otsonoinnista. Tolueeni-metanoliseoksella uuttaminen jakoi ligniinin korkean ja matalan moolimassan fraktioihin. Liuennut, matalan molekyylimassan fraktion lasisiirtymälämpötila oli matalampi ja se sisälsi enemmän fenolisia p-hydroksyyliryhmiä kuin sakkana pysynyt, korkean molekyylimassan fraktio. Otsonointi poisti ligniinin hajun jo lyhyellä 15 min käsittelyllä emäksen läsnä ollessa. Pidempi käsittely otsonilla pilkkoi ligniinin pienen molekyylimassan fraktiota entisestään ja lisäsi ligniinin liukoisuutta, jolloin hapolla saatiin eristettyä vain korkeimman molekyylimassan fraktio.
  • Parviainen, Viktor (2013)
    Uusiutuvista luonnonvaroista lignoselluloosa on runsautensa ansiosta hyvin potentiaalinen raaka-aine kemianteollisuudelle. Toisaalta lignoselluloosan monimutkainen mikro- ja makroskooppinen rakenne vaikeuttaa materiaalin työstämistä käyttökelpoiseksi raaka-aineeksi. Materiaalin työstämiseen on olemassa useita menetelmiä, joista yksi on lignoselluloosan fraktiointi ionisten liuottimien avulla. Ioniset liuottimet ovat orgaanisia suoloja, joiden sulamispiste on alle 100 °C. Lignoselluloosaa voidaan liuottaa ionisiin liuottimiin ja lignoselluloosan fraktiointi näiden liuottimien avulla on melko yksinkertaista. Fraktiointi tapahtuu, kun lignoselluloosasta saadaan selektiivisesti liuotettua ioniseen liuottimeen joko selluloosaa ja hemiselluloosaa tai ligniiniä. Lignoselluloosa voi liueta myös kokonaan ioniseen liuottimeen, jolloin polysakkaridit ja ligniini voidaan fraktioida selektiivisesti saostamalla. Fraktioista saadun materiaalin puhtaus, laatu ja määrä ovat paljon riippuvaisia useasta tekijästä kuten lämpökäsittelyn lämpötilasta sekä kestosta, saostukseen käytettävästä liuottimesta ja itse ionisesta liuottimesta. Useat imidatsoli-pohjaiset ioniset liuottimet kuten etyylimetyyli-imidatsolium asetaatti liuottavat melko hyvin selluloosaa. Asetoni/vesi seoksella voidaan selektiivisesti saostaa selluloosaa ionisesta liuottimesta. Ligniini voidaan saostaa vedellä sen jälkeen, kun ionisesta liuottimesta on ensin saostettu selluloosa edellä mainitulla tavalla. Yleensä hyvin selluloosaa ja hemiselluloosaa liuottavat ioniset liuottimet liuottavat myös ligniiniä. Toisaalta ligniiniä voidaan liuottaa selektiivisesti sulfaattiryhmiä sisältävillä ionisilla liuottimilla kuten etyylimetyyli-imidatsolium asesulfaamilla. Menetelmissä käytetyt ioniset liuottimet on mahdollista kierrättää. Kierrätetyt ioniset liuottimet eivät ole kuitenkaan täysin puhtaita vaan niihin jää pieniä määriä epäpuhtauksia. Lisäksi kierrätysprosessit vaativat optimointia, jotta hukkaan menevien ionisten liuottimien määrä voitaisiin pienentää. Kokeellinen osio käsittelee kolinium-pohjaisten ionisten liuottimien synteesiä, karakterisointia sekä käyttösovellutuksia. TGA mittaukset osoittivat, että syntetisoidut ioniset liuottimet olivat stabiilejä 100°C asti. Oli myös huomattavissa, että vapaan OH-ryhmän sisältävät ioniset nesteet olivat termisesti kaikkein pysyvimpiä. Toisaalta termisesti labiileimmät ioniset liuottimet liuottivat parhaiten selluloosaa. DMSO:n käyttö keraliuottimena selluloosan liuotuskokeissa kasvatti ionisten liuottimien lämmönsietokykyä. Nämä lähes myrkyttömät ioniset liuottimet olivat syntetisoitu luonnosta saatavista lähtöaineista kuten karboksyyli- ja aminohapoista.
  • Rantanen, Olli (2020)
    Uuden tieliikennelain mukanaan kunnille tuomat velvoitteet, kuten liikenteenohjaukseen käytetyn välineistön (esim. liikennemerkkien) ylläpitovastuu, siirtyy kunnille 1.6.2020. Kenttäinventoimalla suoritettava liikennemerkkien kunnon ja sijainnin selvittäminen on usein työlästä ja tuottaa kustannuksia. Tässä tutkimuksessa selvitetään, miten näitä voidaan automatisoidusti inventoida panoraamakuvilta. Samalla verrataan panoraamakuvien ja niistä luotujen osakokonaisuuksien (pilkottujen kuvien) soveltuvuutta kyseiseen tarkoitukseen. Tunnistuksen tuloksena syntyviä havaintoja verrataan Väyläviraston ylläpitämään avoimeen liikennemerkkiaineistoon sekä tunnistettujen kohteiden sijainti lasketaan kuvilta. Työssä tutustutaan myös eri kohteentunnistusalgoritmien toimintaan sekä selvitetään, miten liikennemerkkien automaattisessa tunnistuksessa on onnistuttu muissa tutkimuksissa. Aineistona toimii Inkoosta otettujen panoraamakuvien lisäksi Mapillaryn toimittamat kuva-aineistot, joita käytetään YOLOv3-kohteentunnistusalgoritmin koulutukseen ja testaukseen. Työssä esitellään myös YOLOv3-koulutuksen toteuttaminen ja käydään läpi tarvittavat ohjelmistot sen implementoinnissa toiseen työhön. Koulutus vaatii riittävän GPU:n lisäksi erilaisia ohjelmia sekä runsaasti kuva-aineistoa, jotta ylisovittamisen riskiltä vältytään. Tulosten perusteella pilkotut kuvat tuottavat paremman tuloksen verrattuna panoramakuviin. Pilkotuilta kuvilta jokainen ajoreitin varrella ollut kärkikolmio tunnistettiin, kun taas panoraamakuvilta tämä ei onnistunut. Lisäksi algoritmin kyky sijoittaa kärkikolmion sijainti kuvalle oli varsin hyvä saavuttaen keskimäärin IoU-arvon 0,86, kun se panoraamoilla oli 0,52. Samoin tulosten luotettavuutta kuvaavat Precision- ja Recall-arvot olivat huomattavasti korkeammat kuin panoraamakuvilla. Työssä havaittiin lisäksi, että Väyläviraston avoimesta aineistosta puuttuu useita kärkikolmioita. Kuvilta onnistuttiin myös laskemaan muutaman metrin tarkkuudella kärkikolmioiden sijainti maastossa. Tutkimuksen perusteella kohteentunnistusalgoritmit tuottavat merkittävää hyötyä kohteiden automaattisessa tunnistuksessa. Algoritmien hyödyntämistä tulevaisuudessa mahdollistaa lisääntyvä kuva-aineistojen määrä sekä laskentatehon kasvu. Hyödyntämällä kohteentunnistusalgoritmeja kuntien on mahdollista helpottaa uuden tieliikennelain velvoitteiden noudattamista. Tämän myötä algoritmien suosio voi kasvaa tulevaisuudessa. Kohteentunnistusalgoritmien implementointiin tarvitaan kuitenkin ohjeistusta ja käyttötapauksia, joita tämä tutkimus tuloksillaan edistää.
  • Numminen, Kalle (2017)
    Kaupan sijaintilogiikka on johtanut palveluiden keskittymiseen keskustan ulkopuolisiin keskittymiin ja heikentänyt keskustojen palvelutarjontaa tehden autosta ylivertaisen kulkumuodon nopeutensa puolesta. Asetelma on vaikea kaupunkisuunnittelussa asetettujen tavoitteiden, tiiviin kaupunkirakenteen ja kestävien liikkumismuotojen edistämisen kannalta. Kestävien liikkumismuotojen edistäminen ja auton negatiivisten vaikutusten ehkäisy hinnoittelemalla on kuuma puheenaihe liikennepolitiikassa. Tutkimus on painottunut autoilun määrän ja ruuhkien taloustieteellisiin tutkimuksiin, eikä ole ottanut kantaa hinnoittelun tuomiin saavutettavuusvaikutuksiin. Palveluiden saavutettavuudessa tapahtuukin matkojen pidentymisen ja matka-aikamuutosten lisäksi kustannuksiin liittyviä muutoksia. Mitä liikenteen hinnoittelu tarkoittaa palvelujen saavutettavuuden kannalta? Työn tavoitteena oli selvittää, 1) millaisia hinta- ja kustannusrakenteita esiintyy palveluiden saavutettavuuden näkökulmasta pääkaupunkiseudulla ja miten ne ovat linjassa kaupunkisuunnittelun tavoitteiden kanssa, 2) miten joukkoliikenteen lippujen hinnoittelu-uudistus vaikuttaa toisaalta palveluiden saavutettavuuteen ja 3) joukkoliikenteen kilpailukykyyn suhteessa yksityisautoiluun. Hinnoittelun vaikutusta saavutettavuuteen selvitettiin kustannussaavutettavuuden käsitteen avulla. Pääkaupunkiseudun kahdeksan suurimman kauppakeskuksen kustannussaavutettavuus laskettiin Metropaccess tutkimusryhmän matka-aikamatriisin perusteella tilastoruuduista lähimpään kauppakeskukseen autolla ja joukkoliikenteellä. Joukkoliikenteessä kokonaiskustannuksiin laskettiin matka-aika ja lipun hinta aikuisten kausilipun ja arvolipun mukaan nykyisessä ja tulevassa hinnoittelumallissa. Automatkan kokonaiskustannuksiin huomioitiin matka-aika, auton kulut kilometrikorvauksen mukaan ja toisessa mallissa polttoainekulujen mukaan sekä mahdollinen pysäköinnin hinta kauppakeskuksen paikoitushallissa 1,5 tunnin asioinnin mukaan. Tulosten perusteella saavutettavuus eroaa merkittävästi kulkumuodoittain. Liikennejärjestelmässä esiintyy hintarakenteita, jotka vaikuttavat saavutettavuuteen matka-ajoista poiketen. Keskustan kauppakeskusten saavutettavuus autolla on huono, kannustaen asiointiin kehäteiden kauppakeskuksissa. Hinnoittelu-uudistuksen myötä joukkoliikenteen saavutettavuudessa tapahtuu muutoksia erityisesti kuntarajojen tuntumassa. Hinnoittelu-uudistuksella ei ole dramaattista vaikutusta kulkutapojen väliseen tasapainoon, vaikka vertailu ei ollutkaan tässä suhteessa yksiselitteistä.
  • Meyer, Petter (2016)
    Sijoituspäätösten tekeminen on yritysjohdon keskeisimpiä tehtäviä. Sijoituksiin liittyy aina riskejä, ja niiden hahmottaminen, hallitseminen ja minimoiminen ovat onnistuneen sijoituspäätöksen kannalta ydinasemassa. Tavallisimmissa sijoitusanalyyseissä verrataan ulospäin meneviä kassavirtoja sisään tuleviin. Kustannukset ovat usein deterministisiä, kun taas tulevaisuuden tuottoihin liittyy epävarmuutta. Esimerkiksi osakkeiden tuotto riippuu yrityksen menestyksestä kilpailussa ja markkinan yleisestä kehityksestä. Tässä Pro Gradu-tutkielmassa rajoitumme tilanteeseen, jossa pyrimme ennustamaan ja mallintamaan uuden yrityksen liikevaihtoa tietylle tarkastelujaksolle. Käytämme tähän riskiteoreettisia työkaluja ja vertaamme saavutettua mallia Case-yrityksen dataan. Tutkielma on jaettu kuuteen lukuun. Ensimmäinen luku on johdanto. Toisessa luvussa luodaan matemaattinen perusta tutkielman todennäköisyysteorialle ja stokastisille prosesseille. Kolmannessa luvussa esittelemme asiakkaiden lukumäärää kuvaamiseksi sopiva stokastinen prosessi. Tässä luvussa pääroolissa ovat ns. Poisson-prosessit, jotka ovat vakuutusmatematiikassa yleisesti käytetty laskuriprosessi vahinkojen lukumäärien kuvaamiseksi. Neljännessä luvussa käymme liikevaihdon kimppuun yhdistetyn muuttujan avulla. Kappaleessa esitämme menetelmiä sekä yhdistetyn muuttujan tarkoille todennäköisyyksille, että approksimoimiselle. Yhdistetty muuttuja on yleisesti käytetty riskiteoriassa ja vahinkovakuutuksessa. Viides luku muokkaa teoriaa sopivaksi liikevaihdon mallintamiseen. Asiakkaita jaetaan uusiin ja palaaviin asiakkaisiin, jotta eri lailla käyttäytyviin prosesseihin päästään paremmin käsiksi. Molempien prosessien laskuriprosessina on Poisson-prosessi. Viimeisessä luvussa tarkastelemme teorian sopivuutta tosimaailman case-yrityksen dataan. Hahmotamme todennäköisyyksiä approksimaatioiden ja simulaatioiden avulla.
  • Koivukoski, Jani (2018)
    Kyberhyökkääjien kyvykkyys ja hyökkäystavat kehittyvät jatkuvasti. Järjestelmät on usein rakennettu käyttäen yleisesti saatavilla olevia ohjelmistoja. Näistä voi löytyä haavoittuvuuksia, jotka siten ovat myös kaikissa ohjelmistoa käyttävissä järjestelmissä. Tarvitaan uusia menetelmiä järjestelmien turvaamiseksi. Tutkielma selvittää mikä liikkuvan maalin (engl. Moving Target Defense) periaate on. Periaatteessa tietojärjestelmien suojaamisessa otetaan käyttöön erilaisia tekniikoita, jotka muuttavat järjestelmää ja sen suoritusympäristöä siten, että hyökkääjä ei voi tietää miten järjestelmä on koostettu. Tarkoituksena on aiheuttaa hyökkääjälle epävarmuutta ja lisätä hyökkäykseen kuluvien resurssien määrää. Tekniikka on ajankohtainen ja siitä on tehty useita tutkimuksia. Tietoyhteiskunnassa vuorovaikutus tapahtuu tieto- ja viestintäteknologiaa käyttämällä. Yhteiskunnan toiminta on riippuvainen tietojärjestelmistä. Tietojärjestelmät ohjaavat yhteiskunnan tärkeimpiä toimintoja. Esitämme millaisia ongelmia tietojärjestelmien tietoturvan hallinnassa ja kyberpuolustuksessa on tunnistettu. Kuvaamme millaisia hyökkäyksiä on tapahtunut ja mikä on hyökkääjien motivaatio. Kuvaamme liikkuvan maalin periaatteen ja esittelemme sille ehdotetun teoreettisen viitekehyksen. Tutkielmassa tekniikat on luokiteltu viiteen eri ryhmään: tiedon ja syötteiden dynaamisuus, ohjelmistokoodin dynaamisuus, ajoympäristön dynaamisuus, alustojen dynaamisuus ja tietoverkkojen muuttaminen. Käymme läpi näihin luokkiin kuuluvia tekniikoita ja tutkimme kuinka hyödyllisiä ne ovat. Käytännön osuudessa tutkimme miten muistiavaruuden satunnaistaminen (ASLR) estää hyväksikäyttöohjelman toiminnan. Muistiavaruuden satunnaistaminen kuuluu luokkaan, jossa muutetaan ajonaikaista ympäristöä. Tekniikka ei vaadi muutoksia suojattavaan ohjelmaan, vaan toimii käyttöjärjestelmän tasolla. ASLR-tekniikka muuttaa ohjelman käyttämän muistin rakennetta. ACM Computing Classification System (CCS): Security and privacy→Software and application security Information systems→Web applications Applied computing→Cyberwarfare
  • Nyrhinen, Elsa (2020)
    Tutkimusaiheena on liikunnallisen tehtäväpaketin käyttö matematiikan oppitunneilla sekä yhteyden tutkiminen liikunnan ja matematiikan oppimisen välillä. Varsinkin yläkouluikäiset nuoret eivät liiku arjessaan tarpeeksi. Tutkimuksessa haluttiin selvittää voiko liikunnan ja matematiikan yhdistäminen auttaa oppimisessa ja saada lapsia ja nuoria liikkumaan enemmän. Aineistoa tutkimukseen kerättiin kyselyn avulla. Kysely lähetettiin helsinkiläisten yläkoulujen matematiikanopettajille. Kyselyyn tuli niin vähän vastauksia, että varsinainen tutkimus tehtiin aikaisemmin julkaistun kirjallisuuden pohjalta. Julkaisuissa oli tutkittu erityisesti matematiikan tunnille integroidun liikunnan vaikutuksia opetukseen ja oppimiseen. Tutkielmassa on käytetty pohjana kirjoittajan laatimaa liikunnallista tehtäväpakettia yläkoululaisten matematiikantunneille.   Tutkimuksessa saatiin selville, että opettajajohtoiset liikunnalliset tehtävät matematiikantunnin aikana lisäävät liikunnan kokonaismäärää ja parantavat hyvää tuntityöskentelyä. Liikunnan lisääminen oppitunnille voi lievittää matematiikka-ahdistusta. Vielä ei tiedetä kuitenkaan riittävästi liikunnan vaikutuksista kognitiivisiin taitoihin tai akateemisiin saavutuksiin. Tutkimuksessa saatiin myös selville, että harva opettaja oli kiinnostunut kokeilemaan liikunnallista tehtäväpakettia. Vain yksi prosentti kyselyyn valituista matematiikan opettajista vastasi kyselyyn.     Tutkimuksessa havaittiin, että liikunnan lisääminen matematiikantunnille voi auttaa oppimisessa. Tutkielmassa esitetyn tehtäväpaketin analysoinnin pohjalta voidaan todeta, että se sopii kohderyhmälle matematiikan opetukseen. Koska vain harva opettaja oli kiinnostunut vastaamaan kyselyyn voi päätellä, että opettajien keskuudessa liikunnan hyödyistä ei välttämättä tiedetä tarpeeksi. Jotta liikuntaa saisi lisättyä matematiikantunneille, pitäisi tutkia miten matematiikan opettajat saisi lisäämään liikuntaa tunneilleen.  
  • Karvinen, Iiris (2017)
    Accessibility has become widely researched topic in the fields of urban planning and urban geography. Along with these studies different kind of accessibility analyses have played an essential role in practical planning. Accessibility analyses offer a tool to investigate service networks. Investigating service networks is considered necessary for example because of economical sustainability of municipalities. Population growth and limited resources of the municipality are creating challenges for future Helsinki. Therefore it is important to investigate service networks and accessibility in a long term. The aim of this study is to explain how the accessibility of chosen sports facilities changes in the long term in Helsinki. The study can be divided into two different parts that are 1) location-allocation analyses to define optimal locations for new sports facilities in 2040 and 2) accessibility calculations where population growth, changes of the public transport network and changes in service network of each type of sports facility are taken into account. This study focuses on five different facility types that are sports park, gymnastics hall, neighborhood sports site, artificial ice rink and swimming facility including swimming halls and outdoor pools. Location-allocation analyses are carried out in ArcGIS with Network Analysis extension using Minimize Impedance tool that is based on solving P-Median problem. The population is based on a population scenario of year 2040. Swimming facilities were examined by minimizing the travel time in car driver’s network and a pedestrian street network was applied in other facility types. The accessibility analyses are carried out by calculating travel times from inhabited statistical grid cells to the nearest sports facilities in 2016 and in 2040. Depending on a sports facility type the accessibility is measured by car, public transport and/or walking. The travel time calculations by car were based on a tool and a dataset working in ArcMap software and developed by Digital Geography Lab -research group. Travel time calculations by public transport were calculated with MetropAccess-Reititin tool and the calculations for walking were conducted in OC-Cost-Matrix tool in ArcMap software. The analyses indicate that the accessibility of sports facilities is relatively good for all the inspected modes of transports. By car the average travel time is between 10-15 minutes and 12-20 minutes by public transport depending on the type of sports facility. By walking the average travel time is between 18-39 minutes. By 2040 the average travel times are increasing but still the accessibility is rather good especially by car and public transport. However there seems to be regional differences in accessibility that are not visible without taking a look at accessibility maps. Areas with poor accessibility differ depending on the type of sports facility. Changing service network with new facilities affects positively to accessibility especially by walking and public transport. However by car the changes are not that significant because the accessibility is very good to begin with. The population growth and changes in service network seem to have more affect to accessibility in the long term compared to the changes of public transportation.
  • Mäntyniemi, Maaria (2015)
    Good availability and accessibility of sport facilities have a positive impact on doing sport and being physically active. This study looks into the accessibility of sport facilities and the links between accessibility and doing sport in the Helsinki capital region. The study focuses on two types of sport, ice hockey and horse riding, and their respective facilities. The study also deals with accessibility and equal opportunities for doing sport. Previous studies suggest that accessibility has an impact on travel behaviour. MetropAccess project has developed a useful tool for calculating travel times for different transport modes. Accessibility of sport facilities has an influence on doing sport and health. People are willing to travel for their hobbies, but the facilities near home play an essential role. They have an impact on the way people do sport even if the nearest facilities are not used. Willingness to travel varies between different types of sport and their location. The influence of accessibility can be illustrated by distance decay, meaning that the influence usually decreases while the distance increases. The research questions are: What is the accessibility of the selected sport facilities in the Helsinki capital region? How doest the link between accessibility and doing sport look like? In order to answer the questions the study combined the following data: 1. locations of sport facilities (N=16 for ice hockey and N=18 for riding), 2. homes of members (N=10597 ice hockey, N=8403 riding) of the selected sport associations and 3. accessibility as travel time by car, public transport and bike, tool by MetropAccess. Travel time data is available in form of a grid where the cell size is 250 metres. The calculations cover travel times from every grid cell to all the other cells by different travel modes. The nearest facility for each member of the sport association was defined. Each facility's service/catchment area among the sport association's members was calculated. Distance decay was defined for each sport facility and aggregated for all the facilities of each type of sport. The distance decay curve applies to those members for whom the facility in question is the nearest to home. The used data did not include information on where people actually do sport. Fairness of sport facilities accessibility was studied by looking into areas with high proportion of children and relatively poor accessibility. The results show that accessibility of capital region sport facilities varies depending on travel mode. Travel times to ice hockey facilities are slightly shorter than to horse riding facilities. Distance decay curves are slightly steeper for ice hockey, suggesting that the willingness to travel decreases faster when travel distances increase. To ice hockey facility, avarege travel time from is around 15 minutes by car, 28 minutes by public transport and 12 minutes by bike. The respective travel times for riding facilities are 16, 35 and 15 minutes. The facilities are able to catch varying amount of members. Some areas are well catered for while others have estimated travel times of more than 40 minutes by car to the nearest location. The results did not provide a clear answer to the question whether accessibility influences doing sport. Travel times vary depending on the mode and for some the nearest facility is far, while for many at least one mode enables good accessibility to a sport facility. Generally the selected sport facilities have a relatively good accessibility. Bike travel times are relatively short, while car has often the shortest travel times. However, not everyone has a car. There are other facilities located near ice hockey facilities and thus the results can be applied to those too. Distance decay could be applied to other types of sport and different age groups.
  • Nguyen, Quan (Helsingin yliopistoHelsingfors universitetUniversity of Helsinki, 2015)
    Probabilistic phylogenetic trees are widely considered as the most powerful and reliable method for phylogenetic analysis. However, in reality, processes like hybridization, horizontal gene transfer, and recombination result in reticulation, which means that the evolutionary process can no longer be accurately described by a tree-like graph. A phylogenetic network, which is a general version of a phylogenetic tree is more appropriate in this situation. Unfortunately computational challenges arise when handling likelihood-based phylogenetic networks. Earlier methods often require the hypotheses to be in the neighborhood of the underlying true phylogeny and to be specified as a backbone tree or the number of possible reticulation events. Nevertheless their running time is still often too slow to be really helpful in many realistic scenarios. We propose a method called PhyloDAG, which is significantly faster than earlier methods, and thus restrictions on the network search can be removed. As a consequence the inference is more likely to be accurate. The key idea to speed up phylogenetic network inference by the proposed method, Stochastic Structural Expectation Maximization, which is an EM like algorithm, where in the E step it samples missing data while in the M step it optimizes both the parameters and the structure of the phylogenetic network on pseudo-complete data. Experiments on simulated data as well as real biological and textual data demonstrate that the proposed method, PhyloDAG, can efficiently infer accurate phylogenetic networks.
  • Kulmala, Johanna (2022)
    Työn päätarkoitus on esittää Lindemannin-Weierstrassin lause todistuksineen. Todistusta varten tarvitsemme erinäisiä tietoja algebrallisista luvuista, transkendenttisista luvuista sekä tässä työs sä Galois'n ryhmistä ja Galois'n laajennoksista. Lindemannin-Weierstrassin lauseen todistuksen jälkeen esitetään lauseesta seuraavia tuloksia. Historian saatossa matemaatikot ovat halunneet jakaa lukuja erilaisiin lukujoukkoihin, kuten kokonaislukuihin ja kompleksilukuihin. Luvut pystytään jakamaan myös transkendenttisiin lukuihin ja algebrallisiin lukuihin. Lukua kutsutaan algebralliseksi, jos se on jonkin kokonaislukukertoimisen polynomin juuri. Jos luku ei ole algebrallinen, niin se on transkendenttinen. Matemaatikkojen ongelmana oli pitkään kuinka luvun transkendenttisuus todistetaan. Lindemannin-Weierstrassin lause on ratkaisu tähän ongelmaan. Lindemannin-Weierstrassin lause on seuraava: Olkoot α1, α2, . . . , αn erillisiä algebrallisia lukuja, jotka ovat lineaarisesti riippumattomia rationaalilukujen suhteen. Tällöin luvut e^α1, e^α2, . . . , e^αn ovat algebrallisesti riippumattomia algebrallisten lukujen suhteen. Työn päälauseen avulla pystytään siis todistamaan joidenkin lukujen transkendenttisuus. Tälläisiä lukuja ovat esimerkiksi Neperin luku e ja π, joiden transkendenttisuuden todistan työn lopussa lauseen avulla. Työn päälähteessä käytetään lauseen todistuksessa Galois'n ryhmiä ja laajennoksia, minkä vuoksi käsittelen myös niitä työssäni.
  • Stewen, Heini Sofia (2023)
    Tämä maisterintutkielma on kehittämistutkimus, jossa kehitetään yläkoulun matematiikan oppitunneille tarinallista opetusta hyödyntävä lineaarifunktioihin keskittyvä oppimateriaali. Työ on rajattu kehittämistutkimuksen yhteen kehittämissykliin. Tämän kehittämistutkimuksen ensimmäisen syklin ongelma-analyysissä huomioidaan tarinallisen opetuksen luomat mahdollisuudet ja haasteet. Lisäksi ongelma-analyysissä tarkastellaan lineaarifunktioiden oppimisen haasteita, perusopetuksen opetussuunnitelman sisältöjä lineaarifunktioista ja vertaillaan kolmea eri oppimateriaalisarjaa keskenään lineaarifunktioiden käsittelyn osalta. Tämän työn tavoitteena on kehittää mahdollisimman toimiva tarinallinen tehtäväkokonaisuus lineaarifunktioista. Ongelma-analyysin pohjalta kehitetyn oppimateriaalin toimivuutta tutkitaan kyselytutkimuksella. Testausosion osallistujina toimii viisi matematiikan aineenopettajaopiskelijaa. Tutkimuksen tulosten perusteella todetaan, että lineaarifunktioihin keskittyvän tarinallisen oppimateriaalin ensimmäinen versio on jo toimiva kokonaisuus. Erityisesti tehtäväpaketin monipuolisuutta pidetään sen vahvuutena. Kyselytutkimuksen perusteella oppimateriaalin tarina kuten myös sen tehtävät koettiin monitahoisiksi. Työn johtopäätöksenä todetaan, että kehitettyä tehtäväpakettia voi kuitenkin jatkojalostaa yhä toimivammaksi kokonaisuudeksi. Tämä vaatii kehittämistutkimuksen toisen kehittämissyklin. Toisen kehittämissyklin myötä tutkimuksen ja tuotteen luotettavuus kasvaisi. Toisen kehittämissyklin tavoitteiksi olisi kannattavaa asettaa oppimateriaalin luettavuuden parantaminen ja sen monialaisuuden kasvattaminen.
  • Seppälä, Leo Valtteri (2020)
    Lineaarinen ohjelmointi on matemaattista optimointia, jota voidaan hyödyntää monissa käytännön ongelmissa. Tässä tutkielmassa käydään läpi lineaarisen ohjelmoinnin ongelmia ja niiden ratkaisutapoja, sekä miten lineaarista ohjelmointia voisi esitellä lukio-opetuksessa. Lineaarinen ohjelmoinnin ongelma muodostuu lineaarisista ehdoista ja objektifunktiosta. Lineaarisen ohjelmoinnin ongelmilla on olemassa yleinen muoto, joka auttaa ongelman käsittelyä eri ratkaisumenetelmillä. Lineaarisessa ohjelmoinnissa pitää ongelmasta rakentaa matemaattinen malli. Tämä malli voidaan rakentaa sarakemenetelmällä. Mallin rakennusprosessi jatkuu järjestelmällisesti, kunnes kaikki ongelman tarpeelliset tiedot on muutettu sellaiseen muotoon, että ongelmaa voidaan käsitellä lineaarisen ohjelmoinnin työkaluilla Tutkielmassa on todistus sille, että lineaarisessa ohjelmoinnissa ongelman suurin ja pienin arvo löytyvät ehtolauseiden rajaamaan alueiden ääripisteistä. Tätä tietoa hyödyntämällä yksinkertaisia lineaarisen ohjelmoinnin ongelmia voidaan ratkaista visuaalisesti. Monimutkaisempia lineaarisen ohjelmoinnin ongelmia voidaan ratkaista Simplex-menetelmällä, joka on lineaarisen ohjelmoinnin ratkaisumenetelmä. Simplex-menetelmässä ongelmaa käsitellään sen perusmuodossa, ja Simplex-algoritmi etenee vaihe vaiheelta, kunnes se päätyy sellaiseen tilaan, että prosessi pysähtyy ja ongelmaan saadaan optimoitu vastaus. Lineaarisen ohjelmoinnin opetuksesta toisella asteella on olemassa tutkimuksia, joita on tehty muun muassa Indonesiassa. Näistä tutkimuksista käy ilmi, että aiemman opitun tiedon omaksuminen on tärkeää lineaarisen ohjelmoinnin oppimisessa. On myös tukittu opetussarjakuvien ja opetusvideoiden käyttöä lineaarisen ohjelmoinnin opetuksessa. Tutkimusten perusteella ne tukevat oppilaiden lineaarisen ohjelmoinnin oppimista. Suomen lukiossa pitkän matematiikan kurssit sisältävät oleelliset lähtötiedot, että opiskelija voi aloitta perehtymisen lineaarisen ohjelmoinnin perusteisiin. Lineaarisen ohjelmoinnin ongelmat vaativat ongelmanratkaisukykyä ja sen ongelmien kautta opiskelijat voidaan perehdyttää erilaisten sähköisten ohjelmien käyttöön matematiikassa. Yksi tapa opettaa lineaarista ohjelmointia voisi olla projektimuotoinen opetus, jossa opiskelijoilla on yksi isompi aihe, johon kurssin edetessä lisättäisiin asioita niin, että sen ratkaisuun tarvittaisiin aina askel askeleelta enemmän työkaluja.
  • Perttula, Juha (2018)
    Tässä tutkielmassa esitellään koodausteorian peruskäsitteitä ja todistetaan joitakin keskeisiä tuloksia lineaarisille koodeille. Koodausteoria on osa laajempaa tiedonsiirron matemaattista teoriaa. Keskeinen ongelma tiedonsiirrossa on saada viesti perille mahdollisimman lähellä alkuperäistä olevana. Koodausteoriassa tutkitaan koodeja ja koodausta. Koodauksen avulla viesti voidaan ennen tiedonsiirtoa muuttaa sellaiseen muotoon, että mahdolliset virheet tiedonsiirrossa eivät estä viestin lukemista. Aluksi käydään läpi tiedonsiirron vaiheet perustuen Claude Shannonin malliin ja tiedonsiirtoon liittyvät keskeiset käsitteet määritellään. Näihin kuuluvat muun muassa kooderi, tiedonsiirtokanava ja dekooderi. Kooderi muuntaa viestin, eli koodaa sen ja lähettää viestin edelleen tiedonsiirtokanavaan. Tiedonsiirtokanavassa viestiin saattaa tulla virheitä. Vastaanottavassa päässä dekooderin tehtävä on korjata mahdolliset virheet ja muuntaa koodattu viesti takaisin alkuperäiseen muotoon. Matemaattisesti lineaarinen koodi on vektorialiavaruus ja koodaus on lineaarinen kuvaus. Aluksi esitellään täsmällinen määritelmä, mutta sen jälkeen koodeja käsitellään esimerkkien kautta. Koodaus tapahtuu kertomalla vaakavektoria sopivalla matriisilla. Tällaista matriisia, joka muuttaa viestin koodatuksi viestiksi kutsutaan generoijamatriisiksi. Koodaus esitellään esimerkkien avulla lähtien toistokoodauksesta. Toistokoodauksessa viesti koodataan toistamalla sitä useamman kerran. Aluksi generoijamatriisi selvitetään kokeilemalla ja myöhemmin esitellään täsmällinen määritelmä. Generoijamatriisi luo vektorimuotoisista viesteistä koodattuja viestejä. Näitä koodattuja viestejä kutsutaan koodisanoiksi ja koodisanojen joukkoa koodiksi. Vastaavalla tavalla kuin generoijamatriisi, esitellään tarkistusmatriisi. Tarkistusmatriisin avulla voi tarkistaa kuuluuko jokin vektori koodiin. Tarkistusmatriisi luodaan aluksi kokeilemalla ja myöhemmin esitellään täsmällinen määritelmä. Toistokoodin jälkeen esitellään vielä kaksi muuta ominaisuuksiltaan erilaista koodaustapaa. Tämän jälkeen todistetaan lauseita liittyen näiden kahden matriisin ominaisuuksiin ja esitellään muita lineaarisen koodin ominaisuuksia. Lopuksi tarkastellaan koodauksen vaikutusta virheen todennäköisyyteen.
  • Mäkinen, Otto (2021)
    Tutkielma käsittelee invariantin aliavaruuden ongelmaa. Päälähteenä toimii Isabelle Chalendarin ja Jonathan Partingtonin kirja Modern Approaches to the Invariant-Subspace Problem. Invariantin aliavaruuden ongelmassa kysytään, onko kompleksisessa Banachin avaruudessa X jokaisella jatkuvalla lineaarisella operaattorilla T olemassa suljettu aliavaruus A, joka on invariantti (T(A) ⊂ A) ja ei-triviaali (A 6= {0} ja A 6= X). Invariantin aliavaruuden ongelma on vielä avoin kompleksiselle ääretönulotteiselle separoituvalle Hilbertin avaruudelle. Tutkielma koostuu neljästä luvusta. Ensimmäisessä luvussa käydään läpi tarvittavia määritelmiä ja teorioita sekä pohjustetaan tulevia kappaleita. Toisessa luvussa määritellään Banachin algebra ja kompaktit operaattorit sekä esitetään Schauderin kiintopistelause ja päätuloksena Lomonosovin lause, jonka korollaarina saadaan, että kompaktilla operaattorilla, joka ei ole nollaoperaattori, on ei-triviaali invariantti aliavaruus. Lomonosovin lause on esitetty Chalendarin ja Partingtonin kirjan luvussa 6. Kolmannessa luvussa siirrytään Hilbertin avaruuksiin ja tutkitaan normaaleja operaattoreita. Päätuloksena todistetaan, että normaalilla operaattorilla, joka ei ole nollaoperaattori, on ei-triviaali hyperinvariantti aliavaruus. Tätä varten määritellään spektraalisäteen ja spektraalimitan käsitteet sekä näihin liittyviä tuloksia. Normaalit operaattorit löytyvät Chalendarin ja Partingtonin kirjan luvusta 3. Neljäs luku käsittelee minimaalisia vektoreita. Luvussa esitetään Hahn-Banachin, Eberlein-Smulyan ja Banach-Alaoglun lauseet sekä sovelletaan minimaalisia vektoreita invariantin aliavaruuden ongelmaan. Minimaalisten vektoreiden avulla saadaan esimerkiksi uusi ja erilainen todistus sille, että kompaktilla operaattorilla, joka ei ole nollaoperaattori, on ei-triviaali invariantti aliavaruus. Chalendarin ja Partingtonin kirja käsittelee minimaalisia vektoreita luvussa 7.
  • Laukkarinen, Aapo (2022)
    In this thesis we study the article by J. Bourgain and C. Demeter called A study guide for the l^2 decoupling theorem. In particular, we hope to give an in detail exposition to certain results from the aforementioned research article so that this text combined with the master’s thesis On the l^2 decoupling theorem by Jaakko Sinko covers the l^2 decoupling theorem comprehensively in the range 2 ≤ p ≤ 2n/(n−1). The results in this text also self-sufficiently motivate the use of the extension operator and explain why it is possible to prove linear decouplings with multilinear estimates. We begin the thesis by giving the basic notation and highlighting some useful results from analysis and linear algebra that are later used in the thesis. In the second chapter we introduce and prove a certain multilinear Kakeya inequality, which asserts an upper bound for the overlap of neighbourhoods of nearly axis parallel lines in R^n that point in different directions. In the next chapter this is applied to prove a multilinear cube inflation inequality, which is one of the main mechanisms in the proof of the l^2 decoupling theorem. In the fourth chapter we study two forms of linear decoupling. One that is defined by an extension operator and one that defined via Fourier restriction. The main result of this chapter is that the former is strong enough to produce decoupling inequalities that are of the latter form. The fifth chapter is reserved for comparing linear and multilinear decouplings. Here we use the main result of the previous chapter to prove that multilinear estimates can produce linear decouplings, if the lower dimensional decoupling constant is somehow contained. This paves the way for the induction proof of the l^2 decoupling theorem.
  • Lääperi, Mitja (2015)
    Coronary heart disease (CHD) is one of the leading causes of death worldwide. Linear mixed models (LMMs) are presented in this thesis and they are applied to family data from the European Multicenter Study on Familial Dyslipidemias in Patients with Premature Coronary Heart Disease (EUFAM) -project. The data contain 23 quantitative traits relating to risk of CHD and roughly 28 million genetic variants. The data consist of nearly 1600 individuals from around 150 families. Linear mixed models are used when the data contain clustering or repeated measurements. In other words, when the observations are dependent. In the EUFAM data the observations come from families. In this case, the linear mixed models take the relatedness of the individuals into account. Linear mixed models are applied for both heritability estimation and genome-wide association testing in this thesis. Both in simulations and in the analyses with the EUFAM-data the need for LMMs can be seen. The LMM has more statistical power than the standard linear model when heritability exists in the data. The standard linear model also has inflated type I error rate. Both of these occur because the standard linear model does not take the relatedness of the individuals into account. For example, in the genome-wide analysis done for the EUFAM-data the standard linear model gives a massive amount of false positives when compared to the linear mixed model. The thesis proves the usefulness of and need for linear mixed models when analyzing family data.
  • Huang, Zhiyong (2012)
    In this master's thesis we present two important classes of regularized linear models -regularized least squares regression (LS) and regularized least absolute deviation (LAD). Use of regularized regression in variable selection was pioneered by Tibshirani (1996) and his proposed LASSO rapidly became a popular and competitive method in variable selection. Properties of LASSO have been intensively studied and different algorithms to solve LASSO have been developed. While the success of LASSO was acclaimed during the process, its limitations were noticed and a number of alternative methods have been proposed in subsequent research. Among all of theses methods, adaptive LASSO (Zou, 2006) and SCAD (Fan and Li, 2001) attempt to improve the efficiency of LASSO; LAD LASSO (Wang et al., 2007) assumes non-Gaussian distributed errors; ridge, elastic net (Zou and Hastie, 2005) and Bridge (Frank and Friedman, 1993) adopt penalties other than L1; while fused LASSO (Tibshirani et al., 2005) and grouped LASSO (Yuan and Lin, 2006) take extra constrains of data into account. We discuss LASSO in length in the thesis. Its properties in orthogonal design, singular design and p > n design are examined. Its asymptotic performance is investigated and its limitations are carefully illustrated. Another two commonly used regularization methods in LS - ridge and elastic net - are discussed as well. The regularized LAD is another focus of the thesis. As a robust statistic, LAD, which fits the conditional median rather than the conditional mean of the response, has a bounded influence function and a high conditional breakdown point. It is natural to use regularized LAD to do variable selection in presence of long-tailed errors or outliers in the response. Compared with LASSO, LAD LASSO does robust estimation and variable selection simultaneously. We make a simulation study and examine two real examples on the performance of these regularized linear models. Our results demonstrate that no single one estimate dominates others in all cases. The sparsity of the true model, the distribution of the noise, noise-to-signal ratio, the sample size and the correction of predictors, all these factors matter. When the noise has a normal distribution, LASSO, adaptive LASSO and elastic net often outperform others in prediction accuracy. Adaptive LASSO is the best in variable selection and elastic net tends to reveal less sparsity than LASSO. When the noise follows a Laplace distribution, LAD LASSO is competitive with LASSO but is less efficient than adaptive LASSO. For noises with extremely long-tailed distribution such as Cauchy distribution, LAD LASSO dominates others in both the prediction accuracy and variable selection.