Subshifts with Simple Cellular Automata

A subshift is a set of in nite one- or two-way sequences over a xed nite set, de ned by a set of forbidden patterns. In this thesis, we study subshifts in the topological setting, where the natural morphisms between them are ones de ned by a (spatially uniform) local rule. Endomorphisms of subshifts are called cellular automata, and we call the set of cellular automata on a subshift its endomorphism monoid. It is known that the set of all sequences (the full shift) allows cellular automata with complex dynamical and computational properties. We are interested in subshifts that do not support such cellular automata. In particular, we study countable subshifts, minimal subshifts and subshifts with additional universal algebraic structure that cellular automata need to respect, and investigate certain criteria of `simplicity' of the endomorphism monoid, for each of them. In the case of countable subshifts, we concentrate on countable so c shifts, that is, countable subshifts de ned by a nite state automaton. We develop some general tools for studying cellular automata on such subshifts, and show that nilpotency and periodicity of cellular automata are decidable properties, and positive expansivity is impossible. Nevertheless, we also prove various undecidability results, by simulating counter machines with cellular automata. We prove that minimal subshifts generated by primitive Pisot substitutions only support virtually cyclic automorphism groups, and give an example of a Toeplitz subshift whose automorphism group is not nitely generated. In the algebraic setting, we study the centralizers of CA, and group and lattice homomorphic CA. In particular, we obtain results about centralizers of symbol permutations and bipermutive CA, and their connections with group structures.

Solar Twins and Solar Analogues in Galactic Surveys.

The Sun is a crucial benchmark for how we see the universe. Especially when it comes to the visible range of the spectrum, stars are commonly compared to the Sun, as it is the most thoroughly studied star. In this work I have focussed on two aspects of the Sun and how it is used in modern astronomy. Firstly, I try to answer the question on how similar to the Sun another star can be. Given the limits of observations, we call a solar twin a star that has the same observed parameters as the Sun within its errors. These stars can be used as stand-in suns when doing observations, as normal night-time telescopes are not built to be pointed at the Sun. There have been many searches for these twins and every one of them provided not only information on how close to the Sun another star can be, but also helped us to understand the Sun itself. In my work I have selected _ 300 stars that are both photometrically and spectroscopically close to the Sun and found 22 solar twins, of which 17 were previously unknown and can therefore help the emerging picture on solar twins. In my second research project I have used my full sample of 300 solar analogue stars to check the temperature and metallicity scale of stellar catalogue calibrations. My photometric sample was originally drawn from the Geneva-Copenhagen-Survey (Nordström et al. 2004; Holmberg et al. 2007, 2009) for which two alternative calibrations exist, i.e. GCS-III (Holmberg et al. 2009) and C11 (Casagrande et al. 2011). I used very high resolution spectra of solar analogues, and a new approach to test the two calibrations. I found a zero–point shift of order of +75 K and +0.10 dex in effective temperature and metallicity, respectively, in the GCS-III and therefore favour the C11 calibration, which found similar offsets. I then performed a spectroscopic analysis of the stars to derive effective temperatures and metallicities, and tested that they are well centred around the solar values.

Application and development of numerical methods for the modelling of innovative gas cooled fission reactors

Innovative gas cooled reactors, such as the pebble bed reactor (PBR) and the gas cooled fast reactor (GFR) offer higher efficiency and new application areas for nuclear energy. Numerical methods were applied and developed to analyse the specific features of these reactor types with fully three dimensional calculation models. In the first part of this thesis, discrete element method (DEM) was used for a physically realistic modelling of the packing of fuel pebbles in PBR geometries and methods were developed for utilising the DEM results in subsequent reactor physics and thermal-hydraulics calculations. In the second part, the flow and heat transfer for a single gas cooled fuel rod of a GFR were investigated with computational fluid dynamics (CFD) methods. An in-house DEM implementation was validated and used for packing simulations, in which the effect of several parameters on the resulting average packing density was investigated. The restitution coefficient was found out to have the most significant effect. The results can be utilised in further work to obtain a pebble bed with a specific packing density. The packing structures of selected pebble beds were also analysed in detail and local variations in the packing density were observed, which should be taken into account especially in the reactor core thermal-hydraulic analyses. Two open source DEM codes were used to produce stochastic pebble bed configurations to add realism and improve the accuracy of criticality calculations performed with the Monte Carlo reactor physics code Serpent. Russian ASTRA criticality experiments were calculated. Pebble beds corresponding to the experimental specifications within measurement uncertainties were produced in DEM simulations and successfully exported into the subsequent reactor physics analysis. With the developed approach, two typical issues in Monte Carlo reactor physics calculations of pebble bed geometries were avoided. A novel method was developed and implemented as a MATLAB code to calculate porosities in the cells of a CFD calculation mesh constructed over a pebble bed obtained from DEM simulations. The code was further developed to distribute power and temperature data accurately between discrete based reactor physics and continuum based thermal-hydraulics models to enable coupled reactor core calculations. The developed method was also found useful for analysing sphere packings in general. CFD calculations were performed to investigate the pressure losses and heat transfer in three dimensional air cooled smooth and rib roughened rod geometries, housed inside a hexagonal flow channel representing a sub-channel of a single fuel rod of a GFR. The CFD geometry represented the test section of the L-STAR experimental facility at Karlsruhe Institute of Technology and the calculation results were compared to the corresponding experimental results. Knowledge was gained of the adequacy of various turbulence models and of the modelling requirements and issues related to the specific application. The obtained pressure loss results were in a relatively good agreement with the experimental data. Heat transfer in the smooth rod geometry was somewhat under predicted, which can partly be explained by unaccounted heat losses and uncertainties. In the rib roughened geometry heat transfer was severely under predicted by the used realisable k − epsilon turbulence model. An additional calculation with a v2 − f turbulence model showed significant improvement in the heat transfer results, which is most likely due to the better performance of the model in separated flow problems. Further investigations are suggested before using CFD to make conclusions of the heat transfer performance of rib roughened GFR fuel rod geometries. It is suggested that the viewpoints of numerical modelling are included in the planning of experiments to ease the challenging model construction and simulations and to avoid introducing additional sources of uncertainties. To facilitate the use of advanced calculation approaches, multi-physical aspects in experiments should also be considered and documented in a reasonable detail.

Rakennettu areenatähteys. Rock-konsertti globalisoituvana mediaspektaakkelina 1965-2013

Kulttuurihistorian alaan kuuluva artikkeliväitöskirja edustaa populaarikulttuurin ja tarkemmin populaarimusiikin tutkimusta kiinnittyen ennen muuta audiovisuaalisen mediakulttuurin muutokseen 1960-luvulta tähän päivään. Väitöskirja käsittelee Pink Floydin, The Rolling Stonesin, U2:n ja Peter Gabrielin areenakonserttikiertueita ja kyseisten kiertueiden lavasuunnittelijoiden Mark Fisherin ja Robert Lepagen toimintaa. Tutkimus tarkastelee, miten jättiläismäiset mediaspektaakkelit saivat alkunsa, ammattimaistuivat ja globalisoituivat vuosien 1965–2013 välillä. Analyysin kohteena on se, miten ne rakentuivat ja toisaalta rakensivat areenatähteyttä sekä uudistivat audiovisuaalista kulttuuria. Konserttien avainkohtia ja populaarijulkisia aineistoja hermeneuttisesti tulkiten ja lähilukien sekä historiallisesti kontekstoiden tutkimus rakentaa kulttuurihistoriallisen kokonaistulkinnan viihdeteollisuuden mahtipontiseksi muotoutuneen ilmiön tuotannosta. Tutkimuksen lähtökohtana on populaarimusiikkitähden vaikutus 1900-luvun jälkipuoliskon ja 2000-luvun alun massamediassa ja kulttuurissa. Tarkastelemalla areenarockin mediaspektaakkeleiden kulttuurihistoriaa tutkimus ottaa kantaa niihin kaupallisiin, teknologisiin ja poliittisiin muutoksiin, jotka ovat viimeisen viidenkymmenen vuoden aikana mahdollistaneet tähteyden globaalia leviämistä. Tämän muutoksen seurauksena lähes kenestä tahansa voi tulla tähti ja lähes mistä tahansa kulttuuri-ilmiöstä voi tulla populaaria. Mutta vain jotkut tähdet ja yhtyeet esiintyvät täysille areenoille. Areenakonsertit ovatkin tähteysilmiön keskeisiä huipentumia, globaalin viihdekulttuurin äärimmäisiä manifestaatioita. Nykyiset areenoilla tapahtuvat mediaspektaakkelit ovat monimutkaista audiovisuaalista musiikkiteatteria, jossa kaikkien esityksen elementtien – teatraalisten ja audiovisuaalisten efektien – tulee olla mahdollisimman suuria ja taitavasti rytmitettyjä. Mediaspektaakkelien analyysissa tulee erityisesti kohdistaa huomio erilaisten medioiden suhteisiin sekä kysymykseen siitä, miten suuri osa audiovisuaalista konserttikokemusta itse asiassa on ennalta rakennettua ja nauhoitettua. Lavasuunnittelu yhdistää esiintyjän teatraaliset eleet ja esiintymisen laajempaan audiovisuaaliseen ja ennalta mietittyyn temaattiseen kokonaisuuteen. Tähän kuuluvat suurten konserttilavojen kertakäyttöarkkitehtuuri, valon ja pintojen yhdistäminen populaariin kuvastoon sekä itse teoksien audiovisuaalisen kerronnan historiallisiin ja nostalgisiin viitteisiin.

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.

Modification of commercial poly-lactide for extrusion coated food packaging applications

Poly-L-lactide (PLLA) is a widely used sustainable and biodegradable alternative to replace synthetic non-degradable plastic materials in the packaging industry. Conversely, its processing properties are not always optimal, e.g. insufficient melt strength at higher temperatures (necessary in extrusion coating processes). This thesis reports on research to improve properties of commercial PLLA grade (3051D from NatureWorks), to satisfy and extend end-use applications, such as food packaging by blending with modified PLLA. Adjustment of the processability by chain branching of commercial poly-L-lactide initiated by peroxide was evaluated. Several well-defined branched structures with four arms (sPLLA) were synthesized using pentaerythritol as a tetra-functional initiator. Finally, several block copolymers consisting of polyethylene glycol and PLLA (i.e. PEGLA) were produced to obtain a well extruded material with improved heat sealing properties. Reactive extrusion of poly-L-lactide was carried out in the presence of 0.1, 0.3 and 0.5 wt% of various peroxides [tert-butyl-peroxybenzoate (TBPB), 2,5-dimethyl-2,5-(tert-butylperoxy)-hexane (Lupersol 101; LOL1) and benzoyl peroxide (BPO)] at 190C. The peroxide-treated PLLAs showed increased complex viscosity and storage modulus at lower frequencies, indicating the formation of branched/cross linked architectures. The material property changes were dependent on the peroxide, and the used peroxide concentration. Gel fraction analysis showed that the peroxides, afforded different gel contents, and especially 0.5 wt% peroxide, produced both an extremely high molar mass, and a cross linked structure, not perhaps well suited for e.g. further use in a blending step. The thermal behavior was somewhat unexpected as the materials prepared with 0.5 wt% peroxide showed the highest ability for crystallization and cold crystallization, despite substantial cross linking. The peroxide-modified PLLA, i.e. PLLA melt extruded with 0.3 wt% of TBPB and LOL1 and 0.5 wt% BPO was added to linear PLLA in ratios of 5, 15 and 30 wt%. All blends showed increased zero shear viscosity, elastic nature (storage modulus) and shear sensitivity. All blends remained amorphous, though the ability of annealing was improved slightly. Extrusion coating on paperboard was conducted with PLLA, and peroxide-modified PLLA blends (90:10). All blends were processable, but only PLLA with 0.3 wt% of LOL1 afforded a smooth high quality surface with improved line speed. Adhesion levels between fiber and plastic, as well as heat seal performance were marginally reduced compared with pure 3051D. The water vapor transmission measurements (WVTR) of the blends containing LOL1 showed acceptable levels, only slightly lower than for comparable PLLA 3051D. A series of four-arm star-shaped poly-L-lactide (sPLLA) with different branch length was synthesized by ring opening polymerization (ROP) of L-lactide using pentaerythritol as initiator and stannous octoate as catalyst. The star-shaped polymers were further blended with its linear resin and studied for their melt flow and thermal properties. Blends containing 30 wt% of sPLLA with low molecular weight (30 wt%; Mwtotal: 2500 g mol-1 and 15000 g mol-1) showed lower zero shear viscosity and significantly increased shear thinning, while at the same time slightly increased crystallization of the blend. However, the amount of crystallization increased significantly with the higher molecular weight sPLLA, therefore the star-shaped structure may play a role as nucleating agent. PLLA-polyethylene glycol–PLLA triblock copolymers (PEGLA) with different PLLA block length were synthesized and their applicability as blends with linear PLLA (3051D NatureWorks) was investigated with the intention of improving heat-seal and adhesion properties of extrusion-coated paperboard. PLLA-PEG-PLLA was obtained by ring opening polymerization (ROP) of L-lactide using PEG (molecular weight 6000 g mol-1) as an initiator, and stannous octoate as catalyst. The structures of the PEGLAs were characterized by proton nuclear magnetic resonance spectroscopy (1H-NMR). The melt flow and thermal properties of all PEGLAs and their blends were evaluated using dynamic rheology, and differential scanning calorimeter (DSC). All blends containing 30 wt% of PEGLAs showed slightly higher zero shear viscosity, higher shear thinning and increased melt elasticity (based on tan delta). Nevertheless, no significant changes in thermal properties were distinguished. High molecular weight PEGLAs were used in extrusion coating line with 3051D without problems.

A systematic mapping study on open data

This thesis presented the overview of Open Data research area, quantity of evidence and establishes the research evidence based on the Systematic Mapping Study (SMS). There are 621 such publications were identified published between years 2005 and 2014, but only 243 were selected in the review process. This thesis highlights the implications of Open Data principals’ proliferation in the emerging era of the accessibility, reusability and sustainability of data transparency. The findings of mapping study are described in quantitative and qualitative measurement based on the organization affiliation, countries, year of publications, research method, star rating and units of analysis identified. Furthermore, units of analysis were categorized by development lifecycle, linked open data, type of data, technical platforms, organizations, ontology and semantic, adoption and awareness, intermediaries, security and privacy and supply of data which are important component to provide a quality open data applications and services. The results of the mapping study help the organizations (such as academia, government and industries), re-searchers and software developers to understand the existing trend of open data, latest research development and the demand of future research. In addition, the proposed conceptual framework of Open Data research can be adopted and expanded to strengthen and improved current open data applications.

The role of management accounting systems and venture capital investors for start-up firms

The role of star-up firms in economy and the importance of venture capital investors for the growth of start-up firms have been highlighted in recent years. The growth challenges of start-up firms consist of fast changing environment, the availability of venture capital funding and the development of firm management in the growth phase. A growing number of studies have focused on management accounting systems and venture capital in start-up and growth firm context. In this thesis the role of management accounting systems and venture capital investors is considered in the growth phase of firm development. The theoretical objective of this thesis is to construct a theoretical framework in order to describe the importance of management accounting systems and venture capital investors in start-up firms. The practice orientated objective of this thesis is to study the application of management accounting systems and management accounting based information in start-up firms in high-technology industry as well as the impact of venture capital for management accounting system design. In addition, the growth challenges of start-up firms are studied in order to understand the context in which management accounting systems are used. The research approach of theoretical part is conceptual as the theoretical framework is constructed by combining literature on firm growth, management accounting and venture finance in order to analyse the phenomenon. The action-orientated research approach is appropriate for analysing and describing of the studied phenomenon through empirical evidence. The empirical evidence was collected through interviews with three experts in start-up firm accelerator centers, four representatives of start-up firms and one venture capital investor. The results indicate that the growth challenges of stat-up firms are not related to the development of management accounting systems. Managers of start-up firms expressed a positive attitude towards management accounting systems that improve efficiency of operations. In start-up firms flexible and adjustable management accounting practices, such as budgets, cash flow calculations and future-orientated analysis tools, are applied that support planning and coordination of operations. The results indicate that venture capital investors affect the provision and the quality of management accounting information during the investment process. In addition, venture capital investors enhance the use of management accounting information for internal coordination in start-up firms. By applying the theoretical framework in the analysis, it can be stated that by acting as support function management accounting systems facilitate start-up firms development.