A System-Level Simulation Model for a Protocol Processor

As the development of integrated circuit technology continues to follow Moore’s law the complexity of circuits increases exponentially. Traditional hardware description languages such as VHDL and Verilog are no longer powerful enough to cope with this level of complexity and do not provide facilities for hardware/software codesign. Languages such as SystemC are intended to solve these problems by combining the powerful expression of high level programming languages and hardware oriented facilities of hardware description languages. To fully replace older languages in the desing flow of digital systems SystemC should also be synthesizable. The devices required by modern high speed networks often share the same tight constraints for e.g. size, power consumption and price with embedded systems but have also very demanding real time and quality of service requirements that are difficult to satisfy with general purpose processors. Dedicated hardware blocks of an application specific instruction set processor are one way to combine fast processing speed, energy efficiency, flexibility and relatively low time-to-market. Common features can be identified in the network processing domain making it possible to develop specialized but configurable processor architectures. One such architecture is the TACO which is based on transport triggered architecture. The architecture offers a high degree of parallelism and modularity and greatly simplified instruction decoding. For this M.Sc.(Tech) thesis, a simulation environment for the TACO architecture was developed with SystemC 2.2 using an old version written with SystemC 1.0 as a starting point. The environment enables rapid design space exploration by providing facilities for hw/sw codesign and simulation and an extendable library of automatically configured reusable hardware blocks. Other topics that are covered are the differences between SystemC 1.0 and 2.2 from the viewpoint of hardware modeling, and compilation of a SystemC model into synthesizable VHDL with Celoxica Agility SystemC Compiler. A simulation model for a processor for TCP/IP packet validation was designed and tested as a test case for the environment.

The history of Lapland : wherein are shewed the original manners, habits, marriages, conjurations, &c. of that people : written by John Scheffer, professor of law and rhetoric at Upsal in Sweden.

Added engraved title page: The history of Lapland.

Self-Assessement Report for International Accreditation - Bachelor's and Master's degree programmes in Energy Technology

Self-Assessment Report was made for the accreditation of degree programmes in Energy Technology. The report includes the following items: the content,concept and implementation of of the degree programmes, the resources, the quality management and further development of the degree programmes.

Self-Assessment Report for International Accreditation – Bachelor’s and Master’s degree programmes in Industrial Management

Self-assessment report for accreditation of the Bachelor's and Master's degree programs in Industrial Management.

Self assessment report for international accreditation - Bachelor's and Master's degree programmes in Mechanical Engineering

Itsearviointiraportissa kuvataan Lappeenrannan teknillisen yliopiston konetekniikan kandidaatin ja diplomi-insinöörin tutkinto-ohjelmat opetussuunnitelman 2011-2012 mukaisesti. Itsearviointiraportti on tuotettu saksalaisen ASIIN-akkreditointiorganisaation raportointimallin mukaisesti.

Self-Assessment Report for International Accreditation - Bachelor’s and Master’s degree programmes in Environmental Technology

Ympäristötekniikan kandidaatin ja diplomi-insinöörin tutkinto-ohjelmien itsearviointiraportissa käsitellään tutkinto-ohjelmien osaamistavoitteita ja niiden saavuttamista. Raportissa käydään läpi myös käytössä olevat resurssit sekä tutkinto-ohjelmiin liittyviä tunnuslukuja. Itsearviointi on toteutettu kansainvälisen akkreditointijärjestön kriteerien mukaisesti (ASIIN ja EUR-ACE).

Pursuing substantive participation in Russia : a perspective from international legal obligations and comparative law

Så som är fallet för många andra stater, kan vissa delar av den ryska förvaltningen ännu utvecklas för att till fullo uppfylla internationella standarder. Internationella fördragsorgan som övervakar förverkligandet i Ryssland av fördrag om mänskliga rättigheter framför ibland kritiska anmärkningar om den demokratiska utvecklingen i Ryssland. Enskilda fall där politiska rättigheter möjligen kränkts av ryska myndigheter har utan tvivel placerat Ryssland i fokus för internationell media. Exempel på sådana fall är mordet på journalisten Anna Politkovskaya, Sergei Magnitskys död i fängelse och fängslandet av medlemmarna i "Pussy Riot”. Likväl anser författaren av denna studie att politiska rättigheter i Ryssland förverkligas inom rimliga gränser och i enlighet med internationell människorättslagstiftning. Denna studie fokuserar på förverkligandet av den individuella rättigheten att delta i det politiska beslutsfattandet i Ryssland genom andra mekanismer för deltagande än val och folkomröstningar. Studien utgörs av en sammanställning av forskningsartiklar som har publicerats i olika internationella tidskrifter. Sammanställningen föregås av ett fristående inledande kapitel. Författaren koncentrerar sig på frågan om Rysslands invånare ges effektiva möjligheter att delta i handhavandet av allmänna angelägenheter och om det finns användbara rättsmedel till hands för skydd av de politiska rättigheterna. Författaren tar sig an en juridisk analys av rysk lagstiftning gällande olika sätt för direkt deltagande i beslutsfattande samt analyserar rättsfall angående direkt deltagande från domstolarna i Moskva, Perm Krai och Sverdlovsk Oblast. Denna studie använder sig även av en rättshistorisk infallsvinkel för att visa på den positiva dynamiken hos den historiska utvecklingen beträffande d e väsentligaste plattformarna för offentligt deltagande. Det bevisas att rysk lagstiftning som garanterar rätten att delta i beslutsfattande är väl utvecklad i enlighet med internationella människorättsfördrag, och att åtminstone domstolarna i de utvalda ryska områdena fattar beslut som stöder deltaganderättigheter som eventuellt kränkts av myndigheter inom den verkställande makten. Författaren kommer till den slutsatsen att de i denna studie inkluderade enskilda dokumenterade händelserna gällande administrativ felbehandling inte nödvändigtvis tillåter den direkta slutsatsen att det begås systematiska och grova kränkningar av medborgares deltaganderättigheter i Ryssland.

Self-assessment report for international accreditation - Bachelor's and Master's degree programmes in Information Technology

Lappeenrannan teknillisen yliopiston Tietotekniikan kandidaatin ja maisterin tutkinto-ohjelmien itsearviointi toteutettiin v. 2012 kansainvälistä akkreditointia varten. Itsearviointiraportissa kuvataan tutkinto-ohjelmien tavoitteet, toteutus ja arviointimenettelyt sekä tulokset.

Opportunistisen sopimusrikkomuksen ongelmasta, erityisesti Suomen vahingonkorvaus- ja rikoslainsäädännön näkökulmasta tarkasteltuna. Law and Economics -näkökulma.

Tämä pro gradu -tutkielma käsittelee opportunistisen sopimusrikkomuksen ongelmaa erityisesti Suomen vahingonkorvaus- ja rikoslainsäädännön näkökulmasta tarkasteltuna. Tutkielman lähestymistapa on oikeustaloustieteellinen (engl. Law and Economics). Opportunistisella sopimusrikkomuksella tarkoitetaan toimintaa, jossa sopimusosapuoli rikkoo sopimuksen tarkoituksellisesti, pyrkimyksenään tällä toiminnalla saavuttaa enemmän hyötyä kuin sopimuksessa pysymällä. Opportunistinen sopimusrikkomus on mahdollista toteuttaa tilanteessa, jossa sopimusasetelma itsessään antaa mahdollisuuden enemmän hyödyn saavuttamiseen rikkomus toteuttamalla kuin sopimus asianmukaisesti täyttämällä. Suomalaisessa vahingonkorvausjärjestelmässä sovelletaan sopimusrikkomusten osalla positiivisen sopimusedun mukaista vahingonkorvausta, joka hyvittää rikotulle osapuolelle sopimussuhteeseen ryhtymisestä syntyneet kustannukset sekä sopimusrikkomuksen johdosta saamatta jääneen tuoton. Positiivisen sopimusedun soveltaminen ei kuitenkaan ole opportunistisen sopimusrikkomuksen ehkäisemiseksi riittävää, sillä opportunistisesti toimiva sopimusosapuoli voi jäädä rikkomuksensa johdosta voitolle vielä sen jälkeenkin, kun kärsineelle osapuolelle on jo positiivista sopimusetua noudattaen korvattu sopimussuhteessa syntyneet kustannukset sekä rikkomuksen johdosta saamatta jäänyt tuotto. Keskeinen ongelma koskien opportunististen sopimusrikkomustilanteiden syntyä onkin juuri vallitsevan sääntelyn liiallinen keskittyminen rikotun osapuolen kärsimän vahingon kompensoimiseen, ei rikkomustilanteiden synnyn ennaltaehkäisemiseen. Suomen vahingonkorvausjärjestelmää tulisi kehittää suuntaan, jossa järjestelmä paremmin ennaltaehkäisisi opportunististen sopimusrikkomustilanteiden syntyä. Common law -oikeusjärjestelmässä käytössä olevan disgorgement principle -suuntaisen ajattelun, jossa korvauksen perustana toimisi rikkomuksella saatu hyöty kärsityn vahingon sijaan, omaksuminen olisi yksi mahdollinen kehityskulku. Olennaista olisi kuitenkin se, että järjestelmää kehitettäisiin suuntaan, jossa rikkomus ei enää voisi tulla rikkojalle kannattavaksi. Opportunistisen toiminnan kannustimet tulisi lainsäädäntöä tarkistamalla poistaa. Tällä olisi sekä sopimusinstituutiota turvaavaa että vaihdantaa edistävää vaikutusta.