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.

Tietokantapohjaisen suunnittelujärjestelmän sähkösuunnitteluosuuden määrittely

Teollisuuden sähkösuunnitteluprojekti koostuu monista eri työvaiheista. Suunnitteluprojektin eri vaiheissa on omat tehtävänsä ja dokumentointitarpeensa. Tietokantojen avulla suunnitteluprojektiin liittyvää tietoa on helpompi hallita ja sama tieto on kaikkien suunnittelijoiden saatavilla. Tietokantoja käyttämällä voidaan nopeuttaa suunnittelutyötä ja vähentää suunnitteluvirheitä. Työssä kehitettiin tietokantapohjaisen suunnittelujärjestelmän sähkösuunnittelutyökalu, jonka pääasiallisena tarkoituksena on keskittää suunnittelun aikainen tieto yhteen paikkaan. Järjestelmä myös helpottaa toistuvien dokumenttien tuottamista varsinkin suurissa projekteissa. Työssä on keskitytty teollisuuden prosessisähköistykseen.

Kestomagneettigeneraattorin staattorin mekaanisen rakenteen analysointi ja kehitys

Työssä tutkittiin kestomagneettigeneraattorin staattoriytimen aksiaalisen puristamisen ja lämpötilan vaikutuksia staattorin jännityksiin ja muodonmuutoksiin. Lisäksi tutkittiin aksiaalisen puristusjännityksen vaikutusta staattorin aksiaalisuuntaisen ominaismuodon taajuuteen. Rakenteesta tehtiin elementtimalli, jonka avulla laskettiin rakenteen siirtymät, jännitykset ja ominaistaajuudet. Rakenteen jännityksiä ja siirtymiä tutkittiin myös yksinkertaisella jousikuvauksella, jonka tuloksia verrattiin elementtimallilla saatuihin tuloksiin. Työn tavoitteena oli kehittää uusi staattorirakenne. Elementtimenetelmän tulosten perusteella staattorirakennetta voidaan yksinkertaistaa poistamalla nyt käytetty puristusrengas, jolloin rakenteesta tulee yksinkertaisempi ja kustannustehokkaampi.

Integrating eco-innovation principles into regional strategy and policy: case of Päijät-Häme region, Finland

This study focuses on the integration of eco-innovation principles into strategy and policy at the regional level. The importance of regions as a level for integrating eco-innovative programs and activities served as the point of interest for this study. Eco-innovative activities and technologies are seen as means to meet sustainable development objective of improving regions’ quality of life. This study is conducted to get an in-depth understanding and learning about eco-innovation at regional level, and to know the basic concepts that are important in integrating eco-innovation principles into regional policy. Other specific objectives of this study are to know how eco-innovation are developed and practiced in the regions of the EU, and to analyze the main characteristic features of an eco-innovation model that is specifically developed at Päijät-Häme Region in Finland. Paijät-Häme Region is noted for its successful eco-innovation strategies and programs, hence, taken as casework in this study. Both primary (interviews) and secondary data (publicly available documents) are utilized in this study. The study shows that eco-innovation plays an important role in regional strategy as reviewed based on the experience of other regions in the EU. This is because of its localized nature which makes it easier to facilitate in a regional setting. Since regional authorities and policy-makers are normally focused on solving its localized environmental problems, eco-innovation principles can easily be integrated into regional strategy. The case study highlights Päijät-Häme Region’s eco-innovation strategies and projects which are characterized by strong connection of knowledge-producing institutions. Policy instruments supporting eco-innovation (e.g. environmental technologies) are very much focused on clean technologies, hence, justifying the formation of cleantech clusters and business parks in Päijät-Häme Region. A newly conceptualized SAMPO model of eco-innovation has been developed in Päijät-Häme Region to better capture the region’s characteristics and to eventually replace the current model employed by the Päijät-Häme Regional Authority. The SAMPO model is still under construction, however, review of its principles points to some of its three important spearheads – practice-based innovation, design (eco-design) and clean technology or environmental technology (environment).

Broadband excitation in the system identification of active magnetic bearing rotor systems

One of the targets of the climate and energy package of the European Union is to increase the energy efficiency in order to achieve a 20 percent reduction in primary energy use compared with the projected level by 2020. The energy efficiency can be improved for example by increasing the rotational speed of large electrical drives, because this enables the elimination of gearboxes leading to a compact design with lower losses. The rotational speeds of traditional bearings, such as roller bearings, are limited by mechanical friction. Active magnetic bearings (AMBs), on the other hand, allow very high rotational speeds. Consequently, their use in large medium- and high-speed machines has rapidly increased. An active magnetic bearing rotor system is an inherently unstable, nonlinear multiple-input, multiple-output system. Model-based controller design of AMBs requires an accurate system model. Finite element modeling (FEM) together with the experimental modal analysis provides a very accurate model for the rotor, and a linearized model of the magneticactuators has proven to work well in normal conditions. However, the overall system may suffer from unmodeled dynamics, such as dynamics of foundation or shrink fits. This dynamics can be modeled by system identification. System identification can also be used for on-line diagnostics. In this study, broadband excitation signals are adopted to the identification of an active magnetic bearing rotor system. The broadband excitation enables faster frequency response function measurements when compared with the widely used stepped sine and swept sine excitations. Different broadband excitations are reviewed, and the random phase multisine excitation is chosen for further study. The measurement times using the multisine excitation and the stepped sine excitation are compared. An excitation signal design with an analysis of the harmonics produced by the nonlinear system is presented. The suitability of different frequency response function estimators for an AMB rotor system are also compared. Additionally, analytical modeling of an AMB rotor system, obtaining a parametric model from the nonparametric frequency response functions, and model updating are discussed in brief, as they are key elements in the modeling for a control design. Theoretical methods are tested with a laboratory test rig. The results conclude that an appropriately designed random phase multisine excitation is suitable for the identification of AMB rotor systems.

On Energy Efficient Computing Platforms

In accordance with the Moore's law, the increasing number of on-chip integrated transistors has enabled modern computing platforms with not only higher processing power but also more affordable prices. As a result, these platforms, including portable devices, work stations and data centres, are becoming an inevitable part of the human society. However, with the demand for portability and raising cost of power, energy efficiency has emerged to be a major concern for modern computing platforms. As the complexity of on-chip systems increases, Network-on-Chip (NoC) has been proved as an efficient communication architecture which can further improve system performances and scalability while reducing the design cost. Therefore, in this thesis, we study and propose energy optimization approaches based on NoC architecture, with special focuses on the following aspects. As the architectural trend of future computing platforms, 3D systems have many bene ts including higher integration density, smaller footprint, heterogeneous integration, etc. Moreover, 3D technology can signi cantly improve the network communication and effectively avoid long wirings, and therefore, provide higher system performance and energy efficiency. With the dynamic nature of on-chip communication in large scale NoC based systems, run-time system optimization is of crucial importance in order to achieve higher system reliability and essentially energy efficiency. In this thesis, we propose an agent based system design approach where agents are on-chip components which monitor and control system parameters such as supply voltage, operating frequency, etc. With this approach, we have analysed the implementation alternatives for dynamic voltage and frequency scaling and power gating techniques at different granularity, which reduce both dynamic and leakage energy consumption. Topologies, being one of the key factors for NoCs, are also explored for energy saving purpose. A Honeycomb NoC architecture is proposed in this thesis with turn-model based deadlock-free routing algorithms. Our analysis and simulation based evaluation show that Honeycomb NoCs outperform their Mesh based counterparts in terms of network cost, system performance as well as energy efficiency.

Voimalaitoksen kanavien kannakkeiden rakennesuunnittelu

Tässä diplomityössä esitetään voimalaitoksen kanavien kannakkeiden rakennesuunnittelussa tarvittavat laskentamenetelmät. Työssä rakenteiden suunnitteluun ja mitoitukseen käytetään pääasiassa Eurokoodi 3 teräsrakenteiden suunnittelustandardin mukaista rajatilamitoitusta. Lisäksi kehitetään mitoitustyökaluja tärkeimpien kanavakannakkeiden suunnitteluun. Toteutettujen mitoitustyökalujen toiminta verifioidaan lujuusopin elementtimenetelmällä tehtävin tarkistuslaskelmin. Laskentatyökalujen analyyttisen ratkaisun verifioitiin olevan varmalla puolella kaikissa tutkituissa ilmiöissä. Työssä verifioituja menetelmiä voidaan soveltaa myös muiden vastaavien rakenteiden mitoittamiseen. Työssä luotujen laskentatyökalujen sisältämät laskentamenetelmät mahdollistavat monenlaisten rakenteiden vaatimustenmukaisen suunnittelun.

Turveperävaunun väsymiskestävyyden parantaminen

Työssä tutkittiin turveperävaunun renkaan kiinnitysrakenteen väsymiskestävyyttä. Väsymiskestävyyden parantamiseksi renkaiden kiinnityskohdan muotoilu ja mitoitus suunniteltiin uudelleen. Suunnittelussa keskityttiin ensisijaisesti nimellisten ja rakenteellisten jännitysheilahdusten pienentämiseen. Sekä vanhan, että uuden rakenneratkaisun väsymiskestoikiä tarkasteltiin käyttämällä hot spot – menetelmää.

Conical aluminum can

The current beverage (cylindrical shape) cans are stacked on each other after production, thus consuming a lot of space. Indirectly, this could result to high carbon emission during transportation. The problem is how to minimize the carbon emission based on different contradicting viewpoints. It was suggested that a conical shape of "the beverage can" could be a solution for the space optimization of empty beverage can transportation, thus creating the title for this research “Conical aluminum can”. They would be stacked inside each other before filling. This was based on design for sustainability and the consumer perspective and willingness toward sustainability. However, it was noticed that the industry is unwilling to incorporate this change.

Structural and functional Studies of angucycline tailoring enzymes

Polyketides are a diverse group of natural products produced in many bacteria, fungi and plants. These metabolites have diverse biological activities and several members of this group are in clinical use as antibiotics, anticancer agents, antifungals and immunosuppressants. The different polyketides are produced by polyketide synthases, which catalyze the condensation of extender units into various polyketide scaffolds. After the biosynthesis of the polyketide backbone, more versatility is created to the molecule by tailoring enzymes catalyzing for instance hydroxylations, methylations and glycosylations. Flavoprotein monooxygenases (FPMO) and short-chain alcohol dehydrogenases/reductases (SDR) are two enzyme families that catalyze unusual tailoring reactions in the biosynthesis of natural products. In the experimental section, functions of homologous FPMO and SDR tailoring enzymes from five different angucycline pathways were studied in vitro. The results revealed how different angucyclinones are produced from a common intermediate and that FPMO JadH and SDR LanV are responsible for the divergence of jadomycins and landomycins, respectively, from other angucyclines. Structural studies of these tailoring enzymes revealed differences between homologous enzymes and enabled the use of structure-based protein engineering. Mutagenesis experiments gave important information about the enzymes behind the evolution of distinct angucycline metabolites. These experiments revealed a correlation between the substrate inhibition and bi-functionality in JadH homologue PgaE. In the case of LanV, analysis of mutagenesis results revealed that the difference between the stereospecificities of LanV and its homologues CabV and UrdMred is unexpectedly related to the conformation of the substrate rather than to the structure of the enzyme. Altogether, the results presented here have improved our knowledge about different steps of angucycline biosynthesis and the reaction mechanisms used by the tailoring enzymes behind these steps. This information can hopefully be used to modify these enzymes to produce novel metabolites, which have new biological targets or possess novel modes-of-action. The understanding of these unusual enzyme mechanisms is also interesting to enzymologists outside the field of natural product research.

Novel control, haptic and calibration methods for teleoperated electrohydraulic servo systems

The aim of this thesis is to propose a novel control method for teleoperated electrohydraulic servo systems that implements a reliable haptic sense between the human and manipulator interaction, and an ideal position control between the manipulator and the task environment interaction. The proposed method has the characteristics of a universal technique independent of the actual control algorithm and it can be applied with other suitable control methods as a real-time control strategy. The motivation to develop this control method is the necessity for a reliable real-time controller for teleoperated electrohydraulic servo systems that provides highly accurate position control based on joystick inputs with haptic capabilities. The contribution of the research is that the proposed control method combines a directed random search method and a real-time simulation to develop an intelligent controller in which each generation of parameters is tested on-line by the real-time simulator before being applied to the real process. The controller was evaluated on a hydraulic position servo system. The simulator of the hydraulic system was built based on Markov chain Monte Carlo (MCMC) method. A Particle Swarm Optimization algorithm combined with the foraging behavior of E. coli bacteria was utilized as the directed random search engine. The control strategy allows the operator to be plugged into the work environment dynamically and kinetically. This helps to ensure the system has haptic sense with high stability, without abstracting away the dynamics of the hydraulic system. The new control algorithm provides asymptotically exact tracking of both, the position and the contact force. In addition, this research proposes a novel method for re-calibration of multi-axis force/torque sensors. The method makes several improvements to traditional methods. It can be used without dismantling the sensor from its application and it requires smaller number of standard loads for calibration. It is also more cost efficient and faster in comparison to traditional calibration methods. The proposed method was developed in response to re-calibration issues with the force sensors utilized in teleoperated systems. The new approach aimed to avoid dismantling of the sensors from their applications for applying calibration. A major complication with many manipulators is the difficulty accessing them when they operate inside a non-accessible environment; especially if those environments are harsh; such as in radioactive areas. The proposed technique is based on design of experiment methodology. It has been successfully applied to different force/torque sensors and this research presents experimental validation of use of the calibration method with one of the force sensors which method has been applied to.

Phylogenetic Analysis of Avidins and Expression of Novel Avidins from Lactrodectus hesperus and Hoeflea phototrophica

Avidins (Avds) are homotetrameric or homodimeric glycoproteins with typically less than 130 amino acid residues per monomer. They form a highly stable, non-covalent complex with biotin (vitamin H) with Kd = 10-15 M (for chicken Avd). The best-studied Avds are the chicken Avd from Gallus gallus and streptavidin from Streptomyces avidinii, although other Avd studies have also included Avds from various origins, e.g., from frogs, fishes, mushrooms and from many different bacteria. Several engineered Avds have been reported as well, e.g., dual-chain Avds (dcAvds) and single-chain Avds (scAvds), circular permutants with up to four simultaneously modifiable ligand-binding sites. These engineered Avds along with the many native Avds have potential to be used in various nanobiotechnological applications. In this study, we made a structure-based alignment representing all currently available sequences of Avds and studied the evolutionary relationship of Avds using phylogenetic analysis. First, we created an initial multiple sequence alignment of Avds using 42 closely related sequences, guided by the known Avd crystal structures. Next, we searched for non-redundant Avd sequences from various online databases, including National Centre for Biotechnology Information and the Universal Protein Resource; the identified sequences were added to the initial alignment to expand it to a final alignment of 242 Avd sequences. The MEGA software package was used to create distance matrices and a phylogenetic tree. Bootstrap reproducibility of the tree was poor at multiple nodes and may reflect on several possible issues with the data: the sequence length compared is relatively short and, whereas some positions are highly conserved and functional, others can vary without impinging on the structure or the function, so there are few informative sites; it may be that periods of rapid duplication have led to paralogs and that the differences among them are within the error limit of the data; and there may be other yet unknown reasons. Principle component analysis applied to alternative distance data did segregate the major groups, and success is likely due to the multivariate consideration of all the information. Furthermore, based on our extensive alignment and phylogenetic analysis, we expressed two novel Avds, lacavidin from Lactrodectus Hesperus, a western black widow spider, and hoefavidin from Hoeflea phototrophica, an aerobic marine bacterium, the ultimate aim being to determine their X-ray structures. These Avds were selected because of their unique sequences: lacavidin has an N-terminal Avd-like domain but a long C-terminal overhang, whereas hoefavidin was thought to be a dimeric Avd. Both these Avds could be used as novel scaffolds in biotechnological applications.

Structural and Mechanistic Studies of Phosphoserine Aminotransferase

Phosphoserine aminotrasferase (PSAT: EC 2.6.1.52) is a vitamin B6-dependent enzyme and a member of the subgroup IV in the aminotransferase superfamily. Here, X-ray crystallography was used to determine the structure of PSAT from Bacillus alcalophilus with pyridoxamine 5′-phosphate (PMP) at high resolution (1.57 Å). In addition, analysis of active residues and their conformational changes was performed. The structure is of good quality as indicated, for example, by the last recorded Rwork and Rfree numbers (0.1331 and 0.1495, respectively). The enzyme was initially crystallized in the presence of substrate L-glutamate with the idea to produce the enzyme-substrate complex. However, the structure determination revealed no glutamate bound at the active site. Instead, the Schiff base between Lys196 and PLP appeared broken, resulting in the formation of PMP owing to the excess of the donor substrate used during co-crystallization. Structural comparison with the free PSAT enzyme and the PSAR-PSER complex showed that the aromatic ring of the co-factor remains in almost the same place in all structures. A flexible nearby loop in the active site was found in the same position as in the free PSAT structure while in the PSAT-PSER structure it moves inwards to interact with PSER. B-factors comparison in all three structures (PSAT-PMP complex, free PSAT, and PSAT-PSER complex) showed elevated loop flexibility in the absence of the substrate, indicating that loop flexibility plays an important role during substrate binding. The reported structure provides mechanistic details into the reaction mechanism of PSAT and may help in understanding better the role of various parts in the structure towards the design of novel compounds as potential disruptors of PSAT function. This may lead to the development of new drugs which could target the human and bacterial PSAT active site.

Probing MST1 Kinase Sequence and Structure for Rational Drug Discovery (Targeting diabetes by blocking protein-protein interactions)

Apoptotic beta cell death is an underlying cause majorly for type I and to a lesser extent for type II diabetes. Recently, MST1 kinase was identified as a key apoptotic agent in diabetic condition. In this study, I have examined MST1 and closely related kinases namely, MST2, MST3 and MST4, aiming to tackle diabetes by exploring ways to selectively block MST1 kinase activity. The first investigation was directed towards evaluating possibilities of selectively blocking the ATP binding site of MST1 kinase that is essential for the activity of the enzymes. Structure and sequence analyses of this site however revealed a near absolute conservation between the MSTs and very few changes with other kinases. The observed residue variations also displayed similar physicochemical properties making it hard for selective inhibition of the enzyme. Second, possibilities for allosteric inhibition of the enzyme were evaluated. Analysis of the recognized allosteric site also posed the same problem as the MSTs shared almost all of the same residues. The third analysis was made on the SARAH domain, which is required for the dimerization and activation of MST1 and MST2 kinases. MST3 and MST4 lack this domain, hence selectivity against these two kinases can be achieved. Other proteins with SARAH domains such as the RASSF proteins were also examined. Their interaction with the MST1 SARAH domain were evaluated to mimic their binding pattern and design a peptide inhibitor that interferes with MST1 SARAH dimerization. In molecular simulations the RASSF5 SARAH domain was shown to strongly interact with the MST1 SARAH domain and possibly preventing MST1 SARAH dimerization. Based on this, the peptidic inhibitor was suggested to be based on the sequence of RASSF5 SARAH domain. Since the MST2 kinase also interacts with RASSF5 SARAH domain, absolute selectivity might not be achieved.