Sökning: "modular approach"

Visar resultat 1 - 5 av 129 avhandlingar innehållade orden modular approach.

  1. 1. Effective development of dynamic systems : a structured approach

    Författare :Tobias Larsson; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Funktionella produkter; Functional Product Development; Datorstödd maskinkonstruktion; Computer Aided Design; Dynamic analysis;

    Sammanfattning : This licentiate thesis deals with effective simulation of multibody dynamic systems in the product development process. Previous work to make simulation more effective has concentrated on developing faster calculation methods. LÄS MER

  3. 2. Quantifiers and Theories : A Lazy Approach

    Författare :Peter Backeman; Philipp Rümmer; Jie-Hong Roland Jiang; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Automated Reasoning; Automated Theorem Proving; SMT; Unification; Datavetenskap med inriktning mot inbyggda system; Computer Science with specialization in Embedded Systems;

    Sammanfattning : In this thesis we study Automated Theorem Proving (ATP) as well as Satisfiability Modulo Theories (SMT) and present lazy strategies for improving reasoning within these areas. A lazy strategy works by simplifying a problem, and gradually refines the abstraction only when necessary. LÄS MER

  4. 3. Vector-valued Modular Forms, Computational Considerations

    Författare :Tobias Magnusson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; modular forms;

    Sammanfattning : In the following thesis we give a thorough self-contained introduction to vector-valued modular forms with an eye to representation theoretic aspects. We also examine the mathematical details of an implementation that we provide for an algorithm that computes bases of certain spaces of vector-valued modular forms in terms of a theorem due to Raum and Xià. LÄS MER

  5. 4. Decentralized Modular Router Architectures

    Författare :Markus Hidell; Gunnar Karlsson; Peter Sjödin; Gísli Hjálmtýsson; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Internet; Router architectures; Communication systems; Distributed systems; Telecommunication; Telekommunikation;

    Sammanfattning : The Internet grows extremely fast in terms of number of users and traffic volume, as well as in the number of services that must be supported. This development results in new requirements on routers—the main building blocks of the Internet. LÄS MER

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

    Författare :Anders Claesson; Chalmers tekniska högskola; []
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER