Probabilistic inference schemes for sparsity structures of Fortran 90 array intrinsics

2001 ◽  
Author(s):  
Rong-Guey Chang ◽  
Jia-Shin Li ◽  
Jenq Kuen Lee ◽  
Tyng-Ruey Chuang
Keyword(s):  
Probabilistic Inference ◽  
Fortran 90

Task information and performance in probabilistic inference tasks.

1976 ◽  
Author(s):  
Berndt Brehmer ◽  
Jan Kuylenstierna ◽  
Jan-Erik Liljergren
Keyword(s):  
Probabilistic Inference ◽  
And Performance

Computational Techniques for Probabilistic Inference

1991 ◽  
Author(s):  
Edward H. Shortliffe ◽  
Gregory F. Cooper
Keyword(s):  
Probabilistic Inference ◽  
Computational Techniques

APPLICATION OF THE EMPIRICAL MODE DECOMPOSITION METHOD TO GROUND-ROLL NOISE ATTENUATION IN SEISMIC DATA

2013 ◽  
Vol 31 (4) ◽  
pp. 619 ◽  
Author(s):  
Luiz Eduardo Soares Ferreira ◽  
Milton José Porsani ◽  
Michelângelo G. Da Silva ◽  
Giovani Lopes Vasconcelos
Keyword(s):  
Empirical Mode Decomposition ◽  
Seismic Data ◽  
Low Frequency ◽  
High Amplitude ◽  
Seismic Line ◽  
Seismic Processing ◽  
Mode Decomposition ◽  
Ground Roll ◽  
Fortran 90 ◽  
Emd Method

ABSTRACT. Seismic processing aims to provide an adequate image of the subsurface geology. During seismic processing, the filtering of signals considered noise is of utmost importance. Among these signals is the surface rolling noise, better known as ground-roll. Ground-roll occurs mainly in land seismic data, masking reflections, and this roll has the following main features: high amplitude, low frequency and low speed. The attenuation of this noise is generally performed through so-called conventional methods using 1-D or 2-D frequency filters in the fk domain. This study uses the empirical mode decomposition (EMD) method for ground-roll attenuation. The EMD method was implemented in the programming language FORTRAN 90 and applied in the time and frequency domains. The application of this method to the processing of land seismic line 204-RL-247 in Tacutu Basin resulted in stacked seismic sections that were of similar or sometimes better quality compared with those obtained using the fk and high-pass filtering methods.Keywords: seismic processing, empirical mode decomposition, seismic data filtering, ground-roll. RESUMO. O processamento sísmico tem como principal objetivo fornecer uma imagem adequada da geologia da subsuperfície. Nas etapas do processamento sísmico a filtragem de sinais considerados como ruídos é de fundamental importância. Dentre esses ruídos encontramos o ruído de rolamento superficial, mais conhecido como ground-roll . O ground-roll ocorre principalmente em dados sísmicos terrestres, mascarando as reflexões e possui como principais características: alta amplitude, baixa frequência e baixa velocidade. A atenuação desse ruído é geralmente realizada através de métodos de filtragem ditos convencionais, que utilizam filtros de frequência 1D ou filtro 2D no domínio fk. Este trabalho utiliza o método de Decomposição em Modos Empíricos (DME) para a atenuação do ground-roll. O método DME foi implementado em linguagem de programação FORTRAN 90, e foi aplicado no domínio do tempo e da frequência. Sua aplicação no processamento da linha sísmica terrestre 204-RL-247 da Bacia do Tacutu gerou como resultados, seções sísmicas empilhadas de qualidade semelhante e por vezes melhor, quando comparadas as obtidas com os métodos de filtragem fk e passa-alta.Palavras-chave: processamento sísmico, decomposição em modos empíricos, filtragem dados sísmicos, atenuação do ground-roll.

scholarly journals Making legacy Fortran code type safe through automated program transformation

2021 ◽  
Author(s):  
Wim Vanderbauwhede
Keyword(s):  
Side Effect ◽  
Program Transformation ◽  
The Novel ◽  
Formal Approach ◽  
Type Checking ◽  
Type Safety ◽  
Fortran Code ◽  
Fortran 90 ◽  
Code Type ◽  
Fortran 77

AbstractFortran is still widely used in scientific computing, and a very large corpus of legacy as well as new code is written in FORTRAN 77. In general this code is not type safe, so that incorrect programs can compile without errors. In this paper, we present a formal approach to ensure type safety of legacy Fortran code through automated program transformation. The objective of this work is to reduce programming errors by guaranteeing type safety. We present the first rigorous analysis of the type safety of FORTRAN 77 and the novel program transformation and type checking algorithms required to convert FORTRAN 77 subroutines and functions into pure, side-effect free subroutines and functions in Fortran 90. We have implemented these algorithms in a source-to-source compiler which type checks and automatically transforms the legacy code. We show that the resulting code is type safe and that the pure, side-effect free and referentially transparent subroutines can readily be offloaded to accelerators.

Fortran 90 & 95 linked list operations

1997 ◽  
Vol 16 (2) ◽  
pp. 18-22
Author(s):  
Loren P. Meissner
Keyword(s):  
Linked List ◽  
Fortran 90
Sign in / Sign up

Export Citation Format

Share Document