Search for dissertations about: "modular"

Showing result 6 - 10 of 256 swedish dissertations containing the word modular.

  1. 6. Procedure-Modular Verification of Temporal Safety Properties

    University dissertation from Stockholm : KTH Royal Institute of Technology

    Author : Siavash Soleimanifard; KTH.; [2012]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Modular Verification; Compositional Verification; Maximal Models; Model Checking; Temporal Properties;

    Abstract : This thesis presents a fully automated technique for procedure-modular verification of control flow temporal safety properties. Procedure-modular verification is a natural instantiation of modular verification where modularity is achieved at the level of procedures. READ MORE

  2. 7. Representation of Modular and Platform-Based Products

    University dissertation from Stockholm : KTH Royal Institute of Technology

    Author : Anders Claesson; [2004]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; system structure; modularization; modular products; configurable components; product model; platform-based products; function-means modeling; configuration; axiomatic design; product variants;

    Abstract : Product development within the automotive industry is a challenging task for many reasons. There is an ongoing globalization and a constant evolution in the relationships between the OEMs and their suppliers driving an almost constant stream of changes and new challenges to well-established organizations and companies. READ MORE

  3. 8. Modular Innovation in Mature Structures

    University dissertation from Linköping : Linköpings universitet

    Author : Petter Jönsson; Linköpings universitet.; Linköpings universitet.; [2005]

    Abstract : The field of interest in this study is modular innovation. This type of innovation replaces an old parr of an existing product or adds new functionality to an existing product. Modular innovations are important to increase the performance of an existing product and retain the competitiveness of the product. READ MORE

  4. 9. Biosensor technology applied to hybridization analysis and mutation detection

    University dissertation from Stockholm : KTH

    Author : Peter Nilsson; KTH.; [1998]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; biosensor; genosensor; surface plasmon resonance; hybridization; nucleic acids; oligonucleotide; mutation detection; mismatch discrimination; modular; TECHNOLOGY Bioengineering; TEKNIKVETENSKAP Bioteknik;

    Abstract : This thesis demonstrates the application of biosensor technology for molecular biology investigations, utilizing a surface plasmon resonance based optical device for mass sensitive detection of biomolecular interactions at a chipsurface. Oligonucleotide model systems were designed for analysis of the action of DNA manipulating enzymes. READ MORE

  5. 10. Modular long-span timber structures a systematic framework for buildable construction

    University dissertation from Luleå : Luleå tekniska universitet

    Author : Anders Björnfot; Luleå tekniska universitet.; [2004]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Träbyggnad; Timber Structures;

    Abstract : One of the identified reasons for the low amount of timber construction in Sweden is a general lack of knowledge about timber engineering and how timber can be used to its full advantage. One way for increased timber construction is the development of a cost-efficient and easy to comprehend building system. READ MORE