Scheduling dynamic dataflow graphs with model checking

With the shift towards many-core computer architectures, dataflow programming has been proposed as one potential solution for producing software that scales to a varying number of processor cores. Programming for parallel architectures is considered difficult as the current popular programming languages are inherently sequential and introducing parallelism is typically up to the programmer. Dataflow, however, is inherently parallel, describing an application as a directed graph, where nodes represent calculations and edges represent a data dependency in form of a queue. These queues are the only allowed communication between the nodes, making the dependencies between the nodes explicit and thereby also the parallelism. Once a node have the su cient inputs available, the node can, independently of any other node, perform calculations, consume inputs, and produce outputs. Data ow models have existed for several decades and have become popular for describing signal processing applications as the graph representation is a very natural representation within this eld. Digital lters are typically described with boxes and arrows also in textbooks. Data ow is also becoming more interesting in other domains, and in principle, any application working on an information stream ts the dataflow paradigm. Such applications are, among others, network protocols, cryptography, and multimedia applications. As an example, the MPEG group standardized a dataflow language called RVC-CAL to be use within reconfigurable video coding. Describing a video coder as a data ow network instead of with conventional programming languages, makes the coder more readable as it describes how the video dataflows through the different coding tools. While dataflow provides an intuitive representation for many applications, it also introduces some new problems that need to be solved in order for data ow to be more widely used. The explicit parallelism of a dataflow program is descriptive and enables an improved utilization of available processing units, however, the independent nodes also implies that some kind of scheduling is required. The need for efficient scheduling becomes even more evident when the number of nodes is larger than the number of processing units and several nodes are running concurrently on one processor core. There exist several data ow models of computation, with different trade-offs between expressiveness and analyzability. These vary from rather restricted but statically schedulable, with minimal scheduling overhead, to dynamic where each ring requires a ring rule to evaluated. The model used in this work, namely RVC-CAL, is a very expressive language, and in the general case it requires dynamic scheduling, however, the strong encapsulation of dataflow nodes enables analysis and the scheduling overhead can be reduced by using quasi-static, or piecewise static, scheduling techniques. The scheduling problem is concerned with nding the few scheduling decisions that must be run-time, while most decisions are pre-calculated. The result is then an, as small as possible, set of static schedules that are dynamically scheduled. To identify these dynamic decisions and to find the concrete schedules, this thesis shows how quasi-static scheduling can be represented as a model checking problem. This involves identifying the relevant information to generate a minimal but complete model to be used for model checking. The model must describe everything that may affect scheduling of the application while omitting everything else in order to avoid state space explosion. This kind of simplification is necessary to make the state space analysis feasible. For the model checker to nd the actual schedules, a set of scheduling strategies are de ned which are able to produce quasi-static schedulers for a wide range of applications. The results of this work show that actor composition with quasi-static scheduling can be used to transform data ow programs to t many different computer architecture with different type and number of cores. This in turn, enables dataflow to provide a more platform independent representation as one application can be fitted to a specific processor architecture without changing the actual program representation. Instead, the program representation is in the context of design space exploration optimized by the development tools to fit the target platform. This work focuses on representing the dataflow scheduling problem as a model checking problem and is implemented as part of a compiler infrastructure. The thesis also presents experimental results as evidence of the usefulness of the approach.

Energiansäästökohteiden kartoitus konepajateollisuuden yrityksessä

Tämän diplomityön tavoitteena on kartoittaa Vaahto Oy:n Hollolan tehtaan energiankulutus ja energiansäästökohteet. Ensin tutkittiin tehtaan energiankulutus ja energiankulutuksen jakautuminen. Tutkimuksessa käytettiin saatavilla olevia kulutustietoja, luettiin konekirjoja sekä haastateltiin tehtaan työntekijöitä. Lisäksi tehdashallien lämmityslaitteiden hyötysuhteet mitattiin. Tutkimuksen päätavoite oli selvittää, miksi tehtaan lämmitysenergiankulutus on kasvanut ja kannattaisiko rakennusten lämmittämiseen käyttää vaihtoehtoista lämmitysmuotoa öljylämmitykselle. Potentiaalisista energiansäästökohteista tehtiin investointilaskelmat ja toimenpide-ehdotukset. Kannattaviksi toimenpiteiksi tutkimuksessa todettiin: lämmityspolttoaineen vaihtaminen maakaasuun, nosto-ovien hankkiminen, paineilmaverkon huolto, paineilmakompressorin lämmöntalteenotto, tehdastilojen sisälämpötilan tarkastus ja työnjohtotilojen ilmanvaihdon käyntiaikojen muutos. Toimenpiteillä arvioidaan vuotuisten energiakustannusten pienenevän noin 34 000 euroa. Toimenpiteiden toteuttamisen arvioidaan maksavan 135 000 ¤, mistä lämmitysjärjestelmän vaihdon osuus on 100 000 ¤.

Unlicensed Mobile Access Concept from Testing Point of View

Viime vuosikymmenien aikana kommunikaatioteknologiat ovat kehittyneet erittäin paljon. Uusia verkkoja, liityntätekniikoita, protokollia ja päätelaitteita on luotu alati kehittyvällä vauhdilla, eikä hidastumisen merkkejä ole näkyvissä. Varsinkin mobiilisovellukset ovat kasvattaneet markkinaosuuksiaan viime aikoina. Unlicensed MobileAccess (UMA) on uusi liityntätekniikka mobiilipäätelaitteille, joka mahdollistaa liitynnän GSM- runkoverkkoon WLAN- tai Bluetooth - tekniikoiden avulla. Tämä diplomityö keskittyy UMAan liittyviin teknologioihin, joita tarkastellaan lähemmin ensimmäisissä kappaleissa. Tavoitteena on esitellä, mitä UMA merkitsee, ja kuinka eri tekniikoita voidaan soveltaa sen toteutuksissa. Ennenkuin uusia teknologioita voidaan soveltaa kaupallisesti, täytyy niiden olla kokonaisvaltaisesti testattuja. Erilaisia testausmenetelmiä sovelletaan laitteistonja ohjelmiston testaukseen, mutta tavoite on kuitenkin sama, eli vähentää testattavan tuotteen epäluotettavuutta ja lisätä sen laatua. Vaikka UMA käsittääkin pääasiassa jo olemassa olevia tekniikoita, tuo se silti mukanaan uuden verkkoelementin ja kaksi uutta kommunikaatioprotokollaa. Ennen kuin mitään UMAa tukevia ratkaisuja voidaan tuoda markkinoille, monia erilaisia testausmenetelmiä on suoritettava, jotta varmistutaan uuden tuotteen oikeasta toiminnallisuudesta. Koska tämä diplomityö käsittelee uutta tekniikkaa, on myös testausmenetelmien yleisen testausteorian käsittelemiselle varattu oma kappale. Kappale esittelee erilaisia testauksen näkökulmia ja niihin perustuen rakennetaan myös testausohjelmisto. Tavoitteena on luoda ohjelmisto, jota voidaan käyttää UMA-RR protokollan toiminnan varmentamiseen kohdeympäristössä.

Toimintajärjestelmän rakentaminen laatu-, ympäristö- sekä työterveys- ja työturvallisuusstandardien vaatimusten mukaisesti

Diplomityön kohdeyritys on Lassila & Tikanoja Oyj:n (L&T) Vantaan jätehuolto -yksikkö.Yrityksen yhtenäiset toimintatavat ovat edellytyksenä toiminnan tehostamiselle,jatkuvalle kehittämiselle ja hallitulle laajentumiselle. Yrityksen toimintajärjestelmä (johtamisjärjestelmä) muodostuu laadun (ISO 9001), ympäristön (ISO 14001) sekä työterveyden ja työturvallisuuden (OHSAS 18001) hallintajärjestelmistä. Integroitu toimintajärjestelmä muodostaa yritykselle tehokkaan ja kokonaisvaltaisen kehittämisen työvälineen.Diplomityön tavoitteena on luoda teoreettinen perusta L&T:n Vantaan jätehuolto -yksikön sertifiointi -projektille. Diplomityön teoriasisältö muodostuu seuraavien asiakokonaisuuksien käsittelystä: kohdeyrityksen liiketoiminta-alan tunnuspiirteet, standardien sisältövaatimukset, toimintajärjestelmä yrityksen johtamisvälineenä sekä suorituskyvyn mittaaminen ja analysointi. Diplomityö kokoaa selkeät esitiedolliset lähtökohdat yksikön sertifiointi -projektille.Diplomityön muodostama teoreettinen perusta saavuttaa varsin onnistuneesti sille asetetut tavoitteet. Diplomityön määrittelemien lähtökohtien pohjalta rakentui yksikön varsinainen toimintajärjestelmä. Diplomityö tulee toimimaanhyvänä tukimateriaalina työn kohdeyritykselle jatkossakin; työstä on helppo tarkastaa ja kerrata toimintajärjestelmään liittyviä asiakokonaisuuksia.

Suomen öljytaseen laskenta kansainvälisessä raportoinnissa ja kansallisessa tilastoinnissa

Työn kohteena olivat Suomen öljytaseeseen liittyvät kansainväliset vuosikyselyt, joiden raportoinnista Suomessa vastaa Tilastokeskus. Samalla tarkasteltiin Tilastokeskuksen laatimia kansallisia energiatilastoja, jotka liittyvät öljyn hankintaan, jalostukseen ja käyttöön. Työn pääpaino oli kuitenkin kansainvälisissä raportoinneissa. Työn tavoitteena oli kehittää Eurostatin, IEA:n ja YK:n vuosittaisen öljykyselyn sekä YK:n ilmastosopimukselle laadittavaan kasvihuonekaasuinventaarioon liittyvän Reference Approach -laskennan raportointia. Selvitysten toivottiin pienentävän öljynhankinnan ja kulutuksen välisistä tase-eroista johtuvia tilastovirheitä. Kansainvälisten raportointien tutkimuksesta odotettiin myös löytyvän kehittämisehdotuksia kansallisiin energiatilastoihin. Vuosittaisten energiakyselyiden pohjalta syntyvät merkittävimmät kansainväliset energiatilastotietokannat. Tietoja käytetään useisiin tarkoituksiin muun muassa energian riittävyyden jakulutuksen analysointiin globaalisti. Reference Approach on taas vaihtoehtoinenlaskentatapa energiakäytöstä ja -tuotannosta aiheutuville hiilidioksidipäästöille. Reference Approach raportoidaan vuosittain YK:n ilmastosopimukselle. Työ toteutettiin tarkastelemalla kansainvälisen öljykyselyn rakennetta ja useista eri lähteistä saatuja öljytuotteiden lähtötietoja. Vuoden 2004 öljykyselyä täydennettiin ja tietoja verrattiin alkuperäiseen raporttiin. Reference Approach -laskennan tutkiminen toteutettiin tarkistamalla öljytuotteiden lähtötiedot ja loppukäytön jakaantuminen energiakäytön ja raaka-ainekäytön välillä. Tutkimuksien pohjalta Reference Approach -aikasarja laskettiin uudelleen ja tuloksia verrattiin alkuperäiseen aikasarjaan. Työn tuloksena saatiin sekä kansainvälistä öljykyselyä että Reference Approach -laskentaa tarkennettua huomattavasti. Samalla tilastovirheet pienenivät merkittävästi. Työssä tehtyjä havaintoja ja tuloksia tullaan hyödyntämään jatkossa sekä Suomen kasvihuonekaasupäästöjen laskennassa että kansainvälisen öljykyselyn raportoinnissa.

Putkilämmönsiirtimien mitoitustyökalujen kehittäminen

Diplomityön tarkoituksena on kehittää tietokoneohjelma putkilämmönsiirtimen vaippapuolen painehäviön laskemiseksi. Ohjelmalla voidaan varmistaa lämmönsiirtimen mitoitusvaiheessa, että vaippapuolen painehäviö ei ylitä sallittuja rajoja. Ohjelmatäydentää olemassa olevia mitoitusohjelmia. Tässä diplomityössä käsitellään ainoastaan höyryvoimalaitosprosesseissa käytettäviä putkilämmönsiirtimiä. Työn kirjallisessa osassa on selvitetty periaate höyryvoimalaitosprosessista ja siinä käytettävistä putkilämmönsiirtimistä sekä esitetty putkilämmönsiirtimien rakenne, yleinen suunnittelu ja lämpö- ja virtaustekninen mitoitus. Painehäviön laskennassa käytetyt ja lämpö- ja virtausteknistä mitoitusta käsittelevässä kappaleessa esitetyt yhtälöt perustuvat Bell-Delawaren menetelmään. Painehäviönlaskentaohjelma on toteutettu hyväksikäyttäen Microsoft Excel taulukkolaskentaa ja Visual Basic -ohjelmointikieltä. Painehäviön laskenta perustuu segmenttivälilevyillä varustetun putkilämmönsiirtimen vaippapuolen yksifaasivirtaukseen. Lämmönsiirtimen lauhdutinosan painehäviö oletetaan merkityksettömäksi, joten kokonaispainehäviö muodostuu höyryn- ja lauhteenjäähdyttimessä. Kehitetty ohjelma on suunniteltu erityisesti lauhteenjäähdyttimessä muodostuvan painehäviön laskentaan. Ohjelmalla laskettuja painehäviön arvoja on verrattu todellisesta lämmönsiirtimestä mitattuihin arvoihin. Lasketut arvotvastaavat hyvin mittaamalla saatuja, eikä tuloksissa ilmene mitään systemaattista virhettä. Ohjelma on valmis käytettäväksi putkilämmönsiirtimien mitoitustyökaluna. Diplomityön pohjalta on tehty ehdotukset ohjelman edelleen kehittämiseksi.

Valuuttakurssiriskin hallinta Yhdysvaltoihin listautuneessa sähkövoima- ja automaatioteknologia yrityksessä

Tutkimuksen päätavoite on tutkia ja kehittää Case -yrityksen valuuttakurssiriskin hallintaa. Tavoitteiden saavuttamiseksi tutkitaan kirjoitetunteorian ja tutkimusten pohjalta valuuttamarkkinoita ja -kursseja sekä valuuttakurssiriskin tunnistamista, suojaamista ja kirjaamis-ta. Eri suojausinstrumentteja ja US GAAP:in mukaista suojauslaskentaa tarkastellaan. Teoriat tarjoavat viitekehyksen Case -yrityksen valuuttahallinnan lähempään tarkasteluun. Pääpaino on empiirisessä, historiallisessa valuuttapositiotutkimuksessa, jonka tarkoituksena on selvittää yrityksessä vallinneiden valuuttasuojausten taso. Empiirinen tutkimus osoittaa joidenkin yksiköiden valuuttapolitiikan mukaisissa suojauskäytännöissä olevan parantamisen varaa. Suuriakin valuuttakurssimuutoksille alttiita avoimia positioita muodostuu johtuen liian vähäisestä tai liiallisesta suojaustoiminnasta (finanssitransaktioista). Joidenkin valuuttojen suojaaminen osoittautuu olevan vaikeampaa kuin toisten. Kirjoitetun teorian ja empiirisen tutkimuksen pohjalta tehdään valuuttariski-analyysi, pohditaan termiinien soveltuvuutta riskinhallinnan välineenä ja annetaan kehitys-ehdotuksia yrityksen nykyiselle valuuttahallinnolle ja johdon päätöksenteon tueksi. Case -yrityksen tulevia haasteita on kattavan valuuttapositio -seurantajärjestelmän kehittäminen.

Laatupoikkeamienkäsittelyn tehostaminen Olkiluoto 3 -projektissa

Diplomityössä tutustaan Olkiluoto 3-laitoksen suunnittelu- ja rakennusvaiheen aikaisiin laatupoikkeamiin ja niiden käsittelyyn. Työn tavoitteena on paikantaa poikkeamakäsittelyn pahimmat ongelmakohdat, ja kehittää menetelmiä ongelmien ratkaisemiseksi. Diplomityön tutkimusmenetelmänä käytettiin toimintatutkimusta. Tutkimus toteutettiin kevään 2007 aikana havainnoimalla Olkiluoto 3-projektin laadunhallinnan toimintaa ja analysoimalla projektissa syntyneitä poikkeamia. Työn toteuttamisessa tutustuttiin kansallisin ja kansainvälisiin laadunhallinnan standardeihin sekä erityisesti ydinvoima-alaa koskeviin laadunhallinnan ohjeistuksiin. Diplomityön tuloksena kehitettiin menetelmä OL 3-projektin toiminnallisten poikkeamien luokittelemiseksi. Jatkossa luokittelumenetelmää voidaan hyödyntää aiempaa tarkemman poikkeamatiedon analysoinnissa, sisäisessä päätöksenteossa sekä OL 3-projektin tiedotuksessa.

Design of a Condition Monitoring System for a Glass Wool Production Line

Työn tarkoituksena oli suunnitella kunnonvalvontajärjestelmä kahdelle lasivillan tuotantolinjalle. Suunnitteluprosessin lisäksi työssä on esitelty erilaisia kunnonvalvontamenetelmiä. Työn alussa on kerrottu erilaisista kunnonvalvontamenetelmistä, joilla voidaan seurata erilaisten laitteiden ja koneiden toimintakuntoa.Erityisesti työssä on tarkasteltu teollisuudessa yleistyviä kunnonvalvonnan värähtelymittauksia. Työssä suunniteltu kunnonvalvontajärjestelmä perustuu viiteen eri menetelmään, jotka ovat värähtelymittaus, lämpötilanmittaus lämpökameralla, lämpötilanmittaus kannettavalla mittarilla, kuuntelu elektronisella stetoskoopilla ja pyörivien osien kunnontarkkailu stroboskoopilla. Kunnonvalvontajärjestelmän suunnittelu on tehty useassa eri vaiheessa. Ensin työssä on kartoitettu tuotannon kannalta tärkeimmät laitteet ja niiden mahdolliset vikaantumistavat. Seuraavaksi on valittu sopivat kunnonvalvontamenetelmät ja tehty mittaussuunnitelma, jossa on esitetty eri laitteille suoritettavat mittaukset ja mittausten aikavälit.Lopuksi työssä on esitelty muutama esimerkkitapaus kunnonvalvontamenetelmien käytöstä sekä kerrottu mahdollisista tulevaisuuden kehitysmahdollisuuksista.

LWC-linjan pituushylyn hallinta

Työn tavoitteena oli saavuttaa päällystysasemilla sama tuotantotehokkuus kuin vuonna 1999, jolloin ne hankittiin. Tällöin myös määritettiin takuuarvot aseman toiminnallisista ominaisuuksista. Työtä aloitettaessa profiilien ja päällystemäärien asettuminen kesti kuitenkin huomattavasti kauemmin kuin takuuarvoissa oli määritelty. Keinoina jolla takuuarvoihin voitaisiin taas päästä, kuuluivat pastan konekiertojen kunnon tarkastus, päällystysasemien mekaanisten vikojen korjaaminen, laatusäätöjärjestelmän uudelleen virittäminen ja parhaiden työtapojen yhtenäistäminen eri vuorojen keskuudessa. Toisena tavoitteena oli luoda pituushylyn mittaus- ja raportointijärjestelmä koko tuotantolinjalle. Paperikoneelle rakennettiin automaattinen järjestelmä jolla pystyttiin seuraamaan asemien katkon jälkeistä toimintaa ja laatu virheistä syntyvää pituushylyn määrää. Jälkikäsittelyn raportointiin tehtiin sovellus johon käyttäjät pystyivät syöttämään hylättyjä paperi metrejä ja syitä niihin.

Vaarinpidosta virtuaaliaikaan : Sata vuotta suomalaista tilintarkastusta

Tämän tutkimuksen aiheena on tilintarkastuksen historiallinen kehittyminen Suomessa runsaan sadan vuoden aikana. Tutkimuksen tavoitteena on analysoida osakeyhtiön tilintarkastuksen kehitystä ja yhdistää vuosisadan kehityspiirteet tilintarkastuksen kokonaiskuvaksi. Tutkittava periodi alkaa 1800-luvun lopulta ja päättyy 2000-luvun taitteeseen. Tutkimuksessa tarkastellaan suomalaista tilintarkastusinstituutiota, joka jaetaan kolmeen osaan: tilintarkastusta säätelevään normistoon (normit), tilintarkastajajärjestelmään (toimijat) ja tilintarkastuksen sisältöön (tehtävät). Tutkimuksessa tavoitellaan vastauksia kysymyksiin: mitä tarkastettiin, milloin tarkastettiin, kuka tarkasti ja miten tarkastettiin eri aikakausina? Tutkimus perustuu historialliseen lähdeaineistoon, jonka muodostavat tutkimusajanjakson lainsäädäntö, lainvalmisteluasiakirjat, viranomaisten ohjeet ja päätökset, alan järjestöjen suositukset, ammattilehtien artikkelit sekä laskentatoimen ja tilintarkastuksen ammattikirjallisuus. Metodologisesti tutkimus on teoreettinen, kvalitatiivinen historiantutkimus, jossa lähdeaineistoa käsitellään lähdekriittisesti ja osittain sisältöanalyysin keinoin. Tilintarkastusta säätelevässä normistossa keskeisiä lakeja ovat olleet osakeyhtiölaki, kirjanpitolaki ja tilintarkastuslaki. Lakisääteinen tilintarkastus alkoi vuoden 1895 osakeyhtiölaista, joka uudistui vuonna 1978 ja jälleen vuonna 1997. Kirjanpitolainsäädäntö on uudistunut viidesti: 1925 ja 1928, 1945, 1973, 1993 sekä 1997. Vuoden 1994 tilintarkastuslakiin koottiin tilintarkastuksen säädökset useista laeista. Muita normistoja ovat olleet EY:n direktiivit, Kilan ohjeet, KHT-yhdistyksen suositukset, Keskuskauppakamarin säännökset ja viimeisimpinä IAS- ja ISA-standardit. Ammattimainen tilintarkastajajärjestelmä saatiin maahamme kauppiaskokousten ansiosta. Ammattimaisena tilintarkastuksen toimijana aloitti Suomen Tilintarkastajainyhdistys vuonna 1911, ja sen toimintaa jatkoi KHT-yhdistys vuodesta 1925 alkaen. Tilintarkastajien auktorisointi siirtyi Keskuskauppakamarille vuonna 1924. HTM-tilintarkastajat ovat olleet alalla vuodesta 1950 lähtien. Kauppakamarijärjestö on toiminut hyväksyttyjen tilintarkastajien valvojana koko ammattimaisen tilintarkastustoiminnan ajan. Valtion valvontaa suorittaa VALA (Valtion tilintarkastuslautakunta). Koko tutkittavan periodin ajan auktorisoitujen tilintarkastajien rinnalla osakeyhtiöiden tarkastajina ovat toimineet myös maallikot.Tilintarkastuksen tehtäviin kuului vuoden 1895 osakeyhtiölain mukaan hallinnon ja tilien tarkastus. Myöhemmin sisältö täsmentyi tilinpäätöksen, kirjanpidon ja hallinnon tarkastukseksi. Tutkimusajanjakson alussa tilintarkastus oli manuaalista kaikkien tositteiden prikkausta ja virheiden etsimistä. Myöhemmin tarkastus muuttui pistokokeiksi. Kertatarkastuksesta siirryttiin jatkuvaan valvontatarkastukseen 1900-luvun alkupuolella. Dokumentoinnista ja työpapereista alkaa olla havaintoja 1930-luvulta lähtien. Atk-tarkastus yleistyi 1970- ja 1980-luvuilla, jolloin myös riskianalyyseihin alettiin kiinnittää huomiota. Hallinnon tarkastuksen merkitys on kasvanut kaiken aikaa. Tilintarkastuskertomukset olivat tutkimusajanjakson alussa vapaamuotoisia ja sisällöltään ilmaisurikkaita ja kuvailevia. Kertomus muuttui julkiseksi vuoden 1978 osakeyhtiölain myötä. Myöhemmin KHT-yhdistyksen vakiokertomusmallit yhdenmukaistivat ja pelkistivät raportointia. Tutkimuksen perusteella tilintarkastuksen historia voidaan jakaa kolmeen kauteen, jotka ovat tilintarkastusinstituution rakentumisen kausi (1895 - 1950), vakiintumisen kausi (1951 - 1985) ja kansainvälistymisen ja julkisuuden kausi (1986 alkaen). Tutkimusajanjakson jokaisella vuosikymmenellä keskusteltiin jatkuvasti tilintarkastajien riittävyydestä, alalle pääsyn ja tutkintojen vaikeudesta, tilintarkastajien ammattitaidon tasosta,hallinnon tarkastuksen sisällöstä, tilintarkastuskertomuksesta sekä maallikkotarkastajien asemasta. 1990-luvun keskeisimmät keskusteluaiheet olivat konsultointi, riippumattomuus, odotuskuilu sekä tilintarkastuksen taso ja laadunvalvonta. Analysoitaessa tilintarkastuksen muutoksia runsaan sadan vuoden ajalta voidaan todeta, että tilintarkastuksen ydintehtävät eivät juurikaan ole muuttuneet vuosikymmenien kuluessa. Osakeyhtiön tilintarkastus on edelleenkin laillisuustarkastusta. Sen tarkoituksena on yhä kirjanpidon, tilinpäätöksen ja hallinnon tarkastus. Tilintarkastajat valvovat osakkeenomistajien etua ja raportoivat heille tarkastuksen tuloksista. Tilintarkastuksen ulkoinen maailma sen sijaan on muuttunut vuosikymmenten saatossa. Kansainvälistyminen on lisännyt säännösten määrää, odotuksia ja vaatimuksia on nykyisin enemmän, uusi tekniikka mahdollistaa nopean tiedonkulun ja valvonta on lisääntynyt nykypäivää kohti tultaessa. Tilintarkastajan pätevyys perustuu nykyään tietotekniikan, tietojärjestelmien ja yrityksen toimialantuntemukseen. Runsaan sadan vuoden takaisen lain vaarinpitovaatimuksesta on tultu virtuaaliaikaiseen maailmaan!

Messaging Application Engine for Symbian Platform

Tämä diplomityö kuvaa viestintä sovelluksen ytimen kehitystyön Symbian-alustalle. Koko sovelluksen vaatimuksena oli vastaamattomiin puheluihin vastaaminen ennalta määritellyillä tekstiviesteillä käyttäjän määrittelemien sääntöjen mukaisesti. Ei-toiminnallisia vaatimuksia olivat resurssien käytön vähentäminen ja uudelleenkäytön mahdollistaminen. Täten tämän työn tavoitteena oli kehittää ydin, joka kapseloi sovelluksen sellaisen toiminnallisuuden, joka on käyttöliittymästä riippumatonta ja uudelleenkäytettävää. Kehitystyössä ohjasi Unified Process, joka on iteroiva, käyttötapauksien ohjaama ja arkkitehtuurikeskeinen ohjelmistoprosessi. Se kannusti käyttämään myös muita teollisuudenalan vakiintuneita menetelmiä, kuten suunnittelumalleja ja visuaalista mallintamista käyttäen Unified Modelling Languagea. Suunnittelumalleja käytettiin kehitystyön aikana ja ohjelmisto mallinnettiin visuaalisesti suunnittelun edistämiseksi ja selkiyttämiseksi. Alustan palveluita käytettiin hyväksi kehitysajan ja resurssien käytön minimoimiseksi. Ytimen päätehtäviksi määrättiin viestien lähettäminen sekä sääntöjen talletus ja tarkistaminen. Sovelluksen eri alueet, eli sovelluspalvelin ja käyttöliittymää, pystyivät käyttämään ydintä ja sillä ei ollut riippuvuuksia käyttöliittymätasolle. Täten resurssien käyttö väheni ja uudelleenkäytettävyys lisääntyi. Viestien lähettäminen toteutettiin Symbian-alustan menetelmin. Sääntöjen tallettamiseen tehtiin tallennuskehys, joka eristää sääntöjen sisäisen ja ulkoisen muodon. Tässä tapauksessa ulkoiseksi tallennustavaksi valittiin relaatiotietokanta. Sääntöjen tarkastaminen toteutettiin tavanomaisella olioiden yhteistoiminnalla. Päätavoite saavutettiin. tämä ja muut hyviksi arvioidut lopputulokset, kuten uudelleenkäytettävyys ja vähentynyt resurssien käyttö, arveltiin juontuvan suunnittelumallien ja Unified Processin käytöstä. Kyseiset menetelmät osoittivat mukautuvansa pieniinkin projekteihin. Menetelmien todettiin myös tukevan ja kannustavan kehitystyön aikaista oppimista, mikä oli välttämätöntä tässä tapauksessa.

Matkapuhelinverkon MAP-protokollatoteutus älyverkkopalveluiden ohjauspisteeseen

Työssä esitellään yleiseurooppalaisen GSM-matkapuhelinjärjestelmän verkkoelementtejä ja perehdytään niiden väliseen standardoituun merkinantoprotokollaan. Lisäksi tarkastellaan protokollan lyhytsanomien välitykseen liittyviä operaatioita ja niissä tapahtunutta kehitystä standardoinnin eri vaiheissa. Tavoitteena oli toteuttaa GSM-matkapuhelinverkon merkinantoprotokollaan perustuva ohjelma, jonka tehtävänä on välittää lyhytsanomia matkapuhelin- ja lyhytsanomakeskuksen välillä. Matkapuhelimeen päättyvän lyhytsanoman välitykseen liittyy lisäksi reititystiedon hakeminen vastaanottajan kotirekisteristä. Toteutuksessa on ohjelmointirajapinta, joka helpottaa matkapuhelinverkon uusien palvelusovellusten kehittämistä. Toteutus testattiin standardoituja testitapauksia soveltaen. Yhdenmukaisuustestauksessa käytettiin apuna merkinantoanalysaattoria. Testauksessa tarkastettiin, että protokolla toimii loogisesti oikein. Suorituskykyä ei ole voitu testata todellisessa testiympäristössä, mutta ohjelmallisesti toteutettujen simulaattoreiden avulla on saatu hyviä tuloksia.

Järeiden puutuotteiden erikoiskuivaus

Tutkimuksessa selvitettiin kuumakuivauksen vaikutusta hirsiraaka-aineen ominaisuuksiin, käyttökelpoisia kuivauskaavoja sekä lämpötilatasoja. Kokeissa kuivattiin kuorittuja pyöreitä mäntytukkeja 130-180° C:n maksimilämpötilassa, sekä pelkaksi sahattuja hirsiaihioita 115-140° C:n maksimilämpötilassa. Kuivauksissa pyrittiin mahdollisimman lyhyeen aikaan laadun siitä kuitenkaan kärsimättä. Laadussa kiinnitettiin erityisesti huomiota sisä- ja pintahalkeamiin sekä värimuutoksiin. Korkeita lämpötiloja käytettäessä kuivausaika oli huomattavasti nopeampi kuin lämminilmakuivauksessa. Koekuivaukset kestivät 1-4 vuorokautta, kun vastaavaa puutavaraan lämminilmakuivaus kestää 7-20 vuorokautta. Korkeimmilla lämpötiloilla suoritetuissa kokeissa koekappaleisiin muodostui paljon pieniä halkeamia kun taas alhaisemmilla lämpötiloilla halkeamien kappalemäärä väheni, mutta lähes joka kappaleessa oli vähintään yksi suuri (yli 5 mm leveä) halkeama. Sisähalkeamien määrä oli pyöreillä tukeilla suoritetuissa kokeissa kohtuullisen pieni. Pelkaksi sahatuilla aihioilla sitä vastoin sisähalkeamien määrä oli huomattavasti suurempi. Vain 100 mm x 175 mm aihioilla onnistuttiin yhdessä kuivauksessa pitämään sisähalkeaminen pienenä. Kuumakuivaus aiheuttaa väistämättä värimuutoksia puuhun. Mitä korkeammilla lämpötiloilla ja pidemmillä kaavoilla kuivataan sitä enemmän väri tummenee. Värin vaikutus lopputuotteessa riippuu kuitenkin käyttökohteesta ja asiakkaan mieltymyksistä. Tutkimuksen perusteella varsinkin pyöreiden tukkien kuumakuivaus näyttää onnistuvan laadul-lisesti hyvin ja huomattavasti lämminilmakuivausta nopeammin. Pelkaksi sahattujen hirsiaihioiden kuivauksessa prosessin hallinta havaittiin vaikeaksi ja toimivien kaavojen kehittäminen vaatii jatkotutkimuksia.

ISDN-käyttäjäosaprotokollan suunnittelu, toteutus ja testaus.

Diplomityössä suunnitellaan, toteutetaan ja testataan ISUP-protokolla. ISUP kytketään osaksi Intellitel Communications Oy:n toteuttamaan Intellitel(TM) -tuotetta, joka tarjoaa kehitysympäristön kahdennetuille palveluille niin tele- kuin dataverkkoihin. Työssä sidotaan ISUP-protokollan kehitystyö osaksi markkinoilla vallitsevaa verkkojen konvergoitumiskehitystä, ja tässä valossa esitellään nykyisiä ja mahdollisia tulevia sovelluskohteita toteutetulle ISUP-protokollalle. ISUP:n testaukseen käytetyt moduuli-, standardinmukaisuus- ja verkkoonvientitestausmenetelmät esitellään soveltuvin osin työn testausosiossa. Työn tuloksena on standardin mukaan suunniteltu, toteutettu ja testattu protokolla, joka tarjoaa rajapinnan puheluidenohjauslogiikalle.