Métodos de Apoio à Decisão

Código:

CC330

Sigla:

CC330

Áreas Científicas
Classificação	Área Científica
OFICIAL	Ciência de Computadores

Ocorrência: 2013/2014 - 2S

Ativa?	Sim
Página Web:	http://www.dcc.fc.up.pt/~jpp/mad
Unidade Responsável:	Departamento de Ciência de Computadores
Curso/CE Responsável:	Licenciatura em Geologia

Ciclos de Estudo/Cursos

Sigla	Nº de Estudantes	Plano de Estudos	Anos Curriculares	Créditos UCN	Créditos ECTS	Horas de Contacto	Horas Totais
L:AST	0	Plano de Estudos a partir de 2008	3	-	5	-
L:B	0	Plano de estudos a partir de 2008	3	-	5	-
L:CC	33	Plano de estudos de 2008 até 2013/14	2	-	5	-
			3
L:F	0	Plano de estudos a partir de 2008	3	-	5	-
L:G	1	P.E - estudantes com 1ª matricula anterior a 09/10	3	-	5	-
		P.E - estudantes com 1ª matricula em 09/10	3	-	5	-
L:M	0	Plano de estudos a partir de 2009	3	-	5	-
L:Q	0	Plano de estudos Oficial	3	-	5	-
MI:ERS	9	Plano de Estudos a partir de 2007	3	-	5	-

Língua de trabalho

Português

Objetivos

Fornecer experiência na formulação e análise crítica de modelos e métodos de resolução para problemas de decisão e otimização interdisciplinares. Desenvolver aptidões para avaliar a complexidade computacional de problemas e escolher apropriadamente algoritmos, linguagens e bibliotecas de programas. Familiarização com técnicas de programação por restrições e de Investigação Operacional.

Resultados de aprendizagem e competências

Domínio das técnicas principais de otimização e simulação.

Modo de trabalho

Presencial

Programa

Formulação de modelos matemáticos para problemas de decisão de diversos domínios (produção, afectação, transporte, escalonamento, fluxo,...). Introdução à Programação linear, inteira e mista. Otimização em grafos e redes: problemas de emparelhamento, fluxo e escalonamento. Otimização discreta. Métodos e técnicas de redução do espaço de procura: programação dinâmica, propagação de restrições, consistência local, procura com retrocesso, ramificação-limitação (branch-and-bound), planos de corte, análise e corte de simetrias, reformulação de modelos, algoritmos de aproximação (estratégias ávidas) e pesquisa local.
Introdução ao paradigma de Programação (Lógica) por Restrições (domínios finitos).
Breve introdução aos modelos probabilísticos: modelos markovianos de filas de espera.

Bibliografia Obrigatória

000002470. ISBN: 978-0-07-113989-2 (F. Hillier, G. Lieberman. Introduction to Operations Research. McGraw-Hill)
000002720. ISBN: 9780471283669 ( L.Wolsey, Integer Programming )
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 (disponível on-line em http://www.anclp.pl/)

Bibliografia Complementar

000080915. ISBN: 978-1-55860-890-0 (R. Dechter. Constraint Processing. Morgan Kaufmann)
000002200. ISBN: 978-0-262-13341-8 (K. Marriott, P. Stuckey. Programming with Constraints, MIT Press)
000074199. ISBN: 9780262032933 hbk (T. H. Cormen, C. E. Leiserson, R. L. Rivest, C.Stein. Introduction to Algorithms, MIT Press)
000089055. ISBN: 0-444-52726-5 (Handbook of constraint programming / edited by Francesca Rossi, Peter van Beek, Toby Walsh)

Observações Bibliográficas

Referências complementares:

- documentação do sistema ECLiPSe (CLP) disponível em http://www.eclipseclp.org/.

- A. P. Tomás. Métodos de Apoio à Decisão. DCC-FCUP, 2003.

Métodos de ensino e atividades de aprendizagem

Aulas teóricas: exposição teórica com discussão de casos de estudo.

Aulas práticas: resolução de problemas de aplicação dos modelos e métodos lecionados; acompanhamento do projecto prático.

Desenvolvimento de projecto em grupo.

Apresentação oral e escrita dos projectos pelos estudantes.

Avaliação da aprendizagem.

Software

GLPK: GNU Linear Programming Kit
The ECLiPSe Constraint Programming System (http://www.eclipseclp.org/)

Tipo de avaliação

Avaliação distribuída com exame final

Componentes de Avaliação

Designação	Peso (%)
Defesa pública de dissertação, de relatório de projeto ou estágio, ou de tese	25,00
Exame	75,00
Total:	100,00

Componentes de Ocupação

Designação	Tempo (Horas)
Elaboração de relatório/dissertação/tese	25,00
Estudo autónomo	50,00
Frequência das aulas	50,00
Total:	125,00

Obtenção de frequência

Perde a frequência o estudante que não estiver presente a pelo menos 75% das aulas práticas previstas.

Fórmula de cálculo da classificação final

Projeto prático: 25%.
Exame final (sem consulta): 75%.
Nota mínima no exame final: 9.5 em 20.

Avaliação especial (TE, DA, ...)

Idêntica à dos restantes estudantes.

Melhoria de classificação

Exame final. A classificação do projecto prático não poderá ser melhorada.