Chromatographic recovery of chemicals from acidic biomass hydrolysates

Lignocellulosic biomasses (e.g., wood and straws) are a potential renewable source for the production of a wide variety of chemicals that could be used to replace those currently produced by petrochemical industry. This would lead to lower greenhouse gas emissions and waste amounts, and to economical savings. There are many possible pathways available for the manufacturing of chemicals from lignocellulosic biomasses. One option is to hydrolyze the cellulose and hemicelluloses of these biomasses into monosaccharides using concentrated sulfuric acid as catalyst. This process is an efficient method for producing monosaccharides which are valuable platforn chemicals. Also other valuable products are formed in the hydrolysis. Unfortunately, the concentrated acid hydrolysis has been deemed unfeasible mainly due to high chemical consumption resulting from the need to remove sulfuric acid from the obtained hydrolysates prior to the downstream processing of the monosaccharides. Traditionally, this has been done by neutralization with lime. This, however, results in high chemical consumption. In addition, the by-products formed in the hydrolysis are not removed and may, thus, hinder the monosaccharide processing. In order to improve the feasibility of the concentrated acid hydrolysis, the chemical consumption should be decreased by recycling of sulfuric acid without neutralization. Furthermore, the monosaccharides and the other products formed in the hydrolysis should be recovered selectively for efficient downstream processing. The selective recovery of the hydrolysis by-products would have additional economical benefits on the process due to their high value. In this work, the use of chromatographic fractionation for the recycling of sulfuric acid and the selective recovery of the main components from the hydrolysates formed in the concentrated acid hydrolysis was investigated. Chromatographic fractionation based on the electrolyte exclusion with gel type strong acid cation exchange resins in acid (H+) form as a stationary phase was studied. A systematic experimental and model-based study regarding the separation task at hand was conducted. The phenomena affecting the separation were determined and their effects elucidated. Mathematical models that take accurately into account these phenomena were derived and used in the simulation of the fractionation process. The main components of the concentrated acid hydrolysates (sulfuric acid, monosaccharides, and acetic acid) were included into this model. Performance of the fractionation process was investigated experimentally and by simulations. Use of different process options was also studied. Sulfuric acid was found to have a significant co-operative effect on the sorption of the other components. This brings about interesting and beneficial effects in the column operations. It is especially beneficial for the separation of sulfuric acid and the monosaccharides. Two different approaches for the modelling of the sorption equilibria were investigated in this work: a simple empirical approach and a thermodynamically consistent approach (the Adsorbed Solution theory). Accurate modelling of the phenomena observed in this work was found to be possible using the simple empirical models. The use of the Adsorbed Solution theory is complicated by the nature of the theory and the complexity of the studied system. In addition to the sorption models, a dynamic column model that takes into account the volume changes of the gel type resins as changing resin bed porosity was also derived. Using the chromatography, all the main components of the hydrolysates can be recovered selectively, and the sulfuric acid consumption of the hydrolysis process can be lowered considerably. Investigation of the performance of the chromatographic fractionation showed that the highest separation efficiency in this separation task is obtained with a gel type resin with a high crosslinking degree (8 wt. %); especially when the hydrolysates contain high amounts of acetic acid. In addition, the concentrated acid hydrolysis should be done with as low sulfuric acid concentration as possible to obtain good separation performance. The column loading and flow rate also have large effects on the performance. In this work, it was demonstrated that when recycling of the fractions obtained in the chromatographic fractionation are recycled to preceding unit operations these unit operations should included in the performance evaluation of the fractionation. When this was done, the separation performance and the feasibility of the concentrated acid hydrolysis process were found to improve considerably. Use of multi-column chromatographic fractionation processes, the Japan Organo process and the Multi-Column Recycling Chromatography process, was also investigated. In the studied case, neither of these processes could compete with the single-column batch process in the productivity. However, due to internal recycling steps, the Multi-Column Recycling Chromatography was found to be superior to the batch process when the product yield and the eluent consumption were taken into account.

Informaatiopalveluiden muutosvoimat, muutokset ja liikkuvuusesteet

Tutkimuksessa kartoitettiin informaatiopalveluiden liiketoiminta-alueella Suomessa toimivien yritysten maantieteellisiä ja palvelukohtaisia strategisia valintoja ja näissä tapahtuneita muutoksia. Tutkimuksen tavoitteena oli selvittää informaatiopalveluiden määritelmää ja strategisten ryhmien teoriaa apuna käyttäen mahdollisia muutoksia informaatiopalveluja Suomessa kuluttajille tarjoavien yritysten perinteisissä toimialoissa tutkimuksen kattamina vuosina 2007–2012. Edelleen tavoitteena oli kuvata yleisten muutosvoimien ja alaan vaikuttavien megatrendien sekä alalla havaittujen liikkuvuusesteiden avulla liiketoimintaympäristössä tapahtuneita muutoksia ja pyrkiä löytämään näihin muutoksiin vaikuttavia syitä. Yrityksiä analysoitiin vuosikertomusten perusteella ja tutkimusotteena käytettiin grounded theoryä. Informaatiopalveluilla tarkoitetaan tietotekniikka-, tietoliikenne-, kustannus- ja audiovisuaalisen toiminnan palveluja. Suoritettujen ryhmittelyjen perusteella pystyttiin havaitsemaan, että osa tutkittavista yrityksistä oli laajentanut toimintaansa perinteisten toimialarajojensa ulkopuolelle johonkin toiseen informaatiopalveluiden liiketoiminta-alueella olevaan toimialaan. Aineistosta ei muodostunut perinteisten toimialajaottelujen mukaisia yritysryhmiä. Suurimmat muutokset näyttivät tapahtuneen perinteisen tietoliikennepalveluiden toimialalla. Vuosikertomuksista tunnistettuja yritysten liiketoimintaympäristössä tapahtuneita muutoksia ja niihin vaikuttavia liikkuvuusesteitä ja muita palveluiden laajuuteen ja alueelliseen ulottuvuuteen vaikuttavia seikkoja ryhmiteltiin yhteiskuntasuhteiden kehikkoon kategorioihin: poliittiset ja lainsäädännölliset, teknologiset, sosiaaliset ja kulttuuriset, fyysiset, taloudelliset ja ekologiset tekijät. Muutosvoimista globalisaatio ja teknologinen kehitys vaikuttavat voimakkaasti ja muovaavat informaatiopalveluiden liiketoiminta-alueen yrityksiä. Internetin nopea kasvu, tiedon digitalisoituminen ja rajattoman, aina läsnä olevan viestinnän lisääntyminen ovat vaikuttaneet kuluttajien käyttäytymiseen luomalla ajasta ja paikasta riippumattoman viestimien ja palveluiden hyödyntämisen. Näiden mega-trendien vaikutus välittyy vuosikertomuksista. Juridiset ja poliittiset tekijät vaikuttavat voimakkaasti informaatiopalveluiden alueella eikä lainsäädäntö näytä vielä riittävästi tukevan innovatiivisia digitaalisia globaaleita palveluja vaan muodostaa liik-kuvuusesteitä. Kuluttajakäyttäytyminen muovaa markkinoita ja edistää teknologista kehitystä. Ala on ollut hyvin teknologiavetoinen, mutta vuosikertomusten perusteella olisi pääteltävissä, että asiakasnäkökulma on tutkimusvuosien aikana vahvistunut. Asiakaskäyttäytyminen ja siihen liittyvät tiedot tuovat tulevaisuudessa kilpailuetua.

Rigorous development of safety-critical systems

Nowadays, computer-based systems tend to become more complex and control increasingly critical functions affecting different areas of human activities. Failures of such systems might result in loss of human lives as well as significant damage to the environment. Therefore, their safety needs to be ensured. However, the development of safety-critical systems is not a trivial exercise. Hence, to preclude design faults and guarantee the desired behaviour, different industrial standards prescribe the use of rigorous techniques for development and verification of such systems. The more critical the system is, the more rigorous approach should be undertaken. To ensure safety of a critical computer-based system, satisfaction of the safety requirements imposed on this system should be demonstrated. This task involves a number of activities. In particular, a set of the safety requirements is usually derived by conducting various safety analysis techniques. Strong assurance that the system satisfies the safety requirements can be provided by formal methods, i.e., mathematically-based techniques. At the same time, the evidence that the system under consideration meets the imposed safety requirements might be demonstrated by constructing safety cases. However, the overall safety assurance process of critical computerbased systems remains insufficiently defined due to the following reasons. Firstly, there are semantic differences between safety requirements and formal models. Informally represented safety requirements should be translated into the underlying formal language to enable further veri cation. Secondly, the development of formal models of complex systems can be labour-intensive and time consuming. Thirdly, there are only a few well-defined methods for integration of formal verification results into safety cases. This thesis proposes an integrated approach to the rigorous development and verification of safety-critical systems that (1) facilitates elicitation of safety requirements and their incorporation into formal models, (2) simplifies formal modelling and verification by proposing specification and refinement patterns, and (3) assists in the construction of safety cases from the artefacts generated by formal reasoning. Our chosen formal framework is Event-B. It allows us to tackle the complexity of safety-critical systems as well as to structure safety requirements by applying abstraction and stepwise refinement. The Rodin platform, a tool supporting Event-B, assists in automatic model transformations and proof-based verification of the desired system properties. The proposed approach has been validated by several case studies from different application domains.

Karboksyylihappojen kromatografinen fraktiointi

Suurin osa alifaattisista karboksyylihapoista tuotetaan nykyään synteettisesti, mutta öljyn hinnan nousu ja ekologisempi ajattelutapa on aiheuttanut kiinnostusta tuottaa näitä karboksyyli- ja hydroksihappoja jatkossa fermentoimalla tai sellun valmistuksen sivuvirtana syntyvästä mustalipeästä. Nykyään mustalipeä poltetaan sellaisenaan soodakattiloissa keittokemikaalien regeneroimiseksi, energiaksi ja sähköksi. Jatkossa mustalipeästä voisi erottaa arvokkaat orgaaniset hapot ennen polttamista. Saadusta happoseoksesta tulisi erottaa yksittäiset alifaattiset karboksyylihapot toisistaan jatkojalostusta varten. Tämän kandidaatintyön tavoitteena oli selvittää, millä kromatografisella erotusmenetelmällä fermentointituotteina ja teollisuuden sivuvirtoina syntyvistä karboksyylihapposeoksista saadaan yksittäiset alifaattiset karboksyylihapot erotettua toisistaan. Mittaukset suoritettiin kolonnilla, jossa hartsipedin halkaisija oli 1,5 cm ja korkeus 15 cm. Kolonnin erototusmateriaaleina kokeiltiin vahvoja ja heikkoja kationinvaihtohartseja, vahvaa anioninvaihtohartsia ja polymeerisiä adsorbentteja. Erotettavaksi happoseokseksi valittiin sitruuna-, viini-, glykoli-, maito- ja etikkahapon seos. Tehokkain erotus saatiin Puroliten valmistamalla Macronet 270:lla, joka on mikrohuokoinen polymeerinen adsorbentti. Macronet 270:lla saatiin erotettua erityisesti viini- ja glykolihappo sitruuna-, maito- ja etikkahaposta. Yksittäisiä happoja ei saatu kuitenkaan kunnolla erotettua. Parhaat koeolosuhteet erotustehokkuuden ja retentioaikojen kannalta saatiin vesieluentin virtausnopeudella 2 mL/min, syöttöpulssin tilavuudella 5 mL ja kolonnin lämpötilassa 75 °C.

Structural and Computational Existence Results for Multidimensional Subshifts

Symbolic dynamics is a branch of mathematics that studies the structure of infinite sequences of symbols, or in the multidimensional case, infinite grids of symbols. Classes of such sequences and grids defined by collections of forbidden patterns are called subshifts, and subshifts of finite type are defined by finitely many forbidden patterns. The simplest examples of multidimensional subshifts are sets of Wang tilings, infinite arrangements of square tiles with colored edges, where adjacent edges must have the same color. Multidimensional symbolic dynamics has strong connections to computability theory, since most of the basic properties of subshifts cannot be recognized by computer programs, but are instead characterized by some higher-level notion of computability. This dissertation focuses on the structure of multidimensional subshifts, and the ways in which it relates to their computational properties. In the first part, we study the subpattern posets and Cantor-Bendixson ranks of countable subshifts of finite type, which can be seen as measures of their structural complexity. We show, by explicitly constructing subshifts with the desired properties, that both notions are essentially restricted only by computability conditions. In the second part of the dissertation, we study different methods of defining (classes of ) multidimensional subshifts, and how they relate to each other and existing methods. We present definitions that use monadic second-order logic, a more restricted kind of logical quantification called quantifier extension, and multi-headed finite state machines. Two of the definitions give rise to hierarchies of subshift classes, which are a priori infinite, but which we show to collapse into finitely many levels. The quantifier extension provides insight to the somewhat mysterious class of multidimensional sofic subshifts, since we prove a characterization for the class of subshifts that can extend a sofic subshift into a nonsofic one.

Enzymatic Synthesis, Recovery, and Purification of Ethyl β-ᴅ-glucopyranoside

A method to synthesize ethyl β-ᴅ-glucopyranoside (BEG) was searched. Feasibility of different ion exchange resins was examined to purify the product from the synthetic binary solution of BEG and glucose. The target was to produce at least 50 grams of 99 % pure BEG with a scaled up process. Another target was to transfer the batch process into steady-state recycle chromatography process (SSR). BEG was synthesized enzymatically with reverse hydrolysis utilizing β-glucosidase as a catalyst. 65 % of glucose reacted with ethanol into BEG during the synthesis. Different ion exchanger based resins were examined to separate BEG from glucose. Based on batch chromatography experiments the best adsorbent was chosen between styrene based strong acid cation exchange resins (SAC) and acryl based weak acid cation exchange resins (WAC). CA10GC WAC resin in Na+ form was chosen for the further separation studies. To produce greater amounts of the product the batch process was scaled up. The adsorption isotherms for the components were linear. The target purity was possible to reach already in batch without recycle with flowrate and injection size small enough. 99 % pure product was produced with scaled-up batch process. Batch process was transferred to SSR process utilizing the data from design pulse chromatograms and Matlab simulations. The optimal operating conditions for the system were determined. Batch and SSR separation results were compared and by using SSR 98 % pure products were gained with 40 % higher productivity and 40 % lower eluent consumption compared to batch process producing as pure products.

3D Mesh Simplification. A survey of algorithms and CAD model simplification tests

Simplification of highly detailed CAD models is an important step when CAD models are visualized or by other means utilized in augmented reality applications. Without simplification, CAD models may cause severe processing and storage is- sues especially in mobile devices. In addition, simplified models may have other advantages like better visual clarity or improved reliability when used for visual pose tracking. The geometry of CAD models is invariably presented in form of a 3D mesh. In this paper, we survey mesh simplification algorithms in general and focus especially to algorithms that can be used to simplify CAD models. We test some commonly known algorithms with real world CAD data and characterize some new CAD related simplification algorithms that have not been surveyed in previous mesh simplification reviews.

The effect of cationic-anionic polyelectrolyte multilayer surface treatment on inkjet ink spreading and print quality

The focus of the work reported in this thesis was to study and to clarify the effect of polyelectrolyte multilayer surface treatment on inkjet ink spreading, absorption and print quality. Surface sizing with a size press, film press with a pilot scale coater, and spray coating, have been used to surface treat uncoated wood-free, experimental wood-free and pigmentcoated substrates. The role of the deposited cationic (polydiallydimethylammonium chloride, PDADMAC) and anionic (sodium carboxymethyl cellulose, NaCMC) polyelectrolyte layers with and without nanosilica, on liquid absorption and spreading was studied in terms of their interaction with water-based pigmented and dye-based inkjet inks. Contact angle measurements were made in attempt to explain the ink spreading and wetting behavior on the substrate. First, it was noticed that multilayer surface treatment decreased the contact angle of water, giving a hydrophilic character to the surface. The results showed that the number of cationic-anionic polyelectrolyte layers or the order of deposition of the polyelectrolytes had a significant effect on the print quality. This was seen for example as a higher print density on layers with a cationic polyelectrolyte in the outermost layer. The number of layers had an influence on the print quality; the print density increased with increasing number of layers, although the increase was strongly dependent on ink formulation and chemistry. The use of nanosilica clearly affected the rate of absorption of polar liquids, which also was seen as a higher density of the black dye-based print. Slightly unexpected, the use of nanosilica increased the tendency for lateral spreading of both the pigmented and dye-based inks. It was shown that the wetting behavior and wicking of the inks on the polyelectrolyte coatings was strongly affected by the hydrophobicity of the substrate, as well as by the composition or structure of the polyelectrolyte layers. Coating only with a cationic polyelectrolyte was not sufficient to improve dye fixation, but it was demonstrated that a cationic-anionic-complex structure led to good water fastness. A threelayered structure gave the same water fastness values as a five-layered structure. Interestingly, the water fastness values were strongly dependent not only on the formed cation-anion polyelectrolyte complexes but also on the tendency of the coating to dissolve during immersion in water. Results showed that by optimizing the chemistry of the layers, the ink-substrate interaction can be optimized.

Data analysis tools and methods for DNA microarray and high-throughput sequencing data

The recent rapid development of biotechnological approaches has enabled the production of large whole genome level biological data sets. In order to handle thesedata sets, reliable and efficient automated tools and methods for data processingand result interpretation are required. Bioinformatics, as the field of studying andprocessing biological data, tries to answer this need by combining methods and approaches across computer science, statistics, mathematics and engineering to studyand process biological data. The need is also increasing for tools that can be used by the biological researchers themselves who may not have a strong statistical or computational background, which requires creating tools and pipelines with intuitive user interfaces, robust analysis workflows and strong emphasis on result reportingand visualization. Within this thesis, several data analysis tools and methods have been developed for analyzing high-throughput biological data sets. These approaches, coveringseveral aspects of high-throughput data analysis, are specifically aimed for gene expression and genotyping data although in principle they are suitable for analyzing other data types as well. Coherent handling of the data across the various data analysis steps is highly important in order to ensure robust and reliable results. Thus,robust data analysis workflows are also described, putting the developed tools andmethods into a wider context. The choice of the correct analysis method may also depend on the properties of the specific data setandthereforeguidelinesforchoosing an optimal method are given. The data analysis tools, methods and workflows developed within this thesis have been applied to several research studies, of which two representative examplesare included in the thesis. The first study focuses on spermatogenesis in murinetestis and the second one examines cell lineage specification in mouse embryonicstem cells.

Viologen based electroactive polymers and composites for durable electrochromic systems

Electrochromism, the phenomenon of reversible color change induced by a small electric charge, forms the basis for operation of several devices including mirrors, displays and smart windows. Although, the history of electrochromism dates back to the 19th century, only the last quarter of the 20th century has its considerable scientific and technological impact. The commercial applications of electrochromics (ECs) are rather limited, besides top selling EC anti-glare mirrors by Gentex Corporation and airplane windows by Boeing, which made a huge commercial success and exposed the potential of EC materials for future glass industry. It is evident from their patents that viologens (salts of 4,4ʹ-bipyridilium) were the major active EC component for most of these marketed devices, signifying the motivation of this thesis focusing on EC viologens. Among the family of electrochromes, viologens have been utilized in electrochromic devices (ECDs) for a while, due to its intensely colored radical cation formation induced by applying a small cathodic potential. Viologens can be synthesized as oligomer or in the polymeric form or as functionality to conjugated polymers. In this thesis, polyviologens (PVs) were synthesized starting from cyanopyridinium (CNP) based monomer precursors. Reductive coupling of cross-connected cyano groups yields viologen and polyviologen under successive electropolymerization using for example the cyclic voltammetry (CV) technique. For further development, a polyviologen-graphene composite system was fabricated, focusing at the stability of the PV electrochrome without sacrificing its excellent EC properties. High electrical conductivity, high surface area offered by graphene sheets together with its non-covalent interactions and synergism with PV significantly improved the electrochrome durability in the composite matrix. The work thereby continued in developing a CNP functionalized thiophene derivative and its copolymer for possible utilization of viologen in the copolymer blend. Furthermore, the viologen functionalized thiophene derivative was synthesized and electropolymerized in order to explore enhancement in the EC contrast and overall EC performance. The findings suggest that such electroactive viologen/polyviologen systems and their nanostructured composite films as well as viologen functionalized conjugated polymers, can be potentially applied as an active EC material in future ECDs aiming at durable device performances.

Lignoselluloosapohjaisten väkevähappohydrolysaattien kromatografinen fraktiointi

Väkevän hapon katalysoiman hydrolyysin avulla lignoselluloosasta on mahdollista valmistaa arvokkaita sokereita. Katalyyttinä toimiva happo voidaan käyttää uudelleen hydrolyysissä, jos se saadaan erotettua sokereista ilman neutralointia. Tämän kandidaatintyön tavoitteena oli selvittää, soveltuuko happoretardaatiotekniikka väkevähappohydrolysaatin fraktiointiin. Työssä verrattiin happoretardaatiotekniikkaa elektrolyyttiekskluusiotekniikkaan. Työn kirjallisuusosassa käsiteltiin happoretardaation ja elektrolyyttiekskluusion teoriaa. Lisäksi esiteltiin elektrolyyttiekskluusioon ja happoretardaatioon liittyviä tutkimuksia. Työn kokeellisessa osassa suoritettiin panoskromatografiakokeita käyttäen syöttöliuoksena rikkihappoa, etikkahappoa, glukoosia ja ksyloosia sisältävää synteettistä liuosta. Erotusmateriaaleina käytettiin neljää eri anionin- ja yhtä kationinvaihtohartsia. Kokeiden perusteella tutkittiin anioninvaihtohartsin tyypin ja kolonnin latauksen vaikutusta happoretardaatiotekniikalla saavutettavaan erotustulokseen sekä verrattiin elektrolyyttiekskluusiota happoretardaatioon. Työn tulosten perusteella rikkihappo laimeni happoretardaatiotekniikalla jopa 20-kertaisesti kromatografiakolonniin syötettyyn liuokseen verrattuna, riippumatta kolonnin latauksesta ja anioninvaihtohartsista. Rikkihapon laimenemisen vuoksi happoretardaatio ei soveltunut lignoselluloosapohjaisten väkevähappohydrolysaattien fraktiointiin. Elektrolyyttiekskluusiotekniikalla rikkihapon laimeneminen oli merkittävästi vähäisempää, minkä vuoksi elektrolyyttiekskluusion todettiin soveltuvan happoretardaatiota paremmin lignoselluloosapohjaisten väkevähappohydrolysaattien fraktiointiin.