Toimintamallin luominen pohjavesien suojelemiseksi puolustusvoimien ampuma- ja harjoitusalueilla

Työssä tutkitaan puolustusvoimien pohjavesialueilla sijaitsevien ampuma- ja harjoitus-alueiden toimintojen riskejä ja määritellään niiden perusteella toimintamallia pohjavesien suojelemiseksi. Työn tilaajana on puolustusvoimat, jolla on useita harjoitusalueita luokitelluilla pohjavesialueilla. Pohjavesi on rajallinen maanalainen vesivarasto, joka on haavoittuvainen ympäristövai-kutuksille vaikean puhdistettavuutensa takia. Pohjaveden pilaaminen on lailla kielletty. Lainsäädäntö velvoittaa toiminnanharjoittajia olemaan selvillä toimintojen ympäristö-vaikutuksista ja ennalta ehkäisemään mahdollisia vaikutuksia. Työn tarkoituksena oli selvittää ampuma- ja harjoitusalueiden toimintojen riskejä poh-javedensuojelua ajatellen. Riskejä arvioitiin sijainnin ja päästöjen kannalta, satunnais-päästöriskianalyysiä käyttäen. Riskit luokiteltiin merkittävyyden kannalta eri riskiluok-kiin, joista merkittävimmille laadittiin toimenpide-ehdotuksia. Esimerkkikohteena käy-tettiin Taipalsaaren ampuma- ja harjoitusaluetta, jolle laadittiin riskianalyysin perusteella tarkkailusuunnitelmaehdotus. Työn lopputuloksena syntyi toimintamalliehdotus riskien arvioimiselle ja tarkkailu-suunnitelman laatimiselle. Tätä mallia voidaan käyttää hyväksi ampuma- ja harjoitus-alueiden ympäristövaikutuksien hallinnan suunnittelussa.

A practice perspective on organizational implementation of information technology

Implementering av ett informationssystem ur en organisatorisk synvinkel initieras av en idé om ett system och avslutas då användningen av det inte längre kräver en medveten ansträngning. Ifall tolkningen av implementering är denna, är det fråga om en långsam och komplicerad process, som berör organisationens alla parter. Ny informationsteknologi anses påverka flertalet arbetsprocesser och organiseringen av det dagliga arbetet. Möjligheterna att ta i bruk systemet och utnyttja det är många. I avhandlingen undersöks implementering av ett system för att administrera hemvårdsbesök där hemvårdare använde handdatorer för att registrera information om besökens längd och innehåll. I avhandlingen observeras vilka förändringar som sker i arbetets praxis p.g.a. det nya systemet och hur dessa förändringar påverkar vårdarbetet. Forskningen inleds med att strukturera teorier om arbetspraxis för kommande analys. Arbetspraxis är inarbetade och rutinmässiga arbetssätt i arbetets sociomateriella omgivning. Arbetspraxis i avhandlingen innebär hemvårdarens praxis och upplevd erfarenhet, där verksamheten informeras av gemensamma arbetssätt, projekt, identiteter och intressen. Organisationens auktoritet kommer även fram i den förverkligade arbetspraxisen. Forskningen genomfördes som en etnografisk longitudinell studie under åren 2001-2004. I studien observerades hur nyttjandet av handdatorerna framskred ur ett organisatoriskt perspektiv. Hemvårdares arbete och verksamhet (arbetspraxis) observerades både under vårdsbesök och under pauser. Därtill intervjuades hemvårdarna för att erhålla en bättre förståelse för de rationaliteter som styr arbetet och hur systemet togs i bruk. Dokument relaterade till projektet att införa ett nytt system och administrativa dokument har utnyttjats som källmaterial. Analysen av källmaterialet styrdes av det teoretiska tillvägagångssättet att undersöka arbetspraxis. Problem som identifierades i samband med införandet av systemet och de förändringar som det medförde analyserades i detalj. Parallellt analyserades organisatorisk makt, kontroll och arbetsidentitet. Undersökningen beskriver hur det nya systemet gradvis anpassades till hemvården efter ett initialt motstånd. Under själva implementering av systemet ifrågasattes tidigare arbetspraxis och inställningen till den eftersom arbetspraxisens materiella omgivning förändrades. Det teoretiska tillvägagångssättet i att undersöka arbetspraxis framhäver vårdarens agerande i förändringsprocessen. Resultatet av forskningen visar vikten av realistiska målsättningar, givande av gruppstöd med återkoppling samt förmåga att anpassa sig till det oväntade vid införande av informationssystem.

Catalytic transformations of fatty acid derivatives for food, oleochemicals and fuels over carbon supported platinum group metals

Växtoljor som utgör en förnybar naturresurs används som sådana eller i modifierade former i många industriella processer, som är av stor betydelse för vårt vardagliga liv. Växtoljor används i livsmedel, i kemiska och farmaceutiska produkter, i textilindustrin, för framställning av färgämnen och beläggningsmaterial samt som miljövänliga bränslekomponenter. Fetter och oljor hör till de äldsta kemiska komponenterna som utnyttjas av människan. De består huvudsakligen av glycerolestrar och fettsyror. Fetter och oljor har typiskt en kolkedja med kol-koldubbelbindningar samt karboxyl- och estergrupper, som kan genom hydrering eller dekarboxylering konverteras till nyttiga och miljövänliga produkter med hjälp av ädelmetallkatalysatorer. Aktivt kol (C) används som bärare på katalysatorerna. Väteaddition, d.v.s. hydrering av växtoljor har varit föremål för omfattande forskning i över hundra års tid. Hydreringen är en viktig process, för den tillämpas på produktion av fetter och margarin. Omättade fettsyror hydreras traditionellt på nickelbaserade heterogena katalysatorer. Samtidigt med en partiell hydrering av fettsyrorna och fettsyraestrarna som har två dubbelbindningar pågår också isomeringsreaktioner, vilka ger cis- och transisomerer av reaktantmolekylerna. Den största nackdelen med nickelkatalysatorerna är deras giftighet samt bildning av ohälsosamma transisomerer i reaktionsprodukterna. Dessutom deaktiveras nickelkatalysatorn snabbt p.g.a. att nickeltvålar bildas i reaktionsblandningen. Platinabaserade katalysatorer lider däremot inte av dessa begränsningar. Metaller i platinagruppen i det periodiska systemet studerades i detalj för att avslöja kinetiska effekter i hydreringen av cis-metyloleat. Palladium, rutenium, rhodium, platina och iridium användes som katalytiska metaller. Metallhalten på aktivkolbärare var 1 vikt-%. De olika platinametallerna undersöktes för att kartlägga konkurrerande hydrerings- och isomeringsrutter på metallerna. Det visade sig att metallerna i andra raden av det periodiska systemet (Ru, Rh, Pd) är aktivare i isomeringsprocesserna, medan metallerna i tredje raden (Ir, Pt) har en lägre aktivitet. Pd/C valdes bland platinametallerna, för att den är attraktiv ur ekonomisk synvinkel och den är mycket aktiv och selektiv, speciellt jämfört med nickel. Tyngdpunkten i arbetet var utvecklingen av en alternativ, palladiumbaserad hydreringsteknologi som skulle ersätta den traditionella teknologin som är baserad på användningen av nickelkatalysatorer. Palladiumbaserade katalysatorer kan återcirkuleras, de är aktivare och mera resistenta mot syror och de bildar mindre mängder av skadliga transisomerer. För att denna teknologi skall bli ekonomiskt hållbar och konkurrenskraftig, måste den basera sig på de bästa möjliga katalysatorerna, vilket innebär att en optimal kombination av hög aktivitet och selektivitet samt en lång livstid för katalysatorn krävs. Därför inkluderades teknologiska aspekter kraftigt i forskningen. Mycket arbete satsades på design av palladium på en mesoporös kolbärare och undersökning av korrelationerna mellan katalysatorns egenskaper och dess aktivitet i isomeriseringsreaktionerna och i hydreringen av kol-koldubbelbindningarna i reaktantmolekylen. Katalysatorerna karakteriserades med många fysikaliska och kemiska metoder (transmissionselektronmikroskopi (TEM), röntgendiffraktion (XRD), röntgenfotoelektronspektroskopi (XPS), temperaturprogrammerad reduktion (TPR), temperaturprogrammerad desorption (TPD) av kolmonoxid, kemisorption av kolmonoxid, fysisorption av kväve). Temperaturens, vätetryckets och katalysatorkoncentrationens inverkan på fettsyra- och isomersammansättningen hos de hydrerade oljorna bestämdes under kinetiska betingelser, i frånvaro av massöverföringseffekter. Syreavspjälkning genom fullständig dekarboxylering av karboxylgruppen i fettsyramolekylen är det hittills bästa sättet att framställa miljövänlig dieselolja, eftersom linjära paraffiner fås som reaktionsprodukter och en tillsats av dyr vätgas undviks. Deoxygeneringen undersöktes systematiskt på en Pd/C-katalysator (Sibunit) genom att använda mättade fettsyror C16-C20 och C22 som råvara. Produktmolekylen blev en dieselliknande kolvätemolekyl, med en kolatom färre än i utgångsmolekylen. Lika stora dekarboxyleringshastigheter observerades för rena, mättade fettsyror. En jämförelse av deoxygenereringshastigheterna för stearin-, olein- och linolsyra som råvara vid 300oC i närvaro av 1-volymprocent väte på mesoporös Pd/C (Sibunit) avslöjade att katalysatorns aktivitet och selektivitet ökade med en ökande mättningsgrad av reaktantmolekylen. Då stearinsyra användes som utgångsmolekyl, bestod huvudprodukterna av önskade C17-kolväten, medan mängden av aromatiska C17-komponenter ökade, då olein- och linolsyra användes som utgångsmolekyler. Katalysatordeaktiveringen var relativt påfallande vid deoxygeneringen av linolsyra så att endast 3% av fettsyrorna omsattes till produkter i 330 min. Deaktiveringen orsakades av aromatiska C17-komponenter samt av fettsyradimerer, som bildades via en Diels-Alderreaktion. Hydreringen av omättade fettsyror kan därför rekommenderas som ett primärt kemiskt steg i framställningen av miljövänliga dieselprodukter. Målet var också att öka förståelsen av palladiummetallernas roll i nanoskala, speciellt effekten av metallpartiklarna i katalytisk hydrering och deoxygenering. Pd/C-katalysatorer med lika stora halter av Pd syntetiserades och metallens dispersion på bärarmaterialet varierades systematiskt genom en kontrollerad uppväxt av palladiumnanopartiklar på aktiv kolbärare. Metalldispersionens effekt på hydrerings-hastigheten och cis-transförhållandet undersöktes i detalj. En optimal metalldispersion som gav den högsta dekarboxyleringshastigheten hittades. Massöverföringens inverkan på reaktionens hastighet studerades experimentellt och temperaturprogrammerad desorption av kolmonoxid från katalysatorytan undersöktes ingående. Hydrering av växtoljor genomfördes under satsvisa och kontinuerliga betingelser. Både finfördelat Pd/C och katalysatorgranulat användes i experimenten. Ett av målen med arbetet var uppskalningen av hydreringsprocesserna. Med tanke på stora produktionsvolymer var det logiskt att undersöka kontinuerliga hydrerings- och dekarboxyleringsteknologier. En kontinuerlig packad bäddreaktor studerades i laboratorieskala, vilket gav viktig information om katalysatorns långtidsstabilitet och deaktivering. Effekten av rena fettsyror och triglycerider som råvara samt metallpartikelstorleken och palladiumhalten studerades med hjälp av den kontinuerliga reaktorn. Produktionskapaciteten som erhölls med satsvis och kontinuerlig drift jämfördes. Dekarboxyleringen av stearinsyra undersöktes också i en kontinuerlig packad bädd. Omsättningsgraden blev 15% för en stabil katalysator.

Tool-supported invariant-based programming

The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to put into practice. One hurdle is deriving the loop invariants and proving that the code maintains them. So called correct-by-construction methods aim to alleviate this issue by integrating verification into the programming workflow. Invariant-based programming is a practical correct-by-construction method in which the programmer first establishes the invariant structure, and then incrementally extends the program in steps of adding code and proving after each addition that the code is consistent with the invariants. In this way, the program is kept internally consistent throughout its development, and the construction of the correctness arguments (proofs) becomes an integral part of the programming workflow. A characteristic of the approach is that programs are described as invariant diagrams, a graphical notation similar to the state charts familiar to programmers. Invariant-based programming is a new method that has not been evaluated in large scale studies yet. The most important prerequisite for feasibility on a larger scale is a high degree of automation. The goal of the Socos project has been to build tools to assist the construction and verification of programs using the method. This thesis describes the implementation and evaluation of a prototype tool in the context of the Socos project. The tool supports the drawing of the diagrams, automatic derivation and discharging of verification conditions, and interactive proofs. It is used to develop programs that are correct by construction. The tool consists of a diagrammatic environment connected to a verification condition generator and an existing state-of-the-art theorem prover. Its core is a semantics for translating diagrams into verification conditions, which are sent to the underlying theorem prover. We describe a concrete method for 1) deriving sufficient conditions for total correctness of an invariant diagram; 2) sending the conditions to the theorem prover for simplification; and 3) reporting the results of the simplification to the programmer in a way that is consistent with the invariantbased programming workflow and that allows errors in the program specification to be efficiently detected. The tool uses an efficient automatic proof strategy to prove as many conditions as possible automatically and lets the remaining conditions be proved interactively. The tool is based on the verification system PVS and i uses the SMT (Satisfiability Modulo Theories) solver Yices as a catch-all decision procedure. Conditions that were not discharged automatically may be proved interactively using the PVS proof assistant. The programming workflow is very similar to the process by which a mathematical theory is developed inside a computer supported theorem prover environment such as PVS. The programmer reduces a large verification problem with the aid of the tool into a set of smaller problems (lemmas), and he can substantially improve the degree of proof automation by developing specialized background theories and proof strategies to support the specification and verification of a specific class of programs. We demonstrate this workflow by describing in detail the construction of a verified sorting algorithm. Tool-supported verification often has little to no presence in computer science (CS) curricula. Furthermore, program verification is frequently introduced as an advanced and purely theoretical topic that is not connected to the workflow taught in the early and practically oriented programming courses. Our hypothesis is that verification could be introduced early in the CS education, and that verification tools could be used in the classroom to support the teaching of formal methods. A prototype of Socos has been used in a course at Åbo Akademi University targeted at first and second year undergraduate students. We evaluate the use of Socos in the course as part of a case study carried out in 2007.

Asymmetriskt påverkat beslutsfattande i IT-projekt

I avhandlingen beskriver Leif Marcusson vad som påverkar beslutsfattare då dessa ska fatta beslut i IT-projekt. Arbetet har mynnat ut i en modell, som beskriver asymmetrisk påverkan på beslutsfattande. Eftersom modellen är både deskriptiv och normativ kan den användas för att beskriva och för att styra beslutsfattande. Ett beslut fattas av en eller flera personer i en viss situation, där det även krävs att det finns ett beslutsunderlag. Beslutet påverkas av en mängd olika faktorer - allt från väder till ekonomi. De olika faktorerna är indelade utifrån om de påverkar beslutsunderlaget, individen eller beslutssituationen. Dessa tre delar innehåller i sig ett antal faktorsgrupper. Den första delen, Underlag, innehåller två faktorsgrupper: den ena beskriver underlagets tydlighet och den andra beskriver effekten och nyttan av det fattade beslutet. Den andra delen, Individ, innehåller fyra faktorsgrupper. Dessa beskriver det som skapat individen, det som påverkar individen, det som påverkar individens framtid och det som påverkar gruppen. Den sista delen, Situation, innehåller två faktorsgrupper, som beskriver det som styr situationen och det som påverkar den. Var och en av dessa faktorsgrupper består av ett antal faktorer, som i sin tur kan delas in i delfaktorer osv. Det finns med andra ord närapå oändligt många faktorer, som kan påverka den som ska fatta ett beslut. Förståelse för och insikt i modellen kan underlätta för beslutsfattare. Modellen är förvisso skapad för IT-projekt, men den går även att använda i andra projekt och i linjeverksamhet.

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.

On the potential utilisation of sawdust and wood chip screenings

This work is based on the utilisation of sawdust and wood chip screenings for different purposes. A substantial amount of these byproducts are readily available in the Finnish forest industry. A black liquor impregnation study showed that sawdust-like wood material behaves differently from normal chips. Furthermore, the fractionation and removal of the smallest size fractions did not have a significant effect on the impregnation of sawdust-like wood material. Sawdust kraft cooking equipped with an impregnation stage increases the cooking yield and decreases the lignin content of the produced pulp. Impregnation also increases viscosity of the pulp and decreases chlorine dioxide consumption in bleaching. In addition, impregnation increases certain pulp properties after refining. Hydrotropic extraction showed that more lignin can be extracted from hardwood than softwood. However, the particle size had a major influence on the lignin extraction. It was possible to extract more lignin from spruce sawdust than spruce chips. Wood chip screenings are usually combusted to generate energy. They can also be used in the production of kraft pulp, ethanol and chemicals. It is not economical to produce ethanol from wood chip screenings because of the expensive wood material. Instead, they should be used for production of steam and energy, kraft pulp and higher value added chemicals. Bleached sawdust kraft pulp can be used to replace softwood kraft pulp in mechanical pulp based papers because it can improve certain physical properties. It is economically more feasible to use bleached sawdust kraft pulp in stead of softwood kraft pulp, especially when the reinforcement power requirement is moderate.

Introduktionen av kärnkraften i Finland

Finlands industri har av tradition varit starkt energikrävande. Träförädlingsindustrin, som fick sin egentliga start i medlet på 1800-talet, använde stora mängder energi liksom metallförädlingsföretagen i ett senare skede. Krigstiden med sin energiransonering visade handgripligen för allmänheten liksom för specialisterna att en tillräcklig tillgång till energi är ett livsvillkor för vår industri och därmed för vårt land. Efterkrigstiden kännetecknades av en allt snabbare utbyggnad av den på vatten- och ångkraft baserade elkraftskapaciteten, en utbyggnad som den inhemska verkstadsindustrin i stor utsträckning deltog i. Men redan på 1950-talet var vattenkraften till stor del utbyggd, varför den privata såväl som den statliga sektorns intresse allt mera inriktade sig på den speciellt i USA favoriserade atomenergin. Efter fördjupade studier i kärnfysik och kärnteknik vid the International School of Nuclear Science and Engineering i USA deltog författaren av dessa rader intensivt (först som Ahlströmanställd och senare som VD för Finnatom) i den utvecklingsverksamhet inom det kärntekniska området som inte bara elproducenterna utan även verkstadsindustrin i vårt land genomförde. Det var därför naturligt för mig att som objekt för min doktorsavhandling välja introduktionen av kärnkraften i Finland med speciell fokus på den inhemska verkstadsindustrins roll. Jag ställde följande forskningsfrågor: a. När och hur skedde introduktionen av kärnkraften i Finland? b. Vilka var orsakerna till och resultatet av denna introduktion? c. Vilken var den inhemska verkstadsindustrins roll? Ett grundligt studium av litteraturen inklusive mötesprotokoll och tidningsreferat samt personligen genomförda intervjuer med ett trettiotal av de verkliga aktörerna i den långa och komplicerade introduktionsprocessen ledde till en teori, vars riktighet jag anser mig ha kunnat bevisa. Den inhemska verkstadsindustrins roll var synnerligen central. Dess representanter lyckades, bl.a. refererande till erfarenheterna från utbyggnaden av vatten- och ångkraften liksom till byggandet av den underkritiska milan YXP samt forskningsreaktorn TRIGA, övertyga beslutsfattarna om att den besatt nödig kompetens för att kompensera den kompetensbrist som kunde iakttas inom vissa områden hos den sovjetiska kärnkraftverksleverantören. De inhemska leveranserna påverkade även driftsresultatet, speciellt i fallet Lovisa, i positiv riktning. Introduktionsprocessen, som omfattade tiden från slutet av 1950-talet till början på 1980-talet, beskrevs, noterande bl.a. J. W. Creswells anvisningar, i detalj i avhandlingen. Introduktionen fick som resultat konkurrenskraftig elkraft, impuls till start av nya företag, exempelvis Nokia Elektronik, liksom en klar höjning av den tekniska nivån hos vår industri, inkluderande kärnteknisk tillverkning i stor skala. Katastrofen i Tjernobyl i slutet av april 1986 innebar emellertid att utvecklingen tog en paus på ett par decennier. Erfarenheterna från introduktionsfasen kan förhoppningsvis utnyttjas till fullo nu, när utbyggnaden av kärnkraften återupptagits i vårt land.

Leadership in repetitively innovative mature companies

Mobiltelefonen uppfanns år 1970, den förta komerciella produkten lanserades 1983 och marknaden för mobiltelefoner tog kraftigt fart 1986. Exemplet belyser fenomenet innovation såsom ett mångårigt, ofta upptill tio år eller årtionden, vilket är forkningsansatsen i doktorsavhandlingen. Studien har betraktat fenomenet utgående från ett företagsledningsperspektiv, inte som ett innovations projekt vilket är det trditionella perspektivet. Forskningen bygger vidare på kritiken mot den allmänna uppfattningen att nystartade små och entrepreneursdrivna företag är idealomgivningen för innovation. I forskningen har studerats gamla och stora innovativa konsumentvaruföretag. De sex studerade företagen drivs inte längre av företagets grundare, hans tankar, nätverk, ledningssätt, utan är mera influerat av strukturer, system och prosesser som och iståndsatts av en annan professionell ledning. Denna ledning har i viss mån förmått att professionalisera sättet hur innovation hanteras framgångsrikt i företaget. I forskningen har den innovativa företagsledningens tankevärld och dynamiken i tänkandet definierats. Genom studien framkommer dels tre påtagliga tankemönster och dels en generell beskrivning av ledningen för ett innovativt företag. Kärnan i arbetet definierar ledningens uppmärksamhetsområde vilket är kritiskt för att det innovativa tillståndet och cykeln för innovation har fortbestått. Innovationsaktivisternas roll är avgörande, där produkten formas som en funktion av idéer som någon har och jobbar med, av beslutsfattadet i företaget, samt av tolkning och slutledningen av företagets gällande och framtida verksamhetsvilkor. Detta kritiska uppmärksamhetsområde har även testats och verifierats i avhandlingen. Ur forskningen framstår belägg och ett förslag till en teori, med vilken det är möjligt att förklarar skillnaden i ledningens tänkande vid betraktelsen av de innovativa företagen och de icke-innovativa företagen.

Influence of plasma modification on surface properties and offset printability of coated paper

The properties of the paper surface play a crucial role in ensuring suitable quality and runnability in various converting and finishing operations, such as printing. Plasma surface modification makes it possible to modify the surface chemistry of paper without altering the bulk material properties. This also makes it possible to investigate the role of the surface chemistry alone on printability without influencing the porous structure of the pigment-coated paper. Since the porous structure of a pigment coating controls both ink setting and optical properties, surface chemical changes created by a plasma modification have a potential to decouple these two effects and to permit a better optimization of them both. The aim of this work was to understand the effects of plasma surface modification on paper properties, and how it influences printability in the sheet-fed offset process. The objective was to broaden the fundamental understanding of the role of surface chemistry on offset printing. The effects of changing the hydrophilicity/ hydrophobicity and the surface chemical composition by plasma activation and plasma coatings on the properties of coated paper and on ink-paper interactions as well as on sheet-fed offset print quality were investigated. In addition, the durability of the plasma surface modification was studied. Nowadays, a typical sheet-fed offset press also contains units for surface finishing, for example UVvarnishing. The role of the surface chemistry on the UV-varnish absorption into highly permeable and porous pigment-coated paper was also investigated. With plasma activation it was possible to increase the surface energy and hydrophilicity of paper. Both polar and dispersion interactions were found to increase, although the change was greater in the polar interactions due to induced oxygen molecular groups. The results indicated that plasma activation takes place particularly in high molecular weight components such as the dispersion chemicals used to stabilize the pigment and latex particles. Surface composition, such as pigment and binder type, was found to influence the response to the plasma activation. The general trend was that pilot-scale treatment modified the surface chemistry without altering the physical coating structure, whereas excessive laboratory-scale treatment increased the surface roughness and reduced the surface strength, which led to micro-picking in printing. It was shown that pilot-scale plasma activation in combination with appropriate ink oils makes it possible to adjust the ink-setting rate. The ink-setting rate decreased with linseed-oil-based inks, probably due to increased acid-base interactions between the polar groups in the oil and the plasma-treated paper surface. With mineral-oil-based inks, the ink setting accelerated due to plasma activation. Hydrophobic plasma coatings were able to reduce or even prevent the absorption of dampening water into pigmentcoated paper, even when the dampening water was applied under the influence of nip pressure. A uniform hydrophobic plasma coating with sufficient chemical affinity with ink gave an improved print quality in terms of higher print density and lower print mottle. It was also shown that a fluorocarbon plasma coating reduced the free wetting of the UV-varnish into the highly permeable and porous pigment coating. However, when the UV-varnish was applied under the influence of nip pressure, which leads to forced wetting, the role of the surface chemical composition seems to be much less. A decay in surface energy and wettability occurred during the first weeks of storage after plasma activation, after which it leveled off. However, the oxygen/carbon elemental ratio did not decrease as a function of time, indicating that ageing could be caused by a re-orientation of polar groups or by a contamination of the surface. The plasma coatings appeared to be more stable when the hydrophobicity was higher, probably due to fewer interactions with oxygen and water vapor in the air.

Microscopic simulation of pigment coating consolidation

The control of coating layer properties is becoming increasingly important as a result of an emerging demand for novel coated paper-based products and an increasing popularity of new coating application methods. The governing mechanisms of microstructure formation dynamics during consolidation and drying are nevertheless, still poorly understood. Some of the difficulties encountered by experimental methods can be overcome by the utilisation of numerical modelling and simulation-based studies of the consolidation process. The objective of this study was to improve the fundamental understanding of pigment coating consolidation and structure formation mechanisms taking place on the microscopic level. Furthermore, it is aimed to relate the impact of process and suspension properties to the microstructure of the coating layer. A mathematical model based on a modified Stokesian dynamics particle simulation technique was developed and applied in several studies of consolidation-related phenomena. The model includes particle-particle and particle-boundary hydrodynamics, colloidal interactions, Born repulsion, and a steric repulsion model. The Brownian motion and a free surface model were incorporated to enable the specific investigation of consolidation and drying. Filter cake stability was simulated in various particle systems, and subjected to a range of base substrate absorption rates and system temperatures. The stability of the filter cake was primarily affected by the absorption rate and size of particles. Temperature was also shown to have an influence. The consolidation of polydisperse systems, with varying wet coating thicknesses, was studied using imposed pilot trial and model-based drying conditions. The results show that drying methods have a clear influence on the microstructure development, on small particle distributions in the coating layer and also on the mobility of particles during consolidation. It is concluded that colloidal properties can significantly impact coating layer shrinkage as well as the internal solids concentration profile. Visualisations of particle system development in time and comparison of systems at different conditions are useful in illustrating coating layer structure formation mechanisms. The results aid in understanding the underlying mechanisms of pigment coating layer consolidation. Guidance is given regarding the relationship between coating process conditions and internal coating slurry properties and their effects on the microstructure of the coating.

Reactive dissolution of sedimentary rocks in flue gas desulfurization : modeling and experimental investigation

Svavel förekommer i kol och olja och oxideras vid förbränning till svaveldioxid (SO2). Årligen utsläpps stora mängder svaveldioxid som åstadkommer sura regn, minskning av stratosfäriskt ozon och sjukdomar. Av dessa orsaker är det nödvändigt att minska utsläppen av svaveldioxid. Den teknologi som rör planering av reaktorer och processer för rökgasavsvavling (FGD) har utvecklats kraftigt och idag använder man olika typer av lösningar. De vanligaste alternativen för FGD är våtskrubber- och semitorra skrubbersystem (Spray Dry Scrubbers, SDS) och injektionsprocesser för absorbenter. SDS-processer har studerats bland annat av Ahlbeck [4] och Klingspor [5] och injektionsprocesser av Alvfors [6]. Kalksten, som i huvusak består av kalciumkarbonat, används i rökgasavsvavling på grund av sin förmåga att binda svavel i form av sulfatsalter. Den vanligaste rökgasavsvavlingsmetoden är våtskrubbning, där det sedimentära stenmaterialets upplösningshastighet är en av de faktorer som påverkar resultatet mest. Utvärdering av kalkstensreaktivitet är därför speciellt viktig vid planering och drift av anläggningar för rökgasavsvavling. Målsättningen med detta arbete var att modellera upplösningen av olika typers kalksten för att få en kvantitativ utvärdering av kvaliteten på de analyserade proverna. Därtill testades även karbonatbiprodukter från stålindustrin för att utvärdera möjligheter att använda andra råmaterial. Det transienta förloppet har analyserats, varvid upplösningshastigheten modellerades bl.a. i avseende på tid och pH. Under arbetets gång har antalet empiriska korrelationer minskats till fördel för fysikaliska modeller av diffusiva och konvektiva masstransportfenomen. En målsättning var att skapa en effektiv och snabb metod för att testa olika absorbenter för rökgasavsvavling under transienta förlopp. I arbetet användes PSD-analys, gjordes pH-mätningar och andra utvärderingar av de fysikaliska parametrar som ingår i beräkningarna. On-line mätningar för de icke-stationära variablerna tid och pH ger möjlighet att eliminera osäkerheter. Vissa modeller kan vara komplicerade. En modell för upplösningshastigheten med mer detaljerad utvärdering av parametrar och färre approximationer är därför nödvändig då man vill utvärdera reaktionshastigheten för fasta partiklar i sur miljö. Arbetet utfördes under fyra år och fem peer review-artiklar ingår i avhandlingen.

Boundary identification in the domain of a parabolic partial differential equation

Bakgrunden och inspirationen till föreliggande studie är tidigare forskning i tillämpningar på randidentifiering i metallindustrin. Effektiv randidentifiering möjliggör mindre säkerhetsmarginaler och längre serviceintervall för apparaturen i industriella högtemperaturprocesser, utan ökad risk för materielhaverier. I idealfallet vore en metod för randidentifiering baserad på uppföljning av någon indirekt variabel som kan mätas rutinmässigt eller till en ringa kostnad. En dylik variabel för smältugnar är temperaturen i olika positioner i väggen. Denna kan utnyttjas som insignal till en randidentifieringsmetod för att övervaka ugnens väggtjocklek. Vi ger en bakgrund och motivering till valet av den geometriskt endimensionella dynamiska modellen för randidentifiering, som diskuteras i arbetets senare del, framom en flerdimensionell geometrisk beskrivning. I de aktuella industriella tillämpningarna är dynamiken samt fördelarna med en enkel modellstruktur viktigare än exakt geometrisk beskrivning. Lösningsmetoder för den s.k. sidledes värmeledningsekvationen har många saker gemensamt med randidentifiering. Därför studerar vi egenskaper hos lösningarna till denna ekvation, inverkan av mätfel och något som brukar kallas förorening av mätbrus, regularisering och allmännare följder av icke-välställdheten hos sidledes värmeledningsekvationen. Vi studerar en uppsättning av tre olika metoder för randidentifiering, av vilka de två första är utvecklade från en strikt matematisk och den tredje från en mera tillämpad utgångspunkt. Metoderna har olika egenskaper med specifika fördelar och nackdelar. De rent matematiskt baserade metoderna karakteriseras av god noggrannhet och låg numerisk kostnad, dock till priset av låg flexibilitet i formuleringen av den modellbeskrivande partiella differentialekvationen. Den tredje, mera tillämpade, metoden kännetecknas av en sämre noggrannhet förorsakad av en högre grad av icke-välställdhet hos den mera flexibla modellen. För denna gjordes även en ansats till feluppskattning, som senare kunde observeras överensstämma med praktiska beräkningar med metoden. Studien kan anses vara en god startpunkt och matematisk bas för utveckling av industriella tillämpningar av randidentifiering, speciellt mot hantering av olinjära och diskontinuerliga materialegenskaper och plötsliga förändringar orsakade av “nedfallande” väggmaterial. Med de behandlade metoderna förefaller det möjligt att uppnå en robust, snabb och tillräckligt noggrann metod av begränsad komplexitet för randidentifiering.