Structural and Computational Existence Results for Multidimensional Subshifts

Symbolic dynamics is a branch of mathematics that studies the structure of infinite sequences of symbols, or in the multidimensional case, infinite grids of symbols. Classes of such sequences and grids defined by collections of forbidden patterns are called subshifts, and subshifts of finite type are defined by finitely many forbidden patterns. The simplest examples of multidimensional subshifts are sets of Wang tilings, infinite arrangements of square tiles with colored edges, where adjacent edges must have the same color. Multidimensional symbolic dynamics has strong connections to computability theory, since most of the basic properties of subshifts cannot be recognized by computer programs, but are instead characterized by some higher-level notion of computability. This dissertation focuses on the structure of multidimensional subshifts, and the ways in which it relates to their computational properties. In the first part, we study the subpattern posets and Cantor-Bendixson ranks of countable subshifts of finite type, which can be seen as measures of their structural complexity. We show, by explicitly constructing subshifts with the desired properties, that both notions are essentially restricted only by computability conditions. In the second part of the dissertation, we study different methods of defining (classes of ) multidimensional subshifts, and how they relate to each other and existing methods. We present definitions that use monadic second-order logic, a more restricted kind of logical quantification called quantifier extension, and multi-headed finite state machines. Two of the definitions give rise to hierarchies of subshift classes, which are a priori infinite, but which we show to collapse into finitely many levels. The quantifier extension provides insight to the somewhat mysterious class of multidimensional sofic subshifts, since we prove a characterization for the class of subshifts that can extend a sofic subshift into a nonsofic one.

Nuoren kouluttajan kokemuksia varusmiesten johtaja- ja kouluttajakoulutuksesta : fenomenografinen tapaustutkimus Uudenmaan prikaatissa

Tämän tutkimuksen tarkoituksena oli selvittää perusyksikön kouluttajien käsityksiä varusmiesten johtaja- ja kouluttajakoulutuksesta. Tutkimuksessa aihepiiriä lähestyttiin kolmen pääteeman kautta, joita olivat kouluttajan rooli, kouluttajan osaaminen ja valmiudet sekä johtaja- ja kouluttajakoulutus perusyksikön arjessa. Tutkimus on ihmistieteisiin lukeutuva fenomenografinen tapaustutkimus. Fenomenografian tueksi tutkimuksessa on pyritty monimentelmällisyyteen aineistotutkimuksen ja esitutkimuksen kautta. Esitutkimuksessa selvitettiin varsinaisen tutkimusjoukon esimiesten käsityksiä tutkimuksen aihepiiristä. Tutkimusjoukkona tässä tutkimuksessa oli seitsemän kouluttajaa kahdesta Uudenmaan prikaatin perusyksiköstä. Tutkimusjoukkoon valikoitu tasaisesti upseereita ja aliupseereita, jotka kaikki palvelivat joukkueen vastuullisen kouluttajan tehtävässä. Tutkimuksen tulosten perusteella voidaan todeta, että kouluttajan rooli varusmiesjohtajien johtaja- ja kouluttajakoulutuksen toteuttajana nähdään monipuoliseksi ja erittäin vastuulli-seksi. Kouluttajan tulee kyetä omaksumaan erilaisia piirteitä omaan rooliinsa ja muokkaa-maan sitä ympäristön ja ympärillä olevien ihmisten edellyttämällä tavalla. Kouluttajat koke-vat olevansa ensisijassa valmentajia, kouluttajia ja kasvattajia. Toimiessaan tuossa vastuulli-sessa roolissa kouluttajat kokevat osaavansa johtaja- ja kouluttajakoulutuksen normiston ja tavoitteet varsin huonosti. Kuitenkin he nimeävät omiksi päämäärikseen koulutuksessa samo-ja tavoitteita kuin virallisissa normeissa on määritetty. Kouluttajat kokevat johtaja- ja koulut-tajakoulutuksen kirjalliset tuotteet pääosin kuormittaviksi arkityössään, mutta käyttävät kui-tenkin hyödykseen kyseisen ohjelman perusidean mukaisia palautetyökaluja myös omassa toiminnassaan. Tutkimuksen perusteella vaikuttaa siltä, että nykyinen kouluttajakaarti on omaksunut puolus-tusvoimissa käytössä olevan johtaja- ja kouluttajakoulutusohjelman ja noudattavat sen oppeja jopa tiedostamattomalla tasolla. Kouluttajat kuitenkin kaipaavat tukea ohjelman teoreettisen pohjan vahvistamiseen. Kouluttajien työskentelyn tukemiseksi ohjelman tukityökaluja tulisi kehittää siten, että ne mahdollistaisivat paremmin kouluttajien ja koulutettavien henkilökoh-taisten ominaisuuksien mieltymysten huomioimisen. Tehty tutkimus ei välttämättä ole perinteisen määritelmän mukaista fenomenografiaa puh-taimmillaan. Fenomenografiassa tavoitteena on tuoda esiin haastateltavien käsityksien mu-kainen asiayhteys, missä olen mielestäni onnistunut. Tutkimuksen yleistettävyyden osalta voidaan pohtia onko otanta laajuudeltaan riittävä. Tulee kuitenkin muistaa, että fenomenografiassa tavoitellaan pikemminkin tulosten universaalia yleisyyttä kuin niiden yleistettävyyttä.

Lohi törmää patoon

Kirjallisuusarvostelu

Ikkunoita vanhenevien miesten maailmoihin

Kirjallisuusarvostelu

Miesten tulkintoja ikääntymisestä

Kirjallisuusarvostelu

Miehiä näkyvissä!

Kirjallisuusarvostelu

Aktiivisten magneettilaakereiden ohjauslaitteiston vaatimusmäärittely ja toteutus

Aktiivinen magneettilaakeri on järjestelmä joka mahdollistaa pyörivän kappaleen, esimerkiksi sähkökoneen roottorin, leijuttamisen magneettikentässä ilman fyysistä kontaktia vastakappaleiden välillä. Tekniikalla on joitain merkittäviä etuja muihin laakerointijärjestelmiin verrattuna erityisesti suurnopeuksisissa tai puhdastiloissa käytettävissä sähkökäytöissä. Magneettilaakereiden yleistymistä nopeuttaisi ja niiden hintaa laskisi mikäli laakereiden säätöön ja tehonsyöttöön voitaisiin käyttää standardeja teollisuusautomaatiolaitteita erityisesti tätä käyttötarkoitusta varten kehitettyjen laitteiden sijaan. Tässä työssä luodaan menetelmä määrittää vähimmäisvaatimukset aktiivisen magneettilaakerin säätöalgoritmien suorittamiseen käytetylle säätöjärjestelmälle ja anturoinnille sekä laakerin toimintaan tarvittavalle tehoelektroniikalle. Näiden vaatimusten perusteella luodaan katsaus soveltuviin laitteisiin ja kootaan esimerkkikokoonpanot kahdelle erilaiselle magneettilaakeroitavalle kohteelle. Lisäksi työssä esitellään LUT:ssa vuosina 2014-2015 kehitetty magneettilaakerin teholähdeprototyyppi ja selvitetään edellytykset käyttää laitetta laakerijärjestelmän osana.

Verkkokulutuksen digitaaliset kuilut Suomessa ja Iso- Britanniassa - Internetin käyttötapojen ja palveluntarjoajaan kohdistuvan epäluottamuksen vaikutukset verkkokulutusaktiivisuuteen

Tutkielmassa tarkastellaan sitä, miten erilaiset internetin käyttötavat, käytön aktiivisuus sekä palveluntarjoajaan kohdistuva luottamus vaikuttavat alttiuteen kuluttaa sosiaalisessa internetissä. Tarkastelen myös, miten erilaiset sosiodemografiset tekijät vaikuttavat alttiuteen kuluttaa verkossa. Verkkokulutukseen vaikuttavien tekijöiden tarkastelun lisäksi pohdin palveluntarjoajaan kohdistuvan epäluottamuksen muodostumiseen vaikuttavia tekijöitä. Tässä tutkimuksessa käytetään tutkimusaineistona vuonna 2013 kerättyä Special Eurobarometer 398 –aineistoa, jota tarkastellaan ristiintaulukointien ja X²-testien sekä logistisen regressioanalyysin avulla. Tutkimuksen tuloksista on pääteltävissä, että internetin käytön tavat ovat erittäin merkittäviä verkkokulutusta ohjaavia tekijöitä. Myös verkkokauppaan kohdistuva epäluottamus, kuluttajan ikä sekä koulutusaste vaikuttivat verkkokulutusaktiivisuuteen, mutta vaikutukset vaihtelivat tutkimusmaiden välillä. Samoin epäluottamuksen rakentumiseen vaikuttavat tekijät vaihtelivat Suomen ja Iso-Britannian välillä. Tämän tutkimuksen tulokset osaltaan puoltavat aiempaa kirjallisuutta siinä, että hyvätuloisten, korkeasti koulutetun keskiluokan sekä matalasti koulutetun ja alhaisen tulotason sosiaaliluokan välillä on havaittavissa merkittäviä sosiaalisen internetin käyttöön liittyviä eroja, jotka vaikuttavat voimakkaasti yhteiskunnallisen osallistumisen mahdollisuuksien asteeseen, kuten esimerkiksi verkkokulutusmahdollisuuksien jakautumiseen.