[Översättning saknas: page.coursepage.titleprefix] Villkorsprogrammering och tillämpad optimering

[Översättning saknas: page.coursepage.adopteddate] 2022-02-08 [Översättning saknas: page.coursepage.adoptedby].

[Översättning saknas: page.coursepage.overview]

  • [Översättning saknas: page.coursepage.namealt]Constraint programming and applied optimization
  • [Översättning saknas: page.coursepage.coursecode]EEN025
  • [Översättning saknas: page.coursepage.credit]7,5 Högskolepoäng
  • [Översättning saknas: page.coursepage.owner]MPSYS
  • [Översättning saknas: page.coursepage.edulevel]Avancerad nivå
  • [Översättning saknas: page.coursepage.mainsubjects]Automation och mekatronik
  • [Översättning saknas: page.coursepage.dept]ELEKTROTEKNIK
  • [Översättning saknas: page.coursepage.grading]TH - Mycket väl godkänd (5), Väl godkänd (4), Godkänd (3), Underkänd

[Översättning saknas: page.coursepage.courseround] 1

  • [Översättning saknas: page.coursepage.teachlang] [Översättning saknas: general.acronyms.en]
  • [Översättning saknas: page.coursepage.applcode] 35111
  • [Översättning saknas: page.coursepage.blockschedule]
  • [Översättning saknas: page.coursepage.erasmus]Ja

[Översättning saknas: page.coursepage.modules]

0118 Tentamen 5 hp
[Översättning saknas: page.coursepage.grading]: TH		5 hp0 hp0 hp0 hp0 hp0 hp
  • 31 Okt 2024 fm J
  • 07 Jan 2025 fm J
  • 22 Aug 2025 em J
0218 Laboration 2,5 hp
[Översättning saknas: page.coursepage.grading]: UG		2,5 hp0 hp0 hp0 hp0 hp0 hp

[Översättning saknas: page.coursepage.inprogrammes]

[Översättning saknas: page.coursepage.examinator]

[Översättning saknas: page.coursepage.tocoursepage] ([Översättning saknas: general.aria.newtab])

[Översättning saknas: page.coursepage.genentryreq]

Grundläggande behörighet för avancerad nivå
Sökande med en programregistrering på ett program där kursen ingår i programplanen undantas från ovan krav.

[Översättning saknas: page.coursepage.specentryreq]

Engelska 6
Sökande med en programregistrering på ett program där kursen ingår i programplanen undantas från ovan krav.

[Översättning saknas: page.coursepage.prerequisites]

Grundläggande programmering (Python används i kursen).

[Översättning saknas: page.coursepage.purpose]

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.

[Översättning saknas: page.coursepage.goal]

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.

[Översättning saknas: page.coursepage.content]

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*).

[Översättning saknas: page.coursepage.organization]

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.

[Översättning saknas: page.coursepage.literature]

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

[Översättning saknas: page.coursepage.examination]

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

[Översättning saknas: page.coursepage.footnoteexamination]