Institutionen för informationsteknologi

Optimering

Arenan för optimering jobbar för att ta vetenskapen om att göra bättre till verkliga applikationer.

Aktuellt

  • Ghafour Ahani ger ett seminarium och berättar sin forskning 23 November, 13.00-14.00, i ITC 1245. Titeln på engelska: Cost-Optimal Caching for D2D Networks with Presence of User Mobility.

Tidigare event

  • Lei You gav sitt halvtidsseminarium inom sin forskarutbildning 8 November, 10.15-11.15, i ITC 1311. Titeln på engelska: Modeling and Solving Some Resource Optimization Problems in 4G and 5G networks.
  • The NordConsNet Workshop 2017 The NordConsNet Workshop 2017 är en samling för The Nordic Network for researchers and practitioners of Constraint programming och hölls måndagen den 22 maj 2017 vid Uppsala Universitet. Klicka här för mer information (på engelska).

Om optimering

Optimeringslära består av teorier, modeller och metoder för att formulera och lösa optimeringsproblem som uppstår i ett brett spektrum av applikationer.

Optimeringsarenan vid institutionen för informationsteknologi fungerar som en plattform för att göra det möjligt för forskare att samarbeta och nätverka med varandra. Syftet med arenan är flerfaldigt:

  • att stärka forskningen genom att föra samman kunskaper inom optimering och olika tillämpningsområden.
  • att identifiera optimeringsproblem av praktiska relevans och utveckla problemlösningar för dem.
  • att generera synergieffekter och mervärde inom forskning där optimering är en viktig komponent.

Pågående forskning

Avdelningen för datalogi

  • Modeller och metoder för kapacitetsoptimering för informations- och kommunikationsteknik och nätverk.
  • Storskalig optimering för transportsystem och logistik, biologi, medicin och hälsovård.
  • Förbättrad slutledningsförmåga för att förutse bivillkor för heltalstidsserier, samt beslutsvariabler av typen sträng.
  • Högnivåspråk för att ange lokal sökningsheuristiker som anteckningar till deklarativa villkorsbaserade modeller, och utvidgning av vår black-box lokalsökning till MiniZinc för att stödja sökningsanteckningar, strängvariabler och strängbivillkor.
  • SAT/SMT-teknik för analys, syntes och reparation av program eller modeller. Detta inkluderar utvecklingen av nya ’solvers’ inom området, i synnerhet för datatyper som ’floats’, bit-vektorer och strängar, samt för tillägg som interpolation och ’fixed-point solving’

Avdelningen för datorteknik

  • Optimeringsproblem inom avkänning och kommunikation i Sakernas internet (IoT), inklusive incitamentstilldelning i mobil crowdsourcing, samordning av stationära och mobila sensorer i avkänning och kommunikation, etc.
  • Optimering för "smarta staden"-applikationer och stadsplanering.

Avdelningen för beräkningsvetenskap

  • Parameteruppskattning och sannolikhetmaximering i Bayesisk slutledning med (ordinär eller partiell) differential ekvationsmodellering. Modellerna kräver förenkling för att kunna ingå i en optimeringsslinga för att lösa iterativa ekvationer.
  • Form- och topologioptimering med partiella differentialekvationer (PDE) som bivillkor och PDE-relaterade optimeringsproblem, generellt med många kontrollvariabler (med tillämpningar inom geofysik).

Avdelningen för systemteknik

  • Skatta parametrar i statiska samt dynamiska modeller, både för linjära modeller som resulterar i konvexa problem, och icke-linjära sådana som leder till icke-konvexa problem där det krävs mer intelligens i lösningsalgoritmen.
  • Formulera verkliga problem som optimeringsproblem som kan lösas med rimlig tidsåtgång och utveckla effektiva problemberoende minimeringsalgoritmer.
  • Tillämpningsområden är bland annat maskininlärning, systemidentifiering, reglerteknik, Markovkedje- och sekventiell Monte Carlo, slutledning och kontroll i nätverk, målspårning, filterdesign, array-signalbehandling, spektralanalys, etc.

Avdelningen för visuell information och interaktion

  • TBA

Kurser i Optimering

Algoritmer och datastrukturer III (1DL481, 5 hp) ges varje vårtermin. Kursen inkluderar bland annat introduktionsmaterial om kombinatorisk optimering, "mixed integer linear programming (MIP)", "stochastic local search (SLS)", "Boolean satisfaction (SAT)", och "SAT modulo theories (SMT)".

Kombinatorisk optimering med villkorsprogrammering (1DL441, 10 hp) ges varje hösttermin. Kursen ger en detaljförklaring av algoritmerna bakom lösare av tekniken villkorsprogrammering (constraintprogramming, CP).

Modellering för kombinatorisk optimering (1DL449, 5 hp) ges varje vårtermin. Kursen tar upp deklarativ villkorsmodellering, med experiment på lösare av ett brett spektrum av kombinatoriska optimeringsteknik: CP, MIP, SAT, SMT, SLS, och hybrider.

Optimeringsmetoder (1TD184, 5 hp) ges varje hösttermin. Kursen ger exempel på optimeringsproblem för operationsanalys och för tekniska, naturvetenskapliga och finansiella tillämpningar.

Kontakta oss

Optimeringsarenan är en del av Institutionen för informationsteknologi som är belägen på Informationsteknologiskt Centrum (ITC) i Uppsala, Sverige.

Arenakoordinator
Di Yuan (Avdelningen för datalogi)
Kontaktpersoner
Marcus Björk (Avdelningen för systemteknik)
Pierre Flener (Avdelningen för datalogi)
Per Lötstedt (Avdelningen för beräkningsvetenskap)
Ken Mattsson (Avdelningen för beräkningsvetenskap)
Edith Ngai (Avdelningen för datorteknik)
Personal
Seniora forskare
Doktorander

Affilieringar

  • Optimeringsarenan är medlem i SOAF, The Swedish Operations Research Association.
  • En del av arenans forskare är medlemmar i NordConsNet, The Nordic Network for researchers and practitioners of Constraint programming, en grupp inom SAIS, The Swedish Artificial Intelligence Society.
  • Många är även medlemmar i CIM, The Centre for Interdisciplinary Mathematics vid Uppsala Universitet.

Kontaktinformation för institutionen

Uppdaterad  2017-11-18 15:43:24 av Pierre Flener.