Formal development and quantitative verification of dependable systems

-

Improving the inventory management and valuation process, Case: The Switch Drive Systems

The goal of this study is to create a new inventory valuation process for The Switch Drive Systems and to improve its inventory management practices. In the matter of inventories the main problems in the case company are that it doesn’t have consistent valuation methods throughout the company and that information received in ERP system isn’t trustful. The research is qualitative case study. The empirical data is gathered through observing and unstructured interviews. The research shows that material flow process and the inventory valuation must be divided and handled separately but they should interact with each other. The result is a new inventory valuation process which takes many factors of material process under the consideration in order to receive reliable value for inventories.

Tuotehyväksynnän hallinta rakennusliikkeessä

Rakennusalan tuotehyväksyntä muuttuu EU:n rakennustuoteasetuksen astuessa voimaan 1.7.2013, jolloin CE-merkintä tulee pakolliseksi suurella osalle rakennustuotteita. Muutos aiheuttaa toimia yli 4000 suomalaisyrityksessä, jotka joutuvat hankkimaan tuotteelleen CE-merkinnän. Rakennustuoteasetus vaikuttaa kaikkiin alan toimijoihin. Tämä diplomityö on toteutettu toimintatutkimuksena, johon sisältyvien teemahaastattelujen kautta saatujen tutkimustulosten perusteella kehitettiin tuotehyväksynnän hallintaan työkalu, YIT-tuotehyväksyntäkortit. Ne laadittiin tuotehyväksynnän teoriaan pohjalta palvelemaan koko YIT Rakennus Oy:tä ja muokattiin yrityksen tarpeisiin sopiviksi soveltaen toimintatutkimuksen tuloksia. YIT-tuotehyväksyntäkortiston avulla pyritään kehittämään yrityksen toimintatapoja vaikuttamalla organisaation henkilöstöön osallistamalla ja vastuuttamalla heitä. Tuotehyväksynnän vaikutuksia rakennushankkeen eri vaiheisiin tutkittiin havainnoivan keskustelun avulla ja teemahaastatteluiden tuloksia analysoiden. YIT-tuotehyväksyntäkortistoa hallinnan välineenä testattiin pääasiassa haastattelujen avulla, sillä mallikortit eivät vielä mahdollistaneet laajempaa testausta käytännössä. Työn tuloksina esitellään YIT-tuotehyväksyntäkorttien laadintaprosessi ja paneudutaan tarkemmin korttien sisältöön.

Exploring relationship between marketing and sales - a case study of B2B ICT solution sales

Following the current trend of companies in changing and developing their businesses from transactional approach to relationship and solution oriented approach has set new requirements to internal cooperation of companies too. The relationship between marketing and sales has been identified to be critical to company's success here, but surprisingly little is known about it. The purpose of this study was to deepen understanding of the relationship between sales and marketing in business-to-business sales from operative sales employees' perspectives in solution selling context. The aim was to develop an explorative analytical construction and framework of the interface. The study was conducted as a literature review and an empirical qualitative explorative single case study. The data was collected by conducting six thematic interviews with sales employees of the case company. Observing sales and marketing, written documents and other materials used in sales were used as secondary source of information. The data was analyzed using qualitative case study analysis methods. The findings of the study support previous research findings of the interface between marketing and sales but also bring new propositions as analytical framework to construct the interface. As such, the interface was found to be a multi-dimensional and complex dynamic construction. As results of this study, there was an exploratory framework constructed. The construction consists of three explorative contexts of the interface: internal context, relationship emphasizing context and solution selling context. These contexts are further divided into lower levels as an outcome of the analysis. In addition the identified contexts, there are also conceptual domains identified, which are common to all the contexts. The role of mutual, cross-functional knowledge creation was found to be central in the interface.

Cost-effectiveness analysis in South Karelia Central Hospital

The target organization of this study, otherwise South-Karelia Social and Health Care District (Eksote) provides health, senior, family and social welfare services. South Karelia Central Hospital provides special health care and offers health services from all of the most important medical specialties. Eksote has in use 15D instrument to measure the health-related quality of life (HRQoL) of their patients before and after their interventions for observing the health effects of the medical care. Furthermore, 15D allows measuring the effectiveness and cost-effectiveness of health care when comparing these before and after results of the 15D measurements and adding the costs of the interventions into this research. The main purposes of this study were to analyze the effectiveness and cost-effectiveness of medical care in South Karelia Central Hospital by using the gathered 15D data to calculate effectiveness and cost-effectiveness ratios and to analyze the reliability and availability of the data. Study has been conducted using literature review and quantitative research methods. The results indicate that from the patients within the eight units selected to this study the 15D change information was available from the 52 %, the 15D change and the cost information from 38 % and the information of quality-adjusted life years (QALYs) produced and the cost information from 35 %. The effectiveness and cost-effectiveness of medical care were greatest at the units of Pain Outpatient Clinic and Rheumatic Diseases Outpatient Clinic. The most effective medical care is given in the unit where the average price of one produced QALY is the highest (Orthopedics). However, the calculated standard deviations pointed out that there are great variances in the effectiveness and cost-effectiveness within the units also.

Auscultatory and electrocardiographic characteristics of Crioulo horses

In order to determine auscultatory and electrocardiographic characteristics of Crioulo horses, one hundred animals ranging between one and twenty-six years of age (21 stallions, nine geldings, 27 pregnant mares e 43 not pregnant mares) were evaluated. The cardiac auscultation was performed during the clinical examination of the cardiovascular system, evaluating frequency, rate, normal and abnormal heart sounds (heart murmurs). The electrocardiographic examination followed the bipolar base-apex derivative system with animals at rest, by using an ECG-PC TEB equipment. The cardiac frequency, heart rate, morphology, duration, wave and complex amplitudes and interval durations were determined. The results were submitted to ANOVA and Tukey tests with an error probability of 5%. The cardiac auscultation revealed presence of functional systolic and diastolic murmur (10.00%) and systolic murmur compatible with tricuspid regurgitation besides normal heart sounds S1 (100.0%), S2 (100.0%), S3 (19.0%) and S4 (34.0%). The cardiac frequency obtained the average of 43.64 bpm, observing significative differences in relation to sexual and age factors and training level. The sinus rhythm was the most frequent (57.00%), followed by sinus tachycardia (38.00%) and sinus arrhythmia (5.00%), being observed rhythm disturbances in 16% of tracings. The P and T waves were observed more frequently in their forms P bifida positive (95.00%) and biphasic T (91.00%), being variable at tracing. There were also observed Q waves in 12.00% of the tracings. Thus, it was concluded that the auscultatory characteristics of Crioulo horses are according to the described in the literature for the species and the sexual factor, category, age factor and training level can influence some electrocardiographic parameters.

Welding current effect on diffusible hydrogen content in flux cored arc weld metal

The application of flux cored arc welding (FCAW) has increased in manufacturing and fabrication. Even though FCAW is well known for its good capability in producing quality welds, few reports have been published on the cause of the relatively high diffusible hydrogen content in the weld metal and its relation with the ingredients used in the wire production and with the welding parameters (mainly welding current). This paper describes experiments where data obtained from weld metal diffusible hydrogen analysis, metal droplet collection, and high-speed recording of metal droplet transfer were used to evaluate the effect of welding current on diffusible hydrogen content in the weld metal. The results from gas chromatography analysis showed that weld metal hydrogen content indeed increased with welding current. A polynomial regressional analysis concluded that hydrogen increase with current was better described by a linear function with proportional constant of approximately 0.7 or 70%. Different from the GMA welding transfer behavior, statistical analysis showed only a small increase in metal droplet size with increasing current. The metal transfer mode remained in the globular range for currents between 100 and 150 A. The most surprising findings were with the high-speed cinematography recording. Observing the high speed movies, it was possible to see that at low current, "unmelted" flux sporadically touched the weld pool but at higher current, the flux remained touching the weld pool during the whole time of droplet formation and transfer. It is believed that since the flux has ingredients that contain hydrogen, hydrogen passes through the arc undisturbed, going to the weld bead intact and increasing the hydrogen content in the weld metal. Another important observation is regarding to droplet size. Droplet size increased with increasing current because forces from decomposed gases from the flux could sustain the droplets, retarding their transfer and allowing them to grow.

A Framework for IT Service Management Integration

The objective of this Master’s Thesis is to find out best practices for IT service management integration. Integration in this context means process integration between an IT organization and an integration partner. For observing the objective, two different perspectives are assigned: process and technology. The thesis consists of theory, framework, implementation, and analysis parts. The first part introduces common methodology of IT service management and enterprise integration. The second part presents an integration framework for ITSM integration. The third part illustrates how the framework is used and the last part analyses the framework. The major results of this thesis were the framework architecture, the framework tools, the implementation model, the testing model, and the deployment model for ITSM integration. As a fundamental best practice, the framework contained a four-division structure between architecture, process, data, and technology. This architecture provides a baseline for ITSM integration design, implementation and testing.

Puristussylinterien valmistuksen kehittäminen

Tässä diplomityössä kehitettiin yksitoimisten puristussylinterien valmistusta Rautessa. Sylinterien valmistuksessa haastavin vaihe on sylinteriputken ja pohjan välinen hitsaus. Hitsauksen avuksi suunniteltiin sylinterin sisäpuolinen juuritukilaite. Hitsauskokeita suoritettiin hitsin pohjan jauhekaarihitsaukselle ja MAG-hitsaukselle. Juuritukilaitteen toimivuutta testattiin koehitsauksilla. Puristussylinterien materiaali on S355J2-terästä, jonka ainevahvuus on 20 – 60 mm. Paksujen rakenneterästen hitsauksessa täytyy ottaa huomioon hitsausliitoksen mekaanisten ominaisuuksien muuttuminen sekä eri halkeamien synty. Hitsauksen laatuun ja laadunhallintaan voidaan vaikuttaa monien eri tekijöiden avulla. Hitsausohjeen avulla, ja muut laatutekijät huomioiden, voidaan hitseille asetetut laatukriteerit täyttää. Juurituen käyttö nopeuttaa puristussylinterien hitsausta vähintään 50 %. Jauhekaarihitsaus kuparista juuritukea vasten synnyttää vaikeasti poistettavan kuonan juuren puolelle. Perinteinen MAG-hitsaus kuparista juuritukea vasten sisältää liian monta muuttujaa, mikä tekee siitä epäluotettavan pohjapalon hitsaukseen. Työssä suunnitellun juuritukilaitteen käyttö tuotannossa vaatii lisää hitsauskokeita.

Homogeneous assay technologies in drug screening: Quenching Resonance Energy Transfer (QRET) technique

Information gained from the human genome project and improvements in compound synthesizing have increased the number of both therapeutic targets and potential lead compounds. This has evolved a need for better screening techniques to have a capacity to screen number of compound libraries against increasing amount of targets. Radioactivity based assays have been traditionally used in drug screening but the fluorescence based assays have become more popular in high throughput screening (HTS) as they avoid safety and waste problems confronted with radioactivity. In comparison to conventional fluorescence more sensitive detection is obtained with time-resolved luminescence which has increased the popularity of time-resolved fluorescence resonance energy transfer (TR-FRET) based assays. To simplify the current TR-FRET based assay concept the luminometric homogeneous single-label utilizing assay technique, Quenching Resonance Energy Transfer (QRET), was developed. The technique utilizes soluble quencher to quench non-specifically the signal of unbound fraction of lanthanide labeled ligand. One labeling procedure and fewer manipulation steps in the assay concept are saving resources. The QRET technique is suitable for both biochemical and cell-based assays as indicated in four studies:1) ligand screening study of β2 -adrenergic receptor (cell-based), 2) activation study of Gs-/Gi-protein coupled receptors by measuring intracellular concentration of cyclic adenosine monophosphate (cell-based), 3) activation study of G-protein coupled receptors by observing the binding of guanosine-5’-triphosphate (cell membranes), and 4) activation study of small GTP binding protein Ras (biochemical). Signal-to-background ratios were between 2.4 to 10 and coefficient of variation varied from 0.5 to 17% indicating their suitability to HTS use.

Universal Quantum Cloning

After introducing the no-cloning theorem and the most common forms of approximate quantum cloning, universal quantum cloning is considered in detail. The connections it has with universal NOT-gate, quantum cryptography and state estimation are presented and briefly discussed. The state estimation connection is used to show that the amount of extractable classical information and total Bloch vector length are conserved in universal quantum cloning. The 1  2 qubit cloner is also shown to obey a complementarity relation between local and nonlocal information. These are interpreted to be a consequence of the conservation of total information in cloning. Finally, the performance of the 1  M cloning network discovered by Bužek, Hillery and Knight is studied in the presence of decoherence using the Barenco et al. approach where random phase fluctuations are attached to 2-qubit gates. The expression for average fidelity is calculated for three cases and it is found to depend on the optimal fidelity and the average of the phase fluctuations in a specific way. It is conjectured to be the form of the average fidelity in the general case. While the cloning network is found to be rather robust, it is nevertheless argued that the scalability of the quantum network implementation is poor by studying the effect of decoherence during the preparation of the initial state of the cloning machine in the 1 ! 2 case and observing that the loss in average fidelity can be large. This affirms the result by Maruyama and Knight, who reached the same conclusion in a slightly different manner.

Ympäristöjärjestelmän rakentaminen ja sen haasteet Lappeenrannan teknillisellä yliopistolla

Lappeenrannan teknilliselle yliopistolle on rakennettu ISO14001-mukaista ympäristöjärjestelmää. Tässä diplomityössä tarkastellaan rakentamisen vaiheita sekä etsitään ratkaisuja rakentamisen aikana ilmeneviin haasteisiin. Teoriaosassa keskitytään ympäristö- ja kestävän kehityksen toimintaan yliopistoissa sekä ISO14001-standardin mukaisiin ympäristöjärjestelmiin. Ympäristöjärjestelmää rakennettaessa luodaan ympäristöpolitiikka sekä arvioidaan ja valitaan yliopiston merkittävimmät ympäristönäkökohdat. Näkökohdille luodaan päämäärät, tavoitteet ja ohjelmat. Lisäksi työssä tarkastellaan lakisääteisiä vaatimuksia ja luodaan menetelmiä dokumentointiin, koulutukseen, poikkeamien havainnointiin ja sisäiseen auditointiin. Yliopistolle on mahdollista rakentaa toimiva ympäristöjärjestelmä, mutta se vaatii aika- ja taloudellisten resurssien lisäksi myös vahvan tuen ylimmältä johdolta sekä halua ajaa muutos organisaatioon.

Toimituskyvyn kehittäminen prosessin materiaalipuutteita hallitsemalla

Toimituskyky on yrityksen suorituskykyä kuvaava tekijä, jolla on merkittävä vaikutus asiakastyytyväisyyteen, erityisesti valmistusteollisuudessa. Toimituskyky muodostuu materiaalin saatavuudesta ja logistisen järjestelmän toimitusvarmuudesta, joten hyvä toimituskyky edellyttää materiaalipuutteiden hallintaa. Tämän diplomityön tavoitteena on esittää, miten toimituskykyä voidaan kehittää tilaus-toimitusprosessin materiaalipuutteita hallitsemalla. Tutkimus toteutettiin konstruktiivisella tutkimusotteella case-tutkimuksena havainnoimalla toimintaa case-yrityksessä sekä analysoimalla case-yrityksen kirjallista materiaalia ja arkistoja. Yrityksessä havaittuja materiaalipuutteisiin liittyviä ongelmia tarkasteltiin tilaus-toimitusprosessin näkökulmasta prosessijohtamisen ja systemaattisen ongelmanratkaisun teorioiden avulla. Tutkimuksen tuloksena laadittiin kolme käytännönläheistä ratkaisuehdotusta havaittuihin ongelmiin; (1) materiaalipuutteiden syy-seuraussuhteita kuvaavat ongelma-syy-seurausketjut, (2) materiaalipuutteiden ongelmanratkaisumalli systemaattisen ongelmanratkaisun tueksi sekä (3) visuaalinen tilaus-toimitusprosessimalli, joka painottaa osaprosessien yhteyttä koko prosessin toimituskykyyn ja toimitusvarmuuteen. Tulosten mukaan materiaalipuutteet tulisi käsittää prosessin laatuvirheinä, jotka antavat arvokasta tietoa siitä, että prosessissa on laatuongelmia. Tulosten perusteella yrityksen toimituskykyä voidaan kehittää havainnoimalla tilaus-toimitusprosessin laatuvirheitä, selvittämällä laatuvirheiden syy-seuraussuhteet systemaattisesti ongelmanratkaisumallia hyödyntäen sekä toimimalla prosessiajattelun mukaisesti tilaus-toimitusprosessin toimituskyvyn jatkuvaa parantamista tavoitellen. Tutkimusongelman tarkastelutapaa ja työn tuloksia voidaan soveltaa samankaltaisiin tapauksiin, joissa tilaus-toimitusprosessin laatuvirheet, esimerkiksi materiaalipuutteet, paljastavat kehittämistä vaativia epäkohtia prosessin toimintatavoissa. Tilaus-toimitusprosessin toimituskykyä voidaan kehittää vain, jos panostetaan ajan hallintaan ja kykyyn toimia asiakaslupausten ja sopimusten mukaisesti.

Anti-predator adaptations in aquatic environments

Predation is an important selective force that has led to the evolution of a variety of fascinating anti-predator adaptations, such as many types of protective coloration and prey behaviours. Because the evolution of life has begun in the aquatic environment and many anti-predator adaptations are found already in relative primitive taxa, it is likely that many of these adaptations evolved initially in the aquatic environment. Yet, there has been surprisingly little research on the mechanisms and function of antipredator adaptations in aquatic systems. To understand the function of anti-predator adaptations and natural selection imposed on prey appearance and behaviour, I have investigated how protective coloration can be used, either as such or together with behavioural adaptations, to manipulate predator behaviour and decrease predation risk. To this end I conducted a series of behaviour ecological laboratory experiments in which I manipulated the visual appearance of artificial backgrounds and prey items. In paper I of this thesis, I investigated background choice as an anti-predator strategy, by observing the habitat choice of the least killifish (Heterandria formosa) between pairs of artificial backgrounds, both in the presence and absence of predation threat. It has been suggested that prey could decrease their risk of being detected by predators either by preferring backgrounds into which they blend or by preferring visually complex backgrounds. The least killifish preferred a background that matched their patterning to a background that mismatched it, showing that they are able to respond to cues of visual similarity between their colour pattern and the surrounding environment. Interestingly however, in female least killifish visual complexity of the background was a more important cue for habitat safety and may override or act together with background matching when searching for a safe habitat. It is possible that in females, preference for visually complex backgrounds is associated with lower opportunity costs than preference for matching backgrounds would be. Generally, the least killifish showed stronger preference while under predation threat, indicating that their background choice behaviour is an antipredator adaptation. Many aquatic prey species have eyespots, which are colour patterns that consist of roughly concentric rings and have received their name because they for humans often resemble the vertebrate eye. I investigated the anti-predator function of eyespots against predation by fish in papers II, III and IV. Some eyespots have been suggested to benefit prey by diverting the strikes of predators away from vital parts of the prey body or towards a direction that facilitates prey escape. Although proposed over a century ago, the divertive effect of eyespots has proven to be difficult to show experimentally. In papers II and III, I tested for divertive effect of eyespots towards attacking fish by presenting artificial prey with eyespots to laboratory reared three-spined sticklebacks (Gasterosteus aculeatus). I found that eyespots strongly influenced the behaviour of attacking sticklebacks and effectively drew their strikes towards the eyespots. To further investigate this divertive effect and whether the specific shape of eyespots is important for it, I tested in paper III the response of fish also to other markings than eyespots. I found that eyespots were generally more effective in diverting the first strikes of attacking fish compared to other prey markings. My findings suggest that the common occurrence of eyespots in aquatic prey species can at least partly be explained by the divertive effect of the eyespot shape, possibly together with the relative simple developmental mechanisms underlying circular colour patterns. An eyebar is a stripe that runs through the eye, and this pattern has been suggested to obscure the real eyes of the prey by visually blending parts of the eyes and head of the prey and by creating false edges. In paper III, I show that an eyebar effectively disrupts an eyelike shape. This suggests that eyebars provide an effective way to conceal the eyes and consequently obstruct detection and recognition of prey. This experiment also demonstrates that through concealment of the eyes, eyebars could be used to enhance the divertive effect of eyespots, which can explain the common occurrence of eyebars in many species of fish that have eyespots. Larger eyespots have been shown to intimidate some terrestrial predators, such as passerine birds, either because they resemble the eyes of the predator’s own enemy or because highly salient features may have an intimidating effect. In papers II and IV, I investigated whether the occurrence of eyespots in some aquatic prey could be explained by their intimidating effect predatory fish. In paper IV, I also investigated the reason for the intimidating effect of eyelike prey marks. In paper II, I found no clear intimidating effect of eyespots, whereas in paper IV, using a different approach, I found that sticklebacks hesitated to attack towards eyelike but not towards non-eyelike marks. Importantly, paper IV therefore presents the first rigorous evidence for the idea that eye mimicry, and not merely conspicuousness, underlies the intimidating effect. It also showed that the hesitation shown by fish towards eyelike marks is partly an innate response that is reinforced by encounters with predators. Collectively, this thesis shows that prey colour pattern and the visual appearance of the habitat influence the behaviour of fish. The results demonstrate that protective coloration provides numerous distinctive ways for aquatic prey to escape predation. Thus, visual perception and behaviour of fish are important factors shaping the appearance and behaviours of aquatic prey.

Hydraulisen puomin avoimen piirin koordinaattiohjaus paine-ero-tilavuusvirta-approksimaation avulla

Diplomityön tavoitteena oli kehittää mahdollisimman hyvä koordinaattiohjaus. Sen tuli olla jälkiasennettavissa perinteisen ohjauksen rinnalle työkoneisiin, joissa on käytetty sähköohjattuja proportionaaliventtiileitä. Työssä keskityttiin tutkimaan suuntaventtiilin yli vallitsevasta paine-erosta saatavan tilavuusvirtatiedon hyödyntämistä ohjauksessa. Työn ensimmäisessä vaiheessa koordinaattiohjaus toteutettiin käyttäen 0-peittoisilla karoilla ja karan asematakaisinkytkennällä varustettuja suuntaventtiileitä. Hydrauliseen kuristukseen perustuen saatiin paine-erosta käyttökelpoista tilavuusvirtasignaalia ja koordinaattiohjauksen liikeradan seurannassa oli parhaimmillaan vain 3 cm:n virhe koenosturin työliikkeen pituudella. Toisessa vaiheessa käytettiin työkoneissa yleisesti esiintyvää positiivisin karapeitoin varustettua mobiiliventtiilistöä, jossa oli karakohtaiset painekompensaattorit. Painekompensaattoreiden takia ei paine-eron mittaaminen puhtaasti suuntaventtiilin karan yli ollut mahdollista, jonka takia tyydyttiin koordinaattiohjaus toteuttamaan ilman paineen mittausta luottaen painekompensaattoreiden toimintaan. Käytetyn venttiilistön kavitoinninestotoiminnon huomiointi ohjauksessa jäi ratkaisematta ja se ohitettiin vastusvastaventtiileiden avulla. Koordinaattiohjauksen tarkkuus mobiiliventtiileillä oli vaatimaton ja tulosten toistettavuus heikko. Tulosten perusteella todettiin avoimellakin koordinaattiohjauksella olevan mahdollista saavuttaa lupaava tarkkuus ammattikuljettajiin verrattuna. Mobiiliventtiilistöön liittyvät, työn aikana esiinnousseet epäkohdat olisi ratkaistava ennen käytettyjen menetelmien soveltamista käytännön kohteisiin.