69 resultados para Formal Methods. Component-Based Development. Competition. Model Checking
Resumo:
Tutkimuksen tarkoituksena oli tutkia päähankkijan ja toimittajien välistä yhteistyötä. Tavoitteena oli selvittää voidaanko verkostoyhteistyötä kehittämällä parantaa kilpailukykyä ja saavuttaa tuotteiden parempaa laatua. Ensin selvitettiin verkoston kehityskeinoja kirjallisuuden avulla. Tämän lisäksi kartoitettiin tutkimuskohteena olleen yrityksen nykytilanne kehityksen lähtökohdaksi. Selvitystöiden perusteella määriteltiin tavoitteet verkostoyhteistyön parantamiseksi sekä luotiin malli, jonka pohjalta kohdeyrityksen toimintaa tullaan kehittämään.
Resumo:
The optimal design of a heat exchanger system is based on given model parameters together with given standard ranges for machine design variables. The goals set for minimizing the Life Cycle Cost (LCC) function which represents the price of the saved energy, for maximizing the momentary heat recovery output with given constraints satisfied and taking into account the uncertainty in the models were successfully done. Nondominated Sorting Genetic Algorithm II (NSGA-II) for the design optimization of a system is presented and implemented inMatlab environment. Markov ChainMonte Carlo (MCMC) methods are also used to take into account the uncertainty in themodels. Results show that the price of saved energy can be optimized. A wet heat exchanger is found to be more efficient and beneficial than a dry heat exchanger even though its construction is expensive (160 EUR/m2) compared to the construction of a dry heat exchanger (50 EUR/m2). It has been found that the longer lifetime weights higher CAPEX and lower OPEX and vice versa, and the effect of the uncertainty in the models has been identified in a simplified case of minimizing the area of a dry heat exchanger.
Resumo:
Työn tavoitteena oli selvittää Transpoint Cargon kuljetussuunnittelun nykytila ja kuljetussuunnittelijoiden välisten vastuiden jakaantuminen. Työn tavoitteena oli lisäksi rakentaa kuljetussuunnittelulle alueellinen toimintamalli yrityksen asettamien rajoitteiden mukaisesti. Kuljetussuunnittelun tilaa tutkittiin haastatteluiden, visuaalisen analysoinnin, oman työkokemuksen ja tuotevirta-analyysin avulla. Kuljetussuunnittelun suurimmat kehitystarpeet löytyivät vastuiden loogisemmasta jakamisesta ja suunnittelijoiden tavasta ohjata autoja. Kehitysehdotuksena nykytilanteen parantamiseksi työssä esitetään kuljetussuunnittelijoiden työtehtävien jakaminen klusteri mallin mukaisesti. Klusteri malliin perustuen työssä esitetään kolme eri vaihtoehtoa kuljetussuunnittelun alueellisen toimintamallin toteuttamiseksi.
Resumo:
Both the competitive environment and the internal structure of an industrial organization are typically included in the processes which describe the strategic management processes of the firm, but less attention has been paid to the interdependence between these views. Therefore, this research focuses on explaining the particular conditions of an industry change, which lead managers to realign the firm in respect of its environment for generating competitive advantage. The research question that directs the development of the theoretical framework is: Why do firms outsource some of their functions? The three general stages of the analysis are related to the following research topics: (i) understanding forces that shape the industry, (ii) estimating the impacts of transforming customer preferences, rivalry, and changing capability bases on the relevance of existing assets and activities, and emergence of new business models, and (iii) developing optional structures for future value chains and understanding general boundaries for market emergence. The defined research setting contributes to the managerial research questions “Why do firms reorganize their value chains?”, “Why and how are decisions made?” Combining Transaction Cost Economics (TCE) and Resource-Based View (RBV) within an integrated framework makes it possible to evaluate the two dimensions of a company’s resources, namely the strategic value and transferability. The final decision of restructuring will be made based on an analysis of the actual business potential of the outsourcing, where benefits and risks are evaluated. The firm focuses on the risk of opportunism, hold-up problems, pricing, and opportunities to reach a complete contract, and finally on the direct benefits and risks for financial performance. The supplier analyzes the business potential of an activity outside the specific customer, the amount of customer-specific investments, the service provider’s competitive position, abilities to revenue gains in generic segments, and long-term dependence on the customer.
Resumo:
Työssä tarkastellaan hitsauksen tuotekehityksen suunnittelun toteuttamista ja hitsauksen kehittämistä konepajalla. Yritykset tietävät omat valmistustekniset ongelmansa, mutta kehittämisen aloittaminen on monesti hankalaa tai sitä ei edes aloiteta. Pienimmillä yrityksillä ei usein ole mahdollisuuksia eikä osaamista uusien tuotantomenetelmien ja tuotteiden kehittämiseen. Työssä annetaan neuvoja miten alentaa kehittämistyön aloituskynnystä ja auttaa suunnittelutehtävän jäsentelyssä. Tuotteen suunnittelu on vaativa tehtävä, koska siinä lyödään lukkoon tuotteen toimivuus ja suurin osa kustannuksista. Suunnittelijoiden on tiedettävä eri valmistusmenetelmistä ja valmistusystävällisestä suunnittelusta, jotta he voisivat huomioida valmistettavuus- ja kokoonpanonäkökohdat. Hyvässä hitsatussa tuotteessa on mahdollisimman vähän hitsiä, käytetty modulointia ja standardointia sekä käytetty hitsausta korvaavia menetelmiä. Työssä on esitelty valmistusystävälliseen suunnitteluun kehitelty "Design For Welding" -malli, jossa käydään läpi hitsatun rakenteen erityispiirteet suunnittelun kannalta. Valmistusystävällisen suunnittelun tarkoituksena on vähentää tilauskohtaista suunnittelua, hitsausta, hitsauksen jälkeistä käsittelyä ja koneistusta.
Resumo:
Työn tavoitteena oli luoda yhtenäinen, tehokas ja helppokäyttöinen tarjouslaskentamalli sopimusvalmistajan käyttöön. Konsernin käytössä oli aiemmin neljä erilaista tarjouslaskentamallia ja niitä oli erittäin vaikea vertailla keskenään, eikä niillä voitu laskea tarjouksia kaikille tehtaille. Työ jakautuu kirjallisuuskatsaukseen ja empiiriseen osaan. Kirjallisuuskatsauksessa käsitellään erilaisia hinnoitteluvaihtoehtoja, kustannuslaskennan roolia ja kustannuslaskentamenetelmiä. Empiirinen osa koostuu tarjouslaskennan nykytilan analysoinnista, uuden tarjouslaskentamallin rakentamisesta sekä kehitetyn tarjouslaskentamallin toimintakuvauksesta. Tarjouslaskentamallin pohjaksi valittiin kustannusperusteinen hinnoittelu, koska sitä oli käytetty aikaisemminkin ja se oli koettu hyväksi. Kustannusperusteisen tarjouslaskentamallin pohjaksi luotiin yhtenäiset työ – ja konetuntihinnat koko konserniin. Konetuntihinnat laskettiin 28 koneelle. Konetuntihintoja analysoitiin ja ryhmiteltiin siten, että päädyttiin 16 konelisän käyttöön. Tarjouslaskentamalli käsittelee vain valmistuksen kustannuksia eikä ota kantaa hallintokustannusten syntyyn. Yhtenäinen tarjouslaskentamalli helpottaa eri myyntimiesten tekemien tarjousten vertailua ja mahdollistaa tuotteiden myynnin useille tehtaille. Tarjouslaskentamalli toteutettiin taulukkolaskentaohjelmalla.
Resumo:
Testaustapausten valitseminen on testauksessa tärkeää, koska kaikkia testaustapauksia ei voida testata aika- ja raharajoitteiden takia. Testaustapausten valintaan on paljon eri menetelmiä joista eniten esillä olevat ovat malleihin perustuva valinta, kombinaatiovalinta ja riskeihin perustuva valinta. Kaikkiin edellä mainittuihin menetelmiin testaustapaukset luodaan ohjelman spesifikaation perusteella. Malleihin perustuvassa menetelmässä käytetään hyväksi ohjelman toiminnasta olevia malleja, joista valitaan tärkeimmät testattavaksi. Kombinaatiotestauksessa testitapaukset on muodostettu ominaisuuspareina jolloin yhden parin testaamisesta päätellään kahden ominaisuuden toiminta. Kombinaatiotestaus on tehokas löytämään virheitä, jotka johtuvat yhdestä tai kahdesta tekijästä. Riskeihin perustuva testaus pyrkii arvioimaan ohjelman riskejä ja valitsemaan testitapaukset niiden perusteella. Kaikissa menetelmissä priorisointi on tärkeässä roolissa, jotta testauksesta saadaan riittävä luotettavuus ilman kustannusten nousua.
Resumo:
Työn tavoitteena oli tutkia The Switch Drive Systems Oy:n edellytyksiä globaalille hankintatoiminnalle ja tuotannon aloittamiselle Kiinassa. Lisäksi pyrittiin keräämään empiiristä tietoa ja palautetta yrityksen prosesseista niiden kehittämistä varten. Yrityksen tuotantostrategia perustuu mallitehdaskonseptiin ja yrityksellä on kaksi mallitehdasta Suomessa. Työ keskittyy tutkimaan näiden mallitehtaiden valmiuksia aloittaa globaali ja ulkoistettu sarjatuotanto. Tutkimus suoritettiin empiirisenä tutkimuksena haastattelemalla yhteensä yhdeksää edustajaa yrityksen kolmesta yksiköstä Suomessa. Empiirinen tutkimus perustui riskienhallinnan keinoihin. Kvantitatiivisen tutkimuksen tarkoituksena oli kartoittaa merkittävimmät riskit tarkempaa tarkastelua varten. Kvalitatiivisen tutkimuksen tavoitteena oli löytää syitä merkittävimmille riskeille. Tutkimuksen keskeisimmäksi tulokseksi on saatu lista merkittävimmistä syistä, jotka vaikeuttavat yrityksen tuotantostrategian toteuttamista. Lisäksi tuloksia ovat kvantitatiiviset tulokset merkittävimmistä riskeistä ja niihin liittyvät syyseuraussuhteet.
Resumo:
Tämä diplomityö toteutettiin Sammet Dampers Oy:ltä saatuna toimeksiantona. Yritys haluaa yhä parempia tuloksia tuoteryhmien kehitysprojekteista, jolloin se asettaa vaatimuksia kehitysprojekteissa käytettävälle kehitysprosessille. Yrityksen täytyy optimoida ja systematisoida käytettävää menetelmää, jotta näihin parempiin tuloksiin voidaan päästä. Työn ensimmäisenä tavoitteena on optimoida yrityksen käytössä oleva tuoteryhmien kehitysprojekteissa käytettävä prosessimalli. Tavoitteen mukaisesti työssä luodaan uusi optimoitu tuoteryhmien kehitysprosessimalli, joka vastaa yrityksen tarpeisiin. Tämä uusi malli kirjataan osaksi yrityksen toiminnanohjausjärjestelmää. Työn toisena tavoitteena on käyttää uutta optimoitua prosessimallia kellopeltien tuoteryhmän kehitysprojektissa. Tätä kehitysprojektia käytetään samalla uuden prosessimallin sisäänajamiseen osaksi yrityksen toimintoja.Tämän diplomityön puitteissa kellopeltien kehitysprojektista käydään läpi kehitysprojektin ensimmäinen osio eli vaatimustenmäärittelyprosessi ja esitellään sen tuloksena syntynyt toteutussuunnitelma. Työn tuloksena syntyneen uuden tuoteryhmien kehitysprojektin prosessimallin avulla voidaan saavuttaa merkittäviä parannuksia tarkasteltaessa kehitysprojektin tuloksia ajankäytön, laadun ja kustannusten suhteen.
Resumo:
Mediayhtiöt miettivät keinoja joilla saataisiin lukijat maksamaan myös verkkopalveluihin julkaistavista sisällöistä. Tässä tutkimuksessa selvitettiin tilaajapohjaisen maksullisen verkkopalvelu-mallin soveltuvuutta Talentum Media Oy:lle sekä kehitettiin yritykselle maksavia asiakkaita houkuttelevan sisältötuotteen konsepti. Tutkimuksessa ei ilmennyt syitä, joiden takia yrityksen olisi syytä lykätä maksullisen verkkopalvelun kehittämistä. Perinteistä lehteä ja sen verkkopalvelua ei kannata nähdä toistensa kilpailijoina. Käyttäjät ovat yhä valmiimpia maksamaan sisällöstä verkossa, kun se on järjestelty houkutteleviksi kokonaisuuksiksi ja paketoitu oikein, sekä kun he säästävät aikaa tai vaivaa verkkopalvelun käytöllä. Verkkopalvelun muuntaminen maksulliseksi on kuitenkin suunniteltava erittäin tarkkaan, muuten käyttäjät saattavat siirtyä ilmaisiin palveluihin. Talentumin verkkopalveluiden käyttäjille tehdyn kyselytutkimuksen mukaan yrityksen verkkopalveluiden käyttäjät maksaisivat mieluiten verkkokoulutuksista, erityisraporteista ja tutkivasta journalismista, ammattikirjojen tiivistelmistä, opastavista tietopaketeista, pörssi- ja yritystiedosta sekä näköislehdistä. Tutkimuksessa kehitettiin maksullisen verkkopalvelun konsepti, joka tarjoaa lukijoille itsensä kehittämisen välineitä sekä informaatiota nopeasti ja vaivattomasti heidän haluamaansa aikaan ja valitsemallaan päätelaitteella. Konseptia seuraavan tuotekehityshankkeen tuloksena syntyvästä verkkopalvelusta odotetaan saatavan merkittävää lisäliikevaihtoa yrityksen online-toiminnoille.
Resumo:
Tällä hetkellä hitsauksen automatisointiaste on hyvin pieni alumiinivenevalmistuksessa. Automatisointiasteen kasvattaminen on ensiarvoisen tärkeää kilpailukyvyn säilyttämiseksi, sekä edelleen nostamiseksi. Automatisointiasteen kasvattamisen esteenä ei ole teknologian puute, vaan suunnitellut tuotteet soveltuvat huonosti robotisoituun hitsaukseen. Lisäksi liitettävien osien tarkkuus on monissa tapauksissa puutteellinen, joten robottihitsaus on monessa tapauksessa mahdotonta. Robottihitsauksessa vaaditaan osien hyvää paikoittamista ja siihen tarvitaan kiinnittimiä. Kuitenkin alumiinivenevalmistuksessa valmistusmäärät ovat sen verran pieniä, että tuotekohtaisia kiinnittimiä ei kannata hankkia tai valmistaa. Siksi kiinnittimiltä vaaditaan joustavuutta ja modulaarisuutta, jotta samalla kiinnittimellä voi hitsata useita vastaavia piirteitä omaavia tuotteita. Tässä työssä tutkittiin modulaarisia kiinnittimiä, edistyneitä kiinnitinsuunnitteluprosesseja, osavalmistustarkkuuksia, tuotemoduloinnin hyödyntämistä ja alumiinin robottihitsauksen erityispiirteitä. Työssä suunniteltiin ja simuloitiin modulaarinen hitsauskiinnitin, jota käytetään tietyn alumiinivenemallin erillisenä osakokoonpanona valmistettavan jäykisterakennekonseptin hitsaamiseen. Suunnittelu ja simulointi tehtiin Delmia V5R20 -ohjelmistolla. Jäykisterakenne on modulaarinen tuoterakenne, jossa käytetään itsepaikoittavia liitoksia helpottamaan osien asettelua ja yksinkertaistamaan kiinnitintä. Kiinnitin soveltuu joustavasti erikokoisten jäykisterakenneosakokoonpanojen valmistukseen. Lisäksi suunniteltua kiinnitintä verrattiin kaupalliseen modulaariseen Demmeler -kiinnitinjärjestelmään. Jäykisterakenteen osakokoonpanon hitsaaminen robotilla lyhentää valmistusaikaa verrattuna nykytilaan, kun osat voidaan asettaa kiinnittimeen nopeasti ja luotettavasti. Samalla jäykisterakenteen tekeminen erillisenä osakokoonpanona lyhentää veneen rungon loppukokoonpanoaikaa ja mahdollistaa hitsausrobotin käytön myös veneen muiden hitsien hitsaamisessa. Modulaarisilla hitsauskiinnittimillä saavutetaan alumiiniveneiden nykyisillä valmistusmäärillä skaalaetuja, joita tuotekohtaisella kiinnittimellä ei voi saavuttaa.
Resumo:
Tässä työssä kuvataan erästä kaupallista ohjelmistoprojektia, jossa ohjelmistojen uudelleenkäyttöä tavoiteltiin komponenttipohjaisen uudelleenkäytön ja ohjelmistojen sovittamisen kautta. Projektissa toteutettiin matkapuhelinsovellus, jonka ydin eristettiin uudelleenkäytettäväksi ja sovitettavaksi komponentiksi. Ytimen sovitettavuus verifioitiin sovittamalla ydin toiselle ympäristölle ja edelleen toteuttamalla toimiva prototyyppisovellus sovitetun ytimen varaan. Ytimen sovittamisen sekä prototyyppisovelluksen toteuttamisen vaatima työmäärä oli huomattavasti pienempi kuin ytimen tekemiseen alkuperin käytetty työmäärä. Työssä on osoitettu ohjelmistometriikoiden avulla, että merkittävä osa ohjelmiston toiminnallisuudesta saatiin uudelleenkäytettäväksi sovitettavan ytimen avulla. Lisäksi työssä on kuvattu millaisia kehitysprosessikäytäntöjä projektissa oli käytössä tukemassa uudelleenkäytettävyystavoitetta.
Resumo:
In this Thesis I discuss the dynamics of the quantum Brownian motion model in harmonic potential. This paradigmatic model has an exact solution, making it possible to consider also analytically the non-Markovian dynamics. The issues covered in this Thesis are themed around decoherence. First, I consider decoherence as the mediator of quantum-to-classical transition. I examine five different definitions for nonclassicality of quantum states, and show how each definition gives qualitatively different times for the onset of classicality. In particular I have found that all characterizations of nonclassicality, apart from one based on the interference term in the Wigner function, result in a finite, rather than asymptotic, time for the emergence of classicality. Second, I examine the diverse effects which coupling to a non-Markovian, structured reservoir, has on our system. By comparing different types of Ohmic reservoirs, I derive some general conclusions on the role of the reservoir spectrum in both the short-time and the thermalization dynamics. Finally, I apply these results to two schemes for decoherence control. Both of the methods are based on the non-Markovian properties of the dynamics.
Resumo:
This research focused on operation of a manpower pool within a service business unit in Company X and aimed to identify how the operation should be improved in order to get most out of it concerning the future prospects of the service business unit. This was done by analyzing the current state of the manpower pool related operations in means of project business, project management and business models. The objective was to deepen the understanding and to highlight possible areas of improvement. The research was conducted as a qualitative single-case study utilizing also an action research method; the research approach was a combination of conceptual, action-oriented and constructive approaches. The primary data was collected with executing a comprehensive literature review and semi-structured theme interviews. The main results described how the manpower pool operates as part of the service business unit in project business by participating in different types of delivery projects; process flows for the project types were mapped. Project management was analyzed especially from the resource management point of view, and an Excel-based skills analysis model was constructed for this purpose. Utilization of operational business models was also studied to define strategic direction for development activities. The results were benchmarked against two competitors in order to specify lessons to be learnt from their use of operational business models.
Resumo:
Energy efficiency is one of the major objectives which should be achieved in order to implement the limited energy resources of the world in a sustainable way. Since radiative heat transfer is the dominant heat transfer mechanism in most of fossil fuel combustion systems, more accurate insight and models may cause improvement in the energy efficiency of the new designed combustion systems. The radiative properties of combustion gases are highly wavelength dependent. Better models for calculating the radiative properties of combustion gases are highly required in the modeling of large scale industrial combustion systems. With detailed knowledge of spectral radiative properties of gases, the modeling of combustion processes in the different applications can be more accurate. In order to propose a new method for effective non gray modeling of radiative heat transfer in combustion systems, different models for the spectral properties of gases including SNBM, EWBM, and WSGGM have been studied in this research. Using this detailed analysis of different approaches, the thesis presents new methods for gray and non gray radiative heat transfer modeling in homogeneous and inhomogeneous H2O–CO2 mixtures at atmospheric pressure. The proposed method is able to support the modeling of a wide range of combustion systems including the oxy-fired combustion scenario. The new methods are based on implementing some pre-obtained correlations for the total emissivity and band absorption coefficient of H2O–CO2 mixtures in different temperatures, gas compositions, and optical path lengths. They can be easily used within any commercial CFD software for radiative heat transfer modeling resulting in more accurate, simple, and fast calculations. The new methods were successfully used in CFD modeling by applying them to industrial scale backpass channel under oxy-fired conditions. The developed approaches are more accurate compared with other methods; moreover, they can provide complete explanation and detailed analysis of the radiation heat transfer in different systems under different combustion conditions. The methods were verified by applying them to some benchmarks, and they showed a good level of accuracy and computational speed compared to other methods. Furthermore, the implementation of the suggested banded approach in CFD software is very easy and straightforward.