Proceedings of JAC 2010. Journées Automates Cellulaires

The second Symposium on Cellular Automata “Journ´ees Automates Cellulaires” (JAC 2010) took place in Turku, Finland, on December 15-17, 2010. The first two conference days were held in the Educarium building of the University of Turku, while the talks of the third day were given onboard passenger ferry boats in the beautiful Turku archipelago, along the route Turku–Mariehamn–Turku. The conference was organized by FUNDIM, the Fundamentals of Computing and Discrete Mathematics research center at the mathematics department of the University of Turku. The program of the conference included 17 submitted papers that were selected by the international program committee, based on three peer reviews of each paper. These papers form the core of these proceedings. I want to thank the members of the program committee and the external referees for the excellent work that have done in choosing the papers to be presented in the conference. In addition to the submitted papers, the program of JAC 2010 included four distinguished invited speakers: Michel Coornaert (Universit´e de Strasbourg, France), Bruno Durand (Universit´e de Provence, Marseille, France), Dora Giammarresi (Universit` a di Roma Tor Vergata, Italy) and Martin Kutrib (Universit¨at Gie_en, Germany). I sincerely thank the invited speakers for accepting our invitation to come and give a plenary talk in the conference. The invited talk by Bruno Durand was eventually given by his co-author Alexander Shen, and I thank him for accepting to make the presentation with a short notice. Abstracts or extended abstracts of the invited presentations appear in the first part of this volume. The program also included several informal presentations describing very recent developments and ongoing research projects. I wish to thank all the speakers for their contribution to the success of the symposium. I also would like to thank the sponsors and our collaborators: the Finnish Academy of Science and Letters, the French National Research Agency project EMC (ANR-09-BLAN-0164), Turku Centre for Computer Science, the University of Turku, and Centro Hotel. Finally, I sincerely thank the members of the local organizing committee for making the conference possible. These proceedings are published both in an electronic format and in print. The electronic proceedings are available on the electronic repository HAL, managed by several French research agencies. The printed version is published in the general publications series of TUCS, Turku Centre for Computer Science. We thank both HAL and TUCS for accepting to publish the proceedings.

Ajattelun kreikkalainen näyttämö

Kirjallisuusarvostelu

Tukkusähkön hintapiikkeihin reagoinnin keinot sellu- ja kartonkitehtaalla.

Sähkön tukkuhinnat vaihtelivat hyvin voimakkaasti talvella 2009–2010. Työssä on esitetty rajahyötytarkasteluna yhdistetyn sellu- ja paperitehtaan mahdollisuudet lisätä vastapainesähkön tuotantoa sekä leikata sähkön kulutusta aikana, jolloin sähkön tuntihinta on korkea. Työssä tarkastellaan myös erilaisia sähkömarkkinaoperaatioita. Työn ensimmäisessä osiossa esitellään Stora Enson Imatran tehtaat. Myöhemmissä kappaleissa perehdytään pohjoismaisten sähkömarkkinoiden sekä kaasupörssin toimintaan. Jotta korkeista sähkön hinnoista voitaisiin hyötyä, tulee sähkön myyntitarjoukset jättää sähköpörssi Nord Poolin kaupankäyntijärjestelmään toimitusvuorokautta edeltävänä päivänä. Tässä työssä on määritetty sähköenergian mahdolliset myyntivolyymit sekä hinnat eri tuotantotilanteissa. Työssä pyritään parantamaan tehtaan sähkökaupankäynnin kannattavuutta käyttämällä eri sähkökaupan tuotteita. Työssä esitetään malleja, joiden avulla korkeita sähkön markkinahintoja voidaan pyrkiä hyödyntämään. Eri sähkömarkkinatuotteet soveltuvat myös riskienhallintaan voimakkaasti vaihtelevilla sähkömarkkinoilla

Jäitä koppalakkiin

Kommentti kirja-arvosteluun: Taiteenfilosofian klassikko raakakäännöksenä / Pentti Määttänen (Tieteessä tapahtuu 1/2011).

Tapauksia tapaustutkimuksesta

Kirjallisuusarvostelu

Kaukojäähdytyksen potentiaali ja kannattavuus Oulun keskustan alueella

Diplomityö on tehty Oulun Energian kaukolämpöosastolle. Työn tavoitteena oli selvittää kaukojäähdytyksen asiakaspotentiaali Oulun keskustan alueella sekä tehdä esiselvitys kaukojäähdytysinvestoinnin kannattavuudesta. Potentiaalin kartoituksessa otettiin huomioon sekä nykyiset rakennukset että lähitulevaisuuden lisärakentaminen. Jäähdytyskuormaksi Oulun keskustassa saatiin 28 MW, josta suurin osa on liiketiloja, toimistorakennuksia sekä hotelleja. Investoinnin kannattavuutta tutkittiin perinteisillä investointilaskennan menetelmillä. Kustannusarvio perustuu vapaajäähdytykseen ja absorptiojäähdytykseen ja tuotantolaitoksen sijoittamiseen kalliotiloihin. Tuottojen arviointia varten määriteltiin alustava kaukojäähdytystariffi sekä kolme erilaista kasvumallia. Tulosten perusteella investointi vaikuttaisi kannattamattomalta. Pääsyynä kannattamattomuuteen on kallis alkuinvestointi, jossa etenkin louhinnan osuus on merkittävä. Toisena syynä kannattamattomuuteen voidaan pitää potentiaalisten kaukojäähdytykseen liitettävien rakennusten melko pientä kokoa Oulun keskustassa.

Kuusi luonnehdintaa Sturmin sanoille

Tämä tutkielma käsittelee ns. Sturmin sanoja, äärettömiä ja jaksottomia binäärisanoja, jotka ovat mahdollisimman yksinkertaisia. Sturmin sanat ovat erityisesti 1990-luvulta lähtien olleet suosittu sanojen kombinatoriikan tutkimuskohde, mutta näihin sanoihin liittyviä tuloksia esiintyy harvakseltaan aikaisemminkin, aikaisimmillaan 1770-luvulla. Sturmin sanojen tutkimuksen eräs pääpiirre on sanoille löydettyjen luonnehdintojen eli ekvivalenttien määritelmien yllättävän suuri määrä. Tutkielma esittää täsmentäen alusta alkaen Sturmin sanojen perusteorian ja täydelliset todistukset valitulle kuudelle luonnehdinnalle. Esitettäviin luonnehdintoihin lukeutuvat niin klassiset luonnehdinnat mekaanisina sanoina ja tasapainotettuina sanoina kuin muutamat uudemmat luonnehdinnat, esimerkkinä luonnehdinta palindromikompleksisuuden avulla. Tutkielmassa todistettavat luonnehdinnat eivät kata kaikkia tunnettuja luonnehdintoja, vaan tutkielmaan on valittu mainitut klassiset sekä niiden kanssa sopivan kokonaisuuden muodostavat luonnehdinnat. Lisäksi osoitetaan hieman perustuloksia Sturmin morfismeista. Tutkielma on kattava johdatus Sturmin sanojen teoriaan suomeksi. Esitietoja ei tutkielman lukemiseksi juuri tarvita.

Liikkeen edistäminen sotatieteellisenä käsitteenä : teoriaa seuraava tulkitseva käsiteanalyysi

Tämän operaatiotaidon ja taktiikan tutkielman aiheena on liikkeenedistäminen. Tutkimuksen päämääränä on pyrkiä tuottamaan lisää ymmärrystä sotatieteessä liikkeenedistämisen käsitteestä. Perinteisesti liikkeenedistäminen on ollut pioneeritoiminnan alakäsite suluttamisen ja linnoittamisen rinnalla. Liikkeenedistämisen käsitettä on perinteisesti jäsennetty ja rakennettu pioneeritoiminnan näkökulmasta. Tutkimuksen tavoitteena ei ole uuden tiedon tuottaminen liikkeenedistämisen käsitteestä, vaan tavoitteena on tuottaa uudenlaista ymmärrystä käsitteen olemuksesta ja suhteista muihin keskeisiin käsitteisiin. Tämän johdosta tutkimuksessa tulkinnan näkökulmana on liike sotatieteen teoriassa. Tutkimuksessa liikkeenedistämisen käsitettä analysoidaan ja tulkitaan edistämisen kohteen, liikkeen kautta. Näin mahdollistuu yhden pioneeritoiminnan peruskäsitteen tarkastelu uudella tavalla. Tämä tutkimus on ei-empiirinen laadullinen tutkimus, jossa käytetään pääasiallisena tutkimusmenetelmänä teoriaa seuraavaa tulkitsevaa käsiteanalyysia. Tässä tutkimuksessa tulkitseva käsitetutkimus tarkoitti asetetun tutkimusongelman ratkaisemista tekemällä merkitystulkintoja liikkeenedistämisen käsitteen olemuksesta aineiston ja teoreettisen viitekehyksen vuorovaikutuksen perusteella. Teoreettinen viitekehys muodostaa tälle tutkimukselle keskeisen näkökulman, jonka kautta tutkimusaineistoa tulkitaan. Teoreettinen viitekehys on rakennettu analysoimalla liikettä sodankäynnin eri tasoilla sekä taistelun elementtinä. Tämän tutkimuksen viitekehyksessä taistelun perinteisiä elementtejä tulta, liikettä ja suojaa on täydennetty yhdysvaltalaisella käsityksellä, jonka mukaan taistelun elementteihin sisältyvät edellisten lisäksi johtaminen (command & control), tiedustelu (intelligence), ylläpito (sustainment), johtajuus (leadership) ja informaatio (information). Tämän tutkimuksen tulosten perusteella liikkeenedistämisen käsite on tulkittava toiminnaksi, jolla muutetaan tai säilytetään maaston ja liikenneinfrastruktuurin ominaisuuksia siten, että joukot kykenevät toteuttamaan tehtävänsä edellyttämät liikkeet. Erottavana käsitepiirteenä muihin liikettä tukeviin toimintoihin onkin juuri edellä mainittu toiminnan kohde, toimintaympäristö. Toisaalta erottavana käsitepiirteenä muihin käsitteisiin, joissa muokataan toimintaympäristöä, on taistelun elementti liike. Tutkimustulokset havainnollistavat liikkeen, liikkeen tukemisen elementtien ja liikkeenedistämisen käsitteiden väliset suhteet. Tutkimuksen havaintojen mukaan edellä mainittu kokonaisuus on jätetty huomiotta suomalaisessa ohjesäännöstössä. Toiseksi, tutkimustulokset osoittavat, että liikkeenedistämisen olemus, merkitys ja käytännön toimet ovat ominaispiirteiltään merkittävästi erilaisia riippuen sodankäynnin tasosta, liiketyypistä ja liikkuvan joukon ominaisuuksista.