Word Equations and Related Topics. Independence, Decidability and Characterizations

The three main topics of this work are independent systems and chains of word equations, parametric solutions of word equations on three unknowns, and unique decipherability in the monoid of regular languages. The most important result about independent systems is a new method giving an upper bound for their sizes in the case of three unknowns. The bound depends on the length of the shortest equation. This result has generalizations for decreasing chains and for more than three unknowns. The method also leads to shorter proofs and generalizations of some old results. Hmelevksii’s theorem states that every word equation on three unknowns has a parametric solution. We give a significantly simplified proof for this theorem. As a new result we estimate the lengths of parametric solutions and get a bound for the length of the minimal nontrivial solution and for the complexity of deciding whether such a solution exists. The unique decipherability problem asks whether given elements of some monoid form a code, that is, whether they satisfy a nontrivial equation. We give characterizations for when a collection of unary regular languages is a code. We also prove that it is undecidable whether a collection of binary regular languages is a code.

Hakunilan Kultsa/Urban II hanke : pohdintaa yhteisöteatterin merkityksestä alueelle

This thesis analyses what local community theatre activity means to an area and its residents, and whether this kind of activity is meaningful. The objective was to explore whether and how community art can help urban areas to move in the direction of sustainable development: whether art can be part of regional policy development work. Hakunilan Kultsa was founded in 2003. It is an Urban II, European Union project and part of the Community Iniative Programme 2001-2006, financed by the EU. Hakunilan Kultsa is also a co-operation between Vantaa city council's culture and youth services. The project encourages Hakunila residents of different ages to take part in versatile art and cultural intrests in the Hakunila youth centre. People have the opportunity to participate in theatre, expression, arts, dance, performing arts and writing groups. One of the main aims is to found a sustainable community theatre in the area. The thesis examines what effects Hakunilan Kultsa has had so far. Inquiry form and thematical interviews have been used as research methods. Interviews and questionnaires were gathered between Autumn 2004 and Spring 2005. The whole process lasted from Spring 2004 until Spring 2006. The author also made participatory observations during the research process which in turn affected the conclusions. The thesis also deals with associated topics such as urban programmes, sustainable development, Hakunila as a suburban area, resident stimulation, and community thetare work. Hakunilan Kultsa has proved its importance. Based on the enquiries and interviews, the project has effectively presented the possibility for art forms to become hobbies. There is no cultural, age or economical discrimination. The easily accessible site and the low threshold principle make it easy for people to participate. The community theatre has improved the area's public image, increased participation and initiative, and given a voice to the community.

Kaksoiselämäni teatteritaiteen palveluksessa : ammatti-identiteettini rakennuselementit

In my thesis I discuss the elements of my professional identity from the perspective of an actor, a director and a team. What are acting and directing to me? What are the problems in the symbiosis of acting and directing? What are the difficulties in acting and directing and how important are the issues related to responsibility, power, trust and confidence in my work? I also discuss the consept of self-confidence. Behind all of this, there is also the thought of my ancestry and its dualism, how my roots from my father's and mother's side are struggling against each other or supporting each other, and how they affect my professional identity. The basic idea in the present thesis is the perspective of the traditional theatre and a professional team. Also the childhood influence on my professional identity is being considered. Education is discussed at the end. Moreover, a discussion on the kind of future theatre maker I want to be considered as, is included. I also try to handle all these topics through Harri Virtanen's Kiinteistövälittäjä vastoin tahtoaan (2005), which I directed, and my latest role in Arto Paasilinna's and Kristian Smeds' Jäniksen vuosi (2006). The conclusion of the present thesis is that it is very important for me to be a member of different communities, in which I can express my professional identity. My professional identity is formed by many elements that support each other. Such elements in their own right form an inticate relationship, which at the end, makes me what I am. In conclusion, I am a theatre maker, who in an alternative field of theater has opportunities to form the professional identity, as different situations and projects require.

Rohkeutta henkilöiden käsittelyyn : katsojatutkimus 45 minuuttia -ajankohtaisohjelman henkilökuvajutuista

The present thesis deals with the reception of the celebrity profiles of the MTV3 news current affairs program "45 minuuttia". The target group of the research consists of young adults between the ages from 25 to 34 living in the Helsinki metropolitan area. The research is qualitative and it studies the target group's opinions of the program profiles by the means of a survey and a group interview. In the group interview, the interviewees were also presented sample clips of the program. The results of the survey were analyzed mainly quantitatively. The purpose of the survey results was to map the viewing habits of the target group. In analyzing the results of the group, the interview methods of feedback research and cultural audience research were used. The current thesis was a commissioned research, the purpose of which was to study how interested the young adults are in the program. In addition, the aim was also to find out possible new trends and approaches for the producer of the program. In contrary to the expectations, the reason for the low interest in the profiles seemed to be due to the approach taken to the topics, e.g. the profiled person. By the approach I mean how the person is visually presented or how the person is verbally described. Many people presented in the profiles were regarded as interesting, but at the same time, the way the stories were told was hoped to be more versatile. In addition, a more contemporary visual approach was hoped for. The results also verified the claim that the young adults in general are not interested in the current affair programmes. In addition, these results suggested that in order to obtain more precise information of the viewing preferences of the audience, a more thorough study should be conducted.

Puheenaiheiden esittely ja jatkaminen lääkärin vastaanotolla

Summary: Iniating and following up topics in doctor-patient interaction

Suomi tiellä sivistyskieleksi. Suomenkielisen maantieteen sanaston kehittyminen ja kehittäminen 1800-luvulla

Tutkimukseni käsittelee suomen kielen sanaston kehitystä 1800-luvulla eli aikana, jolloin suomen kielestä kehittyi monialainen sivistyskieli. Esimerkkiaineistona on yhden erikoisalan, maantieteen sanasto. Suomen kirjakieli syntyi 1500-luvulla, mutta aluksi kirjoitettua kieltä tarvittiin pääasiassa uskonnollisissa yhteyksissä. 1800-luvun aikana kielen käyttöalat monipuolistuivat ja uutta sanastoa tarvittiin monien erikoisalojen tarpeisiin. Ryhdyttiin tietoisesti kääntämään tietokirjallisuutta ja kirjoittamaan eri aiheista. Tutkimukseni selvittää maantieteen sanaston kehittymistä sadassa vuodessa erityisesti maantieteen oppikirjoissa. Tutkimus kuvaa sanaston kehitystä teoreettisesti uudenlaisista lähtökohdista tarkastelemalla leksikaalista variaatiota. Variaatiota on kuvattu tarkasti sekä yksittäisten käsitteiden nimitysten kehityksenä että ilmiönä yleisesti. Tutkimus hyödyntää myös kognitiivista lähestymistapaa, etenkin sosiokognitiivisen terminologian teoriaa. Aineiston analyysin pohjalta syntyy kuva sanaston kehityksestä ja vakiintumisesta. Tutkimus kuvaa myös tapoja, joilla uusia käsitteitä nimettiin. Se pohtii eri nimeämistapojen suhdetta sekä kirjoittajien ja aikalaisten roolia sanaston vakiintumisessa. 1800-luvun maantieteen sanastossa on runsaasti variaatiota; vain harvojen käsitteiden nimitykset ovat vakiintuneita tai vakiintuvat nopeasti. Tämän variaation kuvaaminen leksikaalisena variaationa osoittautui tutkimuksessa hyväksi metodiksi. Koska kirjakieli oli vakiintumatonta, nimityksissä esiintyy paljon kontekstuaalista variaatiota esimerkiksi sanojen kirjoitusasuissa. Kirjoittajat myös pohtivat havainnollista tapaa nimetä käsitteitä, ja tästä aiheutuu onomasiologista variaatiota. Semasiologinen variaatio taas kertoo käsitejärjestelmän vakiintumattomuudesta. Aineiston sanaston lähtökohdat ovat vanhan kirjasuomessa, mutta tältä pohjalta luodaan valtava määrä uutta sanastoa tai otetaan aiemmin kirjakielessä käytettyjä nimityksiä uuteen merkitykseen. Tärkeä rooli on sekä nimitysten muodostamisella kotoisista aineksista että kääntämisellä, jossa malli saadaan toisesta kielestä mutta nimitysten ainekset ovat omaperäisiä.

Identification of Research Portfolio for the Development of Filtration Equipment

This piece of work which is Identification of Research Portfolio for Development of Filtration Equipment aims at presenting a novel approach to identify promising research topics in the field of design and development of filtration equipment and processes. The projected approach consists of identifying technological problems often encountered in filtration processes. The sources of information for the problem retrieval were patent documents and scientific papers that discussed filtration equipments and processes. The problem identification method adopted in this work focussed on the semantic nature of a sentence in order to generate series of subject-action-object structures. This was achieved with software called Knowledgist. List of problems often encountered in filtration processes that have been mentioned in patent documents and scientific papers were generated. These problems were carefully studied and categorized. Suggestions were made on the various classes of these problems that need further investigation in order to propose a research portfolio. The uses and importance of other methods of information retrieval were also highlighted in this work.

Sähköteknisten laitteiden kunnossapidon kehittäminen sinkkitehtaalla

Diplomityön tavoitteena on ollut kehittää sähköteknisten laitteiden kunnossapitoa sinkkitehtaalla. Kokonaisuus on laaja ja laitteita paljon. Suuri kunnossapitobudjetti koostuu pienistä palasista. Kehitystyötä on pyritty tekemään käytännönläheisin ja helposti toteutettavin menetelmin, joissa voidaan mahdollisimman paljon hyödyntää sinkkitehtaan oman sähkökunnossapidon resursseja. Tämä kehittää myös henkilöstön laitetuntemusta. Kunnossapito-ohjelma pyritään pitämään riittävän kevyenä ja edullisena toteuttaa. Teoreettisen pohdiskelun ja huoltomenetelmien suunnittelun jälkeen kunnossapidon käytännön toteuttamiseksi on rakennettu tehtaan ATK-järjestelmään työmääräimiä, jotka pohjautuvat työn aikana kirjoitettuihin työohjeisiin. Työn alussa on selvitetty sähköturvallisuusmääräysten asettamia vaatimuksia. Suurella osalla huoltotoimenpiteistä pyritään parantamaan sähköturvallisuutta. Muilta osin työ keskittyy sähkökeskustiloihin ja moottorikäyttöihin, osastokohtaisiin prosessilaitteisiin ja tehtaalla oleviin tärkeisiin, muttaprosessiin varsinaisesti kuulumattomiin laitteisiin. Niiden käsittelyn yhteydessä esitellään myös huollossa käytettäviä menetelmiä, mittauksia ja tarkastuksia.

Siirtyminen C-kielestä Pythoniin ohjelmoinnin perusopetuksessa

Ohjelmointitaito on asia, jonka oppimisesta ja opettamisesta voidaan olla montaa mieltä, eikä yhtä oikeaa tapaa toteuttaa ohjelmoinnin opetusta tunnu olevan olemassa. Se on kuitenkin selvää, että jotkin menetelmät ja työkalut tuntuvat olevan parempia kuin toiset. Lukuvuoden 2005-2006 päätteeksi Lappeenrannan teknillinen yliopisto päätti päivittää ohjelmoinnin perusopetusta, ja kokeili siirtymistä Python-ohjelmointikieleen ohjelmoinnin alkeiskursseilla. Koska kurssin varsinaiset muutokset keskittyivät tekniseen infrastruktuuriin, tutustuttiin alustavassa kirjallisuustutkimuksessa ensin erilaisiin lähestymistapoihin,aiempiin tapauksiin sekä mielekkäiden työkalujen löytämiseen. Tässä diplomityössä perehdytään ohjelmoinnin opetuksen työkaluihin sekä erityisesti Python-ohjelmointikielen hyödyntämiseen ohjelmoinnin perusopetuksessa. Diplomityö esittelee useita lähestymistapoja sekä keskittyy tutkimaan Pythonin soveltuvuutta alkeisopetuksen käyttötarkoituksiin. Diplomityö tutustuu myös Lappeenrannassa järjestetyn ohjelmoinnin perusteiden kurssin tuloksiin, ja analysoi sitä, pystyikö Python-pohjainen kurssi toteuttamaan teknisen yliopiston sille asettamat vaatimukset. Lopuksi aineistosta analysoidaan jatkotutkimuksen tarpeita sekä pyritään löytämään ne osa-alueet, joita näissä jatkotutkimuksissa tulisi vielä kehittää.

Polttomoottorin sähkömekaaninen venttiilinohjaus

Työssä tarkastellaanpolttomoottorin venttiilitoimilaitteen toteuttamista sähkömekaanisesti. Tähän mennessä kehitetyt ratkaisut ja rakennetut prototyypit soveltuvat pääosin henkilöautojen vapaasti hengittävien ottomoottoreiden venttiilien ohjaukseen. Venttiilien sähkömekaanisen ohjauksen soveltuvuutta suuriin polttomoottoreihin kuten esimerkiksi voimalaitosdieseleihin on myös tarkasteltu, mutta ongelmaksi muodostuu riittävän suuren magneettisen voiman kehittäminen magneettivuon reitillä esiintyvän suuren ilmavälin takia. Työssä esitetään valmiita ja kehitteillä olevia ratkaisuja polttomoottorin venttiilien ohjaukseen sähkömekaanisesti. Lisäksi käsitellään parannusmahdollisuuksia jo valmiisiin ratkaisuihin ja käydään läpi sähkömekaanisen venttiilinohjauksen ongelmakohtia. Suomeksi ei ole kovin paljon julkaistua materiaalia polttomoottorin venttiilien sähkömekaanisesta ohjauksesta, joten työ tukeutuu pääosin Internetissä julkaistuihin artikkeleihin sekä sähköpostin välityksellä käytyihin keskusteluihin niiden tahojen kanssa, jotka tutkivat ja kehittävät polttomoottorinsähkömekaanista venttiilien ohjausta. Venttiilien sähkömekaanisen ohjauksen tutkiminen tällä hetkellä jakautuu pääpainotteisesti sähkömagneettisen osuuden ja säätöteknisen osuuden tutkimiseen ja kehittämiseen. Työssä ei mennä näiden aihepiirien syvälliseen analysointiin vaan esitetään tämän hetkisentutkimuksen painopisteet ja lähdeviitteet aihepiiriä syventäviin julkaisuihin.

3G SGSN Toiminnallisuustestauksen Automatisointi

3G SGSN (3rd Generation Serving GPRS Support Node) onUMTS (Universal Mobile Telecommunications System) pakettiverkon verkkoelementti, joka toimii linkkinä ulkoisen verkon(kuten Internet) ja radioverkon välillä. 3G SGSN ylläpitää tilaajan tietoja ja paikannustietoja päätelaitteen liikkuessa verkon sisällä ja välittää myös dataa ulkoisen verkon ja mobiilipäätelaitteen välillä. Tämän diplomityön aiheena on 3G SGSN toiminnallisuus-testauksen automatisointi. Työssä kehitetään 3G SGSN toiminnallisuustestaukseen soveltuva testauksen automatisointijärjestelmä Linux-ympäristössä AuTS (Automated Test Sequences)-automatisointityökalulla. Kehitystyöhön kuuluu järjestelmän suunnittelu ja toteutus. Toteutettu automatisointijärjestelmä suorittaa 3G SGSN toiminnallisuustestauksen istunnon- ja liikkuvuudenhallinnan testitapauksia.Suoritettujen testitapausten tuloksista luodaan HTML (Hypertext Markup Language)-raportti, joka sisältää tiedot ja analyysit suoritetuista testitapauksista sekä linkit testitapausten lokitietoihin. Hyvä automatisointi vaatii suunnittelua, jossa huomioidaan käytettävyys ja ylläpidettävyys. Näihin ominaisuuksiin on toteutuksessa kiinnitetty erityistä huomiota. Lopputuloksena saatiin toimiva automatisointijärjestelmä, joka osoittaa automatisoinnin tuovan huomattavia etuja toiminnallisuustestauksen tehokkuuteen. Työssä käsitelläänmyös ohjelmistotestausta sekä testauksen automatisointia ja niiden periaatteita.

Integrating testcase generator into Eclipse environment

Tämädiplomityö tutkii kuinka Eclipse -ympäristöä voidaan käyttää testitapausten generoinnissa. Eräs diplomityön pääaiheista on tutkia voidaanko olemassa olevilla Eclipsen komponenteilla parantaa symboolitietoutta, jotta testitapausten generointiin saataisiin lisää tietoa. Aluksi diplomityö antaa lyhyen katsauksen ohjelmistojentestaukseen, jotta lukija ymmärtää mitä ohjelmistotekniikan osa-aluetta diplomityö käsittelee. Tämän jälkeen kerrotaan lisää tietoa itse testitapausten generointiprosessista. Kun perusteet on käsitelty, tutustetaan lukija Eclipse -ympäristöön, mikä se on, mistä se koostuu ja mitä sillä voidaan tehdä. Tarkempaa tietoa kerrotaan Eclipsen komponenteista joita voidaan käyttää apuna testitapausten generoinnissa. Integrointi esimerkkinä diplomityössä esitellään valmiin testitapausgeneraattorin integrointi Eclipse -ympäristöön. Lopuksi Eclipse -pohjaista ratkaisua verrataan symboolitietouden sekä ajoajan kannalta aikaisempaan ratkaisuun. Diplomityön tuloksena syntyi prototyyppi jonka avulla todistettiin, että Eclipse - ympäristöön on mahdollista integroida testitapausgeneraattori ja että se voi lisätä symboolitietoutta. Tämätietouden lisäys kuitenkin lisäsi myös tarvittavaa ajoaikaa, joissakintapauksissa jopa merkittävästi. Samalla todettiin, että tällä hetkellä on menossa projekteja joiden tarkoituksena on parantaa käytettyjen Eclipse komponenttien suorituskykyä ja että tämä voi parantaa tuloksia tulevaisuudessa.

Yrityksen sähköistysprojektoinnin tiedonhallinnan tehostaminen

Diplomityössä on käsitelty kolmea kokonaisuutta. Työssä on tutkittu RFID- teknologian hyödyntämistä kattilalaitostyömaan asennusvalvonnassa, prosessisähköistyksen osa-alueiden automatisoimista sekä edellä mainittujen asiakokonaisuuksien yhdistämistä. Prosessisähköistyksen osa-alueista työssä on käsitelty sähköpääkaavioita, sähköasennustyyppejä, toimitusrajakaavioita sekä potentiaalintasausta. Tutkittavienasiakokonaisuuksien yhdistävänä tekijänä on projektitietokanta, joka yrityksellä on käytössä. RFID- teknologiaa tutkitaan MOVER- hankkeen yhteydessä. Työssä yritetään selvittää mahdollisia tulevaisuuden hyötyjä, jos asennusraportointi suoritettaisiin mobiililla ratkaisulla. Prosessisähköistyksen osa-alueista sähköpääkaavioiden laatimista on pyritty automatisoimaan. Sähkö- asennustyyppien ja potentiaalintasauksen kohdalla tarkoituksena oli tuottaa esimerkkiratkaisuja, joita voitaisiin jatkokehittää tulevaisuudessa. Toimitusrajakaavioiden korvaajaksi kehitettiin uutta menetelmää, joka tulisi sisältämään automatiikkaa toimiakseen.