Descrição das apresentações orais (AO):

AO1

Paralelização do modelo de cinética química atmosférica do CPTEC/INPE para utilizar placas gráficas. Alex Fernandes, Stephan Stephany e Jairo Panetta.

AO2

Paralelização da transformada de Legendre do Modelo de Circulação Geral Atmosférico do CPTEC usando placas aceleradoras gráficas. Carlos Souza, Stephan Stephany e Jairo Panetta.

Since 1995 the CPTEC executes daily the atmospheric general circulation model (AGCM) for weather forecast. Climate forecasts require monthly executions of the same model. In the case of weather forecast, the model resolution has been continuously increased, but this implies in a significant increase of the processing time, as the model complexity is of the order of the fourth power of the inverse of the resolution. This problem has been tackled with the increase of the model degree of paralelism in order to employ more and more processors. An alternative would be the use of graphics cards in order to avoid an excessive number of processors that would be required for a further increase of resolution. This work evaluates the suitability of graphic cards to accelerate the part of the MCGA that defines its complexity: the Legendre and Fourier transform. It will investigate the speed-up and the impact on model maintenance and portability due to the use of several programming interfaces for graphics accelerator cards.

AO3

Análise do tempo de processamento do modelo brams visando sua execução em arquiteturas multi-core e many-core. Manoel Silva, Stephan Stephany e Jairo Panetta.

O aumento contínuo da resolução espacial e temporal dos modelos meteorológicos demanda cada vez mais processamento, implicando em custos altíssimos de infraestrutura e energia. Executar esses modelos requer o uso de supercomputadores com centenas ou milhares de nós multiprocessados, sendo suas CPUs compostas de múltiplos núcleos (multi-core). Estas CPUs têm sido acopladas a aceleradores de processamento, tipicamente placas gráficas (GPUs), compostas de centenas de núcleos (many-core). A interface de programação OpenMP se tornou um padrão para execução concorrente de múltiplos threads em multiprocessadores, enquanto que existe uma interface de programação de aceleradores de processamento, o OpenACC que possivelmente se tornará também um padrão. Ambas interfaces são semelhantes, baseadas em diretivas de paralelização. No caso, utiliza-se um modelo de programação que possibilita a execução de centenas de threads concorrentemente. Neste trabalho pretende-se explorar a eficiência e a portabilidade de um código paralelizado com essas interfaces, de forma a poder ser executado num nó com arquitetura multi-core ou então numa arquitetura híbrida que adicione GPUs many-core. O código escolhido como estudo de caso é um trecho do modelo meteorológico regional de alta resolução BRAMS (Brazilian Regional Atmospheric Modelling System), que correntemente é paralelizado apenas por troca de mensagens MPI. Em particular, será abordado o módulo de dinâmica do modelo, que não apresenta boa escalabilidade ao ser paralelizado.

AO4

Modelo markoviano para alocação de espectro em redes ópticas elásticas. Marcos Candia, Solon Carvalho e Rita Rodrigues.

As redes ópticas elásticas (EON) oferecem capacidade de alocação dinâmica de espectro para acomodação de diferentes taxas de transmissão. Nestas redes, o problema fundamental, denominado Routing and Spectrum Allocation (RSA), é rotear e alocar o recurso espectral para acomodar as requisições de conexão. O RSA pode ser dividido em dois subproblemas: roteamento e alocação de espectro. Neste trabalho, estuda-se, por meio de um modelo markoviano, a alocação de espectro em um link de uma EON. Uma heurística para acomodação das conexões que minimize a fragmentação de espectro é proposta e comparada a outras da literatura.

AO5

Um método para assegurar a qualidade de serviço multimídia em redes sem fio em malha. Marlon Silva, Edson Senne e Nandamudi Vijaykumar. 

A transmissão de pacotes multimídia (áudio e vídeo) em redes sem fio em malha exige níveis aceitáveis de qualidade de serviço (QoS). Devido à arquitetura em camadas adotada para os protocolos de comunicação, os fatores de medição de QoS são interdependentes. Um dos parâmetros de QoS em uma rede sem fio em malha é o tempo de transmissão esperado acumulado ponderado (WCETT – Weighted Cumulative Expected Transmission Time). O objetivo deste trabalho é propor um método para determinar uma configuração de uma rede sem fio em malha que minimize o WCETT, de modo a assegurar a qualidade de serviço em transmissões de pacotes multimídia.

AO6

O método q-GC para otimização global. Érica Gouvêa, Aline Soterroni e Fernando Ramos.

Recently, based on Jackson's derivative, a generalization of the classical steepest descent method, called the q-gradient (q-G) method, has been proposed for solving global optimization problems. Along similar lines, we introduce here the q-CG method, a generalization of the well-known Conjugate-Gradient method using the concept of q-gradient vector. For evaluating the performance of this new method, we considered six commonly used 20-variable test functions and compared our results with those obtained by the q-G method and by three Genetic Algorithms (GAs) considered effective in optimizing multidimensional problems. Overall, our results show that the q-CG is a promising new method for solving multimodal optimization problems.

AO7

Uso de perceptrons multicamadas difusos para a classificação de padrões em séries temporais. Toni Pimentel, Fernando M. Ramos e Sandra Sandri.

Abordamos a classificação dos padrões de séries temporais usando de quatro abordagens para perceptrons multicamadas difusos. Os métodos foram usados para classificar padrões temporais de uso do solo e cobertura da terra utilizando séries temporais de índices de vegetação para uma região da floresta amazônica brasileira.

AO8

A fuzzy cellular automata for SIR compartmental models. Walley Costa, Sandra Sandri e Líliam Medeiros.

We propose a representation of the dynamics of epidemics through a compartmental SIR (Susceptible - Infected - Recovered) model, with the combined use of cellular automata and fuzzy systems. We also present an application of the proposed model on the spread of dengue in a regiom in Southeast Brazil.

AO9

Star simulation with led-based spectrally tunable light source. Marcos Eduardo Gomes Borges e Lamartine Nogueira Frutuoso Guimarães.

A spectrally tunable light source using a large number of LEDs and an integrating sphere has been designed and constructed at INPE. The source is designed to have a capability of producing any different types of spectral power distribution of stars, mimicking stars with magnitudes from zero to five by individually controlling the power radiated by each of the LEDs. The output spectral irradiance or radiance of the source is measured by a spectroradiometer, and the star simulation is generated by a system composed of the light source, pinhole and collimator; the source will be used to test, calibrate and characterize the Autonomous Star Tracker under development at INPE. A series of simulations have been conducted to predict the performance of the designed tunable source, and source distribution have been realized for a number of target distributions.

AO10

Métodos de passos de tempo local para resolução numérica de equações diferenciais evolutivas utilizando análise multirresolução adaptativa: resultados preliminares. Müller Lopes e Margarete Domingues.

Evolutionary partial differential equations have a great value in the study of some physical problems such as hydrodynamic and magneto-hydrodynamic equations. In this context, in the last decades, a lot of methods have been studied for simulating that equations in a efficient way. When there is an interest in localized phenomena in numerical simulations, adaptive tecniques have become very popular. Initially that tecniques was focused in the spatial part, such as grid refinement tecniques and multiresolution analysis, later the temporal part was included, with tecniques such as local time methods, currently being considered fully adaptive methods. This study presents a new local time method for higher order spatial adaptive approach.

AO11

Estudo analítico dos ganhos de energia com a manobra assistida por gravidade no sistema Terra-Lua. Saymon Santana, Elbert Macau e Othon Winter.

Neste trabalho analisamos as variações orbitais e os ganhos de energia em manobras assistidas por gravidade para trajetórias no sistema Terra-Lua. A metodologia adotada consiste de uma abordagem analítica considerando a técnica de swing-by. Os resultados mostram as condições orbitais iniciais, em termos de semieixo e excentricidade, para as quais é possível uma trajetória ganhar energia ou mesmo escapar do sistema após um encontrado próximo com a Lua.

AO12

Estudo da aplicação de técnicas TDD e ATDD em engenharia de sistemas. Daniel Alves Paraiso, Solon Carvalho e Augusto B. D'Oliveira.

No cenário atual do Programa Espacial Brasileiro, o EGSE é basicamente composto por um conjunto de SCOEs e depende da interação entre os Test Conductors, o que dificulta o trabalho da equipe de integração e aumenta os riscos de erros na execução dos testes. Dentro do contexto apresentado neste trabalho, o desenvolvimento baseado em testes é promovido, facilitando a sincronização entre diversas tarefas na fase de AIT. Este artigo propõe e descreve uma abordagem engenharia simultânea de sistemas utilizando técnicas de TDD e ATDD para alinhar o desenvolvimento de um EGSE com a equipe de integração extinguindo os problemas citados na fase de desenvolvimento.

AO13

An algorithm to translate UML behavioral diagrams for formal verification. Luciana Santos, Valdivino Santiago Júnior e Nandamudi Vijaykumar.

Verification and Validation of complex software developed according  to UML is not trivial due to complexity of the software itself, and the several different UML models/diagrams that can be used to model behavior and structure of the software. This paper presents an approach to translate three different UML behavioral diagrams (sequence, behavioral state machines, activity) into a single Transition System to support Model Checking of UML-based software. In our approach, properties are formalized based on use case diagrams. The translation is done for the traditional NuSMV model checker.

AO14

Testes de Software de aplicações espacias: abordagem por modelos formais e oráculos. Alessandro Arantes, Nandamudi Vijaykumar e Valdivino Santiago.

O INPE desenvolve sistemas embarcados para satélites científicos e balões estratosféricos e, consequentemente, os processos Verificação e Validação (V&V) exigem cuidados especiais na detecção e prevenção de defeitos. Neste cenário, a geração e execução automática de casos de teste proporciona um ganho significativo de produtividade no trabalho de especialistas que, aliado a um oráculo automatizado de resultados de testes, pode avaliar o comportamento de sistemas reativos diante dos eventos aos quais estará sujeito. Este trabalho tem por objetivo desenvolver um oráculo automatizado de teste baseando-se, exclusivamente, no código-fonte da aplicação. O grande desafio de uma proposta dessa natureza é como gerar, automaticamente e tomando como base somente o código-fonte, os resultados esperados para um determinado dado de entrada de teste.

AO15

Improving management issues in software testing. Érica Ferreira de Souza.

With the advancement of technology and the growth of data from several different sources of knowledge within an organization, it becomes necessary to provide computerized support for tasks of acquiring, processing, analyzing and disseminating knowledge. In the software process, testing is a critical factor for product quality, and thus there is an increasing concern in how to improve the accomplishment of this task. In software testing, finding relevant knowledge to reuse can be a difficult and complex task, due to the lack of a strategy to represent or to associate semantics to a large volume of test data, including test cases, testing techniques to be applied and so on. This paper presents the progress in the doctoral thesis of the first author of this article that aims to investigate aspects associated with applying Knowledge Management to Software Testing and propose an approach to work with the knowledge in this domain.

AO16

Um Aplicativo independente de plataforma para um projeto de Ciência Cidadã. Felipe Correa, Eduardo Luz e Fernando Ramos.

Projetos de ciência cidadã necessitam de voluntários para contribuir com novos dados ou para processá-los. Aplicativos móveis para esses projetos geralmente são desenvolvidos apenas para uma única plataforma, necessitando um novo desenvolvimento caso a mesma aplicação seja portada para outra plataforma. Este trabalho apresenta um aplicativo para ciência cidadã independente de plataforma, permitindo assim a contribuição de diversos voluntários.

AO17

Propagação da informação em Redes Complexas e a expansão da Língua Portuguesa no Brasil. Aline Pereira Da Silva, Elbert Einstein Nehrer Macau e Ricardo Egydio de Carvalho.

The phenomenon of culture spreading, such as the expansion of the Portuguese language in Brazil, can be studied using models of information transmission. The dynamics of the propagation of information can be described by complex networks. This work aims to understand the relationship between the topology of a complex network and the dynamics of information spreading and how the propagation can be optimized according to parameters characteristic of measurement and constraints inherent in the system.

AO18

Metodologia para a evolução de comunidades em Redes Complexas Dinâmicas. Sandy Porto e Marcos Quiles.

Existe uma demanda no estudo das redes complexas de um benchmark para testes de algoritmos de detecção de comunidades em redes complexas dinâmicas. Para a criação desses benchmarks é necessário que haja uma metodologia capaz de criar redes que simulem o comportamento de comunidades ao longo do tempo. Esse trabalho pretende preencher essa lacuna, propondo uma metodologia de criação de redes complexas dinâmicas com foco nas comunidades.

AO19

Assimilação de dados por rede neural auto-configurável em dispositivo de hardware. Sabrina Bergoch Monteiro Sambatti, Vitor Gomes, Helaine Furtado, Haroldo Fraga de Campos Velho e Andrea Charão.

A melhoria do desempenho de sistemas de computação é uma das preocupações permanentes na comunidade científica. Na computação de alto desempenho, as FPGA (Field Programmable Gate Arrays) apresentam maior afinidade com as características de paralelismo que são intrínsecas das Redes Neurais Artificiais (RNA) [Shiguemori 2007, Gomes et al. 2011]. Neste artigo foi usado RNA em FPGA no problema de assimilação de dados. O problema de configuração da rede neural para assimilação de dados foi formulado como um problema de otimização, onde se faz uso de uma nova meta-heurística, o algo- ritmo de colisão de múltiplas partículas (MPCA) para o cálculo da solução ótima. O teste para assimilação de dados é realizado com um modelo de evolução do deslocamento de uma onda linear.

AO20

Drainage paths derived from triangulated irregular terrain models. Henrique Freitas, Corina Freitas, Sergio Rosim e João Oliveira.

Triangular Irregular Networks can efficiently define terrain models where drainage paths can be calculated. This work describes a method for calculating drainage paths from a TIN that was obtained from contour lines. Contour lines crossed by triangles edges and flat areas are removed. Drainage paths are connected by processing the triangles with an associated priority. Results are consistent with an available drainage network.

AO21

The small world effect on the Rio de Janeiro's mobility complex network. Leonardo Bacelar Lima Santos e Antônio Miguel Vieira Monteiro.

The structures of urban mobility can be analyzed using different types of (complex) networks. These networks can be built using actual data about number of people traveling from a traffic zone to another (from one vertex to another) as the control parameter (for edges creation). For an appropriate set of this threshold, the topological properties of networks reveal a small world effect.

AO22

Extração automática de redes de drenagem: avaliação de classificações por árvores de decisão. Lise Christine Banon, Rafael Duarte Coelho Dos Santos, Nandamudi Lankalapalli Vijaykumar e Camilo Daleles Rennó.

Automatic extraction of drainage networks usually uses a threshold based on the minimum area of contribution criteria. However, these methods rarely present realistic results. This paper proposes selection of a new set of attributes using decision trees to develop a classification methodology for the automatic extraction of drainage networks. Among the methods evaluated, the J48 algorithm showed the best results with overall accuracy greater than 90%.

AO23

Mapeamento de formações campestres nativas e de pastagens cultivadas no Cerrado brasileiro utilizando mineração de dados. Wanderson Costa, Leila Fonseca e Thales Korting.

Cerrado is the second largest biome in Brazil. Among the use and land cover changes in the Cerrado, over 500,000 km² of the biome have been transformed into cultivated pastures in recent years. Discrimination between the native formations and the identification of types of land use and cover in the Cerrado are important information for monitoring and protection policy of the biome. Within this context, this work aims at developing a methodology based on remote sensing techniques, including multiresolution and multitemporal data fusion, and data mining, to map pasture and native vegetation areas corresponding to the physiognomies of Campo Limpo, Sujo and Rupestre in the Brazilian Cerrado.

AP1

Rainfall to lightning ratio computation with temporal sliding-window. João Victor Cal Garcia, Stephan Stephany e Augusto B. D'Oliveira.

The computation of a rainfall-lightning ratio (RLR) have been proposed to estimate the convective rainfall from lightning observations. An accurate RLR would allow rainfall estimation in areas that lack weather radar coverage. However, known approaches to compute RLR failed to provide values with low variability, since it depends on season, convective regime and other factors. This work proposes a new approach for the computation of RLR, based on a temporal sliding-window and a fitting function. It was tested for some thunderstorms observed in the Southeastern Brazil with good results.

AP2

Otimização multiobjetivo com a meta-heurística de colisão de múltiplas partículas. Amarísio Araújo, Eduardo Luz, Juliana Anochi e Haroldo Campos Velho.

Nas últimas décadas, as meta-heurísticas e as técnicas evolucionárias vêm ganhando cada vez mais espaço na resolução de problemas de otimização multiobjetivo. Este trabalho apresenta uma meta-heurística para otimização multiobjetivo, ainda em desenvolvimento, como uma versão para a meta-heurística mono objetivo Multiple Particle Collision Algorithm (MPCA), que mescla a este alguns procedimentos usados no algoritmo genético multiobjetivo NSGA-II.

AP3

Rede neural auto-configurada pelo MPCA. Juliana Anochi, Eduardo Luz, Elcio Shiguemori e Haroldo Campos Velho.

Este trabalho propõe o desenvolvimento de um modelo empírico de previsão climática, a partir de dados de reanálise obtidos da base de dados do NCEP-NOAA, utilizando um modelo de rede neural com treinamento supervisionado. Neste trabalho a rede neural é formulada como um problema de otimização para configurar uma topologia ótima para uma rede Perceptron de Múltiplas Camadas (MLP).

AP4

Fusão de informações de bordas com operadores de lógica difusa. Gilberto Silva Junior, Sandra Sandri e Alejandro Frery.

In this paper we study techniques derived from Fuzzy Logic to obtain edges from remote sensing image by combining information from several techniques. Instead of proposing a new approach to the problem of edge detection, our proposal is to obtain edges by merging various sources of evidence.

AP5

ms-NN, uma generalização do k-NN tradicional. Flavia Toledo Martins Bede, Luciano Dutra e Sandra Sandri.

A partir do método k-NN (k vizinhos mais próximos – k Nearest Neighborhood) foi gerado um novo método para classificação identificado como ms-NN (vizinhos mais próximos em múltiplos espaços – multi space Nearest Neighborhood). No ms-NN basicamente seleciona-se um parâmetro para cada espaço (por exemplo: espectral, espacial e temporal) e não apenas um parâmetro para todos os dados, como no k-NN.

AP6

Metaheurística LNS aplicada ao QM-CLAM. Ligia C. Souza, Luiz A. N. Lorena e Marcos A. Pereira.

Facility location problems deal with decisions concerning attending the demand of an individual or a population, from service or product centers, considering logistical aspects. The Problem of Probabilistic Maximal Covering Location is a facility location problem that aims to locate p centers in order to maximize the attended demand for a given covering distance, considering service quality aspects. In this article is studied the use of the Large Neighborhood Search heuristic to solve this problem. The results obtained with the use of this method are compared with existing results, establishing performance measures, such as computing times and solution quality. Such performance measures can help the decision making analysis and define the strategic development of an enterprise.

AP7

Machine Learning techniques to improve ensemble weather forecast. Jose Roberto M. Garcia, Rafael D. C. Santos, Antonio Miguel V. Monteiro e Christopher Cunningham.

An accurate weather prediction can impact positively in several aspects of society, from minimizing financial losses to saving lives. Currently, the state of art of weather prediction is based on computer programs that model natural phenomena using numerical values to represent its state. It can be improved with some different approaches, one of them is using Machine Learning techniques to figure out patterns and trends in order to have a better representation of the initial conditions and use them as input for processing the dynamics, thus getting a better weather forecast.

AP8

Utilização do método do q-gradiente na solução de um problema de otimização global multiobjetivo. Marluce Scarabello, Aline Soterroni, Roberto Galski e Fernando Ramos.

Recently, based on Jackson's derivative, a generalization of the classical steepest descent method, called the q-gradient method (q-G method), has been proposed for mono-objective problems. This new approach uses the negative of the q-gradient of the objective function as the search direction. This work presents the solution of a well-know multiobjective test problem using the q-G algorithm associated with the weighted sum method.

AP9

Estimação de precipitação a partir de dados de modelo meteorológico. Cesar Strauss, Stephan Stephany e Marcelo Barbio Rosa.

Um conjunto de variáveis meteorológicas e índices de instabilidade foi selecionado como atributos de informação para predizer a ocorrência de precipitação. O Grupo de Previsão do Tempo do {CPTEC/INPE} já desenvolveu uma ferramenta auxiliar para essa predição, mas sem a abordagem de mineração de dados. Neste trabalho, uma árvore de decisão foi treinada usando dados de precipitação conhecidos adquiridos por radar meteorológico. Esta árvore foi então empregada para previsão de precipitação. O modelo numérico escolhido é o modelo regional ETA. Os resultados da predição de precipitação foram bons e os próximos passos incluem a predição de chuva forte e convectiva.

AP10

MPCA para determinação de parâmetros de dinâmica de voo. Ivana Yoshie Sumida, Haroldo Fraga de Campos Velho, Eduardo Luz, Ronaldo Vieira Cruz e Luiz Carlos Goes.

Como as aeronaves se tornaram cada vez mais custosas e complexas, os pilotos e engenheiros, civis e militares, tem utilizado cada vez mais simuladores de voo com o objetivo de aumentar a segurança de suas operações. Para que os simuladores tenham uma boa aderência com a realidade, é preciso calibrar os simuladores, ou seja, identificar parâmetros que tornem a simulação o mais próximo possível da dinâmica real. Após determinar tais parâmetros, o simulador estará pronto para ser usado no treinamento de recursos humanos ou para a avaliação de aeronaves. A identificação de parâmetros, que caracterizam o comportamento aerodinâmico da aeronave, pode ser formulada como um problema de otimização. A calibração de um simulador de dinâmica de voo é realizada por uma nova meta-heurística: o algoritmo de colisão de múltiplas partículas (MPCA: Multiple Particle Collision Algorithm). Os resultados preliminares mostram um bom desempenho da abordagem empregada.

AP11

Inferindo as ligações em uma rede complexa por meio do cálculo da coerência. Maria Teodora Ferreira, Margarete O. Domingues e Elbert E. N. Macau.

Neste trabalho apresenta-se o cálculo da medida de coerência, a qual é utilizada para ajudar na análise da estrutura topológica das ligações em uma rede complexa. A medida de coerência é aplicada a uma rede complexa formada por 5 vértices, os quais são obtidos de um processo autorregressivo VAR[4] de ordem p = 4 e dimensão 5. O resultado obtido é capaz de ajudar na análise da estrutura topológica das ligações em uma rede complexa.

AP12

Uma solução exata para o problema de localização de concentradores capacitados com alocação múltipla. Wesley Almeida, Edson Senne e Horacio Yanasse.

Este trabalho tem como objetivo apresentar um método exato de solução para problemas de localização de concentradores com alocação múltipla capacitado. Pretende-se aplicar a técnica denominada Local Branching (LB) neste problema para acelerar a busca por soluções. Tal técnica baseia-se em métodos do tipo branch-and-cut, mas incorpora algumas ideias presentes em técnicas de busca local e metaheurísticas.

AP13

Mapeamento da produção científica do INPE em periódicos na Web of Science. Alexandre D. Alves, Horacio Yanasse e Nei Y. Soma.

This paper to present a mapping of scientific production of the National Institute for Space Research considering the articles published in journals indexed in the Web of Science.

AP14

Heurística clustering search para solução do problema contínuo de alocação de berços. Rudinei Oliveira, Geraldo Mauri e Luiz Lorena.

Devido à crescente demanda de navios que transportam contêineres, o Problema de Alocação de Berços (PAB) pode ser considerado como um dos principais problemas em terminais marítimos. Nesse contexto, é proposta uma nova alternativa para resolvê-lo. Essa alternativa é baseada na aplicação do método Clustering Search (CS) com a metaheurística Simulated Annealing (SA), abordando o caso contínuo do PAB. Os resultados obtidos pelo CS são comparados a métodos da literatura, permitindo assim verificar sua competitividade.

AP15

Problema de alocação de berços multi-objetivo. Victor Hugo Barros, Alexandre César Muniz Oliveira e Solon Carvalho.

The berth allocation problem is defined as planning of which position along the quay and when each vessel optimally should moor. This paper consists of a brief literature review of Multiobjective Berth Allocation Problem (BAP). A multiobjective mathematical model is presented and conclusions are presented.

AP16

A genetic algorithm for dispersion on point-feature cartographic label placement problem. Sóstenes Gomes, Luiz Lorena e Glaydston Ribeiro.

This paper concerns to the Point Feature Cartographic Label Placement Problem (PFCLP), which is a NP-hard combinatorial problem. It is considered that when all points must be labeled and overlaps are inevitable, the map can be more readable if overlapping labels are placed in a dispersive way, i. e., overlapping labels are distant from each other. This work presents a Constructive Genetic Algorithm (CGA) for the Discrete Dispersion PFCLP, which utilizes the notion of masking to preserve optimal subsequences in chromosomes. We also define the Discrete Dispersion PFCLP as a mixed integer linear programming model solved by CPLEX. The computational results validate our CGA approach using instances up to 5046 points.

AP17

Extração automática de rede de drenagens de modelos digitais de elevação. Alexandre Jardim.

The networks drainage systems are natural or artificial compounds of interconnected channels able to drain surface water. It is a fundamental concept in hydrology and the base of hydrological models applied to resource management plans. The first algorithm for extracting drainage networks was proposed by O'Callaghan, Mark (1984) called the D8 algorithm. This algorithm is efficient to extract the main channels of drainage network, but has inaccuracies in the delineation of the beginnings of the drainage channels (springs). This work uses the Vertical Distance to the Top to reduce the inaccuracies in the automatic extraction of drainage networks algorithm D8.

AP18

Avaliação planimétrica de ortoimagens SAR. Carlos Castro-Filho, Carlos Stelle, Corina Freitas e Sidnei Sant'Anna.

SAR data needs to be geometrically validated before being used to generate cartographic products. This work aims evaluate the planimetric products generated by the Amazon Radiography Project. The methodology initially determined the geometric correction parameters for the data in work using coordinates from ground control points obtained in fieldwork. Geometric correction of the data and its cartographic assessment has been done. The results showed that the SAR data can be used to generate cartographic products to scales lower than 1:10.000.

AP19

Detecção de pista de pouso em imagens orbitais de alta resolução utilizando feições Haar-like em cascata. Juliano Cruz, Elcio Hideiti Shiguemori e Lamartine Guimarães.

O reconhecimento automático de objetos presentes em imagens não é uma tarefa fácil devido às diversas variações presentes neste processo, consequentemente, diferentes técnicas têm sido propostas para fins gerais. Neste trabalho analisa-se a abordagem que utiliza classificadores Haar-like em cascata para reconhecimento automático de objetos presentes em imagens aéreas de alta resolução.
Resultados promissores foram obtidos com a metodologia apresentada nesse trabalho, levando em consideração que os objetos podem apresentar variação de escala, rotação e variações intraclasse.

AP20

Identificação de objetos presentes em rodovias com uso de imagens aéreas obtidas por VANT. Marina Laís Silva Nascimento, Lamartine Guimarães e Elcio Hideiti Shiguemori.

This article aims to use a model Artificial Neural Networks (ANN) for automatic detection of objects present in Highways with the use of satellite images and aerial images obtained by VANT, providing information for autonomous navigation and monitoring of highways. In this study are approached Processing Techniques of Digital Images (PDI) for extracting relevant features, generating a set of combinations of descriptors for the ANN training. The proposed RNA's model is MultiLayer Perceptron (MLP), whose generalization capability and adaptability are important features for the problem in question.

AP21

Redução de atributos na teoria dos conjuntos aproximativos aplicada à mineração de dados meteorológicos. Alex Pessoa e Stephan Stephany.

The changes in the chemical composition of the atmosphere due to reactions between its components have significant impact in the agriculture, population health, economics and other factors. A chemical kinetics model can be coupled to a numerical model of weather or climate prediction, but it computational cost is very high, hindering their operational use. This paper investigates the parallelization of the chemical kinetics model of CPTEC/INPE using graphic accelerators cards.

AP22

Caracterização do comportamento dos usuários de aplicações Web baseada na localização geográfica e em logs de interação. Leandro Guarino Vasconcelos e Rafael Duarte Coelho Santos.

The ISO/IEC 9126 defines the characteristics of software quality, and one of them is usability, which refers to the ability of a software to be understood, operated and attractive to the user. However, in practice, this characteristic seems to be less observed by teams of software development, often increasing the dissatisfaction of users that operate software. In order to create techniques that facilitate the implementation of usability in systems development, many techniques have been developed for the analysis of user's behavior. Usually, the approaches that provide some level of automation use the application server logs or logs of user's interaction with the interface (client logs). Thus, this paper presents the USAGEO tool, which analyzes the behavior of users based on client logs and associating them to their approximated geographic locations. Thus, the tool identifies regions that concentrate specific user's groups that have the same interests or that behave in similar ways. The results of applying the tool may be relevant both to the strategic decisions of companies and for the personalization of Web applications interfaces.

AP23

Detrended fluctuation analysis of FURNA’s short time series using a collaborative environment. Murilo Dantas, Reinaldo Rosa, Nilson Sant'Anna e Moacir Cereja Jr.

In this paper we present an exploratory analysis of some Furnas’ variables through a virtual environment. Access to friendly environments for analysis by different types of scientists interested in data analysis is increasingly required. The lack of knowledge of the patterns of variability of variables collected from Furnas can be a barrier to public investment, as there are many analysis methods that are developed by experts in the areas of computational modeling disconnected from experts in environmental data. A collaborative system that integrates development actions and use can allow analysis of variability of these variables through advanced techniques. If an accessible and collaborative environment is available on the Internet, understanding and exploration of such data would increase, improving public actions against such reservoirs.

AP24

Redução do conjunto de dados de treinamento para melhorar a eficiência do classificador SVM. Peterson Lima Sarmento, Guaraci José Erthal e Luciano Vieira Dutra.

The Support Vector Machine classifier (SVM), a classifier that basically uses training data near the decision boundary is often used due to its good performance. A disadvantage of this method is the increase training time of the classifier as the training set size increases. The purpose of this paper is to apply techniques to reduce the training set size preserving the classification accuracy. The techniques used are editing, multiediting and condensing of data, already applied in data reduction for k-nearest neighbor method (k-NN), which is also a classifier that operates on the data near the border separating classes. It is expected that accuracy with reduced data sets and there is gain in time to estimate the classifier parameters.

AP25

Primeiros Experimentos para Construção de um Classificador de Supernovas e de um Controlador de Telescópio. Marcelo Módolo, Lamartine Guimarães and Reinaldo Rosa.

Esse trabalho propõe a criação de um método de classificação de supernovas usando técnicas de Inteligência Computacional, em particular Redes Neurais Artificiais, e o desenvolvimento de um controlador para telescópios, usando Lógica Nebulosa. O método de classificação e o controlador devem ser implementados em um telescópio para trabalho conjunto na coleta de informações e classificação de supernovas recém-descobertas. O método de classificação usa um esquema de classificação de supernovas baseado nas características dos espectros e se diferencia dos métodos e ferramentas de classificação existentes que usam a similaridade com os espectros armazenados. Foram feitos dois experimentos: o primeiro para testar a dinâmica de funcionamento do telescópio e o segundo para testar a utilização de Redes Neurais Artificiais na classificação das supernovas. No primeiro experimento foram criados cinco padrões de gráficos, uma rede neural para identificação desses padrões e um programa para simular a dinâmica de funcionamento do telescópio. O reconhecimento dos padrões teve 100% de acerto para os padrões criados artificialmente, o que mostrou ser possível a identificação do mesmo gráfico com pequenas alterações que simulam as diferenças encontradas nas supernovas se visitadas depois de decorrido algum tempo. No segundo experimento foram selecionados 80 espectros de supernovas de diferentes tipos disponíveis na Web. Os espectros passaram por um pré-processamento e foram usados para treinamento e teste de duas redes neurais. O percentual de acerto das duas redes neurais foi inferior a 50% e mostrou que um classificador baseado em todo o espectro não irá funcionar, sendo necessário considerar as características de partes do espectro e o conhecimento das características de cada tipo de supernova para elaboração de um classificador eficiente.