On Undecidable Dynamical Properties of Reversible One-Dimensional Cellular Automata

Cellular automata are models for massively parallel computation. A cellular automaton consists of cells which are arranged in some kind of regular lattice and a local update rule which updates the state of each cell according to the states of the cell's neighbors on each step of the computation. This work focuses on reversible one-dimensional cellular automata in which the cells are arranged in a two-way in_nite line and the computation is reversible, that is, the previous states of the cells can be derived from the current ones. In this work it is shown that several properties of reversible one-dimensional cellular automata are algorithmically undecidable, that is, there exists no algorithm that would tell whether a given cellular automaton has the property or not. It is shown that the tiling problem of Wang tiles remains undecidable even in some very restricted special cases. It follows that it is undecidable whether some given states will always appear in computations by the given cellular automaton. It also follows that a weaker form of expansivity, which is a concept of dynamical systems, is an undecidable property for reversible one-dimensional cellular automata. It is shown that several properties of dynamical systems are undecidable for reversible one-dimensional cellular automata. It shown that sensitivity to initial conditions and topological mixing are undecidable properties. Furthermore, non-sensitive and mixing cellular automata are recursively inseparable. It follows that also chaotic behavior is an undecidable property for reversible one-dimensional cellular automata.

On state and parameter estimation in chaotic systems

State-of-the-art predictions of atmospheric states rely on large-scale numerical models of chaotic systems. This dissertation studies numerical methods for state and parameter estimation in such systems. The motivation comes from weather and climate models and a methodological perspective is adopted. The dissertation comprises three sections: state estimation, parameter estimation and chemical data assimilation with real atmospheric satellite data. In the state estimation part of this dissertation, a new filtering technique based on a combination of ensemble and variational Kalman filtering approaches, is presented, experimented and discussed. This new filter is developed for large-scale Kalman filtering applications. In the parameter estimation part, three different techniques for parameter estimation in chaotic systems are considered. The methods are studied using the parameterized Lorenz 95 system, which is a benchmark model for data assimilation. In addition, a dilemma related to the uniqueness of weather and climate model closure parameters is discussed. In the data-oriented part of this dissertation, data from the Global Ozone Monitoring by Occultation of Stars (GOMOS) satellite instrument are considered and an alternative algorithm to retrieve atmospheric parameters from the measurements is presented. The validation study presents first global comparisons between two unique satellite-borne datasets of vertical profiles of nitrogen trioxide (NO3), retrieved using GOMOS and Stratospheric Aerosol and Gas Experiment III (SAGE III) satellite instruments. The GOMOS NO3 observations are also considered in a chemical state estimation study in order to retrieve stratospheric temperature profiles. The main result of this dissertation is the consideration of likelihood calculations via Kalman filtering outputs. The concept has previously been used together with stochastic differential equations and in time series analysis. In this work, the concept is applied to chaotic dynamical systems and used together with Markov chain Monte Carlo (MCMC) methods for statistical analysis. In particular, this methodology is advocated for use in numerical weather prediction (NWP) and climate model applications. In addition, the concept is shown to be useful in estimating the filter-specific parameters related, e.g., to model error covariance matrix parameters.

Tuotekustannus- ja kannattavuustiedon hallinta kartonkitehtaalla

Työssä keskitytään tuotekustannus- ja kannattavuustiedon hallintaan kartonkitehtaalla. Aiemmassa kohdeympäristöön tehdyssä lopputyössä osoitettiin selkeä tarve uudelle laskentajärjestelmälle. Uuden tehdasjärjestelmän myötä uuden laskentajärjestelmän hankkiminen tuli ajankohtaiseksi, joten työssä tutkitaan muun muassa tarkennetunlaskentajärjestelmän ominaisuuksia ja paperiteollisuuden sille asettamia vaatimuksia. Työssä tutkitaan myös määriteltyjen käyttäjäryhmien tuotekustannus- ja kannattavuustietotarpeita. Tarpeita peilataan reaaliaikaiseen kustannuslaskentajärjestelmän ja tarkennetun paperiteollisuuteen suunnitellun taloudellisenohjausjärjestelmän ominaisuuksiin. Lisäksi työssä käydään yleisellä tasolla kohdeympäristön tuotekustannuslaskentaa läpi ja tarkastellaan kriittisesti sen sekänykyisten laskentajärjestelmien toimivuutta nykyisessä toimintaympäristössä teorian pohjalta sekä case-esimerkkien avulla. Työn tuloksena voidaan sanoa, että laskentajärjestelmien ja -menetelmien kehittäminen on välttämätöntä kohdeympäristössä, sillä tämän hetkiset laskentajärjestelmät ja -menetelmät ovat riittämättömiä nykyisessä toimintoympäristössä. Lisäksi nykyisen tuotekustannus- jakannattavuustiedon hallinta tuotetasolla on liian epätarkka. Työssä käsitellyt laskentajärjestelmät tyydyttäisivät yhdessä käyttäjäryhmien tietotarpeet ja lisäksi vastaisivat paperiteollisuuden erityistarpeita laskentajärjestelmien osalta.

Tietotekniikkapalveluiden tuotteistaminen metsäteollisuus-yrityksessä

Tietotekniikkapalvelut on palveluorganisaatio, jonka tavoitteena on tarjota asiakkaalleen toimivat tietoliikenneyhteydet ja toimivat tietojärjestelmät metsäteollisuuden vaatimiin tarpeisiin vastaten. Häiriöttömän ja jatkuvatoimisen tuotannon takaamiseksi tukiprosesseja kehitetään jatkuvasti. Suuren konsernin ongelmana ovat toisistaan poikkeavat käytännöt ja tästä aiheutuvat tehokkuuserot. Tutkimuksessa selvitetään, mitä IT-palveluiden tuotteistaminen merkitsee ja kuvataan tietotekniikkasektorin palvelutuotteiden rakentuminen, hallinta ja käyttömahdollisuus metsäteollisuusyrityksessä. IT-palveluiden tuotteistamisella haetaan sisäistä tehokkuutta sekä laadukkaampaa tulosta. Tuotteistamalla palvelut saadaan tietopääoma paremmin hallintaan ja jakeluun. Suorituskyvyn hallinnan avulla saadaan palveluihin läpinäkyvyyttä ja kehitystoiminta tehostuu. Tuotteistusprojektin tavoitteena on rakentaa globaalit tuotekuvaukset metsäteollisuusyrityksen tietotekniikkapalveluista, joita yksiköt voivat tarkentaa ja syventää haluamalleen tasolle. Tuotekuvausten rakentaminen edellyttää toimintamallien perusteellista läpikäyntiä ja tarvittavien osaamisten selvittämistä sekä palveluiden suorituskykyodotusten määrittämistä. Tietotekniikkasektorin tuotteistusprojektin tuloksena palvelut jaetaan kolmeen palveluryhmään: tietojärjestelmäpalvelut, tietoliikennepalvelut sekä tietoturvapalvelut. Tietojärjestelmäpalvelut kuvataan vielä tarkemmin perustietotekniikka- ja järjestelmäpalvelutuotteiksi. Samoin tietoliikennepalvelut jaetaan datansiirto- ja puheensiirtopalvelutuotteiksi. Palvelutuotteita, siis tuotetietoa, hallitaan ja ylläpidetään tietojärjestelmällä, mistä on liityntä operatiiviseen järjestelmään.

Small and Large Scale Dynamics in the Milky Way

This thesis contains dynamical analysis on four different scales: the Solar system, the Sun itself, the Solar neighbourhood, and the central region of the Milky Way galaxy. All of these topics have been handled through methods of potential theory and statistics. The central topic of the thesis is the orbits of stars in the Milky Way. An introduction into the general structure of the Milky Way is presented, with an emphasis on the evolution of the observed value for the scale-length of the Milky Way disc and the observations of two separate bars in the Milky Way. The basics of potential theory are also presented, as well as a developed potential model for the Milky Way. An implementation of the backwards restricted integration method is shown, rounding off the basic principles used in the dynamical studies of this thesis. The thesis looks at the orbit of the Sun, and its impact on the Oort cloud comets (Paper IV), showing that there is a clear link between these two dynamical systems. The statistical atypicalness of the orbit of the Sun is questioned (Paper I), concluding that there is some statistical typicalness to the orbit of the Sun, although it is not very significant. This does depend slightly on whether one includes a bar, or not, as a bar has a clear effect on the dynamical features seen in the Solar neighbourhood (Paper III). This method can be used to find the possible properties of a bar. Finally, we look at the effect of a bar on a statistical system in the Milky Way, seeing that there are not only interesting effects depending on the mass and size of the bar, but also how bars can capture disc stars (Paper II).

Chaotic Behaviour of Active Magnetic Bearing System by Time Series Analysis

Chaotic behaviour is one of the hardest problems that can happen in nonlinear dynamical systems with severe nonlinearities. It makes the system's responses unpredictable. It makes the system's responses to behave similar to noise. In some applications it should be avoided. One of the approaches to detect the chaotic behaviour is nding the Lyapunov exponent through examining the dynamical equation of the system. It needs a model of the system. The goal of this study is the diagnosis of chaotic behaviour by just exploring the data (signal) without using any dynamical model of the system. In this work two methods are tested on the time series data collected from AMB (Active Magnetic Bearing) system sensors. The rst method is used to nd the largest Lyapunov exponent by Rosenstein method. The second method is a 0-1 test for identifying chaotic behaviour. These two methods are used to detect if the data is chaotic. By using Rosenstein method it is needed to nd the minimum embedding dimension. To nd the minimum embedding dimension Cao method is used. Cao method does not give just the minimum embedding dimension, it also gives the order of the nonlinear dynamical equation of the system and also it shows how the system's signals are corrupted with noise. At the end of this research a test called runs test is introduced to show that the data is not excessively noisy.

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.

Parameter estimation for Chaotic or Stochastic Dynamics

Since its discovery, chaos has been a very interesting and challenging topic of research. Many great minds spent their entire lives trying to give some rules to it. Nowadays, thanks to the research of last century and the advent of computers, it is possible to predict chaotic phenomena of nature for a certain limited amount of time. The aim of this study is to present a recently discovered method for the parameter estimation of the chaotic dynamical system models via the correlation integral likelihood, and give some hints for a more optimized use of it, together with a possible application to the industry. The main part of our study concerned two chaotic attractors whose general behaviour is diff erent, in order to capture eventual di fferences in the results. In the various simulations that we performed, the initial conditions have been changed in a quite exhaustive way. The results obtained show that, under certain conditions, this method works very well in all the case. In particular, it came out that the most important aspect is to be very careful while creating the training set and the empirical likelihood, since a lack of information in this part of the procedure leads to low quality results.

Developing smart services by Internet of Things in manufacturing business

Manufacturing companies have passed from selling uniquely tangible products to adopting a service-oriented approach to generate steady and continuous revenue streams. Nowadays, equipment and machine manufacturers possess technologies to track and analyze product-related data for obtaining relevant information from customers’ use towards the product after it is sold. The Internet of Things on Industrial environments will allow manufacturers to leverage lifecycle product traceability for innovating towards an information-driven services approach, commonly referred as “Smart Services”, for achieving improvements in support, maintenance and usage processes. The aim of this study is to conduct a literature review and empirical analysis to present a framework that describes a customer-oriented approach for developing information-driven services leveraged by the Internet of Things in manufacturing companies. The empirical study employed tools for the assessment of customer needs for analyzing the case company in terms of information requirements and digital needs. The literature review supported the empirical analysis with a deep research on product lifecycle traceability and digitalization of product-related services within manufacturing value chains. As well as the role of simulation-based technologies on supporting the “Smart Service” development process. The results obtained from the case company analysis show that the customers mainly demand information that allow them to monitor machine conditions, machine behavior on different geographical conditions, machine-implement interactions, and resource and energy consumption. Put simply, information outputs that allow them to increase machine productivity for maximizing yields, save time and optimize resources in the most sustainable way. Based on customer needs assessment, this study presents a framework to describe the initial phases of a “Smart Service” development process, considering the requirements of Smart Engineering methodologies.

Product Assurance in Agile Space Systems Development

Product assurance is an essential part of product development process if developers want to ensure that final product is safe and reliable. Product assurance can be supported withrisk management and with different failure analysis methods. Product assurance is emphasized in system development process of mission critical systems. The product assurance process in systems of this kind requires extra attention. Inthis thesis, mission critical systems are space systems and the product assurance processof these systems is presented with help of space standards. The product assurance process can be supported with agile development because agile emphasizes transparency of the process and fast response to changes. Even if the development process of space systems is highly standardized and reminds waterfall model, it is still possible to adapt agile development in space systems development. This thesisaims to support the product assurance process of space systems with agile developmentso that the final product would be as safe and reliable as possible. The main purpose of this thesis is to examine how well product assurance is performed in Finnish space organizations and how product assurance tasks and activities can besupported with agile development. The research part of this thesis is performed in survey form.

Product assurance in agile space systems development

Product assurance is an essential part of product development process if developers want to ensure that final product is safe and reliable. Product assurance can be supported with risk management and with different failure analysis methods. Product assurance is emphasized in system development process of mission critical systems. The product assurance process in systems of this kind requires extra attention. In this thesis, mission critical systems are space systems and the product assurance process of these systems is presented with help of space standards. The product assurance process can be supported with agile development because agile emphasizes transparency of the process and fast response to changes. Even if the development process of space systems is highly standardized and reminds waterfall model, it is still possible to adapt agile development in space systems development. This thesis aims to support the product assurance process of space systems with agile development so that the final product would be as safe and reliable as possible. The main purpose of this thesis is to examine how well product assurance is performed in Finnish space organizations and how product assurance tasks and activities can be supported with agile development. The research part of this thesis is performed in survey form.

Development of Craniofacial Bone Defect Reconstruction Implant Based on Fibre-Reinforced Composite with Photopolymerisable Resin Systems. Experimental studies in vitro and in vivo.

Reconstruction of defects in the craniomaxillofacial (CMF) area has mainly been based on bone grafts or metallic fixing plates and screws. Particularly in the case of large calvarial and/or craniofacial defects caused by trauma, tumours or congenital malformations, there is a need for reliable reconstruction biomaterials, because bone grafts or metallic fixing systems do not completely fulfill the criteria for the best possible reconstruction methods in these complicated cases. In this series of studies, the usability of fibre-reinforced composite (FRC) was studied as a biostable, nonmetallic alternative material for reconstructing artificially created bone defects in frontal and calvarial areas of rabbits. The experimental part of this work describes the different stages of the product development process from the first in vitro tests with resin-impregnated fibrereinforced composites to the in vivo animal studies, in which this FRC was tested as an implant material for reconstructing different size bone defects in rabbit frontal and calvarial areas. In the first in vitro study, the FRC was polymerised in contact with bone or blood in the laboratory. The polymerised FRC samples were then incubated in water, which was analysed for residual monomer content by using high performance liquid chromatography (HPLC). It was found that this in vitro polymerisation in contact with bone and blood did not markedly increase the residual monomer leaching from the FRC. In the second in vitro study, different adhesive systems were tested in fixing the implant to bone surface. This was done to find an alternative implant fixing system to screws and pins. On the basis of this study, it was found that the surface of the calvarial bone needed both mechanical and chemical treatments before the resinimpregnated FRC could be properly fixed onto it. In three animal studies performed with rabbit frontal bone defects and critical size calvarial bone defect models, biological responses to the FRC implants were evaluated. On the basis of theseevaluations, it can be concluded that the FRC, based on E-glass (electrical glass) fibres forming a porous fibre veil enables the ingrowth of connective tissues to the inner structures of the material, as well as the bone formation and mineralization inside the fibre veil. Bone formation could be enhanced by using bioactive glass granules fixed to the FRC implants. FRC-implanted bone defects healed partly; no total healing of defects was achieved. Biological responses during the follow-up time, at a maximum of 12 weeks, to resin-impregnated composite implant seemed to depend on the polymerization time of the resin matrix of the FRC. Both of the studied resin systems used in the FRC were photopolymerised and the heat-induced postpolymerisation was used additionally.

Product costing in SAP environment

Kustannuslaskennan ala on muuttumassa. IT teknologian hämmästyttävän nopea kehitys viime vuosina on luonut kustannuslaskennalle uusia mahdollisuuksia. Toisaalta myös kustannuslaskennalle asetetut vaatimukset ovat muuttuneet. Nykyisin kustannustietoutta tarvitaan erityisesti päätöksenteon tueksi. Kaikesta huolimatta yleisesti käytetyt laskentamenetelmät eivät ole muuttuneet. Työn tavoite on tutkia mahdollisia tapoja tuotekohtaisen kustannuslaskennan toteuttamiseksi SAP toiminnanohjausjärjestelmän avulla. Erityisesti toiminnanohjausjärjestelmien nopea kehitys on mahdollistanut aikaisempaa nopeamman ja tarkemman kustannuslaskennan. On kuitenkin muistettava, että järjestelmät ovat vaintyökaluja. On siis erittäin tärkeää valita tarkoituksenmukainen laskentamenetelmä. Työn perimmäinen tarkoitus onkin valita kyseessä olevaan tilanteeseen sopivin menetelmä.Viime vuosien akateemisessa kirjoittelussa on esitelty useita uusia kustannuslaskentamenetelmiä. Toimintolaskennan uusi versio, Time-Driven Activity-Based Costing, on eräs varteenotettava vaihtoehto tuotekohtaisen kustannuslaskennan toteuttamiseksi SAP-ympäristössä. Toinen hyvin soveltuva menetelmä on Resource Consumption Accounting (RCA), joka soveltuu erityisen hyvin SAP-ympäristöön.Molemmilla menetelmillä on hyvät ja huonot puolet, mutta tässä tapauksessa RCA soveltuu tehtävään paremmin. RCA on joustava ja tarjoaa laaja-alaista tietoa. Tästä syystä Resource Consumption Accounting oli paras vaihtoehto.Työssä rakennettu RCA malli testattiin kolmen erilaisen tuotteen historiallisella datalla. RCA:ntuomia mahdollisuuksia pohdittiin ja ongelmia selvitettiin. RCA on hyvin saman tyyppinen yrityksessä jo käytettävän laskentamenetelmän kanssa. Implementointi ei siis olisi mahdoton tehtävä. RCA kuitenkin tarjoaa mahdollisuuksia, joita nykyisellä menetelmällä ei voida saavuttaa.

Distribution systems of the food sector in Russia: the perspective of Finnish food industry

Finnish food producers' trade with Russia has experienced profound changes since the collapse of the Soviet Union. Simultaneously, the distribution systems of foodstuffs have changed remarkably. This study sheds some light into these changes and analyses the current situation in distribution systems of foodstuffs in Russia. In addition, the study discusses the possibilities of Finnish food producers to get more of their products to the shelves of Russian food retail stores. Before the 1998 financial crisis, the import of foreign foodstuffs was booming in Russia due to the overvalued rouble. As a result of the financial crisis, food import collapsed. The export of Finnish foodstuffs to Russia has been slowly recovering during the past few years, but in the most important product categories the pre-crisis levels have so far not been reached and maybe will not be reached. In certain product categories the growth has been only marginal. It seems that starting localproduction will become increasingly important in the future. This is further encouraged by the fact that Russian consumers favour domestic food products. Russian consumers are very price conscious and demand quality in food products. The perceived price-quality ratio is an important criterion in the purchase decision.The majority of foodstuff retail is still conducted via unorganised forms of trade (e.g. kiosks and marketplaces) but modern retail chains are developing at a fast pace in Russia. They are also expected to dominate the retail trade in foodstuffs over the unorganised forms of trade in the future. This will change the distribution systems as well. The retail chains are trying to shorten the distribution chain, similarly to what has been seen in the Western countries. This together with the strengthening of retail chains is likely to shrink the role of wholesalers, as the chains increasingly want to work directly with the producers. Many large retail chains are acquiring or have already acquired a distribution centre or centres in order to boost efficiency and control the flow of products. The strengthening of the retail chains also gives them power in negotiations, which the producers and distributors have to adjust to. For example store entry fees and retail chains' own private label products pose challenges to the food producers. In the food production sector the competition is fierce, as large Russianand foreign producers want to ensure their piece of the market. The largest producers utilise their size: they invest in big marketing campaigns and are willing to pay high entry fees to retail chains in order to secure a place on the store shelves and to build a strong brand in Russia. This complicates the situation from the viewpoint of small producers. Currently, the most popular type of distribution system among the interviewed Finnish food producers is based on a network of local distributors. There is, however, a strong consensus on the importanceof starting local production in order to be a serious actor in Russia in the future. Factors that hinder the starting of local production include the lack of local infrastructure and qualified staff, and the low risk tolerance of Finnish firms. Major barriers for entry in Russia are the actions of authorities, fierce competition, fragmented market and Finnish producers' heavy production costs. The suggested strategies for increasing the market share include focusing geographically or segment-wise, introducing new products, starting local production, andcooperation between Finnish producers. Smallness was one reason why Finnish producers had to cut down their operations in Russia due to the 1998 crisis. Smaller producers had fewer resources to tolerate losses during the period of crisis. Smallness is reflected also on trade negotiations with retail chains and distributors. It makes it harder to cope with the store entry fees and to differentiatefrom the mass of products propped up by expensive advertising. Finally, it makes it harder for Finnish producers to start or expand local production, as it is more difficult for a small producer to get financing and to tolerate the increased risks. Compensating for the smallness might become the crucial factor determining the future success of Finnish food producers in the Russian market.

Technology selection and group decision support systems: Case studies on supporting strategic technology selection processes

The objective of the dissertation is to increase understanding and knowledge in the field where group decision support system (GDSS) and technology selection research overlap in the strategic sense. The purpose is to develop pragmatic, unique and competent management practices and processes for strategic technology assessment and selection from the whole company's point of view. The combination of the GDSS and technology selection is approached from the points of view of the core competence concept, the lead user -method, and different technology types. In this research the aim is to find out how the GDSS contributes to the technology selection process, what aspects should be considered when selecting technologies to be developed or acquired, and what advantages and restrictions the GDSS has in the selection processes. These research objectives are discussed on the basis of experiences and findings in real life selection meetings. The research has been mainly carried outwith constructive, case study research methods. The study contributes novel ideas to the present knowledge and prior literature on the GDSS and technology selection arena. Academic and pragmatic research has been conducted in four areas: 1) the potential benefits of the group support system with the lead user -method,where the need assessment process is positioned as information gathering for the selection of wireless technology development projects; 2) integrated technology selection and core competencies management processes both in theory and in practice; 3) potential benefits of the group decision support system in the technology selection processes of different technology types; and 4) linkages between technology selection and R&D project selection in innovative product development networks. New type of knowledge and understanding has been created on the practical utilization of the GDSS in technology selection decisions. The study demonstrates that technology selection requires close cooperation between differentdepartments, functions, and strategic business units in order to gather the best knowledge for the decision making. The GDSS is proved to be an effective way to promote communication and co-operation between the selectors. The constructs developed in this study have been tested in many industry fields, for example in information and communication, forest, telecommunication, metal, software, and miscellaneous industries, as well as in non-profit organizations. The pragmatic results in these organizations are some of the most relevant proofs that confirm the scientific contribution of the study, according to the principles of the constructive research approach.