Sökning: "Sequential integer programming"

Hittade 4 avhandlingar innehållade orden Sequential integer programming.

  1. 1. On Methods for Discrete Topology Optimization of Continuum Structures

    Författare :Mats Werme; Krister Svanberg; Wolfgang Achtziger; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Topology optimization; Stress constraints; Sensitivity calculations; Neighbourhood search methods; Sequential integer programming; Optimization; systems theory; Optimeringslära; systemteori;

    Sammanfattning : This thesis consists of an introduction and seven appended papers. The purpose of the introduction is to give an overview of the field of topology optimization of discretized load carrying continuum structures. LÄS MER

  3. 2. Computationally efficient exact remodeling of optimization programs with applications to autonomous driving

    Författare :Johan Karlsson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Autonomous driving; Real-time implementation; Model predictive control; Convex optimization;

    Sammanfattning : The future of autonomous vehicles is rapidly approaching and the published and available research, both from vehicle manufacturers and universities, is abundant. This new technology promises less pollution, lower accident rates, decreased congestion and the possibility to relax or work while a vehicle takes you where you need to go. LÄS MER

  4. 3. Calculi for Program Incorrectness and Arithmetic

    Författare :Philipp Rümmer; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : This thesis is about the development and usage of deductive methods in two main areas: (i) the deductive dis-verification of programs, i.e., how techniques for deductive verification of programs can be used to detect program defects, and (ii) reasoning modulo integer arithmetic, i.e. LÄS MER

  5. 4. Optimization-based coordination strategies for connected and autonomous vehicles

    Författare :Robert Hult; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Model Predictive Control; Optimization; Optimal Control; Connected Automated Vehicles; Intersection Coordination;

    Sammanfattning : Automated vehicles (AV) are expected to reach the consumer market within the next decade. Once AVs become ubiquitous, they could resolve difficult traffic situations through communication-based cooperation. LÄS MER