1000 resultados para Juntunen, Hannu: Oikeuden idean teologiset perusteet


Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Teemanumero: Lukivaikeus.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Työssä esitetään Git-versiohallintajärjestelmään liittyviä tietorakenteita ja toimintoja matemaattisesta näkökulmasta. Kuvaillaan Gitin käyttämä tietojen tallennustapa ja annetaan yleiskuva Gitin tärkeimmistä toiminnoista. Erityisen tarkasti Gitin toiminnoista esitetään pakkausmenetelmä, tiedostojen erojen vertailu ja pakettitiedostoissa käytettävä deltapakkaus. Deflate-pakkausmenetelmästä tutustutaan sen käyttämään Huffman-koodaukseen, LZ77- koodaukseen ja koodauskaavioiden pakkaukseen. Lisäksi määritellään deflate-pakatun tietovirran rakenne. Esitetään tiedostojen erojen vertailun matemaattinen määritelmä sekä näytetään miten tähän liittyvä pisimmän yhteisen alijonon hakeva algoritmi voidaan toteuttaa erilaisilla menetelmillä, joiden aikakompleksisuudet poikkeavat merkittävästi toisistaan. Kuvaillaan Gitin pakettitiedoston rakenne ja sen muodostamisen algoritmeja. Lisäksi annetaan matemaattinen määritelmä siinä käytetylle deltapakkaukselle ja esitetään deltapakkauksen algoritmi ja siinä käytetty Rabinin sormenjälki. Esitettävissä algoritmeissa esiintyy muutamia perusmenetelmiä kuten dynaaminen ohjelmointi, ahnas algoritmi sekä hajota ja hallitse -menetelmä.

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Tässä kandidaatintyössä suunnitellaan ja toteutetaan regressiotestaus- ja ylläpitotyökalu Ohjelmoinnin perusteet -kurssin Python-ohjelmointitehtäville. Työkalun on tarkoitus auttaa kurssin vastuuhenkilöitä selvittämään kurssilla käytettyjen harjoitustehtävien esimerkkiratkaisujen toimivuus Python-versiossa, jota kurssilla aiotaan käyttää ohjelmointiympäristönä seuraavana vuonna, ja helpottaa harjoitusmateriaalin yhdenmukaisuuden varmistamista silloin kun Python-versiota vaihdetaan tai materiaaliin tehdään muutoksia. Työssä tutkitaan, miten tarkoitukseen sopiva yleispätevä testaustyökalu voidaan kehittää, mitä seikkoja sen suunnittelussa on otettava huomioon ja mitä ongelmia kehittämiseen liittyy. Yleispätevän testaustyökalun kehittäminen osoittautui hankalaksi, vaikka testattavat ohjelmat ovat yksinkertaisia. Harjoitusmateriaaliin kuuluneiden yli 50 ohjelman testaamisessa tarvittavia tiedostoja oli yhteensä hyvin suuri määrä, ja niiden käsittelemiseksi työkalussa ja sen ulkopuolella oli vaikeaa valita optimaalista hakemistorakennetta. Lisäksi joidenkin testattavien ohjelmien havaittiin vaativan testauksessa muista poikkeavia lisätoimenpiteitä, jotka päätettiin jättää toteuttamatta työn puitteissa. Työn toivottu tulos jäi siten osittain saavuttamatta. Tuloksena syntyi kuitenkin työkalu, jolla voidaan ajaa 93 % nykyisistä esimerkkiratkaisuista määritellyillä testisyötteillä halutussa Python -ympäristössä ja saada tiedot ohjelmien toimivuudesta sekä niiden tuottamien tulosteiden täsmäävyydestä esimerkkitulosteisiin.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Kaavoitus on melun- ja tärinäntorjunnan keskeinen vaikutuskeino. Sillä voi ehkäistä melu- ja tärinäongelmien syntymistä tai luoda niitä. Tämä opas on parhaat käytännöt -tyyppinen työkalu, tietolähde,jossa esitetään suosituksia melun ja tärinän huomioon ottamisesta maankäytön suunnittelussa. Julkaisun on laatinut Uudenmaan elinkeino-, liikenne- ja ympäristökeskus ja se perustuu keskuksen kaavaohjauksessa kehitettyihin käytäntöihin. Oppaasta pyydettiin lausunnot Ympäristöministeriöltä, 22 kunnan kaavoitus- ja ympäristönsuojeluyksiköiltä, muilta ELY-keskuksilta, Uudenmaan liitolta sekä kolmelta alan keskeiseltä konsulttitoimistolta. Tekstiä täydennettiin ja tarkistettiin saatujen kommenttien perusteella. Käytännön pelisäännöt meluntorjunnan soveltamisesta helpottavat työtä ja vähentävät tapauskohtaisen harkinnan tarvetta. Oppaaseen on etsitty tällaisia pelisääntöjä aiheista, jotka toistuvasti ovat nousseet pohdittaviksi kaavaneuvotteluissa. Lisäksi siinä esitetään perusteet melun- ja tärinäntorjunnalle maankäytön suunnittelussa sekä asiaa koskevat kaavamerkinnät. Julkaisussa on omat lukunsa - alan laeista ja alemman asteisista määräyksistä, - meluselvityksistä, - melun huomioon ottamisesta maankäytön suunnittelussa yleisistä periaatteista eri osa-alueita koskeviin yksityiskohtaisiin ohjeisiin, - meluun liittyvistä merkinnöistä ja määräyksistä sekä - tärinästä ja runkomelusta. Opas suosituksineen on tarkoitettu helpottamaan melu- ja tärinäasioiden hoitamista maankäytön suunnittelussa.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Arktisen alueen kysymykset puhuttavat maailmanlaajuisesti. Mielenkiinnon taustalla ovat etenkin teknologian kehitys ja ilmaston lämpeneminen, jotka ovat viime aikoina avanneet entistä realistisempia mahdollisuuksia hyödyntää aluetta energiahankkeissa ja merenkulussa. Tutkimuksessa tarkastellaan Venäjän federaation vuonna 2008 julkaiseman Venäjän federaation arktisen alueen politiikan perusteet vuoteen 2020 -asiakirjan poliittisten tavoitteiden toteuttamista arktisella alueella viime vuosina. Aiheen tutkiminen on perusteltua, sillä Venäjän arktisten alueiden politiikalla on kansainvälistä merkitystä, joka heijastuu Suomeenkin. Tätä tutkimusta puoltaa myös se, että useiden aluetta koskevien kysymysten osalta on viime vuo-sina tapahtunut merkittävää kehitystä, jonka johdosta kansainvälinen aktiivisuus ja mielenkiinto aluetta kohtaan ovat lisääntyneet. Tutkimusongelma oli, miten Venäjä toteuttaa arktista strategiaansa. Siihen pyrittiin vastaamaan selvittämällä Venäjän intressit alueella ja Venäjän toiminta arktiseen alueeseen liittyvien poliittisten tavoitteiden saavuttamiseksi vuosina 2008–2013. Lisäksi arvioitiin sitä, miten Venäjä turvaa keskeisimmät strategiset intressinsä alueella. Tutkimuksesta rajattiin pois sotilaalliset turvallisuuskysymykset ja sotilasstrateginen tarkastelu. Tutkimus toteutettiin kirjallisuustutkimuksena. Aineisto koostuu Venäjän ja muiden valtioiden virallisista asiakirjoista, aihetta koskevista tieteellisistä tutkimuksista ja kirjallisuudesta, Venäjän johdon kannanotoista ja uutismateriaalista. Venäjän arktisen politiikan perusteet vuoteen 2020 -asiakirjassa on mainittu maan keskeisimpinä arktisina intresseinä neljä osa-aluetta. Ne ovat alueen merkitys Venäjän federaation strategisena resurssilähteenä, Pohjoisen merireitin kehittäminen uutena kansainvälisenä merireittinä, alueen säilyttäminen rauhan ja yhteistyön alueena sekä arktisen luonnon ja ekosysteemin säilyttäminen. Tässä tutkimuksessa arvioitiin kyseisen strategian tavoitteiden ja Venäjän käytännön toiminnan suhdetta. Johtopäätösten mukaan Venäjä turvaa keskeisimmät arktiset intressinsä poliittisesti varmistamalla itselleen edulliset alueelliset rajat, oikeuden luonnonvaroihin ja Koillisväylään nojaten YK:n merioikeusyleissopimuksen antamiin mahdollisuuksiin. Alueen asema resurssilähteenä turvataan harjoittamalla dynaamista energiateollisuutta ja kansainvälisiä yrityksiä suosivaa vero- ja talouspolitiikkaa sekä tukemalla pohjoisia alueita valtion tuilla. Venäjä turvaa rauhalliset olosuhteet ja toiminnanvapautensa alueella sovittelevalla ulkopolitiikalla toimien aktiivisesti YK:ssa ja alueen kansainvälisissä järjestöissä. Koillisväylän infrastruktuuria kehitetään valtion tuella, ja arktinen ympäristö pyritään suojaamaan kehittämällä alueen ympäristölainsäädäntöä sekä aktiivisin ympäristönsuojelu- ja siivousohjelmin.