Automatisoidun rajatarkastuksen mallinnusvaihtoehdot

Automatisoitu rajatarkastus on Rajavartiolaitoksen uutta teknologiaa, jonka avulla pyritään vastaamaan nykypäivän haasteisiin. Haasteita ovat kasvava Schengen-alueen ulkorajan yli-tysten lukumäärä, tiukkenevat kansainväliset vaatimukset ja muuttuva henkilöstörakenne. Rajatarkastukset ovat iso osa Rajavartiolaitoksen ydintehtävää, rajaturvallisuuden ylläpitä-mistä, mutta tärkeä tavoite on myös rajaliikenteen sujuvuuden varmistaminen. Automatisoi-dulla rajatarkastuksella pyritäänkin vastaamaan tähän haasteeseen niin, että henkilöstöä on käytettävissä muissa sitä vaativissa tehtävissä. Uudehkona apuvälineenä automatisoitua rajatarkastusta pyritään kehittämään niin, että siitä saatava hyöty olisi mahdollisimman suuri. Työssä on tutkittu niin prosessimallinnuksen teo-rioita kuin automatisoitua rajatarkastusta ja nämä yhteen sovittamalla pyritty löytämään toi-mivin prosessimallinnusteoria, jonka avulla automatisoitua rajatarkastusta voidaan myö-hemmässä vaiheessa kehittää entistä toimivammaksi. Tutkimus teoriaosuus käsittelee prosessimallinnuksen eri teorioita niin, että niitä voitaisiin hyödyntää automatisoidun rajatarkastuksen kehittämisessä. Tutkittuja prosessimallinnusme-netelmiä ovat jonoteoria, lohkokaavio ja kehittyneemmät prosessimallinnusmenetelmät. Au-tomatisoituun rajatarkastukseen on tutustuttu sitä käsittelevän kirjallisuuden, internetlähtei-den ja haastattelujen avulla. Tutkimuksesta saatujen tulosten perusteella jonoteoria on toimivin vaihtoehto automatisoi-dun rajatarkastuksen kehittämiseksi tieteellisin keinoin. Ihminen on suurin muuttuja tässä teknisessä prosessissa ja siihen vaikuttaminen on kustannustehokkainta ja yksinkertaisinta. Lohkokaavion avulla automatisoitua rajatarkastusta voidaan havainnollistaa helposti, mutta se ei yksin anna vastauksia rajatarkastuksen kehittämiseksi.

WWW-pohjaisen sovelluksen automatisoitu testaus ja sitä edistävät ohjelmointikäytännöt

Ohjelmistotestauksen avulla voidaan tarkastella sovelluksen vastaavuutta vaatimuksiin. Tavoitteena on löytää sovelluksesta virheitä, ja siten parantaa sovelluksen laatua. Sovelluksen laatu voidaan määritellä useilla mittareilla, kuten esimerkiksi testattavuudella. Tässä työssä tarkastellaan WWW-sovelluksen automatisoidun testauksen toteutusta, jossa käytetään apuna testauskehystä. Automatisoituun testaukseen kuuluu testitapausten suunnittelu sekä toteutus, joiden lopputuloksena on uudelleenajettavia testitapauksia. Testaus keskittyy sovelluksen toiminnallisuuteen ja jättää tietokantaan päivitettävien tietojen tarkastamisen tekemättä. Testaus suoritetaan ilman tarkempaa tietoa sovelluksen sisäisestä toiminnasta. Testattava sovellus on Mobilding-hankkeessa toteutettu WWW-sovellus, jonka avulla hallinnoidaan rakennuksen elementtejä. Työssä vertaillaan WWW-sovelluksen käyttöliittymän testaukseen soveltuvia testauskehyksiä, ja pyritään tuomaan esille niiden ominaispiirteitä. Työn tuloksena on uudelleensuoritettavia testitapahtumia. Lisäksi pohditaan ohjelmointikäytäntöjä, joilla voidaan edistää automatisoitua testausta. Ohjelmointikäytännöt perustuvat työn toteutuksen aikana havaittuihin ongelmiin.

Automatisoitu datan kerääminen mobiiliapplikaatioissa

Internetin suosion myötä tiedonkeruusta on tullut osa jokapäiväistä elämäämme. Siitä huolimatta moni internetin käyttäjä ei ole tietoinen kuinka paljon ja mitä heidän tietojaan kerätään. Tutkimusryhmämme tehtävänä Turun Yliopistossa oli kehittää automaattinen tiedonkeruujärjestelmä Number Navigation Game -nimiseen opetuspeliin. Pelaajien pelisuorituksesta kerätään tietoa, joka lähetetään palvelimellemme tutkimustarkoituksia varten. Tässä tutkielmassa esitetään monia testejä, joita voidaan toteuttaa automaattisen tiedonkeruun avulla, kuten pelimekaniikka-, pelinetenemis-, grafiikka – sekä musiikkitestejä. Puhumme myös tiedonkeruusta liiketoimintana, sekä käymme läpi kuinka yleistä se on. Tiedonkeruun eettinen puoli voi usein olla epäselvä ja käyttäjien on hyvä tietää kuinka laaja ilmiö tiedonkeruu nykyään on. Iso osa tätä työtä pohjautuu Number Navigation Game -pelin datankeruusysteemien parissa tehtyyn tutkimukseen Turun Yliopistosa 2015-2016. Peliin, ja sen parissa tehtyihin testauksiin, viitataan useaan otteeseen tutkimuksen aikana. Esitämme myös tiedonkeruun avulla kerättyä tutkimusdataan teorioiden tueksi.

Taajuusmuuttajien suorituskyvyn automaattinen testausympäristö

Tämä insinöörityö tehtiin ABB Oy, Drivesin Product AC -tulosyksikön tuotekehitysosastolle Helsingissä. Työssä kehitettiin taajuusmuuttajien suorituskyvyn automaattinen testausympäristö. ABB:n taajuusmuuttajien suorituskykytestejä ei ole aikaisemmin automatisoitu. Testit on tehty käsin ja niiden suorittamiseen ja tulosten käsittelyyn on kulunut paljon aikaa. Automaattisella testauksella pyrittiin testien suorittamiseen ja tulosten käsittelyyn kuluvan ajan huomattavaan pienentymiseen. Työssä ei ollut tarkoituksena tehdä suorituskykytestejä vaan kehittää automaattinen testausympäristö eli suorituskykytestipenkki, jossa suorituskykytestit on mahdollista suorittaa. Työssä keskityttiin taajuusmuuttajan nopeus- ja momenttisäätäjien suorituskykyyn. Työ toteutettiin suunnittelu- ja ohjelmointityönä. Testausympäristön laitteisto perustuu ABB:n tuotekehityslaboratorioiden olemassaoleviin testipaikkoihin. Testausympäristössä käytetään taajuusmuuttajien lisäksi pääasiassa kolmivaiheisia oikosulkumoottoreita. Lisäksi laitteistoon kuuluu ACS800-sarjan taajuusmuuttaja kuormakäyttönä, momenttianturi ja takometri eli kierrosnopeusmittari. Ohjelmointi tehtiin National Instrumentsin LabVIEW-ohjelmointiympäristön versiolla 8.0. Testausympäristön käyttöliittymänä toimii saman yrityksen TestStand-testausohjelmiston versio 3.5. Testattavien taajuusmuuttajien ohjausta ja momenttianturin lukemista varten ohjelmoitiin virtuaali-instrumentteja. Virtuaali-instrumentteja kutsutaan TestStand-testisekvensseistä. Testisekvenssit luodaan TestStandin sekvenssieditorilla ja suoritetaan sekvenssieditorissa tai operaattorin käyttöliittymässä. Työn tuloksena syntyi taajuusmuuttajien suorituskyvyn automaattinen testausympäristö. Testausympäristöä voidaan hyödyntää sekä nykyisen että seuraavan sukupolven taajuusmuuttajien testauksessa. Sillä on mahdollista suorittaa yleisimmät taajuusmuuttajien suorituskykytestit, kuten nopeus- ja momenttisäätöjen staattinen ja dynaaminen tarkkuus, hyvin kattavasti. Testit voidaan automaattisesti suorittaa koko testikäytön sallimalla pyörimisnopeus- ja kuormitusalueella. Näytteenottotaajuus voi olla enintään 1 kHz luettaessa pyörimisnopeutta ACS800-sarjan taajuusmuuttajan kautta ja momenttianturia samanaikaisesti. Virtuaali-instrumenteista koostuvia testisekvenssejä voidaan vapaasti muokata ja kehittää testejä edelleen tai luoda kokonaan uusia testejä. Testausympäristö perustuu teollisuudessa yleisesti käytettyihin ohjelmistoihin ja tarjoaa hyvät mahdollisuudet jatkokehitykselle.

Composing Web Services

Web-palvelut muodostavat keskeisen osan semanttista web:iä. Ne mahdollistavat nykyaikaisen ja tehokkaan välineistön hajautettuun laskentaan ja luovat perustan palveluperustaisille arkkitehtuureille. Verkottunut automatisoitu liiketoiminta edellyttää jatkuvaa aktiivisuutta kaikilta osapuolilta. Lisäksi sitä tukevan järjestelmäntulee olla joustava ja sen tulee tukea monipuolista toiminnallisuutta. Nämä tavoitteet voidaan saavuttamaan yhdistämällä web-palveluita. Yhdistämisprosessi muodostuu joukosta tehtäviä kuten esim. palveluiden mallintaminen, palveluiden koostaminen, palveluiden suorittaminen ja tarkistaminen. Työssä on toteutettu yksinkertainen liiketoimintaprosessi. Toteutuksen osalta tarkasteltiin vaihtoehtoisia standardeja ja toteutustekniikoita. Myös suorituksen optimointiin liittyvät näkökulmat pyrittiin ottamaan huomioon.

Monitoring System Resources During Automated Testing in Symbian Operating System

Tässä diplomityössä esitellään ohjelmistotestauksen ja verifioinnin yleisiä periaatteita sekä käsitellään tarkemmin älypuhelinohjelmistojen verifiointia. Työssä esitellään myös älypuhelimissa käytettävä Symbian-käyttöjärjestelmä. Työn käytännön osuudessa suunniteltiin ja toteutettiin Symbian-käyttöjärjestelmässä toimiva palvelin, joka tarkkailee ja tallentaa järjestelmäresurssien käyttöä. Verifiointi on tärkeä ja kuluja aiheuttava tehtävä älypuhelinohjelmistojen kehityssyklissä. Kuluja voidaan vähentää automatisoimalla osa verifiointiprosessista. Toteutettu palvelin automatisoijärjestelmäresurssien tarkkailun tallentamalla tietoja niistä tiedostoon testien ajon aikana. Kun testit ajetaan uudestaan, uusia tuloksia vertaillaan lähdetallenteeseen. Jos tulokset eivät ole käyttäjän asettamien virherajojen sisällä, siitä ilmoitetaan käyttäjälle. Virherajojen ja lähdetallenteen määrittäminen saattaa osoittautua vaikeaksi. Kuitenkin, jos ne määritetään sopivasti, palvelin tuottaa hyödyllistä tietoa poikkeamista järjestelmäresurssien kulutuksessa testaajille.

Kaivoskoneiden kustannusseurannan ja -raportoinnin kehittäminen

Työn tavoitteena oli kehittää kaivoskoneita valmistavalle yritykselle raportointimalli uusittujen tuotteiden kustannusten seuraamiseksi. Raporttien toivottiin olevan tarvelähtöisiä, sisällöltään luotettavia, vaivattomia päivittää sekä helposti saatavissa. Tutkimuksen toisena tavoitteena oli kartoittaa kohdeyrityksen tuotekohtaisenkustannusseurannan nykytilaa ja sen kehityskohteita. Tutkimuksen aineistoa kerättiin strukturoimattomilla haastatteluilla, yrityksen dokumentteihin tutustumalla, havainnoinnilla, keskusteluilla sekä benchmarking-menetelmällä. Luonteeltaan tutkimus oli konstruktiivinen eli sen tavoitteena oli luoda uusi ratkaisumalliongelmalliseksi koettuun tilanteeseen. Tutkimuksen tuloksena syntyi pitkälle automatisoitu kustannusraportointimalli, joka sisältää kaksi tuotekohtaista kustannusraporttityyppiä. Raportit ovat ns. on-line -raportteja eli käyttäjien on mahdollisuus lukea niitä yrityksen intranetin kautta haluamanaan aikana. Prototyyppiraportit laadittiin erään nykyisen tuoterakenteen mukaisen koneen tiedoilla.Raporttien avulla voidaan tehokkaasti seurata konekohtaisia kustannuksia ja tunnistaa ne tekijät joihin vaikuttamalla voidaan saavuttaa asetetut tavoitekustannukset. Mallissa määriteltiin myös raporttien käyttäjät, jakelu, vastuut ja päivitykset. Todellinen hyöty raportointimallista saadaan siinä vaiheessa, kun sen avulla voidaan seurata uuden tuoterakenteen kustannuksia. Tutkimuksen perusteella annettiin lisäksi suosituksia kohdeyrityksen kustannusseurannan kehittämiseksi tulevaisuudessa.

Keraamisten laattojen luokittelu väripiirteiden avulla

Vaikka keraamisten laattojen valmistusprosessi onkin täysin automatisoitu, viimeinen vaihe eli laaduntarkistus ja luokittelu tehdään yleensä ihmisvoimin. Automaattinen laaduntarkastus laattojen valmistuksessa voidaan perustella taloudellisuus- ja turvallisuusnäkökohtien avulla. Tämän työn tarkoituksena on kuvata tutkimusprojektia keraamisten laattojen luokittelusta erilaisten väripiirteiden avulla. Oleellisena osana tutkittiin RGB- ja spektrikuvien välistä eroa. Työn teoreettinen osuus käy läpi aiemmin aiheesta tehdyn tutkimuksen sekä antaa taustatietoa konenäöstä, hahmontunnistuksesta, luokittelijoista sekä väriteoriasta. Käytännön osan aineistona oli 25 keraamista laattaa, jotka olivat viidestä eri luokasta. Luokittelussa käytettiin apuna k:n lähimmän naapurin (k-NN) luokittelijaa sekä itseorganisoituvaa karttaa (SOM). Saatuja tuloksia verrattiin myös ihmisten tekemään luokitteluun. Neuraalilaskenta huomattiin tärkeäksi työkaluksi spektrianalyysissä. SOM:n ja spektraalisten piirteiden avulla saadut tulokset olivat lupaavia ja ainoastaan kromatisoidut RGB-piirteet olivat luokittelussa parempia kuin nämä.

Kaupallisen reaaliaikasimulointiohjelmiston mahdollisuudet mekatronisen konejärjestelmän tuotekehityksessä

Työn tavoitteena oli hankkia ja rakentaa kaupallisilla ohjelmistoilla ja laitteistoilla toteutettu reaaliaikasimulaattori. Työssä keskityttiin erityisesti valmiin Patu 655 puutavarakuormaimen simulointimallin visualisointiin reaaliaikasimulaattoriin hankitulla 3D-animointiohjelmalla. Lisäksi työssä selvitettiin reaaliaikasimuloinnin mahdollisuuksia konejärjestelmän tuotekehityksessä. Reaaliaikasimulaattorina käytettiin dSPACE:n reaaliaikasimulointiin valmistamia kaupallisia laitteita ja ohjelmia. Puutavarakuormaimen simulointimalli käännettiin simulaattorissa suoritettavaksi, jonka jälkeen mallin liikkeet visualisoitiin käyttämällä RealMotion 3D-animointiohjelmaa. Animoitu grafiikka tuotiin sekä AutoCAD- että ADAMS -ohjelmasta. Työn tuloksena saatiin hankittua reaaliaikasimulaattori, jonka havaittiin olevan toimiva kokonaisuus. Puutavarakuormaimen ja muiden simulointimallien automatisoitu kääntö simulaattoriin onnistui hyvin. Simulointimallien visualisointi toimi sujuvasti käytetyn 3D-animointiohjelman avulla. Konejärjestelmien tuotekehitysprosessia havaittiin voitavan nopeuttaa reaaliaikasimulaattorin avulla.

A Large-Sized Multiwire Proportional Counter for Radiological Survey of Large Areas and Surfaces

Työn tavoitteena oli selvittää, miten eri parametrit vaikuttavat monilankaisen verrannollisuuslaskurin laskennallisiin ominaisuuksiin sekä voidaanko suurikokoista monilankaverrannollisuuslaskuria käyttää tehokkaasti suurien pintojen ? - ja ?- kontaminaation mittaamiseen. Ensin selvitettiin EU:n nykyistä clearing-käytäntöä sekä hahmoteltiin tulevia materiaalivirtoja, esiteltiin verrannollisuuslaskurin ja sen monilankamallin toimintaperiaate sekä käytettävien materiaalien ominaisuudet. Kootun teorian pohjalta selvitettiin tärkeimpien parametrien vaikutus ilmaisimen laskennallisiin ominaisuuksiin. Lopuksi suoritettiin rakenteilla olevan monilankaverrannollisuuslaskurin alustava testaus. Tulevien vuosien aikana eri puolilla maailmaa suljettavat erityyppiset ydinlaitokset luovat suuren tarpeen tehokkaiden kontaminaatiomittauslaitteistojen kehittämiselle. Tällä hetkellä mittaukset suoritetaan lähinnä noin 1 dm2 käsi-instrumentein, joten suurikokoinen, automatisoitu mittauslaitteisto sekä tehostaisi mittausprosessia suuresti sekä säästäisi runsaasti miestyötunteja. Jatkotoimenpiteiksi ehdotetaan laitteiston jatkotestausta, liikkeen ja nopeuden testausta sekä lopulta paikkaherkkyystoiminnon toteuttamisperiaatteen valintaa ja testausta.

Teollisuussuodattimen kehikon hitsauskiinnittimen suunnittelu robottihitsausasemaan Larox Oy:lle

The purpose of this work is to support the company in the designing of a welding clamp and to switch partly from manual welding to automatic welding. The product is a stainless steel frame of an industrial filter. This work includes the theory and the case sections. The theory covers the half of the work and studies significant aspects of designing of a welding clamp. The case reveals few models for a welding clamp for the company's needs. The study of the initial conditions and possible changes to existing product line are also included.

Disclosure of tax information -from tax reporting system to the financial statements, Case: Fortum Oyj

The main target of the study was to examine how Fortum’s tax reporting system could be developed in a way that it collects required information which is also easily transferable to the financial statements. This included examining disclosure requirements for income taxes under IFRS and US GAAP. By benchmarking some Finnish, European and US companies the purpose was to get perspective in what extend they present their tax information in their financial statements. Also material weakness, its existence, was under examination. The research method was qualitative, descriptive and normative. The research material included articles and literature of the tax reporting and standards relating to it. The interviews made had a notable significance. The study pointed out that Fortum’s tax reporting is in good shape and it does not require big changes. The biggest renewal of the tax reporting system is that there is only one model for all Fortum’s companies. It is also more automated, quicker, and more efficient and it reminds more the notes in its shape. In addition it has more internal controls to improve quality and efficiency of the reporting process.

Ketterien sovelluskehityskäytäntöjen soveltaminen J2EE-kehitykseen

Yritysohjelmistojen kehittäminen on monesti aikataulukriittistä ja tuottavuusvaatimukset ovat korkeita. Työssä kehitettiin tyypillisen web-käyttöliittymän omaavan J2EE-sovelluksen koontiin soveltuva koontimenetelmä, joka hyödyntää XP:n (Extreme Programming) sovelluskehityskäytäntöjä. Tärkeimpiä näistä on automatisoitu testaus, jonka päätyypit ovat automatisoitu yksikkö- ja integrointitestaus. Työn aikana asetettiin tavoitteet koontimenetelmälle sekä evaluointiin ja valittiin markkinoilla olevista työkaluista toimeksiantajan ympäristöön sopiva joukko. Koontimenetelmän toteutuksen tarkastelussa havaittiin, että XP:n käytännöt soveltuvat J2EE-sovelluskehitykseen ja tarpeelliset työkalut tähän ovat olemassa.

Automatisoidun kaupankäynnin vaikutukset markkinatehokkuuteen

Tutkielmassa selvitettiin algoritmisen kaupankäynnin vaikutuksia markkinatehokkuuteen. Se toteutettiin kirjallisuuskatsauksena tuoreimmista tutkimuksista. Aluksi esitellään algoritmisten kaupankäyntijärjestelmien rakenne ja tapa toimia, jonka jälkeen aiemmat tutkimukset käydään läpi. Tulokset osoittavat, että algoritminen kaupankäynti on parantanut markkinatehokkuutta hinnanmuodostuksen ja likviditeetin osalta. Merkittäviä negatiivisia vaikutuksia ei huomattu.