Applications of graph transformation in tools for domain-specific modeling languages

The use of domain-specific languages (DSLs) has been proposed as an approach to cost-e ectively develop families of software systems in a restricted application domain. Domain-specific languages in combination with the accumulated knowledge and experience of previous implementations, can in turn be used to generate new applications with unique sets of requirements. For this reason, DSLs are considered to be an important approach for software reuse. However, the toolset supporting a particular domain-specific language is also domain-specific and is per definition not reusable. Therefore, creating and maintaining a DSL requires additional resources that could be even larger than the savings associated with using them. As a solution, di erent tool frameworks have been proposed to simplify and reduce the cost of developments of DSLs. Developers of tool support for DSLs need to instantiate, customize or configure the framework for a particular DSL. There are di erent approaches for this. An approach is to use an application programming interface (API) and to extend the basic framework using an imperative programming language. An example of a tools which is based on this approach is Eclipse GEF. Another approach is to configure the framework using declarative languages that are independent of the underlying framework implementation. We believe this second approach can bring important benefits as this brings focus to specifying what should the tool be like instead of writing a program specifying how the tool achieves this functionality. In this thesis we explore this second approach. We use graph transformation as the basic approach to customize a domain-specific modeling (DSM) tool framework. The contributions of this thesis includes a comparison of di erent approaches for defining, representing and interchanging software modeling languages and models and a tool architecture for an open domain-specific modeling framework that e ciently integrates several model transformation components and visual editors. We also present several specific algorithms and tool components for DSM framework. These include an approach for graph query based on region operators and the star operator and an approach for reconciling models and diagrams after executing model transformation programs. We exemplify our approach with two case studies MICAS and EFCO. In these studies we show how our experimental modeling tool framework has been used to define tool environments for domain-specific languages.

Evaluating multidimensional visualization techniques in data mining tasks

Visual data mining (VDM) tools employ information visualization techniques in order to represent large amounts of high-dimensional data graphically and to involve the user in exploring data at different levels of detail. The users are looking for outliers, patterns and models – in the form of clusters, classes, trends, and relationships – in different categories of data, i.e., financial, business information, etc. The focus of this thesis is the evaluation of multidimensional visualization techniques, especially from the business user’s perspective. We address three research problems. The first problem is the evaluation of projection-based visualizations with respect to their effectiveness in preserving the original distances between data points and the clustering structure of the data. In this respect, we propose the use of existing clustering validity measures. We illustrate their usefulness in evaluating five visualization techniques: Principal Components Analysis (PCA), Sammon’s Mapping, Self-Organizing Map (SOM), Radial Coordinate Visualization and Star Coordinates. The second problem is concerned with evaluating different visualization techniques as to their effectiveness in visual data mining of business data. For this purpose, we propose an inquiry evaluation technique and conduct the evaluation of nine visualization techniques. The visualizations under evaluation are Multiple Line Graphs, Permutation Matrix, Survey Plot, Scatter Plot Matrix, Parallel Coordinates, Treemap, PCA, Sammon’s Mapping and the SOM. The third problem is the evaluation of quality of use of VDM tools. We provide a conceptual framework for evaluating the quality of use of VDM tools and apply it to the evaluation of the SOM. In the evaluation, we use an inquiry technique for which we developed a questionnaire based on the proposed framework. The contributions of the thesis consist of three new evaluation techniques and the results obtained by applying these evaluation techniques. The thesis provides a systematic approach to evaluation of various visualization techniques. In this respect, first, we performed and described the evaluations in a systematic way, highlighting the evaluation activities, and their inputs and outputs. Secondly, we integrated the evaluation studies in the broad framework of usability evaluation. The results of the evaluations are intended to help developers and researchers of visualization systems to select appropriate visualization techniques in specific situations. The results of the evaluations also contribute to the understanding of the strengths and limitations of the visualization techniques evaluated and further to the improvement of these techniques.

Education policy and 21st Century skills

This article discusses how educational institutions should prepare their students for 21st Century job market.

Environments of Acitive Galaxies

This dissertation presents studies on the environments of active galaxies. Paper I is a case study of a cluster of galaxies containing BL Lac object RGB 1745+398. We measured the velocity dispersion, mass, and richness of the cluster. This was one of the most thorough studies of the environments of a BL Lac object. Methods used in the paper could be used in the future for studying other clusters as well. In Paper II we studied the environments of nearby quasars in the Sloan Digital Sky Survey (SDSS). We found that quasars have less neighboring galaxies than luminous inactive galaxies. In the large-scale structure, quasars are usually located at the edges of superclusters or even in void regions. We concluded that these low-redshift quasars may have become active only recently because the galaxies in low-density environments evolve later to the phase where quasar activity can be triggered. In Paper III we extended the analysis of Paper II to other types of AGN besides quasars. We found that different types of AGN have different large-scale environments. Radio galaxies are more concentrated in superclusters, while quasars and Seyfert galaxies prefer low-density environments. Different environments indicate that AGN have different roles in galaxy evolution. Our results suggest that activity of galaxies may depend on their environment on the large scale. Our results in Paper III raised questions of the cause of the environment-dependency in the evolution of galaxies. Because high-density large-scale environments contain richer groups and clusters than the underdense environments, our results could reflect smaller-scale effects. In Paper IV we addressed this problem by studying the group and supercluster scale environments of galaxies together. We compared the galaxy populations in groups of different richnesses in different large-scale environments. We found that the large-scale environment affects the galaxies independently of the group richness. Galaxies in low-density environments on the large scale are more likely to be star-forming than those in superclusters even if they are in groups with the same richness. Based on these studies, the conclusion of this dissertation is that the large-scale environment affects the evolution of galaxies. This may be caused by different “speed” of galaxy evolution in low and high-density environments: galaxies in dense environments reach certain phases of evolution earlier than galaxies in underdense environments. As a result, the low-density regions at low redshifts are populated by galaxies in earlier phases of evolution than galaxies in high-density regions.

Finlandia-kuoron mukana Suomeen "Queen Mary" laivalla toukok. 10 p:nä

35 x 16 cm

Carl H. Salmisen mielenkiintoinen huvimatka Suomeen

38 x 16 cm

Stabilitet säkerhet skönhet snabbhet äro utmärkande drag för den nya Stutz bilen

kuv., 15 x 23 cm

Circular Spectropolarimetric Studies of DQ White Dwarfs

This thesis summarizes studies of a class of white dwarfs (WDs) called DQ WDs. White dwarfs are the remnants of ordinary stars like our Sun that have run out of nuclear fuel. WDs are classified according to the composition of their atmosphere and DQ WDs have an atmosphere made of helium and carbon. The carbon comes in either atomic or molecular form and in some cases the strong spectral absorption features cover the entire optical wavelength region. The research presented here utilizes spectropolarimetry, which is an observational technique that combines spectroscopy and polarization. Separately these allow to study the composition of a target and the inhomogeneous distribution of matter in the target. Put together they form a powerful tool to probe the physical properties in the atmosphere of a star. It is espacially good for detecting magnetic fields. The papers in this thesis describe efforts to do a survey of DQ white dwarfs with spectropolarimetry in order to search for magnetic fields in them. Paper I describes the discovery of a new magnetic cool DQ white dwarf, GJ841B. Initial modeling of molecular features on DQ WDs showed inconsistencies with observations. The first possible solution to this problem was stellar spots on these WDs. To investigate the matter, two DQ WDs were monitored for photometric variability that could arise from the presence of such spots. Paper II summarizes this short campaign and reports the negative results. Paper III reports observations of the rest of the objects in our survey. The paper includes the discovery of polarization from another cool DQ white dwarf, bringing the total of known magnetic cool DQs to three. Unfortunately the model used in this thesis cannot, in its present state, be used to model these objects nor are the observations of high enough spectroscopic resolution to do so.

Aktiivisen verkkosillan tuottaman yhteismuotoisen jännitteen vaimentaminen kaksitasoisessa, jännitevälipiirillisessä, taajuusmuuttajatopologiassa

Pulssinleveysmoduloidun vaihtosuuntaajan hyötysuhteen parantaminen ja kytkentätaajuuden suurentaminen ovat johtaneet lähtöjännitteen suuritaajuiseen taajuussisältöön kaksitasoisessa, jännitevälipiirillisessä taajuusmuuttajatopologiassa. Kasvava tarve siirtää tehoa myös verkkoon päin on lisännyt aktiivisen verkkosillan käyttöä. Kaksitasoisen aktiivisen verkkosillan vaikutuksesta DC-välipiirin keskipisteen ja kolmivaiheisen kuorman tähtipisteen välinen jännite on nollasta poikkeava aiheuttaen suurentuneen yhteismuotoisen jännitteen taajuusmuuttajan lähtöön ja verkon puolelle. Lisäksi yhteismuotoisten jännitteiden aiheuttamat kytkentätaajuiset häiriövirrat voivat aiheuttaa vikavirtasuojien tahatonta laukeamista, vaikeuttaa EMC-standardien vaatimusten täyttämistä, lisätä moottorin käämieristyksien rasitusta ja mahdollisuutta moottorin laakerivaurioille. Diplomityössä tutkitaan aktiivisen ja passiivisen verkkosillan tuottamaa yhteismuotoista jännitettä simuloinneilla. Esitellään aikaisempaa tutkimustietoa yhteismuotoisen jännitteen ja virran vaimennusratkaisuista aktiivista verkkosiltaa käytettäessä. Tutkimustiedon pohjalta suunnitellaan koelaitteistolle soveltuva suodin. Suotimen toiminta testataan simuloinnein sekä kokeellisin mittauksin. Tehdyt mittaukset osoittavat, että suunniteltu suodin vaimentaa yhteismuotoista jännitettä noin 20 dB verkkosillan kytkentätaajuudella ja tämän jälkeen yli 20 dB/dekadi taajuuteen 100 kHz asti. Lisäksi yhteismuotoisen virran suuruus syöttökaapelin kautta pieneni ehdotetun suotimen vaikutuksesta.

Kotimaisen elokuvan kansainvälisyys : tuotannon ja markkinoinnin näkökulma

Teemanumero: Transnationaali.

From Local Practice to Linked Open Data: Rethinking Metadata in Hydra

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

Handshake ecosystem for Educational Contents between Institutional Repository and OER based Repository

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

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.