A Model-Based Development and Verification Framework for Distributed System-on-Chip Architecture

The capabilities and thus, design complexity of VLSI-based embedded systems have increased tremendously in recent years, riding the wave of Moore’s law. The time-to-market requirements are also shrinking, imposing challenges to the designers, which in turn, seek to adopt new design methods to increase their productivity. As an answer to these new pressures, modern day systems have moved towards on-chip multiprocessing technologies. New architectures have emerged in on-chip multiprocessing in order to utilize the tremendous advances of fabrication technology. Platform-based design is a possible solution in addressing these challenges. The principle behind the approach is to separate the functionality of an application from the organization and communication architecture of hardware platform at several levels of abstraction. The existing design methodologies pertaining to platform-based design approach don’t provide full automation at every level of the design processes, and sometimes, the co-design of platform-based systems lead to sub-optimal systems. In addition, the design productivity gap in multiprocessor systems remain a key challenge due to existing design methodologies. This thesis addresses the aforementioned challenges and discusses the creation of a development framework for a platform-based system design, in the context of the SegBus platform - a distributed communication architecture. This research aims to provide automated procedures for platform design and application mapping. Structural verification support is also featured thus ensuring correct-by-design platforms. The solution is based on a model-based process. Both the platform and the application are modeled using the Unified Modeling Language. This thesis develops a Domain Specific Language to support platform modeling based on a corresponding UML profile. Object Constraint Language constraints are used to support structurally correct platform construction. An emulator is thus introduced to allow as much as possible accurate performance estimation of the solution, at high abstraction levels. VHDL code is automatically generated, in the form of “snippets” to be employed in the arbiter modules of the platform, as required by the application. The resulting framework is applied in building an actual design solution for an MP3 stereo audio decoder application.

Towards optimal fractionation of lignocellulosic biomass using switchable ionic liquids

En ny familj av reversibla (switchable) joniska vätskor (SIL) innehållande 1,8-diazobicyklo-[5.4.0]-undek-7-en (DBU), en molekyl innehållande en eller flera hydroxyl- grupper (t.ex. glycerol) och en sur gas (CO2, SO2) syntetiserades via en enkel procedur samt karakteriserades. [DBU][karbonat] eller [sulfonat] bildades ur en respektive icke-jonisk blandning av en molekylär, organisk polyol (eller ennan molekyl innehållande en OH-grupp) och en amidinbas under bubblandet av en sur gas. Därtill kunde den joniska vätskan omvandlas tillbaka till sina beståndsdelar med hjälp av att upphetta och/eller bubbla en inert gas såsom kväve genom vätskan. SIL- strukturerna kartlades med bl.a. NMR- och FTIR- spektroskopi. Omvandlingen från lågpolära (molekylära) vätskor till högpolära joniska vätskor (SIL) bekräftades även genom att observera förändringar i deras fysikaliska egenskaper, såsom viskositet och färg. Nedbrytningstemperaturerna hos SILs bestämdes med hjälp av termogravimetrisk analys (TGA) som antydde att nedbrytningstemperaturen hos de syntetiserade föreningarna log mellan 50 och 200oC. De nya joniska vätskorna uppvisade högre nedbrytningstemperaturer jämfört med i litteraturen tidigare förekommande exempel och kunde därför tillämpas på flera ändamål. Därtill, reversibla (switchable) joniska vätskor uppbyggda av bl.a. alkoholer, antingen hexanol eller butanol, och CO2 samt en amidin (DBU) användes vid upplösning och fraktionering av ved. Joniska vätskor syntetiserade ur glycerol och sura gaser tillsammans med amidiner användes även för fraktionering av andra lignocellulosor såsom färsk björk (Betula pendula). Björkflis utsattes för behandling, för en period på en till fem dagar vid 100oC och under atmosfäriskt tryck. Alla syntetiserade joniska vätskor visade sig vara relativt neutrala i avseende på upplösning och avlägsnandet av lignin. Slutligen, optimala fraktioneringprocessbetingelser för ved med reversibla joniska vätskor kartlades. Fraktionering av vedbiomassa med dessa joniska vätskor uppvisade sig att vara en selektiv och effektiv metod för extraktion av olika komponenter från lignocellulosa. Den olösta fraktionen hos en vedflis, närmast cellulosa, fibrillerades. -------------------------------------------------------------------------------------------------------------------- Tässä työssä kehitettiin perhe uuden tyyppisiä, reversiibeleitä (switchable) ioninesteitä ( SIL ) joka koostuvat orgaanisesta super-emäksestä kuten 1,8- diatsabisyklo [ 5.4.0] undek- 7-eeni (DBU ) ja yhden tai useampia hydroksyyliryhmiä sisältältävästä molekyylistä (esim. glyseroli) ja happamasta kaasusta (CO2 , SO2) yksinkertaisen menetelmän avulla. [DBU] [ karbonaatti] tai [sulfonaatti] syntetisoitiin kunkin lähtöaineen seoksista kuplittamalla seosta happamalla kaasulla jolloin eksoterminen reaktio tapahtui ja ioninen neste syntyi. Ioniset nesteet voitiin palauttaa takaisin lähtöaineseokseksi kuumentamalla ja/tai kuplittamalla neutraalia kaasua (esim. typpi) seoksen läpi. SIL rakenteet määritettiin ja niiden ominaisuudet kartoitettiin eri menetelmillä, mukaan lukien NMR- ja FTIR -spektroskopia. Ionisen, korkeapoläärisen nesteen syntyminen todennettiin myös viskositeettimittauksilla ja värinmuutoksilla käyttäen hyväksi polariteetti-indikaattoria (Nile red). Myös hajoamislämpötilat määritettiin termogravimetrisellä analyysillä (TGA) ja todettiin että syntetisoitujen yhdisteiden hajoamislämpötila oli välillä 50 ja 200oC . Näiden uusien reversiibeleiden ioninesteiden hajoamisämpötilat olivat korkeammat verrattuna kirjallisuudessa aikaisemmin mainittuihin esimerkkeihin joten niitä voidaan soveltaa useisiin tarkoituksiin. Myös ioninesteitä jotka sisälsivät primäärejä alkoholeja rakennusaineina syntetisoitiin ja hyödynnettiin puun fraktioinnissa. Männyn ja kuusen lisäksi tuoreita koivulastuja onnistuttiin fraktioimaan miedoissa olosuhteissa. Kaikkien syntetisoitujen ioninesteiden todettiin olevan suhteellisen neutraaleja ligniinin liuotuksen suhteen. Vielä, optimaaliset fraktiointiolosuhteet määritettiin ryhmälle reversiibeleitä ioninesteitä ja näiden uudenlaisten ioninesteiden todettiin olevan tehokkaita puun ja muiden lignoselluloosien eri fraktioiden liuotuksessa. Liukenematon osa puulastua joka oli lähinnä selluloosaa fibrilloitui.

Modelling of hydrogen stratification and gas mixing in containment using the APROS code

Hydrogen stratification and atmosphere mixing is a very important phenomenon in nuclear reactor containments when severe accidents are studied and simulated. Hydrogen generation, distribution and accumulation in certain parts of containment may pose a great risk to pressure increase induced by hydrogen combustion, and thus, challenge the integrity of NPP containment. The accurate prediction of hydrogen distribution is important with respect to the safety design of a NPP. Modelling methods typically used for containment analyses include both lumped parameter and field codes. The lumped parameter method is universally used in the containment codes, because its versatility, flexibility and simplicity. The lumped parameter method allows fast, full-scale simulations, where different containment geometries with relevant engineering safety features can be modelled. Lumped parameter gas stratification and mixing modelling methods are presented and discussed in this master’s thesis. Experimental research is widely used in containment analyses. The HM-2 experiment related to hydrogen stratification and mixing conducted at the THAI facility in Germany is calculated with the APROS lump parameter containment package and the APROS 6-equation thermal hydraulic model. The main purpose was to study, whether the convection term included in the momentum conservation equation of the 6-equation modelling gives some remarkable advantages compared to the simplified lumped parameter approach. Finally, a simple containment test case (high steam release to a narrow steam generator room inside a large dry containment) was calculated with both APROS models. In this case, the aim was to determine the extreme containment conditions, where the effect of convection term was supposed to be possibly high. Calculation results showed that both the APROS containment and the 6-equation model could model the hydrogen stratification in the THAI test well, if the vertical nodalisation was dense enough. However, in more complicated cases, the numerical diffusion may distort the results. Calculation of light gas stratification could be probably improved by applying the second order discretisation scheme for the modelling of gas flows. If the gas flows are relatively high, the convection term of the momentum equation is necessary to model the pressure differences between the adjacent nodes reasonably.

Excessive functions, Appell polynomials and optimal stopping

The main topic of the thesis is optimal stopping. This is treated in two research articles. In the first article we introduce a new approach to optimal stopping of general strong Markov processes. The approach is based on the representation of excessive functions as expected suprema. We present a variety of examples, in particular, the Novikov-Shiryaev problem for Lévy processes. In the second article on optimal stopping we focus on differentiability of excessive functions of diffusions and apply these results to study the validity of the principle of smooth fit. As an example we discuss optimal stopping of sticky Brownian motion. The third research article offers a survey like discussion on Appell polynomials. The crucial role of Appell polynomials in optimal stopping of Lévy processes was noticed by Novikov and Shiryaev. They described the optimal rule in a large class of problems via these polynomials. We exploit the probabilistic approach to Appell polynomials and show that many classical results are obtained with ease in this framework. In the fourth article we derive a new relationship between the generalized Bernoulli polynomials and the generalized Euler polynomials.

Software and Code Finder: making research outputs visible

Poster at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

VVER-440 Thermal Hydraulics as a Computer Code Validation Challenge

This thesis concentrates on the validation of a generic thermal hydraulic computer code TRACE under the challenges of the VVER-440 reactor type. The code capability to model the VVER-440 geometry and thermal hydraulic phenomena specific to this reactor design has been examined and demonstrated acceptable. The main challenge in VVER-440 thermal hydraulics appeared in the modelling of the horizontal steam generator. The major challenge here is not in the code physics or numerics but in the formulation of a representative nodalization structure. Another VVER-440 specialty, the hot leg loop seals, challenges the system codes functionally in general, but proved readily representable. Computer code models have to be validated against experiments to achieve confidence in code models. When new computer code is to be used for nuclear power plant safety analysis, it must first be validated against a large variety of different experiments. The validation process has to cover both the code itself and the code input. Uncertainties of different nature are identified in the different phases of the validation procedure and can even be quantified. This thesis presents a novel approach to the input model validation and uncertainty evaluation in the different stages of the computer code validation procedure. This thesis also demonstrates that in the safety analysis, there are inevitably significant uncertainties that are not statistically quantifiable; they need to be and can be addressed by other, less simplistic means, ultimately relying on the competence of the analysts and the capability of the community to support the experimental verification of analytical assumptions. This method completes essentially the commonly used uncertainty assessment methods, which are usually conducted using only statistical methods.

Mathematical modeling and optimal control of malaria

Malaria continues to infect millions and kill hundreds of thousands of people worldwide each year, despite over a century of research and attempts to control and eliminate this infectious disease. Challenges such as the development and spread of drug resistant malaria parasites, insecticide resistance to mosquitoes, climate change, the presence of individuals with subpatent malaria infections which normally are asymptomatic and behavioral plasticity in the mosquito hinder the prospects of malaria control and elimination. In this thesis, mathematical models of malaria transmission and control that address the role of drug resistance, immunity, iron supplementation and anemia, immigration and visitation, and the presence of asymptomatic carriers in malaria transmission are developed. A within-host mathematical model of severe Plasmodium falciparum malaria is also developed. First, a deterministic mathematical model for transmission of antimalarial drug resistance parasites with superinfection is developed and analyzed. The possibility of increase in the risk of superinfection due to iron supplementation and fortification in malaria endemic areas is discussed. The model results calls upon stakeholders to weigh the pros and cons of iron supplementation to individuals living in malaria endemic regions. Second, a deterministic model of transmission of drug resistant malaria parasites, including the inflow of infective immigrants, is presented and analyzed. The optimal control theory is applied to this model to study the impact of various malaria and vector control strategies, such as screening of immigrants, treatment of drug-sensitive infections, treatment of drug-resistant infections, and the use of insecticide-treated bed nets and indoor spraying of mosquitoes. The results of the model emphasize the importance of using a combination of all four controls tools for effective malaria intervention. Next, a two-age-class mathematical model for malaria transmission with asymptomatic carriers is developed and analyzed. In development of this model, four possible control measures are analyzed: the use of long-lasting treated mosquito nets, indoor residual spraying, screening and treatment of symptomatic, and screening and treatment of asymptomatic individuals. The numerical results show that a disease-free equilibrium can be attained if all four control measures are used. A common pitfall for most epidemiological models is the absence of real data; model-based conclusions have to be drawn based on uncertain parameter values. In this thesis, an approach to study the robustness of optimal control solutions under such parameter uncertainty is presented. Numerical analysis of the optimal control problem in the presence of parameter uncertainty demonstrate the robustness of the optimal control approach that: when a comprehensive control strategy is used the main conclusions of the optimal control remain unchanged, even if inevitable variability remains in the control profiles. The results provide a promising framework for the design of cost-effective strategies for disease control with multiple interventions, even under considerable uncertainty of model parameters. Finally, a separate work modeling the within-host Plasmodium falciparum infection in humans is presented. The developed model allows re-infection of already-infected red blood cells. The model hypothesizes that in severe malaria due to parasite quest for survival and rapid multiplication, the Plasmodium falciparum can be absorbed in the already-infected red blood cells which accelerates the rupture rate and consequently cause anemia. Analysis of the model and parameter identifiability using Markov chain Monte Carlo methods is presented.

Development of an HTR-10 model in the Serpent reactor physics code

The use of exact coordinates of pebbles and fuel particles of pebble bed reactor modelling becoming possible in Monte Carlo reactor physics calculations is an important development step. This allows exact modelling of pebble bed reactors with realistic pebble beds without the placing of pebbles in regular lattices. In this study the multiplication coefficient of the HTR-10 pebble bed reactor is calculated with the Serpent reactor physics code and, using this multiplication coefficient, the amount of pebbles required for the critical load of the reactor. The multiplication coefficient is calculated using pebble beds produced with the discrete element method and three different material libraries in order to compare the results. The received results are lower than those from measured at the experimental reactor and somewhat lower than those gained with other codes in earlier studies.

Optimal processing chain for waste power plant

This study is done to examine waste power plant’s optimal processing chain and it is important to consider from several points of view on why one option is better than the other. This is to insure that the right decision is made. Incineration of waste has devel-oped to be one decent option for waste disposal. There are several legislation matters and technical options to consider when starting up a waste power plant. From the tech-niques pretreatment, burner and flue gas cleaning are the biggest ones to consider. The treatment of incineration residues is important since it can be very harmful for the envi-ronment. The actual energy production from waste is not highly efficient and there are several harmful compounds emitted. Recycling of waste before incineration is not very typical and there are not many recycling options for materials that cannot be easily re-cycled to same product. Life cycle assessment is a good option for studying the envi-ronmental effect of the system. It has four phases that are part of the iterative study process. In this study the case environment is a waste power plant. The modeling of the plant is done with GaBi 6 software and the scope is from gate-to-grave. There are three different scenarios, from which the first and second are compared to each other to reach conclusions. Zero scenario is part of the study to demonstrate situation without the power plant. The power plant in this study is recycling some materials in scenario one and in scenario two even more materials and utilize the bottom ash more ways than one. The model has the substitutive processes for the materials when they are not recycled in the plant. The global warming potential results show that scenario one is the best option. The variable costs that have been considered tell the same result. The conclusion is that the waste power plant should not recycle more and utilize bottom ash in a number of ways. The area is not ready for that kind of utilization and production from recycled materials.