Métodos de Apoio à Decisão

Código:

CC3003

Sigla:

CC3003

Nível:

300

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

Ocorrência: 2024/2025 - 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 Ciência de Computadores

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:B	0	Plano de Estudos Oficial	3	-	6	48	162
L:CC	69	Plano estudos a partir do ano letivo 2021/22	3	-	6	48	162
L:F	1	Plano de Estudos Oficial	2	-	6	48	162
			3
L:G	0	Plano estudos a partir do ano letivo 2017/18	2	-	6	48	162
			3
L:IACD	0	Plano Oficial a partir do ano letivo 2021/22	3	-	6	48	162
L:M	4	Plano de Estudos Oficial	2	-	6	48	162
			3
L:Q	0	Plano estudos a partir do ano letivo 2016/17	3	-	6	48	162

Língua de trabalho

Português

Objetivos

Pretende-se que os alunos:
1. Se familiarizem com os pricipais problemas de decisão e optimização.
2. Aprendam a formalizar modelos de optimização em programação matemática.
3. Dominem alguns métodos utilizados para a sua resolução.
4. Se familiarizem com linguagens e bibliotecas existentes para resolução de problemas de decisão.
5. Desenvolvam aptidões para avaliar a complexidade computacional de problemas.

Resultados de aprendizagem e competências

Resultados:
1. Saber como formalizar de modo preciso situações práticas de decisão.
2. Conhecimento aplicado de programação matemática e da utilização de software disponível para resolver problemas de otimização.
3. Saber como implementar estes modelos.
4. Saber como utilizar simulação em problemas de decisão.

Modo de trabalho

Presencial

Programa

1. Introdução à investigação operacional.
2. Programação matemática: formulação e classificação de modelos.
3. Programação linear. Dualidade.
4. Otimização em grafos e redes.
5. Planeamento de projetos.
6. Otimização discreta.
7. Programação por restrições.
8. Breve introdução à programação não linear.
9. Breve introdução aos modelos probabilísticos.
10. Simulação.

Bibliografia Obrigatória

Hillier Frederick S.; Introduction to operations research. ISBN: 0-07-246121-7 (F. Hillier, G. Lieberman. Introduction to Operations Research. McGraw-Hill)

Bibliografia Complementar

Winston Wayne L.; Operations research. ISBN: 9780534423629 (Operations research : applications and algorithms / Wayne L. Winston ; with cases by Jeffrey B. Goldberg)
Robert Fourer; AMPL. ISBN: 9780534388096
Cormen Thomas H. 070; Introduction to algorithms. ISBN: 978-0-262-03293-3 (Introduction to algorithms / Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Stein)

Observações Bibliográficas

Documentação de software:

GLPK documentation (http://www.gnu.org/software/glpk/glpk.html)
AMPL documentation (http://www.ampl.com)
SCIP documentation (http://scip.zib.de)
Constraint programming, Bockmayr and Hooker (http://web.tepper.cmu.edu/jnh/cp-hb.pdf)
GECODE http://www.gecode.org/
ECLIPSE http://www.eclipseclp.org/

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, acompanhamento de trabalhos práticos.
- Testes (quizzes) dados nas aulas teóricas e/ou práticas para auto-avaliação (com correção automática).

Software

GLPK, AMPL, SCIP, GECODE, ECLIPSE (clp)

Palavras Chave

Ciências Físicas > Matemática > Matemática aplicada > Investigação operacional

Tipo de avaliação

Avaliação por exame final

Componentes de Avaliação

Designação	Peso (%)
Exame	100,00
Total:	100,00

Componentes de Ocupação

Designação	Tempo (Horas)
Estudo autónomo	114,00
Frequência das aulas	48,00
Total:	162,00

Obtenção de frequência

Frequência obrigatória às aulas práticas (conforme o regulamento da Universidade do Porto).

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

Exame final: 100%

Provas e trabalhos especiais

Poderão opcionalmente ser realizados trabalhos práticos, a critério do aluno; estes substituirão parte da avaliação do exame (ver Notas no final).

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

Idêntica à dos restantes alunos.

Melhoria de classificação

Por exame final.

Observações

O exame final incluí uma parte de desenvolvimento, a resolver em computador.  Em alternativa a essa parte, os alunos poderão resolver questões da mesma índole em aulas práticas a isso dedicadas.

Elementos do júri: João Pedro Pedroso, José Paulo Leal