Aqueous-phase reforming of renewables for selective hydrogen production in the presence of supported platinum catalysts

The evolution of our society is impossible without a constant progress in life-important areas such as chemical engineering and technology. Innovation, creativity and technology are three main components driving the progress of chemistry further towards a sustainable society. Biomass, being an attractive renewable feedstock for production of fine chemicals, energy-rich materials and even transportation fuels, captures progressively new positions in the area of chemical technology. Knowledge of heterogeneous catalysis and chemical technology applied to transformation of biomass-derived substances will open doors for a sustainable economy and facilitates the discovery of novel environmentally-benign processes which probably will replace existing technologies in the era of biorefinary. Aqueous-phase reforming (APR) is regarded as a promising technology for production of hydrogen and liquids fuels from biomass-derived substances such as C3-C6 polyols. In the present work, aqueous-phase reforming of glycerol, xylitol and sorbitol was investigated in the presence of supported Pt catalysts. The catalysts were deposited on different support materials, including Al2O3, TiO2 and carbons. Catalytic measurements were performed in a laboratory-scale continuous fixedbed reactor. An advanced analytical approach was developed in order to identify reaction products and reaction intermediates in the APR of polyols. The influence of the substrate structure on the product formation and selectivity in the APR reaction was also investigated, showing that the yields of the desired products varied depending on the substrate chain length. Additionally, the influence of bioethanol additive in the APR of glycerol and sorbitol was studied. A reaction network was advanced explaining the formation of products and key intermediates. The structure sensitivity in the aqueous-phase reforming reaction was demonstrated using a series of platinum catalysts supported on carbon with different Pt cluster sizes in the continuous fixed-bed reactor. Furthermore, a correlation between texture physico-chemical properties of the catalysts and catalytic data was established. The effect of the second metal (Re, Cu) addition to Pt catalysts was investigated in the APR of xylitol showing a superior hydrocarbon formation on PtRe bimetallic catalysts compared to monometallic Pt. On the basis of the experimental data obtained, mathematical modeling of the reaction kinetics was performed. The developed model was proven to successfully describe experimental data on APR of sorbitol with good accuracy.

Deoxygenation of fatty acids for production of fuels and chemicals

The decreasing fossil fuel resources combined with an increasing world energy demand has raised an interest in renewable energy sources. The alternatives can be solar, wind and geothermal energies, but only biomass can be a substitute for the carbon–based feedstock, which is suitable for the production of transportation fuels and chemicals. However, a high oxygen content of the biomass creates challenges for the future chemical industry, forcing the development of new processes which allow a complete or selective oxygen removal without any significant carbon loss. Therefore, understanding and optimization of biomass deoxygenation processes are crucial for the future bio–based chemical industry. In this work, deoxygenation of fatty acids and their derivatives was studied over Pd/C and TiO2 supported noble metal catalysts (Pt, Pt–Re, Re and Ru) to obtain future fuel components. The 5 % Pd/C catalyst was investigated in semibatch and fixed bed reactors at 300 °C and 1.7–2 MPa of inert and hydrogen–containing atmospheres. Based on extensive kinetic studies, plausible reaction mechanisms and pathways were proposed. The influence of the unsaturation in the deoxygenation of model compounds and industrial feedstock – tall oil fatty acids – over a Pd/C catalyst was demonstrated. The optimization of the reaction conditions suppressed the formation of by–products, hence high yields and selectivities towards linear hydrocarbons and catalyst stability were achieved. Experiments in a fixed bed reactor filled with a 2 % Pd/C catalyst were performed with stearic acid as a model compound at different hydrogen–containing gas atmospheres to understand the catalyst stability under various conditions. Moreover, prolonged experiments were carried out with concentrated model compounds to reveal the catalyst deactivation. New materials were proposed for the selective deoxygenation process at lower temperatures (~200 °C) with a tunable selectivity to hydrodeoxygenation by using 4 % Pt/TiO2 or decarboxylation/decarbonylation over 4 % Ru/TiO2 catalysts. A new method for selective hydrogenation of fatty acids to fatty alcohols was demonstrated with a 4 % Re/TiO2 catalyst. A reaction pathway and mechanism for TiO2 supported metal catalysts was proposed and an optimization of the process conditions led to an increase in the formation of the desired products.

Catalytic upgrading of biomass extractives to fine chemicals over supported ionic liquid catalysts (SILCAs)

Behovet av förnyelsebar energi ökar ständigt eftersom det finns en strävan att minska beroendet av fossila bränslen. Dessutom är tillgångar av fossila bränslen begränsade. Miljövänliga processer för bioraffinaderier erbjuder en stor möjlighet för produktion av energi, bränslen och kemikalier. Den finska och svenska skogsindustrin har en lång tradition i utnyttjandet av skogsbiomassor. Bioraffinaderier som integreras med pappers- och cellulosaindustrin kan frambringa både ekonomiska och ekologiska fördelar i framställning av traditionella och biobaserade produkter. I doktorsarbetet studerades omvandling av extraktivämnen till finkemikalier som kan användas t.ex. av läkemedelsindustrin. Extraktivämnen fås ur biomassa. I forskningsarbetet framställdes biobaserade finkemikalier med hjälp av katalysatorer som baserar sig på joniska vätskor. Biomassan består av cellulosa, hemicellulosa, lignin och extraktivämnen, vilka huvudsakligen är terpener, vaxer och fettsyror. Extraktivämen är vedens komponenter, som kan separeras ur vedmaterialet med hjälp av neutrala lösningsmedel. Joniska vätskekatalysatorer som var immobiliserade på fasta bärare utnyttjades för isomerisering av α,β-pinenoxider samt hydrogenering citral. Inverkan av joniska vätskor på katalysatorns aktivitet och reaktionernas produktfördelning undersöktes under varierande reaktionsbetingelser. Kinetiska modeller för pinenoxidens isomeriseringsreaktioner beskrev väl experimentellt upptäckta skillnader mellan olika katalysatorer. --------------------------------------------------- Uusiutuvan energian tarve on kasvussa, koska riippuvuutta fossiilisista polttoaineista pyritään vähentämään. Tämän lisäksi fossiilisten polttoaineiden varannot ovat rajalliset. Ympäristöystävälliset biojalostusprosessit ovat näin ollen suuri mahdollisuus energian, polttoaineiden ja kemikaalien tuotannossa. Suomen ja Ruotsin metsäteollisuudella on pitkät perinteet metsäbiomassojen hyödyntämisessä. Paperi- ja selluteollisuuden yhteyteen integroiduilla biojalostamoilla voidaan luoda taloudellisia ja ympäristöllisiä etuja sekä perinteisten että biopohjaisten tuotteiden valmistuksessa. Väitöstyössä on tutkittu biomassan uuteaineiden kemiallista muuntamista hienokemikaaleiksi, joita voidaan käyttää esimerkiksi lääkeaineteollisuudessa. Biopohjaisia hienokemikaaleja on valmistettu biomassan uuteaineista ionisiin nesteisiin perustuvilla katalyyteillä. Biomassa koostuu selluloosasta, hemiselluloosasta, ligniinistä sekä uuteaineista, jotka ovat pääosin terpeenejä, vahoja tai rasvahappoja. Uuteaineet ovat puun komponentteja, jotka voidaan erottaa puusta neutraalien liuottimien avulla. Kiinteän kantajan päälle immobilisoituja ionisia nestekatalyyttejä (Supported Ionic Liquid Catalyst) hyödynnettiin α,β-pineenioksidien isomerisointireaktioissa sekä sitraalin vedytysreaktioissa. Ionisten nesteiden vaikutusta katalyyttien aktiivisuuteen sekä reaktioiden tuotejakaumaan tutkittiin erilaisissa reaktio-olosuhteissa. Pineenioksidien isomerisointireaktioiden kineettiset mallit kuvasivat hyvin kokeellisesti todettuja katalyyttien eroavaisuuksia.

Transformation of carbon dioxide to diethyl carbonate over ceria and ceria-supported catalysts

Carbon dioxide is regarded, nowadays, as a primary anthropogenic greenhouse gas leading to global warming. Hence, chemical fixation of CO2 has attracted much attention as a possible way to manufacture useful chemicals. One of the most interesting approaches of CO2 transformations is the synthesis of organic carbonates. Since conventional production technologies of these compounds involve poisonous phosgene and carbon monoxide, there is a need to develop novel synthetic methods that would better match the principles of "Green Chemistry" towards protection of the environment and human health. Over the years, synthesis of dimethyl carbonate was under intensive investigation in the academia and industry. Therefore, this study was entirely directed towards equally important homologue of carbonic esters family namely diethyl carbonate (DEC). Novel synthesis method of DEC starting from ethanol and CO2 over heterogeneous catalysts based on ceria (CeO2) was studied in the batch reactor. However, the plausible drawback of the reaction is thermodynamic limitations. The calculated values revealed that the reaction is exothermic (ΔrHØ298K = ─ 16.6 J/ ) and does not occur spontaneously at rooms temperature (ΔrGØ 298K = 35.85 kJ/mol). Moreover, co-produced water easily shifts the reaction equilibrium towards reactants excluding achievement of high yields of the carbonate. Therefore, in-situ dehydration has been applied using butylene oxide as a chemical water trap. A 9-fold enhancement in the amount of DEC was observed upon introduction of butylene oxide to the reaction media in comparison to the synthetic method without any water removal. This result confirms that reaction equilibrium was shifted in favour of the desired product and thermodynamic boundaries of the reaction were suppressed by using butylene oxide as a water scavenger. In order to obtain insight into the reaction network, the kinetic experiments were performed over commercial cerium oxide. On the basis of the selectivity/conversion profile it could be concluded that the one-pot synthesis of diethyl carbonate from ethanol, CO2 and butylene oxide occurs via a consecutive route involving cyclic carbonate as an intermediate. Since commercial cerium oxide suffers from the deactivation problems already after first reaction cycle, in-house CeO2 was prepared applying room temperature precipitation technique. Variation of the synthesis parameters such as synthesis time, calcination temperature and pH of the reaction solution turned to have considerable influence on the physico-chemical and catalytic properties of CeO2. The increase of the synthesis time resulted in high specific surface area of cerium oxide and catalyst prepared within 50 h exhibited the highest amount of basic sites on its surface. Furthermore, synthesis under pH 11 yielded cerium oxide with the highest specific surface area, 139 m2/g, among all prepared catalysts. Moreover, CeO2─pH11 catalyst demonstrated the best catalytic activity and 2 mmol of DEC was produced at 180 oC and 9 MPa of the final reaction pressure. In addition, ceria-supported onto high specific surface area silicas MCM-41, SBA-15 and silica gel were synthesized and tested for the first time as catalysts in the synthesis of DEC. Deposition of cerium oxide on MCM-41 and SiO2 supports resulted in a substantial increase of the alkalinity of the carrier materials. Hexagonal SBA-15 modified with 20 wt % of ceria exhibited the second highest basicity in the series of supported catalysts. Evaluation of the catalytic activity of ceria-supported catalysts showed that reaction carried out over 20 wt % CeO2-SBA-15 generated the highest amount of DEC.

Bio-ethanol valorization towards C4s including 1-butanol over metal modified alumina and zeolite catalysts

Bio-ethanol has been used as a fuel additive in modern society aimed at reducing CO2-emissions and dependence on oil. However, ethanol is unsuitable as fuel supplement in higher proportions due to its physico-chemical properties. One option to counteract the negative effects is to upgrade ethanol in a continuous fixed bed reactor to more valuable C4 products such as 1-butanol providing chemical similarity with traditional gasoline components. Bio-ethanol based valorization products also have other end-uses than just fuel additives. E.g. 1-butanol and ethyl acetate are well characterised industrial solvents and platform chemicals providing greener alternatives. The modern approach is to apply heterogeneous catalysts in the investigated reactions. The research was concentrated on aluminium oxide (Al2O3) and zeolites that were used as catalysts and catalyst supports. The metals supported (Cu, Ni, Co) gave very different product profiles and, thus, a profound view of different catalyst preparation methods and characterisation techniques was necessary. Additionally, acidity and basicity of the catalyst surface have an important role in determining the product profile. It was observed that ordinary determination of acid strength was not enough to explain all the phenomena e.g. the reaction mechanism. One of the main findings of the thesis is based on the catalytically active site which originates from crystallite structure. As a consequence, the overall evaluation of different by-products and intermediates was carried out by combining the information. Further kinetic analysis was carried out on metal (Cu, Ni, Co) supported self-prepared alumina catalysts. The thesis gives information for further catalyst developments aimed to scale-up towards industrially feasible operations.

α-Pinene oxide and verbenol oxide isomerizations over heterogeneous catalysts

Terpenes are a valuable natural resource for the production of fine chemicals. Turpentine, obtained from biomass and also as a side product of softwood industry, is rich in monoterpenes such as α-pinene and β-pinene, which are widely used as raw materials in the synthesis of flavors, fragrances and pharmaceutical compounds. The rearrangement of their epoxides has been thoroughly studied in recent years, as a method to obtain compounds which are further used in the fine chemical industry. The industrially most desired products of α-pinene oxide isomerization are campholenic aldehyde and trans-carveol. Campholenic aldehyde is an intermediate for the manufacture of sandalwood-like fragrances such as santalol. Trans-carveol is an expensive constituent of the Valencia orange essence oil used in perfume bases and food flavor composition. Furthermore it has been found to exhibit chemoprevention of mammary carcinogenesis. A wide range of iron and ceria supported catalysts were prepared, characterized and tested for α-pinene oxide isomerization in order to selective synthesis of above mentioned products. The highest catalytic activity in the preparation of campholenic aldehyde over iron modified catalysts using toluene as a solvent at 70 °C (total conversion of α-pinene oxide with a selectivity of 66 % to the desired aldehyde) was achieved in the presence of Fe-MCM-41. Furthermore, Fe-MCM-41 catalyst was successfully regenerated without deterioration of catalytic activity and selectivity. The most active catalysts in the synthesis of trans-carveol from α-pinene oxide over iron and ceria modified catalysts in N,N-dimethylacetamide as a solvent at 140 °C (total conversion of α-pinene oxide with selectivity 43 % to trans-carveol) were Fe-Beta-300 and Ce-Si-MCM-41. These catalysts were further tested for an analogous reaction, namely verbenol oxide isomerization. Verbenone is another natural organic compound which can be found in a variety of plants or synthesized by allylic oxidation of α-pinene. An interesting product which is synthesized from verbenone is (1R,2R,6S)-3-methyl-6-(prop-1-en-2-yl)cyclohex-3-ene-1,2-diol. It has been discovered that this diol possesses potent anti-Parkinson activity. The most effective way leading to desired diol starts from verbenone and includes three stages: epoxidation of verbenone to verbenone oxide, reduction of verbenone oxide and subsequent isomerization of obtained verbenol oxide, which is analogous to isomerization of α-pinene oxide. In the research focused on the last step of these synthesis, high selectivity (82 %) to desired diol was achieved in the isomerization of verbenol oxide at a conversion level of 96 % in N,N-dimethylacetamide at 140 °C using iron modified zeolite, Fe-Beta-300. This reaction displayed surprisingly high selectivity, which has not been achieved yet. The possibility of the reuse of heterogeneous catalysts without activity loss was demonstrated.

New biomass derived carbon catalysts for biomass valorization

Due to diminishing petroleum reserves, unsteady market situation and the environmental concerns associated with utilization of fossil resources, the utilization of renewables for production of energy and chemicals (biorefining) has gained considerable attention. Biomass is the only sustainable source of organic compounds that has been proposed as petroleum equivalent for the production of fuels, chemicals and materials. In fact, it would not be wrong to say that the only viable answer to sustainably convene our future energy and material requirements remain with a bio-based economy with biomass based industries and products. This has prompted biomass valorization (biorefining) to become an important area of industrial research. While many disciplines of science are involved in the realization of this effort, catalysis and knowledge of chemical technology are considered to be particularly important to eventually render this dream to come true. Traditionally, the catalyst research for biomass conversion has been focused primarily on commercially available catalysts like zeolites, silica and various metals (Pt, Pd, Au, Ni) supported on zeolites, silica etc. Nevertheless, the main drawbacks of these catalysts are coupled with high material cost, low activity, limited reusability etc. – all facts that render them less attractive in industrial scale applications (poor activity for the price). Thus, there is a particular need to develop active, robust and cost efficient catalytic systems capable of converting complex biomass molecules. Saccharification, esterification, transesterification and acetylation are important chemical processes in the valorization chain of biomasses (and several biomass components) for production of platform chemicals, transportation fuels, food additives and materials. In the current work, various novel acidic carbons were synthesized from wastes generated from biodiesel and allied industries, and employed as catalysts in the aforementioned reactions. The structure and surface properties of the novel materials were investigated by XRD, XPS, elemental analysis, SEM, TEM, TPD and N2-physisorption techniques. The agro-industrial waste derived sulfonic acid functionalized novel carbons exhibit excellent catalytic activity in the aforementioned reactions and easily outperformed liquid H2SO4 and conventional solid acids (zeolites, ion-exchange resins etc). The experimental results indicated strong influence of catalyst pore-structure (pore size, pore-volume), concentration of –SO3H groups and surface properties in terms of the activity and selectivity of these catalysts. Here, a large pore catalyst with high –SO3H density exhibited the highest esterification and transesterification activity, and was successfully employed in biodiesel production from fatty acids and low grade acidic oils. Also, a catalyst decay model was proposed upon biodiesel production and could explain that the catalyst loses its activity mainly due to active site blocking by adsorption of impurities and by-products. The large pore sulfonated catalyst also exhibited good catalytic performance in the selective synthesis of triacetin via acetylation of glycerol with acetic anhydride and out-performed the best zeolite H-Y with respect to reusability. It also demonstrated equally good activity in acetylation of cellulose to soluble cellulose acetates, with the possibility to control cellulose acetate yield and quality (degree of substitution, DS) by a simple adjustment of reaction time and acetic anhydride concentration. In contrast, the small pore and highly functionalized catalysts obtained by hydrothermal method and from protein rich waste (Jatropha de-oiled waste cake, DOWC), were active and selective in the esterification of glycerol with fatty acids to monoglycerides and saccharification of cellulosic materials, respectively. The operational stability and reusability of the catalyst was found to depend on the stability of –SO3H function (leaching) as well as active site blocking due to adsorption of impurities during the reaction. Thus, our results corroborate the potential of DOWC derived sulfated mesoporous active carbons as efficient integrated solid acid catalysts for valorization of biomass to platform chemicals, biofuel, bio-additive, surfactants and celluloseesters.

SIMULATION OF AMB SUPPORTED ROTOR DURING DROP ON RETAINER BEARINGS

The active magnetic bearings present a new technology which has many advantages compared to traditional bearing designs. Active magnetic bearings, however, require retainer bearings order to prevent damages in the event of a component, power or a control loop failure. In the dropdown situation, when the rotor drops from the magnetic bearings to the retainer bearings, the design parameters of the retainer bearings have a significant influence on the behaviour of the rotor. In this study, the dynamics of an active magnetic bearings supported electric motor during rotor drop on retainer bearings is studied using a multibody simulation approach. Various design parameters of retainer bearings are studied using a simulation model while results are compared with those found in literature. The retainer bearings are modelled using a detailed ball bearing model, which accounts damping and stiffness properties, oil film and friction between races and rolling elements. The model of the ball bearings includes inertia description of rollingelements. The model of the magnetic bearing system contains unbalances of the rotor and stiffness and damping properties of support. In this study, a computationally efficient contact model between the rotor and the retainer bearings is proposed. In addition, this work introduces information for the design of physicalprototype and its retainer bearings.

Simulation Supported Robot Programming using XML

The main objective of this master's thesis is to study robot programming using simulation software, and also how to embed the simulation software into company's own robot controlling software. The further goal is to study a new communication interface to the assembly line's components -more precisely how to connect the robot cell into this new communication system. Conveyor lines are already available where the conveyors use the new communication standard. The robot cell is not yet capable of communicating with to other devices using the new communication protocols. The main problem among robot manufacturers is that they all have their own communication systems and programming languages. There has not been any common programming language to program all the different robot manufacturers robots, until the RRS (Realistic Robot Simulation) standards were developed. The RRS - II makes it possible to create the robot programs in the simulation software and it gives a common user interface for different robot manufacturers robots. This thesis will present the RRS - II standard and the robot manufacturers situation for the RRS - II support. Thesis presents how the simulation software can be embedded into company's own robot controlling software and also how the robot cell can be connected to the CAMX (Computer Aided Manufacturing using XML) communication system.

Service product structure supported by remote diagnostics

Työn tavoitteena oli määrittää etähuoltokonseptin yleinen rakenne sekä selvittää asiakkaille tarjottavia modulaarisia palvelutuotteita. Aluksi selvitettiin huoltokonseptin rakennetta kirjallisuuden ja asiantuntijoiden haastattelujen avulla. Asiantuntijoiden haastattelut toteutettiin vapaamuotoisesti kysymyslistaa apuna käyttäen. Tämän lisäksi työssä pohditaan KM, CRM ja PDM rooleja etähuoltokonseptin kannalta sekä tutkaillaan etähuollon tulevaisuuden näkymiä.Diplomityössä käsitellään modulaarisuutta yleisellä tasolla. Moduularisuus on moniulotteinen termi. Usein sillä tarkoitetaan yrityksen sisäistä tuotekehityksen hallintaa. Toisaalta se voidaan nähdä myös asiakkaalle tarjottavina tuotteina ja tässä diplomityössä on keskitytty tähän puoleen. Loppuosa diplomityöstä käsittelee palvelutuotteiden tuotteistamisprosessia.Diplomityön tuloksena hahmoteltiin etähuolto konseptia ja tutkittiin mahdollisia palvelutuotteita, joita voidaan sisällyttää etähuoltokonseptiin. Tämän lisäksi toteutettiin osa tuotteistamisprosessista. Etähuollon kehittäminen on haasteellista. Haasteeksi jää tuotekehitystoiminnan ja palvelupuolen toiminnan tehostaminen, jotta tuotteita voitaisiin jo suunnittelupuolella kehittää etähuollon tarpeisiin. Kehittäminen vaatii molempien puolien aktiivista osallistumista.

Fischer-Tropsch Slurry Bubble Column Reactor Modeling

The literature part of the work reviews overall Fischer-Tropsch process, Fischer-Tropsch reactors and catalysts. Fundamentals of Fischer-Tropsch modeling are also presented. The emphasis is on the reactor unit. Comparison of the reactors and the catalysts is carried out to choose the suitable reactor setup for the modeling work. The effects of the operation conditions are also investigated. Slurry bubble column reactor model operating with cobalt catalyst is developed by taking into account the mass transfer of the reacting components (CO and H2) and the consumption of the reactants in the liquid phase. The effect of hydrostatic pressure and the change in total mole flow rate in gas phase are taken into account in calculation of the solubilities. The hydrodynamics, reaction kinetics and product composition are determined according to literature. The cooling system and furthermore the required heat transfer area and number of cooling tubes are also determined. The model is implemented in Matlab software. Commercial scale reactor setup is modeled and the behavior of the model is investigated. The possible inaccuraries are evaluated and the suggestions for the future work are presented. The model is also integrated to Aspen Plus process simulation software, which enables the usage of the model in more extensive Fischer-Tropsch process simulations. Commercial scale reactor of diameter of 7 m and height of 30 m was modeled. The capacity of the reactor was calculated to be about 9 800 barrels/day with CO conversion of 75 %. The behavior of the model was realistic and results were in the right range. The highest uncertainty to model was estimated to be caused by the determination of the kinetic rate.

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.

Immobilization of Burkholderia cepacia Lipase: Kinetic Resolution in Organic Solvents, Ionic Liquids and in Their Mixtures

Immobilization of Burkholderia cepacia Lipase: Kinetic Resolution in Organic Solvents, Ionic Liquids and in Their Mixtures Biocatalysis opens the door to green and sustainable processes in synthetic chemistry allowing the preparation of single enantiomers, since the enzymes are chiral and accordingly able to catalyze chemical reactions under mild conditions. Immobilization of enzymes enhances process robustness, often stabilizes and activates the enzyme, and enables reuse of the same enzyme preparation in multiple cycles. Although hundreds of variations of immobilization methods exist, there is no universal method to yield the highly active, selective and stable enzyme catalysts. Therefore, new methods need to be developed to obtain suitable catalysts for different substrates and reaction environments. Lipases are the most widely used enzymes in synthetic organic chemistry. The literature part together with the experimental part of this thesis discusses of the effects of immobilization methods mostly used to enhance lipase activity, stability and enantioselectivity. Moreover, the use of lipases in the kinetic resolution of secondary alcohols in organic solvents and in ionic liquids is discussed. The experimental work consists of the studies of immobilization of Burkholderia cepacia lipase (lipase PS) using three different methods: encapsulation in sol-gels, cross-linked enzyme aggregates (CLEAs) and supported ionic liquids enzyme catalysts (SILEs). In addition, adsorption of lipase PS on celite was studied to compare the results obtained with sol-gels, CLEAs and SILEs. The effects of immobilization on enzyme activity, enantioselectivity and hydrolysis side reactions were studied in kinetic resolution of three secondary alcohols in organic solvents, in ionic liquids (ILs), and in their mixtures. Lipase PS sol-gels were shown to be active and stable catalysts in organic solvents and solvent:IL mixtures. CLEAs and SILEs were highly active and enantioselective in organic solvents. Sol-gels and SILEs were reusable in several cycles. Hydrolysis side reaction was suppressed in the presence of sol-gels and CLEAs.

Communicative and Anticipatory Decision-Making Supported by Bayesian Networks

The purpose of this research is to draw up a clear construction of an anticipatory communicative decision-making process and a successful implementation of a Bayesian application that can be used as an anticipatory communicative decision-making support system. This study is a decision-oriented and constructive research project, and it includes examples of simulated situations. As a basis for further methodological discussion about different approaches to management research, in this research, a decision-oriented approach is used, which is based on mathematics and logic, and it is intended to develop problem solving methods. The approach is theoretical and characteristic of normative management science research. Also, the approach of this study is constructive. An essential part of the constructive approach is to tie the problem to its solution with theoretical knowledge. Firstly, the basic definitions and behaviours of an anticipatory management and managerial communication are provided. These descriptions include discussions of the research environment and formed management processes. These issues define and explain the background to further research. Secondly, it is processed to managerial communication and anticipatory decision-making based on preparation, problem solution, and solution search, which are also related to risk management analysis. After that, a solution to the decision-making support application is formed, using four different Bayesian methods, as follows: the Bayesian network, the influence diagram, the qualitative probabilistic network, and the time critical dynamic network. The purpose of the discussion is not to discuss different theories but to explain the theories which are being implemented. Finally, an application of Bayesian networks to the research problem is presented. The usefulness of the prepared model in examining a problem and the represented results of research is shown. The theoretical contribution includes definitions and a model of anticipatory decision-making. The main theoretical contribution of this study has been to develop a process for anticipatory decision-making that includes management with communication, problem-solving, and the improvement of knowledge. The practical contribution includes a Bayesian Decision Support Model, which is based on Bayesian influenced diagrams. The main contributions of this research are two developed processes, one for anticipatory decision-making, and the other to produce a model of a Bayesian network for anticipatory decision-making. In summary, this research contributes to decision-making support by being one of the few publicly available academic descriptions of the anticipatory decision support system, by representing a Bayesian model that is grounded on firm theoretical discussion, by publishing algorithms suitable for decision-making support, and by defining the idea of anticipatory decision-making for a parallel version. Finally, according to the results of research, an analysis of anticipatory management for planned decision-making is presented, which is based on observation of environment, analysis of weak signals, and alternatives to creative problem solving and communication.