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.

Formal and informal mechanisms for knowledge protection and sharing

The most important knowledge in firms is mostly tacit and embedded in individuals within the organization. This background knowledge that firms possess is used for creation of new knowledge and innovations. As firms today greatly concentrate on their core competencies, they need external knowledge from various collaboration partners. Thus, collaborative relationship governance, as well as control (use of appropriability mechanisms) over background (the input from each firm in innovative activities) and foreground knowledge (the output of collaboration activities) is needed in order to successfully create and capture value from innovative activities without losing core knowledge and competitiveness. Even though research has concentrated on knowledge protection and knowledge sharing, studies that combine both of these views and examine the effects of sharing and protection on value creation and capture have been rather limited. Studies have mainly focused on the protection of the output of innovation while forgetting the protection of the input of innovation. On the other hand, as the research concentrating on the output of innovation tends to favor formal mechanisms, informal mechanisms have remained more unknown to researchers as well as managers. This research aims to combine the perspectives of knowledge sharing and knowledge protection and their relationship with value creation and value capture. The sharing and protection are viewed from two points of view: the use of appropriability mechanisms, as well as governance of the collaborative relationship. The study consists of two parts. The first part introduces the research topic and discusses the overall results. The second part comprises six complementary research publications. Both qualitative and quantitative research methods are used in the study. In terms of results, the findings enhance understanding of the combined use of formal and informal mechanisms for knowledge protection and sharing. Informal mechanisms appear to be emphasized in the protection of background knowledge, and thus are prerequisites for innovation, whereas formal mechanisms are relied on more for protecting the results of innovative activities. However, the simultaneous use of the formal and informal mechanisms that are relevant to the particular industry and innovation context is recommendedthroughout the collaborative innovation process. Further, the study adds to the current knowledge on HRM as an appropriability mechanism: on the firm level its uses include assessing and hedging against employee-related risks such as knowledge leaking and knowledge leaving. A further contribution is to the research on HRM protection and its interrelations with other appropriability mechanisms, its constituents, and its potential use in the area of knowledge protection.

Of pearls and pigs : a conceptual-semantic Tiernet approach to formal representation of structure and variation of phraseological units

"Helmiä sioille", pärlor för svin, säger man på finska om någonting bra och fint som tas emot av en mottagare som inte vill eller har ingen förmåga att förstå, uppskatta eller utnyttja hela den potential som finns hos det mottagna föremålet, är ointresserad av den eller gillar den inte. För sådana relativt stabila flerordiga uttryck, som är lagrade i språkbrukarnas minnen och som demonstrerar olika slags oregelbundna drag i sin struktur använder man inom lingvistiken bl.a. termerna "idiom" eller "fraseologiska enheter". Som en oregelbundenhet kan man t.ex. beskriva det faktum att betydelsen hos uttrycket inte är densamma som man skulle komma till ifall man betraktade det som en vanlig regelbunden fras. En annan oregelbundenhet, som idiomforskare har observerat, ligger i den begränsade förmågan att varieras i form och betydelse, som många idiom har jämfört med regelbundna fraser. Därför talas det ofta om "grundform" och "grundbetydelse" hos idiom och variationen avses som avvikelse från dessa. Men när man tittar på ett stort antal förekomstexempel av idiom i språkbruk, märker man att många av dem tillåter variation, t.o.m. i sådan utsträckning att gränserna mellan en variant och en "grundform" suddas ut, och istället för ett idiom råkar vi plötsligt på en "familj" av flera besläktade uttryck. Allt detta väcker frågan om hur dessa uttryck egentligen ska vara representerade i språket. I avhandlingen utförs en kritisk granskning av olika tidigare tillvägagångssätt att beskriva fraseologiska enheter i syfte att klargöra vilka svårigheter deras struktur och variation erbjuder för den lingvistiska teorin. Samtidigt presenteras ett alternativt sätt att beskriva dessa uttryck. En systematisk och formell modell som utvecklas i denna avhandling integrerar en beskrivning av idiom på många olika språkliga nivåer och skildrar deras variation i form av ett nätverk och som ett resultat av samspel mellan idiomets struktur och kontexter där det förekommer, samt av interaktion med andra fasta uttryck. Modellen bygger på en fördjupande, språkbrukbaserad analys av det finska idiomet "X HEITTÄÄ HELMIÄ SIOILLE" (X kastar pärlor för svin).

Making Sense of Shared Leadership. A case study of leadership processes and practices without formal leadership structure in the team context

Leadership is essential for the effectiveness of the teams and organizations they are part of. The challenges facing organizations today require an exhaustive review of the strategic role of leadership. In this context, it is necessary to explore new types of leadership capable of providing an effective response to new needs. The presentday situations, characterized by complexity and ambiguity, make it difficult for an external leader to perform all leadership functions successfully. Likewise, knowledge-based work requires providing professional groups with sufficient autonomy to perform leadership functions. This study focuses on shared leadership in the team context. Shared leadership is seen as an emergent team property resulting from the distribution of leadership influence across multiple team members. Shared leadership entails sharing power and influence broadly among the team members rather than centralizing it in the hands of a single individual who acts in the clear role of a leader. By identifying the team itself as a key source of influence, this study points to the relational nature of leadership as a social construct where leadership is seen as social process of relating processes that are co-constructed by several team members. Based on recent theoretical developments concerned with relational, practice-based and constructionist approaches to the study of leadership processes, this thesis proposes the study of leadership interactions, working processes and practices to focus on the construction of direction, alignment and commitment. During the research process, critical events, activities, working processes and practices of a case team have been examined and analyzed with the grounded theory –approach in the terms of shared leadership. There are a variety of components to this complex process and a multitude of factors that may influence the development of shared leadership. The study suggests that the development process of shared leadership is a common sense -making process and consists of four overlapping dimensions (individual, social, structural, and developmental) to work with as a team. For shared leadership to emerge, the members of the team must offer leadership services, and the team as a whole must be willing to rely on leadership by multiple team members. For these individual and collective behaviors to occur, the team members must believe that offering influence to and accepting it from fellow team members are welcome and constructive actions. Leadership emerges when people with differing world views use dialogue and collaborative learning to create spaces where a shared common purpose can be achieved while a diversity of perspectives is preserved and valued. This study also suggests that this process can be supported by different kinds of meaning-making and process tools. Leadership, then, does not reside in a person or in a role, but in the social system. The built framework integrates the different dimensions of shared leadership and describes their relationships. This way, the findings of this study can be seen as a contribution to the understanding of what constitutes essential aspects of shared leadership in the team context that can be of theoretical value in terms of advancing the adoption and development process of shared leadership. In the real world, teams and organizations can create conditions to foster and facilitate the process. We should encourage leaders and team members to approach leadership as a collective effort that the team can be prepared for, so that the response is rapid and efficient.

Democracy begins at home : parenting, empathy, and adolescents' support for democratic values

Bakgrund Demokratiska samhällen är sårbara och historiskt sett sällsynta. Förutsättningarna för en fungerande demokrati innefattar mer än formella institutioner eller enbart frånvaron av diktatorer och extremgrupper. För att en regim skall fungera enligt demokratiska principer behövs medborgare som stöder demokratiska värden. Därför är det av vikt att förstå de processer som får individer att känna tilltro till demokratiska värden. Trots att man kan anta att stöd för sådana värderingar utvecklas som ett resultat av social inlärning är de konkreta omständigheterna som leder till ett dylikt lärande mindre uppenbara. Den klassiska litteraturen beträffande politisk socialisation lyfte fram föräldrarna som avgörande för de ungas medborgerliga fostran, men i moderna samhällen har föräldrarna sällan som en uttalad målsättning att försöka påverka sina barns nuvarande eller framtida politiska preferenser. Den föreliggande studiens mål var att fördjupa diskursen kring politisk socialisation gen om att analysera föräldraskapets betydelse för demokratiska värderingar hos ungdomar. Metod Den föreliggande studien utgick från två slumpmässiga urval. Det ena omfattade 1341 studerande, 17 år gamla, inom andra stadiets utbildning i tre regioner i Finland (södra, syd-västra och västra) och det andra 678 studerande, 16 år gamla vid studiens inledande, från den flamländska delen av Belgien. Studien innefattade frågeformulär som besvarades under skoltid. Resultat De centrala resultaten från studien kan sammanfattas i fyra punkter. För det första kunde empatiskt tänkande konstateras vara en god förklarande variabel för ungdomars demokratiska värderingar (Artikel 1). För det andra gav studien stöd för antagandet att stödjande föräldraskap är av betydelse för utvecklingen av empati under ungdomsåren (Artikel 2). För det tredje utvärderades empati, i relation till andra betydelsefulla variabler, som förklarande variabel för demokratiska värderingar (Artikel 3). För det fjärde gav den föreliggande studien bevis för att demokratiskt föräldraskap, både direkt och indirekt, är relaterat till demokratiska värderingar hos ungdomar. Sammanfattning Sammanfattningsvis visade den föreliggande studien hur föräldraskap både direkt och indirekt kan påverka demokratiska värderingar hos ungdomar och hur dessa resultat kunde användas för demokratisk samhällsfostran.

The Finnish Paper Workers' Union at a crossroads: Labor union representativeness in a changing environment, 1980-2008

This thesis consists of four articles and an introductory section. The main research questions in all the articles refer to the changes in the representativeness of the Finnish Paper Workers' Union. Representativeness stands for the entire entity of external, internal, legal and reputational factors that enable the labor union to represent its members and achieve its goals. This concept is based on an extensive reading of quantitative and qualitative industrial relations literature, which includes works based on Marxist labor-capital relations (such as Hyman's industrial relations studies), and more recent union density studies as well as gender- and ethnic diversity-based 'union revitalization' studies. Müller-Jentsch's German studies of industrial relations have been of particular importance as well as Streeck's industrial unionism and technology studies. The concept of representativeness is an attempt to combine the insights of these diverse strands of literature and bring the scientific discussion of labor unions back to the core of a union's function: representing its members. As such, it can be seen as a theoretical innovation. The concept helps to acknowledge both the heterogeneity of the membership and the totality of a labor union organization. The concept of representativeness aims to move beyond notions of 'power'. External representativeness can be expressed through the position of the labor union in the industrial relations system and the economy. Internal representativeness focuses on the aspects of labor unions that relate to the function of the union as an association with members, such as internal democracy. Legal representativeness lies in the formal legal position of the union – its rights and instruments. This includes collective bargaining legislation, co-decision rules and industrial conflict legislation. Reputational representativeness is related to how the union is seen by other actors and the general public, and can be approximated using data on strike activity. All these aspects of representativeness are path-dependent, and show the results of previous struggles over issues. The concept of representativeness goes beyond notions of labor union power and symbolizes an attempt to bring back the focus of industrial relations studies to the union's basic function of representing its members. The first article shows in detail the industrial conflict of the Finnish paper industry in 2005. The intended focus was the issue of gender in the negotiations over a new collective agreement, but the focal point of the industrial conflict was the issue of outsourcing and how this should be organized. Also, the issue of continuous shifts as an issue of working time was very important. The drawn-out conflict can be seen as a struggle over principles, and under pressure the labor union had to concede ground on the aforementioned issues. The article concludes that in this specific conflict, the union represented its' female members to a lesser extent, because the other issues took such priority. Furthermore, because of the substantive concessions. the union lost some of its internal representativeness, and the stubbornness of the union may have even harmed the reputation of the union. This article also includes an early version of the representativeness framework, through which this conflict is analyzed. The second article discusses wage developments, union density and collective bargaining within the context of representativeness. It is shown that the union has been able to secure substantial benefits for its members, regardless of declining employment. Collective agreements have often been based on centralized incomes policies, but the paper sector has not always joined these. Attention is furthermore paid to the changing competition of the General Assembly, with a surprisingly strong position of the Left Alliance still. In an attempt to replicate analysis of union density measures, an analysis of sectoral union density shows that similar factors as in aggregate data influence this measure, though – due to methodological issues – the results may not be robust. On this issue, it can be said that the method of analysis for aggregate union density is not suitable for sectoral union density analysis. The increasingly conflict-ridden industrial relations predicted have not actually materialized. The article concludes by asking whether the aim of ever-increasing wages is a sustainable one in the light of the pressures of globalization, though wage costs are a relatively small part of total costs. The third article discusses the history and use of outsourcing in the Finnish paper industry. It is shown using Hyman's framework of constituencies that over time, the perspective of the union changed from 'members of the Paper Workers' Union' to a more specific view of who is a core member of the union. Within the context of the industrial unionism that the union claims to practice, this is an important change. The article shows that the union more and more caters for a core group, while auxiliary personnel is less important to the union's identity and constituencies, which means that the union's internal representativeness has decreased. Maintenance workers are an exception; the union and employers have developed a rotating system that increases the efficient allocation of these employees. The core reason of the exceptional status of maintenance personnel is their high level of non-transferable skills. In the end it is debatable whether the compromise on outsourcing solves the challenges facing the industry. The fourth article shows diverging discourses within the union with regard to union-employer partnership for competitiveness improvements and instruments of local union representatives. In the collective agreement of 2008, the provision regulating wage effects of significant changes in the organization or content of work was thoroughly changed, though this mainly reflected decisions by the Labor Court on the pre-2008 version of the provision. This change laid bare the deep rift between the Social Democratic and Left Alliance (ex-Communist) factions of the union. The article argues that through the changed legal meaning of the provision, the union was able to transform concession bargaining into a basis for partnership. The internal discontent about this issue is nonetheless substantial and a threat to the unity of the union, both locally and at the union level. On the basis of the results of the articles, other factors influencing representativeness, such as technology and EU law and an overview of the main changes in the Finnish paper industry, it is concluded that, especially in recent years, the Finnish Paper Workers' Union has lost some of its representativeness. In particular, the loss of the efficiency of strikes is noted, the compromise on outsourcing which may have alienated a substantial part of the union's membership, and the change in the collective agreement of 2008 have caused this decline. In the latter case, the internal disunion on that issue shows the constraints of the union's internal democracy. Furthermore, the failure of the union to join the TEAM industrial union (by democratic means), the internal conflicts and a narrow focus on its own sector may also hurt the union in the future, as the paper industry in Finland is going through a structural change. None of these changes in representativeness would have been so drastic without the considerable pressure of globalization - in particular changing markets, changing technology and a loss of domestic investments to foreign investments, which in the end have benefited the corporations more than the Finnish employees of these corporations. Taken together, the union risks becoming socially irrelevant in time, though it will remain formally very strong on the basis of its institutional setting and financial situation.

Proactive and Preventive Student Welfare Activities in Finnish Preschool and Elementary School: Handling of Transition to Formal Schooling and a National Anti-Bullying Program as Examples

Prerequisites and effects of proactive and preventive psycho-social student welfare activities in Finnish preschool and elementary school were of interest in the present thesis. So far, Finnish student welfare work has mainly focused on interventions and individuals, and the voluminous possibilities to enhance well-being of all students as a part of everyday school work have not been fully exploited. Consequently, in this thesis three goals were set: (1) To present concrete examples of proactive and preventive psycho-social student welfare activities in Finnish basic education; (2) To investigate measurable positive effects of proactive and preventive activities; and (3) To investigate implementation of proactive and preventive activities in ecological contexts. Two prominent phenomena in preschool and elementary school years—transition to formal schooling and school bullying—were chosen as examples of critical situations that are appropriate targets for proactive and preventive psycho-social student welfare activities. Until lately, the procedures concerning both school transitions and school bullying have been rather problem-focused and reactive in nature. Theoretically, we lean on the bioecological model of development by Bronfenbrenner and Morris with concentric micro-, meso-, exo- and macrosystems. Data were drawn from two large-scale research projects, the longitudinal First Steps Study: Interactive Learning in the Child–Parent– Teacher Triangle, and the Evaluation Study of the National Antibullying Program KiVa. In Study I, we found that the academic skills of children from preschool–elementary school pairs that implemented several supportive activities during the preschool year developed more quickly from preschool to Grade 1 compared with the skills of children from pairs that used fewer practices. In Study II, we focused on possible effects of proactive and preventive actions on teachers and found that participation in the KiVa antibullying program influenced teachers‘ self-evaluated competence to tackle bullying. In Studies III and IV, we investigated factors that affect implementation rate of these proactive and preventive actions. In Study III, we found that principal‘s commitment and support for antibullying work has a clear-cut positive effect on implementation adherence of student lessons of the KiVa antibullying program. The more teachers experience support for and commitment to anti-bullying work from their principal, the more they report having covered KiVa student lessons and topics. In Study IV, we wanted to find out why some schools implement several useful and inexpensive transition practices, whereas other schools use only a few of them. We were interested in broadening the scope and looking at local-level (exosystem) qualities, and, in fact, the local-level activities and guidelines, along with teacherreported importance of the transition practices, were the only factors significantly associated with the implementation rate of transition practices between elementary schools and partner preschools. Teacher- and school-level factors available in this study turned out to be mostly not significant. To summarize, the results confirm that school-based promotion and prevention activities may have beneficial effects not only on students but also on teachers. Second, various top-down processes, such as engagement at the level of elementary school principals or local administration may enhance implementation of these beneficial activities. The main message is that when aiming to support the lives of children the primary focus should be on adults. In future, promotion of psychosocial well-being and the intrinsic value of inter- and intrapersonal skills need to be strengthened in the Finnish educational systems. Future research efforts in student welfare and school psychology, as well as focused training for psychologists in educational contexts, should be encouraged in the departments of psychology and education in Finnish universities. Moreover, a specific research centre for school health and well-being should be established.

Formal development and quantitative verification of dependable systems

-