Sökning: "modular approach"
Visar resultat 1 - 5 av 129 avhandlingar innehållade orden modular approach.
1. Effective development of dynamic systems : a structured approach
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
2. Quantifiers and Theories : A Lazy Approach
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
3. Vector-valued Modular Forms, Computational Considerations
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
4. Decentralized Modular Router Architectures
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
5. Representation of Modular and Platform-Based Products
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