Using time and stochastic models for software reliability forecasting and analysis

Tämä työ luo katsauksen ajallisiin ja stokastisiin ohjelmien luotettavuus malleihin sekä tutkii muutamia malleja käytännössä. Työn teoriaosuus sisältää ohjelmien luotettavuuden kuvauksessa ja arvioinnissa käytetyt keskeiset määritelmät ja metriikan sekä varsinaiset mallien kuvaukset. Työssä esitellään kaksi ohjelmien luotettavuusryhmää. Ensimmäinen ryhmä ovat riskiin perustuvat mallit. Toinen ryhmä käsittää virheiden ”kylvöön” ja merkitsevyyteen perustuvat mallit. Työn empiirinen osa sisältää kokeiden kuvaukset ja tulokset. Kokeet suoritettiin käyttämällä kolmea ensimmäiseen ryhmään kuuluvaa mallia: Jelinski-Moranda mallia, ensimmäistä geometrista mallia sekä yksinkertaista eksponenttimallia. Kokeiden tarkoituksena oli tutkia, kuinka syötetyn datan distribuutio vaikuttaa mallien toimivuuteen sekä kuinka herkkiä mallit ovat syötetyn datan määrän muutoksille. Jelinski-Moranda malli osoittautui herkimmäksi distribuutiolle konvergaatio-ongelmien vuoksi, ensimmäinen geometrinen malli herkimmäksi datan määrän muutoksille.

Market Study of Electric Drive Motion Control Business

Tämän diplomityön tavoitteena oli tutkia älykkäiden paikoituskäyttöjen markkinoita ja liiketoimintamalleja. Työn pääongelmina oli määritellä alalla käytössä olevaa terminologiaa, määrittää markkinoiden koko paikoitusominaisuudet omaaville kolmivaihetaajuusmuuttajille, tutkia viiden alalla toimivan paikoituskäyttötoimittajan liiketoimintarakenteita ja tuotteita teknisestä näkökulmasta sekä esitellä kaksi teollisuuden käyttökohdetta paikoituskäytölle. Työn sisältö voidaan jakaa neljään eri osioon. Terminologian määrittely- ja markkinatutkimusosiot perustuvat pääasiassa kirjallisuustutkimukseen. Paikoituskäyttöjen toimittajia sekä niiden tuotteita käsittelevä osuus perustuu kirjallisuustutkimukseen sekä teknisiin esitteisiin ja manuaaleihin. Paikoituskäyttöjen sovellusesimerkit on selvitetty haastatteluin. Työ painottuu paikoituskäyttötoimittajien tuotteiden, tuoteominaisuuksien ja tuotetarjonnan tarkasteluun. Työn tuloksena on määritelty paikoituskäyttöjen liiketoiminnan tärkeimmät termit, paikoituskäyttöjen markkinoiden koko sekä markkinoiden koko paikoitusominaisuudet omaavalle kolmivaihetaajuusmuuttajalle. Alalla toimivien paikoituskäyttötoimittajien liiketoimintarakenne on selvitetty, jonka mukaan toimittajat on profiloitu komponentti-, komponenttipaketti-, toimialakeskeisiksi tai automaatiotoimittajiksi. Toimittajien paikoituskäyttötuotteet on luokiteltu viiteen eri luokkaan niiden teknisten ominaisuuksien perusteella. Lisäksi paikoituskäyttöjen suorituskyvyt on selvitetty säätimien momentti-, nopeus-, ja paikoituslaskenta-aikatasojen sekä kenttäväyläliityntöjen suhteen. Työssä kuvatut vanerinsorvausprosessi sekä FMS -materiaalinkäsittelyprosessi esittävät paikoituskäyttöjen potentiaalisia sovelluskohteita.

Wireless e-Business Applications - Methods for Forecasting the Demand of Wireless Services and Technologies

Tämä tutkimus oli osa sähköistä liiketoimintaa ja langattomia sovelluksia tutkivaa projektia ja tutkimuksen tavoitteena oli selvittää ennustamisen rooli päätöksenteko- ja suunnitteluprosessissa ja määrittää parhaiten soveltuvat ja useimmin käytetyt teknologian ennustusmenetelmät. Ennustusmenetelmiä tarkasteltiin erityisesti uuden teknologian ja pitkän aikavälin ennustamisen näkökulmasta. Tutkimus perustui teknologista ennustamista, pitkän aikavälin suunnittelua ja innovaatioprosesseja käsittelevän kirjallisuuden analysointiin. Materiaalin perusteella kuvataan teknologian ennustamista informaation hankkimisvälineenä organisaatioiden suunnitteluprosessin apuna. Työssä arvioidaan myös seuraavat teknologisen ennustamisen menetelmät: trendianalyysi-, Delfoi-, cross-impact analyysi-, morfologinen analyysi- ja skenaario analyysimenetelmä. Työ tuo esille jokaisen ennustusmenetelmä ominaispiirteet, rajoitukset ja sovellusmahdollisuudet. Käyttäen esiteltyjä menetelmiä, saadaan kerättyä hyödyllistä informaatiota tulevaisuuden näkymistä, joita sitten voidaan käyttää hyväksi organisaatioiden suunnitteluprosesseissa.

Preface: Extreme events induced by weather and climate change: evaluation, forecasting and proactive planning

This special issue of Natural Hazards and Earth System Sciences (NHESS) contains eight papers presented as oral or poster contributions in the Natural Hazards NH-1.2 session on"Extreme events induced by weather and climate change: evaluation, forecasting and proactive planning", held at the European Geosciences Union (EGU) General Assembly in Vienna, Austria, on 13-18 April 2008. The aim of the session was to provide an international forum for presenting new results and for discussing innovative ideas and concepts on extreme hydro-meteorological events, including: (i) the assessment of the risk posed by the extreme events, (ii) the expected changes in the frequency and intensity of the events driven by a changing climate and by multiple human- induced causes, (iii) new modelling approaches and original forecasting methods to predict extreme events and their consequences, and (iv) strategies for hazard mitigation and risk reduction, and for a improved adaptation to extreme hydro-meteorological events ...

Development of rotating drum under mechanical and thermal load

A variable temperature field sets exacting demands to the structure under mechanical load. Most of all the lifetime of the rotating drum structure depends on temperature differences between parts inside the drum. The temperature difference was known because of the measurements made before. The list of demands was created based on customers’ needs. The limits of this paper were set to the inner structure of the drum. Creation of ideas for the inner structure was started open minded. The main principle in the creation process was to create new ideas for the function of the product with the help of sub-functions. The sub-functions were created as independent as possible. The best sub-functions were combined together and the new working principles were created based on them. Every working principle was calculated separately and criticized at the end of the calculation process. The main objective was to create the new kind of structure, which is not based too much to the old, inoperative structure. The affect of own weight of the inner structure to the stress values was quite small but it was also taken into consideration when calculating the maximum stress value of the structure. Because of very complex structures all of the calculations were made with the help of the ProE – Mechanica software. The fatigue analyze was made also for the best structure solution.

The Effect of Load Follow Operation on Fuel Behaviour in Loviisa NPP

Työn tarkoituksena oli analysoida polttoainesauvojen käyttäytymistä Loviisan ydinvoimalaitoksen tehonsäätöajossa. Sähkömarkkinoiden vapautuminen Pohjoismaissa sekä tämän seurauksena vaihteleva sähkön markkinahinta ovat ajaneet sähkötuottajat tilanteeseen, jossa tuotanto aiempaa enemmän mukautuu markkinatilanteeseen. Näin ollen myös Loviisan ydinvoimalaitoksen osallistuminen sähkön tuotannon säätelyyn saattaa tulevaisuudessa olla ajankohtaista. Ennen kuin reaktorin tehonsäätöajoa voidaan alkaa toteuttaa, tulee varmistua siitä, että polttoainesauvassa tehonsäätöjen seurauksena tapahtuvat muutokset eivät aiheuta epäsuotuisia käyttäytymisilmiöitä. Työssä tarkastellaan kahden Loviisan ydinvoimalaitoksen polttoainetoimittajan, British Nuclear Fuels plc:n ja venäläisen TVEL:n ensinippujen polttoainesauvan käyttäytymistä tehonsäätötapauksissa. Työssä tarkastellut tehonsäätötapaukset on pyritty valitsemaan niin, että ne kuvaisivat tulevaisuudessa mahdollisesti toteutettavia tehonsäätöjä. Laskentatapauksien sauvatehohistoriat on generoitu HEXBU-3D sydänsimulaattoriohjelmalla lasketun nelivuotisen perustehohistorian pohjalta lisäämällä säätösauvan aiheuttama reaktoritehon muutos, säätösauvan viereisen polttoainenipun aksiaalitehon muutos sekä säätösauvan rakenteen aiheuttama paikallinen tehopiikki säätösauvan vieressä. Työssä tarkastellaan tehonsäätöjen toteuttamista eri tehotasoille ja vaihtelevilla määrillä tehonsäätösyklejä. Työssä käsitellyt laskentatapaukset on jaoteltu reaktorin ajotavan mukaan seuraavasti: peruskuorma-ajo, viikonloppusäätö ja päiväsäätö. Laskenta suoritettiin ydinpolttoaineen käyttäytymistä kuvaavaa ENIGMA-B 7.3.0 ohjelmaa apuna käyttäen. Laskelmien tulokset osoittavat, että molempien polttoainetoimittajien ensinippujen sauvat kestävät reaktorin tehonsäätöajoa rajoituksetta tarkastelluissa laskentatapauksissa. ENIGMA-ohjelman sisältämät mallit, jotka ennustavat polttoainesauvan suojakuoren vaurioitumistodennäköisyyden jännityskorroosion tai väsymismurtuman kautta, eivät näytä mitään merkkejä vaurioitumisesta. BNFL:n polttoainesauva saavuttaa kuitenkin suurempia väsymismurtumatodennäköisyyden arvoja. Tämä johtuu siitä, että polttoainepelletin ja suojakuoren välinen mekaaninen vuorovaikutus syntyy BNFL:n sauvassa aikaisemmin, joka taas johtaa suurempaan määrään sauvaa rasittavia muodonmuutoksia tehonnostotilanteissa. TVEL:n Zr1%Nb -materiaalista valmistetun suojakuoren käyttäytymistä ei voida kuitenkaan suoraan näiden laskujen perusteella arvioida, sillä ENIGMA-ohjelman mallit perustuvat Zircaloy-suojakuorimateriaaleilla suoritettuihin kokeisiin.

Forecasting tourism demand using consumer expectations

Abstract Purpose- There is a lack of studies on tourism demand forecasting that use non-linear models. The aim of this paper is to introduce consumer expectations in time-series models in order to analyse their usefulness to forecast tourism demand. Design/methodology/approach- The paper focuses on forecasting tourism demand in Catalonia for the four main visitor markets (France, the UK, Germany and Italy) combining qualitative information with quantitative models: autoregressive (AR), autoregressive integrated moving average (ARIMA), self-exciting threshold autoregressions (SETAR) and Markov switching regime (MKTAR) models. The forecasting performance of the different models is evaluated for different time horizons (one, two, three, six and 12 months). Findings- Although some differences are found between the results obtained for the different countries, when comparing the forecasting accuracy of the different techniques, ARIMA and Markov switching regime models outperform the rest of the models. In all cases, forecasts of arrivals show lower root mean square errors (RMSE) than forecasts of overnight stays. It is found that models with consumer expectations do not outperform benchmark models. These results are extensive to all time horizons analysed. Research limitations/implications- This study encourages the use of qualitative information and more advanced econometric techniques in order to improve tourism demand forecasting. Originality/value- This is the first study on tourism demand focusing specifically on Catalonia. To date, there have been no studies on tourism demand forecasting that use non-linear models such as self-exciting threshold autoregressions (SETAR) and Markov switching regime (MKTAR) models. This paper fills this gap and analyses forecasting performance at a regional level. Keywords Tourism, Forecasting, Consumers, Spain, Demand management Paper type Research paper

Forecasting a language shift based on cellular automata

Language extinction as a consequence of language shifts is a widespread social phenomenon that affects several million people all over the world today. An important task for social sciences research should therefore be to gain an understanding of language shifts, especially as a way of forecasting the extinction or survival of threatened languages, i.e., determining whether or not the subordinate language will survive in communities with a dominant and a subordinate language. In general, modeling is usually a very difficult task in the social sciences, particularly when it comes to forecasting the values of variables. However, the cellular automata theory can help us overcome this traditional difficulty. The purpose of this article is to investigate language shifts in the speech behavior of individuals using the methodology of the cellular automata theory. The findings on the dynamics of social impacts in the field of social psychology and the empirical data from language surveys on the use of Catalan in Valencia allowed us to define a cellular automaton and carry out a set of simulations using that automaton. The simulation results highlighted the key factors in the progression or reversal of a language shift and the use of these factors allowed us to forecast the future of a threatened language in a bilingual community.

Load and Performance Testing of Web Applications on Service Based Environments

Suorituskyky- ja kuormitustestien tekeminen sovelluksille on erittäin tärkeä osa tuotantoprosessia nykypäivänä. Myös Web-sovelluksia testataan yhä enemmän. Tarve suorituskyky- ja kuormitustestien tekemiselle on selvä. Testattavan ympäristön tämänhetkinen, mutta myös tulevaisuuden toimivuus taataan oikein tehdyillä testeillä ja niitä seuraavilla korjaustoimenpiteillä. Suurten käyttäjämäärien testaaminen manuaalisesti on kuitenkin hyvin vaikeaa. Sirpaleisen ympäristön, kuten palveluihin perustuvien Web-sovellusympäristöjen testaaminen on haaste. Tämän työn aiheena on arvioida työkaluja ja menetelmiä, joilla raskaita teollisia Web-sovelluksia voidaan testata. Tavoitteena on löytää testausmenetelmiä, joilla voidaan luotettavasti simuloida suuria käyttäjämääriä. Tavoitteena on myös arvioida erilaisten yhteyksien ja protokollien vaikutusta Web-sovelluksen suorituskykyyn.

Real-time Linux in electric drive systems

Reaaliaikaisten käyttöjärjestelmien käyttö sulautetuissa järjestelmissä on kasvamassa koko ajan. Sulautettuja tietokoneita käytetään yhä useammassa kohteessa kuten sähkökäyttöjen ohjauksessa. Sähkökäyttöjen ohjaus hoidetaan nykyisin yleensä nopealla digitaalisella signaaliprosessorilla (DSP), jolloin ohjelmointi ja päivittäminen on hidasta ja vaikeaa johtuen käytettävästä matalan tason Assembler-kielestä. Ratkaisuna yleiskäyttöisten prosessorien ja reaaliaikakäyttöjärjestelmien käyttö. Kaupalliset reaaliaikakäyttöjärjestelmät ovat kalliita ja lähdekoodin saaminen omaan käyttöön jopa mahdotonta. Linux on ei-kaupallinen avoimen lähdekoodin käyttöjärjestelmä, joten sen käyttö on ilmaista ja sitä voi muokata vapaasti. Linux:iin on saatavana useita laajennuksia, jotka tekevät siitä reaaliaikaisen käyttöjärjestelmän. Vaihtoehtoina joko kova (hard) tai pehmeä (soft) reaaliaikaisuus. Linux:iin on olemassa valmiita kehitysympäristöjä mutta ne kaipaavat parannusta ennen kuin niitä voidaan käyttää suuressa mittakaavassa teollisuudessa. Reaaliaika Linux ei sovellus nopeisiin ohjauslooppeihin (<100 ms) koska nopeus ei riitä vielä mutta nopeus kasvaa samalla kun prosessorit kehittyvät. Linux soveltuu hyvin rajapinnaksi nopean ohjauksen ja käyttäjän välille ja hitaampaan ohjaukseen.

Factors Affecting the Forecasting Accuracy of Diffusion Models

Tutkielman tavoitteena oli tarkastella innovaatioiden leviämismallien ennustetarkkuuteen vaikuttavia tekijöitä. Tutkielmassa ennustettiin logistisella mallilla matkapuhelinliittymien leviämistä kolmessa Euroopan maassa: Suomessa, Ranskassa ja Kreikassa. Teoriaosa keskittyi innovaatioiden leviämisen ennustamiseen leviämismallien avulla. Erityisesti painotettiin mallien ennustuskykyä ja niiden käytettävyyttä eri tilanteissa. Empiirisessä osassa keskityttiin ennustamiseen logistisella leviämismallilla, joka kalibroitiin eri tavoin koostetuilla aikasarjoilla. Näin tehtyjä ennusteita tarkasteltiin tiedon kokoamistasojen vaikutusten selvittämiseksi. Tutkimusasetelma oli empiirinen, mikä sisälsi logistisen leviämismallin ennustetarkkuuden tutkimista otosdatan kokoamistasoa muunnellen. Leviämismalliin syötettävä data voidaan kerätä kuukausittain ja operaattorikohtaisesti vaikuttamatta ennustetarkkuuteen. Dataan on sisällytettävä leviämiskäyrän käännöskohta, eli pitkän aikavälin huippukysyntäpiste.

On the Analysis and Control of a Linear Synchronous Servomotor with a Flexible Load

Industry's growing need for higher productivity is placing new demands on mechanisms connected with electrical motors, because these can easily lead to vibration problems due to fast dynamics. Furthermore, the nonlinear effects caused by a motor frequently reduce servo stability, which diminishes the controller's ability to predict and maintain speed. Hence, the flexibility of a mechanism and its control has become an important area of research. The basic approach in control system engineering is to assume that the mechanism connected to a motor is rigid, so that vibrations in the tool mechanism, reel, gripper or any apparatus connected to the motor are not taken into account. This might reduce the ability of the machine system to carry out its assignment and shorten the lifetime of the equipment. Nonetheless, it is usually more important to know how the mechanism, or in other words the load on the motor, behaves. A nonlinear load control method for a permanent magnet linear synchronous motor is developed and implemented in the thesis. The purpose of the controller is to track a flexible load to the desired velocity reference as fast as possible and without awkward oscillations. The control method is based on an adaptive backstepping algorithm with its stability ensured by the Lyapunov stability theorem. As a reference controller for the backstepping method, a hybrid neural controller is introduced in which the linear motor itself is controlled by a conventional PI velocity controller and the vibration of the associated flexible mechanism is suppressed from an outer control loop using a compensation signal from a multilayer perceptron network. To avoid the local minimum problem entailed in neural networks, the initial weights are searched for offline by means of a differential evolution algorithm. The states of a mechanical system for controllers are estimated using the Kalman filter. The theoretical results obtained from the control design are validated with the lumped mass model for a mechanism. Generalization of the mechanism allows the methods derived here to be widely implemented in machine automation. The control algorithms are first designed in a specially introduced nonlinear simulation model and then implemented in the physical linear motor using a DSP (Digital Signal Processor) application. The measurements prove that both controllers are capable of suppressing vibration, but that the backstepping method is superior to others due to its accuracy of response and stability properties.

Effect of the surface charge discretization on electric double layers. A Monte Carlo simulation study

The structure of the electric double layer in contact with discrete and continuously charged planar surfaces is studied within the framework of the primitive model through Monte Carlo simulations. Three different discretization models are considered together with the case of uniform distribution. The effect of discreteness is analyzed in terms of charge density profiles. For point surface groups,a complete equivalence with the situation of uniformly distributed charge is found if profiles are exclusively analyzed as a function of the distance to the charged surface. However, some differences are observed moving parallel to the surface. Significant discrepancies with approaches that do not account for discreteness are reported if charge sites of finite size placed on the surface are considered.

Electric energy recovery system for a hydraulic forklift

This thesis studies the possibilities to recover energy in a hydraulic forklift system. Controlling of the system is done directly with an electric servo motor drive and a hydraulic pump. A real system was built and tested and simulations of the system were made with Matlab. Results of the system and simulations were analysed and compared and according to them, energy can be recovered efficiently from the hydraulic forklift system. Also new ideas and directions of further research were obtained with the help of this research.

System Investigation for Hybrid Electric Vehicle

A hybrid electric vehicle is a fast-growing concept in the field of vehicle industry. Nowadays two global problems make manufactures to develop such systems. These problems are: the growing cost of a fuel and environmental pollution. Also development of controlled electric drive with high control accuracy and reliability allows improving of vehicle drive characteristics. The objective of this Diploma Thesis is to investigate the possibilities of electrical drive application for new principle of parallel hybrid vehicle system. Electric motor calculations, selection of most suitable control system and other calculations are needed. This work is not final work for such topic. Further investigation with more precise calculations, modeling, measurements and cost calculations are needed to answer the question if such system is efficient.