Models and Methods for Decision Support

Code:

CC448

Acronym:

CC448

Keywords
Classification	Keyword
OFICIAL	Computer Science

Instance: 2012/2013 - 2S

Active?	Yes
Responsible unit:	Department of Computer Science
Course/CS Responsible:	Geographic Information Systems

Cycles of Study/Courses

Acronym	No. of Students	Study Plan	Curricular Years	Credits UCN	Credits ECTS	Contact hours	Total Time
M:EG	2	PE do Mestrado em Engenharia Geográfica	1	-	7,5	70	202,5
M:ENM	3	PE do Mestrado em Engenharia Matemática	1	-	7,5	70	202,5
M:MAO	0	PE Mestrado em MAOPI	1	-	7,5	70	202,5
M:SIG	0	PE do Mestrado em Sistemas de Informação Geográfic	1	-	7,5	70	202,5

Teaching language

Portuguese

Objectives

Students should:
- get familiar with techniques of Operations Research and Constraint Programming
and their application to modeling and solving (deterministic and stochastic) decision and optimization problems.
- develop skills for understanding computational complexity of concrete problems, and choosing algorithms, programming languages and libraries/APIs for solving them.

Program

Formulation of formal models for decision problems.
Linear Programming: the Simplex method; transportation and assignment problems. Network problems: shortest and longest paths, spanning trees, max flow, project management (Critical Path Method).
Introduction to Integer Programming and Combinatorial Optimization.
Methods and techniques for reducing the search space: dynamic programming, constraint propagation, local consistency enforcement, branch-and-bound, cutting planes, symmetry breaking, model reformulation, approximation algorithms (greedy strategies) and local search. Constraint (Logic) Programming languages and systems.
Introduction Markov Chains and queue theory.

Mandatory literature

000002470. ISBN: 978-0-07-113989-2
000002720. ISBN: 9780471283669
A. Niederlinski; A Quick and Gentle Guide to Constraint Logic Programming via ECLiPSe, Economic University in Katowice, Poland, 2011. ISBN: 978-83-62652-08-2

Complementary Bibliography

000089055. ISBN: 0-444-52726-5
000080915. ISBN: 978-1-55860-890-0
000074199. ISBN: 9780262032933 hbk
000002200. ISBN: 978-0-262-13341-8

Teaching methods and learning activities

Lectures: Exposition of the program topics and discussion of examples using a computer connected to a multimedia projector.

Labs: problem solving and case studies with experimental evaluation.

Software

The ECLiPSe Constraint Programming System (http://www.eclipseclp.org/)

Evaluation Type

Distributed evaluation with final exam

Eligibility for exams

Required:
* Not to exceed the absence limit (25% of total number of estimated lab classes)

Calculation formula of final grade

Written examination (70%, Closed books, students must have at least 9.5 at 20 to pass the exam).
Project (20%).
Small survey (10%)

Special assessment (TE, DA, ...)

The same evaluation criteria for all students.

Classification improvement

The classification of the Project and the Survey cannot be improved.