Informações
Gerais
Notícias
Plano
da Disciplina
Agenda
Material
de Apoio
Avaliação
Bibliografia
Código:
Carga Horária:
60 h
Créditos:
4
Horário:
2as e 4as, LM
OBJETIVOS:
O
cumprimento da disciplina busca dar ao aluno, ao final do semestre,
condições de:
Escolher abordagens de avaliação de desempenho para sistemas computacionais;
Compreender e utilizar técnicas e ambientes de simulação;
Conhecer e utilizar os principais formalismos para avaliação quantitativa de sistemas através de métodos analíticos.
EMENTA:
Métodos
de avaliação quantitativa de desempenho: monitoração, simulação,
e métodos analíticos.
Modelagem estocástica.
Modelos
markovianos.
Formalismos de modelagem.
Aplicações
práticas.
Análise de resultados.
Agenda
AVISOS:
Prezados Alunos de ADS, 2010/I:
neste semestre daremos início ao uso do Moodle.
Tanto esta página como o sistema Moodle serão utilizados.
Links e dicas
Aula 1: veja o capítulo 1 da apostila (link abaixo)
Aula 2: veja algumas Distribuições de probabilidade, como são obtidas e seus usos (desmoj/core/dist/)
Aula 3: veja no ambienteDeSimulacao DesmoJ como diferentes distribuições de probabilidade
são construídas a partir da distribuição uniforme.
Aula 4: exercite o processo de simulação baseada em eventos discretos, cfe. visto em aula, criando modelos para
diferentes redes de filas
Aula 5: exercício – criar modelo de simulação para rede de filas de espera
Visite também a página do Prof. Paulo Fernandes com material sobre a disciplina.
Aula 6: jornada acadêmica
Aula 8: apresentação sobre simulação em outros (resultados.pdf)
Aulas 9 e 10: processo de nascimento e morte -> fazer todos exercícios deste capítulo da apostila
Aulas 11, 12 e 13: Cadeias de Markov ...
Aula 14: revisão, vide enunciado dos exercícios resolvidos em aula aqui
Aula 18 a 21: redes de filas. Resolver todos os exercícios da apostila.
Trabalhos
Favor vide na agenda (link acima) as datas de
enunciado e entrega dos trabalhos.
Material de Apoio
Apostila
Ambiente
de Simulação
Outros materiais utilizados em aula
Software
1.
SOLITER – Solução Iterativa de Sistemas
Lineares.
2.
MQNA – Markovian Queueing Networks Analyser.
3.
PEPS – Performance Evaluation of Parallel Systems.
4.
SMART – Simulation and Markovian Analyser for Reliability and
Timing.
Fórmula:
G1 = P1 + P2 + T
3
onde P1 e P2 são provas e T é a média dos trabalhos durante o
semestre
Final = G1 +
G2 >=5 -> aprovado
2
·
BÁSICA:
1.
Ajmone-Marsan, M; Balbo, G.; Conte, G.
Performance models of multiprocessor systems. Cambridge, MIT, 1990.
2.
Bolch, G.; Greiner, S.; de Meer, H.;
Trivedi, K. Queueing Networks and Markov chains: Modeling and
Performance Evaluation with Computer Science Applications. John Wiley
& Sons, 1998.
·
COMPLEMENTAR:
1.
Fernandes, P.; Plateau, B.; Stewart, W.J. Efficient Descriptor-Vecotr
Multiplications in Stochastic Automata Networks, Journal of the ACM,
v.45, n.3, May, 1998.
2.
Gunther, N. The Pratical Performance Analyst, Prentice-Hall, 1998.
3.
Kleinrock, L. Queueing Systems (Vol. 1 & 2) John Wiley &
Sons, 1975.
4.
Lazowska, E. et alli.
Quantitative Systems Performance. Prentice-Hall, l984.
5.
Menascé, D.; Almeida, V. Capacity Planning for Web Performance:
metrics, models and methods. Prentice-Hall, 1998.
6.
Souza e Silva, E.; Muntz, R. Métodos
Computacionais de Solução de Cadeias de Markov:Aplicações a
Sistemas de Computação e Comunicação, VIII Escola de Computação,
Gramado, 1992.
7.
Stewart, W.J. Introduction to the Numerical Solution of Markov
chains. Princeton Press, 1994.
8.
Trivedi, K. Probability, Statistics with
Reliability, Queuing, and Computer Science Applications.
Prentice-Hall, 1982.
