BFK 83 : [sinfoninen runoelma orkesterille]

Digitoitu 11. 6. 2008.

Rappresentazione di anima e di corpo

Digitoitu 17. 9. 2008.

Sinfonia II

Digitoitu 19. 5. 2008.

Short story

Digitoitu 14. 1. 2009

Elegia I

Digitoitu 11. 8. 2008.

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.

Kokoonpantavuuden parantaminen uusien konepajatuotteiden verkostotuotannossa

Verkostotoiminta asettaa haasteita suunnittelutyölle, valmistukselle, hankintatoimelle ja laadunhallinnalle, jotka kaikki vaikuttavat kokoonpanon sujuvuuteen. Suunnittelun ja valmistuksen yhteistyö on entistäkin haasteellisempaa, kun osavalmistus toteutetaan erillisillä toimittajilla. Tämän diplomityön tavoitteena on selvittää The Switch Drive Systems Oy:n tuotteiden kokoonpantavuuden parantamisen mahdollisuuksia sekä toimia yrityksen kokoonpantavuuteen liittyvien toimintamallien kehittämisen perustana. Diplomityöstä on olemassa myös julkinen versio. Työ alkaa kirjallisuuskatsauksella, jossa kuvataan kokoonpanoystävällisyyttä ja kokoonpanoystävällistä toimintaa kattaen suunnittelun, osien ja osakokoonpanojen valmistamisen verkostotuotannossa sekä kokoonpanotyön. Toimittajayhteistyötä ja laadunhallintaa käsitellään näiden lukujen yhteydessä. Työn käytännön osuudessa kartoitetaan The Switchin tuotteiden ja yrityksen toimintatapojen kokoonpanoystävällisyyden parantamismahdollisuuksia. Tämä toteutettiin The Switchin henkilöstön sekä osakokoonpanojen ja osien toimittajien haastatteluilla, toiminnan tarkkailulla sekä piirustuksiin ja prosessikuvauksiin perehtymällä. Kokoonpantavuuden ja valmistettavuuden systemaattinen huomioiminen on kannattavaa suunnittelun alusta alkaen. Tässä tulee mm. hyödyntää sekä toimittajien että The Switchin kokoonpanossa olevaa tietoa ja kokemusta.

Yhtä suurta kärsimystä

Kirjallisuusarvostelu

Kun raja railona aukeni

Kirjallisuusarvostelu