20 resultados para Sufficient Condition

em Doria (National Library of Finland DSpace Services) - National Library of Finland, Finland


Relevância:

60.00% 60.00%

Publicador:

Resumo:

Tämän tutkimuksen tavoitteena oli kuvata ja selittää työhön koetun psykologisen omistajuuden vaikutusta työhön liittyviin asenteisiin, työkäyttäytymiseen sekä sosiaaliseen käyttäytymiseen kuntaorganisaatiossa. Tutkimuskonteksti on kuntaliitostilanne. Tutkimus on luonteeltaan kvantitatiivinen tutkimus, jossa määrällistä aineistoa analysoitiin SPSS-ohjelmiston avulla. Tutkimuksen perusteella kuntaorganisaation henkilöstö kokee työnsä keskimäärin melko paljon omakseen. Työhön koettu psykologinen omistajuus on positiivisessa yhteydessä tunnepitoiseen sitoutumiseen omaan työryhmään, työtyytyväisyyteen sekä työroolin ylittävään käyttäytymiseen. Psykologinen omistajuus on yhteydessä myös reviirikäyttäytymisen eräisiin muotoihin. Tutkimustulokset osoittivat, että psykologinen omistajuus on positiivisessa yhteydessä identiteettipainotteiseen merkitsemiseen ja ennaltaehkäisevään puolustamiseen, mutta ne eivät sen sijaan tukeneet psykologisen omistajuuden yhteyttä kontrollipainotteiseen merkitsemiseen tai reagoivaan puolustamiseen. Tämän tutkimus osoitti selvästi, ettei pelkkä psykologinen omistajuus ole riittävä olosuhde motivoimaan työntekijää oman reviirinsä merkitsemiseen tai puolustamiseen. Todennäköisesti myös muut tekijät vaikuttavat siihen, harjoittaako työntekijä reviirikäyttäytymistä ja missä määrin hän niin tekee. Nämä tekijät voivat liittyä olosuhteisiin, muihin tunteisiin tai luonteenpiirteisiin. Tämä tutkimus suoritettiin kuntaliitoksen suunnitteluvaiheessa. Monet työntekijät joutuvat luopumaan aikaisemmista tehtävistään kuntaliitoksen jälkeen. Tämä tutkimus osoittaa, että esimiesten tulisi olla tietoisia psykologisen omistajuuden mahdollisista seurauksista.

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The research of condition monitoring of electric motors has been wide for several decades. The research and development at universities and in industry has provided means for the predictive condition monitoring. Many different devices and systems are developed and are widely used in industry, transportation and in civil engineering. In addition, many methods are developed and reported in scientific arenas in order to improve existing methods for the automatic analysis of faults. The methods, however, are not widely used as a part of condition monitoring systems. The main reasons are, firstly, that many methods are presented in scientific papers but their performance in different conditions is not evaluated, secondly, the methods include parameters that are so case specific that the implementation of a systemusing such methods would be far from straightforward. In this thesis, some of these methods are evaluated theoretically and tested with simulations and with a drive in a laboratory. A new automatic analysis method for the bearing fault detection is introduced. In the first part of this work the generation of the bearing fault originating signal is explained and its influence into the stator current is concerned with qualitative and quantitative estimation. The verification of the feasibility of the stator current measurement as a bearing fault indicatoris experimentally tested with the running 15 kW induction motor. The second part of this work concentrates on the bearing fault analysis using the vibration measurement signal. The performance of the micromachined silicon accelerometer chip in conjunction with the envelope spectrum analysis of the cyclic bearing faultis experimentally tested. Furthermore, different methods for the creation of feature extractors for the bearing fault classification are researched and an automatic fault classifier using multivariate statistical discrimination and fuzzy logic is introduced. It is often important that the on-line condition monitoring system is integrated with the industrial communications infrastructure. Two types of a sensor solutions are tested in the thesis: the first one is a sensor withcalculation capacity for example for the production of the envelope spectra; the other one can collect the measurement data in memory and another device can read the data via field bus. The data communications requirements highly depend onthe type of the sensor solution selected. If the data is already analysed in the sensor the data communications are needed only for the results but in the other case, all measurement data need to be transferred. The complexity of the classification method can be great if the data is analysed at the management level computer, but if the analysis is made in sensor itself, the analyses must be simple due to the restricted calculation and memory capacity.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Työn tavoitteena oli selvittää ja varmistaa uuden pakkauskoneen riittävä käyttövarmuus. Käyttövarmuuden selvittämistä varten tutustuttiin käyttövarmuuden käsitteisiin jatunnuslukuihin, sekä selvitettiin kunnossapidon merkitystä käyttövarmuuteen. Pakkauskoneen käyttövarmuutta analysoitiin vikapuumallin avulla. Analysointia varten laadittu vikapuumalli koostuu 391 perustapahtumasta ja yhteensä 629 tapahtumasta. Käyttövarmuusanalyysi suoritettiin kvalitatiivisesti ja kvantitatiivisesti. Analysointi painottuu kuitenkin kvantitatiiviseen simulointiin. Käyttövarmuusanalysoinnin apuna käytettiin simulointiohjelmaa. Käyttövarmuusvaatimukseksi asetettiin 99 % käytettävyys vuoden käyttöjakson aikana. Vikapuuanalyysin tuloksena saatiin arvio pakkauskoneen kokonaiskäytettävyydestä. Kokonaiskäytettävyydeksi muodostui 96,44 %, joka ei täytä käyttövarmuusvaatimusta. Yksittäisistä komponenttityypeistä epäluotettavimpia olivat liimalaitteiston ja paineilmajärjestelmän komponentit. Analysointityökalun avulla voitiin osoittaa käyttövarmuutta parantavien osatekijöiden vaikutukset saatuun kokonaiskäytettävyyteen. Käyttövarmuuteen voitiin vaikuttaa kunnossapidon avulla, lyhentämällä korjausaikaa ja varmentamalla komponentteja. Esitettyjen keinojen avulla käytettävyyttä on mahdollista nostaa n. 2,18 prosenttiyksikköä. Toimenpidesuositukset esitettiin saatujen tulosten ja työssä havainnoitujen asioiden perusteella. Käytettävyyden parantamiseksi ja varmistamiseksi suositetaan oikeanlaisia kunnossapitotoimenpiteitä, tehokkaan vikadiagnostiikan rakentamista sekä antureiden varmentamista. Käyttökunnonvalvonta suositetaan suoritettavaksi määräaikaistarkastuksina. Käyttökuntoa on aloitettava seuraamaan pidemmällä aikavälillä tapahtuvina häiriöraportointeina. Lisäksi tulevaisuudessa on vaadittava käyttövarmuustakuut toimittajilta laitehankintojen yhteydessä.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Työ sisältää ohjaislaitteiston vertailun ja valinnan rinnakkaisrakenteista robottia varten sekä kunnonvalvontajärjestelmän periaatteiden laadinnan kyseistä robottia varten. Ohjauslaitteisto sisältää teollisuustietokoneen sekä kenttäväylän. Sekä tietokoneesta että väylästä on teoriaosuus ja yksityiskohtaisempi valintaosuus. Teoriaosuudessa selitetään tarkemmin laitteiden toimintaperiaatteista. Valintaosuudessa kerrotaanmiksi jokin tietty laite on valittu käytettäväksi robotin ohjauksessa. Kunnonvalvontateoria ja rinnakkaisrakenteisen robotin kunnonvalvonnan keinot ovat työn toinen osa. Teoriaosa sisältää yleisluonteisen selvityksen vikaantumisesta ja valvonnasta. Erikoisrobotin kunnonvalvonnan keinot esitetään työssä tietyssä järjestyksessä. Ensin esitetään mahdolliset vikatilanteet. Toisessa kohdassa havainnollistetaan vikojen havaitseminen.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Työn tarkoituksena oli suunnitella kunnonvalvontajärjestelmä kahdelle lasivillan tuotantolinjalle. Suunnitteluprosessin lisäksi työssä on esitelty erilaisia kunnonvalvontamenetelmiä. Työn alussa on kerrottu erilaisista kunnonvalvontamenetelmistä, joilla voidaan seurata erilaisten laitteiden ja koneiden toimintakuntoa.Erityisesti työssä on tarkasteltu teollisuudessa yleistyviä kunnonvalvonnan värähtelymittauksia. Työssä suunniteltu kunnonvalvontajärjestelmä perustuu viiteen eri menetelmään, jotka ovat värähtelymittaus, lämpötilanmittaus lämpökameralla, lämpötilanmittaus kannettavalla mittarilla, kuuntelu elektronisella stetoskoopilla ja pyörivien osien kunnontarkkailu stroboskoopilla. Kunnonvalvontajärjestelmän suunnittelu on tehty useassa eri vaiheessa. Ensin työssä on kartoitettu tuotannon kannalta tärkeimmät laitteet ja niiden mahdolliset vikaantumistavat. Seuraavaksi on valittu sopivat kunnonvalvontamenetelmät ja tehty mittaussuunnitelma, jossa on esitetty eri laitteille suoritettavat mittaukset ja mittausten aikavälit.Lopuksi työssä on esitelty muutama esimerkkitapaus kunnonvalvontamenetelmien käytöstä sekä kerrottu mahdollisista tulevaisuuden kehitysmahdollisuuksista.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The research of power-line communications has been concentrated on home automation, broadband indoor communications and broadband data transfer in a low voltage distribution network between home andtransformer station. There has not been carried out much research work that is focused on the high frequency characteristics of industrial low voltage distribution networks. The industrial low voltage distribution network may be utilised as a communication channel to data transfer required by the on-line condition monitoring of electric motors. The advantage of using power-line data transfer is that it does not require the installing of new cables. In the first part of this work, the characteristics of industrial low voltage distribution network components and the pilot distribution network are measured and modelled with respect topower-line communications frequencies up to 30 MHz. The distributed inductances, capacitances and attenuation of MCMK type low voltage power cables are measured in the frequency band 100 kHz - 30 MHz and an attenuation formula for the cables is formed based on the measurements. The input impedances of electric motors (15-250 kW) are measured using several signal couplings and measurement based input impedance model for electric motor with a slotted stator is formed. The model is designed for the frequency band 10 kHz - 30 MHz. Next, the effect of DC (direct current) voltage link inverter on power line data transfer is briefly analysed. Finally, a pilot distribution network is formed and signal attenuation in communication channels in the pilot environment is measured. The results are compared with the simulations that are carried out utilising the developed models and measured parameters for cables and motors. In the second part of this work, a narrowband power-line data transfer system is developed for the data transfer ofon-line condition monitoring of electric motors. It is developed using standardintegrated circuits. The system is tested in the pilot environment and the applicability of the system for the data transfer required by the on-line condition monitoring of electric motors is analysed.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Tämän diplomityön lähtökohtana on tutkia kiinteän kunnonvalvonnan ja ehkäisevän kunnossapidon edellytyksiä ja mahdollisuuksia Anjalan Paperitehtaan painehiomossa. Työn tavoitteena on kunnossapidon kustannustehokkuuden parantaminen ja häiriöaikojen vähentäminen ja sitä kautta koko tuotantoprosessin tuottavuuden nostaminen. Työn alussa tarkastellaan tämänhetkisiä prosessilaitteiston häiriötekijöitä ja kunnossapidon vaikutusmahdollisuuksia häiriöiden korjaukseen ja kustannuksiin. Tarkastelun perusteella päädyttiin painehiomossa ehkäisevän kunnossapidon määrän nostamiseen ja kiinteän kunnonvalvontajärjestelmän käyttöönottoon H4-linjalla. Jatkuvatoimisen kunnonvalvonnan edut tutkimuksen ja teorian perusteella ovat laitteiden käyttövarmuuden olennainen paraneminen ja kunnossapitokustannusten aleneminen. Työn kokeellisen osan perusteella kunnossapitokustannukset alenivat noin 24 % ja käytettävyyden tehostumisen johdosta laitehäiriöt alenivat 50 %:lla. Tulokset saatiin aikaan toteuttamalla suunnitellut ehkäisevät huollot kriittisille laitteille. Kiinteä kunnonvalvonta antoi kunnossapidolle tiedon laitteiden oikea-aikaisesta huoltovälistä. Investoinnin hyödyt saatiin täysmääräisesti käyttöön jo laitteiston ensimmäisen käyttövuoden aikana. Henkilöstön osaamiskapasiteetin nosto tulee vielä lisäämään edellä mainittuja hyötyjä.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Tämän tutkimuksen tavoitteena oli tuottaa kehittämiskeinoja toimittajayhteistyöhön tilausohjautuvassa toimitusketjussa. Tutkimuksen empiriaosuudessa on tutkittu Valtran ja sen ohjaamotoimittajan välistä yhteistyötä. Tutkimusta aloitettaessa monella yhteistyön osa-alueella oli ongelmia, jotka näkyivät ohjaamoissa erilaisina laatuvirheinä. Tutkimuksen teoreettisessa osassa esitellään ensin tilausohjautuvuutta ja sen toimittajayhteistyöhön tarjoamia toimintatapoja ja ohjauskeinoja. Tämän jälkeen tutkimuksessa käsitellään toimittajayhteistyön merkitystä tilausohjautuvassa toimitusketjussa ja yritysten välisen yhteistyön eri elementtejä. Tutkimuksen empiriaosuudessa tehtiin ensimmäisenä laatuvirheanalyysi. Virheanalyysin perusteella tunnistettiin ne toiminnan alueet, joissa aiheutui suurin osa virheistä. Tämän analyysin jälkeen tunnistettiin nykyisestä tilausohjautuvasta toimintatavasta tai ohjauskeinoista johtuvat virheet. Viimeiseksi tunnistettiin yritysten välisestä yhteistyöstä aiheutuneet ongelmat. Näiden analyysien perusteella osoittautui, että suurimmat ongelmat yhteistyössä aiheutuivat yhteistyön puutteellisesta organisoinnista, joka puolestaan heikensi yritysten välisen vuorovaikutuksen laatua ja luottamusta. Erityisesti laadun osalta oli nähtävissä yritysten välisen yhte-näisyyden puute niin järjestelmien kuin myös prosessien osalta. Sen sijaan Valtran toimitusketjun ohjauksessa käyttämissä toimittajien ohjaustavoissa ei ollut puuttei- ta läheskään niin paljon kuin tutkimusta aloitettaessa kuviteltiin. Joka tapauksessa ohjauksen merkitys toimittajayhteistyössä on erittäin suuri, vaikka tehdyn virheanalyysin perusteella niiden osuus analysoiduista virheistä ei ollutkaan kovin suuri. Yhteistyön kehityskohteiden löydyttyä viimeisessä vaiheessa muodostettiin kehittämissuosituksia, joista osa jakautui tilausohjautuvan toimintatavan ja ohjauskeinojen kehittämiseen ja osa taas yritysten välisen yhteistyön kehittämiseen esimerkiksi rakenteellisten linkkien avulla. Erilaisilla yhteistyömuodoilla on mahdollista ke-hittää toiminnasta yhtenäisempää rajapintarakenteiden osalta, mikä on puolestaan laadukkaan vuorovaikutuksen ja siten laadukkaan informaation edellytys. Näitä rakenteita kehittämällä toimittajan ohjaamista ja samalla lopputuotteen laatua on mahdollista parantaa.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Condition monitoring systems for physical assets are constantly becoming more and more common in the industrial sector. At the same time an increasing portion of asset monitoring systems are being remotely supported. As global competitors are actively developing solutions for condition monitoring and condition-based maintenance, which it enables, Wärtsilä too feels the pressure to provide customers with more sophisticated condition-based maintenance solutions. The main aim of this thesis study is to consider Wärtsilä remote condition monitoring solutions and how they relate to similar solutions from other suppliers and end customers’ needs, in the context of offshore assets. A theoretical study is also included in the thesis, where the concepts of condition monitoring, condition-based maintenance, maintenance management and physical asset management are introduced.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to put into practice. One hurdle is deriving the loop invariants and proving that the code maintains them. So called correct-by-construction methods aim to alleviate this issue by integrating verification into the programming workflow. Invariant-based programming is a practical correct-by-construction method in which the programmer first establishes the invariant structure, and then incrementally extends the program in steps of adding code and proving after each addition that the code is consistent with the invariants. In this way, the program is kept internally consistent throughout its development, and the construction of the correctness arguments (proofs) becomes an integral part of the programming workflow. A characteristic of the approach is that programs are described as invariant diagrams, a graphical notation similar to the state charts familiar to programmers. Invariant-based programming is a new method that has not been evaluated in large scale studies yet. The most important prerequisite for feasibility on a larger scale is a high degree of automation. The goal of the Socos project has been to build tools to assist the construction and verification of programs using the method. This thesis describes the implementation and evaluation of a prototype tool in the context of the Socos project. The tool supports the drawing of the diagrams, automatic derivation and discharging of verification conditions, and interactive proofs. It is used to develop programs that are correct by construction. The tool consists of a diagrammatic environment connected to a verification condition generator and an existing state-of-the-art theorem prover. Its core is a semantics for translating diagrams into verification conditions, which are sent to the underlying theorem prover. We describe a concrete method for 1) deriving sufficient conditions for total correctness of an invariant diagram; 2) sending the conditions to the theorem prover for simplification; and 3) reporting the results of the simplification to the programmer in a way that is consistent with the invariantbased programming workflow and that allows errors in the program specification to be efficiently detected. The tool uses an efficient automatic proof strategy to prove as many conditions as possible automatically and lets the remaining conditions be proved interactively. The tool is based on the verification system PVS and i uses the SMT (Satisfiability Modulo Theories) solver Yices as a catch-all decision procedure. Conditions that were not discharged automatically may be proved interactively using the PVS proof assistant. The programming workflow is very similar to the process by which a mathematical theory is developed inside a computer supported theorem prover environment such as PVS. The programmer reduces a large verification problem with the aid of the tool into a set of smaller problems (lemmas), and he can substantially improve the degree of proof automation by developing specialized background theories and proof strategies to support the specification and verification of a specific class of programs. We demonstrate this workflow by describing in detail the construction of a verified sorting algorithm. Tool-supported verification often has little to no presence in computer science (CS) curricula. Furthermore, program verification is frequently introduced as an advanced and purely theoretical topic that is not connected to the workflow taught in the early and practically oriented programming courses. Our hypothesis is that verification could be introduced early in the CS education, and that verification tools could be used in the classroom to support the teaching of formal methods. A prototype of Socos has been used in a course at Åbo Akademi University targeted at first and second year undergraduate students. We evaluate the use of Socos in the course as part of a case study carried out in 2007.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The focus in this thesis is to study both technical and economical possibilities of novel on-line condition monitoring techniques in underground low voltage distribution cable networks. This thesis consists of literature study about fault progression mechanisms in modern low voltage cables, laboratory measurements to determine the base and restrictions of novel on-line condition monitoring methods, and economic evaluation, based on fault statistics and information gathered from Finnish distribution system operators. This thesis is closely related to master’s thesis “Channel Estimation and On-line Diagnosis of LV Distribution Cabling”, which focuses more on the actual condition monitoring methods and signal theory behind them.