Optimisation research group

OPTIMISATION

Att fatta bättre beslut

Beskrivning

Att lösa ett optimeringsproblem handlar om att hitta lösningar som uppfyller vissa villkor. Man är ofta intresserad av de bästa lösningarna. Vår grupp fokuserar på diskret optimering, där en lösning kan vara en resursfördelning (t.ex. ett personalschema, med arbetsregler och anställdas preferenser som begränsningar), en packning (t.ex. av containrar), en plan, en uppsättning rutter (t.ex. för fordon inom logistik eller dataflöden i ett kommunikationsnät), ett schema (t.ex. ett skolschema) eller en plan för energianvändning (t.ex. för laddning av elbussar).

Utmaningen är att hitta bra lösningar snabbt. Vår forskning fokuserar på att identifiera nya och effektiva optimeringsmodeller och -metoder, ofta med utgångspunkt i verkliga tillämpningar, vanligtvis via metoder från underområdena matematisk programmering, villkorsprogrammering och lokal sökning.

Forskningsämnen

  • Villkorsprogrammering (constraint programming, CP) är ett AI-förhållningssätt till optimering: modelleringsspråk; högnivåvillkor; högnivåtyper för beslutsvariabler; symmetribrytning
  • Lokalsökning (local search, LS): modelleringsspråk; sökspråk; design av lösare (solvers); autonom sökning
  • Matematisk optimering (mathematical programming, MP): effektiv optimeringsmodellering; linjär programmering (LP) samt heltalsprogrammering (MIP)
  • Tillämpad optimering: optimering av flygrutter och luftrum; resursstyrning i nätverkssystem och mobil telekommunikation; sönderdelning vid sågverk; mjukvarutest, -analys och -verifiering; ruttplanering av fordon för till exempel avfallshantering och vägunderhåll; schemaläggning av batteriladdning av elbussar; osv

Seniora forskare

Evenemang

  • Vi anordnade CPAIOR 2024, the 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research.
  • Vi är grundarna av NordConsNet, the Nordic Network for researchers and practitioners of Constraint programming: om du vill bli informerad om dess årliga workshops, registrera dig på dess e-postlista genom att kontakta Justin Pearson.

Forskningspriser

Mjukvara

Utbildning

  • 1DL442: Kombinatorisk optimering och villkorsprogrammering (10 hp): CP, LS, tillämpningar
  • 1DL451: Modellering för kombinatorisk optimering (5 hp): CP, LS, MP, SAT, SMT, tillämpningar
  • 1DL481: Algoritmer och datastrukturer III (5 hp): LS, MP, SAT, SMT, tillämpningar
  • 1TD184: Optimeringsmetoder (5 hp): MP, tillämpningar

Kontakt

FÖLJ UPPSALA UNIVERSITET PÅ

facebook
instagram
youtube
linkedin