Catálogo - Pós-Graduação - ITA
Catálogo - Pós-Graduação - ITA
Catálogo - Pós-Graduação - ITA
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