3D-tulostettu tuuliturbiinin vaihteen pienoismalli

Työn aiheena on vaihteen pienoismallin suunnittelu ja toteutus 3d-tulostusta hyväksi käyttäen. Pienoismalli tehdään Moventas Gears Oy:n suunnittelemasta tuuliturbiinin vaihteesta. Vaihteen pienentämisestä johtuen malliin on suunniteltava uudet laakeripesät ja hammaspyörät. 3D-tulostuksen ja pienoismallin pienen koon ansiosta vaihdetta voidaan yksinkertaistaa suuresti ja näin vähentää tulostettavien osien määrää. Lisäksi työssä selvitetään, mitä ongelmia 3D-tulostus tuo valmistukseen ja suunnitteluun. Työn kirjallisessa osassa selvennetään planeettavaihteen toimintaa yleisesti sekä esitellään Exceed Series 3+ vaihdetta. Lisäksi kerrotaan 3D-tulostuksesta, sen periaatteesta, erilaisista tulostusmenetelmistä, tulostinlaitteesta ja mahdollisista ongelmista tulostuksessa. Kokeellinen osa koostuu pienoismallin suunnittelusta ja valmistuksesta. Valmistuksessa olleiden virheiden takia muutama osa jouduttiin tulostamaan uudelleen. Muutamia osia jouduttiin myös hieman jälkikäsittelemään tulostuksen jälkeen, jotta malli saatiin kasattua. Ongelmakohdaksi muodostui tulostimen ohjelmisto ja tulostustiedostot. Tulostusprosessi sujui kuitenkin hyvin. Lopputuloksena saatiin toimiva pienoismalli. 3D-tulostus toimii hyvin monimutkaisten kappaleiden tulostuksessa. Tulostuksen hinta nousi kuitenkin varsin korkeaksi. Tulostuslaitteistosta riippuen tulostuksen voisi mahdollisesti suorittaa myös halvemmallakin.

Näkökulmia 3D-tulostuksen opetukseen ja koulutukseen

Additive manufacturing, or 3D printing, is globally one of most interesting area in developing of manufacturing technologies. This technology is suitable for fabrication off industrial products and it interests actors in fields of computer sciences, economics, medical sciences and design&arts. Additive manufacturing is often referred as third industrial revolution: first revolution was invention of steam engines in 18th century and second was industrial revolution started by Henry Ford in 1920s. Companies should be able to test suitability of their products for additive manufacturing and 3D printing but also how much better products could be when products are totally re-designed so that all potential of this new technology can be utilized. This is where education has its importance; new generations who enter working life should be educated to know of additive manufacturing and 3D printing, its advantages but also of it limits. There has to be also possibility to educate industry and people already working there, so that industrial implementation could be done successfully. This is especially very valid for Finland. Education is strongly needed so that Finnish industry can maintain its competence in global markets. Role of education is extremely important when a new technology is industrially implemented. Additive manufacturing and 3D printing offers freedom to design new products, production and generally ways of doing things. Development, planning and execution of education for additive manufacturing and 3D printing is challenging as this area develops very fast. New innovations are coming almost every month. Planning of education for additive manufacturing and 3D printing requires collection pieces of data from various of sources. Additive manufacturing and 3D printing industry and its development has to be followed frequently, and material for additive manufacturing and 3D printing has to be renewed frequently.

Utilizing analytic modelling process in industrial retail context

Nykypäivän monimutkaisessa ja epävakaassa liiketoimintaympäristössä yritykset, jotka kykenevät muuttamaan tuottamansa operatiivisen datan tietovarastoiksi, voivat saavuttaa merkittävää kilpailuetua. Ennustavan analytiikan hyödyntäminen tulevien trendien ennakointiin mahdollistaa yritysten tunnistavan avaintekijöitä, joiden avulla he pystyvät erottumaan kilpailijoistaan. Ennustavan analytiikan hyödyntäminen osana päätöksentekoprosessia mahdollistaa ketterämmän, reaaliaikaisen päätöksenteon. Tämän diplomityön tarkoituksena on koota teoreettinen viitekehys analytiikan mallintamisesta liike-elämän loppukäyttäjän näkökulmasta ja hyödyntää tätä mallinnusprosessia diplomityön tapaustutkimuksen yritykseen. Teoreettista mallia hyödynnettiin asiakkuuksien mallintamisessa sekä tunnistamalla ennakoivia tekijöitä myynnin ennustamiseen. Työ suoritettiin suomalaiseen teollisten suodattimien tukkukauppaan, jolla on liiketoimintaa Suomessa, Venäjällä ja Balteissa. Tämä tutkimus on määrällinen tapaustutkimus, jossa tärkeimpänä tiedonkeruumenetelmänä käytettiin tapausyrityksen transaktiodataa. Data työhön saatiin yrityksen toiminnanohjausjärjestelmästä.

Formal modelling for digital media distribution

Human beings have always strived to preserve their memories and spread their ideas. In the beginning this was always done through human interpretations, such as telling stories and creating sculptures. Later, technological progress made it possible to create a recording of a phenomenon; first as an analogue recording onto a physical object, and later digitally, as a sequence of bits to be interpreted by a computer. By the end of the 20th century technological advances had made it feasible to distribute media content over a computer network instead of on physical objects, thus enabling the concept of digital media distribution. Many digital media distribution systems already exist, and their continued, and in many cases increasing, usage is an indicator for the high interest in their future enhancements and enriching. By looking at these digital media distribution systems, we have identified three main areas of possible improvement: network structure and coordination, transport of content over the network, and the encoding used for the content. In this thesis, our aim is to show that improvements in performance, efficiency and availability can be done in conjunction with improvements in software quality and reliability through the use of formal methods: mathematical approaches to reasoning about software so that we can prove its correctness, together with the desirable properties. We envision a complete media distribution system based on a distributed architecture, such as peer-to-peer networking, in which different parts of the system have been formally modelled and verified. Starting with the network itself, we show how it can be formally constructed and modularised in the Event-B formalism, such that we can separate the modelling of one node from the modelling of the network itself. We also show how the piece selection algorithm in the BitTorrent peer-to-peer transfer protocol can be adapted for on-demand media streaming, and how this can be modelled in Event-B. Furthermore, we show how modelling one peer in Event-B can give results similar to simulating an entire network of peers. Going further, we introduce a formal specification language for content transfer algorithms, and show that having such a language can make these algorithms easier to understand. We also show how generating Event-B code from this language can result in less complexity compared to creating the models from written specifications. We also consider the decoding part of a media distribution system by showing how video decoding can be done in parallel. This is based on formally defined dependencies between frames and blocks in a video sequence; we have shown that also this step can be performed in a way that is mathematically proven correct. Our modelling and proving in this thesis is, in its majority, tool-based. This provides a demonstration of the advance of formal methods as well as their increased reliability, and thus, advocates for their more wide-spread usage in the future.

Reengineering and modelling of a product certification process

Työn teoriaosuudessa tutkittiin prosessien uudelleen suunnittelua, prosessien mallintamista sekä prosessimittariston rakentamista. Työn tavoitteena oli uudelleen suunnitella organisaation sertifiointiprosessi. Tämän tavoitteen saavuttamiseksi piti mallintaa nykyinen ja uusi prosessi sekä rakentaa mittaristo, joka antaisi organisaatiolle arvokasta tietoa siitä, kuinka tehokkaasti uusi prosessi toimii. Työ suoritettiin osallistuvana toimintatutkimuksena. Diplomityön tekijä oli toiminut kohdeorganisaatiossa työntekijänä jo useita vuosia ja pystyi näinollen hyödyntämään omaa tietämystään sekä nykyisen prosessin mallintamisessa, että uuden prosessin suunnittelussa. Työn tuloksena syntyi uusi sertifiointiprosessi, joka on karsitumpi ja tehokkaampi kuin edeltäjänsä. Uusi mittaristojärjestelmä rakennettiin, jota organisaation johto kykenisi seuraamaan prosessin sidosryhmien tehokkuutta sekä tuotteiden laadun kehitystä. Sivutuotteena organisaatio sai käyttöönsä yksityiskohtaiset prosessikuvaukset, joita voidaan hyödyntää koulutusmateriaalina uutta henkilöstöä rekrytoitaessa sekä informatiivisena työkaluna esiteltäessä prosessia virallisille sertifiointitahoille.