Memories of My Childhood

Soitinnus: Ork.

Matkustavan muistin jäljillä : Travelling memories : lives in transition -symposium Helsingissä, 27.-28.11.2014

Seminaariraportti

Konstruktioner av minnen

Recension

Esityksen valmistaminen muistojen pohjalta

Opinnäytteeni pohtii esitystä ja työtapaa, jossa lähtökohtana ovat työryhmän muistot. Työryhmän jäsenten yksityisistä muistoista muokataan julkinen esitys. Tutkin esityksen valmistamista muistoja hyväksikäyttäen sekä tuon esille omia kokemuksia tällaisesta työskentelystä. Käytän muistoja lähtökohtana taiteelliseen lopputulokseen, joka tässä tapauksessa on teatteriesitys. Koen muistot luonnonvarana, joita hyödyntämällä saadaan ainutkertainen, mielenkiintoinen esitys. Esitys valmistetaan ryhmätyönä, yhden työryhmän jäsenen kuitenkin toimiessa projektissa ohjaajana. Pidän esitysprosessia tärkeänä kaikille asianosaisille, sillä sen aikana kohdataan kunkin jäsenen muisto uudelleen ja siitä muokkautuu uusi, julkinen tulkinta, joka voi taas synnyttää samaistumista katsojan omassa muistomaailmassa. Teatterin tekeminen on muodon antamista jollekin asialle. Tässä prosessissa annetaan muoto ennalta valitulle teemalle työryhmän muistoja rakennusmateriaaleina käyttäen. Prosessi on avoin ja siinä ohjaajalla ei ole etukäteissuunnitelmaa esityksen kulusta muutoin kuin teeman suhteen. Ohjaaja ei ole suunnitellut projektia valmiiksi, vaan yhdessä työryhmän kanssa hän työskentelee prosessoiden sitä materiaalia, mikä nousee työryhmän jäsenten omista muistoista.

On Fault Tolerance Methods for Networks-on-Chip

Technology scaling has proceeded into dimensions in which the reliability of manufactured devices is becoming endangered. The reliability decrease is a consequence of physical limitations, relative increase of variations, and decreasing noise margins, among others. A promising solution for bringing the reliability of circuits back to a desired level is the use of design methods which introduce tolerance against possible faults in an integrated circuit. This thesis studies and presents fault tolerance methods for network-onchip (NoC) which is a design paradigm targeted for very large systems-onchip. In a NoC resources, such as processors and memories, are connected to a communication network; comparable to the Internet. Fault tolerance in such a system can be achieved at many abstraction levels. The thesis studies the origin of faults in modern technologies and explains the classification to transient, intermittent and permanent faults. A survey of fault tolerance methods is presented to demonstrate the diversity of available methods. Networks-on-chip are approached by exploring their main design choices: the selection of a topology, routing protocol, and flow control method. Fault tolerance methods for NoCs are studied at different layers of the OSI reference model. The data link layer provides a reliable communication link over a physical channel. Error control coding is an efficient fault tolerance method especially against transient faults at this abstraction level. Error control coding methods suitable for on-chip communication are studied and their implementations presented. Error control coding loses its effectiveness in the presence of intermittent and permanent faults. Therefore, other solutions against them are presented. The introduction of spare wires and split transmissions are shown to provide good tolerance against intermittent and permanent errors and their combination to error control coding is illustrated. At the network layer positioned above the data link layer, fault tolerance can be achieved with the design of fault tolerant network topologies and routing algorithms. Both of these approaches are presented in the thesis together with realizations in the both categories. The thesis concludes that an optimal fault tolerance solution contains carefully co-designed elements from different abstraction levels

Käsityön monet merkitykset. Opettajankoulutuksen opiskelijoiden käsityölle antamat merkitykset ja niiden huomioon ottaminen käsityön opetuksessa

Tämän tutkimuksen kohteena olivat opettajaopiskelijat, jotka reflektoivat käsityöprosessin aikaista toimintaansa ja sen tuloksia. Tutkimuksen kontekstina oli Turun yliopiston opettajankoulutuslaitoksen Rauman yksikön käsityökasvatuksen perusopinnot. Tutkimushenkilöinä olivat KSP11b Yhteenvetojakson lukuvuosien 2007 – 2008 ja 2008 – 2009 käsityökasvatuksen sivuja pääaineopiskelijat (n=23). Tutkimusaineistona käytettiin opiskelijoiden KSP11b Yhteenvetojaksolla valmistamia käsityötuotteita, niihin liittyviä portfoliota sekä haastatteluita, jotka analysoitiin semioottisella sisällönanalyysilla. Tutkimuksen lähestymistapa on hermeneuttisfenomenologinen. Sen pyrkimyksenä on ymmärtää ja tulkita opiskelijoiden kokemia käsityöprosesseja ja niihin liitettyjä merkityksiä. Tutkimuksessa selvitettiin, millaisia merkityksiä opiskelijat antavat käsityölle ja miten käsityön merkitykset tulisi ottaa huomioon käsityön opetuksessa. Tutkimustuloksina esitetään opiskelijoiden käsityölle antamista merkityksistä neljä erilaista orientaatiotyyppiä: 1) käsityötuoteorientoituneet, 2) käsityötaitoorientoituneet 3) käsityöperinneorientoituneet ja 4) käsityöilmaisuorientoituneet. Käsityötuoteorientoituneet opiskelijat aloittavat ongelmanratkaisuprosessinsa päättämällä, minkä tuotteen he haluavat valmistaa. Käsityötaitoorientoituneille opiskelijoille käsityöprosessi on oman osaamisen näyttämistä ja kehittämistä. Käsityöperinneorientoituneet opiskelijat saavat motivaationsa käsityötuotteen valmistukseen käsityöperinteen vaalimisesta, esimerkiksi halusta oppia perinteisiä käsityötekniikoita tai halusta oppia käsitöitä jonkun läheisen henkilön ohjaamana. Käsityöilmaisuorientoituneet opiskelijat suhtautuvat käsityöprosessiin elämyksellisesti, jolloin prosessi perustuu tekijän kokemuksiin, mielikuviin, muistojen vaalimiseen ja tunteiden ilmaisemiseen sekä identiteetin rakentamiseen. Tutkimuksessa selvitettiin lisäksi käsityön merkitysten mahdollisuuksia käsityön opetuksessa. Nämä käsityön opetuksen näkökulmat on tutkimuksessa jaettu viiteen luokkaan: 1) käsityötaidon kehittäminen, 2) kokonaisen käsityön tekeminen, 3) konkreettisen käsityötuotteen valmistaminen, 4) käsityöilmaisun kehittäminen ja 5) käsityön monipuoliset sisällöt. Tässä tutkimuksessa korostuu, että käsityön opetus perustuu käsityötaidon oppimiseen. Käsityötaidon kehittämiseen liittyy käsityöllisesti työstettävien materiaalien ja niiden ominaisuuksien hallintaa ja muokkaamiseen tarvitaan käsityöteknologiaa, henkilökohtaista käsityötaitoa ja laatutietoisuutta. Käsityötuote on käsityöprosessin lopputuloksena syntyvä konkreettinen tuotos. Käsityöprosessi toteutuu kokonaisena käsityönä, jossa tekijä suunnittelee ja toteuttaa itse suunnitelmansa. Kokonainen käsityö saa eri tekijöillä erilaisia sovelluksia. Käsityöilmaisulla tarkoitetaan tekijän henkilökohtaista sitoutumista prosessiin ja käsityön monipuolisilla sisällöillä materiaaleja ja teknologioita, joita käsityön tekijä käyttää käsityöprosessin aikana. Lisäksi tutkimusaineistossa ilmeni, että opiskelijat sitoutuvat käsityöprosessiin, kun heillä on mahdollisuus ilmaista itselleen tärkeitä, henkilökohtaisia asioitaan, kuten omaa elämäntilannettaan ja merkityksellisiä kokemuksiaan.

Yksityistä ja julkista : seminaariraportti

Private and public memories : the fourth international symposium of the Finnish Oral History Network, 29.–30.11.2012 Helsingissä.

Kuinka muistella tulevaisuutta?

Kirjallisuusarvostelu

Itse tehty moderni. Gramofoni, polkupyörä ja valokuvaus suomalaisten elämässä 1880-luvulta 1940-luvulle

Tässä tutkimuksessa tarkastellaan aineellista modernia ja materiaalisen kulttuurin muutosta Suomessa 1880-luvulta 1940-luvulle tutkimalla sitä, miten kolme kansainvälistä teknologiaa, gramofoni, polkupyörä ja valokuvaus, otettiin Suomessa käyttöön ja millaisia paikallisia ilmiöitä niiden ympärille kehittyi. Tutkimus koostuu johdanto- ja yhteenveto-osan lisäksi kuudesta artikkelista, joissa käsitellään seuraavia alateemoja: itse tehtyjä polkupyöriä, käyntikorttikuvien käyttöä maalaiskodeissa, maaseudun pyöräilyä ja sen muistelemista, vuoden 1929 gramofonikuumetta, valokuvausta teknisenä harrastuksena sekä maalaisia gramofonin käytön tapoja. Tutkimuksen lähteinä on käytetty laajoja muistitietoaineistoja, sanoma- ja aikakauslehtiaineistoja, arkistoaineistoja, aikalaiskirjallisuutta ja museoesineitä. Lähteistä on etsitty mikrohistoriallista lukutapaa noudattaen johtolankoja gramofoniin, polkupyörään ja valokuvaukseen liittyneihin käytäntöihin. Esitän, että muistitietolähteet, muiden lähteiden kanssa ristiinluettuina, antavat hyvän mahdollisuuden sellaisten arjen käytäntöjen tarkasteluun, joiden tutkiminen muiden lähteiden perusteella olisi vaikeaa tai mahdotonta. Tutkimuksessa käytetyistä teoreettisista kehyksistä niin teknologian sosiaalinen rakentuminen, arjen historia, materiaaliseen kulttuuriin liittyvä teoriapohja, kulutuskulttuurin tutkimus kuin käytäntöteoriatkin kannustavat tarkastelemaan sitä, miten käyttäjien toiminta muokkaa ja määrittää teknologiaa. Näiden teoriasuuntausten pohjalta olen tätä tutkimusta varten kehittänyt itse tehdyn modernin ja kansankeksinnön käsitteet, jotka tarkentavat katseen ajallisesti ja paikallisesti tyypillisiin teknologian muokkauksen ja määrittelyn tapoihin sekä paikalliseen teknologiseen kekseliäisyyteen. Itse tehdyn modernin käsite auttaa hahmottamaan materiaalisia muutoksia ja pysyvyyksiä ajanjaksolla 1800-luvun lopulta toiseen maailmansotaan. Suomalaiset muovasivat omanlaisensa modernin, jossa uutuudet ja muutokset sulautuivat osaksi sitkeinä jatkuvia ja hitaasti muuttuvia maalaisyhteiskunnan toimintatapoja ja muokkasivat niitä vähitellen. Itse tehty moderni sekoitti omavaraisuutta ja kulutuskulttuuria, käsillä tekemiseen perustuvaa taitavuutta ja kursseilla sekä koulutuksessa saavutettua teknistä tietoa, paikallisia aineksia ja kansainvälisiä vaikutteita. Puhumalla kansanomaisista keksinnöistä olen halunnut korostaa tällaisten yhdistelmien mahdollisuutta ruohonjuuritasolla ja massatuotettujen laitteiden sovittamista osaksi pitkälti itse tehtyä ja omavaraista esinemaailmaa.

Punainen kirja kaupungeista

Kirjallisuusarvostelu

Formal modelling for digital media distribution

Human beings have always strived to preserve their memories and spread their ideas. In the beginning this was always done through human interpretations, such as telling stories and creating sculptures. Later, technological progress made it possible to create a recording of a phenomenon; first as an analogue recording onto a physical object, and later digitally, as a sequence of bits to be interpreted by a computer. By the end of the 20th century technological advances had made it feasible to distribute media content over a computer network instead of on physical objects, thus enabling the concept of digital media distribution. Many digital media distribution systems already exist, and their continued, and in many cases increasing, usage is an indicator for the high interest in their future enhancements and enriching. By looking at these digital media distribution systems, we have identified three main areas of possible improvement: network structure and coordination, transport of content over the network, and the encoding used for the content. In this thesis, our aim is to show that improvements in performance, efficiency and availability can be done in conjunction with improvements in software quality and reliability through the use of formal methods: mathematical approaches to reasoning about software so that we can prove its correctness, together with the desirable properties. We envision a complete media distribution system based on a distributed architecture, such as peer-to-peer networking, in which different parts of the system have been formally modelled and verified. Starting with the network itself, we show how it can be formally constructed and modularised in the Event-B formalism, such that we can separate the modelling of one node from the modelling of the network itself. We also show how the piece selection algorithm in the BitTorrent peer-to-peer transfer protocol can be adapted for on-demand media streaming, and how this can be modelled in Event-B. Furthermore, we show how modelling one peer in Event-B can give results similar to simulating an entire network of peers. Going further, we introduce a formal specification language for content transfer algorithms, and show that having such a language can make these algorithms easier to understand. We also show how generating Event-B code from this language can result in less complexity compared to creating the models from written specifications. We also consider the decoding part of a media distribution system by showing how video decoding can be done in parallel. This is based on formally defined dependencies between frames and blocks in a video sequence; we have shown that also this step can be performed in a way that is mathematically proven correct. Our modelling and proving in this thesis is, in its majority, tool-based. This provides a demonstration of the advance of formal methods as well as their increased reliability, and thus, advocates for their more wide-spread usage in the future.