Formal development and quantitative verification of dependable systems

-

Tissue Proteomes: Quantitative Mass Spectrometry of Murine Liver and Ovarian Endometrioma

A human genome contains more than 20 000 protein-encoding genes. A human proteome, instead, has been estimated to be much more complex and dynamic. The most powerful tool to study proteins today is mass spectrometry (MS). MS based proteomics is based on the measurement of the masses of charged peptide ions in a gas-phase. The peptide amino acid sequence can be deduced, and matching proteins can be found, using software to correlate MS-data with sequence database information. Quantitative proteomics allow the estimation of the absolute or relative abundance of a certain protein in a sample. The label-free quantification methods use the intrinsic MS-peptide signals in the calculation of the quantitative values enabling the comparison of peptide signals from numerous patient samples. In this work, a quantitative MS methodology was established to study aromatase overexpressing (AROM+) male mouse liver and ovarian endometriosis tissue samples. The workflow of label-free quantitative proteomics was optimized in terms of sensitivity and robustness, allowing the quantification of 1500 proteins with a low coefficient of variance in both sample types. Additionally, five statistical methods were evaluated for the use with label-free quantitative proteomics data. The proteome data was integrated with other omics datasets, such as mRNA microarray and metabolite data sets. As a result, an altered lipid metabolism in liver was discovered in male AROM+ mice. The results suggest a reduced beta oxidation of long chain phospholipids in the liver and increased levels of pro-inflammatory fatty acids in the circulation in these mice. Conversely, in the endometriosis tissues, a set of proteins highly specific for ovarian endometrioma were discovered, many of which were under the regulation of the growth factor TGF-β1. This finding supports subsequent biomarker verification in a larger number of endometriosis patient samples.

On the Condition Monitoring of Induction machines

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.

Verification of a dynamic laboratory scale former

Laboratoriomittakaavainen formeri on välttämätön, jotta paperinvalmistusprosessin jäljitteleminen olisi mahdollista. Vaikka erilaisia formereita löytyykin paperiteollisuudesta, tilaa on kuitenkin laboratoriomittakaavaiselle paperinvalmistusmenetelmälle, joka sijoittuisipilottikoneen ja perinteisen laboratorioarkkimuotin välille. Formeri, jolla saadaan aikaiseksi oikean paperinvalmistuksen kaltaiset olosuhteet ja ilmiöt on kehitetty, ja sen toiminta on testattu Nalcon Papermaking Centreof Excellence:ssä Espoossa. Formeri on yhdistetty Nalcon lähestymisjärjetelmäsimulaattoriin ja simulaattorilla aikaansaadut hydro-kemialliset ilmiöt voidaan testata nyt myös arkeista. Laitteessa on perälaatikko ja viiraosa. Perälaatikosta massa virtaa viiralle, joka liikkuu eteenpäin hihnakuljettimen hihnojen päällä. Suihku-viira -suhdetta voidaan muuttaa joko muuttamalla virtausnopeutta tai viiran nopeutta tai säätämällä perälaatikon huuliaukkoa. Formerintoiminnan testaus osoitti, että se toimii teknisesti hyvin ja tulokset ovat toistettavia ja loogisia. Arkeissa kuidut ovat orientoituneet, formaatio ja vetolujuussuhde KS/PS riippuvat voimakkaasti suihku-viira -suhteesta, kuten oikeillakinpaperikoneilla.

Quantitative proteomics in the characterization of T helper lymphocyte differentiation

The term proteome is used to define the complete set of proteins expressed in cells or tissues of an organism at a certain timepoint. Respectively, proteomics is used to describe the methods, which are used to study such proteomes. These methods include chromatographic and electrophoretic techniques for protein or peptide fractionation, mass spectrometry for their identification, and use of computational methods to assist the complicated data analysis. A primary aim in this Ph.D. thesis was to set-up, optimize, and develop proteomics methods for analysing proteins extracted from T-helper (Th) lymphocytes. First, high-throughput LC-MS/MS and ICAT labeling methods were set-up and optimized for analysing the microsomal fraction proteins extracted from Th lymphocytes. Later, iTRAQ method was optimized to study cytokine regulated protein expression in the nuclei of Th lymphocytes. High-throughput LC-MS/MS analyses, like ICAT and iTRAQ, produce large quantities of data and robust software and data analysis pipelines are needed. Therefore, different software programs used for analysing such data were evaluated. Moreover, a pre-filtering algorithm was developed to classify good-quality and bad-quality spectra prior to the database searches. Th-lymphocytes can differentiate into Th1 or Th2 cells based on surrounding antigens, co-stimulatory molecules, and cytokines. Both subsets have individual cytokine secretion profiles and specific functions. Th1 cells participate in the cellular immunity against intracellular pathogens, while Th2 cells have important role in the humoral immunity against extracellular parasites. An abnormal response of Th1 and Th2 cells and imbalance between the subsets are charasteristic of several diseases. Th1 specific reactions and cytokines have been detected in autoimmune diseases, while Th2 specific response and cytokine profile is common in allergy and asthma. In this Ph. D. thesis mass spectrometry-based proteomics was used to study the effects of Th1 and Th2 promoting cytokines IL-12 and IL-4 on the proteome of Th lymphocytes. Characterization of microsomal fraction proteome extracted from IL-12 treated lymphobasts and IL-4 stimulated cord blood CD4+ cells resulted in finding of cytokine regulated proteins. Galectin-1 and CD7 were down-regulated in IL-12 treated cells, while IL-4 stimulation decreased the expression of STAT1, MXA, GIMAP1, and GIMAP4. Interestingly, the transcription of both GIMAP genes was up-regulated in Th1 polarized cells and down-regulated in Th2 promoting conditions.

Quantitative elemental analysis of dry-ashed bark and wood samples of birch, spruce and pine from south-western Finland using PIXE

A total of over 200 different samples of bark and wood of Silver birch, Norway spruce and Scots pine were analysed. Samples were taken from several areas in western Finland, some with known sources of atmospheric heavy metal emission (Harjavalta, Ykspihlaja). Also analytical data for pine needles from some sites are reported. The chemical analyses were performed by thick-target particle-induced X-ray emission (PIXE) spectrometry after preconcentration by dry ashing of samples at 550oC. The following elements were quantified in most of the samples: P, S, K, Ca, Mn, Fe, Ni, Cu, Zn, Rb, Sr, Cd, Ba and Pb. The ash percentage and the chemical composition of ashes of different wood materials were also obtained, as dry ashing was used in the analytical procedure. The variations in elemental concentrations in wood and bark of an individual tree, expressed as RSDs, were mostly in the range 10 – 20 %. For several trees of the same species sampled from small areas (< 1 ha), the variations in elemental concentrations were surprisingly high (RSDs 20 – 50 %). In the vicinity of metal plants, effects of strong atmospheric heavy metal pollution (pollution factor above 100) were observed in pine bark. The increase of heavy metal content in wood samples from the same sites was quite small. Elemental concentrations in ashes of bark and wood, from areas with no local source of atmospheric pollution, were relatively uniform. Based on this observation an alternative way of demonstrating atmospheric pollution of tree bark is discussed.

Quantitative market and sales forecast accuracy analysis

The main objective of this master’s thesis was to quantitatively study the reliability of market and sales forecasts of a certain company by measuring bias, precision and accuracy of these forecasts by comparing forecasts against actual values. Secondly, the differences of bias, precision and accuracy between markets were explained by various macroeconomic variables and market characteristics. Accuracy and precision of the forecasts seems to vary significantly depending on the market that is being forecasted, the variable that is being forecasted, the estimation period, the length of the estimated period, the forecast horizon and the granularity of the data. High inflation, low income level and high year-on-year market volatility seems to be related with higher annual market forecast uncertainty and high year-on-year sales volatility with higher sales forecast uncertainty. When quarterly market size is forecasted, correlation between macroeconomic variables and forecast errors reduces. Uncertainty of the sales forecasts cannot be explained with macroeconomic variables. Longer forecasts are more uncertain, shorter estimated period leads to higher uncertainty, and usually more recent market forecasts are less uncertain. Sales forecasts seem to be more uncertain than market forecasts, because they incorporate both market size and market share risks. When lead time is more than one year, forecast risk seems to grow as a function of root forecast horizon. When lead time is less than year, sequential error terms are typically correlated, and therefore forecast errors are trending or mean-reverting. The bias of forecasts seems to change in cycles, and therefore the future forecasts cannot be systematically adjusted with it. The MASE cannot be used to measure whether the forecast can anticipate year-on-year volatility. Instead, we constructed a new relative accuracy measure to cope with this particular situation.

Improving Evaluation and Development Capability in Verification and Validation

Validation and verification operations encounter various challenges in product development process. Requirements for increasing the development cycle pace set new requests for component development process. Verification and validation usually represent the largest activities, up to 40 50 % of R&D resources utilized. This research studies validation and verification as part of case company's component development process. The target is to define framework that can be used in improvement of the validation and verification capability evaluation and development in display module development projects. Validation and verification definition and background is studied in this research. Additionally, theories such as project management, system, organisational learning and causality is studied. Framework and key findings of this research are presented. Feedback system according of the framework is defined and implemented to the case company. This research is divided to the theory and empirical parts. Theory part is conducted in literature review. Empirical part is done in case study. Constructive methode and design research methode are used in this research A framework for capability evaluation and development was defined and developed as result of this research. Key findings of this study were that double loop learning approach with validation and verification V+ model enables defining a feedback reporting solution. Additional results, some minor changes in validation and verification process were proposed. There are a few concerns expressed on the results on validity and reliability of this study. The most important one was the selected research method and the selected model itself. The final state can be normative, the researcher may set study results before the actual study and in the initial state, the researcher may describe expectations for the study. Finally reliability of this study, and validity of this work are studied.

Delivery Reliability: Timely and Quantitative Accuracy in a Forest Industry Company

The primary objective of this thesis was to research delivery reliability of mill business unit of a forest industry company, especially timely and quantitative accuracy of sales orders. Delivery reliability is an important factor of customer satisfaction, which has a great influence for success of a company. The secondary objective was to find out reasons for possible problems of delivery reliability and give propositions for improvable performances. The empirical part of the thesis based on reporting database of the forest industry company’s ERP-software and detailed information of the mill system. The delivery reliability results of the mill business unit were compared to delivery reliability of similar mill business unit inside the forest industry company. The research results expressed problems in the supply chain. The delivery reliability reporting should be also developed further. This would advance delivery reliability monitoring. The improvement propositions of the thesis were logistic operation mode estimation, particular benchmarking of the compared mill business unit and more detailed survey on production delivery reliability.

Sähköisten hankintamenettelyjen taloudelliset yritysvaikutukset

Pro gradu -tutkielmassa tutkitaan julkisissa hankinnoissa käyttöön otettavien uusien sähköisten menettelyjen, sähköisen huutokaupan ja dynaamisen hankintajärjestelmän, yritysvaikutuksia. Ydintutkimustehtävänä on tutkia, millaisia taloudellisia vaikutuksia sähköisillä menettelyillä tulee olemaan yrityksiin niiden tarjotessa palveluita tai tavaroita julkiselle sektorille ja mitkä ovat sähköisten menettelyjen käytön motiivit. Tutkielman teoriaosa on pohja empiiriselle tutkimukselle, jossa aineistona on käytetty suppeaa kyselytutkimusta, haastatteluja ja lisäksi materiaalia on tuotettu analysoimalla hallinnollisten kustannusten määrää sähköisissä hankintamenettelyissä. Yritysvaikutusten arvioinnissa tarkasteltiin sähköisten hankintamenettelyjen käytön motiiveja. Motiiveiksi tunnistettiin tehokkuuden tavoittelu, kustannussäästöt, ajankäytön ja henkilöresurssien käytön tehostaminen sekä avoimuus. Tutkimuksessa onnistuttiin todentamaan edellä mainittuja tekijöitä taloudellisilla malleilla. Määrälliset ja laadulliset tutkimustulokset osoittavat kokonaisuudessaan tuloksellisella tavalla sähköisten hankintamenettelyjen käytön motiiveita ja vaikutuksia yrityksiin. Sähköisillä hankintamenettelyillä voidaan perustellusti tehostaa hankintaprosessia ja saavuttaa kustannussäästöjä. Monia yleisiä yritysten julkisiin hankintoihin pääsyn esteinä pitämiä seikkoja voitaisiin vähentää tai poistaa käyttämällä sähköisiä hankintoja. Sähköistä huutokauppaa ja dynaamista hankintajärjestelmää koskevan lainsäädännön luodessa puitteet menettelyiden käytölle, tulee menettelyjen käyttöönoton motiivien ja kannustimien riittävyyttä seurata. Hallinnollisten kustannusten väheneminen ja muiden esteiden pieneneminen ei välttämättä synnytä pysyvää kannustinvaikutusta, vaan hankintaprosessia tulee pyrkiä sähköistämään kokonaisvaltaisesti myös muissa hankintalain mukaisissa hankintamenettelyissä ja kilpailuttamisen ulkopuolisissa hankinnan osa-alueissa kuten laskuttaminen, maksatus ja tilaus.

Quantitative Sustainability Disclosure –An international comparison and its impact on investor valuation

This research focuses on the link between quantitative sustainability disclosure and information asymmetry. It builds upon previous research which links information asymmetry with voluntary disclosure. Stakeholders from the financial services sector claim that sustainability disclosure needs to be more numerical and comparable between companies. This research covers 111 firms from Denmark, Finland, the Netherlands and Sweden from non-service industries and studies how quantitative their sustainability disclosure is, and whether or not there is a negative relation with information asymmetry. The results support the hypotheses, where two out of three information asymmetry proxies have a significant negative relation with quantitative disclosure. Size is supported as a moderating factor. Quantitativity also proves to have a significant link with third party sustainability ratings. The direct link between quantitativity and cost of capital is not however supported.