DM826: Modeller og løsningsmetoder for optimeringsproblemer med sidebetingelser (5 ECTS)

STADS: 15008701

Niveau
Kandidatkursus

Undervisningsperiode
Kurset er placeret i efterårssemesteret.
Kurset udbydes efter behov.

Ansvarlige undervisere
Email: marco@imada.sdu.dk

Skemaoplysninger
Vis hele skemaet
Vis personligt skema for dette kursus.

Kommentar:
Ubegrænset deltagerantal. 3.kvartal

Indgangskrav:
Ingen

Faglige forudsætninger:
Stoffet fra DM545 Lineær og heltalsprogrammering antages kendt.

Kursusintroduktion
Constraint programmering er et programmeringsparadigme, hvori man identificerer variable og beskriver betingelser mellem disse variable. En løsning, dvs, en tildeling af værdier til variable, findes ved anvendelsen af søgning og filtering. Filtering forsikrer ved brugen af smarte algoritmer at kun gyldige værdier tildeles til variable, som følge af anvendelsen af betingelserne.
Kurset vil give deltagerne viden om og praktisk erfaring i anvendelsen af constraint programming. Fokus sættes især på modellering af problemer fra virkelige verden og anvendelse af eksisterende løsningssystemer. Til sidst vil forskelle og kombinationer af constraint programmering med andre teknikker som heltalsprogrammering og lokal søgning også blive betragtet.

Forventet læringsudbytte
Ved kursets afslutning forventes den studerende at kunne:

• modellere i constraint programming, et nyt problem, som i natur minder om problemer fra kurset.
• argumentere om forskellige valg i anvendelse af constraint programming ved hjælp af den gennemgåede teori, herunder global constraints, propagators, søgning og branching skemaer.
• foretage empiriske afprøvninger af de opstillede modeller og rapportere deres resultater.
• beskrive det udførte arbejde i et passende sprog.

Emneoversigt
Kurset fokuserer på constraint programming og avancerede teknikker for heltalsprogrammering. Teorien bag disse teknikker vil blive behandlet, men det primære fokus vil være på en hurtig udvikling af løsnings-prototyper ved hjælp af et system til constraint programmering. Kurset giver også et sammenhængende syn på heltalsprogrammering, constraint programmering og lokale søgnings teknikker for kombinatoriske optimeringsproblemer. eksempelproblemer som vil blive brugt i løbet af kurset er constraint satisfaction, sport skemalægning og car sequencing.

Litteratur

• Meddeles ved kursets start.: .

Kursets hjemmeside
Dette kursus benytter e-learn (blackboard).

Forudsætningsprøver
Ingen

Eksamen- og censurform:
Obligatoriske opgaver, bedømmes samlet, 7-trinsskala, ekstern censur. (15008702)

Eksamen består af tre obligatoriske opgaver. To opgaver i løbet af kurset og en tredje efter kurset. Karakteren vil være et vægtet gennemsnit af de tre.

Reeksamen følger reglerne vedtaget af studienævnet. Reeksamen består af en projektopgave med intern censur.

Vejledende timetal
På naturvidenskab er undervisningen tilrettelagt efter trefasemodellen dvs. intro, trænings- og studiefasen.
Introfase: 28 timer
Træningsfase: 14 timer

Aktiviteter i studiefasen Studiefase: 14 timer

Sprog
Dette kursus undervises på dansk eller engelsk, afhængigt af underviseren. Dog altid på Engelsk ved deltagelse af internationale studerende.

Kursustilmelding
Se tilmeldingsfrister.

Pris for åben uddannelse
Se priser for enkeltkurser.

Dette er den nyeste version af en kursusbeskrivelse, som trådte i kraft den 1. feb 2014.