Sökning: "integer programming"

Visar resultat 31 - 35 av 138 avhandlingar innehållade orden integer programming.

  1. 31. Extending the Automated Reasoning Toolbox

    Författare :Ann Lillieström; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; transitivity; integer linear programming; first-order logic; many-sorted logic; automated reasoning; morpheme segmentation;

    Sammanfattning : Due to the semi-decidable nature of first-order logic, it can be desirable to address a wider range of problems than the standard ones of satisfiability and derivability. We extend the automated reasoning toolbox by introducing three new tools for analysing problems in first-order logic. Infinox aims to show finite unsatisfiability, i.e. LÄS MER

  3. 32. Datorberäknad driftoptimal lastfördelning vid kraftvärmeproduktion

    Författare :Björn Malmström; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; cogeneration; load management; computerized optimization; prognosis; district heating; mixed integer programming;

    Sammanfattning : .... LÄS MER

  4. 33. Optimization using discrete event simulation and mixed integer programming: application on haulage systems for deep underground mines

    Författare :Abubakary Salama; Sunniva Haugen; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Mining and Rock Engineering; Gruv- och berganläggningsteknik;

    Sammanfattning : The application of discrete event simulation for the optimization of the haulage methods of underground operations at great depth is presented. The discrete event simulation was carried out to evaluate four haulage methods for the improvement of the overall mine production and a minimizing of the operating costs. LÄS MER

  5. 34. The Tail Assignment Problem

    Författare :Mattias Grönkvist; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; hybrid optimization; fleet planning; aircraft routing; column generation; airline optimization; tail assignment; constraint programming;

    Sammanfattning : The Aircraft Assignment problem is the problem of assigning flights to aircraft in such a way that some operational constraints are satisfied, and possibly that some objective function is optimized.We propose an approach to aircraft assignment which captures all operational constraints, including minimum connection times, airport curfews, maintenance, and preassigned activities. LÄS MER

  7. 35. Optimization of Manufacturing Cells Using Discrete Event Models

    Författare :Avenir Kobetski; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Flexible Manufacturing; Optimal Scheduling; Supervisory Control Theory; A*; Velocity Balancing; Discrete Events Systems; Mixed Integer Linear Programming; Timed Deterministic Finite Automata; Robot Coordination; Visibility Graphs;

    Sammanfattning : As the name suggests, this thesis is concerned with flexible manufacturing systems (FMS) and their way of living. More specifically, the main objective of this workis to generate working schedules for the moving objects of the manufacturing cells. LÄS MER