PROGRAMAÇÃO WorCAP 2014

Dia 1 (12/11)
Horários	Sessão
08:30 – 09:30	Cerimônia de Abertura
09:30 – 10:00	Coffee Break
10:00 – 12:00	Palestra: Prof. Adelaide Faljoni Alario (UFABC) Título: Sustentabilidade dos Cursos de Pós-Graduação da Área Interdisciplinar Chair: Elbert Einstein Nehrer Macau
13:30 – 14:00	Poster 1 P1.1. Uma heurística de balanceamento para o problema de alocação de objetos em satélites. Gustavo Alves, Sandra Aparecida Sandri and José Carlos Becceneri P1.2. Proposta de um Framework para Apoio a Sistemas de Monitoramento de Clima Espacial. Bruno Leonor, Reinaldo Rosa and Walter Santos P1.3. Desenvolvimento de Classificadores para Imagens de Sensoriamento Remoto com Emprego de Redes Neurais. Marilyn Menecuccci Ibanez Dos Reis, Adenilson Carvalho, Eduardo Fávero Pacheco Da Luz and Fernando Ramos P1.4. Revisitando o Conceito de Trajetórias de Objetos Móveis no Contexto das Dinâmicas de Mudança de Uso e Cobertura da Terra. Marcio Azeredo, Antônio Miguel Vieira Monteiro, Maria Isabel Sobral Escada, Lúbia Vinhas and Karine Reis Ferreira P1.5. Um módulo de sensoriamento Voluntário para um sistema de monitoramento de Desmatamento. Felipe Correa, Eduardo Luz and Fernando Ramos P1.6. Método q-G modificado. Marluce Scarabello, Aline Soterroni, Roberto Galski and Fernando Ramos P1.7. Uso de Algoritmos de Clustering para Separação de Tipos de Uso e Cobertura da Terra Utilizando Dados de Sensoriamento Remoto. Adeline Marinho Maciel, Lubia Vinhas and Gilberto Câmara
14:00 – 15:40	Palestra: Prof. Alexandre Cabral Mota (UFPE) Título: Aplicando Métodos Formais em Sistemas Aeronáuticos Resumo da Palestra Chair: Valdivino Alexandre de Santiago Júnior
15:40 – 16:00	Coffee Break
16:00 – 17:40	Sessão Técnica 1: 1.1. Uma Metodologia para Aceleração de Programas em R: Estudo de Caso para Análise de Imagens PolSAR. Leonardo Torres, Corina Freitas, Sidnei Sant'Anna and Alejandro Frery 1.2. The q-CG Method Applied to the Non-Convex Quadratic Minimization Problem Dual. Érica Gouvêa, Marluce Scarabello, Aline Soterroni and Fernando Ramos 1.3. MPCA para Determinação de Parâmetros de Dinâmica de Helicóptero: Módulo Látero-Direcional. Ivana Yoshie Sumida, Haroldo Campos Velho, Eduardo Luz, Ronaldo Vieira Cruz and Luiz Carlos Goes 1.4. Optimization of Neural Network by Multiple Particle Collision Algorithm. Juliana Anochi, Haroldo Campos Velho and Elcio Shiguemori 1.5. Paralelização do Termo de Reatividade Química do Modelo Ambiental CCATT-BRAMS Utilizando um Solver Baseado em Estimação Linear Ótima. Alex Fernandes and Stephan Stephany Chair: Antônio Miguel Vieira Monteiro

Dia 2 (13/11)
Horários	Sessão
08:30 – 09:30	Sessão Técnica 2: 2.1. Community detection in complex networks via dynamics. Marcos Maia and Elbert Macau 2.2. Synchronization effects related to neighborhood heterogeneity in a random network of non-identical oscillators. Celso Freitas and Elbert Macau 2.3. Um Algoritmo de Aprendizagem por Reforço para Alocação de Espectro em Redes Ópticas Elásticas. Luis França, Solon Carvalho and Rita Rodrigues Chair: Horacio Hideki Yanasse
09:30 – 10:00	Coffee Break
10:00 – 12:00	Sessão Técnica 3: 3.1. Interação INPE e FUNCATE, uma parceria que transfere conhecimento Vanildes Ribeiro, FUNCATE 3.2. Extração de médias ponderadas acumuladas de tempo de transmissão em redes sem fio em malha. Marlon Silva, Nandamudi Vijaykumar and Edson Senne 3.3. Classificação Automática de Supernovas usando Redes Neurais e Sistemas Especialistas. Marcelo Módolo, Lamartine Guimarães and Reinaldo Roberto Rosa 3.4. Resultados premilinares da simulação magnetohidrodinâmica do problema do vórtex de Orszag-Tang. Anna Gomes and Margarete Domingues 3.5. Problema de Planos de Controle e Manutenção. Victor Hugo Barros, Alexandre César Oliveira and Solon Carvalho 3.6. Uso de Uma Nova Metaheurística para o Cálculo de Reduções da Teoria dos Conjuntos Aproximativos. Alex Pessoa and Stephan Stephany Chair: Haroldo Fraga de Campos Velho
13:30 – 14:00	Poster 2 P2.1. Converting UML Behavioral Diagrams to Transition Systems. Luciana Santos, Valdivino Santiago Júnior and Nandamudi Vijaykumar P2.2. Characterization of the cosmological nonlinear path of single galaxies in N-Body Simulations. Diego H. Stalder D., Reinaldo R. Rosa and Esteban Clua P2.3. Agregação Difusa para Detecção de Bordas em Imagens PolSAR. Gilberto Silva Junior, Sandra Sandri and Alejandro Frery P2.4. Propagação de informação e Disseminação de Culturas em Redes Complexas. Aline Pereira Da Silva, Elbert Macau and Ricardo Egydio de Carvalho P2.5. Otimização da alocação de experimentos em veículos de sondagem utilizando inteligência computacional. Elder Figueiredo e Lamartine N. F. Guimarães P2.6. Um estudo de combinação de classificações de imagens de sensoriamento remoto utilizando pares de classes. Michelle Parreira, Luciano Dutra and Eliana Pantaleão P2.7. Termo de contra-gradiente em parametrização de turbulência no BRAMS. Maria Eugênia Welter and Haroldo Velho
14:00 – 15:40	Sessão Técnica 4: 4.1. Oráculo Automatizado de Testes de Software usando Engenharia Reversa. Alessandro Arantes, Valdivino Santiago Júnior and Nandamudi Vijaykumar 4.2. A Proposal for SQL Queries Recommendation Through Text Mining. Vitor H. Makiyama and Rafael D. C. Santos 4.3. Classifying user experience of Web applications in real time using client logs. Leandro Vasconcelos and Rafael Santos 4.4. Applying Artificial Neural Networks to Calibrate the Precipitation Forecast of the CPTEC’s Ensemble Prediction System. Jose Roberto Motta Garcia, Rafael Santos, Christopher Cunningham and Antonio Miguel Vieira Monteiro 4.5. Melhorando os algoritmos para extrair redes de drenagem do Modelo de Elevação Digital: O cálculo da área de contribuição. Alexandre Copertino Jardim, Sergio Rosim, João Ricardo F. De Oliveira and Antonio Miguel Vieira Monteiro. Chair: Karine Reis Ferreira
15:40 – 16:00	Coffee Break
16:00 – 17:40	Sessão Técnica 5: 5.1. Caos e Trajetórias de Escape do Sistema Terra-Lua. Saymon Henrique Santos Santana, Elbert Macau and Cristiano Fiorilo de Melo 5.2. Data Assimilation Using Reconfigurable Computer System. Sabrina Bergoch Monteiro Sambatti, Vitor Conrado Gomes, Haroldo Fraga de Campos Velho and Andrea Schwertner Charão 5.3. Método Não Linear de Redução da Dimensionalidade de Dados e Implementação em Hardware. José Renato Garcia Braga, Vitor Conrado Gomes, Haroldo Fraga Campos Velho and Elcio Hideiti Shiguemori 5.4. Análise do Perfil do Tempo de Execução do Modelo Brams Visando sua Portabilidade para Arquiteturas Multi-Core e Many-Core. Manoel Silva, Stephan Stephany and Jairo Panetta 5.5. Duas Novas Abordagens para o Problema de Rotulação Cartográfica de Pontos: r-Separação e p-Dispersão. Sóstenes Gomes, Luiz Lorena and Glaydston Ribeiro Chair: Nandamudi L. Vijaykumar
17:40 – 18:00	Discussão final sobre o WORCAP 2014 e considerações para edições futuras do evento

Palestrantes

Alexandre Cabral Mota

Possui doutorado em Ciência da Computação pelo Centro de Informática - UFPE (2001). Atualmente é professor Associado II. Especialidade é Métodos Formais, focando: CSP, model checking, theorem proving, modelagem formal e refinamento. Atualmente vem investindo também na parte de Engenharia de Software Experimental, baseada em testes e simulações probabilísticas. Objetivo atual é aplicar Métodos Formais e Engenharia de Software Experimental para auxiliar no desenvolvimento de sistemas aeronáuticos, particularmente no entendimento e aplicação de Métodos Formais em Sistemas de Controle bem como no processo de Safety Assessment. De 2004 a 2008 fez pesquisas relacionadas a uma colaboração entre o Centro de Informática-UFPE e a Motorola. E desde 2006 vem colaborando com a Embraer. Atualmente é membro do Projeto COMPASS (Comprehensive Modelling for Advanced Systems of Systems), financiado pela Comunidade Européia, edital FP7.

Resumo da Palestra

A indústria mundial, de uma maneira geral, ainda usa testes como meio de investigar se um sistema faz o que se espera dele, bem como corrigir possíveis erros usando o que falhas em certos testes revelam. Para sistemas de controle, encontra-se também o frequente uso de simulações.

Mas desde o início da década de 80, métodos formais vêm sendo indicados como forma complementar a testes e simulações, como por exemplo pelo guia de certificação DO-178B empregado como referencial para o desenvolvimento de software de aeronaves.

Em 2012 surgiu o guia DO-178C, que substitui o DO-178B, e consigo um suplemento exclusivo sobre como usar métodos formais para desenvolver software para sistemas aeronáuticos. Apesar das autoridades certificadoras ainda não estarem cobrando o emprego de métodos formais, percebe-se claramente que isto será uma tendência para um futuro próximo.

Atento a este movimento, a Embraer contatou o Centro de Informática em 2006 para explorar oportunidades no emprego de métodos formais. De lá para cá, aplicamos métodos formais em análise funcional e não-funcional (probabilística---análise de segurança [safety]---baseada em cadeias de Markov) de sistemas de controle descritos em Simulink, criamos uma estratégia de detecção automática de lógicas de falhas (para análise de segurança), uma estratégia para criar ferramentas de edição gráfica e análise automática---diretamente de modelos matemáticos (árvores de falhas, cadeias de Markov, etc.), como ligar requisitos descritos em SCR com modelos de blocos descritos em SCADE e obter código certificado automaticamente a partir de requisitos. Também exploramos a obtenção de um modelo Simulink seguro a partir de um nominal (funcionalmente aceito) pela aplicação de padrões de projetos (redundâncias, etc.) provados corretos. Finalmente, criamos uma estratégia completa com requisitos descritos em uma linguagem natural controlada (subconjunto do Inglês), com análise de consistência e completude, e respectiva geração de casos de testes usando um modelo temporal discreto, baseada no emprego transparente de métodos formais aos engenheiros (o que se chama de Model-based Testing).

Nesta palestra, nosso objetivo será o de relatar esta experiência obtida em alguns anos de trabalho com parte do setor de P&D da Embraer.

Adelaide Faljoni-Alario

Professor Titular de Bioquímica e Biofísica da UFABC (2008), Autora do Projeto Adêmico Pedagógico da UFABC (2004-05), Pró-Reitora de Graduação da UFABC (2005-2007), Vice-Reitora da UFABC (2007-08), Pesquisadora IB do CNPq., Membro do Comitê Multidisciplinar de Pós-graduação da Capes (2000-08), Membro efetivo do Projeto Tuning América Latina Europa (2004-09), Co-autora da ublicação Reflexiones y Perspectivas de La Educación Superior em América Latina (2004-2007), Membro do Grupo de Trabalho que propôs a criação do Comitê da Capes de Ensino de Ciências e Matemática (2001-02); Assessora da Pró-reitoria de Graduação da USP (1997-2008), Interlocutora da USP junto ao MEC do PET (2000-09), Membro da Comissão Nacional do PET/MEC (2004_2007); Membro das Comissões de Avaliação do MEC (1998-2005). Membro do Comitê Multidisciplinar de Pós-graduação da Capes (2000-08); Co-autora do Projeto e membro da Comissão de Pós-graduação Interunidades do Programa de Ensino de Ciências, modalidade Química da USP (1998-2007). , Trabalha na área de Química, Bioquímica, Biofísica e Ensino de Ciências, com ênfase em Bioinorgânica, Estrutura de Proteinas, Fotobiologia, Apoptose, Pigmentação Celular, Biofísica de Membranas, Educação Superior, Projetos Pedagógicos, Políticas Públicas, Avaliação de Cursos e Institucional., Tem Graduação em Química pelo Instituto de Química da USP (1972), Licenciada em Química pelo I. de Química e F. de Educação da USP (1972); Especialização- AtribuiçõesTecnológicas pela E. Politécnica da USP (1973), Doutorado em Bioquímica pelo Depto. Bioquímica do I. Química da USP (1976), Pós-doutorado na Universidade de São Paulo (1976-77), Pós-doutorado no Biology Dept. de Brookhaven National Laboratory (1978-79)., Pós-doutorado no Genetic Dept. de Nara Medical University (1987), Pós-doutorado no Institut Pasteur/Fr (2001)., Pós-doutorado no Depto. de Química da PUC de Santiago do Chile (1990), Professor da Universidade de São Paulo (1980-2008), Co-autora dos Projetos Pedagógicos dos cursos de Química, Licenciatura em Química, Química Ambiental e Medicina da USP (1985-2008), Assessora da Pró-reitoria de Graduação da USP (1997-2008); Possui 51 trabalhos publicados em periódicos internacionais com referagem; Possui 150 apresentações em Simpósios e Congressos Nacionais e Internacionais; Orientou 13 dissertações de mestrado e teses de doutorado na USP; Co-autora do Livro Egressos do PET.