Sökning: "disjoint"

Visar resultat 6 - 10 av 44 avhandlingar innehållade ordet disjoint.

  1. 6. Bilinear optimization in computational decision analysis

    Författare :Xiaosong Ding; Love Ekenberg; Ahti Salo; Mittuniversitetet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer and systems science; Data- och systemvetenskap;

    Sammanfattning : In real-life decision analysis, significant recognition has been given to theunrealistic expectation of numerically precise information. Many modernapproaches attempting to handle imprecision have focused more on representationand less on evaluation. LÄS MER

  3. 7. Mathematical Modelling for Load Balancing and Minimization of Coordination Losses in Multirobot Stations

    Författare :Edvin Åblad; Stiftelsen Fraunhofer-Chalmers Centrum för Industrimatematik (FCC); []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; decomposition; mathematical modelling; Voronoi diagram; set packing; automotive manufacturing; Smart Assembly 4.0; continuous collision detection; motion planning; vehicle routing; makespan minimization;

    Sammanfattning : The automotive industry is moving from mass production towards an individualized production, in order to improve product quality and reduce costs and material waste. This thesis concerns aspects of load balancing of industrial robots in the automotive manufacturing industry, considering efficient algorithms required by an individualized production. LÄS MER

  4. 8. Graph dominators in logic synthesis and verification

    Författare :René Krenz; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; formal verification; logic synthesis; dominators; equivalence checking; decomposition; Computer science; Datavetenskap;

    Sammanfattning : This work focuses on the usage of dominators in circuit graphs in order to reduce the complexity of synthesis and verification tasks. One of the contributions of this thesis is a new algorithm for computing multiple-vertex dominators in circuit graphs. LÄS MER

  5. 9. On the ring lemma

    Författare :Jonatan Vasilis; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; ring lemma; circle packing; sphere packing; Apollonian; sphere packing;

    Sammanfattning : The sharp ring lemma states that if n ≥ 3 cyclically tangent discs with pairwise disjoint interiors are externally tangent to and surround the unit disc, then no disc has a radius below cn = (F2n-1 + F2n-2 - 1)-1 – where Fk denotes the kth Fibonacci number – and that the lower bound is attained in essentially unique Apollonian configurations. Here we give a proof by transforming the problem to a class of strip configurations, after which we closely follow a method of proof due to Aharonov and Stephenson. LÄS MER

  7. 10. Application and development of quantum chemical methods. Density functional theory and valence bond theory

    Författare :Fuming Ying; Olav Vahtras; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Theoretical chemistry; Teoretisk kemi;

    Sammanfattning : This thesis deals with two disjoint subdiciplines of quantum chemistry.  One isthe most used electronic structure method today, density functional theory(DFT), and the other one of the least used electronic structure methods,valence bond theory (VB). LÄS MER