Partisaanisodasta alueelliseen puolustusjärjestelmään : jugoslavialaisen sotataidollisen ajattelun kehittyminen toisen maailmansodan jälkeen

Väitöskirjan tavoitteena on ollut rakentaa kokonaiskuva aiheesta Jugoslavialaisen sotataidollisen ajattelun kehittyminen toisen maailmansodan jälkeen. Tutkimuksessa ei ole rajoituttu ainoastaan kuvailemaan sotataidollisen ajattelun kehittyminen, vaan on pyritty selvittämään kehittymiseen vaikuttaneet tekijät ja vastaamaan kysymykseen, miksi näin on tapahtunut? Aiemmat länsimaiset tutkimukset ovat tarkastelleet jugoslavialaista sotataitoa tai maanpuolustusta vain jostain tietystä rajallisesta näkökulmasta, kuten esimerkiksi Jugoslavian kansanarmeijaa, asevoimien vaikutusta maan poliittiseen elämään tai sotilaallista doktriinia koskien. Sotataidon kehittymiseen vaikuttavat tekijät huomioivaa kokonaisesitystä ole tehty. Myös jugoslavialainen sotataidollinen ajattelu on jäänyt pääosin pimentoon. Jugoslavialainen maan sotataitoon kohdistunut tutkimus on ollut laajaa ja monipuolista, mutta sen käytettävyyteen osittain vaikuttaa marxilais-leniniläinen materialistis-dialektinen, historialliseen materialismiin perustuva tutkimusmenetelmä. Väitöskirjan päätutkimusaineiston ovat muodostaneet alkuperäislähteet, ensisijaisesti jugoslavialaiset ohjesäännöt, käsikirjat, oppaat ja oppikirjat. Muu lähteistö on koostunut lähinnä arkistoasiakirjoista ja muusta kirjallisuudesta. Tutkimusmenetelmä on ollut historiatieteellinen käsittäen muun muassa ulkoisen ja sisäisen lähdekritiikin harjoittamisen, tietojen varmistamisen mahdollisimman useasta toisistaan riippumattomasta lähteestä sekä pyrkimyksen rekonstruoida ristiriidaton kokonaiskuva tutkimuskohteesta. Eri lähteistä ja lähderyhmistä saatuja tietoja on vertailtu, analysoitu sekä yhdistetty kriittisesti. Lähteiden käytettävyyden, lähdearvon ja luotettavuuden arviointi ovat olleet merkittävässä roolissa, näistä kaikista tärkeimpänä luotettavuuden arviointi. Sisäisen ja ulkoisen lähdekritiikin keinoin on pyritty luomaan oma ristiriidaton tulkinta kokonaisuudesta, jugoslavialaisen sotataidollisen ajattelun kehittymisestä toisen maailmansodan jälkeen. Tutkimuksessa on pitäydytty niin pitkälle kuin mahdollista jugoslavialaisen sotataidon alkuperäisessä terminologiassa. Jugoslavialaisia termejä ei ole muokattu vastaamaan paremmin esimerkiksi tällä hetkellä länsimaisessa sotataidossa käytettyjä käsitteitä. Väitöskirjan rakenne on temaattinen. Läpi koko tutkittavan ajanjakson jugoslavialaisen sotataidollisen ajattelun kehittymisessä on tunnistettavissa samat määräävät tekijät: historialliset taustatekijät, sotilaallinen uhka, sotilaallinen doktriini, lakiperusteet, kommunistiliiton ohjaus ja asevoimien sekä yhteiskunnan valmiuden kehittyminen. Jugoslaviassa puhuttiin aseelliseen kamppailuun vaikuttavista sodankäynnin faktoreista, joita olivat yhteiskunnalliset tekijät, materiaalis-tekniset tekijät ja sotilaalliset tekijät. Kaikista tärkeimpänä tekijänä pidettiin kuitenkin ihmistä itseään, vaikka ihmisen merkitys välillä tuntuikin hukkuvan ”moraalis-poliittiset tekijät”-sanahirviön alle. Tutkimuskysymyksiin on vastattu sotataitoon vaikuttaneiden edellä mainittujen tekijöiden kautta. Kuhunkin muutostekijään liittyvä kehitys on kuvattu kronologisena esityksenä. Kansan vapautussodassa vuosina 1941–1945 perustettujen partisaaniyksiköiden muodostamisessa sekä niiden toimintamenetelmissä on havaittavissa runsaasti yhtymäkohtia 1700- ja 1800-luvun hajdukkijoukkojen sekä 1800-luvun lopun ja 1900-luvun alun četnikkijoukkojen vastaaviin periaatteisiin. Samankaltaisuuksia ilmenee 1950-luvulta alkaen alueellisen puolustuksen joukkojen ja partisaaniyksiköiden toimintamenetelmien yhteydessä väliaikaisesti menetetyllä alueella toimittaessa. Kansan tukeen, karismaattisiin johtajiin ja yllätyselementtiin perustuva sissitoiminta on perinteistä eteläslaavilaista sotataitoa. Sodanjälkeinen jugoslavialainen sotataito oli jatkumoa eteläslaavien vuosisatoja vanhalle sotataidolliselle perinteelle, vaikka sitä ei julkisesti Jugoslaviassa muutamia poikkeuksia lukuun ottamatta myönnettykään. Jugoslavian sotilaallinen doktriini oli luotu kaikista suunnista kohdistuvia hyökkäyksiä vastaan, mutta sotilaallisen uhkan painotukset vaihtelivat usein, jopa vain muutaman vuoden välein. Tämä ei johtunut päättämättömyydestä eikä pelkästään koetun uhkan suunnan vaihtumisesta. Painottamalla sisäisen ja ulkoisen uhkan jatkuvuutta sekä uhkan suunnan vaihtelua pyrittiin pitämään maanpuolustuspiirit valppaina ja kansalaiset aktiivisina. Tällä tavalla myös perusteltiin maanpuolustuksen korkeita kustannuksia ja ennen kaikkea pyrittiin lisäämään maan sisäistä veljeyttä ja yhtenäisyyttä. On ilmeistä, että sekä lännestä että idästä kohdistui Jugoslavian suuntaan suurta poliittista ja sotilaallista intressiä kylmän sodan vuosina 1945–1990, mutta suoran sotilaallisen uhkan aukoton todistaminen olisi kuitenkin hankalaa. Oleellista onkin jugoslavialaisten oma käsitys maataan vastaan kohdistuneesta sotilaallisesta uhkasta. Sisäisen uhkan vaikutus alkoi kasvaa 1970-luvun alkupuolelta lähtien ja se johti lopulta 1980-luvulla alueellisen puolustuksen joukkojen esikuntien lakkauttamiseen ja taisteluvälineiden hajavarastointijärjestelmän purkamiseen. Yhteiskunnallisista tekijöistä merkittävimpinä sotataitoon ja sotataidolliseen ajatteluun vaikuttaneina osina olivat lait ja Jugoslavian kommunistiliitto. Perustuslakiin ja lakiin kansallisesta puolustuksesta sekä kommunistiliiton päätöslauselmiin sisällytetyt vaatimukset sotataidon kehittymiselle kuitenkin vain toistivat sotilaallisessa doktriinissa määritettyjä suuntaviivoja sekä määräyksiä. Maanpuolustukseen liittyneiden määräysten ja ohjeiden hyväksymiselle laillisen järjestyksen mukaisesti annettiin kuitenkin erittäin suuri arvo. Niiden toimeenpanon leviäminen maanlaajuisesti varmistettiin puolueen päätöksillä velvoittamalla muun muassa kommunistiliiton paikallisorganisaatiot, puoluesolut asevoimien sisällä sekä kaikki liittovaltion hallintotasot tekemään kaikkensa yleisen kansanpuolustuksen ja sitä ilmentävän sotataidon toteutumisen eteen. Materiaalis-teknisen tekijän kokonaisuus sisälsi aseet ja varusteet sekä niihin liittyviä muita seikkoja, kuten yhteiskunnan teollisuuden kehittymisen asteen sekä kyvyn suojautua vihollisen taisteluvälineitä vastaan ja luoda vihollisen aseita vastaan tehokkaampi vasta-ase. Siihen luettiin myös yksilöiden, taktisten ja yhdistettyjen taktisten yksiköiden sekä koko kansan koulutus aseiden ja varusteiden tarkoituksenmukaiseen käyttöön. Vaikka jugoslavialainen aseteollisuus kehittyi tutkimusperiodin aikana voimakkaasti, joutui maa taloudellisten resurssiensa rajallisuuden ja mahdollisen vihollishyökkäyksen ylivoimaisuuden havaittuaan toteamaan, että maanpuolustuksen ongelmia ei voida ratkaista materiaalin ja tekniikan määrällä tai laadulla. Ratkaisun oli löydyttävä sotilaallisista tekijöistä ja varsinkin sotataidosta. Sotilaalliset tekijät ja prosessit olivat jugoslavialaisen sotataidon ja sotataidollisen ajattelun kehittymisen kannalta tärkein muutostekijä. Sotilaallisten tekijöiden ytimen muodosti sotataito, joka Jugoslaviassa koostui teoriasta ja käytännöstä. Tämä jako koski sotataidon kolmea tasoa: strategiaa, operatiikkaa ja taktiikkaa. Sotataitoon kuuluvina osina pidettiin muun muassa taisteluvalmiutta, liikekannallepanovalmiutta, yhteiskunnallis-poliittisten yhteisöjen aseetonta vastarintaa, aseellisen kamppailun operatiivista ja taktista tasoa, materiaalista ja teknistä varustamista, sotatalouden valmistelujen organisointia sekä yhteiskunnallisia palveluja poikkeusoloissa. Osa näistä kuului edellä mainittuihin yhteiskunnallisiin tai materiaalis-teknisiin tekijöihin. Jugoslavialainen sotataito onkin nähtävä matriisinomaisena kokonaisuutena, jossa sotataidon kolmeen toiminnalliseen tasoon, strategiaan, operatiikkaan ja taktiikkaan vaikuttivat historialliset taustatekijät, sotilaallinen uhka, yhteiskunnalliset tekijät ja materiaalis-tekniset tekijät. Jugoslavialaisen sotataidon kokonaisuuteen kuului myös se, että mainitut muutostekijät vaikuttivat vielä toisiinsa. Lopputuloksena näin kokonaisvaltaisesta näkemyksestä sotataitoon ja sotataidolliseen ajatteluun Jugoslavia kykeni luomaan poikkeuksellisen tehokkaana pidetyn puolustusratkaisun, jossa koko yhteiskunnan kaikki resurssit pystyttiin suuntaamaan hyökkäyksen torjumiseen ja maahan tunkeutuneiden pois ajamiseen. Aiempi tutkimus on nähnyt jugoslavialaisen sotataidon kehittymisen keskeisimpänä vaikuttimena ja murroskohtana Varsovan liiton joukkojen toimeenpaneman Tšekkoslovakian miehityksen ja siitä seuranneen koetun uhkan merkittävän voimistumisen. Yleisen kansanpuolustuksen doktriiniin liittyvä taustatutkimus, teorianmuodostus ja doktriinin käyttöönotto tapahtuivat kuitenkin jo 1950-luvulla. Tšekkoslovakian miehitys toimi vain muutoksen toimeenpanoa vauhdittavana tekijänä. Jugoslavialaiset korostivat, että jugoslavialaisessa yhteiskunnassa keskeisessä asemassa ollut yhteisjohtoisuuden periaate ulottui myös maanpuolustukseen ja sotataitoon. Tutkimusaineistoon perehtyminen kuitenkin osoitti, että yleisen kansanpuolustuksen kokonaisuutta kuvaavat oppikirjat, laeissa asetetut määräykset ja Jugoslavian kommunistiliiton julkaisemat vaatimukset eivät olleet jalkautuneet sotataidon teoriaan tai käytäntöön operatiivisella tai taktisella tasolla. Strategisella tasolla yhteisjohtoisuus esiintyi näkyvämmin vain sotilaallisen konseptin ja strategian yhteydessä. Sotilaallisen doktriinin osalta yhteisjohtoisuus ilmeni lähinnä kahdessa asiassa. Alueellisen puolustuksen yksiköiden varustamisvelvoite oli asetettu siviilihallinnon eri tasojen vastuulle. Alueellisen puolustuksen esikunnat ja komentajat olivat vastuussa yleisen kansanpuolustuksen ja yhteiskunnallisen itsesuojelun komiteoille. Siviilihallinnon organisaatioiden kyky varustaa alueellisen puolustuksen yksiköt osoittautui kuitenkin heikoksi. Alueellisen puolustuksen esikunnatkin toimivat upseereiden johtamina sotilaallisina johtoportaina, ja yleisen kansanpuolustuksen ja yhteiskunnallisen itsesuojelun komiteoiden toiminta komentajien ja esikuntien suuntaan rajoittui vain nimelliseen ohjaukseen. Yhteisjohtoisuus osoittautuikin tutkimuksen kuluessa piirteeksi, joka julkisesta retoriikasta huolimatta ei toteutunut jugoslavialaisessa sotataidon praktiikassa. Jugoslavialaisen sotataidollisen ajattelun kehittymisen kaari käynnistyi partisaanisodasta ja päätyi alueelliseen puolustusjärjestelmään. Kansakunta ja sen useat eri kansallisuudet onnistuivat luomaan tieteelliseen ja tutkittuun tietoon perustuvan välineen, sotataidon teorian ja käytännön, joka suojeli maata yli puolen vuosisadan ajan. Yleinen kansanpuolustus sekä jugoslavialainen sotataito ovat toisiensa synonyymejä, seurauksia ja synnyttäjiä. Puolustusratkaisu lähti omista kansallisista lähtökohdista, siihen sulautettiin valikoiden ja jalostettuna hyviksi sekä menestyksekkäiksi koettuja ulkomaisia elementtejä sekä vaikutteita. Sitä perusteltiin monipuolisilla poliittisilla, ideologisilla, teoreettisilla, historiallisilla sekä nykyaikaisilla sotataidollisilla argumenteilla, mutta kaikesta tästä huolimatta sen ydin oli omintakeinen jugoslavialainen sotataidollinen ajattelu.

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.

Induction practices : experiences of newly qualified teachers

The thesis consists of four studies (articles I–IV) and a comprehensive summary. The aim is to deepen understanding and knowledge of newly qualified teachers’ experiences of their induction practices. The research interest thus reflects the ambition to strengthen the research-based platform for support measures. The aim can be specified in the following four sub-areas: to scrutinise NQTs’ experiences of the profession in the transition from education to work (study I), to describe and analyse NQTs’ experiences of their first encounters with school and classroom (study II), to explore NQTs’ experiences of their relationships within the school community (study III), to view NQTs’ experiences of support through peer-group mentoring as part of the wider aim of collaboration and assessment (study IV). The overall theoretical perspective constitutes teachers’ professional development. Induction forms an essential part of this continuum and can primarily be seen as a socialisation process into the profession and the social working environment of schools, as a unique phase of teachers’ development contributing to certain experiences, and as a formal programme designed to support new teachers. These lines of research are initiated in the separate studies (I–IV) and deepened in the theoretical part of the comprehensive summary. In order to appropriately understand induction as a specific practice the lines of research are in the end united and discussed with help of practice theory. More precisely the theory of practice architectures, including semantic space, physical space-time and social space, are used. The methodological approach to integrating the four studies is above all represented by abduction and meta-synthesis. Data has been collected through a questionnaire survey, with mainly open-ended questions, and altogether ten focus group meetings with newly qualified primary school teachers in 2007–2008. The teachers (n=88 in questionnaire, n=17 in focus groups), had between one and three years of teaching experience. Qualitative content analysis and narrative analysis were used when analysing the data. What is then the collected picture of induction or the first years in the profession if scrutinising the results presented in the articles? Four dimensions seem especially to permeate the studies and emerge when they are put together. The first dimension, the relational ˗ emotional, captures the social nature of induction and teacher’s work and the emotional character intimately intertwined. The second dimension, the tensional ˗ mutable, illustrates the intense pace of induction, together with the diffuse and unclear character of a teacher’s job. The third dimension, the instructive ˗ developmental, depicts induction as a unique and intensive phase of learning, maturity and professional development. Finally, the fourth dimension, the reciprocal ˗ professional, stresses the importance of reciprocity and collaboration in induction, both formally and informally. The outlined four dimensions, or integration of results, describing induction from the experiences of new teachers, constitute part of a new synthesis, induction practice. This synthesis was generated from viewing the integrated results through the theoretical lens of practice architecture and the three spaces, semantic space, physical space-time and social space. In this way, a more comprehensive, refined and partially new architecture of teachers’ induction practices are presented and discussed.

Studies on chemoenzymatic synthesis: Lipase-catalyzed acylation in multistep organic synthesis

In this thesis, biocatalysis is defined as the science of using enzymes as catalysts in organic synthesis. Environmental aspects and the continuously expanding repertoire of available enzymes have firmly established biocatalysis as a prominent means of chemo-, regio- and stereoselective synthesis. Yet, no single methodology can solve all the challenges faced by a synthetic chemist. Therefore, the knowledge and the skills to combine different synthetic methods are relevant. Lipases are highly useful enzymes in organic synthesis. In this thesis, an effort is being made to form a coherent picture of when and how can lipases be incorporated into nonenzymatic synthesis. This is attempted both in the literature review and in the discussion of the results presented in the original publications contained in the thesis. In addition to lipases, oxynitrilases were also used in the work. The experimental part of the thesis comprises of the results reported in four peer-reviewed publications and one manuscript. Selected amines, amino acids and sugar-derived cyanohydrins or their acylated derivatives were each prepared in enantio- or diastereomerically enriched form. Where applicable, attempts were made to combine the enzymatic reactions to other synthetic steps either by the application of completely separate sequential reactions with isolated intermediates (kinetic and functional kinetic resolution of amines), simultaneously occurring reactions without intermediate isolation (dynamic kinetic resolution of amino acid esters) or sequential reactions but without isolating the intermediates (hydrocyanation of sugar aldehydes with subsequent diastereoresolution). In all cases, lipase-catalyzed acylation was the key step by which stereoselectivity was achieved. Lipase from Burkholderia cepacia was a highly selective enzyme with each substrate category, but careful selection of the acyl donor and the solvent was important as well.

Formal development and quantitative verification of dependable systems

-

Combination of catalyst development and chemical reaction engineering : a key aspect to improve the hydrogen peroxide direct synthesis

-

Theorizing Formal and Informal Feedback Practices in Management Accounting Through Three Dimensions

The purpose of this doctoral thesis is to widen and develop our theoretical frameworks for discussion and analyses of feedback practices in management accounting, particularly shedding light on its formal and informal aspects. The concept of feedback in management accounting has conventionally been analyzed within cybernetic control theory, in which feedback flows as a diagnostic or comparative loop between measurable outputs and pre-set goals (see e.g. Flamholtz et al. 1985; Flamholtz 1996, 1983), i.e. as a formal feedback loop. However, the everyday feedback practices in organizations are combinations of formal and informal elements. In addition to technique-driven feedback approaches (like budgets, measurement, and reward systems) we could also categorize social feedback practices that managers see relevant and effective in the pursuit of organizational control. While cybernetics or control theories successfully capture rational and measured aspects of organizational performance and offer a broad organizational context for the analysis, many individual and informal aspects remain vague and isolated. In order to discuss and make sense of the heterogeneous field of interpretations of formal and informal feedback, both in theory and practice, dichotomous approaches seem to be insufficient. Therefore, I suggest an analytical framework of formal and informal feedback with three dimensions (3D’s): source, time, and rule. Based on an abductive analysis of the theoretical and empirical findings from an interpretive case study around a business unit called Division Steelco, the 3Dframework and formal and informal feedback practices are further elaborated vis-á-vis the four thematic layers in the organizational control model by Flamholtz et al. (1985; Flamholtz 1996, 1983): core control system, organizational structure, organizational culture, and external environment. Various personal and cultural meanings given to the formal and informal feedback practices (“feedback as something”) create multidimensional interpretative contexts. Multidimensional frameworks aim to capture and better understand both the variety of interpretations and their implications to the functionality of feedback practices, important in interpretive research.

Innovation in a Non-Formal Adult Education Organisation – Multi-Case Study in Four Adult Education Centres

More than ever, education organisations are experiencing the need to develop new services and processes to satisfy expanding and changing customer needs and to adapt to the environmental changes and continually tightening economic situation. Innovation has been found in many studies to have a crucial role in the success of an organisation, both in the private and public sectors, in formal education and in manufacturing and services alike. However, studies concerning innovation in non-formal adult education organisations, such as adult education centres (AECs) in Finland, are still lacking. This study investigates innovation in the non-formal adult education organisation context from the perspective of organisational culture types and social networks. The objective is to determine the significant characteristics of an innovative non-formal adult education organisation. The analysis is based on data from interviews with the principals and fulltime staff of four case AECs. Before the case study, a pre-study phase is accomplished in order to obtain a preliminary understanding of innovation at AECs. The research found strong support for the need of innovation in AECs. Innovation is basically needed to accomplish the AEC system’s primary mission mentioned in the ACT on Liberal Adult Education. In addition, innovation is regarded vital to institutes and may prevent their decline. It helps the institutes to be more attractive, to enter new market, to increase customer satisfaction and to be on the cutting edge. Innovation is also seen as a solution to the shortage of resources. Innovative AECs search actively for additional resources for development work through project funding and subsidies, cooperation networks and creating a conversational and joyful atmosphere in the institute. The findings also suggest that the culture type that supports innovation at AECs is multidimensional, with an emphasis on the clan and adhocratic culture types and such values as: dynamism, future orientation, acquiring new resources, mistake tolerance, openness, flexibility, customer orientation, a risk-taking attitude, and community spirit. Active and creative internal and external cooperation also promote innovation at AECs. This study also suggests that the behaviour of a principal is crucial. The way he or she shows appreciation the staff, encouragement and support to the staff and his or her approachability and concrete participation in innovation activities have a strong effect on innovation attitudes and activities in AECs.

Reusable formal architectures for networked systems

Today's networked systems are becoming increasingly complex and diverse. The current simulation and runtime verification techniques do not provide support for developing such systems efficiently; moreover, the reliability of the simulated/verified systems is not thoroughly ensured. To address these challenges, the use of formal techniques to reason about network system development is growing, while at the same time, the mathematical background necessary for using formal techniques is a barrier for network designers to efficiently employ them. Thus, these techniques are not vastly used for developing networked systems. The objective of this thesis is to propose formal approaches for the development of reliable networked systems, by taking efficiency into account. With respect to reliability, we propose the architectural development of correct-by-construction networked system models. With respect to efficiency, we propose reusable network architectures as well as network development. At the core of our development methodology, we employ the abstraction and refinement techniques for the development and analysis of networked systems. We evaluate our proposal by employing the proposed architectures to a pervasive class of dynamic networks, i.e., wireless sensor network architectures as well as to a pervasive class of static networks, i.e., network-on-chip architectures. The ultimate goal of our research is to put forward the idea of building libraries of pre-proved rules for the efficient modelling, development, and analysis of networked systems. We take into account both qualitative and quantitative analysis of networks via varied formal tool support, using a theorem prover the Rodin platform and a statistical model checker the SMC-Uppaal.

Safety study of hydrogen peroxide direct synthesis

Kandidaatintyön johdantokappaleessa esitellään vetyperoksidi ja mihin sitä käytetään teollisuudessa. Työssä vertaillaan antrakinoniprosessia ja suoraa prosessia sekä selvitetään nykyisin enemmän vetyperoksidituotantoon käytetyn antrakinoniprosessin ongelmakohdat ja osoitetaan, miksi suora synteesi vetyperoksidin tuotannossa olisi parempi vaihtoehto. Kandidaatintyön käsittelee suurilta osin turvallisuusongelmia, joita esiintyy suoran synteesin yhteydessä. Kirjallisuudesta on etsitty ratkaisuja näihin ongelmiin, kuten membraaniprosessin käyttöä räjähdysvaaran välttämiseksi. Pienemmän reaktorin eli ns. mikroreaktorin käyttö tuo mukanaan monia etuja vetyperoksidin tuotantoon. Tällöin prosessi on turvallisempi ja sitä on helpompi hallita. Mikroreaktorissa voidaan käyttää korkeampia lämpötiloja ja paineita kuin makroreaktorilla ilman, että räjähdysvaara prosessissa kasvaisi. Mikroreaktorin sisällä olevat mikrokanavat luovat turvallisen ympäristön synteesille. Aspen plus – simulointiohjelmalla mallinnettiin ja simulointiin suoran prosessin kriittisiä virtoja mikroreaktorissa. Tarkoituksena oli löytää virrat, joissa kulkee mahdollisesti räjähtävä kaasuseos. Kaasumaiset prosessivirrat ovat kriittisimmät vetyperoksidin suorassa synteesissä, koska ne aiheuttavat todennäköisemmin räjähdyksen kuin nestemäiset prosessivirrat. Kaikkein eniten prosessiturvallisuutta uhkaavat ainevirrat ennen ja jälkeen mikroreaktoria.

Synthesis, characterization and chemical sensor application of conducting polymers

Polymeric materials that conduct electricity are highly interesting for fundamental studies and beneficial for modern applications in e.g. solar cells, organic field effect transistors (OFETs) as well as in chemical and bio‐sensing. Therefore, it is important to characterize this class of materials with a wide variety of methods. This work summarizes the use of electrochemistry also in combination with spectroscopic methods in synthesis and characterization of electrically conducting polymers and other π‐conjugated systems. The materials studied in this work are intended for organic electronic devices and chemical sensors. Additionally, an important part of the presented work, concerns rational approaches to the development of water‐based inks containing conducting particles. Electrochemical synthesis and electroactivity of conducting polymers can be greatly enhanced in room temperature ionic liquids (RTILs) in comparison to conventional electrolytes. Therefore, poly(para‐phyenylene) (PPP) was electrochemically synthesized in the two representative RTILs: bmimPF6 and bmiTf2N (imidazolium and pyrrolidinium‐based salts, respectively). It was found that the electrochemical synthesis of PPP was significantly enhanced in bmimPF6. Additionally, the results from doping studies of PPP films indicate improved electroactivity in bmimPF6 during oxidation (p‐doping) and in bmiTf2N in the case of reduction (n‐doping). These findings were supported by in situ infrared spectroscopy studies. Conducting poly(benzimidazobenzophenanthroline) (BBL) is a material which can provide relatively high field‐effect mobility of charge carriers in OFET devices. The main disadvantage of this n‐type semiconductor is its limited processability. Therefore in this work BBL was functionalized with poly(ethylene oxide) PEO, varying the length of side chains enabling water dispersions of the studied polymer. It was found that functionalization did not distract the electrochemical activity of the BBL backbone while the processability was improved significantly in comparison to conventional BBL. Another objective was to study highly processable poly(3,4‐ethylenedioxythiophene) poly(styrenesulfonate) (PEDOT:PSS) water‐based inks for controlled patterning scaled‐down to nearly a nanodomain with the intention to fabricate various chemical sensors. Developed PEDOT:PSS inks greatly improved printing of nanoarrays and with further modification with quaternary ammonium cations enabled fabrication of PEDOT:PSS‐based chemical sensors for lead (II) ions with enhanced adhesion and stability in aqueous environments. This opens new possibilities for development of PEDOT:PSS films that can be used in bio‐related applications. Polycyclic aromatic hydrocarbons (PAHs) are a broad group of π‐conjugated materials consisting of aromatic rings in the range from naphthalene to even hundred rings in one molecule. The research on this type of materials is intriguing, due to their interesting optical properties and resemblance of graphene. The objective was to use electrochemical synthesis to yield relatively large PAHs and fabricate electroactive films that could be used as template material in chemical sensors. Spectroscopic, electrochemical and electrical investigations evidence formation of highly stable films with fast redox response, consisting of molecules with 40 to 60 carbon atoms. Additionally, this approach in synthesis, starting from relatively small PAH molecules was successfully used in chemical sensor for lead (II).