Métodos de Apoio à Decisão
Investigação Operacional I
e
Métodos Quantitativos e Restrições


Objectivos

Familiarização com técnicas de Investigação Operacional e Programação por Restrições e sua aplicação na resolução de problemas de decisão. Obtenção de experiência na formulação de modelos para problemas de decisão (determinísticos e estocásticos).


Docentes: Ana Paula Tomás


Disciplina do 3o/4o Ano - 1o Sem da  Licenciatura em Ciência dos Computadores  e do 4o Ano - 1o Sem da Licenciatura em Engenharia de Redes e Sistemas Informáticos da Faculdade de Ciências da Universidade do Porto. Funciona ainda para o Mestrado em Informática .

Escolaridade

3 horas teóricas e 1.5 hora prática por semana.


Programa

Formulação de modelos matemáticos para problemas de decisão. Problemas de Programação Linear: método simplex; problemas de transporte e de afectação. Problemas em redes: caminhos mínimo e máximo, fluxo máximo, planeamento de tarefas (métodos PERT/CPM). Problemas de Programação Inteira e de Optimização Combinatória. Métodos para redução do espaço de procura: programação dinâmica, propagação de consistência local, "branch-and-bound" (ramificar-limitar), introdução de novas restrições (cortes), detecção e eliminação de simetria, reformulação de modelos, algoritmos aproximados (estratégias greedy) e métodos pesquisa local.
Introdução às cadeias de Markov, fenómenos de espera, análise de stocks e substituição de equipamento.
Linguagens de programação (lógica) por restrições e sua aplicação na resolução de problemas de decisão.


Avaliação

Avaliação contínua (30%) abrangendo:

  1. Resolução de três conjuntos de exercícios
  2. Realização dum Trabalho Prático em grupo (com excepção de alunos trabalhadores-estudantes que não optaram por avaliação contínua e de mestrado).
  3. (0-20%) Valorização da frequência das aulas teóricas.
Exame Final (70%): Sem consulta. Nota mínima de 9.5 valores em 20. Incluirá exercícios de programação (com particular enfâse em CLP, mas não excluindo a possibilidade de escrita de excertos de programas que implementem métodos dados na disciplina para resolução de problemas). À semelhança dos anos anteriores, terá também exercícios sobre formulação de modelos e resolução de pequenos problemas por aplicação dos métodos dados.

Exame Época Normal (uma resolução )

Exame Época de Recurso (uma resolução )

Frequência: Perde a frequência o aluno que faltar a mais de um quarto das aulas práticas previstas (Art. 101, Estatutos FCUP).

Alunos com Estatuto de Trabalhador-Estudante: podem ser dispensados da componente de avaliação contínua, mas devem realizar individualmente o Trabalho Prático, o qual contribuirá para a nota final com peso de 25%.


Aulas


Apontamentos

Acesso limitado aos alunos da disciplina. Contem "Acetatos de apoio às aulas teóricas" e "Sebenta de anos anteriores"

Bibliografia e Documentação de Software


Exames de anos anteriores

2005/20062004/20052002/20032001/2002Anteriores
Época Normal ( resolução )
Época Recurso
Época Normal
Época Recurso
Época Especial (Concl. Lic.)
Teste I
Teste II
Exame e Resolução
Exame Recurso
Teste 29102001
Teste 14122001
Exame 01/2002
Exame Recurso 02/2002
Exame Época Especial 09/2002
10/2001
02/2001 (resolução)
01/2001 (resolução)
12/2000 (resolução)
01/2000 e 02/2000 (resolução)
11/2000 (resolução)
02/1999