Suomen mahdollisuudet vaikuttaa Euroopan unionin lainsäädäntömenettelyyn

Väitöstutkimuksen kohteena on säädösten valmistelu ja niitä koskevaa päätöksenteko Euroopan unionissa erityisesti siitä näkökulmasta, miten Suomen kaltainen pieni jäsenvaltio voi vaikuttaa EU-säädöksiin. Väitöskirjassa analysoidaan unionin toimielinten välillä vallitsevaa dynamiikkaa ja Suomen asemaa erityisesti EUT-sopimuksen 289 artiklan 1 kohdan ja 294 artiklan mukaisessa tavallisessa lainsäätämisjärjestyksessä. Lissabonin sopimuksen voimaantulon jälkeen tavallinen lainsäätämisjärjestys, joka aiemmin tunnettiin yhteispäätösmenettelynä, on selvästi yleisin lainsäädäntömenettely unionissa. Väitöskirja koostuu kuudesta erillisjulkaistusta pääosin vertaisarvioidusta artikkelista ja niitä täydentävästä ja kokoavasta yhteenveto-osasta. Kirjan tämä painos sisältää vain yhteenvetoluvun, ei erikseen julkaistuja artikkeleita. Väitöskirjassa hyödynnetään eurooppaoikeuden ja politiikan tutkimuksen kirjallisuutta. Metodologisesti väitöstutkimus edustaa empiiristä oikeustutkimusta, jossa yhdistyy lainopillinen analyysi ja empiiristen, tässä tapauksessa lähinnä laadullisten aineistojen analyysi. Yhteenvedossa on seurattu lainsäädäntömuutoksia ja oikeuskäytäntöä 10. huhtikuuta 2015 asti. Väitöskirjatutkimuksen kantavana teemana on oikeuden ja politiikan suhde EUlainsäätämisessä. Artikkeleita ja yhteenvetoa sitovat yhteen kaksi yleisen tason argumenttia. Ensiksi, EU:n lainsäädäntömenettelyä koskevat oikeussäännöt ja institutionalisoituneet käytännöt luovat kehikon toimielinten sisäiselle päätöksenteolle sekä niiden välisille poliittisluonteisille neuvotteluille, vaikkakaan sääntöihin ja käytäntöihin ei yleensä ole tarvetta nimenomaisesti vedota menettelyn kuluessa. Toiseksi, koska Suomen kaltaisen pienen jäsenvaltion muodollinen valta – siis äänimäärä neuvostossa – on hyvin rajallinen, suomalaisten ministerien ja virkamiesten tulisi hyödyntää erilaisia epävirallisia vaikuttamiskanavia, jos halutaan vahvistaa Suomen tosiasiallista vaikutusvaltaa menettelyssä. Unionin lainsäädäntötoiminta ei tyypillisesti ole rationaalisen mallin mukaan etenevää päätöksentekoa, vaan tempoilevaa ja vaikeasti ennakoitavaa kamppailua eri preferenssejä edustavien toimijoiden välillä. Väitöskirjan ensimmäisessä artikkelissa analysoidaan säädösvalmistelua ja lainsäätämismenettelyä unionissa vaihe vaiheelta. Johtopäätöksenä todetaan, että unioniin on syntynyt yhteispäätösmenettelyn, sittemmin tavallisen lainsäätämisjärjestyksen myötä uudenlainen lainsäätämiskulttuuri, jolle on leimallista tiiviit yhteydet komission, Euroopan parlamentin ja neuvoston välillä. Toimielimet ottavat nykyisin joustavasti huomioon toistensa kantoja menettelyn edetessä, mikä mahdollistaa sen, että valtaosa EU-säädöksistä voidaan hyväksyä jo ensimmäisessä käsittelyssä. Toisessa tutkimusartikkelissa analysoidaan komission asemaa unionin toimielinrakenteessa. Artikkelissa tarkastellaan komission aloiteoikeutta sekä komission puheenjohtajan ja sen jäsenten valintamenettelyjä siitä näkökulmasta, edistääkö komissio todella unionin yleistä etua itsenäisenä ja riippumattomana, kuten EU-sopimuksen 17 artiklassa edellytetään. Tiettyjen järjestelyjen myötä Euroopan parlamentin ja komission suhde on kehittynyt siihen suuntaan, että komissio toimii jossain määrin parlamentille vastuunalaisena hallituksena. Artikkelissa kritisoidaan, että kehitys ei välttämättä lähennä kansalaisia unionin toimielimiin ja että kehitys omiaan vaarantamaan komission aseman verrattain riippumattomana välittäjänä trilogeissa. Kolmas artikkeli sisältää tapaustutkimuksen kuluttajille myönnettäviä luottoja sääntelevän direktiivin (2008/48/EY) valmisteluvaiheista. Tapaustutkimus konkretisoi Suomen hallituksen edustajien tekemän EU-vaikuttamisen keinoja, vahvuuksia ja kehittämiskohteita. Artikkelissa todetaan, että Suomelle aivan keskeinen vaikuttamisresurssi ovat sellaiset virkamiehet, jotka hallitsevat niin käsiteltävän säädöshankkeen sisältökysymykset kuin unionin päätöksentekomenettelyt ja toimielinten institutionalisoituneet käytännöt. Artikkelissa tehdyt empiiriset havainnot jäsenvaltioiden välillä käydyistä neuvotteluista tukevat konstruktiivisen mallin perusoletuksia. Neljännessä artikkelissa, joka on laadittu yhteistyönä professori Tapio Raunion kanssa, analysoidaan unioniasioiden kansallista valmistelua ja tarkemmin ottaen sitä, miten Suomen neuvottelukannat muotoutuvat valtioneuvoston yhteensovittamisjärjestelmän ylimmällä tasolla EU-ministerivaliokunnassa. Artikkelissa todetaan laajan pöytäkirja-aineiston ja sitä täydentävän haastatteluaineiston pohjalta, että EUministerivaliokunnan asialistan laadinta on delegoitu kokonaisuudessaan asiantuntijavirkamiehille. Lisäksi asialistan muotoutumiseen vaikuttaa luonnollisesti unionin toimielinten, erityisesti Eurooppa-neuvoston agenda. Toisaalta, EU-ministerivaliokunnan kokouksissa ministerit yksin tekevät päätöksiä ja linjaavat Suomen EU-politiikkaa. Viidennessä artikkelissa selvitetään, miten olisi toimittava, jos pyritään siihen, että uusi tai muutettu EU-säädös vastaisi mahdollisimman pitkälti Suomen kansallisesti määriteltyä neuvottelukantaa. Tehokkainta on vaikuttaa aloiteoikeutta lainsäädäntömenettelyssä käyttävään komissioon, tarvittaessa myös virkahierarkian ylimmillä tasoilla, sekä tehdä yhteistyötä muiden jäsenvaltioiden kanssa, erityisesti puheenjohtajavaltion, tulevien puheenjohtajavaltioiden ja suurten jäsenvaltioiden kanssa. Mikäli käsittelyssä oleva EU-säädöshanke arvioidaan kansallisesti erityisen tärkeiksi tai ongelmalliseksi, tulisi vaikuttamistoimia laajentaa kattamaan myös Euroopan parlamentin avainhenkilöitä. Kuudennessa artikkelissa analysoidaan suomalaisen kansalaisyhteiskunnan ja etujärjestöjen vaikutusmahdollisuuksia EU-asioiden valmistelussa. Johtopäätöksenä todetaan, että muodollinen yhteensovittaminen EU-valmistelujaostojen laajan kokoonpanon kokouksissa ei ole sidosryhmille ensisijainen eikä tehokkain vaikuttamisen keino. Sen sijaan korostuvat epäviralliset yhteydet toimivaltaisen ministeriön vastuuvirkamieheen kotimaassa ja vaikuttaminen eurooppalaisen kattojärjestön välityksellä. Väitöskirjan yhteenveto-osassa on eritelty, missä EU:n säädösvalmistelun ja lainsäätämismenettelyn vaiheissa Suomen kaltaisella pienellä jäsenvaltiolla on parhaat edellytykset vaikuttaa valmisteltavana olevaan säädökseen. Parhaat vaikutusmahdollisuudet ovat aivan EU-säädöksen elinkaaren alkuvaiheessa, kun komissio on vasta käynnistämässä uutta säädösvalmistelua. Väitöstutkimuksessa todetaan, että varhaista kannanmuodostusta ja sen mahdollistamaa ennakkovaikuttamista on Suomessa kyetty kehittämään etenkin niissä poliittisesti, taloudellisesti tai oikeudellisesti tärkeissä hankkeissa, joissa hallituksen kannanmuodostus tapahtuu EU-ministerivaliokunnassa. Muissa unionin säädöshankkeissa ennakollisen vaikuttamisen intensiteetti näyttäisi vaihtelevan, riippuen muun muassa toimivaltaisen ministeriön keskijohdon ja ylimmän johdon sitoutumisesta. Toinen Suomelle otollinen vaikuttamisen ajankohta on silloin, kun komission antamaa ehdotusta käsitellään asiantuntijavirkamiesten kesken neuvoston työryhmässä. Tehokas vaikuttaminen edellyttää, että Suomea neuvotteluissa edustavat henkilöt kokoavat ”samanmielisistä” jäsenvaltioista kaksoisenemmistösäännön mukaisen voittavan koalition. Viimeinen vaikuttamisen ikkuna aukeaa silloin, kun Coreper-komiteassa laaditaan neuvoston puheenjohtajalle neuvottelumandaattia toimielinten välisiin trilogeihin tavallisen lainsäätämisjärjestyksen ensimmäisessä käsittelyssä. Tässä varsin myöhäisessä menettelyvaiheessa vaikuttaminen on pienen jäsenvaltion näkökulmasta jo selvästi vaikeampaa. Väitöskirja sijoittuu luontevasti osaksi valtiotieteellistä eurooppalaistumis-kirjallisuutta siltä osin, kuin siinä on tutkittu EU-jäsenyyden vaikutuksia kotimaisiin hallinnon rakenteisiin ja politiikan asialistaan. Kuten tunnettua, Suomen EU-politiikka rakentuu eduskunnalle vastuullisen valtioneuvoston varaan. Väitöskirjassa ei kuitenkaan ole otettu erityiseen tarkasteluun perustuslakiin sidottua eduskunnan ja hallituksen yhteistoimintaa EU-asioissa. Sen sijaan on tutkittu unioniasioiden valmistelua ja yhteensovittamista valtioneuvoston sisällä. Kun EU-asioiden yhteensovittamisjärjestelmää luotiin, pidettiin tärkeänä, että jokaisessa säädöshankkeessa ja politiikkahankkeessa kyetään muodostamaan kansallisesti yksi ja yhtenäinen neuvottelupositio. Yhtenäisen kansallisen linjan ajamisen katsottiin parantavan Suomen asemaa unionin päätöksenteossa. Väitöskirjassa todetaan johtopäätöksenä, että EU-asioiden kansallinen valmistelujärjestelmä toteuttaa sille asetetut tavoitteet käytännössä varsin hyvin. Merkittävin kehittämiskohde liittyy kansallisen EU-valmistelun reaktiivisuuteen. Jos Suomi haluaa vaikuttaa yhä vahvemmin EU-lainsäätämiseen, Suomelle tärkeät hankkeet pitäisi tunnistaa jo varhaisessa vaiheessa ja priorisoida selkeästi niiden hoitamista ministeriöissä.

Dynamic Model of a Small Once-Through Boiler

In this study, a model for the unsteady dynamic behaviour of a once-through counter flow boiler that uses an organic working fluid is presented. The boiler is a compact waste-heat boiler without a furnace and it has a preheater, a vaporiser and a superheater. The relative lengths of the boiler parts vary with the operating conditions since they are all parts of a single tube. The present research is a part of a study on the unsteady dynamics of an organic Rankine cycle power plant and it will be a part of a dynamic process model. The boiler model is presented using a selected example case that uses toluene as the process fluid and flue gas from natural gas combustion as the heat source. The dynamic behaviour of the boiler means transition from the steady initial state towards another steady state that corresponds to the changed process conditions. The solution method chosen was to find such a pressure of the process fluid that the mass of the process fluid in the boiler equals the mass calculated using the mass flows into and out of the boiler during a time step, using the finite difference method. A special method of fast calculation of the thermal properties has been used, because most of the calculation time is spent in calculating the fluid properties. The boiler was divided into elements. The values of the thermodynamic properties and mass flows were calculated in the nodes that connect the elements. Dynamic behaviour was limited to the process fluid and tube wall, and the heat source was regarded as to be steady. The elements that connect the preheater to thevaporiser and the vaporiser to the superheater were treated in a special way that takes into account a flexible change from one part to the other. The model consists of the calculation of the steady state initial distribution of the variables in the nodes, and the calculation of these nodal values in a dynamic state. The initial state of the boiler was received from a steady process model that isnot a part of the boiler model. The known boundary values that may vary during the dynamic calculation were the inlet temperature and mass flow rates of both the heat source and the process fluid. A brief examination of the oscillation around a steady state, the so-called Ledinegg instability, was done. This examination showed that the pressure drop in the boiler is a third degree polynomial of the mass flow rate, and the stability criterion is a second degree polynomial of the enthalpy change in the preheater. The numerical examination showed that oscillations did not exist in the example case. The dynamic boiler model was analysed for linear and step changes of the entering fluid temperatures and flow rates.The problem for verifying the correctness of the achieved results was that there was no possibility o compare them with measurements. This is why the only way was to determine whether the obtained results were intuitively reasonable and the results changed logically when the boundary conditions were changed. The numerical stability was checked in a test run in which there was no change in input values. The differences compared with the initial values were so small that the effects of numerical oscillations were negligible. The heat source side tests showed that the model gives results that are logical in the directions of the changes, and the order of magnitude of the timescale of changes is also as expected. The results of the tests on the process fluid side showed that the model gives reasonable results both on the temperature changes that cause small alterations in the process state and on mass flow rate changes causing very great alterations. The test runs showed that the dynamic model has no problems in calculating cases in which temperature of the entering heat source suddenly goes below that of the tube wall or the process fluid.

Selective catalytic reduction of nitrogen oxides with ammonia in forced unsteady state reactors - Case based reasoning and mathematical model simulation reasoning

The application of forced unsteady-state reactors in case of selective catalytic reduction of nitrogen oxides (NOx) with ammonia (NH3) is sustained by the fact that favorable temperature and composition distributions which cannot be achieved in any steady-state regime can be obtained by means of unsteady-state operations. In a normal way of operation the low exothermicity of the selective catalytic reduction (SCR) reaction (usually carried out in the range of 280-350°C) is not enough to maintain by itself the chemical reaction. A normal mode of operation usually requires supply of supplementary heat increasing in this way the overall process operation cost. Through forced unsteady-state operation, the main advantage that can be obtained when exothermic reactions take place is the possibility of trapping, beside the ammonia, the moving heat wave inside the catalytic bed. The unsteady state-operation enables the exploitation of the thermal storage capacity of the catalyticbed. The catalytic bed acts as a regenerative heat exchanger allowing auto-thermal behaviour when the adiabatic temperature rise is low. Finding the optimum reactor configuration, employing the most suitable operation model and identifying the reactor behavior are highly important steps in order to configure a proper device for industrial applications. The Reverse Flow Reactor (RFR) - a forced unsteady state reactor - corresponds to the above mentioned characteristics and may be employed as an efficient device for the treatment of dilute pollutant mixtures. As a main disadvantage, beside its advantages, the RFR presents the 'wash out' phenomena. This phenomenon represents emissions of unconverted reactants at every switch of the flow direction. As a consequence our attention was focused on finding an alternative reactor configuration for RFR which is not affected by the incontrollable emissions of unconverted reactants. In this respect the Reactor Network (RN) was investigated. Its configuration consists of several reactors connected in a closed sequence, simulating a moving bed by changing the reactants feeding position. In the RN the flow direction is maintained in the same way ensuring uniformcatalyst exploitation and in the same time the 'wash out' phenomena is annulated. The simulated moving bed (SMB) can operate in transient mode giving practically constant exit concentration and high conversion levels. The main advantage of the reactor network operation is emphasizedby the possibility to obtain auto-thermal behavior with nearly uniformcatalyst utilization. However, the reactor network presents only a small range of switching times which allow to reach and to maintain an ignited state. Even so a proper study of the complex behavior of the RN may give the necessary information to overcome all the difficulties that can appear in the RN operation. The unsteady-state reactors complexity arises from the fact that these reactor types are characterized by short contact times and complex interaction between heat and mass transportphenomena. Such complex interactions can give rise to a remarkable complex dynamic behavior characterized by a set of spatial-temporal patterns, chaotic changes in concentration and traveling waves of heat or chemical reactivity. The main efforts of the current research studies concern the improvement of contact modalities between reactants, the possibility of thermal wave storage inside the reactor and the improvement of the kinetic activity of the catalyst used. Paying attention to the above mentioned aspects is important when higher activity even at low feeding temperatures and low emissions of unconverted reactants are the main operation concerns. Also, the prediction of the reactor pseudo or steady-state performance (regarding the conversion, selectivity and thermal behavior) and the dynamicreactor response during exploitation are important aspects in finding the optimal control strategy for the forced unsteady state catalytic tubular reactors. The design of an adapted reactor requires knowledge about the influence of its operating conditions on the overall process performance and a precise evaluation of the operating parameters rage for which a sustained dynamic behavior is obtained. An apriori estimation of the system parameters result in diminution of the computational efforts. Usually the convergence of unsteady state reactor systems requires integration over hundreds of cycles depending on the initial guess of the parameter values. The investigation of various operation models and thermal transfer strategies give reliable means to obtain recuperative and regenerative devices which are capable to maintain an auto-thermal behavior in case of low exothermic reactions. In the present research work a gradual analysis of the SCR of NOx with ammonia process in forced unsteady-state reactors was realized. The investigation covers the presentationof the general problematic related to the effect of noxious emissions in the environment, the analysis of the suitable catalysts types for the process, the mathematical analysis approach for modeling and finding the system solutions and the experimental investigation of the device found to be more suitable for the present process. In order to gain information about the forced unsteady state reactor design, operation, important system parameters and their values, mathematical description, mathematicalmethod for solving systems of partial differential equations and other specific aspects, in a fast and easy way, and a case based reasoning (CBR) approach has been used. This approach, using the experience of past similarproblems and their adapted solutions, may provide a method for gaining informations and solutions for new problems related to the forced unsteady state reactors technology. As a consequence a CBR system was implemented and a corresponding tool was developed. Further on, grooving up the hypothesis of isothermal operation, the investigation by means of numerical simulation of the feasibility of the SCR of NOx with ammonia in the RFRand in the RN with variable feeding position was realized. The hypothesis of non-isothermal operation was taken into account because in our opinion ifa commercial catalyst is considered, is not possible to modify the chemical activity and its adsorptive capacity to improve the operation butis possible to change the operation regime. In order to identify the most suitable device for the unsteady state reduction of NOx with ammonia, considering the perspective of recuperative and regenerative devices, a comparative analysis of the above mentioned two devices performance was realized. The assumption of isothermal conditions in the beginningof the forced unsteadystate investigation allowed the simplification of the analysis enabling to focus on the impact of the conditions and mode of operation on the dynamic features caused by the trapping of one reactant in the reactor, without considering the impact of thermal effect on overall reactor performance. The non-isothermal system approach has been investigated in order to point out the important influence of the thermal effect on overall reactor performance, studying the possibility of RFR and RN utilization as recuperative and regenerative devices and the possibility of achieving a sustained auto-thermal behavior in case of lowexothermic reaction of SCR of NOx with ammonia and low temperature gasfeeding. Beside the influence of the thermal effect, the influence of the principal operating parameters, as switching time, inlet flow rate and initial catalyst temperature have been stressed. This analysis is important not only because it allows a comparison between the two devices and optimisation of the operation, but also the switching time is the main operating parameter. An appropriate choice of this parameter enables the fulfilment of the process constraints. The level of the conversions achieved, the more uniform temperature profiles, the uniformity ofcatalyst exploitation and the much simpler mode of operation imposed the RN as a much more suitable device for SCR of NOx with ammonia, in usual operation and also in the perspective of control strategy implementation. Theoretical simplified models have also been proposed in order to describe the forced unsteady state reactors performance and to estimate their internal temperature and concentration profiles. The general idea was to extend the study of catalytic reactor dynamics taking into account the perspectives that haven't been analyzed yet. The experimental investigation ofRN revealed a good agreement between the data obtained by model simulation and the ones obtained experimentally.

State of Logistics and Operations Management in Finnish and Swedish Companies – Survey Research Findings

In this research we are examining what is the status of logistics and operations management in Finnish and Swedish companies. Empirical data is based on the web based questionnaire, which was completed in the end of 2007 and early 2008. Our examination consists of roughly 30 answers from largest manufacturing (highest representation in our sample), trade and logistics/distribution companies. Generally it could be argued that these companies operate in complex environment, where number of products, raw materials/components and suppliers is high. However, usually companies rely on small amount of suppliers per raw material/component (highest frequency is 2), and this was especially the case among Swedish companies, and among those companies, which favoured overseas sourcing. Sample consisted of companies which mostly are operating in an international environment, and are quite often multinationals. Our survey findings reveal that companies in general have taken logistics and information technology as part of their strategy process; utilization of performance measures as well as system implementations have followed the strategy decisions. In the transportation mode side we identify that road transports dominate all transport flow classes (inbound, internal and outbound), followed by sea and air. Surprisingly small amount of companies use railways, but in general we could argue that Swedish companies prefer this mode over Finnish counterparts. With respect of operations outsourcing, we found that more traditional areas of logistics outsourcing are driving factors in company's performance measurement priority. In contrary to previous research, our results indicate that the scope of outsourcing is not that wide in logistics/operations management area, and companies are not planning to outsource more in the near future. Some support is found for more international operations and increased outsourcing activity. From the increased time pressure of companies, we find evidence that local as well as overseas customers expect deliveries within days or weeks, but suppliers usually supply within weeks or months. So, basically this leads into considerable inventory holding. Interestingly local and overseas sourcing strategy does not have that great influence on lead time performance of these particular sourcing areas - local strategy is anyway considerably better in responding on market changes due to shorter supply lead times. In the end of our research work we have completed correlation analysis concerning items asked with Likert scale. Our analysis shows that seeing logistics more like a process rather than function, applying time based management, favouring partnerships and measuring logistics within different performance dimensions results on preferred features and performance found in logistics literature.

Business opportunities in power sector of Ukraine : focus small-scale hydro and wind power sectors

In the last few years, the Ukrainian investment market has constantly shown strong performance and significant growth. This is primarily due to the investment attractiveness of Ukraine. From the perspective of investments in energy sector, Ukraine can be described as a country providing significant number of opportunities to multiply invested funds. But there are numbers of risks which hamper large investments. The work objective was to discover opportunities in small-scale hydropower and wind power sectors of Ukraine and more importantly to prove economic expediency of such investments. Thesis covers major of issues, concerning entering the Ukrainian power market as a foreign investor. It provides basic information about the structure of power market, the state of renewables sector in Ukraine, development of power sector in the regions, functioning of Wholesale Electricity Market, formation of electricity prices, possibilities for implementing joint Implementation mechanism, while the most attention, nevertheless, is concentrated on the opportunities in small-scale hydro and wind power sectors. Theoretical part of the study disclosed that Crimea peninsula has perfect wind conditions and could be a prospective area for wind project development. Investment analysis revealed that project profits will be excellent if green tariff for renewable energy is adopted. By the moment uncertainties about green law adoption bring additional risk to the projects and complicate any investment decision.

The role of emotional state, sexual arousal, and alcohol intoxication as situational factors associated with adults’ online sexual contact with children and adolescents

In the present study we explored whether and how the situational factors; emotional states, sexual arousal, and alcohol intoxication influenced the propensity in adults to engage in online sexual contact with children (13 or younger) and adolescents (14 – 17 year olds). The results were compared to a group of adults that had engaged in online sexual contact with adults only (18 or older). We also looked at the variation over time within these situational factors during the online sexual contact with a child, an adolescent, or an adult. The present study was an online self-report survey to the adult populations in Finland, Sweden, and Germany, with a final sample (N = 776) of women and men who were active on the Internet. The participants were asked to report whether, how, and with whom they had engaged in online sexual contact. The results showed that more men than women reported online sexual contact with persons of all age groups, and that the situational factors; emotional states and sexual arousal influenced the propensity in both women and men to engage in online sexual contact with children and adolescents. However, the effects of alcohol intoxication were small and significant only for men. These results indicate that higher levels of emotional state and sexual arousal might increase the propensity to go against social norms and contact children and adolescents online for sexual purposes, but it can also imply that that those who look for online sexual contact online with children and adolescents, are more emotionally and/or sexually aroused than the group that only seek adult company or that these are post-hoc explanations for such sexual activities.

Scheduling dynamic dataflow graphs with model checking

With the shift towards many-core computer architectures, dataflow programming has been proposed as one potential solution for producing software that scales to a varying number of processor cores. Programming for parallel architectures is considered difficult as the current popular programming languages are inherently sequential and introducing parallelism is typically up to the programmer. Dataflow, however, is inherently parallel, describing an application as a directed graph, where nodes represent calculations and edges represent a data dependency in form of a queue. These queues are the only allowed communication between the nodes, making the dependencies between the nodes explicit and thereby also the parallelism. Once a node have the su cient inputs available, the node can, independently of any other node, perform calculations, consume inputs, and produce outputs. Data ow models have existed for several decades and have become popular for describing signal processing applications as the graph representation is a very natural representation within this eld. Digital lters are typically described with boxes and arrows also in textbooks. Data ow is also becoming more interesting in other domains, and in principle, any application working on an information stream ts the dataflow paradigm. Such applications are, among others, network protocols, cryptography, and multimedia applications. As an example, the MPEG group standardized a dataflow language called RVC-CAL to be use within reconfigurable video coding. Describing a video coder as a data ow network instead of with conventional programming languages, makes the coder more readable as it describes how the video dataflows through the different coding tools. While dataflow provides an intuitive representation for many applications, it also introduces some new problems that need to be solved in order for data ow to be more widely used. The explicit parallelism of a dataflow program is descriptive and enables an improved utilization of available processing units, however, the independent nodes also implies that some kind of scheduling is required. The need for efficient scheduling becomes even more evident when the number of nodes is larger than the number of processing units and several nodes are running concurrently on one processor core. There exist several data ow models of computation, with different trade-offs between expressiveness and analyzability. These vary from rather restricted but statically schedulable, with minimal scheduling overhead, to dynamic where each ring requires a ring rule to evaluated. The model used in this work, namely RVC-CAL, is a very expressive language, and in the general case it requires dynamic scheduling, however, the strong encapsulation of dataflow nodes enables analysis and the scheduling overhead can be reduced by using quasi-static, or piecewise static, scheduling techniques. The scheduling problem is concerned with nding the few scheduling decisions that must be run-time, while most decisions are pre-calculated. The result is then an, as small as possible, set of static schedules that are dynamically scheduled. To identify these dynamic decisions and to find the concrete schedules, this thesis shows how quasi-static scheduling can be represented as a model checking problem. This involves identifying the relevant information to generate a minimal but complete model to be used for model checking. The model must describe everything that may affect scheduling of the application while omitting everything else in order to avoid state space explosion. This kind of simplification is necessary to make the state space analysis feasible. For the model checker to nd the actual schedules, a set of scheduling strategies are de ned which are able to produce quasi-static schedulers for a wide range of applications. The results of this work show that actor composition with quasi-static scheduling can be used to transform data ow programs to t many different computer architecture with different type and number of cores. This in turn, enables dataflow to provide a more platform independent representation as one application can be fitted to a specific processor architecture without changing the actual program representation. Instead, the program representation is in the context of design space exploration optimized by the development tools to fit the target platform. This work focuses on representing the dataflow scheduling problem as a model checking problem and is implemented as part of a compiler infrastructure. The thesis also presents experimental results as evidence of the usefulness of the approach.

Adaptive Markov chain Monte Carlo and Bayesian filtering for state space models

This thesis is concerned with the state and parameter estimation in state space models. The estimation of states and parameters is an important task when mathematical modeling is applied to many different application areas such as the global positioning systems, target tracking, navigation, brain imaging, spread of infectious diseases, biological processes, telecommunications, audio signal processing, stochastic optimal control, machine learning, and physical systems. In Bayesian settings, the estimation of states or parameters amounts to computation of the posterior probability density function. Except for a very restricted number of models, it is impossible to compute this density function in a closed form. Hence, we need approximation methods. A state estimation problem involves estimating the states (latent variables) that are not directly observed in the output of the system. In this thesis, we use the Kalman filter, extended Kalman filter, Gauss–Hermite filters, and particle filters to estimate the states based on available measurements. Among these filters, particle filters are numerical methods for approximating the filtering distributions of non-linear non-Gaussian state space models via Monte Carlo. The performance of a particle filter heavily depends on the chosen importance distribution. For instance, inappropriate choice of the importance distribution can lead to the failure of convergence of the particle filter algorithm. In this thesis, we analyze the theoretical Lᵖ particle filter convergence with general importance distributions, where p ≥2 is an integer. A parameter estimation problem is considered with inferring the model parameters from measurements. For high-dimensional complex models, estimation of parameters can be done by Markov chain Monte Carlo (MCMC) methods. In its operation, the MCMC method requires the unnormalized posterior distribution of the parameters and a proposal distribution. In this thesis, we show how the posterior density function of the parameters of a state space model can be computed by filtering based methods, where the states are integrated out. This type of computation is then applied to estimate parameters of stochastic differential equations. Furthermore, we compute the partial derivatives of the log-posterior density function and use the hybrid Monte Carlo and scaled conjugate gradient methods to infer the parameters of stochastic differential equations. The computational efficiency of MCMC methods is highly depend on the chosen proposal distribution. A commonly used proposal distribution is Gaussian. In this kind of proposal, the covariance matrix must be well tuned. To tune it, adaptive MCMC methods can be used. In this thesis, we propose a new way of updating the covariance matrix using the variational Bayesian adaptive Kalman filter algorithm.

Solid-state reference and ion-selective electrodes : towards portable potentiometric sensing

Potentiometric sensors are very attractive tools for chemical analysis because of their simplicity, low power consumption and low cost. They are extensively used in clinical diagnostics and in environmental monitoring. Modern applications of both fields require improvements in the conventional construction and in the performance of the potentiometric sensors, as the trends are towards portable, on-site diagnostics and autonomous sensing in remote locations. The aim of this PhD work was to improve some of the sensor properties that currently hamper the implementation of the potentiometric sensors in modern applications. The first part of the work was concentrated on the development of a solid-state reference electrode (RE) compatible with already existing solid-contact ion-selective electrodes (ISE), both of which are needed for all-solid-state potentiometric sensing systems. A poly(vinyl chloride) membrane doped with a moderately lipophilic salt, tetrabutylammonium-tetrabutylborate (TBA-TBB), was found to show a satisfactory stability of potential in sample solutions with different concentrations. Its response time was nevertheless slow, as it required several minutes to reach the equilibrium. The TBA-TBB membrane RE worked well together with solid-state ISEs in several different situations and on different substrates enabling a miniature design. Solid contacts (SC) that mediate the ion-to-electron transduction are crucial components of well-functioning potentiometric sensors. This transduction process converting the ionic conduction of an ion-selective membrane to the electronic conduction in the circuit was studied with the help of electrochemical impedance spectroscopy (EIS). The solid contacts studied were (i) the conducting polymer (CP) poly(3,4-ethylienedioxythiophene) (PEDOT) and (ii) a carbon cloth having a high surface area. The PEDOT films were doped with a large immobile anion poly(styrene sulfonate) (PSS-) or with a small mobile anion Cl-. As could be expected, the studied PEDOT solid-contact mediated the ion-toelectron transduction more efficiently than the bare glassy carbon substrate, onto which they were electropolymerized, while the impedance of the PEDOT films depended on the mobility of the doping ion and on the ions in the electrolyte. The carbon cloth was found to be an even more effective ion-to-electron transducer than the PEDOT films and it also proved to work as a combined electrical conductor and solid contact when covered with an ion-selective membrane or with a TBA-TBB-based reference membrane. The last part of the work was focused on improving the reproducibility and the potential stability of the SC-ISEs, a problem that culminates to the stability of the standard potential E°. It was proven that the E° of a SC-ISE with a conducting polymer as a solid contact could be adjusted by reducing or oxidizing the CP solid contact by applying current pulses or a potential to it, as the redox state of the CP solid-contact influences the overall potential of the ISE. The slope and thus the analytical performance of the SC-ISEs were retained despite the adjustment of the E°. The shortcircuiting of the SC-ISE with a conventional large-capacitance RE was found to be a feasible instrument-free method to control the E°. With this method, the driving force for the oxidation/reduction of the CP was the potential difference between the RE and the SC-ISE, and the position of the adjusted potential could be controlled by choosing a suitable concentration for the short-circuiting electrolyte. The piece-to-piece reproducibility of the adjusted potential was promising, and the day-today reproducibility for a specific sensor was excellent. The instrumentfree approach to control the E° is very attractive considering practical applications.

Collective redundancies in the State of California of the United States and in the Republic of Finland. Procedures and Provisions

Video games industry has recently bonded California and Finland in a new way and where the employers are recruiting they also need to be aware of the provisions and procedures related to terminations. In general, collective dismissals are on a relatively high level both in Finland and in California. In California, collective redundancies are regulated under the WARN law. The WARN obligates employers with 75 or more employees to give a 60-day notice prior to a mass lay off and some other similar events. Employers with less than 75 employees are free to administer the terminations without the WARN notice period. Generally, the California at-will presumption allows employment relationship to be terminated any day with or without reason and without notice period if conditions of collective agreements or employment contract do not limit this right. Termination cannot anyhow be in violation of the anti-discrimination law. In Finland the termination related provisions are part of the Employment Contracts Act and the Act on Co-operation within Undertakings. Collective redundancies are allowed under financial and production related grounds. Small employers with less than 20 employees follow the termination provisions of the Employment Contracts Act and are obligated to inform the employee to be terminated on the details of the termination itself and also the services of the Employment and Economic Development Office. Employers with 20 or more employees are to initiate co-operation procedure under the Act on Co-operation within Undertakings when reducing personnel. The co- operation negotiations are to inform employees on the employer’s plans and financial situation as well as to involve them in the decision making regarding the terminations. The employer’s duty to inform the employees of the services of Employment and Economic Development Office needs to be fulfilled also in terminations under the co-operation procedure. Discrimination is prohibited in Finland in terminations of employment. As an alternative for terminations, employees can for example be transferred to another position or be temporarily laid off. Employer’s duties related to search of alternatives for layoff are broader in Finland than in California. The recent development of the labor laws in Finland and in California suggests that the labor law is not static in either one of these environments but changes can be expected as the needs of the business life so require.

Small teleoperated vehicles: study of potential use cases and empirical prototyping

This thesis researches the current state of small teleoperated devices, the need for them and developing one. Small teleoperated devices give the possibility to perform tasks that are impossible or dangerous for humans. This work concentrates on small devices and cheap components and discloses one way of developing a teleoperated vehicle, but not necessarily the optimal way. Development and the current state of teleoperation were studied by a literature review, in which the data was searched from literature as well as from the Internet. The need for teleoperated devices was mapped through a survey, where 11 professionals from variating fields were interviewed how they could utilize a teleoperated devices and with what kind of features. Also, a prototype was built as a proof of concept of small teleoperated devices. The prototype is controlled by a single-board microcomputer that also streams video to the controlling device. The video can be viewed on a display or with a head mounted display.