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.

Perinatal development and adult blood pressure

A growing body of evidence supports the concept of fetal programming in cardiovascular disease in man, which asserts that an insult experienced in utero exerts a long-term influence on cardiovascular function, leading to disease in adulthood. However, this hypothesis is not universally accepted, hence animal models may be of value in determining potential physiological mechanisms which could explain how fetal undernutrition results in cardiovascular disease in later life. This review describes two major animal models of cardiovascular programming, the in utero protein-restricted rat and the cross-fostered spontaneously hypertensive rat. In the former model, moderate maternal protein restriction during pregnancy induces an increase in offspring blood pressure of 20-30 mmHg. This hypertensive effect is mediated, in part, by fetal exposure to excess maternal glucocorticoids as a result of a deficiency in placental 11-ß hydroxysteroid dehydrogenase type 2. Furthermore, nephrogenesis is impaired in this model which, coupled with increased activity of the renin-angiotensin system, could also contribute to the greater blood pressure displayed by these animals. The second model discussed is the cross-fostered spontaneously hypertensive rat. Spontaneously hypertensive rats develop severe hypertension without external intervention; however, their adult blood pressure may be lowered by 20-30 mmHg by cross-fostering pups to a normotensive dam within the first two weeks of lactation. The mechanisms responsible for this antihypertensive effect are less clear, but may also involve altered renal function and down-regulation of the renin-angiotensin system. These two models clearly show that adult blood pressure is influenced by exposure to one of a number of stimuli during critical stages of perinatal development.

Linguistic models for decision support

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

Future of Newspaper Business Models in Finland

The purpose of this Master’s thesis was to study the business model development in Finnish newspaper industry during the next then years through scenario planning. The objective was to see how will the business models develop amidst the many changes in the industry, what factors are affecting the change, what are the implications of these changes for the players in the industry and how should the Finnish newspaper companies evolve in order to succeed in the future. In this thesis the business model change is studied based on all the elements of business models, as it was discovered that the industry is too often focusing on changes in only few of those elements and a more broader view can provide valuable information for the companies. The results revealed that the industry is affected by many changes during the next ten years. Scenario planning provides a good tool for analyzing this change and for developing valuable options for businesses. After conducting series of interviews and discovering forces affecting the change, four different scenarios were developed centered on the role that newspaper will take and the level at which they are providing the content in the future. These scenarios indicated that there are varieties of options in the way the business models may develop and that companies should start making decisions proactively in order to succeed. As the business model elements are interdepended, changes made in the other elements will affect the whole model, making these decisions about the role and level of content important for the companies. In the future, it is likely that the Finnish newspaper industry will include many different kinds of business models, some of which can be drastically different from the current ones and some of which can still be similar, but take better into account the new kind of media environment.

Influences of alpha-tocopherol on cholesterol metabolism and fatty streak development in apolipoprotein E-deficient mice fed an atherogenic diet

Although the role of oxidized lipoproteins is well known in atherogenesis, the role of vitamin E supplementation is still controversial. There is also little information about cholesterol metabolism (hepatic concentration and fecal excretion) in the new models of atherosclerosis. In the present study, we evaluated the effect of moderate vitamin E supplementation on cholesterol metabolism and atherogenesis in apolipoprotein E (apo E)-deficient mice. Apo E-deficient mice were fed an atherogenic diet containing 40 or 400 mg/kg of alpha-tocopherol acetate for 6 weeks. Total cholesterol in serum and liver and 3-OH-alpha-sterols in feces, and fecal excretion of bile acids were determined and histological analyses of aortic lesion were performed. A vitamin E-rich diet did not affect body weight, food intake or serum cholesterol. Serum and hepatic concentrations of cholesterol as well as sterol concentration in feces were similar in both groups. However, when compared to controls, the alpha-tocopherol-treated mice showed a reduction of about 60% in the atherosclerotic lesions when both the sum of lesion areas and the average of the largest lesion area were considered. These results demonstrate that supplementation of moderate doses of alpha-tocopherol was able to slow atherogenesis in apo E-deficient mice and to reduce atherogenic lipoproteins without modifying the hepatic pool or fecal excretion of cholesterol and bile acids.

Establishment of new murine embryonic stem cell lines for the generation of mouse models of human genetic diseases

Embryonic stem cells are totipotent cells derived from the inner cell mass of blastocysts. Recently, the development of appropriate culture conditions for the differentiation of these cells into specific cell types has permitted their use as potential therapeutic agents for several diseases. In addition, manipulation of their genome in vitro allows the creation of animal models of human genetic diseases and for the study of gene function in vivo. We report the establishment of new lines of murine embryonic stem cells from preimplantation stage embryos of 129/Sv mice. Most of these cells had a normal karyotype and an XY sex chromosome composition. The pluripotent properties of the cell lines obtained were analyzed on the basis of their alkaline phosphatase activity and their capacity to form complex embryoid bodies with rhythmically contracting cardiomyocytes. Two lines, USP-1 and USP-3, with the best in vitro characteristics of pluripotency were used in chimera-generating experiments. The capacity to contribute to the germ line was demonstrated by the USP-1 cell line. This cell line is currently being used to generate mouse models of human diseases.

Comparison of Different Concentrated Solar Power Collector Designs and Development of a Linear Fresnel Solar Collector Model

Concentrated solar power (CSP) is a renewable energy technology, which could contribute to overcoming global problems related to pollution emissions and increasing energy demand. CSP utilizes solar irradiation, which is a variable source of energy. In order to utilize CSP technology in energy production and reliably operate a solar field including thermal energy storage system, dynamic simulation tools are needed in order to study the dynamics of the solar field, to optimize production and develop control systems. The object of this Master’s Thesis is to compare different concentrated solar power technologies and configure a dynamic solar field model of one selected CSP field design in the dynamic simulation program Apros, owned by VTT and Fortum. The configured model is based on German Novatec Solar’s linear Fresnel reflector design. Solar collector components including dimensions and performance calculation were developed, as well as a simple solar field control system. The preliminary simulation results of two simulation cases under clear sky conditions were good; the desired and stable superheated steam conditions were maintained in both cases, while, as expected, the amount of steam produced was reduced in the case having lower irradiation conditions. As a result of the model development process, it can be concluded, that the configured model is working successfully and that Apros is a very capable and flexible tool for configuring new solar field models and control systems and simulating solar field dynamic behaviour.

Supplier segmentation and development in project business

The purpose of this study was to expand the applicability of supplier segmentation and development approaches to the project-driven construction industry. These practices are less exploited and not well documented in this operational environment compared to the process-centric manufacturing industry. At first, portfolio models to supply base segmentation and various supplier development efforts were investigated in literature review. A step-wise framework was structured for the empirical research. The empirical study employed multiple research methods in three case studies in a large Finnish construction company. The first study categorized the construction item classes into the purchasing portfolio and positioned suppliers to the power matrix by investigating buyer-supplier relations. Using statistical tests, the study also identified factors that affect suppliers’ performance. The final case study identified improvement areas of the interface between a main contractor and one if its largest suppliers. The final results indicate that only by assessing the supply base in a holistic manner and the power circumstances in it, buyers comprehend how to best establish appropriate supplier development strategies in the project environment.

Role of immunoglobulin E and mast cells in murine models of asthma

Immunoglobulin E (IgE) and mast cells are believed to play important roles in allergic inflammation. However, their contributions to the pathogenesis of human asthma have not been clearly established. Significant progress has been made recently in our understanding of airway inflammation and airway hyperresponsiveness through studies of murine models of asthma and genetically engineered mice. Some of the studies have provided significant insights into the role of IgE and mast cells in the allergic airway response. In these models mice are immunized systemically with soluble protein antigens and then receive an antigen challenge through the airways. Bronchoalveolar lavage fluid from mice with allergic airway inflammation contains significant amounts of IgE. The IgE can capture the antigen presented to the airways and the immune complexes so formed can augment allergic airway response in a high-affinity IgE receptor (FcepsilonRI)-dependent manner. Previously, there were conflicting reports regarding the role of mast cells in murine models of asthma, based on studies of mast cell-deficient mice. More recent studies have suggested that the extent to which mast cells contribute to murine models of asthma depends on the experimental conditions employed to generate the airway response. This conclusion was further supported by studies using FcepsilonRI-deficient mice. Therefore, IgE-dependent activation of mast cells plays an important role in the development of allergic airway inflammation and airway hyperresponsiveness in mice under specific conditions. The murine models used should be of value for testing inhibitors of IgE or mast cells for the development of therapeutic agents for human asthma.

Development of Generic Simulation Model for Mobile Working Machines

This master’s thesis has been done for Drive! –project in which a new electric motor solution for mobile working machines is developed. Generic simulation model will be used as marketing and development tool. It can be used to model a wide variety of different vehicles with and without electric motor and to show customer the difference between traditionally build vehicles and those with new electric motor solution. Customers can also use simulation model to research different solutions for their own vehicles. At the start of the project it was decided that MeVEA software would be used as main simulation program and Simulink will only be used to simulate the operation of electrical components. Development of the generic model started with the research of these two software applications, simulation models which are made with them and how these simulation models can be build faster. Best results were used for building of generic simulation model. Finished generic model can be used to produce new tractor models for real-time simulations in short notice. All information about model is collected to one datasheet which can be easily filled by the user. After datasheet is filled a script will automatically build new simulation model in seconds. At the moment generic model is capable of building simulation models for wide variety of different tractors but it can be easily altered for other vehicle types too which would also benefit greatly from electric drive solution. Those could be for example wheel loaders and harvesters.

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.

Supply base development for life-cycle business

Yritysten liiketoimintamallit ovat jatkuvan kehityksen kohteena. Viimeisinä vuosina valmistavien yhtiöiden kiinnostus huolehtia asiakkaistaan koko tuotteen elinkaaren aikana ja tarjota erilaisia palveluita asiakkailleen on kasvanut. Tämän palvelujen laajentumisen myötä myös vaateet yrityksen omaa toimittajakenttää kohtaan ovat muuttuneet. Yritykset eivät kykene tuottamaan kaikkia tuotteistamiaan palveluja itse, jolloin yrityksen toimittajakenttä ja sen kyvykkyydet tuottaa tarvittavia palveluita ovat avainasemassa yrityksen menestystekijänä. Tämän työn teoriaosuudessa on esitelty toimittajakentän hallinnan perusteorioita. Kirjallisuus osuuden lisäksi työssä on hyödynnetty toimintatutkimusta kohdeyrityksessä. Tässä diplomityössä on tutkittu mahdollisia keinoja kehittää organisaation omaa toimintaa ja sekä yrityksen toimittajakenttää niin, että se tukee liiketoimintamallin kehitystä koneenrakennusyrityksestä kohti elinkaariliiketoimintaa. Työssä esitetyt keinot voidaan ottaa käyttöön, joko yksitellen tai kokonaisuutena.

Green aspects study in game development

Context: Game development has become increasingly important in the software industry, but this importance has not affected the way software engineering approaches and methodologies manage the differences they have with game development. Similarly, software engineering does not fully support sustainability practices, causing this element to often not be considered or even known as a requirement for a development lifecycle. Goal: The aim of this thesis is to study the mode in which games are developed, and the involved sustainable aspects and the relevant concerns regarding the migration processes. Method: A quantitative study was conducted, gathering 33 answers of game professionals from four continents, from administrative (25%) and technical oriented positions (75%). Results: Three trends were observed: 1) Agile process models are used, 2) major concerns for mobile development and digital marketing, 3) minor concerns for eco-impact elements and certain development phases such as testing and crunch time development. Conclusion: Traditional Software engineering would require a major change on its processes and models to fit with modern agile development, game development approaches and sustainable requirements.

Influence of melatonin on the development of functional nicotinic acetylcholine receptors in cultured chick retinal cells

The influence of melatonin on the developmental pattern of functional nicotinic acetylcholine receptors was investigated in embryonic 8-day-old chick retinal cells in culture. The functional response to acetylcholine was measured in cultured retina cells by microphysiometry. The maximal functional response to acetylcholine increased 2.7 times between the 4th and 5th day in vitro (DIV4, DIV5), while the Bmax value for [125I]-alpha-bungarotoxin was reduced. Despite the presence of alpha8-like immunoreactivity at DIV4, functional responses mediated by alpha-bungarotoxin-sensitive nicotinic acetylcholine receptors were observed only at DIV5. Mecamylamine (100 µM) was essentially without effect at DIV4 and DIV5, while dihydro-ß-erythroidine (10-100 µM) blocked the response to acetylcholine (3.0 nM-2.0 µM) only at DIV4, with no effect at DIV5. Inhibition of melatonin receptors with the antagonist luzindole, or melatonin synthesis by stimulation of D4 dopamine receptors blocked the appearance of the alpha-bungarotoxin-sensitive response at DIV5. Therefore, alpha-bungarotoxin-sensitive receptors were expressed in retinal cells as early as at DIV4, but they reacted to acetylcholine only after DIV5. The development of an alpha-bungarotoxin-sensitive response is dependent on the production of melatonin by the retinal culture. Melatonin, which is produced in a tonic manner by this culture, and is a key hormone in the temporal organization of vertebrates, also potentiates responses mediated by alpha-bungarotoxin-sensitive receptors in rat vas deferens and cerebellum. This common pattern of action on different cell models that express alpha-bungarotoxin-sensitive receptors probably reflects a more general mechanism of regulation of these receptors.

Foreign Direct Investment, Clean Development Mechanism, and Environmental Management: A case of Sub-Saharan Africa

This doctoral dissertation explores the contribution of environmental management practices, the so-called clean development mechanism (CDM) projects, and foreign direct investment (FDI) in achieving sustainable development in developing countries, particularly in Sub- Saharan Africa. Because the climate change caused by greenhouse gas emissions is one of the most serious global environmental challenges, the main focus is on the causal links between carbon dioxide (CO2) emissions, energy consumption, and economic development in Sub-Saharan Africa. In addition, the dissertation investigates the factors that have affected the distribution of CDM projects in developing countries and the relationships between FDI and other macroeconomic variables of interest. The main contribution of the dissertation is empirical. One of the publications uses crosssectional data and Tobit and Poisson regressions. Three of the studies use time-series data and vector autoregressive and vector error correction models, while two publications use panel data and panel data estimation methods. One of the publications uses thus both timeseries and panel data. The concept of Granger causality is utilized in four of the publications. The results indicate that there are significant differences in the Granger causality relationships between CO2 emissions, energy consumption, economic growth, and FDI in different countries. It appears also that the causality relationships change over time. Furthermore, the results support the environmental Kuznets curve hypothesis but only for some of the countries. As to CDM activities, past emission levels, institutional quality, and the size of the host country appear to be among the significant determinants of the distribution of CDM projects. FDI and exports are also found to be significant determinants of economic growth.