29.05.2014 Views

Catálogo - Pós-Graduação - ITA

Catálogo - Pós-Graduação - ITA

Catálogo - Pós-Graduação - ITA

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

CC-270/2007 – Fundamentos de Comando e Controle<br />

Requisito recomendado: não há. Requisito exigido: não há. Horas semanais:<br />

3-0-6. Dimensão humana de C2: Evolução histórica, aspectos doutrinários,<br />

legislação de C2 no Brasil, características e funções de C2, relações de<br />

comando, consciência situacional, liderança e níveis de autoridade. Dimensão<br />

metodológica de C2: centros de gravidade, metodologias de planejamento,<br />

Arquiteturas e modelagem de sistemas de C2, ciclo de Boyd, ciclo de Lawson,<br />

equações de Lanchester, fusão de dados, teoria de filas, modelos estocásticos<br />

de atrito, árvores decisórias, decisões com múltiplos atributos, redes de Bayes,<br />

lógica de primeira ordem ontologias. Dimensão tecnológica de C2: ciclo de vida<br />

de sistemas C2, guerra centrada em rede, níveis de interoperabilidade,<br />

segurança da informação, guerra cibernética e sistemas C2 brasileiros.<br />

Bibliografia: VAN CREVELD, M. L., Command in War. Cambridge, MA, USA:<br />

Harvard University Press, 1987; JAISWAL, N.K., Military Operations Research:<br />

Quantitative Decision Making. NORWELL, M.A., USA: Kluwer Academic<br />

Publishers, 1997; KOSSIOKOFF, A.; & SWEET, W. S., Systems Engineering:<br />

Principles and Practice. Hoboken, NJ, USA: John Wiley and Sons, Inc., 2003.<br />

CC-282/2007 - Modelos de Computação Concorrente<br />

Requisito recomendado: não há. Requisito exigido: consentimento do<br />

professor. Horas semanais: 3-0-6. Linguagem CCS (A Calculus of<br />

Communicating Systems): semântica operacional, raciocínio equacional,<br />

bisimulação, congruência, lógica de Hennessy-Milner. Pi-calculus. Linguagem<br />

CSP (Communicating Sequential Processes): semântica operacional, modelo<br />

de falhas. Concorrência verdadeira: redes de Petri, estruturas de evento.<br />

Bibliografia: MILNER, R., Communication and concurrency. New York:<br />

Prentice Hall, 1989; HOARE, C. A. R., Communicating sequential processes.<br />

New York: Prentice Hall, 1985; PETERSON, J. L., Petri net theory and the<br />

modeling of systems. New York: Prentice Hall, 1981.<br />

CC-293/2007 - Tópicos em Computação Gráfica<br />

Requisito recomendado: CE-120. Requisito exigido: CES-10. Horas semanais:<br />

3-1-7. Tópicos de iluminação: Componentes difusa e especular. Reflexão,<br />

refração, absorção, transparência, ray tracing e radiosidade. Dispositivos<br />

gráficos. Primitivas gráficas: ponto, reta, polígono. Transformações geométricas<br />

em 2-D e 3-D. Coordenadas homogêneas. Preenchimento de polígonos.<br />

Segmentos. Janelamento e recorte. Determinação de superfícies ocultas.<br />

Sombra. Aliasing e antialiasing. Compressão de imagens. Técnicas de iteração.<br />

Bibliografia: FOLEY, J. D. et al., Computer graphics principles and practices.<br />

2. ed. Reading: Addison-Wesley Publishing Company, 1995; HARRINGTON,<br />

S., Computer graphics: a programming approach. 2. ed. New York: McGraw-<br />

Hill, 1987; NEWMAN, W. M.; SPROULL, R. F., Principles of interactive<br />

computer graphics. 2. ed. Auckland: McGraw-Hill, 1984.<br />

115

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!