World Class Manufacturing (WCM) aineettoman pääoman johtamisen työkaluna

Tämän kvalitatiivisen tutkimuksen tavoitteena on tarkastella jatkuvan pa-rantamisen työkalun, WCM:n, roolia aineettoman pääoman johtajana. Tutkimuksen teoreettisessa osassa selvitetään aineettoman pääoman eri muotoja; inhimillistä, suhde- ja rakennepääomaa. Lisäksi tutkitaan WCM:n ideologiaa, sen käyttöönottoa ja eri osa-alueita. Teoriaosan lopussa selvite-tään WCM:n ja aineettoman pääoman yhteyttä toisiinsa ja niiden vaikutusta suorituskykyyn. Teoriaa tukemaan tehtiin empiirinen tutkimus case -organisaatiossa haastattelemalla organisaation toimihenkilöitä sekä työntekijöitä. Empiirisen tutkimuksen tavoitteena oli selvittää case –organisaation jatkuvan parantamisen mallin kehitystarpeita WCM:n ja inhimillisen pääoman näkö-kulmasta. Tutkimustulokset osoittivat, että WCM:llä voidaan johtaa aineettoman pää-oman eri muotoja – saaden siten myös suorituskykyä paremmaksi.

Developing of AC magnetometer and investigation of magnetic properties of LSMO

In this work AC magnetometer was developed and primary test measurements were performed for temperature range from 77 K up to 350 K in frequency range from 1 kHz up to 20 kHz. In the course of the present work dependencies of magnetization on temperature for Lao7Sr03Mni _yFeyO3 with y = 0.15, 0.20, 0.25 were obtained in DC magnetic field using SQUID magnetometer and in AC magnetic field using the developed AC magnetometer. Lai.XSrXMnO3 (LSMO) compounds belong to the class of Mn perovskites, which demonstrate very high degree of spin polarization. These materials are of great importance for nowadays applications in spintronics, where spin polarized electron transport is used. Spin glass like behavior was found as a characteristic feature of these solid solutions with the freezing temperature in the range 65 — 210 K.

Occlusal and dentofacial characteristics of the deciduous dentition and treatment effects of the eruption guidance appliance in the early mixed dentition

The aim of this investigation was to analyze the dental occlusion in the deciduous dentition, and the effects of orthodontic treatment carried out in the early mixed dentition with the eruption guidance appliance. The deciduous occlusion and craniofacial morphology of 486 children (244 girls and 242 boys) were investigated at the onset of the mixed dentition period (mean age 5.1 years, range 4.0-7.8 years). Treatment in the treatment group and follow-up in the control group were started when the first deciduous incisor was exfoliated (T1) and ended when all permanent incisors and first molars were fully erupted (T2). The mean age of the children was 5.1 years (SD 0.5) at T1 and 8.4 years (SD 0.5) at T2. Treatment was carried out with the eruption guidance appliance. Occlusal changes that took place in 167 children were compared with those of 104 untreated control children. Pre- and post-treatment cephalometric radiographs were taken, and the craniofacial morphology of 115 consecutively treated children was compared with that of 104 control children. The prevalence of malocclusion in the deciduous dentition was 68% or 93% depending on how the cut-off value between the acceptable and non-acceptable occlusal characteristic was defined. The early dentofacial features of children with distal occlusion, large overjet and deepbite differed from those with normal occlusion. However, the skeletal pattern of these three malocclusions showed considerable similarity each being characterized by a retrusive mandible, small maxillo-mandibular difference, convex profile, retrusive lower incisors, and large interincisal angle. In the treatment group, overjet and overbite decreased significantly from T1 to T2. Following treatment, a tooth-to-tooth contact was found in 99% of the treated children but only in 24% of the controls. A Class I molar relationship was observed in 90% of the children in the treatment group, and in 48% in the control group. Good alignment of the incisors was observed in 98% of the treated children, whereas upper crowding was found in 32% and lower crowding in 47% of the controls. A significant difference between the groups was found in the mandibular length, midfacial length and maxillo-mandibular differential. The occlusal correction, brought about by the eruption guidance appliance, was achieved mainly through changes in the dentoalveolar region of the mandible. In addition, the appliance seemed to enhance the growth of the mandible. Treatment in the early mixed dentition using the eruption guidance appliance is an effective method to normalize occlusion and reduce further need of orthodontic treatment. Only few spontaneous corrective changes can be expected without active intervention.

The performance and the characteristic field of a centrifugal compressor

Tässä työssä tarkastellaan radiaalikompressorin puristusprosessiin liittyvä peruslaskenta. Ilmankosteuden vaikutukset laskentaan huomioidaan ja kompressorin tunnuskenttä esitellään tässä työssä. Esimerkkinä lasketaan pisteitä kompressorin tunnuskentästä.

Tool-supported invariant-based programming

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.

Performance characteristic of moving average trading rules in the Finnish stock market

The thesis examines the profitability of DMAC trading rules in the Finnish stock market over the 1996-2012 period. It contributes to the existing technical analysis literature by comparing for the first time the performance of DMAC strategies based on individual stock trading portfolios to the performance of index trading strategies based on the trading on the index (OMX Helsinki 25) that consists of the same stocks. Besides, the market frictions including transaction costs and taxes are taken into account, and the results are reported from both institutional and individual investor’s perspective. Performance characteristic of DMAC rules are evaluated by simulating 19,900 different trading strategies in total for two non- overlapping 8-year sub-periods, and decomposing the full-sample-period performance of DMAC trading strategies into distinct bullish- and bearish-period performances. The results show that the best DMAC rules have predictive power on future price trends, and these rules are able to outperform buy-and-hold strategy. Although the performance of the DMAC strategies is highly dependent on the combination of moving average lengths, the best DMAC rules of the first sub-period have also performed well during the latter sub-period in the case of individual stock trading strategies. According to the results, the outperformance of DMAC trading rules over buy-and-hold strategy is mostly attributed to their superiority during the bearish periods, and particularly, during stock market crashes.

Non-Markovian dynamics and quantum information probes

This Thesis discusses the phenomenology of the dynamics of open quantum systems marked by non-Markovian memory effects. Non-Markovian open quantum systems are the focal point of a flurry of recent research aiming to answer, e.g., the following questions: What is the characteristic trait of non-Markovian dynamical processes that discriminates it from forgetful Markovian dynamics? What is the microscopic origin of memory in quantum dynamics, and how can it be controlled? Does the existence of memory effects open new avenues and enable accomplishments that cannot be achieved with Markovian processes? These questions are addressed in the publications forming the core of this Thesis with case studies of both prototypical and more exotic models of open quantum systems. In the first part of the Thesis several ways of characterizing and quantifying non-Markovian phenomena are introduced. Their differences are then explored using a driven, dissipative qubit model. The second part of the Thesis focuses on the dynamics of a purely dephasing qubit model, which is used to unveil the origin of non-Markovianity for a wide class of dynamical models. The emergence of memory is shown to be strongly intertwined with the structure of the spectral density function, as further demonstrated in a physical realization of the dephasing model using ultracold quantum gases. Finally, as an application of memory effects, it is shown that non- Markovian dynamical processes facilitate a novel phenomenon of timeinvariant discord, where the total quantum correlations of a system are frozen to their initial value. Non-Markovianity can also be exploited in the detection of phase transitions using quantum information probes, as shown using the physically interesting models of the Ising chain in a transverse field and a Coulomb chain undergoing a structural phase transition.

Tehollisen lovijännityksen menetelmän käytettävyys ultralujien terästen korkealaatuisten hitsien väsymismitoituksessa

Tässä diplomityössä on tutkittu tehollisen lovijännityksen menetelmän soveltuvuutta ultralujien terästen korkealaatuisten hitsien väsymismitoitukseen. International Institute of Welding suosittelee käyttämään elementtimenetelmässä hitsin rajaviivoilla sekä juuressa fiktiivistä 1 mm pyöristystä, jonka avulla tehollinen lovijännitys määritetään. Kaikille liitostyypeille sovelletaan samaa, kaltevuudeltaan m = 3 olevaa SN-käyrää, jolloin maksimipääjännitystä vastaava väsymisluokka FAT saa arvon 225. Nykyisiä mitoitusohjeita on pidetty kuitenkin liian konservatiivisina, etenkin jos kyseessä on suurilujuuksisesta teräksestä valmistettu korkealaatuinen hitsi. Rajaviivalla vaikuttavaa lovijännitystä on tutkittu mallintamalla liitokset FEMAP – elementtimenetelmäohjelmalla varioimalla rajaviivan pyöristystä. Elementtimenetelmän tuloksia on verrattu analyyttisiin loven muotoluvun laskentakaavoihin. Tutkittavana on ollut Ruukin Optim 960 QC sekä Optim 1100 QC – teräksistä valmistettuja koesauvoja. Koesauvat on valmistettu sekä koestettu pääasiassa Lappeenrannan teknillisen yliopiston teräsrakenteiden laboratoriossa. Tutkittavat koesauvat ovat olleet kuormaa kantamattomia ristiliitoksia sekä päittäisliitoksia. Suurin osa koesauvoista on väsytetty käyttämällä jännityssuhdetta R < 0,11. Koesauvat on jaoteltu jännityssuhteen sekä liitostyypin mukaan. Kaikkien koekappaleiden karakteristiseksi väsymisluokan arvoksi on määritetty FAT 200. Alle 0,11 jännityssuhteella väsytettyjen koekappaleiden karakteristinen väsymisluokka on FAT 230 ja isoilla jännityssuhteilla väsytettyjen FAT 126. Tulosten perusteella nykyiset mitoitusohjeet eivät ole liian konservatiivisia. Väsymisluokkaa FAT 225 voidaan käyttää väsymislaskennassa, mikäli rakenteen kuormitusten suhde on alle 0,1. Isoilla jännityssuhteilla koestettujen koekappaleiden lukumäärä on ollut pieni, joten niiden mitoitukselle ei voida antaa tarkkoja ohjeita.

Local Features in Image and Video Processing - Object Class Matching and Video Shot Detection

The usage of digital content, such as video clips and images, has increased dramatically during the last decade. Local image features have been applied increasingly in various image and video retrieval applications. This thesis evaluates local features and applies them to image and video processing tasks. The results of the study show that 1) the performance of different local feature detector and descriptor methods vary significantly in object class matching, 2) local features can be applied in image alignment with superior results against the state-of-the-art, 3) the local feature based shot boundary detection method produces promising results, and 4) the local feature based hierarchical video summarization method shows promising new new research direction. In conclusion, this thesis presents the local features as a powerful tool in many applications and the imminent future work should concentrate on improving the quality of the local features.

The improvement of enclosure protection class of power electronics device

Tässä diplomityössä tutkittiin vaihtoehtoja tehoelektroniikkalaitteiden kotelointiluokan kehittämiseksi. Haasteena paremman suojauksen suunnittelussa on laitteiden tuottama suuri määrä lämpöä, joka vaatii tehokkaan jäähdytyksen. Työn tuloksena saatu prototyyppi IP33 luokkaa varten täyttää standardissa SFS-EN 60529+A1 asetetut vaatimukset kyseiselle kotelointiluokalle. Rakenteessa ja valmistettavuudessa havaittiin muutama ongelma, jotka ovat korjattavissa pienillä muutoksilla. Korkeampia suojausluokkia varten testattiin IP54-luokiteltujen filtterituulettimien vaikutusta laitteen jäähdytykseen. Testien perusteella jäähdytysteho on riittävä ja filtterituulettimet todettiin toimivaksi ratkaisuksi korkeammille suojausluokille. Työn perusteella voidaan todeta, että nykyiset laitteet voidaan muokata vastaamaan IP33 luokan vaatimuksia kohtuullisen pienillä muutoksilla. Tätä korkeammat suojausluokat vaatisivat niin suuria muutoksia designiin, että todennäköisesti täysin uuden laitteen suunnittelu olis kannattavin vaihtoehto.

Characteristic Approach to Predicting Analysts’ Forecast Errors in the Finnish Market

Extensive literature shows that analysts’ forecasts and recommendations are often biased. Thus, it is important for the financial market to be able to recognize this bias to be able to correctly valuate public companies. This thesis uses characteristic approach, which was introduced by So (2013, pp. 615-640), to forecast analysts’ forecast errors and tests if predictable forecast error is fully incorporated into share prices. Data is collected of listed Finnish companies. Thesis’ timeframe spans over ten years from 2004 to 2013 consisting of 788 firm-years. Although there is earlier evidence that the characteristic approach is able to predict analysts’ forecast errors, no support for this is found in the Finnish market. This thesis contributes to the current knowledge by showing that the characteristic approach does not work universally as such but requires development to work especially in the smaller markets.