Sökning: "Sequential integer programming"
Hittade 4 avhandlingar innehållade orden Sequential integer programming.
1. On Methods for Discrete Topology Optimization of Continuum Structures
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
2. Computationally efficient exact remodeling of optimization programs with applications to autonomous driving
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
3. Calculi for Program Incorrectness and Arithmetic
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
4. Optimization-based coordination strategies for connected and autonomous vehicles
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