Designing sustainable industrial ecosystems : the case of a biogas-for-traffic solution

This thesis focuses on the development of sustainable industrial architectures for bioenergy based on the metaphors of industrial symbiosis and industrial ecosystems, which imply exchange of material and energy side-flows of various industries in order to improve sustainability of those industries on a system level. The studies on industrial symbiosis have been criticised for staying at the level of incremental changes by striving for cycling waste and by-flows of the industries ‘as is’ and leaving the underlying industry structures intact. Moreover, there has been articulated the need for interdisciplinary research on industrial ecosystems as well as the need to extend the management and business perspectives on industrial ecology. This thesis addresses this call by applying a business ecosystem and business model perspective on industrial symbiosis in order to produce knowledge on how industrial ecosystems can be developed that are sustainable environmentally and economically. A case of biogas business is explored and described in four research papers and an extended summary that form this thesis. Since the aim of the research was to produce a normative model for developing sustainable industrial ecosystems, the methodology applied in this research can be characterised as constructive and collaborative. A constructive research mode was required in order to expand the historical knowledge on industrial symbiosis development and business ecosystem development into the knowledge of what should be done, which is crucial for sustainability and the social change it requires. A collaborative research mode was employed through participating in a series of projects devoted to the development of a biogas-for-traffic industrial ecosystem. The results of the study showed that the development of material flow interconnections within industrial symbiosis is inseparable from larger business ecosystem restructuring. This included a shift in the logic of the biogas and traffic fuel industry and a subsequent development of a business ecosystem that would entail the principles of industrial symbiosis and localised energy production and consumption. Since a company perspective has been taken in this thesis, the role of an ecosystem integrator appeared as a crucial means to achieve the required industry restructuring. This, in turn, required the development of a modular and boundary-spanning business model that had a strong focus on establishing collaboration among ecosystem stakeholders and development of multiple local industrial ecosystems as part of business growth. As a result, the designed business model of the ecosystem integrator acquired the necessary flexibility in order to adjust to local conditions, which is crucial for establishing industrial symbiosis. This thesis presents a normative model for the development of a business model required for creating sustainable industrial ecosystems, which contributes to approaches at the policy-makers’ level, proposed earlier. Therefore, this study addresses the call for more research on the business level of industrial ecosystem formation and the implications for the business models of the involved actors. Moreover, the thesis increases the understanding of system innovation and innovation in business ecosystems by explicating how business model innovation can be the trigger for achieving more sustainable industry structures, such as those relying on industrial symbiosis.

Katsaus lisäävän valmistuksen (aka 3D-tulostus) mahdollisuuksiin ja kustannuksiin metallisten tuotteiden valmistuksessa: Case jauhepetitekniikka

Suurelle yleisölle lisäävä valmistustekniikka eli ns. 3D-tulostustekniikka näyttäytyy lehtien otsikoissa ja artikkeleissa esiin pulpahtavana ”muotiaiheena”, mutta sekä muovien 3D-tulostustekniikka että metallienkin vastaava valmistustekniikka on ollut olemassa maailmalla ja Suomessa 80-luvun puolivälistä alkaen. Yhdysvalloissa ja Saksassa tekniikkaa käytetään valmistavassa teollisuudessa toiminnallisten osien tuotannossa. Esimerkiksi lentokoneen suihkumoottorien osia ja lääketieteellisiä välineitä tehdään metallijauheesta lisäävän valmistuksen avulla. Itse asiassa eräs menetelmä metalliesineiden valmistamiseksi lasersäteen avulla keksittiin Suomessa ja sitä myös kehiteltiin täällä, mutta teollisuudenala lähti aikanaan nousuun Saksassa. Lisäävä valmistus on tällä hetkellä maailmanlaajuisesti eräs kiinnostavista tuotantotekniikoista, jonka uskotaan muuttavan monia asioita tuotteiden suunnittelussa, toiminnoissa ja valmistuksessa. Tämä tekniikka ei kiinnosta pelkästään valmistavaa teollisuutta, vaan tietotekniikan, lääketieteen, koruvalmistuksen ja muotoilun osaajat sekä uusien liiketoimintamallien kehittäjät ja logistiikka operaattorit ovat teknologiasta kiinnostuneita. Suomelle 3D-tulostustekniikka on suuri mahdollisuus, sillä maassamme on vahva teollinen tieto- ja viestintätekniikkaosaaminen sekä lisäksi olemme maassamme erikoistuneet varsin vaativien teollisiin laitteiden valmistukseen. Eräät suurimmista mahdollisuuksista tällä tekniikalla ovat toimitusketjuihin liittyvät muutokset. Uutta on, että pienetkin yritykset ja organisaatiot voivat soveltaa tätä tekniikkaa valmistuksessa ja jopa kehitellä täysin uusia tuotteita. On myös arvioitu, että lisäävän valmistuksen merkitys valmistustapoihin ja toimitusketjuihin voi olla suurempi kuin koskaan aikaisemmin minkään teknologisen uudistuksen kohdalla. Lisäävästä valmistuksesta usein puhutaankin kolmantena teollisena vallankumouksena juuri tämän takia. 3D-tulostuksen kustannuksia tarkasteltaessa on tärkeätä huomata että vain sulatetun jauheen määrä ratkaisee, ei käytettävän geometrian monimutkaisuus. Tämä erottaa perinteisen ja lisäävän valmistuksen toisistaan. Perinteisesti kappaleen keventäminen on maksanut ”ylimääräistä”, kun taas lisäävässä valmistuksessa kappaleen keveys on jopa kustannusta alentava tekijä. Valmistettavan kappaleen korkeus on yksi kriittisimpiä kustannuksiin vaikuttavia tekijöitä. Tämän vuoksi useamman kappaleen valmistus yhdellä kertaa parantaa kannattavuutta huomattavasti. Samalla kertaa voi ja itse asiassa kannattaakin valmistaa keskenään erilaisia kappaleita. Perinteiset valmistustavat sen sijaan ovat nykyajan vaatimuksille liian hitaita; ne joustavat huonosti, kun kyseessä on pienet, asiakaslähtöiset erät. Trendi on globaalisti kohden yksilöllisiä asiakaslähtöisiä tuotteita, jolloin myös valmistustekniikoiden on oltava joustavia pysyäkseen näiden vaatimusten perässä. Lisäävä valmistus sopii erityisesti hyvin piensarjatuotantoon. Suuremmissa valmistuserissä kuitenkin perinteiset tekniikat ovat kustannustehokkaampia.

Green supplier selection via Multiple Criteria Data Envelopment Analysis

An appropriate supplier selection and its profound effects on increasing the competitive advantage of companies has been widely discussed in supply chain management (SCM) literature. By raising environmental awareness among companies and industries they attach more importance to sustainable and green activities in selection procedures of raw material providers. The current thesis benefits from data envelopment analysis (DEA) technique to evaluate the relative efficiency of suppliers in the presence of carbon dioxide (CO2) emission for green supplier selection. We incorporate the pollution of suppliers as an undesirable output into DEA. However, to do so, two conventional DEA model problems arise: the lack of the discrimination power among decision making units (DMUs) and flexibility of the inputs and outputs weights. To overcome these limitations, we use multiple criteria DEA (MCDEA) as one alternative. By applying MCDEA the number of suppliers which are identified as efficient will be decreased and will lead to a better ranking and selection of the suppliers. Besides, in order to compare the performance of the suppliers with an ideal supplier, a “virtual” best practice supplier is introduced. The presence of the ideal virtual supplier will also increase the discrimination power of the model for a better ranking of the suppliers. Therefore, a new MCDEA model is proposed to simultaneously handle undesirable outputs and virtual DMU. The developed model is applied for green supplier selection problem. A numerical example illustrates the applicability of the proposed model.

Building a Roadmap for a Market Intelligence function in a Global B2B company

Tämän diplomityötutkimuksen tarkoituksena on luoda markkinaälyyn (MI) erikoistunut funktio suurelle, globaalisti toimivalle B2B-yritykselle. Tämän päivän muut-tuvilla markkinoilla, teollisuusyrityksen on oltava markkinalähtöinen selviytyäkseen. Markkinatiedon tehokas hyödyntäminen ei pelkästään luo tietoa markkinoista, vaan tuottaa kilpailukykyistä tietoa ja toimii strategisen päätöksenteon tukena pitkällä aikavälillä. Tämä tutkimus on kvalitatiivinen toimintatutkimus, joka sisältää kirjallisuuskat-sauksen, yritystapaustutkimuksen sekä syväanalyysin yrityksen MI-ympäristöstä. Kirjallisuuskatsaus pitää sisällään teoriaa liittyen markkinaälyyn useassa eri kon-tekstissa, asiakassuhteeseen, sekä prosessinmallintamiseen. Empiiriseen osaa seuraa tutkimusmenetelmäkappale, joka sisältää kaksivaiheisen tutkimuksen mukaan lu-kien 20 päällikkötason haastattelua sekä yhden laaja-alaisen työryhmätapaamisen. Työn tuloksena syntyy kolmivaiheinen tiekartta, jonka tarkoitus on toimia pohjana uuden MI-funktion rakentamiselle Case-yrityksessä. Tuloksen mukaan MI-funktio tulisi sijoittaa yrityksen asiakasrajapintaan sekä tukea yksiköiden välistä integraa-tiota. Markkinaälyn jakaminen yrityksen sisällä vaatii käytäntöjen, tarpeiden ja ta-voitteiden systemaattista viestintää eri organisaatiotasoille, jotta yritys voi edelleen saada asiakkaalta tarpeeseen vastaavaa tietoa. Viestintä yrityksen ja asiakkaan välil-lä on oltava molemminpuolista, jotta tulokset voisivat parantaa asiakassuhdetta. Kun asiakassuhde paranee, yritys voi oppia asiakkaalta arvokasta tietoa, markkinaälyä.

Optimization and Measuring Techniques for Collect-and-Place Machines in Printed Circuit Board Industry

This thesis considers optimization problems arising in printed circuit board assembly. Especially, the case in which the electronic components of a single circuit board are placed using a single placement machine is studied. Although there is a large number of different placement machines, the use of collect-and-place -type gantry machines is discussed because of their flexibility and increasing popularity in the industry. Instead of solving the entire control optimization problem of a collect-andplace machine with a single application, the problem is divided into multiple subproblems because of its hard combinatorial nature. This dividing technique is called hierarchical decomposition. All the subproblems of the one PCB - one machine -context are described, classified and reviewed. The derived subproblems are then either solved with exact methods or new heuristic algorithms are developed and applied. The exact methods include, for example, a greedy algorithm and a solution based on dynamic programming. Some of the proposed heuristics contain constructive parts while others utilize local search or are based on frequency calculations. For the heuristics, it is made sure with comprehensive experimental tests that they are applicable and feasible. A number of quality functions will be proposed for evaluation and applied to the subproblems. In the experimental tests, artificially generated data from Markov-models and data from real-world PCB production are used. The thesis consists of an introduction and of five publications where the developed and used solution methods are described in their full detail. For all the problems stated in this thesis, the methods proposed are efficient enough to be used in the PCB assembly production in practice and are readily applicable in the PCB manufacturing industry.

Energy and raw material consumption analysis of powder bed fusion: case study: CNC machining and laser additive manufacturing

Laser additive manufacturing (LAM), known also as 3D printing, is a powder bed fusion (PBF) type of additive manufacturing (AM) technology used to manufacture metal parts layer by layer by assist of laser beam. The development of the technology from building just prototype parts to functional parts is due to design flexibility. And also possibility to manufacture tailored and optimised components in terms of performance and strength to weight ratio of final parts. The study of energy and raw material consumption in LAM is essential as it might facilitate the adoption and usage of the technique in manufacturing industries. The objective this thesis was find the impact of LAM on environmental and economic aspects and to conduct life cycle inventory of CNC machining and LAM in terms of energy and raw material consumption at production phases. Literature overview in this thesis include sustainability issues in manufacturing industries with focus on environmental and economic aspects. Also life cycle assessment and its applicability in manufacturing industry were studied. UPLCI-CO2PE! Initiative was identified as mostly applied exiting methodology to conduct LCI analysis in discrete manufacturing process like LAM. Many of the reviewed literature had focused to PBF of polymeric material and only few had considered metallic materials. The studies that had included metallic materials had only measured input and output energy or materials of the process and compared to different AM systems without comparing to any competitive process. Neither did any include effect of process variation when building metallic parts with LAM. Experimental testing were carried out to make dissimilar samples with CNC machining and LAM in this thesis. Test samples were designed to include part complexity and weight reductions. PUMA 2500Y lathe machine was used in the CNC machining whereas a modified research machine representing EOSINT M-series was used for the LAM. The raw material used for making the test pieces were stainless steel 316L bar (CNC machined parts) and stainless steel 316L powder (LAM built parts). An analysis of power, time, and the energy consumed in each of the manufacturing processes on production phase showed that LAM utilises more energy than CNC machining. The high energy consumption was as result of duration of production. Energy consumption profiles in CNC machining showed fluctuations with high and low power ranges. LAM energy usage within specific mode (standby, heating, process, sawing) remained relatively constant through the production. CNC machining was limited in terms of manufacturing freedom as it was not possible to manufacture all the designed sample by machining. And the one which was possible was aided with large amount of material removed as waste. Planning phase in LAM was shorter than in CNC machining as the latter required many preparation steps. Specific energy consumption (SEC) were estimated in LAM based on the practical results and assumed platform utilisation. The estimated platform utilisation showed SEC could reduce when more parts were placed in one build than it was in with the empirical results in this thesis (six parts).

Paul and death : a study in psychological coping

The present investigation looks into the attitudes toward death in Paul’s authentic letters, and puts them in relation to modern theories of psychological coping. Drawing on psychologically-oriented hermeneutic theory, and theories about psychological coping in particular, I argue that each case of psychological coping must be understood in its historical situation as strategies emanating from a specific person’s subjective appraisal (cf. Pargament, Lazarus and Folkman). Paul’s letters frequently refer to persecution and violent death. To aid in psychological coping is often integral to the purpose of the letters, which makes the perspective of psychological coping akin to their genre. In the course of a tentatively assumed chronological order of 1 Thessalonians, Galatians, 1 Corinthians, 2 Corinthians, Romans, Philippians, and Philemon, Paul moves from the perception of Jesus dying for the faithful to the understanding of dying with Jesus. His coping strategies concerning death are gradually transformed from conservative and deferring coping styles, to a more self-directing coping style, to collaborative and transformative coping styles, and finally to a new sense of deferring coping style in prison. The last case of deferring coping carries the traits of generosity and flexibility even in the face of death, which is in contrast to his previous letters. Through his correspondence, we see Paul’s attitude toward death transformed from denial to reaction, to processing, to acceptance (cf. Lindemann, Kübler-Ross, Bowlby, Parkes, among others). His strategies also shift in accordance with these understandings. Denial is accompanied by diversion, threat by aggression, processing by rumination, and acceptance by joy. The study shows the hermeneutic benefits of reading Paul’s letters as the rhetorically framed expressions of a person in a particular historical situation. The letters open small windows through which we can glimpse the coping process of a person of antiquity. In adopting the method of psychological exegesis, the study shows that the variety of attitudes toward death in Paul’s letters makes sense from the perspective of psychological coping. The psychological aspect of these letters is an underexamined richness that can extend into areas of contemporary individual and group identity, and from there to public policy and ethics.

Review of water electrolysis technologies and design of renewable hydrogen production systems

An electric system based on renewable energy faces challenges concerning the storage and utilization of energy due to the intermittent and seasonal nature of renewable energy sources. Wind and solar photovoltaic power productions are variable and difficult to predict, and thus electricity storage will be needed in the case of basic power production. Hydrogen’s energetic potential lies in its ability and versatility to store chemical energy, to serve as an energy carrier and as feedstock for various industries. Hydrogen is also used e.g. in the production of biofuels. The amount of energy produced during hydrogen combustion is higher than any other fuel’s on a mass basis with a higher-heating-value of 39.4 kWh/kg. However, even though hydrogen is the most abundant element in the universe, on Earth most hydrogen exists in molecular forms such as water. Therefore, hydrogen must be produced and there are various methods to do so. Today, the majority hydrogen comes from fossil fuels, mainly from steam methane reforming, and only about 4 % of global hydrogen comes from water electrolysis. Combination of electrolytic production of hydrogen from water and supply of renewable energy is attracting more interest due to the sustainability and the increased flexibility of the resulting energy system. The preferred option for intermittent hydrogen storage is pressurization in tanks since at ambient conditions the volumetric energy density of hydrogen is low, and pressurized tanks are efficient and affordable when the cycling rate is high. Pressurized hydrogen enables energy storage in larger capacities compared to battery technologies and additionally the energy can be stored for longer periods of time, on a time scale of months. In this thesis, the thermodynamics and electrochemistry associated with water electrolysis are described. The main water electrolysis technologies are presented with state-of-the-art specifications. Finally, a Power-to-Hydrogen infrastructure design for Lappeenranta University of Technology is presented. Laboratory setup for water electrolysis is specified and factors affecting its commissioning in Finland are presented.

Agent-based management systems for many-core platforms : rigorous design and efficient implementation

Due to various advantages such as flexibility, scalability and updatability, software intensive systems are increasingly embedded in everyday life. The constantly growing number of functions executed by these systems requires a high level of performance from the underlying platform. The main approach to incrementing performance has been the increase of operating frequency of a chip. However, this has led to the problem of power dissipation, which has shifted the focus of research to parallel and distributed computing. Parallel many-core platforms can provide the required level of computational power along with low power consumption. On the one hand, this enables parallel execution of highly intensive applications. With their computational power, these platforms are likely to be used in various application domains: from home use electronics (e.g., video processing) to complex critical control systems. On the other hand, the utilization of the resources has to be efficient in terms of performance and power consumption. However, the high level of on-chip integration results in the increase of the probability of various faults and creation of hotspots leading to thermal problems. Additionally, radiation, which is frequent in space but becomes an issue also at the ground level, can cause transient faults. This can eventually induce a faulty execution of applications. Therefore, it is crucial to develop methods that enable efficient as well as resilient execution of applications. The main objective of the thesis is to propose an approach to design agentbased systems for many-core platforms in a rigorous manner. When designing such a system, we explore and integrate various dynamic reconfiguration mechanisms into agents functionality. The use of these mechanisms enhances resilience of the underlying platform whilst maintaining performance at an acceptable level. The design of the system proceeds according to a formal refinement approach which allows us to ensure correct behaviour of the system with respect to postulated properties. To enable analysis of the proposed system in terms of area overhead as well as performance, we explore an approach, where the developed rigorous models are transformed into a high-level implementation language. Specifically, we investigate methods for deriving fault-free implementations from these models into, e.g., a hardware description language, namely VHDL.

Fuzzy real option analysis in patent related decision making and patent valuation

The shift towards a knowledge-based economy has inevitably prompted the evolution of patent exploitation. Nowadays, patent is more than just a prevention tool for a company to block its competitors from developing rival technologies, but lies at the very heart of its strategy for value creation and is therefore strategically exploited for economic pro t and competitive advantage. Along with the evolution of patent exploitation, the demand for reliable and systematic patent valuation has also reached an unprecedented level. However, most of the quantitative approaches in use to assess patent could arguably fall into four categories and they are based solely on the conventional discounted cash flow analysis, whose usability and reliability in the context of patent valuation are greatly limited by five practical issues: the market illiquidity, the poor data availability, discriminatory cash-flow estimations, and its incapability to account for changing risk and managerial flexibility. This dissertation attempts to overcome these impeding barriers by rationalizing the use of two techniques, namely fuzzy set theory (aiming at the first three issues) and real option analysis (aiming at the last two). It commences with an investigation into the nature of the uncertainties inherent in patent cash flow estimation and claims that two levels of uncertainties must be properly accounted for. Further investigation reveals that both levels of uncertainties fall under the categorization of subjective uncertainty, which differs from objective uncertainty originating from inherent randomness in that uncertainties labelled as subjective are highly related to the behavioural aspects of decision making and are usually witnessed whenever human judgement, evaluation or reasoning is crucial to the system under consideration and there exists a lack of complete knowledge on its variables. Having clarified their nature, the application of fuzzy set theory in modelling patent-related uncertain quantities is effortlessly justified. The application of real option analysis to patent valuation is prompted by the fact that both patent application process and the subsequent patent exploitation (or commercialization) are subject to a wide range of decisions at multiple successive stages. In other words, both patent applicants and patentees are faced with a large variety of courses of action as to how their patent applications and granted patents can be managed. Since they have the right to run their projects actively, this flexibility has value and thus must be properly accounted for. Accordingly, an explicit identification of the types of managerial flexibility inherent in patent-related decision making problems and in patent valuation, and a discussion on how they could be interpreted in terms of real options are provided in this dissertation. Additionally, the use of the proposed techniques in practical applications is demonstrated by three fuzzy real option analysis based models. In particular, the pay-of method and the extended fuzzy Black-Scholes model are employed to investigate the profitability of a patent application project for a new process for the preparation of a gypsum-fibre composite and to justify the subsequent patent commercialization decision, respectively; a fuzzy binomial model is designed to reveal the economic potential of a patent licensing opportunity.

Designing new learning experiences? : exploring corporate E-learners’ self-regulated learning

The context of this study is corporate e-learning, with an explicit focus on how digital learning design can facilitate self-regulated learning (SRL). The field of e-learning is growing rapidly. An increasing number of corporations use digital technology and elearning for training their work force and customers. E-learning may offer economic benefits, as well as opportunities for interaction and communication that traditional teaching cannot provide. However, the evolving variety of digital learning contexts makes new demands on learners, requiring them to develop strategies to adapt and cope with novel learning tools. This study derives from the need to learn more about learning experiences in digital contexts in order to be able to design these properly for learning. The research question targets how the design of an e-learning course influences participants’ self-regulated learning actions and intentions. SRL involves learners’ ability to exercise agency in their learning. Micro-level SRL processes were targeted by exploring behaviour, cognition, and affect/motivation in relation to the design of the digital context. Two iterations of an e-learning course were tested on two groups of participants (N=17). However, the exploration of SRL extends beyond the educational design research perspective of comparing the effects of the changes to the course designs. The study was conducted in a laboratory with each participant individually. Multiple types of data were collected. However, the results presented in this thesis are based on screen observations (including eye tracking) and video-stimulated recall interviews. These data were integrated in order to achieve a broad perspective on SRL. The most essential change evident in the second course iteration was the addition of feedback during practice and the final test. Without feedback on actions there was an observable difference between those who were instruction-directed and those who were self-directed in manipulating the context and, thus, persisted whenever faced with problems. In the second course iteration, including the feedback, this kind of difference was not found. Feedback provided the tipping point for participants to regulate their learning by identifying their knowledge gaps and to explore the learning context in a targeted manner. Furthermore, the course content was consistently seen from a pragmatic perspective, which influenced the participants’ choice of actions, showing that real life relevance is an important need of corporate learners. This also relates to assessment and the consideration of its purpose in relation to participants’ work situation. The rigidity of the multiple choice questions, focusing on the memorisation of details, influenced the participants to adapt to an approach for surface learning. It also caused frustration in cases where the participants’ epistemic beliefs were incompatible with this kind of assessment style. Triggers of positive and negative emotions could be categorized into four levels: personal factors, instructional design of content, interface design of context, and technical solution. In summary, the key design choices for creating a positive learning experience involve feedback, flexibility, functionality, fun, and freedom. The design of the context impacts regulation of behaviour, cognition, as well as affect and motivation. The learners’ awareness of these areas of regulation in relation to learning in a specific context is their ability for design-based epistemic metareflection. I describe this metareflection as knowing how to manipulate the context behaviourally for maximum learning, being metacognitively aware of one’s learning process, and being aware of how emotions can be regulated to maintain volitional control of the learning situation. Attention needs to be paid to how the design of a digital learning context supports learners’ metareflective development as digital learners. Every digital context has its own affordances and constraints, which influence the possibilities for micro-level SRL processes. Empowering learners in developing their ability for design-based epistemic metareflection is, therefore, essential for building their digital literacy in relation to these affordances and constraints. It was evident that the implementation of e-learning in the workplace is not unproblematic and needs new ways of thinking about learning and how we create learning spaces. Digital contexts bring a new culture of learning that demands attitude change in how we value knowledge, measure it, define who owns it, and who creates it. Based on the results, I argue that digital solutions for corporate learning ought to be built as an integrated system that facilitates socio-cultural connectivism within the corporation. The focus needs to shift from designing static e-learning material to managing networks of social meaning negotiation as part of a holistic corporate learning ecology.

Formal development of resilient distributed systems

Resilience is the property of a system to remain trustworthy despite changes. Changes of a different nature, whether due to failures of system components or varying operational conditions, significantly increase the complexity of system development. Therefore, advanced development technologies are required to build robust and flexible system architectures capable of adapting to such changes. Moreover, powerful quantitative techniques are needed to assess the impact of these changes on various system characteristics. Architectural flexibility is achieved by embedding into the system design the mechanisms for identifying changes and reacting on them. Hence a resilient system should have both advanced monitoring and error detection capabilities to recognise changes as well as sophisticated reconfiguration mechanisms to adapt to them. The aim of such reconfiguration is to ensure that the system stays operational, i.e., remains capable of achieving its goals. Design, verification and assessment of the system reconfiguration mechanisms is a challenging and error prone engineering task. In this thesis, we propose and validate a formal framework for development and assessment of resilient systems. Such a framework provides us with the means to specify and verify complex component interactions, model their cooperative behaviour in achieving system goals, and analyse the chosen reconfiguration strategies. Due to the variety of properties to be analysed, such a framework should have an integrated nature. To ensure the system functional correctness, it should rely on formal modelling and verification, while, to assess the impact of changes on such properties as performance and reliability, it should be combined with quantitative analysis. To ensure scalability of the proposed framework, we choose Event-B as the basis for reasoning about functional correctness. Event-B is a statebased formal approach that promotes the correct-by-construction development paradigm and formal verification by theorem proving. Event-B has a mature industrial-strength tool support { the Rodin platform. Proof-based verification as well as the reliance on abstraction and decomposition adopted in Event-B provides the designers with a powerful support for the development of complex systems. Moreover, the top-down system development by refinement allows the developers to explicitly express and verify critical system-level properties. Besides ensuring functional correctness, to achieve resilience we also need to analyse a number of non-functional characteristics, such as reliability and performance. Therefore, in this thesis we also demonstrate how formal development in Event-B can be combined with quantitative analysis. Namely, we experiment with integration of such techniques as probabilistic model checking in PRISM and discrete-event simulation in SimPy with formal development in Event-B. Such an integration allows us to assess how changes and di erent recon guration strategies a ect the overall system resilience. The approach proposed in this thesis is validated by a number of case studies from such areas as robotics, space, healthcare and cloud domain.

Cloud computing contribution to manufacturing industry

Manufacturing industry has been always facing challenge to improve the production efficiency, product quality, innovation ability and struggling to adopt cost-effective manufacturing system. In recent years cloud computing is emerging as one of the major enablers for the manufacturing industry. Combining the emerged cloud computing and other advanced manufacturing technologies such as Internet of Things, service-oriented architecture (SOA), networked manufacturing (NM) and manufacturing grid (MGrid), with existing manufacturing models and enterprise information technologies, a new paradigm called cloud manufacturing is proposed by the recent literature. This study presents concepts and ideas of cloud computing and cloud manufacturing. The concept, architecture, core enabling technologies, and typical characteristics of cloud manufacturing are discussed, as well as the difference and relationship between cloud computing and cloud manufacturing. The research is based on mixed qualitative and quantitative methods, and a case study. The case is a prototype of cloud manufacturing solution, which is software platform cooperated by ATR Soft Oy and SW Company China office. This study tries to understand the practical impacts and challenges that are derived from cloud manufacturing. The main conclusion of this study is that cloud manufacturing is an approach to achieve the transformation from traditional production-oriented manufacturing to next generation service-oriented manufacturing. Many manufacturing enterprises are already using a form of cloud computing in their existing network infrastructure to increase flexibility of its supply chain, reduce resources consumption, the study finds out the shift from cloud computing to cloud manufacturing is feasible. Meanwhile, the study points out the related theory, methodology and application of cloud manufacturing system are far from maturity, it is still an open field where many new technologies need to be studied.

Virtuaaliprototyypin käyttö roottorin dynamiikan analysoinnissa

Työn tavoitteena oli selvittää kaupallisen dynamiikansimulointiohjelmiston so-veltuvuus roottoridynamiikan analysointiin. Työssä keskityttiin erityisesti rootto-rin dynamiikkaan vaikuttavien epäideaalisuuksien mallintamiseen. Simulointitu-losten tarkkuutta selvitettiin mittauksilla. Lisäksi vertailtiin yleiskäyttöisen dyna-miikan simulointiohjelmiston ja roottoridynamiikan erikoisohjelmiston teoriaa. Tutkittava roottori oli paperikoneen putkitela. Telan joustavuus kuvattiin ele-menttimenetelmällä ratkaistujen moodien avulla. Elementtimallissa huomioitiin telan vaipan seinämänpaksuusvaihtelu, joka vaikuttaa telan massa- ja jäykkyysja-kaumaan. Dynamiikkaohjelmistossa mallinnettiin telan tuennasta tulevat herätteet. Dynamiikkaohjelmistona käytettiin ADAMS:ia ja FEM-ohjelmana ANSYS:stä. Tuloksista havaittiin käytetyn menetelmän soveltuvan roottoridynamiikan ana-lysointiin ja roottorin epäideaalisuuksien mallintamiseen. Simulointimallilla saa-tiin esille murtolukukriittiset pyörimisnopeudet ja telan kriittinen pyörimisnopeus vastasi hyvin mittaustuloksia.