Mallintarkistus ja sen

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

AS Automaatio ja systeemitekniikan projektityöt Projektisuunnitelma Syksy 2009 A09 05 OSGi IRC Bot For Coffee Maker

AS Automaatio ja systeemitekniikan projektityöt Projektisuunnitelma Syksy 2009 A09 05 OSGi IRC Bot For Coffee Maker AS 0.3200 Automaatio ja systeemitekniikan projektityöt Projektisuunnitelma Syksy 2009 A09 05 OSGi IRC Bot For Coffee Maker Henri Nieminen Juha Sironen Palautettu: 21.9.2009 Nieminen, Sironen Sisällysluettelo

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

Miten selvitä matematiikasta? Tutkitusti hyviä opiskelutaitovinkkejä

Miten selvitä matematiikasta? Tutkitusti hyviä opiskelutaitovinkkejä Miten selvitä matematiikasta? Tutkitusti hyviä opiskelutaitovinkkejä Panu Erästö Matemaatikko-tilastotieteilijä (Ph.D) Opettaja/pedagogi/opetuksen kehittäjä Kaikilla on edellytykset Usko omiin kykyihin

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

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

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

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

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

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

Osaamisperustaisuuden arviointia tentillä

Osaamisperustaisuuden arviointia tentillä Osaamisperustaisuuden arviointia tentillä Veli-Pekka Pyrhönen Yliopisto-opettaja Tampereen teknillinen yliopisto Peda-forum-päivät 2018 Oulun yliopisto Turun yliopisto Lapin yliopisto Aalto-yliopisto Tampereen

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

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

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

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

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

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

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

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

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

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

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

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

TKT50004 Akateemiset taidot, 1 op

TKT50004 Akateemiset taidot, 1 op TKT50004 Akateemiset taidot, 1 op Aloitusluento 1. vuoden opiskelijoille pe 8.9.2017 klo 14-16 Kjell Lemström SISÄLTÖ Vanha / uusi järjestelmä Kurssille ilmoittautuminen Kurssin tavoitteet Kurssin toteutus

Lisätiedot

Kandidaatintyö. Elektroniikan ja tietoliikennetekniikan tutkinto-ohjelma

Kandidaatintyö. Elektroniikan ja tietoliikennetekniikan tutkinto-ohjelma Kandidaatintyö Elektroniikan ja tietoliikennetekniikan tutkinto-ohjelma Infon sisältö Kandidaatintyön merkitys Kandidaatintyön osat Tekniikan viestintä -kurssi Kandidaatiksi valmistuminen Seminaari Kirjallinen

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

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

TKT50004 Akateemiset taidot, 1 op

TKT50004 Akateemiset taidot, 1 op TKT50004 Akateemiset taidot, 1 op Aloitusluento 1. vuoden opiskelijoille pe 7.9.2018 klo 14-16 Kjell Lemström SISÄLTÖ Vanha / uusi järjestelmä Kurssille ilmoittautuminen Kurssin tavoitteet Kurssin toteutus

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

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

Tutkinnon voi opiskella loppuun, vaikka ei saisikaan lisäaikaa

Tutkinnon voi opiskella loppuun, vaikka ei saisikaan lisäaikaa Tutkinnon voi opiskella loppuun, vaikka ei saisikaan lisäaikaa Jos tutkinnosta puuttuu opintojaksoja, voi niitä suorittaa avoimen yo:n kautta opintojaksoille haetaan opinto-oikeutta opintojaksokohtaisesti

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

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

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

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

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

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

Savonian suomen opinnot

Savonian suomen opinnot Savonian suomen opinnot Mavasuomi B1.2 Muut suomen kurssit suomi Työelämän suomi B1.1 Suullinen suomi suomi B1.2 Pääsykoevalmennus suomi B2 Työkokeilu Suullinen suomi B2 suomi C1 Sairaanhoitajan suomi

Lisätiedot

Meidän paikka Haasteena havainnointi

Meidän paikka Haasteena havainnointi Meidän paikka Haasteena havainnointi 31.8.-1.9. Luovaa teknologiaa, Trash Designia, arkkitehtuuri- ja muotoilukasvatusta peruskoulun yläluokille Niina Rossi 8/2018 Tekijät Heli-Maija Nevala, Niina Rossi

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

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

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

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

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

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

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

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

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

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

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

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

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

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

TEEMAHARJOITTELU- Sari Harmoinen KTK248 INFO

TEEMAHARJOITTELU- Sari Harmoinen KTK248 INFO TEEMAHARJOITTELU- Sari Harmoinen sari.harmoinen@oulu.fi KTK248 INFO Palkatonta harjoittelua laaja-alaisesti erilaisissa kasvatusalan organisaatioissa (ks. Weboodi) Maisterivaiheen opiskelijoille 408038S

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

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

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

Tulvat, kokeellinen oppilastyö, kesto n. 2 h. 1. Johdatus aiheeseen

Tulvat, kokeellinen oppilastyö, kesto n. 2 h. 1. Johdatus aiheeseen Tuuli Rissanen Helsingin yliopiston tiedekasvatuskeskus 2018 Tulvat, kokeellinen oppilastyö, kesto n. 2 h Työn motivointi - Ilmastonmuutos tulee todennäköisesti lisäämään sateiden määrää ja intensiteettiä

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

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

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

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

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

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

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

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

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

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

Automaatio- ja systeemitekniikan projektityöt 2013

Automaatio- ja systeemitekniikan projektityöt 2013 Automaatio- ja systeemitekniikan projektityöt 2013 AS- 0.3200 Kahvinuuttoprosessin automaatiojärjestelmä Projektin suunnitelmadokumentti Antti Kangasrääsiö 68950W Joonas Kröger 78651M 1. Johdanto Tämän

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

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

POHJOIS-KARJALAN AMMATTIKORKEAKOULU Tietotekniikan koulutusohjelma. Mikael Partanen VAATIMUSMÄÄRITTELYT

POHJOIS-KARJALAN AMMATTIKORKEAKOULU Tietotekniikan koulutusohjelma. Mikael Partanen VAATIMUSMÄÄRITTELYT POHJOIS-KARJALAN AMMATTIKORKEAKOULU Tietotekniikan koulutusohjelma Mikael Partanen VAATIMUSMÄÄRITTELYT Opinnäytetyö Syyskuu 2011 SISÄLTÖ 1 JOHDANTO... 3 2 KÄSITTEET... 3 2.1 Kiinteistöautomaatio... 3 2.2

Lisätiedot

Julkaistu Helsingissä 23 päivänä toukokuuta 2011. 518/2011 Työ- ja elinkeinoministeriön asetus

Julkaistu Helsingissä 23 päivänä toukokuuta 2011. 518/2011 Työ- ja elinkeinoministeriön asetus SUOMEN SÄÄDÖSKOKOELMA Julkaistu Helsingissä 23 päivänä toukokuuta 2011 518/2011 Työ- ja elinkeinoministeriön asetus sähköalan töistä annetun kauppa- ja teollisuusministeriön päätöksen muuttamisesta Annettu

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

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

OHJEITA DIPLOMITYÖN LAATIMISEEN SOVELLETUN MEKANIIKAN LAITOKSELLA

OHJEITA DIPLOMITYÖN LAATIMISEEN SOVELLETUN MEKANIIKAN LAITOKSELLA 9.6.2011 jani.romanoff@aalto.fi OHJEITA DIPLOMITYÖN LAATIMISEEN SOVELLETUN MEKANIIKAN LAITOKSELLA Yleistä Diplomityö muodostaa DI-tutkinnon keskeisen osan. Diplomityön avulla opiskellaan tieteellisen tutkimuksen

Lisätiedot

Kurssiesite. Rakentamisen tekniikat RAK-C3004

Kurssiesite. Rakentamisen tekniikat RAK-C3004 RAK-C3004 Rakentamisen tekniikat Kurssiesite Syksy 2015, periodi I Hannu Hirsi (vastaava opettaja) & Lauri Salokangas & Jouko Pakanen & Johannes Hämeri & Toomla Sander & Markku Ylinen & vierailevat tähtiluennoitsijat

Lisätiedot

Miten voin selvittää säästömahdollisuuteni ja pääsen hyötymään niistä?

Miten voin selvittää säästömahdollisuuteni ja pääsen hyötymään niistä? Se edullisempi tietokanta Miten voin selvittää säästömahdollisuuteni ja pääsen hyötymään niistä? Rasmus Johansson rasmus.johansson@microsoft.com Ratkaisumyyntipäällikkö (Sovellusalusta) Microsoft Oy Miten

Lisätiedot

Harjoittelu P. Kauppatieteiden kandidaatin tutkinto-ohjelma. Oulun yliopiston kauppakorkeakoulu

Harjoittelu P. Kauppatieteiden kandidaatin tutkinto-ohjelma. Oulun yliopiston kauppakorkeakoulu . Harjoittelu 724100P Kauppatieteiden kandidaatin tutkinto-ohjelma Oulun yliopiston kauppakorkeakoulu 2019 Harjoittelu (724100P, 5 op) opintojakson kuvaus Kauppatieteiden kandidaatin tutkinto-ohjelmassa

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