Sökning: "combinatorial optimisation"
Visar resultat 1 - 5 av 7 avhandlingar innehållade orden combinatorial optimisation.
1. From Declarative Models to Local Search
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
2. Network Modelling of Port Terminals Development of a Concept and a Tool
Sammanfattning : Network theory can be used to model and optimise logistic systems. The movement of goods is a major issue in our society and there is a large potential for increased efficiency in the transportation systems. Terminals and their equivalents are important in logistic systems. This is especially obvious when it comes to sea transport. LÄS MER
3. Certifying Correctness for Combinatorial Algorithms : by Using Pseudo-Boolean Reasoning
Sammanfattning : Over the last decades, dramatic improvements in combinatorialoptimisation algorithms have significantly impacted artificialintelligence, operations research, and other areas. These advances,however, are achieved through highly sophisticated algorithms that aredifficult to verify and prone to implementation errors that can causeincorrect results. LÄS MER
4. High-level modelling and local search
Sammanfattning : Combinatorial optimisation problems are ubiquitous in our society and appear in such varied guises as DNA sequencing, scheduling, configuration, airline-crew and nurse rostering, combinatorial auctions, vehicle routing, and financial portfolio design. Their efficient solution is crucial to many people and has been the target for much research during the last decades. LÄS MER
5. Mathematical models for optimising decision support systems in the railway industry
Sammanfattning : After the deregulation of the Swedish railway industry, train operating companies compete for and on the same infrastructure. This makes the allocation of rail capacity a most delicate problem, and for a well-functioning railway system the allocation must be fair, efficient and functional. The capacity allocation tasks include e.g. LÄS MER