MINISTRIO DA DEFESA

EXRCITO BRASILEIRO
DEPARTAMENTO DE CINCIA E TECNOLOGIA
CENTRO INTEGRADO DE TELEMTICA DO EXRCITO
52 CENTRO DE TELEMTICA

DESCRITIVO DO CURSO DE PS-GRADUAO STRICTO SENSU

Referente NCE N (deixar este campo sem preenchimento neste primeiro envio)
1. INFORMAES ACADMICAS
a. Cidade / UF: Fortaleza/CE
b. Estabelecimento de Ensino: Universidade Federal do Cear;
c. Departamento/Curso: Pr-Reitoria de Pesquisa e Ps-Graduao Curso de Mestrado em
Cincia da Computao;
d. rea de Concentrao: Cincia da Computao;
e. Linha de Pesquisa: Sistemas de Informao Redes de Computadores;
f. Histrico da Universidade/Departamento/Curso: O Mestrado em Cincia da Computao do
Departamento de Computao da UFC teve o incio de suas atividades no ano de 1995. Em 1997, o
curso recebeu a aprovao da CAPES, e em 2001, o Curso de Mestrado foi consolidado com a nota
4. Em 2004, o Curso de Doutorado em Cincia da Computao foi credenciado junto CAPES,
mantendo a nota 4, e iniciou suas atividades no ano de 2005. Em 2013, o Mestrado e o Doutorado
em Cincia da Computao (MDCC) tiveram sua excelncia acadmica reconhecida em nvel
nacional e internacional, atingindo o conceito 5 na ltima avaliao trienal da CAPES.
2. PLANEJAMENTO DO CURSO
a. Objetivos: Capacitar militar do 52 CT com a finalidade de melhorar a Gerncia das Redes
Corporativas sob responsabilidade da OM, enfatizando a segurana da informao;
b. Conhecimentos a serem obtidos: O estado da arte na rea de Gerncia de Redes, com nfase
em segurana, alm da integrao com o setor acadmico;
c. Tema de Pesquisa: Aplicao de ferramentas e boas prticas de gerncia e planejamento de
redes, na infraestrutura das redes sob responsabilidade do 52 Centro de Telemtica.
d. Proposta de Trabalho:
metodologia, natureza da pesquisa (terica, experimental, numrica, etc), descrio do problema
de engenharia a ser resolvido, relao com as atividades desenvolvidas no Exrcito (DEC, DCT,
COLOG, etc);
e. Resultados esperados da Dissertao: Proporcionar o correto uso das boas prticas de

Fl 2/7 do Descritivo do Curso de Mestrado em Cincia da Computao, UFC, Fortaleza/CE

gerenciamento e planejamento de redes dentro da esfera de atribuio do 52 Centro de Telemtica.
f. Cronograma preliminar (A, A+1, A+2):
g. Disciplinas a serem realizadas (ementas e proposta preliminar):
Disciplina

Ementa

PROBABILIDADE Conceitos bsicos de Probabilidade. Probabilidades e Esperanas

E
PROCESSOS Condicionais. Leis Fraca e Forte dos Grandes Nmeros. Convergncia de
ESTOCSTICOS
Distribuies de Probabilidade e o Teorema Central do Limite. Processos
Estocsticos Estacionrios e seus Teoremas Ergdicos. Movimento
Browniano. Cadeias de Markov. Campos Aleatrios de Markov em Grafos.
CONSTRUO E Introduo e Anlise de Algoritmos. Introduo s classes de complexidade
ANLISE
DE algortmicas. Tcnicas de Projeto de Algoritmos. Aplicaes de Projetos de
ALGORITMO
Algoritmos.
TPICOS
ESPECIAIS
LGICA I

Disciplina de contedo varivel sobre tpicos de interesse da pesquisa em

EM lgicas. Um dos tpicos abordados ser Complexidade Descritiva
(Definibilidade, Model Checking e Complexidade, Lgicas de Ponto Fixo,
Lgicas com Contagem, Lgicas com Operadores de Fecho Transitivos,
Outras lgicas que estendem a lgica clssica, Capturando Classes de
Complexidade por meio destas Lgicas) e Teoria dos Modelos Finitos
(tcnicas baseadas em Jogos e Estratgias Vencedoras, tcnicas para provar
a no expressividade de conceitos, Lei 01, Complexidade Descritiva,
Lgicas que estendem a Lgica Clssica: Lgicas de Ponto Fixo e de
Linguagem Finitria e Infinitria, Relao entre Teoria dos Modelos Finitos
e Infinitos, Aplicaes Computao).

TPICOS
Disciplina de contedo varivel, abordando o estado da arte em um tpico
ESPECIAIS
EM de Sistemas Distribudos.
REDES
E
SISTEMAS
DISTRIBUDOS
GERENCIAMENTO Introduo. Monitorao. Controle. Gerenciamento OSI: Modelo Gerente x
DE REDES
Agente, reas funcionais, MIB, CMIP/CMIS. Gerenciamento de Internet:
O protocolo SNMPv1 e v2. SNMP x CMIP, MIB I e II, CMOT. Os
protocolos RMON e RMON2. Aspectos de segurana. Gerenciamento de
Redes de Telecomunicaes (Arquitetura TMN): Arquiteturas fsica,
funcional e de informao, Plataformas de distribuio. Integradores:
Arquitetura OSI NM- Forum, CME (Conformance Management Entity).
Gerenciamento de Qualidade de Servio. Estudo de casos: Gateway
SNMP/CMIP, interoperabilidade inter TMNs.
SEGURANA
REDES

EM Segurana fsica e segurana lgica. Noes de tolerncia a falhas: falhas

intencionais, programas daninhos e intruso. Noes de criptografia:
Tcnicas Clssicas e Modernas. Criptografia Chave-Pblica. Autenticao
de Mensagens e Funes Hash. Assinaturas Digitais e Protocolos de
Autenticao. Aplicaes de Autenticao. Segurana em Correio
Eletrnico. Segurana IP. Segurana Web. Firewalls. Intruso eletrnica em

Fl 3/7 do Descritivo do Curso de Mestrado em Cincia da Computao, UFC, Fortaleza/CE

redes: vermes. Programas daninhos em sistemas de pequeno porte: vrus,
cavalos de tria, bombas lgicas etc. Vrus: de computadores, de tipos e
rotinas bsicas, de bootstrap, de arquivos e invisveis. Estudos de casos.
Medidas de proteo contra programas daninhos. Ambientes de
processamento: ativa e passivamente infectados, no-infectados. Mtodos
de remoo de programas daninhos. Anlise de programas anti-vrus.
REDES DE ALTA Evoluo das redes e novos requisitos: LAN, MAN, WAN e RDSI-FL.
VELOCIDADE
Integrao de servios Comunicao de Dados Multimdia. Padronizao.
Modos de transferncia. Tcnicas de comutao em alta velocidade (e.g.,
comutao rpida por circuitos e comutao rpida por pacotes). Estudo de
Caso: Frame-relay e ATM. Redes Locais: Switching Ethernet, Fast Ethernet
e Gigabit Ethernet. MAN e WAN: FDDI, SMDS, DQDB e ATM. Estado da
arte em redes de alta velocidade.
DISSERTAO

Elaborao da Dissertao

h. Provveis orientadores na Universidade (citar at trs): Prof. Dr. Jos Neuman de Souza, Prof.
Dr. Miguel Franklin de Castro, Prof. Dra. Rossana Maria de Castro Andrade;
i. Trabalhos publicados pelo orientador nesta rea. (citar os trs mais importantes):
1) Prof. Dr. Jos Neuman de Souza:
a) STRASSNER, J.; SOUZA, J. N.; Sven van der Meer; DAVI, S.; BARRETT, K.;
RAYMER, D.; SAMUDRALA, S. The Design of a New Policy Model to Support Ontology-Driven
Reasoning for Autonomic Networking. Journal of Network and Systems Management, v. 17, p. 532, 2009;
b) STRASSNER, John; SOUZA, Jos Neuman de; RAYMER, David; SAMUDRALA,
Srini; DAVY, Steven; BARRETT, Keara. The design of a novel context-aware policy model to
support machine-based learning and reasoning. Cluster Computing, v. 12, p. 17-43, 2009; e
c) CARVALHO, Carlos; GOMES, Danielo; AGOULMINE, Nazim; SOUZA, Jos Neuman
de. Improving Prediction Accuracy for WSN Data Reduction by Applying Multivariate SpatioTemporal Correlation. Sensors (Basel), v. 11, p. 10010-10037, 2011.
2) Prof. Dr. Miguel Franklin de Castro:
a) OLIVEIRA, M.; De Castro, M. F.; NASCIMENTO, A.; VASCONCELOS, M. Introduo
Gerncia de Redes ATM. 2 ed. Fortaleza-CE: Ed. CEFET-CE, 1998. v. 1. 230 p;
b) CASTRO, Miguel F.; RIBEIRO, L. B.; OLIVEIRA, C. H. S. An autonomic bio-inspired
algorithm for wireless sensor network self-organization and efficient routing. Journal of Network
and Computer Applications, v. 35, p. 2003-2015, 2012; e
c) PEQUENO, Henrique S. L.; GOMES, George A. M.; ANDRADE, Rossana M. C.;
SOUZA, Jos N.; CASTRO, Miguel F. FrameIDTV: A framework for developing interactive
applications on digital television environments? Journal of Network and Computer Applications, p.
503-511, 2010.
3) Profa. Dra. Rossana Maria de Castro Andrade:
a) CARVALHO, Windson Viana de; ANDRADE, R. M. C. Xmobile: a MB-UID
environment for semi-automatic generation of adaptive applications for mobile services. The
Journal of Systems and Software, v. 81, p. 382-394, 2008;
b) ANDRADE, R. M. C. (Org.); SANTOS, A. L. M. (Org.); DUARTE, C. M. Otto (Org.);
MAZIERO, Carlos Alberto (Org.); BARRETO, Luciano Porto (Org.); GONALVES, Paulo Andr

Fl 4/7 do Descritivo do Curso de Mestrado em Cincia da Computao, UFC, Fortaleza/CE

da Silva (Org.); WANGHAM, M. Silva (Org.); BEZERRA, Edson Kowask (Org.). Anais do X
Simpsio Brasileiro em Segurana de Informao e de Sistemas Computacionais. 1. ed. Fortaleza:
Midia Mix, 2010. v. 1. 539 p; e
c) ANDRADE, R. M. C. (Org.); CELESTINO JNIOR, Joaquim (Org.); MONTEIRO, Jos
Augusto Suruagy (Org.); SOUZA, Jos Neuman de (Org.). Anais do 23 Simpsio Brasileiro de
Redes de Computadores. Fortaleza, Cear, Brasil: Grfica 3 Irmos, 2005. v. 2. 1283 p.
j. Grupos de pesquisa no tema, atuando na Universidade: GREaT Grupo de Redes de
Computadores, Engenharia de Software e Sistemas;
k. Infraestrutura disponvel na Universidade: Laboratrio de Pesquisa (LIA) com cinco salas e
capacidade instalada para 80 mquinas, biblioteca central, bibliotecas setoriais, acesso ao portal de
peridicos da CAPES, cluster da ITAUTEC com 28 ns Xeon (56 processadores), estaes de
trabalho IBM, estaes Silicon Graphics, conectividade: interna - rede do campus a 1 Gbps (fibra
tica) e externa a 10 Gbps;
l. Proposta de supervisor militar (citar at trs) e a respectiva titulao: Maj QEM/Com WEBER
Salmito Campos - MSc, Maj QEM/Comp MARCEL Augustus Barbosa Carvalho - Msc, Cap
QEM/Comp Daniel MOURO Martins - MSc.
m. Requisitos para a concluso do curso (Exames, publicaes, Nr crditos, outras atividades detalhar incluir no cronograma preliminar):
1) Mdia acumulada igual ou superior a 7,0 (sete);
2) Capacidade de leitura em uma lngua estrangeira, mediante aprovao em exame de
proficincia realizado nas Casas de Cultura Estrangeira da Universidade Federal do Cear, ou
equivalente;
3) Aprovao no Exame de Proposta de Dissertao;
4) Obrigatoriedade de apresentao e defesa de Dissertao; e
5) Integralizao dos estudos em disciplinas e atividades expressas em unidades de crditos,
devendo o aluno completar um mnimo de 32 (trinta) crditos, dentre os quais pelo menos 16
(dezesseis) dentre os ofertados pelo programa e 6 (seis) correspondentes s atividades da
Dissertao.
n. Condies de funcionamento do curso (regime de trabalho, periodicidade trimestral ou
semestral, no de perodos, normas de avaliao, etc):
1) Durao mnima de 12 (doze) e mxima de 30 (trinta) meses;
2) A unidade bsica para avaliao da intensidade e durao das disciplinas de ps-graduao
o crdito, que corresponde a 15 (quinze) horas-aula;
3) A hora-aula ter a durao de 50 (cinquenta) minutos, quando se tratar de aula terica, e de,
no mnimo, 120 (centro e vinte) minutos nas atividades prticas;
4) A avaliao do rendimento escolar nos programas de ps-graduao ser feita por disciplina
abrangendo sempre os aspectos de assiduidade e eficincia, ambos eliminatrios por si mesmos;
5) A critrio do professor, a avaliao da eficincia em cada disciplina de ps-graduao far-se por um ou mais dos seguintes meios de aferio: provas, exames, trabalhos, projetos, assim como
efetiva participao nas atividades da disciplina;
6) A avaliao do aluno ser expressa em um resultado final, por meio de notas na escala de 0
(zero) a 10 (dez), com, no mximo, uma casa decimal; e
7) Considerar-se- aprovado, em cada disciplina, o aluno que apresentar frequncia igual ou
superior a 75% (setenta e cinco por cento) das atividades desenvolvidas e nota final igual ou
superior a 5 (cinco).

Fl 5/7 do Descritivo do Curso de Mestrado em Cincia da Computao, UFC, Fortaleza/CE

o. Corpo docente (titulao, linhas de pesquisa, relao com o tema de pesquisa proposto,
disciplinas);
Nome
Ana Teresa
Martins

de

Titulao
Castro Doutora

Arthur de Castro Callado

Doutor

reas de Interesse

Disciplinas

Lgicas Clssicas e No-Clssicas, Introduo Lgica Matemtica,

Teoria da Prova, Teoria dos Modelos, Teoria da Computao, Matemtica
Formalizao do Raciocnio
Discreta, Aspectos Formais da
Computao, Teoria da Prova
Redes de Computadores, Anlise de
Desempenho, Sistemas Embarcados

Carlos Eduardo Fisch de Doutor

Brito

Teoria da Computao

Estruturas de Dados, Fundamentos

da Programao, Algoritmos em
Grafos, Construo e Anlise de
Algoritmos

Cludia Linhares Sales

Doutora

Algoritmos, Teoria dos grafos, Estrutura de Dados, Algoritmos em

Otimizao
combinatria, Grficos, Teoria dos Grafos
Complexidade de algoritmos

Creto Augusto Vidal

Doutor

Computational Solid Mechanics,

Otimizao
Estrutural,
Design
Sensitivity
Analysis,
Realidade
Virtual,
Computao
Grfica,
Animao

Computao Grfica 1 CG1,

Computao Grfica 2 CG2,
Mtodos Numricos, Animao
Computacional

Fernando
Antnio
Carvalho Gomes

de Doutor

Fundamentos
de
Inteligncia Inteligncia Artificial
Artificial,
Viso
Computacional,
Aprendizagem Automtica, Sistemas
Baseados
em
Conhecimento,
Otimizao Combinatria

Francisco
Heron
Carvalho Junior

de Doutor

Aplicaes Computacionais de Alta Linguagem

Performance, Programao Paralela, Autmatos
Linguagens
e
Modelos
de
Coordenadas, Cluster

Joo Paulo Pordeus Gomes

Doutor

de

programao,

Inteligncia Artificial, Aprendizado de Inteligncia Artificial, Aprendizado

mquinas,
Robtica
mvel, Automtico
Prognstico de Falhas

Joaquim Bento Cavalcante Doutor

Neto

Visualizao Cientfica, Modelagem

de Slidos, Triangulao Genrica,
Gerao de Malha, Simulao
Adaptativa, Anlise de Sensibilidade,
Realidade Virtual

Tcnicas
de
Programao,
Geometria Computacional, Mtodos
Numricos, Modelagem de Slidos,
Computao Grfica

Jos Antnio Fernandes de Doutor

Macdo

Banco de Dados, Representao do Sistemas Operacionais I, Linguagem

Conhecimento,
Modelagem de Programao, Banco de Dados
Conceitual de Dados
No Convencionais, Laboratrio de
Programao II

Jos Neuman de Souza

Doutor

Gerncia de Redes, Redes de Alta

Velocidade, Sistemas Distribudos,
programao objeto voltada para o
gerenciamento de redes, programao
de redes no sistema UNIX.

Manoel Bezerra Camplo Doutor

Neto

Otimizao
combinatria,
Programao linear, inteira e de dois
nveis,
Algoritmos
exatos
e
aproximativos, Grafos

lgebra
linear
computacional,
Algoritmos
aproximativos,
Combinatria
polidrica,
Programao inteira, Programao
linear

Fl 6/7 do Descritivo do Curso de Mestrado em Cincia da Computao, UFC, Fortaleza/CE

Nome

Titulao

reas de Interesse

Disciplinas

Miguel Franklin de Castro

Doutor

Redes de Sensores Sem Fio,

Computao
Autonmica,
Comunicao
Autonmica,
Inteligncia Artificial Aplicada a
Redes, Segurana da Informao, TV
Digital Interativa

Redes de Computadores, Tpicos

Avanados
em
Redes
de
Computadores, Fundamentos de
Programao, Programao, Redes
de Alta Velocidade

Ricardo Cordeiro Corra

Doutor

Otimizao Combinatria Paralela,

Problemas de Escalonamento de
Multiprocessadores,
Redes
de
Interconexo,
Algoritmos
de
Comunicao

Rossana Maria de Castro Doutora

Andrade

Sistemas mveis sem fio,

software, Especificao
validao de protocolos,
computadores e Internet,
de Software

Rudini Menezes Sampaio

Teoria
da
Computao
e Construo e Anlise de Algoritmos,
Combinatria, Teoria dos Grafos, Algoritmos Aproximativos, Teoria
Algoritmos
dos Grafos

Doutor

Padres de
formal e
Redes de
Engenharia

p. Regras para admisso.

1) Diploma em cursos de graduao de durao plena e candidatos que tenham sido julgados
aptos na seleo prescrita em cada plano curricular especfico;
2) Aprovao no exame nacional de seleo para a ps-graduao em computao;
3) 2 (duas) cartas de recomendao; e
4) Qualificao em prova de conhecimento.
3. PLANEJAMENTO PS-CURSO
a. OM para classificao do militar (aps concluso do curso): 52 Centro de Telemtica;
b. Cargo a ser ocupado na OM (incluir referenciao Port Nr 101-EME, de 1 AGO 07): Chefe
da Seo de Redes da Diviso de Operao - 15 8207/8230/7150 000 000;
c. Qualificao e Habilitao exigida para o cargo: 15 8207/8230/7150 000 000 e Conhecimento
Avanado em Rede de Computadores.
d. Atividades a serem desenvolvidas na OM com a aplicao dos conhecimentos;
(Projeto previsto ou em execuo e seu enquadramento no PSCT. Atividades a serem
desenvolvidas pelo concludente com aplicao dos conhecimentos adquiridos).
Gerenciar e aplicar fundamentos de redes na manuteno das redes metropolitanas de atribuio
do 52 Centro de Telemtica.
e. Resultados esperados no Perodo de Aplicao do Curso (PAC);
f. Suporte financeiro (previso oramentria necessria para obteno dos resultados no pscurso);
g. suporte laboratorial (infraestrutura existente para a execuo das atividades ps-curso);
h. Equipe de trabalho (efetivo e qualificao - o militar ir juntar-se a equipe de P&D j

Fl 7/7 do Descritivo do Curso de Mestrado em Cincia da Computao, UFC, Fortaleza/CE

existente, se ser formada nova equipe, etc);
Fortaleza-CE, 11 de setembro de 2015.

_______________________________________
CARLOS EDUARDO DA MOTA GES Cel
Chefe do 52 Centro de Telemtica