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.

Teaching mathematics and programming : new approaches with empirical evaluation

Programming and mathematics are core areas of computer science (CS) and consequently also important parts of CS education. Introductory instruction in these two topics is, however, not without problems. Studies show that CS students find programming difficult to learn and that teaching mathematical topics to CS novices is challenging. One reason for the latter is the disconnection between mathematics and programming found in many CS curricula, which results in students not seeing the relevance of the subject for their studies. In addition, reports indicate that students' mathematical capability and maturity levels are dropping. The challenges faced when teaching mathematics and programming at CS departments can also be traced back to gaps in students' prior education. In Finland the high school curriculum does not include CS as a subject; instead, focus is on learning to use the computer and its applications as tools. Similarly, many of the mathematics courses emphasize application of formulas, while logic, formalisms and proofs, which are important in CS, are avoided. Consequently, high school graduates are not well prepared for studies in CS. Motivated by these challenges, the goal of the present work is to describe new approaches to teaching mathematics and programming aimed at addressing these issues: Structured derivations is a logic-based approach to teaching mathematics, where formalisms and justifications are made explicit. The aim is to help students become better at communicating their reasoning using mathematical language and logical notation at the same time as they become more confident with formalisms. The Python programming language was originally designed with education in mind, and has a simple syntax compared to many other popular languages. The aim of using it in instruction is to address algorithms and their implementation in a way that allows focus to be put on learning algorithmic thinking and programming instead of on learning a complex syntax. Invariant based programming is a diagrammatic approach to developing programs that are correct by construction. The approach is based on elementary propositional and predicate logic, and makes explicit the underlying mathematical foundations of programming. The aim is also to show how mathematics in general, and logic in particular, can be used to create better programs.

Revenue Logic inSoftware Business Context

Tutkimuksen tavoitteena oli selvittää ohjelmistotoimialan avaintekijöitä, jotka vaikuttavat yrityksen ansaintalogiikkaan sekä lisätä tietoisuutta ansaintalogiikan muodostumisesta pienissä ja keskisuurissa ohjelmistoyrityksissä. Tutkimuksen teoreettisessa osassa keskityttiin tarkastelemaan ansaintalogiikan, strategian ja liiketoimintamallin käsitteiden suhteita sekä arvioitiin toimialan osatekijöiden, hinnoitteluperiaatteiden ja ansaintamallien vaikutusta ansainnan muodostumiseen ohjelmistotoimialalla. Ohjelmistotuote ja - palveluliiketoimintaa koskien oli merkityksellistä tutkia tuotteistamisasteen ja arvoketjujen vaikutusta ansaintalogiikan muodostumisessa sekä esitellä erilaisia, tyypillisiä ohjelmistotoimialalla käytettäviä hinnoittelumenetelmiä. Työn empiirisessä osassa tarkasteltiin 23 suomalaisen ohjelmistoalan yrityksen ansaintalogiikkaa. Tiedot kerättiin haastatteluin ja analysoitiin laadullisen tutkimuksen keinoin. Tutkimustulokset korostivat ansaintalogiikan 'epämääräisyyttä' terminä mutta osoittivat, että ydinliiketoimintaan keskittyminen, tuote-, palvelu-, tai projektiliiketoiminnan osaaminen, tuotteistusaste ja kanavavalinnat ovat avaintekijöitä ansaintalogiikanmuodostumisessa. Ansaintalogiikan muodostamiseen liittyy paljon yrityksen sisäisiä ja ulkoisia haasteita sekä muutospaineita, eikä ohjelmistotoimialalla ole todennettavissa yhtä yleismaailmallista, menestyksen takaavaa ansaintalogiikkaa.

Polttoaineen reaktiivisuuden määrittäminen kiertoleijupoltossa

Kehitettäessä leijupolttotekniikkaa entistä ympäristöystävällisemmäksi ja tehokkaammaksi tarvitaan lisää tietoa polttoaineen käyttäytymisestä tulipesässä. Polttoaineen palamisprofiili ja reaktiivisuus vaikuttavat oleellisesti esimerkiksi voimalaitoskattilan lämmönsiirtopintojen sijoitteluun ja suunnitteluun sekä ohjausjärjestelmän toteutukseen. Varsinkin monipolttoainekattiloilla ohjausjärjestelmän toimivuus joutuu koetukselle esimerkiksi kuormanmuutostilanteissa ja äkillisissä polttoaineen syöttöhäiriöissä. Tässä työssä on aluksi tutustuttu kiertoleijupolton ilmiöihin ja niiden matemaattiseen mallintamiseen. Lisäksi esitetään katsaus eri prosessiolosuhteiden vaikutuksesta palamiseen kiertoleijuolosuhteissa. Työn tutkimusosassa kehitettiin menetelmä polttoaineen reaktiivisuuden määrittämiseksi kiertoleijupoltossa. Kehitetty menetelmä koostuu koesarjasta ja matemaattisesta simulointimallista. Koetoiminta suoritettiin VTT Energian laboratoriokokoluokan kiertoleijukoelaitteella. Koesarja polttoaineen reaktiivisuuden määrittämiseksi sisältää eri kaasukomponenttien profiilimittauksia ja dynaamisia muutoskokeita. Menetelmän avulla voidaan tutkia eri polttoaineiden reaktiivisuuksia sekä polttoaineen reaktiivisuuden ja tietyn prosessiolosuhteen välistä riippuvuutta. Suorittamalla koeajomatriisin mukaiset kokeet tietyissä prosessiolosuhteissa voidaan polttoaineen reaktiivisuus selvittää koetulosten ja simulointimallin perusteella.

Simulation and optimization tools in paper machine concept design

The last decade has shown that the global paper industry needs new processes and products in order to reassert its position in the industry. As the paper markets in Western Europe and North America have stabilized, the competition has tightened. Along with the development of more cost-effective processes and products, new process design methods are also required to break the old molds and create new ideas. This thesis discusses the development of a process design methodology based on simulation and optimization methods. A bi-level optimization problem and a solution procedure for it are formulated and illustrated. Computational models and simulation are used to illustrate the phenomena inside a real process and mathematical optimization is exploited to find out the best process structures and control principles for the process. Dynamic process models are used inside the bi-level optimization problem, which is assumed to be dynamic and multiobjective due to the nature of papermaking processes. The numerical experiments show that the bi-level optimization approach is useful for different kinds of problems related to process design and optimization. Here, the design methodology is applied to a constrained process area of a papermaking line. However, the same methodology is applicable to all types of industrial processes, e.g., the design of biorefiners, because the methodology is totally generalized and can be easily modified.

Linguistic models for decision support

Linguistic modelling is a rather new branch of mathematics that is still undergoing rapid development. It is closely related to fuzzy set theory and fuzzy logic, but knowledge and experience from other fields of mathematics, as well as other fields of science including linguistics and behavioral sciences, is also necessary to build appropriate mathematical models. This topic has received considerable attention as it provides tools for mathematical representation of the most common means of human communication - natural language. Adding a natural language level to mathematical models can provide an interface between the mathematical representation of the modelled system and the user of the model - one that is sufficiently easy to use and understand, but yet conveys all the information necessary to avoid misinterpretations. It is, however, not a trivial task and the link between the linguistic and computational level of such models has to be established and maintained properly during the whole modelling process. In this thesis, we focus on the relationship between the linguistic and the mathematical level of decision support models. We discuss several important issues concerning the mathematical representation of meaning of linguistic expressions, their transformation into the language of mathematics and the retranslation of mathematical outputs back into natural language. In the first part of the thesis, our view of the linguistic modelling for decision support is presented and the main guidelines for building linguistic models for real-life decision support that are the basis of our modeling methodology are outlined. From the theoretical point of view, the issues of representation of meaning of linguistic terms, computations with these representations and the retranslation process back into the linguistic level (linguistic approximation) are studied in this part of the thesis. We focus on the reasonability of operations with the meanings of linguistic terms, the correspondence of the linguistic and mathematical level of the models and on proper presentation of appropriate outputs. We also discuss several issues concerning the ethical aspects of decision support - particularly the loss of meaning due to the transformation of mathematical outputs into natural language and the issue or responsibility for the final decisions. In the second part several case studies of real-life problems are presented. These provide background and necessary context and motivation for the mathematical results and models presented in this part. A linguistic decision support model for disaster management is presented here – formulated as a fuzzy linear programming problem and a heuristic solution to it is proposed. Uncertainty of outputs, expert knowledge concerning disaster response practice and the necessity of obtaining outputs that are easy to interpret (and available in very short time) are reflected in the design of the model. Saaty’s analytic hierarchy process (AHP) is considered in two case studies - first in the context of the evaluation of works of art, where a weak consistency condition is introduced and an adaptation of AHP for large matrices of preference intensities is presented. The second AHP case-study deals with the fuzzified version of AHP and its use for evaluation purposes – particularly the integration of peer-review into the evaluation of R&D outputs is considered. In the context of HR management, we present a fuzzy rule based evaluation model (academic faculty evaluation is considered) constructed to provide outputs that do not require linguistic approximation and are easily transformed into graphical information. This is achieved by designing a specific form of fuzzy inference. Finally the last case study is from the area of humanities - psychological diagnostics is considered and a linguistic fuzzy model for the interpretation of outputs of multidimensional questionnaires is suggested. The issue of the quality of data in mathematical classification models is also studied here. A modification of the receiver operating characteristics (ROC) method is presented to reflect variable quality of data instances in the validation set during classifier performance assessment. Twelve publications on which the author participated are appended as a third part of this thesis. These summarize the mathematical results and provide a closer insight into the issues of the practicalapplications that are considered in the second part of the thesis.

Spontaneous Focusing on Numerosity in the Development of Early Mathematical Skills

The aim of the present set of longitudinal studies was to explore 3-7-year-old children.s Spontaneous FOcusing on Numerosity (SFON) and its relation to early mathematical development. The specific goals were to capture in method and theory the distinct process by which children focus on numerosity as a part of their activities involving exact number recognition, and individual differences in this process that may be informative in the development of more complex number skills. Over the course of conducting the five studies, fifteen novel tasks were progressively developed for the SFON assessments. In the tasks, confounding effects of insufficient number recognition, verbal comprehension, other procedural skills as well as working memory capacity were aimed to be controlled. Furthermore, how children.s individual differences in SFON are related to their development of number sequence, subitizing-based enumeration, object counting and basic arithmetic skills was explored. The effect of social interaction on SFON was tested. Study I captured the first phase of the 3-year longitudinal study with 39 children. It was investigated whether there were differences in 3-year-old children.s tendency to focus on numerosity, and whether these differences were related to the children.s development of cardinality recognition skills from the age of 3 to 4 years. It was found that the two groups of children formed on the basis of their amount of SFON tendency at the age of 3 years differed in their development of recognising and producing small numbers. The children whose SFON tendency was very predominant developed faster in cardinality related skills from the age of 3 to 4 years than the children whose SFON tendency was not as predominant. Thus, children.s development in cardinality recognition skills is related to their SFON tendency. Studies II and III were conducted to investigate, firstly, children.s individual differences in SFON, and, secondly, whether children.s SFON is related to their counting development. Altogether nine tasks were designed for the assessments of spontaneous and guided focusing on numerosity. The longitudinal data of 39 children in Study II from the age of 3.5 to 6 years showed individual differences in SFON at the ages of 4, 5 and 6 years, as well as stability in children.s SFON across tasks used at different ages. The counting skills were assessed at the ages of 3.5, 5 and 6 years. Path analyses indicated a reciprocal tendency in the relationship between SFON and counting development. In Study III, these results on the individual differences in SFON tendency, the stability of SFON across different tasks and the relationship of SFON and mathematical skills were confirmed by a larger-scale cross-sectional study of 183 on average 6.5-year-old children (range 6;0-7;0 years). The significant amount of unique variance that SFON accounted for number sequence elaboration, object counting and basic arithmetic skills stayed statistically significant (partial correlations varying from .27 to .37) when the effects of non-verbal IQ and verbal comprehension were controlled. In addition, to confirm that the SFON tasks assess SFON tendency independently from enumeration skills, guided focusing tasks were used for children who had failed in SFON tasks. It was explored whether these children were able to proceed in similar tasks to SFON tasks once they were guided to focus on number. The results showed that these children.s poor performance in the SFON tasks was not caused by their deficiency in executing the tasks but on lacking focusing on numerosity. The longitudinal Study IV of 39 children aimed at increasing the knowledge of associations between children.s long-term SFON tendency, subitizing-based enumeration and verbal counting skills. Children were tested twice at the age of 4-5 years on their SFON, and once at the age of 5 on their subitizing-based enumeration, number sequence production, as well as on their skills for counting of objects. Results showed considerable stability in SFON tendency measured at different ages, and that there is a positive direct association between SFON and number sequence production. The association between SFON and object counting skills was significantly mediated by subitizing-based enumeration. These results indicate that the associations between the child.s SFON and sub-skills of verbal counting may differ on the basis of how significant a role understanding the cardinal meanings of number words plays in learning these skills. The specific goal of Study V was to investigate whether it is possible to enhance 3-year old children.s SFON tendency, and thus start children.s deliberate practice in early mathematical skills. Participants were 3-year-old children in Finnish day care. The SFON scores and cardinality-related skills of the experimental group of 17 children were compared to the corresponding results of the 17 children in the control group. The results show an experimental effect on SFON tendency and subsequent development in cardinality-related skills during the 6-month period from pretest to delayed posttest in the children with some initial SFON tendency in the experimental group. Social interaction has an effect on children.s SFON tendency. The results of the five studies assert that within a child.s existing mathematical competence, it is possible to distinguish a separate process, which refers to the child.s tendency to spontaneously focus on numerosity. Moreover, there are significant individual differences in children.s SFON at the age of 3-7 years. Moderate stability was found in this tendency across different tasks assessed both at the same and at different ages. Furthermore, SFON tendency is related to the development of early mathematical skills. Educational implications of the findings emphasise, first, the importance of regarding focusing on numerosity as a separate, essential process in the assessments of young children.s mathematical skills. Second, the substantial individual differences in SFON tendency during the childhood years suggest that uncovering and modeling this kind of mathematically meaningful perceiving of the surroundings and tasks could be an efficient tool for promoting young children.s mathematical development, and thus prevent later failures in learning mathematical skills. It is proposed to consider focusing on numerosity as one potential sub-process of activities involving exact number recognition in future studies.

Julkisen tilan politiikka : Senaatintorin rakenteellinen, symbolinen ja esteettien valta

Abstract: The politics of public space : the Senate Square in Helsinki as a form of structural, symbolic and aesthetic power

Lobbying as a Part of Business Management

Lobbying by companies and the management techniques of lobbying have been fairly unknown territory. This study explains different theories related to lobbying including major political, economic and mathematical theories and their connections to lobbying. Existing lobbying networks in the European Union, especially at the European Union level, are explained. Lobbying organisations in the European Union are interconnected. Networks start at a local level, and have connections to national, European Union, international and sometimes to the global level. Relationships between business strategy and lobbying are studied with emphasis on issues management. Business strategy is often seen stemming from business environment analysis and stakeholder management. The issues management concept bridges aspects of business environment analysis and stakeholder management into a project type of management approach. The study includes two different empirical parts. A sample of public policy managers representing the European chemical industry was interviewed, and a chemical industry specific lobbying framework was built. This framework was then tested using a questionnaire sent to European public issues managers representing some of the largest European companies. Based on the results of the questionnaire, a generic framework on how large, European companies manage lobbying in general terms was developed.

Many valued algebraic structures as measures of comparison

This thesis studies the properties and usability of operators called t-norms, t-conorms, uninorms, as well as many valued implications and equivalences. Into these operators, weights and a generalized mean are embedded for aggregation, and they are used for comparison tasks and for this reason they are referred to as comparison measures. The thesis illustrates how these operators can be weighted with a differential evolution and aggregated with a generalized mean, and the kinds of measures of comparison that can be achieved from this procedure. New operators suitable for comparison measures are suggested. These operators are combination measures based on the use of t-norms and t-conorms, the generalized 3_-uninorm and pseudo equivalence measures based on S-type implications. The empirical part of this thesis demonstrates how these new comparison measures work in the field of classification, for example, in the classification of medical data. The second application area is from the field of sports medicine and it represents an expert system for defining an athlete's aerobic and anaerobic thresholds. The core of this thesis offers definitions for comparison measures and illustrates that there is no actual difference in the results achieved in comparison tasks, by the use of comparison measures based on distance, versus comparison measures based on many valued logical structures. The approach has been highly practical in this thesis and all usage of the measures has been validated mainly by practical testing. In general, many different types of operators suitable for comparison tasks have been presented in fuzzy logic literature and there has been little or no experimental work with these operators.

Den vårdande och helande bilden: möten med bildkonst i vårdandets värld

Denna vårdvetenskapliga avhandling syftar till att avtäcka och belysa en vårdande och helande dimension vid existentiellt lidande patienters möten med bildkonst inom vårdkontext. Kunskapssökandet sker i två studier. Den första (studie I) är en ikonografi sk tolkning av konstnären Matthias Grünewalds (ca 1460–1528) senmedeltida altarskåpsmålningar. I studien uttolkas lidandets uttryck och narrativa budskap samt symboliska gestaltningar av vårdande och helande i valda delar av detta s.k. Isenheimaltares bildprogram. Tolkningen utgår från rekonstruktionen av altarskåpets ursprungskontext, det medeltida Isenheimklostret, där svårt sjuka och döende patienter vårdades. I studie två (II) fortsätter sökandet i den moderna hospicevårdens kontext med hjälp av en kvalitativ intervjustudie som utforskar patienters meningsskapande vid möten med självvald bildkonst (oljemålningar och akvareller av fi nländska konstnärer som donerats till det sjukhus där intervjustudien gjordes). Forskningsansatsen är inspirerad av Hans-Georg Gadamers (1901–2002) hermeneutik. Vidare används några nyare tolkningsteoretiska ansatser inom bildkonstens område. Forskningens tolkningsresultat visar att bildkonsten har potentialer såväl på ett miljöestetiskt plan som på en djupare individuell symbolnivå. Som designkomponent i vårdmiljöns rumsliga gestaltning bygger bildkonsten in estetiska, etiska och andliga kvaliteter utifrån tidsmässiga och kulturella koder. I den medeltida klostervårdens kontext sammanföll bildkonstens dekorativa betydelse med andliga och helande syften. När det gäller självvalda konstverk i den moderna vårdkontexten bidrar de till det enskilda patientrummets atmosfär på ett unikt sätt utifrån patientens personlighet och behov. På en fördjupad mötesnivå, i samspel med bildens symboliska funktion, sker en inlevelsemässig förfl yttning in i bildens värld. Betraktarens inlevelse aktiveras till en transcenderande rörelse som går bortom det faktiska rummets och den reella tidens gränser. Vid resor i konstens bildvärld spelas minnesvärda händelser upp från det förgångna, men även framtiden kommer betraktaren till mötes. I en existentiell livssituation söker människan i konstverkets bildinnehåll efter symbolisk mening som kan ge svar på lidandets frågor. Bilderna iscensätter då helande motbilder som utgör korrektiv i symboliska former när olika existentiella förluster hotar. När livet förbleknats av sjukdom besvarar bildvärlden den lidandes blick med lysande violer som blommar upp, ger livskraft och bekräftar personens värdighet mitt i det förvissnande människolivet. När ångest och otrygghet nalkas inbjuds betraktaren till besök i landskap som utvidgar sjukhusrummets väggar mot hemgårdens trygghet. Där livet hotas av förgänglighet tar bildvärlden människan med sig till naturens eviga återfödelse. Upplevelsen av att vara delaktig i ett större och heligt sammanhang öppnar vägen ut ur lidandets avskurenhet. I medeltidens vårdkontext erbjöd den sakrala bilden en kollektiv och helande Symbolon som genom sin representationskraft synliggjorde det osynliga. Vid bildmöten i den moderna hospicevårdens kontext var det naturteman som gläntade på dörren till ”det hemliga rummet i djupet av hjärtat”. Forskningen antyder att även om meningsskapandet i ett bildmöte är avhängigt tidsepok, betraktarens förförståelse och kulturella kontext samt typen av bilder kan bildsymboliken, generellt förstådd som den saknade formen eller det saknade livssammanhanget, framvisa en helande och hoppingivande ordning i lidandets kaos.

Vertaileva tapaustutkimus kuusivuotiaiden opetus–oppimis -vuorovaikutuksesta, matematiikkaepisodeista ja lukukäsitteen osaamisesta

Tässä vertailevassa kansainvälisessä tapaustutkimuksessa tarkasteltiin kuusivuotiaiden matematiikan tuntien opetus–oppimis -vuorovaikutusta ja lukukäsitteen osaamista Suomen, Englannin ja Ruotsin toiminta- ja oppimisympäristöissä. Toteutuneita opetus–oppimis -prosesseja verrattiin opetussuunnitelmien yleisiin- ja matematiikan tavoitteisiin sekä lukukäsitteen osaamistasoon. Empiirinen tutkimusaineisto sisälsi lasten (N=99) lukukäsitteen osaamistason yksilötestauksen ja laadullisen analyysin yhteensä seitsemän viikon matematiikan tuntien (880 minuutin) videoidusta opetus – oppimis -vuorovaikutuksesta. Minuutin analyysiyksikköina tarkasteltuna kuusivuotiaiden tutkimusviikon matematiikan tuntien opetus–oppimis -vuorovaikutuksesta lähes puolet ilmensi opettajalähtöisyyttä, kolmannes oppijalähtöisyyttä ja lähes viidennes ilmensi jaettua vuorovaikutusta. Kun tutkimusviikon matematiikan opetusta tarkasteltiin merkityksellisten vuorovaikutuskokonaisuuksien, episodien luokittelun pohjalta havaittiin, että kaikista viikon matematiikkaepisodeista (N=371) yli puolet edusti opettajalähtöisyyttä ja kolmannes edusti opettajalähtöisen ja jaetun vuorovaikutuksen yhdistelmää. Episodien keskimääräinen kesto oli noin kaksi minuuttia tässä tutkimuksessa. Tuloksissa ilmeni ryhmien välisiä eroja opetus–oppimis -vuorovaikutuksen ominaisuuksissa sekä erityyppisiä matematiikan tuntien rakennemalleja ja lukukäsitteen osaamistasoeroja. Monipuolinen ja muita näytteitä enemmän jaettua vuorovaikutusta edustava oppimisympäristö, oli tässä aineistossa yhteydessä keskiarvoa korkeampaan lukukäsitteen osaamistasoon. Korostetun opettajalähtöinen oppimisympäristö oli yhteydessä keskimääräiseen lukukäsitteen osaamistasoon. Muita tutkimuskohteita oppijalähtöisempi oppimisympäristö oli yhteydessä keskimääräisistä alempaan lukukäsitteen osaamistasoon. Tutkimustulosten perusteella tarkentuu kuva erilaisista opetus–oppimis -prosessin osatekijöistä, joita voidaan mahdollisesti soveltaa eri oppiaineisiin vastaavanlaisissa formaaleissa oppimisympäristöissä.

Consistency of UML based designs using ontology reasoners

Software plays an important role in our society and economy. Software development is an intricate process, and it comprises many different tasks: gathering requirements, designing new solutions that fulfill these requirements, as well as implementing these designs using a programming language into a working system. As a consequence, the development of high quality software is a core problem in software engineering. This thesis focuses on the validation of software designs. The issue of the analysis of designs is of great importance, since errors originating from designs may appear in the final system. It is considered economical to rectify the problems as early in the software development process as possible. Practitioners often create and visualize designs using modeling languages, one of the more popular being the Uni ed Modeling Language (UML). The analysis of the designs can be done manually, but in case of large systems, the need of mechanisms that automatically analyze these designs arises. In this thesis, we propose an automatic approach to analyze UML based designs using logic reasoners. This approach firstly proposes the translations of the UML based designs into a language understandable by reasoners in the form of logic facts, and secondly shows how to use the logic reasoners to infer the logical consequences of these logic facts. We have implemented the proposed translations in the form of a tool that can be used with any standard compliant UML modeling tool. Moreover, we authenticate the proposed approach by automatically validating hundreds of UML based designs that consist of thousands of model elements available in an online model repository. The proposed approach is limited in scope, but is fully automatic and does not require any expertise of logic languages from the user. We exemplify the proposed approach with two applications, which include the validation of domain specific languages and the validation of web service interfaces.

Doubly fed wind turbine performance in variable grid conditions

Wind turbines based on doubly fed induction generators (DFIG) become the most popular solution in high power wind generation industry. While this topology provides great performance with the reduced power rating of power converter, it has more complicated structure in comparison with full-rated topologies, and therefore leads to complexity of control algorithms and electromechanical processes in the system. The purpose of presented study is to present a proper vector control scheme for the DFIG and overall control for the WT to investigate its behavior at different wind speeds and in different grid voltage conditions: voltage sags, magnitude and frequency variations. The key principles of variable-speed wind turbine were implemented in simulation model and demonstrated during the study. Then, based on developed control scheme and mathematical model, the set of simulation is made to analyze reactive power capabilities of the DFIG wind turbine. Further, the rating of rotor-side converter is modified to not only generate active rated active power, but also to fulfill Grid Codes. Results of modelling and analyzing of the DFIG WT behavior under different speeds and different voltage conditions are presented in the work.

Selling customer value in B2B markets - Case KONE JumpLift

Skepticism of promised value-added is forcing suppliers to provide tangible evidence of the value they can deliver for the customers in industrial markets. Despite this, quantifying customer benefits is being thought as one of the most difficult part in business-to-business selling. The objective of this research is to identify the desired and perceived customer benefits of KONE JumpLift™ and improve the overall customer value quantification and selling process of the solution. The study was conducted with a qualitative case analysis including 7 interviews with key stakeholders from three different market areas. The market areas were chosen based on where the offering has been utilized and the research was conducted by five telephone and two email interviews. The main desired and perceived benefits include many different values for example economical, functional, symbolic and epistemic value but they vary on studied market areas. The most important result of the research was finding the biggest challenges of selling the offering which are communicating and proving the potential value to the customers. In addition, the sales arguments have different relative importance in studied market areas which create challenges for salespeople to sell the offering effectively. In managerial level this means need for investing into a new sales tool and training the salespeople.