GPU Accelerated Stochastic Inversion of Deep Water Seismic Data
|
|
- Nathalie Mendes Gama
- 8 Há anos
- Visualizações:
Transcrição
1 GPU Accelerated Stochastic Inversion of Deep Water Seismic Data Tomás Ferreirinha Rúben Nunes Amílcar Soares Frederico Pratas Pedro Tomás Nuno Roma Pedro Tomás INESC-ID, Instituto Superior Técnico, Universidade de Lisboa
2 Outline Motivation and objectives Stochastic Seismic AVO Inversion Algorithm Algorithm Description Dependencies Parallelization Strategy Mapping Methodology Main Considered Optimizations Multi-GPU Parallelization Approach Experimental Results Conclusions 2
3 Seismic Inversion methods Allow estimating the physical properties of the Earth subsurface Typically based on seismic reflection data Allows studying well logs, e.g., for accurate drilling 3
4 Motivation Simple models for seismic inversion are characterized by a high level of uncertainty, leading to drilling errors Complex models on the other hand lead to significant execution times Simulation times ranging between weeks to months are common As a result, simulations are often constrained in algorithmic complexity and achieved numerical precision 4
5 Objective Accelerate state-of-art complex Seismic Inversion Algorithms Decrease execution time from weeks or months to days or even hours such as to allow using more complex and accurate models Allows using more complex computational models Can be used for larger fields Efficiently exploit platforms composed of multiple heterogeneous accelerators, specifically GPUs OpenCL allows exploiting GPUs from different vendors 5 25/08/2014
6 Stochastic Seismic AVO Inversion Algorithm Concepts The Stochastic Seismic AVO Inversion algorithm is based in two main concepts: 1. Density, P-wave and S-wave velocity models (ρ, Vp and Vs) perturbed towards an objective function, according to the Direct Sequential Simulation (DSS) Algorithm 2. A genetic algorithm, acting as a global optimizer, that ensures the convergence of the solution from iteration to iteration 6
7 Stochastic Seismic AVO Inversion Algorithm Flowchart 1. Stochastic simulation of the ρ/vp/vs data using the Direct Sequential Simulation (DSS) algorithm 7
8 Stochastic Seismic AVO Inversion Algorithm Flowchart 1. Stochastic simulation of the ρ/vp/vs data using the Direct Sequential Simulation (DSS) algorithm 2. Calculation of the synthetic pre-stack seismic cube with the simulated ρ/vp/vs models 8 25/08/2014
9 Stochastic Seismic AVO Inversion Algorithm Flowchart 1. Stochastic simulation of the ρ/vp/vs data using the Direct Sequential Simulation (DSS) algorithm 2. Calculation of the synthetic pre-stack seismic cube with the simulated ρ/vp/vs models 3. Comparison between the synthetic seismic and the real seismic data and creation of the seismic correlation cube 9 25/08/2014
10 Stochastic Seismic AVO Inversion Algorithm Flowchart 1. Stochastic simulation of the ρ/vp/vs data using the Direct Sequential Simulation (DSS) algorithm 2. Calculation of the synthetic pre-stack seismic cube with the simulated ρ/vp/vs models 3. Comparison between the synthetic seismic and the real seismic data and creation of the seismic correlation cube 4. Best density/vp/vs models are built by selecting areas of higher correlation using a genetic algorithm 10 25/08/2014
11 Stochastic Seismic AVO Inversion Algorithm Flowchart 1. Stochastic simulation of the ρ/vp/vs data using the Direct Sequential Simulation (DSS) algorithm 2. Calculation of the synthetic pre-stack seismic cube with the simulated ρ/vp/vs models 3. Comparison between the synthetic seismic and the real seismic data and creation of the seismic correlation cube 4. Best density/vp/vs models are built by selecting areas of higher correlation using a genetic algorithm 5. Repeat step 1, 2, 3 and 4 until a defined number of simulations per iteration have been achieved 11 25/08/2014
12 Stochastic Seismic AVO Inversion Algorithm Flowchart 1. Stochastic simulation of the ρ/vp/vs data using the Direct Sequential Simulation (DSS) algorithm 2. Calculation of the synthetic pre-stack seismic cube with the simulated ρ/vp/vs models 3. Comparison between the synthetic seismic and the real seismic data and creation of the seismic correlation cube 4. Best density/vp/vs models are built by selecting areas of higher correlation using a genetic algorithm 5. Repeat step 1, 2, 3 and 4 until a defined number of simulations per iteration have been achieved 6. Estimate the models accuracy by computing the correlation cubes (using the best ρ/vp/vs models) 12 25/08/2014
13 Stochastic Seismic AVO Inversion Algorithm Flowchart 1. Stochastic simulation of the ρ/vp/vs data using the Direct Sequential Simulation (DSS) algorithm 2. Calculation of the synthetic pre-stack seismic cube with the simulated ρ/vp/vs models 3. Comparison between the synthetic seismic and the real seismic data and creation of the seismic correlation cube 4. Best density/vp/vs models are built by selecting areas of higher correlation using a genetic algorithm 5. Repeat step 1, 2, 3 and 4 until a defined number of simulations per iteration have been achieved 6. Estimate the models accuracy by computing the correlation cubes (using the best ρ/vp/vs models) 7. Repeat the whole procedure, using information regarding the best models found, until a matching criteria is reached 13 25/08/2014
14 Stochastic Seismic AVO Inversion DSS Algorithm 95% of the execution time Direct Sequential Simulation (DSS) algorithm required for ρ/vp/vs Required for each node of the simulation cube, leading to Simulation Cube 14
15 Direct Sequential Simulation (DSS) Algorithm Dependencies 95% of the execution time Required for each node of the simulation cube, leading to 85% of the execution time Simulation Cube 15 25/08/2014
16 Next: Parallelization Strategy Motivation and objectives Stochastic Seismic AVO Inversion Algorithm Algorithm Description Dependencies Parallelization Strategy Mapping Methodology Main Considered Optimizations Multi-GPU Parallelization Approach Experimental Results Conclusions 16
17 Algorithm Parallelization Possible strategies (1) Data-level: each part of the algorithm is individually accelerated by simultaneously processing independent data Few parallelization opportunities and sequential processing time is not enough to be worth the parallelization overhead Speed-up is around 1 17
18 Algorithm Parallelization Possible strategies (2) Functional-level: simultaneously execute multiple independent parts of the algorithm Create a pipeline of operations for the random sequence of nodes Simulation is limited by the sequential execution of parts C and D, limiting the maximum achievable speed-up to % of the execution time
19 Algorithm Parallelization Possible strategies (3) Path-level: multiple nodes from the random path are simulated at the same time by different parallel processing threads Has to ensure that no conflicts are observed between the nodes being simulated in parallel Large division in sub-grids: more dependencies broken eventually impacting on algorithm convergence 19
20 Algorithm Parallelization Optimizations Postpone the simulation of nodes located in regions with few available data values in the neighbourhood For example, in this case only nodes from sub-grids with at least 4 conditioning nodes (both in the sub-grid being simulated and in the neighbouring sub-grids) are simulated /08/2014
21 Algorithm Parallelization Optimizations Postpone the simulation of nodes located in regions with few available data values in the neighbourhood Optimize data structures and its indexing in order to increase the coalescence of memory accesses 21 25/08/2014
22 Algorithm Parallelization Optimizations Postpone the simulation of nodes located in regions with few available data values in the neighbourhood Optimize data structures and its indexing in order to increase the coalescence of memory accesses Use GPU local memory in order to optimize average access times to global memory buffers 22 25/08/2014
23 Algorithm Parallelization Optimizations Postpone the simulation of nodes located in regions with few available data values in the neighbourhood Optimize data structures and its indexing in order to increase the coalescence of memory accesses Use GPU local memory in order to optimize average access times to global memory buffers Minimize the number of OpenCL calls in order to reduce the parallelization overhead 23 25/08/2014
24 Algorithm Parallelization Optimizations Postpone the simulation of nodes located in regions with few available data values in the neighbourhood Optimize data structures and its indexing in order to increase the coalescence of memory accesses Use GPU local memory in order to optimize average access times to global memory buffers Minimize the number of OpenCL calls in order to reduce the parallelization overhead Use the bottom-up merge sort algorithm to minimize the warp divergence when executing multiple sorts in parallel 24 25/08/2014
25 Algorithm Parallelization Optimizations Postpone the simulation of nodes located in regions with few available data values in the neighbourhood Optimize data structures and its indexing in order to increase the coalescence of memory accesses Use GPU local memory in order to optimize average access times to global memory buffers Minimize the number of OpenCL calls in order to reduce the parallelization overhead Use the bottom-up merge sort algorithm to minimize the warp divergence when executing multiple sorts in parallel Overlap computations with communications and write file operations 25 25/08/2014
26 Algorithm Parallelization Multi-GPU Approach Requires a synchronization step at the end of each iteration Distribute nodes amongst the available devices according to realtime performance measurements 26
27 Next: Experimental Results Motivation and objectives Stochastic Seismic AVO Inversion Algorithm Algorithm Description Dependencies Parallelization Strategy Mapping Methodology Main Considered Optimizations Multi-GPU Parallelization Approach Experimental Results Conclusions 27
28 Experimental Results Computing Platforms Component System 1 System 2 System 3 CPU i Xeon E i7 4770K RAM 16 GB 32 GB 32 GB GPU 1 Hawaii R9 290X GeForce GTX 680 GeForce GTX 780 GPU2 GeForce GTX 560 Ti GeForce GTX 680 GeForce GTX 660 Ti Reference: i CPU (4-cores) Experimental dataset with 237x197x350 nodes 5 iterations, each with 8 sets of simulations 28
29 Experimental Results Performance 1 4 cores: 5.3x speedup (hyper-threading enabled) 29
30 Experimental Results Performance 1 GPU 2 GPUs 1GPU 2GPUs: 1.8x speedup for the parallelized parts (difference for 2x due to device synchronization requirements) 30
31 Experimental Results Performance 1 GPU 2 GPUs Algorithm is now limited by the non-parallelized parts 1GPU 2GPUs: 1.8x speedup for the parallelized parts (difference for 2x due to device synchronization requirements) 31
32 Experimental Results Performance 1 GPU 2 GPUs 1GPU 2GPUs: 1.8x speedup for the parallelized parts (difference for 2x due to device synchronization requirements) Best performance: 22x speedup 32
33 Experimental Results Convergence Convergence is achieved when the number of grid divisions is well selected 33
34 Conclusions and on-going work Significant acceleration of state of the art Stochastic Seismic AVO Inversion algorithm Up to 22x speed-up versus 4-core CPU-only version Parallelism achieved by relaxing the algorithm dependencies in what concerns the random path No loss of accuracy in the generated models On-going work: Accelerate other parts of the algorithm, such as the computation of the correlation Further explore the algorithm parallelism 34
35 Pedro Tomás 35 Título da apresentação
36 Experimental Results Performance Bottlenecks Synchronization and communication requirements Application is memory bounded 36
Heterogeneous multi-core computer architectures and
Heterogeneous multi-core computer architectures and Dedicated processing structures for Signal processing applications Nuno Roma Ongoing research! Heterogeneous any-core processing!
Leia maisScheduling Divisible Loads on Heterogeneous Desktop Systems with Limited Memory
Scheduling Divisible Loads on Heterogeneous Desktop Systems with Limited Memory Aleksandar Ilić and Leonel Sousa INESC-ID/ IST, TU Lisbon, Portugal 9 th Workshop on Algorithms, Models and Tools for Parallel
Leia maisTransparent application acceleration by intelligent scheduling of shared library calls on heterogeneous systems September 9, 2013
Transparent application acceleration by intelligent scheduling of shared library calls on heterogeneous systems João Colaço, Adrian Matoga, Aleksandar Ilic, Nuno Roma, Pedro Tomás, Ricardo Chaves adrian.matoga@inesc-id.pt
Leia maisEfficient Locally Trackable Deduplication in Replicated Systems. www.gsd.inesc-id.pt. technology from seed
Efficient Locally Trackable Deduplication in Replicated Systems João Barreto and Paulo Ferreira Distributed Systems Group INESC-ID/Technical University Lisbon, Portugal www.gsd.inesc-id.pt Bandwidth remains
Leia maisA Cloud Computing Architecture for Large Scale Video Data Processing
Marcello de Lima Azambuja A Cloud Computing Architecture for Large Scale Video Data Processing Dissertação de Mestrado Dissertation presented to the Postgraduate Program in Informatics of the Departamento
Leia maisTese / Thesis Work Análise de desempenho de sistemas distribuídos de grande porte na plataforma Java
Licenciatura em Engenharia Informática Degree in Computer Science Engineering Análise de desempenho de sistemas distribuídos de grande porte na plataforma Java Performance analysis of large distributed
Leia maisDigital Cartographic Generalization for Database of Cadastral Maps
Mariane Alves Dal Santo marianedalsanto@udesc.br Francisco Henrique de Oliveira chicoliver@yahoo.com.br Carlos Loch cloch@ecv.ufsc.br Laboratório de Geoprocessamento GeoLab Universidade do Estado de Santa
Leia maisSIMULATION OF FLOW AROUND FLOATING STRUCTURES: SHIPS AND PLATFORMS
2013 CAE NAVAL & OFFSHORE Windsor Guanabara, Rio de Janeiro/RJ Brasil 13 de Junho de 2013 SIMULATION OF FLOW AROUND FLOATING STRUCTURES: SHIPS AND PLATFORMS Alexandre T. P. Alho Laboratório de Sistemas
Leia maisA Tool to Evaluate Stuck-Open Faults in CMOS Logic Gates
FURG A Tool to Evaluate Stuck-Open Faults in CMOS Logic Gates Alexandra L. Zimpeck, Cristina Meinhardt e Paulo F. Butzen Summary Introduction Motivation Stuck-Open Faults Stuck-Open Faults in Nanometer
Leia maisGPU-based Heterogeneous Systems [PCs (CPU + GPU) = Heterogeneous Systems]
GPU-based Heterogeneous Systems [PCs (CPU + GPU) = Heterogeneous Systems] Leonel Sousa and Lídia Kuan and Aleksandar Ili! General Outline GPU-based Heterogeneous Systems CHPS: Collaborative-execution-environment
Leia maisEasy Linux! FUNAMBOL FOR IPBRICK MANUAL. IPortalMais: a «brainware» company www.iportalmais.pt. Manual
IPortalMais: a «brainware» company FUNAMBOL FOR IPBRICK MANUAL Easy Linux! Title: Subject: Client: Reference: Funambol Client for Mozilla Thunderbird Doc.: Jose Lopes Author: N/Ref.: Date: 2009-04-17 Rev.:
Leia maisT Ã O B O M Q U A N T O N O V O
D I S S E R T A Ç Ã O D E M E S T R A D O M A S T E R I N G D I S S E R T A T I O N A V A L I A Ç Ã O D A C O N D I Ç Ã O D E T Ã O B O M Q U A N T O N O V O U M A A P L I C A Ç Ã O E N V O L V E N D O
Leia maisgssjoin: a GPU-based Set Similarity Join Algorithm
gssjoin: a GPU-based Set Similarity Join www.inf.ufg.br 1 / 35 Agenda 1 2 3 4 5 6 2 / 35 Set similarity join returns all pairs of similar sets from a dataset. Sets are considered similar if the value returned
Leia maisInteroperability through Web Services: Evaluating OGC Standards in Client Development for Spatial Data Infrastructures
GeoInfo - 2006 Interoperability through Web Services: Evaluating OGC Standards in Client Development for Spatial Data Infrastructures Leonardo Lacerda Alves Clodoveu A. Davis Jr. Information Systems Lab
Leia maisMulticriteria Impact Assessment of the certified reference material for ethanol in water
Multicriteria Impact Assessment of the certified reference material for ethanol in water André Rauen Leonardo Ribeiro Rodnei Fagundes Dias Taiana Fortunato Araujo Taynah Lopes de Souza Inmetro / Brasil
Leia maisUnifying Stream Based and Reconfigurable Computing to Design Application Accelerators
Unifying Stream Based and Reconfigurable Computing to Design Application Accelerators Bruno Francisco, Frederico Pratas and Leonel Sousa VLSI-SoC 2010 Madrid, Spain Wednesday, September 29th Motivation
Leia maisPlaca de vídeo em CUDA
Placa de vídeo em CUDA Matheus Costa Leone de Souza Krystian Aparacido Resumo Quando você tem um cálculo que possa ser grande demais para você realizar a mão, a primeira solução que lhe vem a cabeça é
Leia maisCANape/vSignalyzer. Data Mining and Report Examples Offline Analysis V
CANape/vSignalyzer Data Mining and Report Examples Offline Analysis V16.0 2018-07-30 Offline Evaluation Tools On-line Tools CANalyzer. Messages CANoe. Messages CANape. Signals Off-line Tools vsignalyzer
Leia maisPerformance and Power Consumption Analysis of Full Adders Designed in 32nm Technology
FURG Performance and Power Consumption Analysis of Full Adders Designed in 32nm Technology Fábio G. R. G. da Silva, Cristina Meinhardt, Paulo F. Butzen 28º Simpósio Sul de Microeletrônica SIM 2013 28º
Leia maisPerformance-aware task management and frequency scaling in embedded systems
Performance-aware task management and frequency scaling in embedded systems Leonel Sousa Francisco Gaspar Aleksandar Ilic Pedro Tomás {las,fgaspar,ilic,pfzt}@sips.inesc-id.pt Signal Processing Systems
Leia maisEspecialização em Engenharia e Administração de Banco de Dados SISTEMA DE GERENCIAMENTO DE BANCO DE DADOS I
Especialização em Engenharia e Administração de Banco de Dados SISTEMA DE GERENCIAMENTO DE BANCO DE DADOS I José Alberto F. Rodrigues Filho beto@beto.pro.br Firebird É a primeira geração, descendente do
Leia maisSimulação Gráfica e Visão Computacional. Soraia Raupp Musse
Simulação Gráfica e Visão Computacional Soraia Raupp Musse Objetivo Analisar exemplos comerciais e do estado-da-arte científicos que utilizam dados reais para aprimorar a qualidade de simulações e animações.
Leia maisProject Management Activities
Id Name Duração Início Término Predecessoras 1 Project Management Activities 36 dias Sex 05/10/12 Sex 23/11/12 2 Plan the Project 36 dias Sex 05/10/12 Sex 23/11/12 3 Define the work 15 dias Sex 05/10/12
Leia maisCIS 500 Software Foundations Fall September(continued) IS 500, 8 September(continued) 1
CIS 500 Software Foundations Fall 2003 8 September(continued) IS 500, 8 September(continued) 1 Polymorphism This version of issaidtobepolymorphic,becauseitcanbeapplied to many different types of arguments.
Leia maisNormas Gráficas do Símbolo e Logótipo aicep Portugal Global aicep Portugal Global Symbol and Logo Graphic Guidelines Capítulo 1 Chapter 1
Normas Gráficas do Símbolo e Logótipo aicep Portugal Global aicep Portugal Global Symbol and Logo Graphic Guidelines Capítulo 1 Chapter 1 Introdução Introduction Normas Gráficas Este manual fornece os
Leia maisNeutron Reference Measurements to Petroleum Industry
LABORATÓRIO NACIONAL DE METROLOGIA DAS RADIAÇÕES IONIZANTES IRD- Instituto de Radioproteção e Dosimetria Neutron Reference Measurements to Petroleum Industry Karla C. de Souza Patrão, Evaldo S. da Fonseca,
Leia maisCapítulo Sistemas de Memória Memória Virtual. Ch7b 1
Capítulo Sistemas de Memória Memória Virtual Ch7b Memória Virtual Memória principal funciona como uma cache para o armazenamento secundário (disco) Virtual addresses Physical addresses Address translation
Leia maisUNIDADE DE PESQUISA CLÍNICA Centro de Medicina Reprodutiva Dr Carlos Isaia Filho Ltda. SAMPLE SIZE DETERMINATION FOR CLINICAL RESEARCH
SAMPLE SIZE DETERMINATION FOR CLINICAL RESEARCH Duolao Wang; Ameet Bakhai; Angelo Del Buono; Nicola Maffulli Muscle, Tendons and Ligaments Journal, 2013 Santiago A. Tobar L., Dsc. Why to determine the
Leia maisManual de Docência para a Disciplina de Análise Matemática II
Universidade Fernando Pessoa Faculdade de Ciência e Tecnologia Manual de Docência para a Disciplina de Análise Matemática II Número de horas do programa: 90 horas Número de horas semanal: 6 horas Número
Leia maisA Aviação no Comércio Europeu de Licenças de Emissão Especificidades para pequenos emissores
A Aviação no Comércio Europeu de Licenças de Emissão Especificidades para pequenos emissores Departamento de Alterações Climáticas, Ar e Ruído (DACAR) Divisão de Poluição Atmosférica e Alterações Climáticas
Leia mais[DataSet11] D:\Fmh\Doutoramento\Tese\Dados\Quantitativos\Questionário Prof essores.sav
USE ALL. FILTER BY filter_$. EXECUTE. CLUSTER CondRelativa ImpRelativa IntegRelativa /METHOD SINGLE /MEASURE=SEUCLID /ID=Id.Prof /PRINT SCHEDULE /PRINT DISTANCE /PLOT DENDROGRAM. [DataSet] D:\Fmh\Doutoramento\Tese\Dados\Quantitativos\Questionário
Leia maisAvaliação de Investimentos em Tecnologia da Informação: uma Perspectiva de Opções Reais
André Fichel Nascimento Avaliação de Investimentos em Tecnologia da Informação: uma Perspectiva de Opções Reais Dissertação de Mestrado Dissertação apresentada ao Programa de Pós-graduação em Engenharia
Leia maisICS-GT INTEGRATED CONTROL SYSTEM FOR GAS TURBINE
ICS-GT INTEGRATED CONTROL SYSTEM FOR GAS TURBINE ICS Gas Turbine Complete Control ICS-GT control system is an plc-based, integrated solution for gas turbine control and protection. The ICS-GT control system
Leia maisLucas de Assis Soares, Luisa Nunes Ramaldes, Taciana Toledo de Almeida Albuquerque, Neyval Costa Reis Junior. São Paulo, 2013
COMPARATIVE STUDY OF THE ATMOSPHERIC DISPERSION MODELS AND THROUGH THE ANALYSIS OF AIR QUALITY IN THE METROPOLITAN REGION OF GRANDE VITÓRIA Lucas de Assis Soares, Luisa Nunes Ramaldes, Taciana Toledo de
Leia maisServiços: API REST. URL - Recurso
Serviços: API REST URL - Recurso URLs reflectem recursos Cada entidade principal deve corresponder a um recurso Cada recurso deve ter um único URL Os URLs referem em geral substantivos URLs podem reflectir
Leia maisNormalização e interoperabilidade da informação geográfica
Normalização e interoperabilidade da informação geográfica perspetivas para a formação em Engenharia Geográfica João Catalão Departamento de Engenharia Geográfica, Geofísica e Energia Faculdade de Ciências
Leia maisAula 21 Ordenação externa
MC3305 Algoritmos e Estruturas de Dados II Aula 21 Ordenação externa Slides adaptados de Brian Cooper (Yahoo Research) Prof. Jesús P. Mena-Chalco jesus.mena@ufabc.edu.br 2Q-2015 1 Números de Ackermann
Leia maisUSPTO No. 15143095 USPTO No. 15143095 USPTO No. 15143095 USPTO No. 15143095 USPTO No. 15143095 USPTO No. 15143095 USPTO No. 15143095 WORK PLAN FOR IMPLEMENTATION OF THE UNITED STATES PATENT AND
Leia maisTÉCNICAS DE COMPUTAÇÃO PARALELA PARA MELHORAR O TEMPO DA MINERAÇÃO DE DADOS: Uma análise de Tipos de Coberturas Florestais
UNIVERSIDADE ESTADUAL DE PONTA GROSSA PRÓ-REITORIA DE PESQUISA E PÓS-GRADUAÇÃO PROGRAMA DE PÓS-GRADUAÇÃO EM COMPUTAÇÃO APLICADA CRISTIAN COSMOSKI RANGEL DE ABREU TÉCNICAS DE COMPUTAÇÃO PARALELA PARA MELHORAR
Leia maisCooperative Execution on Heterogeneous Multi-core Systems
Cooperative Execution on Heterogeneous Multi-core Systems Leonel Sousa and Aleksandar Ilić INESC-ID/IST, TU Lisbon Motivation COMMODITY COMPUTERS = HETEROGENEOUS SYSTEMS Multi-core General-Purpose Processors
Leia maisCollaborative Execution Environment for Heterogeneous Parallel Systems CHPS*
Collaborative Execution Environment for Heterogeneous Parallel Systems CHPS* Aleksandar Ilić and Leonel Sousa *In 12th Workshop on Advances in Parallel and Distributed Computational Models (APDCM/IPDPS
Leia maisExecution Rate. Bytes of Available Memory
Avaliação de Desempenho de Sistemas Lista I Edson Samuel Gonzaga da Silva Júnior esgsj@cin.ufpe.br Aleciano Ferreira Lobo Júnior aflj@cin.ufpe.br Charles Bezerra Moreira cbm3@cin.ufpe.br Ana Carolina Veloso
Leia maisSoftware reliability analysis by considering fault dependency and debugging time lag Autores
Campos extraídos diretamente Título Software reliability analysis by considering fault dependency and debugging time lag Autores Huang, Chin-Yu and Lin, Chu-Ti Ano de publicação 2006 Fonte de publicação
Leia maisSolutions. Adição de Ingredientes. TC=0.5m TC=2m TC=1m TC=3m TC=10m. O Tempo de Ciclo do Processo é determinado pelo TC da operação mais lenta.
Operations Management Homework 1 Solutions Question 1 Encomenda Preparação da Massa Amassar Adição de Ingredientes Espera Forno Entrega TC=0.5m TC=2m TC=1m TC=3m TC=10m TC=1.5m (se mesmo operador) O Tempo
Leia maisErasmus Student Work Placement
Erasmus Student Work Placement EMPLOYER INFORMATION Name of organisation Address Post code Country SPORT LISBOA E BENFICA AV. GENERAL NORTON DE MATOS, 1500-313 LISBOA PORTUGAL Telephone 21 721 95 09 Fax
Leia maisEasy Linux! FUNAMBOL FOR IPBRICK MANUAL. IPortalMais: a «brainmoziware» company www.iportalmais.pt. Manual Jose Lopes
IPortalMais: a «brainmoziware» company www.iportalmais.pt FUNAMBOL FOR IPBRICK MANUAL Easy Linux! Title: Subject: Client: Reference: Funambol Client for Microsoft Outlook Doc.: Author: N/Ref.: Date: 2009-04-17
Leia maisMARCELO DE LIMA BRAZ REDUÇÃO DA QUANTIDADE DE REPROCESSO NO SETOR DE PRODUÇÃO DE CALDOS ALIMENTÍCIOS NA EMPRESA DO RAMO ALIMENTÍCIO (ERA).
MARCELO DE LIMA BRAZ REDUÇÃO DA QUANTIDADE DE REPROCESSO NO SETOR DE PRODUÇÃO DE CALDOS ALIMENTÍCIOS NA EMPRESA DO RAMO ALIMENTÍCIO (ERA). Poços de Caldas / MG 2014 MARCELO DE LIMA BRAZ REDUÇÃO DA QUANTIDADE
Leia mais75, 8.º DTO 1250-068 LISBOA
EAbrief: Medida de incentivo ao emprego mediante o reembolso da taxa social única EAbrief: Employment incentive measure through the unique social rate reimbursement Portaria n.º 229/2012, de 03 de Agosto
Leia maisBanca examinadora: Professor Paulo N. Figueiredo, Professora Fátima Bayma de Oliveira e Professor Joaquim Rubens Fontes Filho
Título: Direção e Taxa (Velocidade) de Acumulação de Capacidades Tecnológicas: Evidências de uma Pequena Amostra de Empresas de Software no Rio de Janeiro, 2004 Autor(a): Eduardo Coelho da Paz Miranda
Leia maisOntology Building Process: The Wine Domain
Ontology Building Process: The Wine Domain João Graça, Márcio Mourão, Orlando Anunciação, Pedro Monteiro, H. Sofia Pinto, and Virgílio Loureiro Summary Context Ontology Wine Domain Existing Wine Ontologies
Leia maisLeonel Sousa 1, Aleksandar Ilić 1, Frederico Pratas 1 and Pedro Trancoso 2 work performed in the scope of HiPEAC FP7 project
Efficient Execution on Heterogeneous Systems Leonel Sousa 1, Aleksandar Ilić 1, Frederico Pratas 1 and Pedro Trancoso 2 work performed in the scope of HiPEAC FP7 project 1 INESC-ID/ ID/ IST, TU Lisbon
Leia maisA MÁQUINA ASSÍNCRONA TRIFÁSICA BRUSHLESS EM CASCATA DUPLAMENTE ALIMENTADA. Fredemar Rüncos
Resumo da Dissertação apresentada à UFSC como parte dos requisitos necessários para obtenção do grau de Mestre em Engenharia Elétrica. A MÁQUINA ASSÍNCRONA TRIFÁSICA BRUSHLESS EM CASCATA DUPLAMENTE ALIMENTADA
Leia maisResumo componentes físicos cooperação entre os actores eficácia eficiência
Resumo Ao longo dos últimos anos as questões ambientais tomaram uma dimensão relevante, passando a ter atenção tanto no campo académico como prático, nomeadamente impondo desafios para a gestão dos sistemas
Leia maisÍNDICE PORTUGUÊS INDEX ENGLISH
ÍNDICE PORTUGUÊS 1. Características... 2 2. Conteúdo da Embalagem... 3 3. Como usar o Receptor de TV Digital... 3 4. Tela de Vídeo... 6 5.Requisitos Mínimos... 6 6. Marcas Compatíveis... 8 INDEX ENGLISH
Leia maisUser interface evaluation experiences: A brief comparison between usability and communicability testing
User interface evaluation experiences: A brief comparison between usability and communicability testing Kern, Bryan; B.S.; The State University of New York at Oswego kern@oswego.edu Tavares, Tatiana; PhD;
Leia maisCyclic loading. Yield strength Maximum strength
Cyclic Test Summary Results SAFECAST Project Yield strength Maximum strength Cyclic loading Yield displacement (d y ) Ultimate displacement Total energy dissipated by the connection Total energy dissipated
Leia maisDPI. Núcleo de Apoio ao Desenvolvimento de Projetos e Internacionalização Project Development And Internationalization Support Office
DPI Núcleo de Apoio ao Desenvolvimento de Projetos e Internacionalização Project Development And Internationalization Support Office Apresentação/Presentation Criado em 1 de março de 2011, o Núcleo de
Leia maisProgramação Paralela Híbrida em CPU e GPU: Uma Alternativa na Busca por Desempenho
124 - Encontro Anual de Tecnologia da Informação Programação Paralela Híbrida em CPU e GPU: Uma Alternativa na Busca por Desempenho André Luís Stefanello¹, Crístian Cleder Machado1, Dioni da Rosa¹, Maurício
Leia maisThe L2F Strategy for Sentiment Analysis and Topic Classification
The L2F Strategy for Sentiment Analysis and Topic Classification Fernando Batista and Ricardo Ribeiro Outline Data Approach Experiments Features Submitted runs Conclusions and future work TASS discussion
Leia maisUma arquitetura baseada em agentes de software para a automação de processos de gerênciadefalhasemredesde telecomunicações
Adolfo Guilherme Silva Correia Uma arquitetura baseada em agentes de software para a automação de processos de gerênciadefalhasemredesde telecomunicações Dissertação de Mestrado Dissertação apresentada
Leia maisMÉTODO DE ANÁLISE DA VULNERABILIDADE COSTEIRA À EROSÃO
MÉTODO DE ANÁLISE DA VULNERABILIDADE COSTEIRA À EROSÃO João Thadeu de Menezes; Antonio Henrique da Fontoura Klein. Laboratório de Oceanografia Geológica.- Centro de Ciências Tecnológicas da Terra e do
Leia maisDEPARTAMENTO DE ENGENHARIA CIVIL E ARQUITETURA
SCHOOL YEAR 01/013 1 ST EXAM 013/01/16 08h00 DURATION: h00 THEORY QUESTIONS (maximum 45 minutes) 1. In a pumped trunk main system explain why the smallest technically viable diameter may not be the least
Leia maisCMOS - Devices. Resistors
Resistors Z A W L sheet resistance If Z = cte, a square (L = W) has a resistance value which is independent of W : R = ρ L / A = ρ L / (W Z) = ρ / Z A rectangle has a resistance: R = ρ L / (W Z) = R L
Leia maisSolid State Drive versus Hard Disk Drive
Solid State Drive versus Hard Disk Drive Outline O Introduction O Literature Review O Method & Materials O Results O Conclusion Background O Data storage devices O Popular in our lives O Known as secondary
Leia maisFaculdade de Engenharia. Transmission Lines ELECTROMAGNETIC ENGINEERING MAP TELE 2007/2008
Transmission ines EECTROMAGNETIC ENGINEERING MAP TEE 78 ast week eneral transmission line equations ( R jω)( G jωc) γ propaation constant and characteristic impedance finite transmission lines reflection
Leia maisOFFSHORE INTERACTIONS
FORWARD Framework for Ria Formosa water quality, aquaculture, and resource development COEXIST Interaction in Coastal Waters: A roadmap to sustainable integration of aquaculture and fisheries OFFSHORE
Leia maisFábio Markus Nunes Miranda. Volume rendering of unstructured hexahedral meshes DISSERTAÇÃO DE MESTRADO
Fábio Markus Nunes Miranda Volume rendering of unstructured hexahedral meshes DISSERTAÇÃO DE MESTRADO Dissertation presented to the Postgraduate Program in Informatics, of the Departamento de Informática,
Leia maisCollaborative Networks the rsptic example espap Entidade de Serviços Partilhados da Administração Pública, I.P. Direitos reservados.
Collaborative Networks the rsptic example 2017 espap Entidade de Serviços Partilhados da Administração Pública, I.P. Direitos reservados. 1 Collaborative Networks for an Intelligent State Intelligent State
Leia maisCOMITÊ DO ESPECTRO PARA RADIODIFUSÃO - CER SPECTRUM DAY 16.08.2011 A REVISÃO DA REGULAMENTAÇÃO DO USO DA FAIXA DE 3,5 GHZ UMA NECESSIDADE COMPROVADA.
COMITÊ DO ESPECTRO PARA RADIODIFUSÃO - CER SPECTRUM DAY 16.08.2011 A REVISÃO DA REGULAMENTAÇÃO DO USO DA FAIXA DE 3,5 GHZ UMA NECESSIDADE COMPROVADA. PAULO RICARDO H. BALDUINO 0 Conteúdo 1. Introdução
Leia maisPaulo Azevedo & Pedro Ferreira. Departamento de Informática Universidade do Minho
Data Mining in Biochemical Data Paulo Azevedo & Pedro Ferreira Departamento de Informática Universidade do Minho 1 Introduction Departamento de Informática tica,, CCTC Paulo Azevedo,, Pedro Ferreira &
Leia maisCHPC Computational Platforms
CHPC Computational Platforms Dorah Thobye Acting Technical Manager Slide 1 OUTLINE CHPC HPC PLATFORMS IBM IBM E1350 LINUX CLUSTER BLUE GENE/P CHALLENGES MACHINE USAGE STATS SUN MICROSYSTEMS SUN Fusion
Leia maisParallel Algorithms for Multicore Game Engines
Lucas Euzébio Machado Parallel Algorithms for Multicore Game Engines TESE DE DOUTORADO DEPARTAMENTO DE INFORMÁTICA Postgraduate program in Informatics Rio de Janeiro March 2010 Lucas Euzébio Machado Parallel
Leia maisDALI TECHNOLOGY. Sistemas e Planeamento Industrial DOMÓTICA. Eng.º Domingos Salvador dos Santos.
Sistemas e Planeamento Industrial DOMÓTICA DALI TECHNOLOGY Eng.º Domingos Salvador dos Santos email:dss@isep.ipp.pt October 2017 Table of Contents DALI System DALI Field Devices DALI Controllers Topologies
Leia maisSelect a single or a group of files in Windows File Explorer, right-click and select Panther Print
Quick Start Guide SDI Panther Print Panther Print SDI Panther products make sharing information easier. Panther Print is an intuitive dialog box that provides a thumbnail view of the file to print, depicting
Leia maisUniversidade Técnica de Lisboa. Faculdade de Motricidade Humana
Universidade Técnica de Lisboa Faculdade de Motricidade Humana O Método Pilates e os seus Efeitos em Termos de Autoeficácia na Musculatura do Pavimento Pélvico em Mulheres com Incontinência Urinária de
Leia maisAvaliação de Desempenho do Método de Lattice Boltzmann em Arquiteturas multi-core e many-core
Avaliação de Desempenho do Método de Lattice Boltzmann em Arquiteturas multi-core e many-core Matheus S. Serpa 1, Claudio Schepke 1, João V. F. Lima 2 1 Ciência da Computação Universidade Federal do Pampa
Leia maisGeneration and Analysis of Android Benchmarks with Different Algorithm Design Paradigms
Grupo de Arquiteturas e Circuitos Integrados - GACI Universidade Federal de Pelotas UFPel Pelotas RS Brasil Generation and Analysis of Android Benchmarks with Different Algorithm Design Paradigms Andrws
Leia maisLeica Sprinter 50 / 150 / 150M / 250M Push the Button
Leica Sprinter 50 / 150 / 150M / 250M Push the Button Leica Sprinter 50 / 150 Construction Levels Product Offering Sprinter 50 (Standard / US) Art. No. 762628 / 764686 Sprinter 50, 2.0 mm, electronic level
Leia maisPerformance Evaluation of Software Architectures. Outline. José Costa 2011-03-22. Software architectures - exercises. Software for Embedded Systems
Performance Evaluation of Software Architectures José Costa Software for Embedded Systems Department of Computer Science and Engineering (DEI) Instituto Superior Técnico 2011-03-22 José Costa (DEI/IST)
Leia maisScientific data repositories: the USP experience
Scientific data repositories: the USP experience Superintendência de Tecnologia da Informação 2018 : Sylvio Canuto Antonio Mauro Saraiva Superintendência de TI: João Eduardo Ferreira Fátima L. S. Nunes
Leia maisD I E C A S T I N G P L Á S T I C O S C O M P O N E N T E S
D I E C A S T I N G P L Á S T I C O S C O M P O N E N T E S A Empresa The Company Atuação Operation Fundada em 1987, a JN Ferramentaria ingressou no mercado usinando peças técnicas de precisão para equipamentos
Leia maisTranscript name: 1. Introduction to DB2 Express-C
Transcript name: 1. Introduction to DB2 Express-C Transcript name: 1. Introduction to DB2 Express-C Welcome to the presentation Introduction to DB2 Express-C. In this presentation we answer 3 questions:
Leia maisCaracterização dos servidores de email
Caracterização dos servidores de email Neste documento é feita a modulação de um servidor de email, com isto pretende-se descrever as principais funcionalidades e características que um servidor de email
Leia maisDefinindo melhor alguns conceitos
Definindo melhor alguns conceitos Processamento Paralelo: processamento de informação concorrente que pertencem a um ou mais processos que resolvem um único problema. Processamento Distribuído: processamento
Leia maisPROVA DE EXATAS QUESTÕES EM PORTUGUÊS:
PROVA DE EXATAS QUESTÕES EM PORTUGUÊS: 1) Crie um programa (em alguma linguagem de programação que você conheça) que, dado N > 0 e uma seqüência de N números inteiros positivos, verifique se a seqüência
Leia maisNúmero: Nome:
Número: Nome: 1 -------------------------------------------------------------------------------------------------------------- INSTITUTO SUPERIOR TÉCNICO Sistemas de Apoio à Decisão Exame 1 20 junho 2006
Leia maisEnglish version at the end of this document
English version at the end of this document Ano Letivo 2017-18 Unidade Curricular INFORMÁTICA E PROGRAMAÇÃO Cursos ENGENHARIA MECÂNICA (1.º ciclo) ANO ZERO - ISE Unidade Orgânica Instituto Superior de
Leia maisManual de Docência para a disciplina de Algoritmia e Programação 2005/2006 Engenharia Informática, 1º ano José Manuel Torres
Manual de Docência para a disciplina de Algoritmia e Programação 2005/2006 Engenharia Informática, 1º ano José Manuel Torres Número de horas do programa: 60 horas Número de horas Semanal: 4 Horas Número
Leia maisMil-Spec Numbering System Defined
Mil-Spec Numbering System Defined Non-Wirewound RJ s MIL-RF-22097 RJ24 F W 103 Temperature Coefficient Max. ±100 ppm/ c Contact Resistance Variation Max. 1 % Thermal Shock 1 % Humidity 1 % Shock 1 % Vibration
Leia maisSession 8 The Economy of Information and Information Strategy for e-business
Session 8 The Economy of Information and Information Strategy for e-business Information economics Internet strategic positioning Price discrimination Versioning Price matching The future of B2C InformationManagement
Leia maisForensics.
E-mail Forensics www.paraben.com What is a local storage archive? Local storage archives are any archive that has independent archive format from a mail server. Examples of these types of archives include:.pst,.mbx,.dbx,
Leia maisIntroduction to Network Design and Planning
Introduction to Network Design and Planning Joao.Neves@fe.up.pt 1 In the Beginning... The project of a Network was the result of the inspiration of a guru or an "artist" (after all was considered an art...)
Leia maise-lab: a didactic interactive experiment An approach to the Boyle-Mariotte law
Sérgio Leal a,b, João Paulo Leal a,c Horácio Fernandes d a Departamento de Química e Bioquímica, FCUL, Lisboa, Portugal b Escola Secundária com 3.º ciclo Padre António Vieira, Lisboa, Portugal c Unidade
Leia maisManual de normas gráficas Graphic guidelines handbook 2008
Manual de normas gráficas Graphic guidelines handbook 2008 Introdução Introduction Este documento fornece as normas para a correcta utilização e reprodução da Identidade Visual da Cavalum SGPS, S.A. Serve
Leia maisService quality in restaurants: an experimental analysis performed in Brazil
. XIII INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND OPERATIONS MANAGEMENT Energy that moves production: a dialogue among integration, project and sustainability 09-11 October 2007 Service quality
Leia maisSISTEMAS DISTRIBUÍDOS 1º EXAME
SISTEMAS DISTRIBUÍDOS 1º EXAME Ano Lectivo: 2005/2006 Data: 12 de Junho de 2006 Ano Curricular: 4º Ano 2º Semestre Duração: 2h00 INFORMAÇÕES GERAIS 1. O exame encontra-se em Inglês devido à existência
Leia maisDesigning drive controllers with Matlab - Simulink 1kW
Eletrónica de potência Equipment and systems for vocational qualifications and engineering education on the following topics: Electrical machines, power electronics, drive technology Complete machine labs,
Leia mais