Mallintarkistus ja sen

Save this PDF as:
 WORD  PNG  TXT  JPG

Koko: px
Aloita esitys sivulta:

Download "Mallintarkistus ja sen"

Transkriptio

1 VERSIO 0.1 LUONNOS Mallintarkistus ja sen soveltaminen PLCohjelmien verifioinnissa AS Automaatio- ja systeemitekniikan projektityöt -projektisuunnitelma Markus Hartikainen 2/1/2009

2 Sisältö 1. Projektityön tavoite Työn rakenne ja aikataulu Riskien hallinta... 5

3 1. Projektityön tavoite Tarkoituksena on tutustua mallintarkastuksen teoriaan yhtenä osa-alueena formaaleissa menetelmissä sekä verifioida pieni PLC - ohjelma NuSMV ja UPPAAL mallintarkastustyökaluja käyttäen. Projekti jaetaan kahteen isompaan työpakettiin. Ensimmäinen osa selvittää mallintarkastuksen taustalla olevaa teoriaa. Samalla on tarkoitus selvittää miten mallintarkastusta voidaan käyttää PLCohjelmien verifioinnissa. Tarkoituksena on kirjoittaa tätä teoriaosuutta koko ajan rinnakkain käytännön osuuden kanssa. Projektin toisen osuuden tarkoituksena on tutustua olemassa olevien lähteiden avulla PLCohjelmille sopiviin mallintarkastustyökaluihin (NuSMV ja UPPAAL, joista jälkimmäinen on reaaliaikasovellusten mallintarkistin). Osuuden tarkoituksena on tehdä spesifikaatio pienelle logiikkasovellukselle ja saada sovelluksen malli (design) tehdyksi ja verifioiduksi mallintarkastustyökalua käyttäen. Tutkin esimerkissäni kurssin AS Kappaletavaratuotannon automaatio harjoitustyön toimilohko-ohjelmien verifiointia. Tarkoituksena on selvittää verifiointiprosessin vaiheita ja sen mahdollisuuksia ja ongelmia (onko ohjelmassa muita tiloja kuin spesifikaatiossa tai päästäänkö jokaiseen suunniteltuun tilaan ohjelman ajon aikana jne.). Lisäksi vertaillaan valittujen mallintarkastimien tehokkuutta ja sopivuutta esimerkkiohjelman verifioinnissa. Ohjelmaan voidaan myös lisätä tahallaan suunnitteluvirhe/virheitä, jotka halutaan mallintarkastuksella löytää. Työn tuloksena on tarkoitus oppia mallintarkastusta formaalina verifiointivälineenä niin teoriassa kuin käytännössä. Tuloksina halutaan erityisesti saada informaatiota mallintarkistuksesta PLC - ohjelmien osalta. Mitä ongelmia mallintarkastuksessa ilmenee / voi ilmetä? Mitä kaikkea on otettava huomioon sovellettaessa mallintarkastusta verifioinnissa? Mitä hyviä ja huonoja puolia siinä on? Minkälainen on mallintarkistuksen tulevaisuus PLC - ohjelmien vaatimusten ja suunnittelumallien verifioinnissa. Arvioin työpakettien laajuudeksi noin 2 (teoria) + 2 (käytäntö + tulokset) opintopistettä.

4 2. Työn rakenne ja aikataulu 1. Projektisuunnitelma 2. Johdanto mallintarkastukseen 3. Mallintarkastuksen taustalla oleva teoria 3.1 Automata ja äärelliset tilakoneet (FSM) 3.2 Temporaalinen logiikka 3.3 Symbolinen mallintarkistus 3.4 Ajoitetut tilakoneet ja reaaliaikavaatimusten verifiointi 4. Järjestelmäominaisuuksien spesifiointi 5. PLC-ohjelmien mallintarkistus 6. CASE-esimerkit (NuSMV, UPPAAL): liukuhihnan hissiohjelman mallintarkastus 7. Tulokset ja vertailu 8. Mallintarkastuksen tulevaisuus Työvaiheen nimi Aloituspäivämäärä Arvioitu lopetuspvm. 1. Projektisuunnitelma Johdanto ja 5. Teoria ja PLCohjelmien mallintarkastus 4. Spesifiointi CASE-esimerkki NuSMV CASE-esimerkki UPPAAL Tulokset ja vertailu Mallintarkastuksen tulevaisuus TODO: Tee janakaavio aikataulusta! Projektityön kestoksi on arvioitu noin 3 kuukautta. Neljälle opintopisteelle kohdistettuna viikkokohtainen työtuntimäärä on siis 10 tuntia. Työpaketit sisältävät itsessään dokumentoinnin. Työ alkaa projektisuunnitelman kirjoituksella (tämä dokumentti) sekä taustalla olevan teorian sekä johdannon kirjoittamisella. Myös CASEesimerkin rakentaminen alkaa heti NuSMV-mallintarkastimella. Ominaisuuksien spesifioinneista kirjoittaminen voi alkaa, kun on opittu tarvittava määrä teoriaa. Teoriaa on tarkoitus opetella alussa nopeaan tahtiin, jotta itse kokeellinen osuus voi alkaa. UPPAAL-mallintarkastimeen tutustuminen alkaa heti, kun ensimmäinen CASE-esimerkki on valmis tai melkein valmis. Tulosten ja mallintarkastuksen tulevaisuudensuuntausten arviointi jää luonnollisesti viimeiseksi vaiheeksi projektissa. Teoriaa on tarkoitus opiskella koko projektin ajan ja soveltaa sitä esimerkkiohjelman verifiointiin. Muutoinkin kirjoitusprosessia ja tulosten dokumentointia on tarkoitus tehdä rinnakkain kokeellisen osuuden kanssa.

5 3. Riskien hallinta Ennustan projektin onnistuvan hyvin, sillä hyviä lähteitä mallintarkistuksesta löytyy useita. Lähteiden taso ja laatu on yleisesti ottaen huippuluokkaa, sillä aihe on ollut viimeisten 30 vuoden aikana kovan kiinnostuksen kohteena yliopistojen tietojenkäsittelytieteiden laitoksilla sekä myös teollisuudessa. Mallintarkastusta on sovellettu käytäntöön onnistuneesti ja lupaavia tuloksia on saatu monilla eri osa-alueilla, myös logiikka-ohjelmien verifioinnissa. Kaikista näistä positiivista asioista huolimatta on myös hyvä varautua ongelmiin etukäteen, jotta nämä voidaan joko välttää tai minimoida. Alla on siis tunnistettu projektin keskeisimmät riskit ja hahmoteltu näiden toteutuessa tehtäviä toimenpiteitä. Suurimpia riskejä tavoitteiden saavuttamiselle ovat: 1. Muut kurssit vievät myös paljon aikaa, koska niissäkin on harjoitustöitä 2. Tuntematon tekniikka hankaloittaa aikataulun suunnittelua ja siinä pysymistä Keinot riskien välttämiseksi: 1. Teorian opiskelu aloitettava heti 2. Työkalujen löytäminen ja käytön opiskelu aloitettava mahdollisimman nopeasti Riskien minimointi ja toimenpiteet mikäli riski toteutuu: 1. CASE-esimerkeissä verifioidaan ensin vain yksi osa ohjelmasta (esim. paletin ottaminen hissiin). Myöhemmin voidaan verifioida useampia ohjelmia, jos aikaa jää

PLC toimilohko-ohjelmien mallintarkastus AS Automaatio- ja systeemitekniikan projektityöt, kevät 2009

PLC toimilohko-ohjelmien mallintarkastus AS Automaatio- ja systeemitekniikan projektityöt, kevät 2009 PLC toimilohko-ohjelmien mallintarkastus AS-0.3200 Automaatio- ja systeemitekniikan projektityöt, kevät 2009 Markus Hartikainen 4/12/2009 Sisältö 1. Johdanto 3 2. Mallintarkastuksen teoriaa 4 2.1 Mitä

Lisätiedot

Projektisuunnitelma. (välipalautukseen muokattu versio) Vesiprosessin sekvenssiohjelmointi ja simulointiavusteinen testaus

Projektisuunnitelma. (välipalautukseen muokattu versio) Vesiprosessin sekvenssiohjelmointi ja simulointiavusteinen testaus Projektisuunnitelma (välipalautukseen muokattu versio) Vesiprosessin sekvenssiohjelmointi ja simulointiavusteinen testaus Ville Toiviainen Tomi Tuovinen Lauri af Heurlin Tavoite Projektin tarkoituksena

Lisätiedot

Projektisuunnitelma Vesiprosessin sekvenssiohjelmointi ja simulointiavusteinen testaus

Projektisuunnitelma Vesiprosessin sekvenssiohjelmointi ja simulointiavusteinen testaus Projektisuunnitelma Vesiprosessin sekvenssiohjelmointi ja simulointiavusteinen testaus Ville Toiviainen Tomi Tuovinen Lauri af Heurlin Tavoite Projektin tarkoituksena on luoda valmis sekvenssiohjelma säätötekniikan

Lisätiedot

AS-0.3200 Automaatio- ja systeemitekniikan projektityöt

AS-0.3200 Automaatio- ja systeemitekniikan projektityöt AS-0.3200 Automaatio- ja systeemitekniikan projektityöt A11-17 Ikäihmisten kotona asumista tukevien järjestelmien kehittäminen AikatauluValpas Salla Ojala Paula Laitio 1. Projektin tavoite Projektimme

Lisätiedot

A14-11 Potilaan mittaustiedon siirtäminen matkapuhelimeen

A14-11 Potilaan mittaustiedon siirtäminen matkapuhelimeen 1 AS-0.3200 Automaatio- ja systeemitekniikan projektityöt A14-11 Potilaan mittaustiedon siirtäminen matkapuhelimeen Projektisuunnitelma Tommi Salminen, Hanna Ukkola, Olli Törmänen 19.09.2014 1 Projektin

Lisätiedot

Eero Nousiainen. Tekniikan yksikkö Tietotekniikan osasto. Projektiperustainen opetus ja oppiminen

Eero Nousiainen. Tekniikan yksikkö Tietotekniikan osasto. Projektiperustainen opetus ja oppiminen Eero Nousiainen Tekniikan yksikkö Tietotekniikan osasto Projektiperustainen opetus ja oppiminen FILOSOFIAA Maailma muuttuu Ihmiset muuttuvat Opiskelijat muuttuvat Opettajat ja opetusmenetelmät muuttuvat?

Lisätiedot

A13-03 Kaksisuuntainen akkujen tasauskortti. Projektisuunnitelma. Automaatio- ja systeemitekniikan projektityöt AS-0.

A13-03 Kaksisuuntainen akkujen tasauskortti. Projektisuunnitelma. Automaatio- ja systeemitekniikan projektityöt AS-0. A13-03 Kaksisuuntainen akkujen tasauskortti Projektisuunnitelma Automaatio- ja systeemitekniikan projektityöt AS-0.3200 Syksy 2013 Arto Mikola Aku Kyyhkynen 25.9.2013 Sisällysluettelo Sisällysluettelo...

Lisätiedot

S11-09 Control System for an. Autonomous Household Robot Platform

S11-09 Control System for an. Autonomous Household Robot Platform S11-09 Control System for an Autonomous Household Robot Platform Projektisuunnitelma AS-0.3200 Automaatio- ja systeemitekniikan projektityöt Quang Doan Lauri T. Mäkelä 1 Kuvaus Projektin tavoitteena on

Lisätiedot

Electric power steering

Electric power steering AS-0.3200 Automaatio- ja systeemitekniikan projektityöt Electric power steering Ohjausmoottorin jäähdytys ja ylikuumenemisen esto Projektisuunnitelma 19.9.2014 Työn ohjaaja: Ville Matikainen Tekijät: Samppa

Lisätiedot

AS Automaatio- ja systeemitekniikan projektityöt - Projektisuunnitelma

AS Automaatio- ja systeemitekniikan projektityöt - Projektisuunnitelma AS-0.3200 Automaatio- ja systeemitekniikan projektityöt - Projektisuunnitelma PiccSIM - TrueTime integrointi Henri Öhman 31.1.2012 1. Projektityön tavoite PiccSIM on Aalto-yliopistolla kehitetty simulointiympäristö,

Lisätiedot

toimintojen seurantaan

toimintojen seurantaan AS-0.3200 Automaatio- ja systeemitekniikan projektityöt Älykäs sähkömittari kodin toimintojen seurantaan Projektityösuunnitelma Miika Karanki, Miikka Sarajärvi, Jouni Valtonen 28. tammikuuta 2014 Sisältö

Lisätiedot

Tietotekniikan opintojen aktivointi

Tietotekniikan opintojen aktivointi Tietotekniikan opintojen aktivointi 8.6.2011 Auri Kaihlavirta Päivän agenda HOPSien käsittelyä Päättötyön kirjoittamisen keinoja Opponoinnista Kirjoitustehtävä 1 1 Ryhmätehtävä: HOPSin jälkeen Kirjaa paperille

Lisätiedot

Siimasta toteutettu keinolihas

Siimasta toteutettu keinolihas AS 0.3200 Automaatio ja systeemitekniikan projektityöt Projektisuunnitelma: Siimasta toteutettu keinolihas Laura Gröhn 224417 Mikko Kyllönen 221177 Lauri Liukko Sipi 84702A Susanna Porkka 225131 3.2.2015

Lisätiedot

Hybridivalvomon tilatiedon hallinnan kehittäminen

Hybridivalvomon tilatiedon hallinnan kehittäminen AS- 0.3200 Automaatio- ja systeemitekniikan projektityöt 23.9.2014 Projektisuunnitelma Työn suorittaja: Niklas Paganus Työn ohjaaja: Leena Salo Hybridivalvomon tilatiedon hallinnan kehittäminen Sisällysluettelo

Lisätiedot

A13-03 Kaksisuuntainen akkujen tasauskortti. Väliaikaraportti. Automaatio- ja systeemitekniikan projektityöt AS Syksy 2013

A13-03 Kaksisuuntainen akkujen tasauskortti. Väliaikaraportti. Automaatio- ja systeemitekniikan projektityöt AS Syksy 2013 A13-03 Kaksisuuntainen akkujen tasauskortti Väliaikaraportti Automaatio- ja systeemitekniikan projektityöt AS-0.3200 Syksy 2013 Arto Mikola Aku Kyyhkynen 22.10.2013 Sisällysluettelo Sisällysluettelo...

Lisätiedot

A09-05 OSGi IRC Bot For Coffee Maker

A09-05 OSGi IRC Bot For Coffee Maker AS-0.3200 Automaatio- ja systeemitekniikan projektityöt A09-05 OSGi IRC Bot For Coffee Maker Henri Nieminen Juha Sironen 1 Sisältö: 1. Tavoitteiden kertaus 2. Tuloksien esittely 3. Sovelluksen demo 4.

Lisätiedot

Power Steering for ATV

Power Steering for ATV AS-0.3200 Automaatio- ja systeemitekniikan projektityöt Power Steering for ATV 27.1.2014 Juuso Meriläinen Antti Alakiikonen Aleksi Vulli Meriläinen, Vulli, Alakiikonen 1/6 Projektin tavoite Projektityössä

Lisätiedot

Myös opettajaksi aikova voi suorittaa LuK-tutkinnon, mutta sillä ei saa opettajan kelpoisuutta.

Myös opettajaksi aikova voi suorittaa LuK-tutkinnon, mutta sillä ei saa opettajan kelpoisuutta. Tietojenkäsittelytiede Tutkintovaatimukset Perustutkinnot LUONNONTIETEIDEN KANDIDAATIN TUTKINTO (VÄHINTÄÄN 120 OV) 1. Tietojenkäsittelytieteen cum laude approbatur -oppimäärä (vähintään 55 ov) ja kypsyysnäyte

Lisätiedot

O L A R I N K O U L U

O L A R I N K O U L U Tervetuloa! Olarin koulun matematiikka- ja luonnontiedeluokan tiedotustilaisuuteen Olarin koulu Olarin lukion ja Olarin matematiikkaja luonnontiede lukion yhteydessä luokat 7-9 yksi pienluokka 8lk:lla

Lisätiedot

Tietotekniikan kandidaattiseminaari

Tietotekniikan kandidaattiseminaari Tietotekniikan kandidaattiseminaari Luento 1 14.9.2011 1 Luennon sisältö Seminaarin tavoitteet Seminaarin suoritus (tehtävät) Kandidaatintutkielman aiheen valinta Seminaarin aikataulu 2 2011 Timo Männikkö

Lisätiedot

Spektrin sonifikaatio

Spektrin sonifikaatio Spektrin sonifikaatio AS-0.3200 Automaatio- ja systeemitekniikan projektityöt Paula Sirén Sisällysluettelo 1. Johdanto... 2 2. Tehtävän kuvaus ja työn rakenne... 2 3. Teoria... 2 3.1 Ääni mekaanisena aaltona...

Lisätiedot

Kandidaatin opinnäyteseminaari. Intro

Kandidaatin opinnäyteseminaari. Intro Kandidaatin opinnäyteseminaari Intro Seminaari? Seminaari on sarja kokoontumisia, joiden tarkoitus on tukea syksyllä alkavaa opinnäytteen suunnittelua ja keväällä toteutusta. Syksystä kevääseen kulkeva

Lisätiedot

VALINNAISET OPINNOT Laajuus: Ajoitus: Kood Ilmoittautuminen weboodissa (ja päättyy 06.03.2016.)

VALINNAISET OPINNOT Laajuus: Ajoitus: Kood Ilmoittautuminen weboodissa (ja päättyy 06.03.2016.) VALINNAISET OPINNOT Valinnaisia opintoja pedagogisten opintojen yleistavoitteiden suuntaisesti tarjoavat normaalikoulu, kasvatustiede ja ainedidaktiikka. Laajuus: 3 opintopistettä Ajoitus: Pääsääntöisesti

Lisätiedot

Tutkimusperustaisuus käytännön opetuksessa? Tapaus Sosiaalityön käytäntö 2. Taru Kekoni Ma. Yliopistonlehtori Itä-Suomen yliopisto

Tutkimusperustaisuus käytännön opetuksessa? Tapaus Sosiaalityön käytäntö 2. Taru Kekoni Ma. Yliopistonlehtori Itä-Suomen yliopisto Tutkimusperustaisuus käytännön opetuksessa? Tapaus Sosiaalityön käytäntö 2 Taru Kekoni Ma. Yliopistonlehtori Itä-Suomen yliopisto Lähtökohta esitykselle: Opetusjakson tutkimusperustaisuus on selkeä ja

Lisätiedot

Suoritustavat: Laboratoriotöitä 2.-3.periodi. Luennot 2h, Laboratorityöt 4h, itsenäinen työskentely 124 h. Yhteensä 130 h.

Suoritustavat: Laboratoriotöitä 2.-3.periodi. Luennot 2h, Laboratorityöt 4h, itsenäinen työskentely 124 h. Yhteensä 130 h. Janne Parkkila Tavoitteet: Opintojakson aikana opiskelijoiden tulee: - Yhdistellä eri lähteistä löytämiään tietoja. - Kirjoittaa kriteerit täyttäviä alku- ja loppuraportteja. - Ratkaista laboratoriotöissä

Lisätiedot

Uudelleenkäytön jako kahteen

Uudelleenkäytön jako kahteen Uudelleenkäyttö Yleistä On pyritty pääsemään vakiokomponenttien käyttöön Kuitenkin vakiokomponentit yleistyneet vain rajallisilla osa-alueilla (esim. windows-käyttöliittymä) On arvioitu, että 60-80% ohjelmistosta

Lisätiedot

S09 04 Kohteiden tunnistaminen 3D datasta

S09 04 Kohteiden tunnistaminen 3D datasta AS 0.3200 Automaatio ja systeemitekniikan projektityöt S09 04 Kohteiden tunnistaminen 3D datasta Loppuraportti 22.5.2009 Akseli Korhonen 1. Projektin esittely Projektin tavoitteena oli algoritmin kehittäminen

Lisätiedot

Analogiapiirit III:n harjoitustyö

Analogiapiirit III:n harjoitustyö Analogiapiirit III:n harjoitustyö Harjoitustyössä suunnitellaan 1. asteen Σ modulaattori ASIC toteutuksena. Koko ASIC suunnittelupolku käsinsuunnittelusta lopulliseen IC piirikuvioon päydään läpi viidessä

Lisätiedot

Projektisuunnitelma: Tietokonepeliavusteinen kognitiivinen terapia

Projektisuunnitelma: Tietokonepeliavusteinen kognitiivinen terapia Projektisuunnitelma: Tietokonepeliavusteinen kognitiivinen terapia AS 0.3200 Automaatio ja systeemitekniikan projektityöt Ristomatti Karppanen Wille Keltikangas Mikko Mulari 1. Projektin tavoite Työssä

Lisätiedot

Liikuntaseura toiminnassa

Liikuntaseura toiminnassa Liikuntaseura toiminnassa Seuraprojektilla käytännönläheisyyttä opintoihin Minna Kettunen amanuenssi Liikuntatieteellinen tiedekunta Jyväskylän yliopisto Liikkeelle! 1. Liikunnan yhteiskuntatieteiden opiskelijat:

Lisätiedot

Kirja on jaettu kahteen osaan: varsinaiseen- ja lisätieto-osioon. Varsinainen

Kirja on jaettu kahteen osaan: varsinaiseen- ja lisätieto-osioon. Varsinainen Alkusanat Tämän tieto- ja viestintätekniikan oppikirjan ensimmäinen versio (1. painos) syntyi vuonna 2006 Jyväskylän yliopiston tietotekniikan laitokselle tekemäni pro gradu -tutkielmani yhteydessä. Tutkimuksessani

Lisätiedot

Toteutusvaihe T3 Digi-tv: Edistymisraportti

Toteutusvaihe T3 Digi-tv: Edistymisraportti Toteutusvaihe T3 Digi-tv: Edistymisraportti Sisällysluettelo 1. Projektin tila...3 Dtv: Work done per Person (current phase)...3 Dtv: Work done per Worktype (current phase)...3 2. Suoritetut tehtävät...4

Lisätiedot

S11-04 Kompaktikamerat stereokamerajärjestelmässä. Projektisuunnitelma

S11-04 Kompaktikamerat stereokamerajärjestelmässä. Projektisuunnitelma AS-0.3200 Automaatio- ja systeemitekniikan projektityöt S11-04 Kompaktikamerat stereokamerajärjestelmässä Projektisuunnitelma Ari-Matti Reinsalo Anssi Niemi 28.1.2011 Projektityön tavoite Projektityössä

Lisätiedot

Tutkimushankkeiden riskienhallinta

Tutkimushankkeiden riskienhallinta Tutkimushankkeiden riskienhallinta Tutkimuksen tuki, yrittäjyys ja innovaatiot Jyväskylän yliopisto Kirsi Murtosaari Parityö Tutkimushankkeet: Kuvatkaa hankkeiden haasteita suunnittelu- ja toteutus- tai

Lisätiedot

ENG-A1002 ARTS-ENG-Projekti. B-kori

ENG-A1002 ARTS-ENG-Projekti. B-kori ENG-A1002 ARTS-ENG-Projekti B-kori 11.4.2017 Innovatiivinen kuljetin B-korissa pyritään löytämään: uusi tai paranneltu tuotekonsepti kappaletavaroiden tai materiaalien käsittelyyn, siirtelyyn tai kuljetukseen.

Lisätiedot

Electric power steering

Electric power steering AS-0.3200 Automaatio- ja systeemitekniikan projektityöt Electric power steering Ohjausmoottorin jäähdytys ja ylikuumenemisen esto Väliraportti 15.10.2014 Työn ohjaaja: Ville Matikainen Tekijät: Samppa

Lisätiedot

Ohjelmien automaattisen verifioinnin reunamailla

Ohjelmien automaattisen verifioinnin reunamailla Ohjelmien automaattisen verifioinnin reunamailla Antti Siirtola Tietotekniikan laitos, Perustieteiden korkeakoulu, Aalto-yliopisto, antti.siirtola@aalto.fi Suomalainen Tiedeakatemia, Nuorten akatemiaklubi,

Lisätiedot

Projektisuunnitelma ja johdanto AS-0.3200 Automaatio- ja systeemitekniikan projektityöt Paula Sirén

Projektisuunnitelma ja johdanto AS-0.3200 Automaatio- ja systeemitekniikan projektityöt Paula Sirén Projektisuunnitelma ja johdanto AS-0.3200 Automaatio- ja systeemitekniikan projektityöt Paula Sirén Sonifikaatio Menetelmä Sovelluksia Mahdollisuuksia Ongelmia Sonifikaatiosovellus: NIR-spektroskopia kariesmittauksissa

Lisätiedot

S14 09 Sisäpeltorobotti AS Automaatio ja systeemitekniikan projektityöt. Antti Kulpakko, Mikko Ikonen

S14 09 Sisäpeltorobotti AS Automaatio ja systeemitekniikan projektityöt. Antti Kulpakko, Mikko Ikonen S14 09 Sisäpeltorobotti AS 0.3200 Automaatio ja systeemitekniikan projektityöt Antti Kulpakko, Mikko Ikonen 1. Projektin tavoitteet Projektin tavoitteena on toteuttaa ohjelmisto sisäpeltorobottiin seuraavien

Lisätiedot

Kirja on jaettu kahteen osaan: varsinaiseen- ja lisätieto-osioon. Varsinainen

Kirja on jaettu kahteen osaan: varsinaiseen- ja lisätieto-osioon. Varsinainen Alkusanat Tämä tieto- ja viestintätekniikan oppikirja on päivitetty versio vuonna 2007 julkaisemastani Tieto- ja viestintätekniikka -oppikirjasta. Päivityksessä kirjan sisällöt on ajantasaistettu ja samalla

Lisätiedot

ESITUTKIMUS. Polku Versio 0.1. Projektiryhmä

ESITUTKIMUS. Polku Versio 0.1. Projektiryhmä ESITUTKIMUS Polku Versio 0.1 Projektiryhmä Janne Pihlajaniemi janne.pihlajaniemi@iki.fi Antti Jämsén antti.jamsen@uta.fi Maria Hartikainen maria.hartikainen@uta.fi Pekka Kallioniemi pekka.kallioniemi@uta.fi

Lisätiedot

OPISKELUTYÖN MITOITUS Opetuksen suunnittelun työväline, jolla arvioidaan opiskelijan työmäärää suhteessa 1 PERUSTIEDOT

OPISKELUTYÖN MITOITUS Opetuksen suunnittelun työväline, jolla arvioidaan opiskelijan työmäärää suhteessa 1 PERUSTIEDOT OPISKELUTYÖN MITOITUS Opetuksen suunnittelun työväline, jolla arvioidaan opiskelijan työmäärää suhteessa 1 PERUSTIEDOT Tiedekunta Laitos Yksikkö Taso (kandidaatti, maisteri, jatkoopinnot) Moduuli Kurssikoodi

Lisätiedot

itsmf Finland Conference 2016 Focus Markus Leinonen COBIT ja governance

itsmf Finland Conference 2016 Focus Markus Leinonen COBIT ja governance itsmf Finland Conference 2016 Focus Markus Leinonen COBIT ja governance Markus Leinonen M.Sc. (Econ.), CIA, CISA Senior Manager, Internal Controls Cargotec Oyj 1984 1986 1992 1995 1997 1997 2002 2002 2008

Lisätiedot

TIETOJENKÄSITTELYTEORIAN PÄÄAINEEN KORVAAVUUSPERIAATTEET

TIETOJENKÄSITTELYTEORIAN PÄÄAINEEN KORVAAVUUSPERIAATTEET Versiohistoria Ensimmäinen versio 14.3.2005 / Ilkka Niemelä Koulutusohjelmatoimikunnan kokouksessa 4.4.2005 esitetyt muutokset tehty 8.4.2005. TIETOJENKÄSITTELYTEORIAN PÄÄAINEEN KORVAAVUUSPERIAATTEET Tietojenkäsittelyteorian

Lisätiedot

Projektiryhmä Tete Työajanseurantajärjestelmä. Riskienhallintasuunnitelma

Projektiryhmä Tete Työajanseurantajärjestelmä. Riskienhallintasuunnitelma Projektiryhmä Tete Työajanseurantajärjestelmä T-76.115 Tietojenkäsittelyopin ohjelmatyö/ 2(6) Muutoshistoria Versio PVM Tekijä Kuvaus 0.10 14.10.2003 Miikka Lötjönen Dokumenttipohja (projektisuunnitelman

Lisätiedot

Adoptiomaatapaamisen järjestäminen

Adoptiomaatapaamisen järjestäminen Adoptiomaatapaamisen järjestäminen 2016 Aina tulee yllätyksiä. Hyvällä suunnittelulla turvaa paljon, reagointikyvyllä ja hyvillä hermoilla pelastaa kaiken. Tekijä: Julia Kurki 2 Vapaaehtoistyö tapahtuman

Lisätiedot

Talven kasvit. LUMASUOMI Koulutuksesta kouluun hanke. AIHE: Tutkin ja toimin ympäristössäni (EOPS 2014)

Talven kasvit. LUMASUOMI Koulutuksesta kouluun hanke. AIHE: Tutkin ja toimin ympäristössäni (EOPS 2014) Talven kasvit AIHE: Tutkin ja toimin ympäristössäni (EOPS 2014) IKÄLUOKKA: esiopetusikäiset, sopii myös 1. vuosiluokalle TAVOITTEET: Opetuskokonaisuuden käsitteellisiin tavoitteisiin kuuluu metrin käsitteeseen

Lisätiedot

Turvallisen tekniikan seminaari 2015 Työpajapäivä, keskiviikko 3.6.

Turvallisen tekniikan seminaari 2015 Työpajapäivä, keskiviikko 3.6. Työpajapäivä 2015 Turvallisen tekniikan seminaari 2015 Työpajapäivä, keskiviikko 3.6. Tampereen teknillinen yliopisto, Rakennustalo Turvallisen tekniikan pääseminaarin lisäksi järjestetään keskiviikkona

Lisätiedot

Kaksinkertainen mahtis

Kaksinkertainen mahtis Luovat harjoitukset Kaksinkertainen mahtis Palautteenantoharjoitus tavoite: yksityiskohtainen palautteen sanallistaminen ja luokkakaverin vahvuuksien tukeminen ja kehittäminen kesto 20 min Tehdään ensin

Lisätiedot

Copyright by Haikala. Ohjelmistotuotannon osa-alueet

Copyright by Haikala. Ohjelmistotuotannon osa-alueet Copyright by Haikala Ohjelmistotuotannon osa-alueet Ohjelmiston elinkaari 1. Esitutkimus, tarvekartoitus, kokonaissuunnittelu, järjestelmäsuunnittelu (feasibility study, requirement study, preliminary

Lisätiedot

Kandidaatintyö Elektroniikan laitoksella. Kandidaatintyöluennot (Ala kirjoittaa! -luentosarja)

Kandidaatintyö Elektroniikan laitoksella. Kandidaatintyöluennot (Ala kirjoittaa! -luentosarja) 1 Kandidaatintyö Elektroniikan laitoksella Kandidaatintyövastaavat: Aki Korpela (sähkömagnetiikka) Jarmo Tanskanen (elektroniikka) Kandidaatintyö koostuu seuraavista osista: kandidaatintyöluennot, yhteiset

Lisätiedot

AUTOMAATIOTEKNIIKAN KOULUTUSOHJELMA

AUTOMAATIOTEKNIIKAN KOULUTUSOHJELMA AUTOMAATIOTEKNIIKAN KOULUTUSOHJELMA Suomen teollisuuden kilpailukyky perustuu yhä enemmän tietotaitoon. Automaation avulla osaaminen voidaan hyödyntää tehostuvana tuotantona. Automaatiotekniikan koulutusohjelman

Lisätiedot

Tik-111.5077. projektityö 2006-07. digitaalisten efektien työpaja * johdantoluento * 18.9.2006 Tassu Takala 1

Tik-111.5077. projektityö 2006-07. digitaalisten efektien työpaja * johdantoluento * 18.9.2006 Tassu Takala 1 Tik-111.5077 Sisällöntuotannonllöntuotannon projektityö 2006-07 digitaalisten efektien työpaja * johdantoluento * 18.9.2006 Tassu Takala 1 Tavoitteet ja sisältö Digitaalisten näyttämöefektien, (taide)installaatioiden

Lisätiedot

Perusaineiden laajan oppimäärän opinnot lukuvuosina , ja

Perusaineiden laajan oppimäärän opinnot lukuvuosina , ja TEKNILLINEN KORKEAKOULU Matematiikan laitos PERUSAINEIDEN LAAJA OPPIMÄÄRÄ Perusaineiden laajan oppimäärän opinnot lukuvuosina 1995-96, 1996-97 ja 1997-98 MATEMATIIKKA lukuvuosi 1997-98 Mat-1.301 Matematiikan

Lisätiedot

Hyrian ja Laurean jatkoväylä projektiopintomalli

Hyrian ja Laurean jatkoväylä projektiopintomalli Jatkoväylä-seminaari Haaga-Helia 9.5.2017 Kaisa Tsupari Hyrian ja Laurean jatkoväylä projektiopintomalli 1 HYRIA KOULUTUS 9.5.2017 Liiketalouden pt/ nuoret Mahdollisuus suorittaa tutkinnonosa (15 osp)

Lisätiedot

KE1 Ihmisen ja elinympäristön kemia

KE1 Ihmisen ja elinympäristön kemia KE1 Ihmisen ja elinympäristön kemia Arvostelu: koe 60 %, tuntitestit (n. 3 kpl) 20 %, kokeelliset työt ja palautettavat tehtävät 20 %. Kurssikokeesta saatava kuitenkin vähintään 5. Uusintakokeessa testit,

Lisätiedot

Opettajatuutoroinnissa ilmoittautuneita 192 analyysissä mukana 159 opiskelijan tiedot (HOPS:n täyttäneet)

Opettajatuutoroinnissa ilmoittautuneita 192 analyysissä mukana 159 opiskelijan tiedot (HOPS:n täyttäneet) Opiskelijatuutorointi 25-27 Syksy 25 Opintojen aloitusvuodet Opettajatuutoroinnissa 25-27 ilmoittautuneita 192 analyysissä mukana 159 opiskelijan tiedot (HOPS:n täyttäneet) Opintojen aloitusvuosi yliopistolla

Lisätiedot

KOULUTUSOHJELMA JA TUTKINTONIMIKE: Artesaani. TUTKINNON OSA: Kulttuurin soveltaminen käsityöhön LAAJUUS: 10 ov TUTKINNON OSAN AMMATTITAITOVAATIMUKSET

KOULUTUSOHJELMA JA TUTKINTONIMIKE: Artesaani. TUTKINNON OSA: Kulttuurin soveltaminen käsityöhön LAAJUUS: 10 ov TUTKINNON OSAN AMMATTITAITOVAATIMUKSET TUTKINTO: Käsi- ja taideteollisuusalan perustutkinto KOULUTUSOHJELMA JA TUTKINTONIMIKE: Artesaani TYÖVALTAINEN OPETUSSUUNNITELMA TUTKINNON OSA: Kulttuurin soveltaminen käsityöhön LAAJUUS: 10 ov TUTKINNON

Lisätiedot

TTY/OHJ: OHJ-3500 Ohjelmistotuotannon projektityö

TTY/OHJ: OHJ-3500 Ohjelmistotuotannon projektityö TTY/OHJ: OHJ-3500 Ohjelmistotuotannon projektityö Jokaisessa yliopistossa ja AMK:ssa on projektityö-kurssi, mutta niillä kullakin on oma muotonsa, sisältönsä ja tavoitteensa. OHJ-3500 (laajuus 6-10 opintopistettä):

Lisätiedot

Projektisuunnitelma. Projektin tavoitteet

Projektisuunnitelma. Projektin tavoitteet Projektisuunnitelma Projektin tavoitteet Projektin tarkoituksena on tunnistaa erilaisia esineitä Kinect-kameran avulla. Kinect-kamera on kytkettynä tietokoneeseen, johon projektissa tehdään tunnistuksen

Lisätiedot

Porvoon kaupungin strategiatyön konsultointi

Porvoon kaupungin strategiatyön konsultointi Porvoon kaupungin strategiatyön konsultointi 10.10.2012 1(5) Porvoon kaupunki pyytää tarjoustanne strategiatyön konsultoinnista. Hankintamenettely Hankintamenettely on avoin. Hankittavan palvelun sisältö

Lisätiedot

Mallintarkastus. Mallin generointi. Esimerkki mallin SMV-kuvauksesta. Tila-avaruuden symbolinen esitys (I)

Mallintarkastus. Mallin generointi. Esimerkki mallin SMV-kuvauksesta. Tila-avaruuden symbolinen esitys (I) / Kevät 2005 ML-10 1 Mallintarkastus / Kevät 2005 ML-10 3 Esimerkki mallin SMV-kuvauksesta Onko annettu lause P tosi annetussa mallissa M? Malli M: järjestelmän malli Saadaan järjestelmän kuvauksesta,

Lisätiedot

Harjoitustyö Case - HelpDesk

Harjoitustyö Case - HelpDesk Harjoitustyö Case - HelpDesk Harjoitustyön Case: HelpDesk -sovellus Tietotekniikkatoimittaja AB ja asiakas X ovat viime vuonna sopineet mikrotukiyksikön ulkoistamisesta X:ltä AB:n liikkeenjohdon vastuulle.

Lisätiedot

DIG1 TYÖKALU GDPR- HALLINTAAN GDPR ONLINE ASSESSMENT TOOL

DIG1 TYÖKALU GDPR- HALLINTAAN GDPR ONLINE ASSESSMENT TOOL Dig1 GDPR Online Assessment Tool auttaa organisaatiotasi kartoittamaan nykytilan ja toteuttamaan EU:n tietosuojaasetuksen vaatimukset. Mistä on GDPR:ssä kysymys? EU:n tietosuoja-asetus eli GDPR on astunut

Lisätiedot

Kuovi-Sovellusprojekti. Vaatimusmäärittely

Kuovi-Sovellusprojekti. Vaatimusmäärittely Kuovi-Sovellusprojekti Vaatimusmäärittely Antti Hedlund Juho Kortelainen Jaana Ojala Juhana Pikki Versio: 0.1 Julkinen 5. lokakuuta 2005 Jyväskylän yliopisto Tietotekniikan laitos Jyväskylä Hyväksyjä Päivämäärä

Lisätiedot

Määrittelyvaihe. Projektinhallinta

Määrittelyvaihe. Projektinhallinta Määrittelyvaihe Projektinhallinta testaus määrittely suunnittelu ohjelmointi käyttöönotto, testaus tuotteenhallinta laadunvarmistus dokumentointi vaatimustenhallinta Määrittely Määrittely, eli kansanomaisesti

Lisätiedot

TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 5. marraskuuta 2015

TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 5. marraskuuta 2015 TIEA24 Automaatit ja kieliopit, syksy 205 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 5. marraskuuta 205 Sisällys Käsiteanalyysiä Tarkastellaan koodilukkoa äärellisenä automaattina. Deterministinen äärellinen

Lisätiedot

Testauksen tuki nopealle tuotekehitykselle. Antti Jääskeläinen Matti Vuori

Testauksen tuki nopealle tuotekehitykselle. Antti Jääskeläinen Matti Vuori Testauksen tuki nopealle tuotekehitykselle Antti Jääskeläinen Matti Vuori Mitä on nopeus? 11.11.2014 2 Jatkuva nopeus Läpäisyaste, throughput Saadaan valmiiksi tasaiseen, nopeaan tahtiin uusia tuotteita

Lisätiedot

UML-kielen formalisointi Object-Z:lla

UML-kielen formalisointi Object-Z:lla UML-kielen formalisointi Object-Z:lla Kalvot ja seminaarityö WWW:ssä: http://users.jyu.fi/~minurmin/opiskelu/form/ UML UML == Unified Modelling Language. OMG:n standardoima kieli ohjelmistojärjestelmien,

Lisätiedot

Copyright (2011) Suomen Automaatioseura. Esitys on ilmestynyt Suomen Automaatioseuran julkaisusarjassa nro 41.

Copyright (2011) Suomen Automaatioseura. Esitys on ilmestynyt Suomen Automaatioseuran julkaisusarjassa nro 41. This document is downloaded from the Digital Open Access Repository of VTT Title Mallintarkastus kriittisten automaatiojärjestelmien suunnittelun tueksi Author(s) Pakonen, Antti; Lahtinen, Jussi; Björkman,

Lisätiedot

Harjoitus 3 Case Face Wash. Raine Mäki, Laura Takkinen, Marika Östman, Otto Kataja

Harjoitus 3 Case Face Wash. Raine Mäki, Laura Takkinen, Marika Östman, Otto Kataja Harjoitus 3 Case Face Wash Raine Mäki, Laura Takkinen, Marika Östman, Otto Kataja Tunnistettuja ongelmia Katastrofaaliset ongelmat Kommunikointi Projektisuunnitelman puuttuminen Projektia ei aikataulutettu

Lisätiedot

Miten TieVie-hankkeeni on edennyt?

Miten TieVie-hankkeeni on edennyt? Alumnialustus: Miten TieVie-hankkeeni on edennyt? Eila Järvenpää 1 Päivi Laine 2 Minna Vainio 3 1 assistentti, TY biokemian ja elintarvikekemian lts 2 suunnittelija, TY matemaattis-luonnontieteell. tdk

Lisätiedot

Hieman lisää malleista ja niiden hyödyntämisestä

Hieman lisää malleista ja niiden hyödyntämisestä Hieman lisää malleista ja niiden hyödyntämisestä Ohjelmistojen mallintaminen Kesä 2012 (Avoin yliopisto) Toni Ruokolainen, 23.8.2012 Mallit Mallit ovat todellisuuden abstraktioita, jotka on muodostettu

Lisätiedot

Juurisyiden oivaltaminen perustuu usein matemaattisiin menetelmiin, jotka soveltuvat oireiden analysointiin.

Juurisyiden oivaltaminen perustuu usein matemaattisiin menetelmiin, jotka soveltuvat oireiden analysointiin. Juurisyiden oivaltaminen perustuu usein matemaattisiin menetelmiin, jotka soveltuvat oireiden analysointiin. Tämä pätee arkisten haasteiden ohella suuriin kysymyksiin: kestävä kehitys, talous, lääketiede,

Lisätiedot

Hybridivalvomon tilatiedon hallinnan kehittäminen

Hybridivalvomon tilatiedon hallinnan kehittäminen AS-0.3200 Automaatio- ja systeemitekniikan projektityöt 17.10.2014 Väliraportti Työn suorittaja: Niklas Paganus Työn ohjaaja: Leena Salo Hybridivalvomon tilatiedon hallinnan kehittäminen Väliraporttiin

Lisätiedot

Kandidaatintyöprosessi Sähköenergiatekniikan laitoksella

Kandidaatintyöprosessi Sähköenergiatekniikan laitoksella kn 5.2.2009 Kandidaatintyöprosessi Sähköenergiatekniikan laitoksella Tiedoksi kandidaatintöiden ohjaajille: Valmistautuminen kandityön tekemiseen, esitietovaatimukset: Kandidaatintyö voidaan aloittaa tyypillisesti

Lisätiedot

KIELENOPPIJOITA TIEDONHANKINTA KESKIÖSSÄ KUUNTELEMALLA OPPIJA (AUDITIIVINEN) KIELEN KÄYTTÖ, VUOROVAIKUTUS NÄKEMÄLLÄ

KIELENOPPIJOITA TIEDONHANKINTA KESKIÖSSÄ KUUNTELEMALLA OPPIJA (AUDITIIVINEN) KIELEN KÄYTTÖ, VUOROVAIKUTUS NÄKEMÄLLÄ KIELENOPPIJOITA KIELEN KÄYTTÖ, VUOROVAIKUTUS TIEDONHANKINTA KESKIÖSSÄ KUUNTELEMALLA OPPIJA (AUDITIIVINEN) TEKEMÄLLÄ OPPIJA (KINESTEETTINEN) LUOVA KIELENKÄYTTÄJÄ HOLISTINEN OPPIJA (KOKONAISUUDET TÄRKEITÄ)

Lisätiedot

Aiemmin opittu. Jakson tavoitteet. Ajankäyttö. Tutustu kirjaan!

Aiemmin opittu. Jakson tavoitteet. Ajankäyttö. Tutustu kirjaan! Aiemmin opittu Perusopetuksen opetussuunnitelman mukaan seuraavat lukuihin ja laskutoimituksiin liittyvät sisällöt on käsitelty vuosiluokilla 3 5: kymmenjärjestelmä-käsitteen varmentaminen, tutustuminen

Lisätiedot

Verkko-ohjaaja verkko- ja etäohjauspalvelut opintojen tukena ESR-hanke, 2015-2017 OULUN AMMATTIKORKEAKOULU

Verkko-ohjaaja verkko- ja etäohjauspalvelut opintojen tukena ESR-hanke, 2015-2017 OULUN AMMATTIKORKEAKOULU Verkko-ohjaaja verkko- ja etäohjauspalvelut opintojen tukena ESR-hanke, 2015-2017 OULUN AMMATTIKORKEAKOULU Tukena kampuksella ja verkossa. Verkkoviestinnän välineet osaksi opintojen ohjausta ja neuvontaa.

Lisätiedot

Kurssin oppimistavoitteet. Heikki Lokki Kurssin suorituksen jälkeen osaat

Kurssin oppimistavoitteet. Heikki Lokki Kurssin suorituksen jälkeen osaat Johdatus tietojenkäsittelytieteeseen - TVT-ajokortti (3 op) - Tietokone työvälineenä (1 op) - Opiskelutekniikka (2 op) - Johdatus tietojenkäsittelytieteeseen (4 op) Heikki Lokki 24.9.2008 Matemaattis-luonnontieteellinen

Lisätiedot

TIE-20200 Ohjelmistojen suunnittelu. Luento 2: protot sun muut

TIE-20200 Ohjelmistojen suunnittelu. Luento 2: protot sun muut TIE-20200 Ohjelmistojen suunnittelu Luento 2: protot sun muut 1 Tämän päivän ohjelmaa Ryhmääntymisjutuista, ilmoittautumiskäytäntöä, Popista Työohjeen esivilkaisu Viime viikolla, erikoistamista, dynaamista

Lisätiedot

EFPP 5.2.2011 Olavi Lindfors. TUTKIELMAN JA TIETEELLISEN KIRJOITTAMISEN OHJAAMINEN koulutusyhteisöjen kokemuksia

EFPP 5.2.2011 Olavi Lindfors. TUTKIELMAN JA TIETEELLISEN KIRJOITTAMISEN OHJAAMINEN koulutusyhteisöjen kokemuksia EFPP 5.2.2011 Olavi Lindfors TUTKIELMAN JA TIETEELLISEN KIRJOITTAMISEN OHJAAMINEN koulutusyhteisöjen kokemuksia OPINNÄYTETYÖN TARKOITUS JA TAVOITTEET OPM mietintö 2003 koulutukseen tulee sisältyä psykoterapian

Lisätiedot

SEL KOULUTTAJAKOULUTUS OPETUSOHJELMA

SEL KOULUTTAJAKOULUTUS OPETUSOHJELMA SEL KOULUTTAJAKOULUTUS OPETUSOHJELMA SISÄLLYSLUETTELO 1. Koulutuksen perusteet ja tavoitteet 2. Koulutustaidot 3. Koulutusmenetelmät 3.1. Perinteiset koulutusmenetelmät 3.2. Etä- ja verkko-opetus 4. Koulutuksen

Lisätiedot

ALVA ammattilaskennan valmiuksien kartoitus

ALVA ammattilaskennan valmiuksien kartoitus ALVA ammattilaskennan valmiuksien kartoitus Tulokset syksy 2015 Kokemuksen mukaan 80 % tehtävistä oikein saaneella on hyvät valmiudet jatkaa matematiikan opintoja ts. perustaidot hallussa Tulos-% PM15A

Lisätiedot

Taito- ja taideaineiden valinnaisuus 4.-6.luokille lukuvuonna 2016-2017. Haarajoen koulu

Taito- ja taideaineiden valinnaisuus 4.-6.luokille lukuvuonna 2016-2017. Haarajoen koulu Taito- ja taideaineiden valinnaisuus 4.-6.luokille lukuvuonna 2016-2017 Haarajoen koulu 4.3.2016 Taito- ja taideaineiden valinnaisuus 4.-6.luokkien oppilaille Uuden opetussuunnitelman mukaisesti taito-

Lisätiedot

SUUNTA TOIMINNAN JA ARVIOINNIN SUUNNITTELUN TYÖKALU

SUUNTA TOIMINNAN JA ARVIOINNIN SUUNNITTELUN TYÖKALU 1 SUUNTA TOIMINNAN JA ARVIOINNIN SUUNNITTELUN TYÖKALU Suunta on työkalu, jota käytetään suunnittelun ja arvioinnin apuna. Se on käyttökelpoinen kaikille, jotka ovat vastuussa jonkun projektin, toiminnon,

Lisätiedot

Lakkautetut vastavat opintojaksot: Mat Matematiikan peruskurssi P2-IV (5 op) Mat Sovellettu todennäköisyyslaskenta B (5 op)

Lakkautetut vastavat opintojaksot: Mat Matematiikan peruskurssi P2-IV (5 op) Mat Sovellettu todennäköisyyslaskenta B (5 op) KORVAVUUSLISTA 31.10.2005/RR 1 KURSSIT, jotka luennoidaan 2005-2006 : Lakkautetut vastavat opintojaksot: Mat-1.1010 Matematiikan peruskurssi L 1 (10 op) Mat-1.401 Mat-1.1020 Matematiikan peruskurssi L

Lisätiedot

Tervetuloa opiskelemaan DIGITAALI- TEKNIIKKAA! Digitaalitekniikan matematiikka Luku 0 Sivu 1 (9)

Tervetuloa opiskelemaan DIGITAALI- TEKNIIKKAA! Digitaalitekniikan matematiikka Luku 0 Sivu 1 (9) Tervetuloa opiskelemaan DIGITAALI- TEKNIIKKAA! Digitaalitekniikan matematiikka Luku 0 Sivu 1 (9) Digitaalitekniikan matematiikka Luku 0 Sivu 2 (9) Yleistä opintojaksosta Laajuus 3 op = 80 h, kokonaan lukukauden

Lisätiedot

Hajautettu Ohjelmistokehitys

Hajautettu Ohjelmistokehitys Hajautettu Ohjelmistokehitys Maria Paasivaara Hajautuksen muotoja Yrityksen sisäinen hajautus Maan sisällä Maiden välillä, esim. offshore Yritysten välinen hajautus Alihankinta Lisenssointi Partnershipit

Lisätiedot

Valmistusprosessin kehittäminen/abb

Valmistusprosessin kehittäminen/abb Timi Tamminen, Toni Taavila ja Konsta Kilponen Valmistusprosessin kehittäminen/abb Metropolia Ammattikorkeakoulu Energiatekniikka Projektisuunnitelma 5.5.2014 Sisällysluettelo 1 Johdanto 1 2 Projektin

Lisätiedot

SOVELLUSPROJEKTIN ARVIOINTILOMAKE

SOVELLUSPROJEKTIN ARVIOINTILOMAKE SOVELLUSPROJEKTIN ARVIOINTILOMAKE Arviointilomake on tarkoitettu Sovellusprojektin vastaavan ohjaajan arvioinnin tueksi, eikä sillä siten tule korvata erillistä projektilausuntoa. Useaa arviointikohtaa

Lisätiedot

Tehokkaiden strategioiden identifiointi vakuutusyhtiön taseesta

Tehokkaiden strategioiden identifiointi vakuutusyhtiön taseesta MS E2177 Operaatiotutkimuksen projektityöseminaari Projektisuunnitelma Tehokkaiden strategioiden identifiointi vakuutusyhtiön taseesta 12.3.2016 Asiakas: Model IT Projektiryhmä: Niko Laakkonen (projektipäällikkö),

Lisätiedot

Projektinhallinta SFS-ISO mukaan

Projektinhallinta SFS-ISO mukaan Projektinhallinta SFS-ISO 21500 mukaan (Ohjeita projektinhallinnasta, 2012) 13.4.2017 Panu Kiviluoma Osaamistavoitteet Luennon jälkeen osaat selittää, mitä tarkoitetaan Projektilla Projektinhallinnalla

Lisätiedot

Sähköisen projektikansion dokumentointi Innon levyasemalle \\kapa10\inno

Sähköisen projektikansion dokumentointi Innon levyasemalle \\kapa10\inno Valmistelu Suunnittelu ja organisointi Aloitus Toteutus Päätös Projektiidea, tarjous ja into tehdä! Valmentajan / ohjaavan opettajan nimeäminen Projektitiimin kokoaminen / roolit Sopimus toimeksiantajan

Lisätiedot

Keramiikka TAI-E Keramiikan työpaja,

Keramiikka TAI-E Keramiikan työpaja, Keramiikka TAI-E1112 - Keramiikan työpaja, 08.08.2016-26.08.2016, Taiteen laitos, kuvataidekasvatus 1.8. 2016 Tavoitteet Tuntimäärät: 5 opintopistettä Kontaktiopetus 60h, itsenäinen työskentely 75h. 135

Lisätiedot

5.10 Kemia. Opetuksen tavoitteet

5.10 Kemia. Opetuksen tavoitteet 5.10 Kemia Kemian opetus tukee opiskelijan luonnontieteellisen ajattelun ja nykyaikaisen maailmankuvan kehittymistä osana monipuolista yleissivistystä. Opetus ohjaa ymmärtämään kemian ja sen sovellusten

Lisätiedot

Dynaaminen allokaatio ja riskibudjetointi sijoitusstrategioissa

Dynaaminen allokaatio ja riskibudjetointi sijoitusstrategioissa Aalto yliopisto Mat 2.4177 Operaatiotutkimuksen projektityöseminaari Dynaaminen allokaatio ja riskibudjetointi sijoitusstrategioissa Väliraportti 5.4.2013 Vesa Husgafvel (projektipäällikkö) Tomi Jussila

Lisätiedot

805324A (805679S) Aikasarja-analyysi Harjoitus 3 (2016)

805324A (805679S) Aikasarja-analyysi Harjoitus 3 (2016) 805324A (805679S) Aikasarja-analyysi Harjoitus 3 (2016) Tavoitteet (teoria): Hallita multinormaalijakauman määritelmä. Ymmärtää likelihood-funktion ja todennäköisyystiheysfunktion ero. Oppia kirjoittamaan

Lisätiedot

Verkko-oppiminen: Teoriasta malleihin ja hyviin käytäntöihin. Marleena Ahonen. TieVie-koulutus Jyväskylän lähiseminaari

Verkko-oppiminen: Teoriasta malleihin ja hyviin käytäntöihin. Marleena Ahonen. TieVie-koulutus Jyväskylän lähiseminaari Verkko-oppiminen: Teoriasta malleihin ja hyviin käytäntöihin Marleena Ahonen TieVie-koulutus Jyväskylän lähiseminaari Virtuaaliyliopistohankkeen taustaa: - Tavoitteena koota verkko-oppimisen alueen ajankohtaista

Lisätiedot

Käsityökasvatuksen (tekninen työ) perusopinnot (28 op)

Käsityökasvatuksen (tekninen työ) perusopinnot (28 op) RAKENNE Käsityökasvatuksen (tekninen työ) perusopinnot (28 op) KÄSITYÖN DIDAKTIIKAN PERUSOSA Teknisen työn osuus 3 op TEKNISEN TYÖN DIDAKTIIKAN SIVUAINEKOKONAISUUS 25 op 1. Teknisen työn materiaalit, työkalut,

Lisätiedot