Formal Power Analysis of Systems-on-Chip

The design methods and languages targeted to modern System-on-Chip designs are facing tremendous pressure of the ever-increasing complexity, power, and speed requirements. To estimate any of these three metrics, there is a trade-off between accuracy and abstraction level of detail in which a system under design is analyzed. The more detailed the description, the more accurate the simulation will be, but, on the other hand, the more time consuming it will be. Moreover, a designer wants to make decisions as early as possible in the design flow to avoid costly design backtracking. To answer the challenges posed upon System-on-chip designs, this thesis introduces a formal, power aware framework, its development methods, and methods to constraint and analyze power consumption of the system under design. This thesis discusses on power analysis of synchronous and asynchronous systems not forgetting the communication aspects of these systems. The presented framework is built upon the Timed Action System formalism, which offer an environment to analyze and constraint the functional and temporal behavior of the system at high abstraction level. Furthermore, due to the complexity of System-on-Chip designs, the possibility to abstract unnecessary implementation details at higher abstraction levels is an essential part of the introduced design framework. With the encapsulation and abstraction techniques incorporated with the procedure based communication allows a designer to use the presented power aware framework in modeling these large scale systems. The introduced techniques also enable one to subdivide the development of communication and computation into own tasks. This property is taken into account in the power analysis part as well. Furthermore, the presented framework is developed in a way that it can be used throughout the design project. In other words, a designer is able to model and analyze systems from an abstract specification down to an implementable specification.

Eettisyys ja ihmistieteiden kestävä kehitys?

Kirja-arvio

Opiskelijan resurssit ja etenemisen haasteet sivutoimisissa jatko-opinnoissa

Artikkeli perustuu tutkimukseen, jossa selvitettiin Teknillisen korkeakoulun tuotantotalouden osaston sivutoimisten jatko-opiskelijoiden opintojen viivästymistä jatko-opiskelijoiden itsensä kokemina.

Löytöretkiä Suomen luontoon : runsaasti pieniä palasia matkailijan noukkia

Kirjallisuusarvostelu

Mitä on geneettinen demokratia?

Kirjallisuusarvostelu

Koivuoppikirja

Kirjallisuusarvostelu

Sosiaalityön asiantuntijuus kehitysyhteistyön kentällä

Tutkielmassani tarkastelen sosiaalityön asiantuntijuutta kehitysyhteistyössä. Lähestyn aihetta määrittelemällä sosiaalityön asiantuntijuutta, esittelemällä laajemmin sosiaalityön kansainvälisyyteen liittyvää keskustelua sekä tarkastelemalla sosiaalityön ja kehitysyhteistyön välisiä yhtäläisyyksiä. Sosiaalityön kansainvälisyys on aiheena ajankohtainen, sillä globalisaation vuoksi kansallisten rajojen ulkopuolella tehtävät ratkaisut vaikuttavat yksittäisen maan sosiaalipolitiikkaan ja näin ollen myös käytännön sosiaalityöhön. Kehitysyhteistyötä pidetään usein yhtenä kansainvälisen sosiaalityön osa-alueena. Sosiaalityön ja kehitysyhteistyön välisiä yhtäläisyyksiä ei ole paljon tutkittu, vaikka niiden periaatteissa ja tavoitteissa on paljon samankaltaisuuksia. Tutkimuksen tarkoituksena on tuottaa tietoa siitä, miten sosiaalityön asiantuntijuutta voitaisiin hyödyntää enemmän kehitysyhteistyössä. Tutkimus antaa näin ollen uutta tietoa sosiaalityön asiantuntijuuden tuomista mahdollisuuksista. Aiheen esille tuominen on hyödyllistä sekä kehitysyhteistyöstä kiinnostuneiden sosiaalityöntekijöiden että kehitysyhteistyöprojekteja rahoittavien ja toteuttavien tahojen kannalta. Tutkimus on luonteeltaan kvalitatiivinen haastattelututkimus. Aineistona olen käyttänyt sellaisten sosiaalityöntekijöiden tai sosiaalityön opiskelijoiden teemahaastatteluja, joilla on työkokemusta kehitysmaaksi luokiteltavasta maasta. Aineistoa olen analysoinut teemoittelun avulla. Tutkimuksen tuloksena totean, että sosiaalityöllä olisi nykytilannetta enemmän annettavaa kehitysyhteistyölle. Haastattelut osoittavat, että sosiaalityön asiantuntijuudessa on paljon sellaisia osa-alueita, joita voisi hyödyntää myös kehitysyhteistyötehtävissä. Toisaalta on huomioitava myös sosiaalityön menetelmien rajallisuus sellaisissa olosuhteissa, joissa rakenteellinen köyhyys on leimaavaa. Sosiaalityön kansainvälisyyden ja globaalin sosiaalisen vastuun tuominen mukaan suomalaiseen sosiaalialan keskusteluun olisi merkittävää sekä sosiaalityön ammattikunnan että yksittäisen sosiaalityöntekijän kannalta. Kansainvälisyys tulisi ottaa paremmin huomioon myös sosiaalityön opinnoissa.