Kriittisen ajattelun perusteet

Teemanumero: Lukivaikeus.

Git-versiohallinnan matemaattiset perusteet

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ä.

Työstövärähtelyt metallin sorvauksessa ja jyrsinnässä: perusteet, ehkäiseminen ja matemaattinen mallintaminen

Tämä kandidaatintyö on tarkoitettu suomenkieliseksi selvitykseksi lastuavissa työstöprosesseissa esiintyvien työstövärähtelyjen luonteesta, syntymekanismeista ja välttämismenetelmistä. Erityisesti työssä keskitytään matemaattiseen mallintamiseen pohjautuviin välttämismenetelmiin.

Sotilaalliset evakuointioperaatiot ja niiden kansainvälisoikeudelliset perusteet

Yleisesti valtiot ovat velvoitettuja suojelemaan kansalaisiaan ja puolustamaan heidän perusoikeuksiaan niin kotimaassa kuin myös ulkomailla. Valtioiden toimintaa rajoittaa kuitenkin kansainväliset oikeussäännöt ja sotilaallisten evakuointioperaatioiden osalta erityisesti voimankäyttöön liittyvät oikeussäännöt. Tämän tutkimuksen tarkoituksena on vastata päätutkimuskysymykseen: Miten kansainvälinen oikeus vaikuttaa sotilaallisten evakuointioperaatioiden suorittamiseen? Aineistona käytetään kansainvälisen oikeuden ensisijaisia ja toissijaisia lähteitä, joita tulkitaan oikeustieteellisten tulkitsemissääntöjen kautta. Oikeudellisen tulkinnan keinoin pyritään vastaamaan tutkimuskysymyksiin ja alakysymyksiin, menetelmää kutsutaan kansainvälisessä oikeudessa eurooppalaiseksi oikeuspositivistiseksi lähestymistavaksi. Kansainvälisen oikeuden asiantuntijoiden näkökannat sotilaallisten evakuointioperaatioiden oikeutukseen ovat keskusteluissa jakautuneet vahvasti kahteen leiriin, puolesta ja vastaan. Asiantuntijoiden kirjoituksia tarkastelemalla tai Yhdistyneiden Kansakuntien Peruskirjaa lukemalla ei voi saada vastausta tutkimuksen pääkysymykseen, vaan vastaus löytyy vallitsevasta valtiokäytännöstä. Sekalaisista kannoista huolimatta on sotilaallisille evakuointioperaatioille tunnistettavissa kolme yleisesti hyväksyttyä perusedellytystä, joiden tulisi täyttyä: (i) evakuoinnin kohteena olevaan henkilöstöön tulee kohdistua välitön uhka, (ii) evakuointialueella suojeluvastuussa oleva valtio ei toteuta suojeluvelvoitettaan evakuoitavia kansalaisia kohtaan järjestelmässä olevan häiriön, kyvyttömyyden tai haluttomuuden takia ja (iii) evakuoivan valtion toimien tulee keskittyä ainoastaan evakuoitavan henkilöstön pelastamiseen. Tutkimuksen perusteella pääkysymykseen ei voida antaa kattavaa vastausta vaan se edellyttää jatkotutkimuksia erityisesti valtiokäytännön osalta. Johtopäätöksiä voidaan kuitenkin tehdä tutkitun valtiokäytännön perusteella tilanteista, joissa suvereenin valtion alueella käydään sotaa ja valtion hallitus on kykenemätön tai haluton ulkomaan kansalaisten evakuointiin. Tällaisissa olosuhteissa sotilaalliset evakuointioperaatiot ovat tämän tutkimuksen perusteella kansainvälisessä oikeudessa hyväksyttyjä.

Ohjelmoinnin jatkokurssin opetuksen kehitys

Tämän kandidaatintyön tavoitteena on löytää mahdollisimman kattava kokoelma harjoitustehtäviä ohjelmoinnin jatkokurssille. Tässä työssä tutkitaan ohjelmoinnin jatkokurssin kehitystarpeita. Työssä käydään läpi kurssilla aiemmin käytettyjä harjoitustehtäviä sekä käsiteltäviä aiheita. Näiden perusteella kartoitetaan aiemmissa harjoitustehtävissä mahdollisesti olleet puutteet ja pyritään tekemään uudet harjoitustehtävät siten, että ne kattavat mahdollisimman hyvin kurssin aiheet. Tehtävät pyritään suunnittelemaan siten, että aiempaa ohjelmointiosaamista pystytään käyttämään hyväksi mahdollisimman paljon. Tutkimus perustuu Lappeenrannan teknillisen yliopiston Käytännön ohjelmointi nimiseen kurssiin. Tämä on ohjelmoinnin jatkokurssi, jolla käytetään ohjelmointikielenä C-kieltä.

Puhetaito: kaunoluvun, puhe- ja esitystaidon perusteet sekä äänielinten hoito

Valaistu 39 kuvalla