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

Browsing by Title

Sort by: Order: Results:

  • Suomalainen, Lauri (2019)
    Hybrid Clouds are one of the most notable trends in the current cloud computing paradigm and bare-metal cloud computing is also gaining traction. This has created a demand for hybrid cloud management and abstraction tools. In this thesis I identify shortcomings in Cloudify’s ability to handle generic bare-metal nodes. Cloudify is an open- source vendor agnostic hybrid cloud tool which allows using generic consumer-grade computers as cloud computing resources. It is not however capable to automatically manage joining and parting hosts in the cluster network nor does it retrieve any hardware data from the hosts, making the cluster management arduous and manual. I have designed and implemented a system which automates cluster creation and management and retrieves useful hardware data from hosts. I also perform experiments using the system which validate its correctness, usefulness and expandability.
  • Gafurova, Lina (2018)
    Automatic fall detection is a very important challenge in the public health care domain. The problem primarily concerns the growing population of the elderly, who are at considerably higher risk of falling down. Moreover, the fall downs for the elderly may result in serious injuries or even death. In this work we propose a solution for fall detection based on machine learning, which can be integrated into a monitoring system as a detector of fall downs in image sequences. Our approach is solely camera-based and is intended for indoor environments. For successful detection of fall downs, we utilize the combination of the human shape variation determined with the help of the approximated ellipse and the motion history. The feature vectors that we build are computed for sliding time windows of the input images and are fed to a Support Vector Machine for accurate classification. The decision for the whole set of images is based on additional rules, which help us restrict the sensitivity of the method. To fairly evaluate our fall detector, we conducted extensive experiments on a wide range of normal activities, which we used to oppose the fall downs. Reliable recognition rates suggest the effectiveness of our algorithm and motivate us for improvement.
  • Huusari, Riikka (2016)
    This study is part of the TEKES funded Electric Brain -project of VTT and University of Helsinki where the goal is to develop novel techniques for automatic big data analysis. In this study we focus on studying potential methods for automated land cover type classification from time series satellite data. Developing techniques to identify different environments would be beneficial in monitoring the effects of natural phenomena, forest fires, development of urbanization or climate change. We tackle the arising classification problem with two approaches; with supervised and unsupervised machine learning methods. From the former category we use a technique called support vector machine (SVM), while from the latter we consider Gaussian mixture model clustering technique and its simpler variant, k-means. We introduce the techniques used in the study in chapter 1 as well as give motivation for the work. The detailed discussion of the data available for this study and the methods used for analysis is presented in chapter 2. In that chapter we also present the simulated data that is created to be a proof of concept for the methods. The obtained results for both the simulated data and the satellite data are presented in chapter 3 and discussed in chapter 4, along with the considerations for possible future works. The obtained results suggest that the support vector machines could be suitable for the task of automated land cover type identification. While clustering methods were not as successful, we were able to obtain as high as 93 % accuracy with the data available for this study with the supervised implementation.
  • Puonti, Oula (2012)
    Magnetic resonance imaging (MRI) provides spatially accurate, three dimensional structural images of the human brain in a non-invasive way. This allows us to study the structure and function of the brain by analysing the shapes and sizes of different brain structures in an MRI image. Morphometric changes in different brain structures are associated with many neurological and psychiatric disorders, for example Alzheimer's disease. Tracking these changes automatically using automated segmentation methods would aid in diagnosing a particular brain disease and follow its progression. In this thesis we present a method for automatic segmentation of MRI brain scans using parametric generative models and Bayesian inference. Our method segments a given MRI scan to 41 different structures including for example hippocampus, thalamus and ventricles. In contrast to the current state-of-the-art methods in whole-brain segmentation, our method does not pose any constraints on the MRI scanning protocol used to acquire the images. Our model is based on two parts: the first part is a labeling model that models the anatomy of the brain and the second part is an imaging model that relates the label images to intensity images. Using these models and Bayesian inference we can find the most probable segmentation of a given MRI scan. We show how to train the labeling model using manual segmentations performed by experts and how to find optimal imaging model parameters using expectation-maximization (EM) optimizer. We compare our automated segmentations against expert segmentations by means of Dice scores and point out places for improvement. We then extend the labeling and imaging models and show, using a database consisting of MRI scans of 30 subjects, that the new models improve the segmentations compared to the original models. Finally we compare our method against the current state-of-the-art segmentation methods. The results show that the new models are an improvement over the old ones, and compare fairly well against other automated segmentation methods. This is encouraging, because there is still room for improvement in our models. The labeling model was trained using only nine expert segmentations, which is quite a small amount, and the automated segmentations should improve as the number of training samples grows. The upside of our method is that it is fast and generalizes straightforwardly to MRI images with varying contrast properties.
  • Gold, Ayoola (2021)
    The importance of Automatic Speech Recognition cannot be underestimated in today’s worlds as they play a significant role in human computer interaction. ASR systems have been studied deeply over time, but their maximum potential is yet to be explored for the Finnish language. Development of a traditional ASR system involves a number of hand-crafted engineering which has made this technology quite difficult and resourceful to develop. However, with advancements in the field of neural networks, end-to-end ASR neural networks can be developed which can automatically learn the mappings of audio to its corresponding transcript., therefore reducing hand crafted engineering requirements. End-to-end neural network ASR systems have been largely developed commercially by tech giants such as Microsoft, Google and Amazon. However, there are limitations to these commercial services such as data privacy and cost of usage. In this thesis, we explored existing studies in the development of an end-to-end neural network ASR for Finnish language. One successful technique utilized in the development of neural network ASR in the advent of inadequate data is Transfer learning. This is the approach explored in this thesis for the development of the end-to-end neural network ASR system. In addition, the success of this approach was evaluated. In order to achieve this purpose, dataset collected from the Finnish Bank of Finland and Kaggle were used to fine-tune Mozilla DeepSpeech model which is a pretrained end-to-end neural network ASR in English language. The results obtained by fine-tuning the pretrained neural network ASR in English for Finnish language showed a word error rate as low as 40% and character error rate as low as 22%. We therefore concluded that transfer learning is a successful technique for creating ASR model for a new language using a pretrained model in another language with little effort, data and resources.
  • Kesulahti, Aki (2019)
    Tutkielmassa käydään läpi autonomisten ajoneuvojen mahdollisia tietoturvauhkia sekä uhkien riskitasoja. Eri hyökkäystavoista ja -tyypeistä selvitetään mitä heikkouksia ne hyödyntävät, ja miten näiltä hyökkäyksiltä voi koittaa suojautua. Potentiaaliset tietoturvauhat jakautuvat uhkiin ajoneuvon toimintaan sekä ajoneuvossa olevan henkilön yksityisyyden suojan uhkiin. Ajoneuvon toiminnan uhat jakautuvat vielä hyökkäyksiin suoraan itse ajoneuvon järjestelmiin, hyökkäyksiin ajoneuvoon välillisesti verkottuneiden ajoneuvojen ja telematiikan kautta, sekä hyökkäyksiin viihdejärjestelmien ja kannettavien laitteiden kautta. Ajoneuvon järjestelmistä tietoturvauhkia on muun muassa navigointijärjestelmässä kuten kartta-aineistossa ja satelliittipaikannuksessa, ajoneuvon lähisensoreissa kuten kameroissa, lidarissa, tutkassa ja akustisissa sensoreissa, sekä ajoneuvon sisäisissä laitteissa ja antureissa kuten esimerkiksi langattomissa rengaspainesensoreissa. Verkottuneiden ajoneuvojen kautta tietoturvauhkia on erilaiset väärennetyt viestit turvallisuusjärjestelmään tai ruuhkanhallintaan, palveluestohyökkäys, karttatietojen myrkytys tai salanimen vaihtamisen häirintä. Myös infrastruktuurin kautta voidaan hyökätä palvelunestohyökkäyksenä, väärennetyin turvallisuusviestein tai karttatiedolla. Ajoneuvon CAN-väylään voidaan hyökätä sekä ajoneuvon omien sensoreiden kautta, että verkottuneilla viesteillä toisesta ajoneuvosta tai infrastruktuurista. CAN-väylään voi tehdä palveluestohyökkäyksiä ja valeviestejä. Viihdejärjestelmistä ja kannettavista laitteista voi hyökätä muun muassa FM-radion, mediatiedostojen tai älypuhelimen kautta. Yksityisyyden suojaa uhkaavat salakuuntelu ja -katselu, sekä erilaiset tavat seurata ajoneuvon sijaintia kuten nopeuden seuranta, suuret joukot autonomisia ajoneuvoja ja kilometripohjainen tienkäyttömaksu. Keinoja suojautua tietoturvauhilta on käyty läpi sekä jokaisen hyökkäyksen kohdalla erikseen, että kootusti kategorisoituna tietotekniseen suojaukseen, sensoridatan suojaukseen sekä yksityisyyden suojan suojaukseen. Perinteiset tietotekniset suojaukset kuten autentikaatio, suojatut yhteydet ja palomuurit ovat tarpeellisia myös autonomissa ajoneuvoissa. Sensoridatan luotettavuutta ja vikasietoisuutta voidaan parantaa suodatuksella, sensorifuusiolla ja parviennusteella. Lisäksi lohkoketjulla on esitetty ratkaisumalleja yksityisyyden suojan, kuten sijainnin seurannan, ongelmiin verkottuneissa ajoneuvoissa. Läpikäytävistä uhista on tehty riskianalyysi riskin suuruuden selvittämiseksi. Riskianalyysissa käytettiin hyökkäyksen onnistumisen todennäköisyyttä ja hyökkäyksen vaikutuksia, joista saatiin riskimatriisilla riskin suuruus. Suurimpia riskejä hyökkäyksissä autonomisiin ajoneuvoihin ovat satelliittipaikannuksen huijaussignaali ja häirintä, sekä kartta-aineiston vaihtaminen, sähkömagneettinen pulssi sekä tutkan toimintaa haittaava häivemateriaali. Suurimpia riskejä hyökkäyksissä verkottuneisiin ajoneuvoihin ja liikennetelematiikkaan ovat verkottuneiden ajoneuvon väärennetyt turvallisuusviestit verkottuneiden ajoneuvojen kautta tuleva karttatietojen myrkytys. Lopuksi tarkastelussa pohditaan riskien hyväksyttävää tasoa, mietitään käytettyjen menetelmien luotettavuutta, sekä esitetään kirjoittajan omia mielipiteitä.
  • Noro, Juho (2023)
    In my thesis I look at how persons living without an own car experience their daily mobility and what kind of strategies and practices concerning daily mobility are their households using to manage their daily lives. In focus is also a question of the significance of the place of residence to mobility, which I investigate through the concepts of urban structure and car dependence. I chose the city of Porvoo as my study area, because as a small city it does not have the public transportation services at the level of the largest Finnish cities, but on the other hand its dense city center may support carless daily mobility. I use the concept of accessibility strategies, which means the ways in which individuals can maintain access to the variably time and space bound activities of their everyday lives and overcome or adapt to their time-geographic constraints. Knowing the practices of carless households is important for the targets to reduce greenhouse gas emissions of transportation in Finland. It is still important to remember the nature of carlessness as varying from being voluntary to being involuntary. Urban structure sets the conditions which may favor some travel behavior and prohibit other kinds. These conditions include distances between activity locations, or the relative ease of using different travel modes. Urban structure may enable alternatives in travel mode choices or prohibit them and support mostly private car use. Discussions may also consider car dependence, which has been defined as the dependence on private cars of areas, urban structure, transport systems, as well as individuals and daily trips. As a method for data collection in this qualitative thesis I used thematic interviews. Interviews may help to understand the practices and subjective experiences of a group of people in a certain place, and meanings they attach to an activity of a geographical nature. I interviewed seven persons living in Porvoo, representing their carless households, of which some lived in the city center and others outside of it. I analyzed the interview transcriptions using coding, thematic analysis and typification. Almost all of the interviewees utilized a strategy in which they had taken proximity to daily destinations and activities into consideration when moving to their current place of residence, which enables short distances by walking or cycling. I studied the use of information and communications technologies to substitute physical mobility by looking at remote work practices: high levels of remote work were done, and more than before, when the remote work possibilities were expanded due to COVID-19 pandemic. All of the households had received support for mobility from their social relations, but the significance of this strategy to everyday life varied considerably, from a weekly need of getting car rides to a rare occasion of borrowing a car. Central daily mobility practices were walking and cycling, trip chaining, and choosing activities from a close proximity to home. The daily mobility experiences of households living in Porvoo city center, or its immediate surroundings were characterized as being problem-free. City center’s short distances and bus connections to Helsinki were seen as advantages to mobility. The most pronounced challenges to daily mobility appeared within those living outside of the city center, due to experiences of a decline in the service level of local public transportation. Local buses did not offer satisfying levels of accessibility to those who would have needed them for their daily trips. The finding of the problem-free nature of daily mobility of the ones living in or next to city center is in line with a finding from literature, which sees downtown areas of middle-sized Finnish cities as representing a car independent urban structure.
  • Heino, Lauri (2020)
    The suffix array is a space-efficient data structure that provides fast access to all occurrences of a search pattern in a text. Typically suffix arrays are queried with algorithms based on binary search. With a pre-computed index data structure that provides fast access to the relevant suffix array interval, querying can be sped-up, because the binary search process operates over a smaller interval. In this thesis a number different ways of implementing such an index data structure are studied, and the performance of each implementation is measured. Our experiments show that with relatively small data structures, one can reduce suffix array query times by almost 50%. There is a trade-off between the size of the data structure and the speed-up potential it offers.
  • Tuomainen, Risto Olli Oskari (2016)
    In nearest neighbors search the task is to find points from a data set that lie close in space to a given query point. To improve on brute force search, that computes distances between the query point and all data points, numerous data structures have been developed. These however perform poorly in high dimensional spaces. To tackle nearest neighbors search in high dimensions it is commonplace to use approximate methods that only return nearest neighbors with high probability. In practice an approximate solution is often as good as an exact one, among other reasons because approximations can be of such a high quality that they are practically indistinguishable from exact solutions. Approximate nearest neighbors search has found applications in many different fields, and can for example be used in the context of recommendation systems. One class of approximate nearest neighbors algorithms is space partitioning methods. These algorithms recursively partition the data set to smaller subsets in order to construct a search structure. Queries can then be performed very efficiently by using this structure to prune data points without needing to evaluate their distances to the query point. A recent proposal belonging to this class of algorithms is multiple random projections trees (MRPT). MRPT uses random projection trees (RP-trees) to prune the set from which nearest neighbors are searched. This thesis proposes a voting algorithm for using multiple RP-trees in nearest neighbors search. We also discuss a further improvement, called mixture method. The performance of these algorithms was evaluated against the previous MRPT algorithm using two moderately high dimensional data sets. Mixture method was found to improve considerably on MRPT in terms of accuracy attained. The results presented in this thesis suggest that the mixture method may potentially be a strong algorithm for nearest neighbors search, especially in very high dimensional spaces.
  • Rantalainen, Aapo (Helsingin yliopistoUniversity of HelsinkiHelsingfors universitet, 2006)
  • Rönnqvist, Suvi (2020)
    Koulumatematiikka on ottanut valtavia harppauksia eteenpäin viime vuosien aikana. Vuonna 2014 hyväksytty perusopetuksen opetussuunnitelman perusteet toivat ohjelmoinnin osaksi matematiikan opetust. Opetussuunnitelmassa painotetaan paljon yleisesti sekä matematiikan osalta tieto- ja viestintäteknologian hyödyntämistä osana opetusta. Teknologia antaa runsaasti mahdollisuuksia työskentelyyn koulussa. Avaruusgeometriaa voi luoda, havainnoida tai tutkia siihen tarkoitetuilla sovelluksilla. Valmiiksi tehtyjä käyttökelpoisia appletteja löytyy esimerkiksi GeoGebraltaa hyvin. Tästä voi olettaa, että oppikirjat antavat oppilaille paljon tukea teknologian hyödyntämiseen opinnoissa. Koulussa käytettävät oppimateriaalit muuttuivat viimeisimmän opetussuunnitelman myötä. Esimerkiksi materiaalit voivat olla digitaalisessa muodossa perinteisen kirjan sijaan. Perinteisissä oppikirjoissa on aikaisempien kirjojen tyyliin tehtäviä laidasta laitaan. Avaruusgeometriassa tehtävät painottuvat hahmottamiseen ja laskemiseen, mutta myös kolmiulotteiseen hahmottamiseen liittyviä tehtäviä on jonkin verran. Tieto- ja viestintäteknologiaa ei ole oppilaiden kirjoissa mainittuna tai tuotu esiin. Ylioppilastutkinnossa matematiikka on suoritettu keväästä 2019 alkaen sähköisenä kokeena. Peruskoulusta lukioon jatkaa yli puolet oppilaista, joten yläkoulun jälkeen oppilailla on muutama vuosi lukiossa aikaa omaksua erilaiset sähköiset työkalut. Lukiossa opiskeleville olisivaltavasti etua, jos perusopetuksessa tutustuttaisiin esimerkiksi geometrisiin piirtotyökaluihin. Nivelvaihe peruskoulun ja lukion välillä on joka tapauksessa suuri harppaus. Perusopetuksen matematiikan opetusmateriaaleissa ei ole hyödynnetty teknologiaa avaruusgeometriassa. Lisätutkimus teknologian integroimisesta osaksi matematiikan ja avaruusgeometrian opetusta olisi toivottavaa.
  • Xu, Tingting (2014)
    The high mortality rate among humans infected with certain types of Avian Influenza (AI) and the potential of a mutation that allows human-to-human transmission is a great concern for the public health. We formulate a mathematical model for the prevalence of AI in humans resulting from avian-to-human transmission. The model is important because the higher the prevalence, the higher the risk of a mutation that allows human-to-human transmission leading in a major epidemic. We formulate and analyse separate deterministic and stochastic versions of the model. Different time scale separation techniques are applied to the models. The influence of certain controllable parameters on the system equilibrium is interpreted from numerical results. Moreover, we also investigate the fluctuation of populations due to demographic stochasticity at the early stage of the prevalence of AI.
  • Torkko, Petteri (2013)
    Organisaatioiden liiketoimintajärjestelmät ovat tyypillisesti organisaation toimintaan sopivaksi muokattuja suljettuja kokonaisuuksia, joiden on kuitenkin tarpeen integroitua muihin järjestelmiin. Integraatioalustat tarjoavat malleja ja palveluita, joiden avulla heterogeenisten järjestelmien keskinäistä tiedon ja prosessien jakoa voidaan korkealla tasolla yksinkertaistaa. Tutkielman tarkoituksena on löytää vanhentuneen integraatioalustan rinnalle modernimpi alusta. Vertaamalla olemassaolevaa alustaa tyypillisiin järjestelmäintegraatioissa käytettyihin menetelmiin, arkkitehtuureihin ja suunnittelumalleihin saadaan monien alustojen joukosta valittua yksi (Spring Framework ja sen laajennokset), jota tutkitaan tarkemmin. Käyttäjille suunnatun kyselyn avulla olemassaolevasta alustasta selvinneisiin ongelmakohtiin vertaamalla saadaan uudelle alustalle tehtyä maaliperustaiset vaatimukset, sekä niihin liittyvät metriikat. Alustojen vertailusta saatujen tulosten perusteella uusi alusta täyttää sille asetetut vaatimukset, ja paikkaa olemassaolevan alustan ongelmat.
  • Stenberg, Mika (Helsingin yliopistoHelsingfors universitetUniversity of Helsinki, 2008)
    Open Access -liike pyrkii vapauttamaan tieteellisen tiedon kaupallisuuden rajoitteista edesauttamalla artikkeleiden rinnakkaisversioiden avointa ja esteetöntä verkkotallennusta. Sen mahdollistamiseksi verkkoon perustetaan julkaisuarkistoja, joiden toiminta-ajatuksena on säilöä taustayhteisönsä tieteellinen tuotanto avoimesti ja keskitetysti yhteen paikkaan. Avoimen lähdekoodin arkistosovellukset jakavat sisältönsä OAI-protokollan avulla ja muodostavat näin globaalin virtuaalisen tietoverkon. Suurten tietomäärien käsittelyssä on huomioitava erityisesti kuvailutiedon rooli tehokkaiden hakujen toteuttamisessa sekä tiedon yksilöiminen verkossa erilaisten pysyvien tunnisteiden, kuten Handle:n tai URN:n avulla. Tieteellisen tiedon avoimella saatavuudella on merkittävä vaikutus myös oppimisen näkökulmasta. Julkaisuarkistot tarjoavat oppimateriaalin lisäksi uusia mahdollisuuksia julkaisukanavan ja oppimisymp äristön integroimiseen. Työssä esitellään avoimen saatavuuden keskeisiä teemoja sekä sen käytännön toteutusta varten kehitettyjä teknisiä ratkaisuja. Näiden pohjalta toteutetaan Meilahden kampuksen avoin julkaisuarkisto. Työssä pohditaan myös julkaisuarkistojen soveltuvuutta oppimisprosessin tukemiseen tutkivan- ja sulautuvan oppimisen viitekehyksessä. ACM Computing Classification System (CCS): H.3 [INFORMATION STORAGE AND RETRIEVAL], H.3.7 [Digital Libraries], H.3.3 [Information Search and Retrieval], H.3.5 [Online Information Services], K.3 [COMPUTERS AND EDUCATION], K.3.1 [Computer Uses in Education]
  • Hatakka, Emmi (2016)
    Tässä tutkimuksessa käsitellään ongelmanratkaisua osana matematiikan opettamista. Aihe on tärkeä, sillä ongelmanratkaisu on taito, jota yksilö tarvitsee elämänsä kaikilla eri osa-alueilla aina arkipäivän ongelmatilanteista työelämän haasteisiin. Tämän tutkimuksen tarkoituksena on antaa matematiikan opettajille eväitä ongelmalähtöisen oppimateriaalin kehittämiseen ja ongelmalähtöisen opetuksen toteuttamiseen. Tutkimuksessa pyritään kehittämään ratkaisu opettajien kokemaan ongelmaan ongelmanratkaisun ja matematiikan sisältöjen opettamisen irrallisuudesta vastaamalla kysymyksiin 'Miten opettaja voi tukea ongelmanratkaisun oppimista?' ja 'Minkälainen oppimateriaali tukee sekä käsitteen oppimista että kehittää oppilaiden ongelmanratkaisukykyä?'. Tutkimusmetodina käytetään kehittämistutkimusta, jossa teoreettisen ongelma-analyysin perusteella kehitetään käyttökelpoinen opetusmateriaali. Tutkimuksen teoreettisen ongelma-analyysin tavoitteena on myös kehittää syvällinen ymmärrys tutkittavasta aihepiiristä. Teoreettisen osion merkittävinä lähteinä ovat toimineet Haapasalon (2011) ja Pehkosen (1991) teokset ja se koostuu ongelmanratkaisun teoriasta sekä ongelmanratkaisun ja funktiokäsitteen oppimisen teoriasta. Teoreettisen ongelma-analyysin perusteella kehitettyä opetusmateriaalia testataan opetuskokeilulla ja sen jatkokehitysmahdollisuuksia pohditaan. Opetuskokeilun tutkimusmenetelmänä on osallistuva havainnointi. Teoreettisen ongelma-analyysin pohjalta oppimistehtävän ensisijaisiksi tavoitteeksi asetettiin oppilaiden ajattelutaitojen kehittäminen sekä opetettavan uuden käsitteen kytkeminen käytännönläheiseen kontekstiin. Oppimistehtävän empiirisessä testauksessa havaittiin tehtävän toteuttavan sille asetetut tavoitteet, mutta lisäksi havaittiin myös mahdollisia jatkokehitystarpeita. Tehtävä onnistui tavoitteessaan käytännönläheisenä johdantona funktioihin, mutta sen muotoiluun avoimuuden osalta voi olla syytä kiinnittää huomiota riippuen oppilasryhmän tasosta. Kirjallisuuskatsauksen perusteella opettajan näkökulmasta ongelmanratkaisun opetus on nähtävissä pitkäaikaisena prosessina, jossa opettajan rooli muuttuu oppilaiden kehittyessä. Aluksi oppilaat tarvitsevat malliesimerkkiä kun he vasta omaksuvat uusia ajatusmalleja. Oppilaiden ongelmanratkaisutaitojen karttuessa opetusta voi muuttaa yhä ongelmalähtöisempään suuntaan ja lopulta heuristiikkojen automatisoiduttua pitkäjänteisen harjoittelun tuloksena, ne voidaan tehdä oppilaille tietoisiksi. Ongelmanratkaisu nähdään yleisesti hyväksyttynä keinona oppilaiden matemaattisen ja kriittisen ajattelun kehityksessä ja sen tulisi olla osa matematiikan opetusta.
  • Nissinen, Antti (2016)
    Tutkielmassa tarkastelen avoimia matemaattisia tehtäviä sekä matematiikan opettamista ja arviointia peruskoulun yläluokilla avoimia tehtäviä käyttämällä. Tehtävä on avoin, kun sen alku- tai lopputilanne ei ole tarkasti määritelty. Ratkaisija joutuu tekemään prosessin aikana valintoja saadakseen tehtävän ratkaistua. Avoimella ongelmatehtävällä voi olla useita oikeita ratkaisuja. Tutkielman alussa kerron avoimista tehtävistä ja esittelen erilaisia avoimia tehtävätyyppejä. Seuraavaksi esittelen oppimiskäsitysten teoriaa ja perustelen avoimien ongelmien käyttöä peruskoulun matematiikan opetuksen osana. Avoimen ongelman ratkaisija käyttää hyväkseen aiemmin oppimaansa tietoa ja kokemuksiaan samantyyppisistä ongelmista. Ratkaisut ovat tekijän näkökulmasta ainutlaatuisia. Avoimet ongelmat mahdollistavat oivaltamisen hetkiä, ja niiden tekeminen tukee oppijan matemaattista minäkuvaa ja kokemusta hyväksynnästä. Neljäs luku sisältää teoriaa ja pohdintaa ongelmanratkaisun ja avoimilla ongelmilla opettamisen keinoista sekä ohjeita avoimien tehtävien laatimiseen. Ongelmanratkaisu on käytännön taito, jossa kehittyminen vaatii runsasta harjoittelua. Opettajan rooli monimutkaistuu avointa ongelmanratkaisua opetettaessa, koska oikeita ratkaisuja ja ratkaisukeinoja on useita. Opetustilanteista tulee vähemmän ennustettavia. Lisäksi kerron opetuskokemuksistani avoimien ongelmien parissa. Lopuksi pohdin oppimisen arviointia muun muassa avoimien ongelmien näkökulmasta ja Perusopetuksen opetussuunnitelman perusteet 2014 huomioiden. Kuvailen myös joitakin tutkielman aiheeseen liittyviä haasteita.
  • Riippa, Väinö (2016)
    This Master's thesis is empirical literature review, which studies open data at the area of healthcare. The study represents what the open data is and how it has become the concept what it stands for today. At the first chapter we take a look at open data at general viewpoint. In the next chapter there will be comparing of the open data processes from the point of publisher and consumer. After the processes we take a look at the open data at the sectors of healthcare and welfare. Study will be done by examining the current practices, the application solutions and the expectations of open data. This study offers for reader an informative review about the process models regarding to open data. After reading the thesis there's possibility to use process model in data openings of the own organization.
  • Veteli, Peitsa (2020)
    Opetus- ja tutkimusmaailmojen välillä koetaan olevan rako, jota voidaan pitää osasyynä yleisesti havaittuun opiskelijoiden matalaan motivaatioon luonnontieteellisiä aloja kohtaan. Samassa yhteydessä esiin nousevat autenttisuuden ja relevanssin käsitteet, joilla voidaan kuvata eri tavoilla tapahtuvan toiminnan ”aitoutta” tai mielekkyyttä. Tässä työssä esitellään Fysiikan tutkimuslaitos HIP:in (Helsinki Institute of Physics) Avoin data opetuksessa -projektin myötä kehitettyjä merkityksellisen ohjelmoinnin työkaluja, joissa hyödynnetään muun muassa CERNissä toimivan CMS-kokeen (Compact Muon Solenoid) avoimia hiukkastutkimuksen aineistoja. Näiden materiaalien siirtymistä opettajakunnan avuksi tuetaan koulutuksilla, joista kerättyä palautetta analysoidaan tässä tutkielmassa laajemman tiedeopetuksen autenttisuuteen ja avoimen datan hyödyntämiseen liittyvän keskustelun yhteydessä. Avoimen datan hyödyntäminen ja opetuksellinen tutkiminen ovat hyvin nuoria aloja, joiden eturintamaan tämäkin työ asettuu. Aineistoa on kerätty sekä suomalaisilta (n = 64) että kansainvälisiltä (n = 12) toisen asteen opettajilta, minkä lisäksi vertailukohtana käytetään opiskelijatyöpajoista nousseita kommentteja (n = 62). Menetelmänä toimii temaattinen analyysi, jonka tulokset ovat vertailukelpoisia muuhun luonnontieteen opetuksen tutkimuskirjallisuuteen. Tutkimuskysymyksenä on: Miten autenttisuus esiintyy opettajien palautteessa hiukkasfysiikan avoimen datan opetuskäytön kursseilta ja kuinka se vertautuu tiedeopetuksen tutkimuskirjallisuuteen? Tuloksista havaitaan opettajien näkemysten asettuvan hyvin saman suuntaisesti kuin verrokkikirjallisuuden pohjalta olisi voinut olettaakin, yleisimpien autenttisuuden yhteyksien painottuessa tutkijoiden toimintaan verrattaviin työskentelytapoihin ja ”oikean maailman” haasteisiin. Palautteen lähes yksimielinen positiivisuus antaa vahvaa indikaatiota projektin tarjoamien mahdollisuuksien hyödyllisyydestä ja tukee alalla kaivattavien jatkotutkimusten kannattavuutta.
  • Suoniemi, Sanni (2014)
    Fysiikka mielletään helposti teoreettiseksi oppiaineeksi, vaikka se onkin lähtökohdiltaan kokeellinen tieteenala. Kokeellisen toiminnan järjestäminen luokkahuoneessa voi kuitenkin olla haastavaa, etenkin modernin fysiikan aihepiirissä. Avoin hiukkasfysiikan tutkimusdata mahdollistaa kokeellisuuden ja aidon tutkimuksen tekemisen hiukkasfysiikan parissa. Hyödyntämällä tutkivan oppimisen pedagogiikkaa voidaan tiedonkäsittelytaidot, yhteistyötaidot ja hiukkasfysiikka yhdistää luokkahuoneessa toteutettavaksi toiminnaksi. Tutkielma toteutettiin kehittämistutkimuksena, joka muodostui kahdesta kehittämissyklistä. Tutkimuksen kehittämisvaiheisiin sisältyivät Masterclass-tapahtuman yhteydessä suoritettu tapaustutkimus sekä fysiikan lukio-opettajille suunnattu kyselytutkimus. Kyselytutkimuksen avulla pyrittiin selvittämään fysiikan lukio-opettajien suhtautumista avoimen hiukkasfysiikan tutkimusdatan opetuskäyttöä kohtaan. Opettajakyselyn tulosten perusteella avoin hiukkasfysiikan tutkimusdata soveltuisi hyvin lukio-opiskeluun. Aihe-alue kiinnosti selkeästi opettajia ja aiheen uskottiin kiinnostavan myös opiskelijoita. Suurin osa (80,3%) olisi valmis hyödyntämään opetuksessaan avointa hiukkasfysiikan tutkimusdataa. Opetusta kehitettäessä tulisi opettajien kokemusten perusteella huomioida ajankäytölliset rajoitteet, tietotekniset rajoitteet, opiskelijoiden erilaiset taito-, tieto- ja motivaatiotasot, opettajan tietotason asettamat haasteet, materiaalin hyvä ohjeistus sekä opetuksen keskittyminen ydinainekseen. Lisäkoulutukselle ja etenkin suomenkieliselle tukimateriaalille olisi tutkimuksen perusteella tarvetta. Avoin hiukkasfysiikan tutkimusdata soveltuisi opettajien mielestä hyödynnettäväksi useallakin eri fysiikan kurssilla ja muutamalla pitkän matematiikan kurssilla. Aikataulullisten resurssien rajallisuus rajoittaisi aiheen parissa käytettävän ajan Aine ja säteily -kurssilla vajaaseen kahteen oppituntiin. Fysiikan koulukohtaisilla kursseilla opettajat olisivat valmiita käyttämään aiheen parissa jopa noin kahdeksan oppituntia. Riittävillä tuki- ja ohjaustoimilla sekä suomenkielisen, luokkatilanteeseen soveltuvan materiaalin kehittämisellä avointa hiukkasfysiikan tutkimusdataa olisi mahdollista hyödyntää laajemminkin lukioiden matemaattis-luonnontieteellisillä kursseilla. Aihe voisi osaltaan edesauttaa fysiikan opiskelijoiden lukumäärän lisäämistä sekä opiskelijoiden sukupuolten välisen jakauman tasoittamista. Tutkimuksen tuloksena syntyi visioita avoimen hiukkasfysiikan tutkimusdatan hyödyntämisestä opetuksessa. Kehittämisen tuloksena muotoiltiin didaktinen rekonstruktio avoimen hiukkasfysiikan tutkimusdatan opetuskäytöllisestä hyödyntämisestä käyttäen esimerkkinä avointa, hiukkastutkimuskeskus Cernin CMS-kokeesta saatavaa tutkimusdataa. Tutkimuksen kautta saatiin myös tietoa fysiikan lukio-opettajien suhtautumisesta hiukkasfysiikkaan, tietoa hiukkasfysiikan opetuksesta lukioissa sekä tietoa opiskelijoiden suhtautumisesta informaaliin hiukkasfysiikan opetukseen Masterclass –tapahtuman yhteydessä.
  • Häggblom, Matilda (2022)
    Modal inclusion logic is modal logic extended with inclusion atoms. It is the modal variant of first-order inclusion logic, which was introduced by Galliani (2012). Inclusion logic is a main variant of dependence logic (Väänänen 2007). Dependence logic and its variants adopt team semantics, introduced by Hodges (1997). Under team semantics, a modal (inclusion) logic formula is evaluated in a set of states, called a team. The inclusion atom is a type of dependency atom, which describes that the possible values a sequence of formulas can obtain are values of another sequence of formulas. In this thesis, we introduce a sound and complete natural deduction system for modal inclusion logic, which is currently missing in the literature. The thesis consists of an introductory part, in which we recall the definitions and basic properties of modal logic and modal inclusion logic, followed by two main parts. The first part concerns the expressive power of modal inclusion logic. We review the result of Hella and Stumpf (2015) that modal inclusion logic is expressively complete: A class of Kripke models with teams is closed under unions, closed under k-bisimulation for some natural number k, and has the empty team property if and only if the class can be defined with a modal inclusion logic formula. Through the expressive completeness proof, we obtain characteristic formulas for classes with these three properties. This also provides a normal form for formulas in MIL. The proof of this result is due to Hella and Stumpf, and we suggest a simplification to the normal form by making it similar to the normal form introduced by Kontinen et al. (2014). In the second part, we introduce a sound and complete natural deduction proof system for modal inclusion logic. Our proof system builds on the proof systems defined for modal dependence logic and propositional inclusion logic by Yang (2017, 2022). We show the completeness theorem using the normal form of modal inclusion logic.