Sökning: "large-neighbourhood search"

Hittade 3 avhandlingar innehållade orden large-neighbourhood search.

  1. 1. From Declarative Models to Local Search

    Författare :Gustav Björdal; Pierre Flener; Justin Pearson; Laurent Michel; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; discrete optimisation; combinatorial optimisation; local search; large-neighbourhood search; MiniZinc; constraint programming; declarative modelling; declarative neighbourhoods; Computer Science; Datavetenskap;

    Sammanfattning : A solver is a general-purpose software for solving optimisation problems. It takes as input a description of a problem, called a model, and uses a collection of algorithms, called its solving technology, to ideally produce an optimal solution as output. Most solvers have a modelling language that cannot be processed by other solvers. LÄS MER

  3. 2. Optimisation-based scheduling of an avionic system

    Författare :Emil Karlsson; Elina Rönnberg; Kaj Holmberg; Simin Nadjm-Tehrani; Anders Nordby Gullhav; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Modern computer systems in aircraft are often based on an integrated modular avionic architecture. In this architecture, software applications share hardware resources on a common avionic platform. Many functions in an aircraft are controlled by software and a failure in such software can have severe consequences. LÄS MER

  4. 3. Optimisation methods for solving a large-scale avionics scheduling problem

    Författare :Emil Karlsson; Elina Rönnberg; Kaj Holmberg; Simin Nadjm-Tehrani; Musliu Nysret; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Optimisation; Decomposition; Large-scale scheduling; Avionics scheduling;

    Sammanfattning : Modern computer systems in aircraft are based on an integrated modular avionic architecture. In this architecture, software applications share hardware resources on a common avionic platform. Many functions in an aircraft are controlled by software and a failure in such software can have severe consequences. LÄS MER