Modeling information in software languages

Ohjelmiston kehitystyökalut käyttävät infromaatiota kehittäjän tuottamasta lähdekoodista. Informaatiota hyödynnetään ohjelmistoprojektin eri vaiheissa ja eri tarkoituksissa. Moderneissa ohjelmistoprojekteissa käytetyn informaation määrä voi kasvaa erittäin suureksi. Ohjelmistotyökaluilla on omat informaatiomallinsa ja käyttömekanisminsa. Informaation määrä sekä erilliset työkaluinformaatiomallit tekevät erittäin hankalaksi rakentaa joustavaa työkaluympäristöä, erityisesti ongelma-aluekohtaiseen ohjelmiston kehitysprosessiin. Tässä työssä on analysoitu perusinformaatiometamalleja Unified Modeling language kielestä, Python ohjelmointikielestä ja C++ ohjelmointikielestä. Metainformaation taso on rajoitettu rakenteelliselle tasolle. Ajettavat rakenteet on jätetty pois. ModelBase metamalli on yhdistetty olemassa olevista analysoiduista metamalleista. Tätä metamallia voidaan käyttää tulevaisuudessa ohjelmistotyökalujen kehitykseen.

Harmonising the Modular Product Range

Työn tavoitteena on analysoida KONEen hissien ovituoteperheitä ja harmonisoida modulaarista ovituotevalikoimaa niin, että tulos olisi mahdollisimman suotuisa KONEelle sekä sen sidosryhmille. Harmonisointi toteutetaan, koska KONEen tuotevalikoima on erittäin laaja ja monimutkainen ja siitä syystä erittäin kallis ja vaikea hallita ja ylläpitää. Tavoitteena on selvittää myös termejä modulaarisuus ja tuotealusta olennaisen kirjallisuuden pohjalta. Nykyään yritysten täytyy kehittää tuotevalikoimaa jatkuvasti. Yrityksen koko tuotevalikoiman varioituvuus tulisi kuitenkin pitää järkevissä rajoissa. Moduuleita ja tuotealustoja pitäisi käyttää jakamaan tuotteiden avainelementtejä ja lisäämään varioituvuutta helposti hallittavalla tavalla. Kannattamattomat ja matalavolyymiset tuotteet kuluttavat yrityksen niukkoja resursseja. Tällaiset tuotteet tulisi poistaa tuotevalikoimasta, mutta ei ilman harkintaa. Kannattama-tonkin tuote voi olla erittäin arvokas asiakkaalle ja tällaisen tuotteen hylkääminen voi olla yritykselle pitkällä tähtäimellä erittäin kohtalokasta. Työn tuloksena oli harmonisointiehdotus KONEen AMD-oville ja selvitys harmonisoinnin vaikutuksista. Harmonisointi KONEella päätettiin toteuttaa siten, että matalavolyymiset tuotteet siirrettiin erikoistuotteiden valikoimaan. Myös kustannusanalyysi tukee harmonisointipäätöstä laskentajärjestelmän puutteista huolimatta.

Designing a modular, open and expandable Bluetooth-platform

Lähitulevaisuudessa langattomien järjestelmien kaupalliset mahdollisuudet tulevat olemaan valtavia. Tutkiaksemme tulevia tarpeita, tässä diplomityössä esitellään kuinka voidaan suunnitella ja toteuttaa avoin langaton asiakas-palvelin järjestelmä. Järjestelmänä päätettiin käyttää Bluetooth:ia. Tutkituista langattomista standardeista Bluetooth sopii parhaiten akkukäyttöiselle laitteelle, jonka tulee olla monipuolinen. Lisäksi Bluetooth:iin on liitetty suuria kaupallisia odotuksia ja yksi työn tavoitteista olikin tutkia, ovatko nämä odotukset realistisia. Bluetooth:iin havaittiin liittyvän paljon ylimainontaa ja, sen todettiin olevan monimutkainen. Sillä on kuitenkin paljon ominaisuuksia ja erilaisten käyttöprofiilien avulla sitä voidaan käyttää monenlaisiin tehtäviin. Suunniteltu järjestelmä ajaa socket-palvelinta Bluetooth-yhteyden päällä. Tietyntyyppiseen liikenteeseen erikoistuneet socket:t tarjoavat vaaditun laajennattavuuden. Palvelin toteutetiin Linux-säikeenä ja se hallitsee Bluetooth protokollapinoa sekä sovelluksia, joita suoritetaan palvelimella. Näiden sovelluksien palvelut ovat muiden käytössä Bluetooth:n kautta.

On Commutation and Conjugacy of Rational Languages and the Fixed Point Method

The research on language equations has been active during last decades. Compared to the equations on words the equations on languages are much more difficult to solve. Even very simple equations that are easy to solve for words can be very hard for languages. In this thesis we study two of such equations, namely commutation and conjugacy equations. We study these equations on some limited special cases and compare some of these results to the solutions of corresponding equations on words. For both equations we study the maximal solutions, the centralizer and the conjugator. We present a fixed point method that we can use to search these maximal solutions and analyze the reasons why this method is not successful for all languages. We give also several examples to illustrate the behaviour of this method.

The modular forming press for paperboard packages

In this master’s thesis the structural and functional features of a forming tool are developed to meet the needs of modern packaging production for paperboard packaging are studied. The goal of the study is to develop a new type of machine for the manufacture of the paperboard package by pressing. In the structure of the developed forming press the possibility to modify the packaging as well as the requirements of industrial production, food hygiene and other operational matters are accounted for. The press has been sized based on the main dimensions of a single food-grade paperboard tray. In the LUT Packaging Laboratory the forming press is designed suitable for on-line operation. In addition, suggestions for further development of packaging line and equipment have been made based on the information gathered during this thesis study.

Junan matkustajainformaatiojärjestelmän ohjaaminen

Matkustajat pitävät junissa annettavaa informaatiota entistä tärkeämpänä. Tähän haasteeseen pyritään vastaamaan rutiinikuulutusten, kuten asemille tulokuulutusten, automatisoinnilla. Kuulutukset soitetaan ääneen ja esitetään tekstinä näytöillä. Tällöin annettava informaatio on selkeää ja tasalaatuista myös vieraalla kielellä. Junan tiedot, kuten määränpää ja vaunun myyntinumero, esitetään junan ulkoseinällä ovien vierellä junaan nousevia matkustajia varten. Tässä diplomityössä luodaan yleiskatsaus junaväylään liittyviin standardeihin, TCN-standardiin ja UIC-556-määrelehteen. Yleiskatsauksen lisäksi käsitellään tarkemmin matkustajainformaatiojärjestelmään liittyvät osat. Tutustumme myös UIC-176-määrelehteen, joka käsittelee matkustajainformaatiojärjestelmän näyttöjä. Luomme yleiskatsauksen EKE-Elektroniikka Oy:n kehittämään modulaariseen junanhallintajärjestelmään. Työssä suunnitellaan asiakkaan ja standardien vaatimusten pohjalta matkustajainformaatiojärjestelmä, joka on integroitu junanhallintajärjestelmään. Tekstitiedon välittämiseen vaunusta toiseen käytetään WTB-junaväylää. Siinä kommunikoidaan UIC-556-määrelehden mukaisesti, joka mahdollistaa eurooppalaisen yhteensopivuuden. Työn tuloksena on määritelty järjestelmän fyysinen rakenne, ohjelmistorakenne, vaadittavat tietokannat, tiedon syöttäminen järjestelmälle ja junaväylässä käytettävät telegrammit. Erityishaasteena on ratkaistu tilanne, jossa juna jakautuu matkan varrella useampaan suuntaan.

Cost estimation framework for modular product

Cost estimation is an important, but challenging process when designing a new product or a feature of it, verifying the product prices given by suppliers or planning a cost saving actions of existing products. It is even more challenging when the product is highly modular, not a bulk product. In general, cost estimation techniques can be divided into two main groups - qualitative and quantitative techniques - which can further be classified into more detailed methods. Generally, qualitative techniques are preferable when comparing alternatives and quantitative techniques when cost relationships can be found. The main objective of this thesis was to develop a method on how to estimate costs of internally manufactured and commercial elevator landing doors. Because of the challenging product structure, the proposed cost estimation framework is developed under three different levels based on past cost information available. The framework consists of features from both qualitative and quantitative cost estimation techniques. The starting point for the whole cost estimation process is an unambiguous, hierarchical product structure so that the product can be classified into controllable parts and is then easier to handle. Those controllable parts can then be compared to existing past cost knowledge of similar parts and create as accurate cost estimates as possible by that way.

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.

Numbers and Languages

The thesis presents results obtained during the authors PhD-studies. First systems of language equations of a simple form consisting of just two equations are proved to be computationally universal. These are systems over unary alphabet, that are seen as systems of equations over natural numbers. The systems contain only an equation X+A=B and an equation X+X+C=X+X+D, where A, B, C and D are eventually periodic constants. It is proved that for every recursive set S there exists natural numbers p and d, and eventually periodic sets A, B, C and D such that a number n is in S if and only if np+d is in the unique solution of the abovementioned system of two equations, so all recursive sets can be represented in an encoded form. It is also proved that all recursive sets cannot be represented as they are, so the encoding is really needed. Furthermore, it is proved that the family of languages generated by Boolean grammars is closed under injective gsm-mappings and inverse gsm-mappings. The arguments apply also for the families of unambiguous Boolean languages, conjunctive languages and unambiguous languages. Finally, characterizations for morphisims preserving subfamilies of context-free languages are presented. It is shown that the families of deterministic and LL context-free languages are closed under codes if and only if they are of bounded deciphering delay. These families are also closed under non-codes, if they map every letter into a submonoid generated by a single word. The family of unambiguous context-free languages is closed under all codes and under the same non-codes as the families of deterministic and LL context-free languages.

Licensing Model Development for Small Modular Reactors (SMRs) - Focusing on the Finnish Regulatory Framework

Recently, Small Modular Reactors (SMRs) have attracted increased public discussion. While large nuclear power plant new build projects are facing challenges, the focus of attention is turning to small modular reactors. One particular project challenge arises in the area of nuclear licensing, which plays a significant role in new build projects affecting their quality as well as costs and schedules. This dissertation - positioned in the field of nuclear engineering but also with a significant section in the field of systems engineering - examines the nuclear licensing processes and their suitability for the characteristics of SMRs. The study investigates the licensing processes in selected countries, as well as other safety critical industry fields. Viewing the licensing processes and their separate licensing steps in terms of SMRs, the study adopts two different analysis theories for review and comparison. The primary data consists of a literature review, semi-structured interviews, and questionnaire responses concerning licensing processes and practices. The result of the study is a recommendation for a new, optimized licensing process for SMRs. The most important SMR-specific feature, in terms of licensing, is the modularity of the design. Here the modularity indicates multi-module SMR designs, which creates new challenges in the licensing process. As this study focuses on Finland, the main features of the new licensing process are adapted to the current Finnish licensing process, aiming to achieve the main benefits with minimal modifications to the current process. The application of the new licensing process is developed using Systems Engineering, Requirements Management, and Project Management practices and tools. Nuclear licensing includes a large amount of data and documentation which needs to be managed in a suitable manner throughout the new build project and then during the whole life cycle of the nuclear power plant. To enable a smooth licensing process and therefore ensure the success of the new build nuclear power plant project, management processes and practices play a significant role. This study contributes to the theoretical understanding of how licensing processes are structured and how they are put into action in practice. The findings clarify the suitability of different licensing processes and their selected licensing steps for SMR licensing. The results combine the most suitable licensing steps into a new licensing process for SMRs. The results are also extended to the concept of licensing management practices and tools.