Kursplan för Villkorsprogrammering och tillämpad optimering

Kursplanen innehåller ändringar
Se ändringar

Kursplan fastställd 2019-02-14 av programansvarig (eller motsvarande).

Kursöversikt

  • Engelskt namnConstraint programming and applied optimization
  • KurskodEEN025
  • Omfattning7,5 Högskolepoäng
  • ÄgareMPSYS
  • UtbildningsnivåAvancerad nivå
  • HuvudområdeAutomation och mekatronik
  • InstitutionELEKTROTEKNIK
  • BetygsskalaTH - Fem, Fyra, Tre, Underkänd

Kurstillfälle 1

  • Undervisningsspråk Engelska
  • Anmälningskod 35123
  • Blockschema
  • Sökbar för utbytesstudenterJa

Poängfördelning

0118 Tentamen 5 hp
Betygsskala: TH		5 hp
  • 28 Okt 2019 fm H
  • 08 Jan 2020 fm M
  • 25 Aug 2020 em J
0218 Laboration 2,5 hp
Betygsskala: UG		2,5 hp

I program

Examinator

Gå till kurshemsidan (Öppnas i ny flik)

Behörighet

Information saknas

Särskild behörighet

För kurser på avancerad nivå gäller samma grundläggande och särskilda behörighetskrav som till det kursägande programmet. (När kursen är på avancerad nivå men ägs av ett grundnivåprogram gäller dock tillträdeskrav för avancerad nivå.)
Undantag från tillträdeskraven: Sökande med en programregistrering på ett program där kursen ingår i programplanen undantas från ovan krav.

Kursspecifika förkunskaper

Händelsediskreta system (eller motsvarande).

Syfte

Kursen syftar till att ge avancerade kunskaper om formella metoder i allmänhet och villkorsprogrammering i synnerhet och hur dessa metoder kan användas för att analysera händelsediskreta system. Typiska applikationer för formella metoder är verifiering och syntes av styrfunktioner för inbyggda system, styrning och optimering av automatiserade produktionssystem och kommunikationssystem. Kursen fokuserar på modellering, specifikation, simulering, verifiering, syntes och optimering.

Lärandemål (efter fullgjord kurs ska studenten kunna)

Förstå de två vanligaste paradigmerna, linjärprogrammering (MILP) och villkorsprogrammering (CP).

Förklara skillnaderna mellan MILP och CP, and kunna konvertera modeller från ett paradigm till ett annat.

Analysera och bestämma vilket paradigm som troligen fungerar bäst i givna situationer.

Vara bekväm med att modellera problem för respektive paradigm.

Använda existerande spjutspetsverktyg för modellering (AMPL, MiniZink) och generella optimeringslösare (CPLEX, Gurobi, GEOCODE).

Förstå och implementera specialanpassade heuristicbaserade algoritmer som A* och Dijkstra's.

Innehåll

Kursen syftar till att ge studenterna förmåga att förstå och vara bekväme med användningen av optimeringsverktyg och tekniker från operationsanalys (OR) och datavetenskap (CS), genom konkreta och verklighetsnära uppgifter. Detta inkluderar teori och praktik för generella optimerinsgmetoder, såsom linjärprogrammering, villkorsprogrammering, "branch and bound" och andra diskreta optimeringsalgoritmer (Dijkstra's, A*).

Organisation

Kursen utgörs av föreläsningar, övningar och ett antal inlämningsuppgifter som tar upp de viktigaste delarna i kursen. Inlämningsuppgifterna inbegriper modellering, specifikation, verifiering, syntes och optimering. Inlämningsuppgifterna kan komma att kollegiegranskas på ett sätt likartat det som används för vetenskapliga konferenser.

Litteratur

Martin Fabian, Lecture notes. Därtill kan vetenskapliga artiklar och annat extramaterial komma att delas ut. 

Examination inklusive obligatoriska moment

Kursen examineras med en konventionell tentamen, men också alla inlämningsuppgifter måste vara godkända för fullgjord kurs.

Kursplanen innehåller ändringar

  • Ändring gjord på tentamen:
    • 2019-09-20: Plats Plats ändrat från Johanneberg till M av grunnet
      [2020-01-08 5,0 hp, 0118]
    • 2019-09-09: Plats Plats ändrat från Johanneberg till Hörsalar på hörsalsvägen av grunnet
      [2019-10-28 5,0 hp, 0118]