13TH WORLD CONGRESS ON COMPUTATION AND ... Liska Construction of large-scale simulation codes using...

14
IMACS '91 13TH WORLD CONGRESS ON COMPUTATION AND APPLIED MATHEMATICS JULY 22 - 26, 1991 TRINITY COLLEGE DUBLIN IRELAND PROCEEDINGS IN FOUR VOLUMES UNIVERSITATSRIBt iOTHEK TIB/UB Hannover 89 128 787 856 INF

Transcript of 13TH WORLD CONGRESS ON COMPUTATION AND ... Liska Construction of large-scale simulation codes using...

IMACS '91

13TH WORLD CONGRESSON

COMPUTATION AND APPLIEDMATHEMATICS

JULY 22 - 26, 1991TRINITY COLLEGE DUBLIN

IRELAND

PROCEEDINGSIN FOUR VOLUMES

UNIVERSITATSRIBt iOTHEKTIB/UB Hannover 89128 787 856

INF

KEYNOTE PAPERS

Quality control of finite element analysis 1/ Babuska

Hamiltonian algorithms and scientific computation 2Feng Kang

AREA 1. COMPUTATIONAL MATHEMATICS 1

Invited Paper:Triangular recursion schemes in numerical analysis

C Brezinski, G Walz

APPROXIMATION THEORYOrganized by: Claude Brezinski

Prediction of the numerical solution of parabolicproblems 6

M Morandi Cecchi, M Redivo Zaglia, G ScennaAcceleration property of the e-algorithm 8

Ana C Matos, Marc PrivostIs it really old-fashioned to compute hypergeometricfunctions by means of continued fractions? 10

Lisa LorentzenA Szeg6 quadrature formula for the Poisson integral 12

Haakon WaadelandMultipoint Pade-type approximants 14

Jearmette Van Iseghem

SPECIAL FUNCTIONSOrganized by: Luigi Gatteschi

Uniform asymptotic expansions of integrals withmany coalescing saddle points: associatedpolynomials 16

KSoni, R P SoniUniform asymptotic expansions in terms ofmodified Bessel functions: associated polynomials 18

KSoni, RP SoniThe discrete Liouville-Green approximation withapplications to orthogonal polynomials 19

Renato Spigler, Marco VianelloAsymptotic inversion of a class of cumulativedistribution functions 21

NMTemmeSome formulas with numerical applications forStruve, Meijer and hypergeometric functions 23

Renato Zanovello

Invited paper:Vector processing from the mathematical pointof view 27

UKulisch

NUMERICAL VALIDATION - TOOLS ANDAPPLICATIONS I

Organized by: Ulrich Kulisch

PASCAL-XSC: A PASCAL extension for scientificcomputing running on PCs, workstations,mainframes, and supercomputers 28

Michael NeagaA comparison of the numerical facilites of Fortran-SCand Fortran 90 30

Wolfgang V WalterVerified solution of eigenvalue problems with sparsematrices 32

WKrdmerC-XSC A programming environment for eXtendedscientific computation 34

Christian Lawo

Invited paper:Numerical verification methods for the solution ofnonlinear elliptic and parabolic problems 35

Mitsuhiro T Nakao

TOOLS AND LANGUAGES FOR SCIENTIFICCOMPUTATION

Organized by: Ch Ullrich, J Wolff von Gudenberg

Introduction to tools and languages for scientificcomputation 37

Christian P Ullrich, Jiirgen Wolff von GudenbergAccurate arithmetic in an ada environment 40

G S HodgsonThe exact floating point operation principle 42

David WMatulaAquarels: A problem-solving environment fornumerical quality 45

J Erhel, B PhilippeFlows with nonequilibrium heat addition near Machnumber one 47

Giinter H SchnerrABACUS 52

Siegfried M Rump, Dirk Husung

ERROR ANALYSIS IN COMPUTING AND VALIDITYOF NUMERICAL SOFTWARE

Organized by: Jean Vignes

A computer estimation of the actual convergenceorder of sequences 5 4

Rene AltStochastic arithmetic properties 56

Jean-Marie ChesneauxThe SCALP perturbation method 5 9

Phillipe Francois, Jean-Michel MidlerSets of floating-point results associated with analgebraic algorithm 61

Michele Pichat

An optimal stopping criterion for the computation ofan approximate projection in Karmarkar's algorithm 63

Dominique Tachat, Pierre Tolla

ARBITRARY ACCURACY WITH VARIABLEPRECISION COMPUTING

Organized by: Ramon Moore

Computer algebra and variable precision computing 65FKruckeberg

Precise solution of differential equations using rangearithmetic 67

Oliver AberthThe application of variable precision intervalarithmetic to the solution of problems in vortexdynamics 69

Jeffrey S ElyNonuniform variable precision computing 71

H Ratschek, Jon RokneVariable precision computing: strategies forimproving efficiency 73

Ramon Moore

WAVELETS AND THEIR ROLE IN COMPUTATIONAND APPLIED MATHEMATICS

Organized by: M Z Noshed, Gilbert G Walter

Reconstruction of band-limited signals 75Robert Kreczner

Computational aspects of an optimal linear predictionformula for band-limited signals 7 8

DaleHMuglerOn the convolution structure of integral transforms 80

Hans-Jurgen GlaeskeOrthogonal wavelet expansions - the best of two worlds 81

Gilbert G WalterA new role of sampling theory in the theory of specialfunctions 83

Ahmed I ToyedSampling, interpolation and time-frequencylocalization in the Bargmann-Fock space 85

Kristian Seip

NUMERICAL ANALYSISOrganized by: Salah El-Gendi

On constructing spline approximations for solvingCauchy problem II 87

Abdul S Muckbil

AREA 2. COMPUTATIONAL MATHEMATICS H

THE GENERATION OF NUMERICAL CODE USINGSYMBOL MANIPULATION

Organized by: Stanly Steinberg, Patrick Roache

Generating FORTRAN code for finite-volumealgorithms 89

Stanly Steinberg, Patrick RoacheResultant based code generation for the stabilityanalysis of difference schemes with the aid of theREDUCE system 91

V G Ganzha, E V VorozhstovNumerical code generation for finite difference schemessolving 92 v j

Richard LiskaConstruction of large-scale simulation codes usingALPAL 94

Grant O Cook Jr. Jeffrey F Painter

MAPLE AND ITS APPLICATIONSOrganized by: David Harper

TRANS: a Maple package for transforming series,sequences and functions 95

J GrotendorstSome applications of Maple symbolic computation toscientific and engineering problems 98

Tony C Scott, Greg J FeeA Maple implementation of Whitham's averagedLagrangian technique 104

T D Arbuckk, J M ArnoldSome nonlinear control system analysis and designwith Maple 105

Braem de Jager

CONTRIBUTED PAPERS

AMPL - a mathematical programming language 107Lindsay C Botten, Martin J Caden

A portable pascal-xsc development system 111Ulrich Allendoerfer, Dmitry Shiriaev

The concept of super-high-resolution measurementcomputer system 113

Yu P Pyt'ev

DIRICHLET AND DELAUNAY TESSELATIONS -CONSTRUCTION AND APPLICATIONS

Organized by: Brian J McCartin

Tetrahedral mesh generation by a constrainedDelaunay triangulation 114

Timothy J BakerThree-dimensional boundary-constrainedtriangulations 116

Barry JoeAutomatic Delaunay/Dirichlet unstructured meshgeneration for the solution of PDEs 118

Robert ELaBarreA discrete vector field theory and some applications 120

R A NicolaidesScattered data fitting using a constrained Delaunaytriangulation 122

Robert J Renka, Alan K Cline

CONTRIBUTED PAPERS

On the production of points lying on general conieswith reference to use with conic splines 124

Leslie R NealComparison of staggered and non-staggeredcalculations when using curvilinear non-orthogonalcoordinates 12"

M C MelaaenLimit analysis with unbounded convex yield condition 129

Edmund ChristiansenThe algorithm of the shortest geodesic between the twopoints on a combination object 131

Zhao Anping

COMPUTATIONAL GEOMETRY AND ROBOTICSOrganized by: Colm O'Dunlaing

Fortune's Voronoi sweepline method for convex sites 133Colm O'Dunlaing

Metrics and algorithms for measuring the resemblanceof curves 135

Helmut Alt, Michael GodauOn-line geometric algorithms with good expectedbehaviours 137

Jean-Daniel Boissonnat, Olivier Devillers, ReneSchott, Monique Teillaud, Mariette Yvinec

On the complexity of the free space for motionplanning problems 140

A F van der Stappen, MH OvermarsShortest rectilinear path problems 142

Mark de Berg

NUMERICAL OPTIMIZATION: APPLICATIONS ANDSOFTWARE

Organized by: John J McKeown

An interactive approach to solving nonlinear leastsquares problems 144

J J McKeownTruncated-Newton and conjugate gradient methods fornonlinear optimization on parallel computer 147

Domenico Conforti, Luigi de Luca, RobertoMusmanno

Accurate scalar products and optimization 149M C Bartholomew-Biggs

Global optimization methods in finding the minimumenergy of a molecule 151

M Bertocchi, A Butti, M RagazziKnowlege-based front-ends for large numerical libraries 153

Peter C SamuelsParallel nonsmooth optimization method byquasidifferential calculus 155

A Perreti, C Sutti

NUMERICAL TECHNIQUES IN LARGE SCALEOPTIMIZATION

Organized by: Jacek Gondzio

Tradeoffs in algorithms for separable nonlinear leastsquares 157

David M Gay, Linda KaufmanApplying Schur complements for handling linearprogramming bases 159

Jacek GondzioLarge-scale stochastic linear programs - importancesampling and benders decomposition 161

George B Dantzig, Gerd InfahgerInterior point methods for large scale mathematicalprogramming 166

David F ShannoDense columns and interior-point methods for LP 168

Robert J Vanderbei

OPTIMIZATION WITH STATISTICAL ANDDETERMINISTIC SEARCH PROCEDURES

Organized by: E R Liider

Guassian adaptation, an evolution-based stochasticsearch process 170

Gregor Kjellstrom, Lars ToxinThe exploration of multidimensional space: a criticalindustrial problem 174

Robert SpenceA unified approach towards nominal and tolerancedesign 176

Kurt J Antreich, Helmut E GraebA generalized approach to circuit performancevariability reduction: methods and algorithms 182

M A StyblinskiOptimization of systems with deterministic andstatistical search procedures 184

E Luder, J Schaepperle

GLOBAL OPTIMIZATION AND OPTIMAL DESIGNOrganized by: A Zilinskas

Parallel topographical global optimization 186Aimo Torn

MULTIVALUED PROCESSES IN CONTROL ANDOPTIMIZATION

Organized by: MZNashed, Gilbert G Walter

Necessary conditions for optimal control problemsgoverned by hemivariational inequalities 188

P D PanagiotopoulosThe polarization principle in dynamic optimization 191

W Oettli

CONTRIBUTED PAPERS

An optimization methodology of non packet accessinto the PSDN 193

Soraya Bestaoui, Emilia TachevaAn improving gradient optimization method 195

Wang Zicai, Zhang Jiayu, Zhao ChanganComputational experience with a dual simplexalgorithm for network piecewise - linear programs 197

Clovis Per in, Fernando August o Silva Mar insGlobal minimization using cubical method 199

Ahmed H L Al Mohanadi, Mostafa Y MakkeyCharacterization and computation of bifurcation pointswith corank two 201

Basem S AttiliDynamical processes simulation by using expansion ofintegrated convolution function in Taylor series 204

Adam Zuchowski, Bogdan GrzywaczThe method of guaranteed finding of complexconservative systems discrete spectra 206

A V PesterevAlgorithms for termwise integration of Walsh scriesand their application to solution of delay-differentialsystems 208

Masaaki Ohkita, Hitoshi Miyata, YasuhiroKobayashi

Genetic algorithms for planarization problems 211F Cornelias

Tychonov-Phillips regularization applied tononuniform sampling 213

MZwaanExtended interpolation method and its applications inpiecewise approximations 215

Shi Huli, Yan YihuaNewton-parabola combined method for solvingequations 217

Zollan SzaboAn acceleration technique for a non-overlapped domaindecomposition method 219

CHLai

Algorithmic properties of linear multistep methods fordamped structural dynamics equations 221

Fabio Brancaleoni, Liberato CaviniOn mean convergence of Hermite interpolation basedon the zeros of Jacobi polynomial 223

Guohua MinEigenfrequency analysis of Helmholtz equation via theboundary element method 225

S M Kirkup, S AminiA generalization of the selection problem in digraphs 227

Arlene Fortunato Machado, Clovis Perin FilhoCollocation method to solve boundary value problemsfor arbitary boundaries 229

Ferdinand F CapNumerical approach to the zeros of polynomials 231

Edward M IbrahimSolution of a set of linear equations by matrixdecomposition 232

Iraj Harsini, Mansour Nikkhah BahramiAsympthotic expansions and numerical solutions ofsingular perturbations with a turning point 234

Vesna DJ VrceljOn reformed Krylov's method 23 6

Kazuo Hatano, Yasuyo Hatano, Taketomo MitsuiA widely convergence method for the inverse problemof operator identification 238

Han Bo, Liu Jia-qiHermite interpolation algorithm for evaluatinghypersingular boundary integrals 240

L / Gray, Carol San SoucieThe iterative transformation method: free or movingboundary value problems 242

Riccardo FazioOn the numerical stabilities of difference schemes 244

Wu ZhengBounding solutions of nonlinear equations withinterval analysis 246

F Aleixo OliveiraSome aspects concerning with the minimax series 248

Francisco Perez Acosta, Pablo Gonzalez Vera,Severiano Gonzalez Pinto

A uniform scheme for certain Riccati-type equations 250Severiano Gonzalez Pinto, Pablo Gonzalez Vera,Francisco Perez Acosta

Cycle graph of 3-regular graphs 252Ma Lirio G Blado-Gregorio, Jaime D L Caro

An E-uniformly convergent triangular finite elementmethod for a singularly perturbed problem 254

John J H Miller, Song WangAnother look at aliasing in Paley-Wiener spaces 256

J R HigginsReliability of error estimates to quadrature formulae 258

FJ Smith, HO'HaraDivergence of the Galerkin method for singularintegral equations 259

Ezio VenturinoAverage number of real roots of random harmonicequations -II 261

NNNayak, S BaghKV-integral formula for natural cubic spline function 265

Krishnanand Verma

AREA 3. ORDINARY AND PARTIAL DIFFERENTIALEQUATIONS

PARALLEL ODE AND PDE SOLVERSOrganized by: Pieter van der Houwen, D J Evans

Parallel implementation of waveform-relaxationmethod for ODE's 267

Alfredo Bellen, Fulvio TagliaferroEfficient block predictor-corrector methods with asmall number of corrections 268

Kevin BurrageImplementation of parallel methods in ada for thenumerical solution of two-point boundary-valueproblems 270

John Carroll, Padraig KeenanStability analysis of waveform-relaxation Runge-Kuttamethods 271

Alfredo Bellen, Z Jackiewicz, Marino ZennaroParallel Volterra-Runge-Kutta methods 273

M R Crisci, P J van der Houwen, E Russo, AVecchio

Parallel iterated Runge-Kutta methods for stiffordinary differential equations 275

B P SommeijerExplicit block iterative methods on parallel computers 277

DJ Evans

NUMERICAL SOLUTION OF STIFF INITIAL VALUEPROBLEMS

Organized by: / C Butcher, J R Cash

The state of the art in the convergence theory for stiffODEs 280

W Auzinger, R Frank, G Kir lingerSufficent conditions for uniformly second-orderconvergent schemes for stiff initial-value problems 285

John CarrollEstimating local truncation errors for Runge-Kuttamethods 286

J C Butcher, P B JohnstonOn the design of modified Adams methods for initialvalue problems 288

J R Cash, S SemnaniSome linear iteration schemes for implicit Runge-Kuttamethod 289

G J Cooper, R VignesvaranLong time backward error analysis of ODE's 291

Timo EirolaTolerance proportionality for systems of ODEs withconstant delays 293

Desmond J HighamAQ - stability of variable stcpsize BDF methods 295

M Calvo, JI Montijano, L RdndezTwo-step error estimators for singly-implicitRunge-Kutta methods 297

Alfredo Bellen, Zdzislaw Jackiewicz, MarinoZennaro

NUMERICAL SOLUTION OF TWO POINT BOUNDARYVALUE PROBLEMS

Organized by: JR Cash

The numerical solution of two-point boundary valueproblems having removable singularities 298

J R Cash, H H M SilvaParallel treatment of block bi-diagonal matrices in thesolution of ordinary differential boundary valueproblems 300

K WrightBoundary value ODE algorithms for bifurcationanalysis 302

Lixin Liu, Robert D Russell

STABILITY PROPERTIES OF NUMERICAL METHODSFOR SOLVING INTEGRAL AND DIFFERENTIALEQUATIONS

Organized by: Baruch Cahlon

Stability of continuous quadrature rules for pure delaydifferential equations 304

Lucio Torelli, Rossana VermiglioAnalysis of the Turkel Zwas scheme for the shallowwater equations on a sphere 305

B Neta, IM NavonAn existence theorem for infinite-horizonlinear-quadratic mathematical programming 307

/ E Schochetman, S K Tsui, R L SmithA new interpolation procedure for adaptingRunge-Kutta methods to delay differential equations 309

KJin'tHoutOn the numerical stability of Volterra integralequations 310

Baruch Cahlon, Andre Deutz

CONTRIBUTED PAPERS

Walsh function analysis of implicit systems with splitboundary conditions 312

D W Fountain, F L LewisNonlinear matrix differential equations 314

John Jones JrNumerical treatment of stochastic Volterraintegro-differential equations 320

Athena MakroglouLegendre versus Chebyshev polynomials 324

A M CohenUniform convergence of a perturbed collocation methodfor Cauchy integral equations 326

Jose A CuminatoConjugate gradient's performances enhanced in the CFDcode N3S by using a better vectorization of matrixvector product 328

J P Gregoire, B Nitrosso, G PotLie groups and reduction of systems of partialdifferential equations 330

John H NixonAsymptotic behaviour of coupled matrix-Riccati-differential equation: a computer algebra approach 331

H Abou-Kandil, Gerhard JankA free oscillation based technique for the identificationof nonlinear dynamic systems 333

Fabio Brancaleoni, Daniele Spina, ClaudioValente

The application of Legendre-type polynomials in thesolution of boundary value problems 335

Nevenka AdzicNumerical solution of random Cauchy singular integralequation . 337

M Sambandham, T S Srivatsan, K B BotaOn the usage of one-step ODE solvers as predictors forstructural equilibrium path evaluations 339

Anders ErikssonIntegral variant of the tau method for differentialequations with algebraic nonlinearities 341

Valentin I Bilenko, Imre D Dobra

SYMMETRY METHODSOrganized by: William F Ames

Waves in hole enlargement: symmetry analysis 343W F Ames, M C Nucci

Group properties of a subclass of Monge-Ampere

equation 345DJArrigo

A mathematical problem of rotary kiln reactors 347John R Ferron

Interactive REDUCE programs for calculating classical,non-classical, and approximate symmetries ofdifferential equations 349

Maria Clara NucciOn computational chaos for the Lorenz ODEs 351

E Adams, WKUhnDiverting difference solutions, particularly in celestialmechanics 353

E Adams, WRufegerApproximate invariant solutions to dissipativesystems 355

A Donato, A PalumboA class of linearizable models of interest to wavepropagation 357

D Fusco.N ManganaroContinuous dependence results in thermoelasticity 359

Karen A Ames, Brian StraughanSymmetry reduction of a partial differential equationdescribing nonlinear waves in a compacting medium 361

DP MasonAnalysis of an equation arising in general relativity 363

PGLLeachStiff systems of second-order ordinary differentialequations 365

Janusz R Mika, Jan M KozakiewiczSemi-symmetry reduction of partial differentialequations 367

M L Abell.WF AmesThe implicit Euler method and singular perturbationtheory 369

R A B Bond, J R MikaAlgebraic construction of integrable equations in (1+1)and (2+1) dimensions 371

Boris G Konopelchenko, Walter OevelGroup analysis of finite-difference equations 373

V Dorodnitsyn

SIMULATION AND IDENTEFICATION OF THERMALSYSTEMS

Organized by: L Michalski

Numerical simulation of the operation of big electricbell-furnace 374

Krzysztof T JanuszkiewiczA special local function method for heat conductionmodelling 376

Imrich Kostial, Igor Podlubny

NUMERICAL METHODS FOR BOUNDARYEIGENVALUE PROBLEMS

Organized by: F Goerisch, C Beanie

Numerical realization of eigenvalue bounds for self-adjointoperators 377

Christopher Beattie, Gyou-Bong LeeVerified bounds to eigenvalues for eigenvalue problemswith differential equations 379

Henning BehnkeBounds to critical Rayleigh-numbers for axisymmetricconvection in cylinders 381

Erich BurgelEstimation of the effect of numerical integration infinite element eigenvalue approximation 383

John E Osborn

Computer-assisted existence proofs for nonlinearboundary value problems 385

Michael PlumLehmann-Galerkin intervals for eigenvalues ofselfadjoint eigenvalue problems 387

Sabine Zimmermann

CONTRIBUTED PAPERS

Parabolized algorithm for the advection-diffusionequation 388

FNatafPareto control of system governed by elliptic operatorsof infinite order 390

SAEl-ZahabyA normal mode interpretation of a range dependentparabolic wave equation 392

Roger M ObaContractivity of a numerical scheme for reactiondiffusion systems 394

Luciano Galeone, Carmela MastroserioSpline-operational calculus and some ill-posedproblems 397

VA ZheludevTime domain inverse scattering for coupled thermo-elastic wave problems 399

David JN WallZonoids as a geometric tool for first order quasilinearequations in several space dimensions 400

Patrick Valentin

MESH GENERATION AND ADAPTION FOR THEBOUNDARY ELEMENT METHOD

Organized by: Robert L Mullen, Joseph J Rencis

An r-adaptive heirarchical boundary element methodapplied to fracture calculations 403

WSHall.TTHibbsThe geometric mesh and the h-p version of boundaryelement method 405

Benqu GuoThe p-adaptive BEM: mathematical tools and practicalengineering applications 407

M CerrolazaOn the rate of convergence of the p-version BEM overpolyhedral surfaces 409

Christoph Schwab, Manil SuriVariable-number-nodes boundary elements and theirapplication 411

Ruixia Li

ADAPTIVE GRIDS IN CFDOrganized by: B Larrouturou, A Dervieux

Adaptive stretched finite element for viscousincompressible and compressible flows 413

M O Bristeau, B Mantel, M G ValletAdaptive finite element methods for convection-diffusion problems 415

Kenneth Eriksson, Claes JohnssonThe capture of viscous layers by non structured meshdeformation 418

B Palmerio, A Dervieux

RADIAL BASIS FUNCTIONS IN 2D AND 3DOrganized by: EJKansa

Multiquadric interpolation of fluid speeds in a naturalriver channel 420

Houston C SaundersonGeo-information and image processing usingmultiquadric equations 422

Wolfgang GopfertVarying the shape parameters of rational continuity 424

Dinesh Manocha, Brian A BarskyA contribution of the multiquadric method: interpolationof potential inside the earth 426

RollandL HardyRadial basis methods on track data 428

R E Carlson, T A FoleyThe impact of variable R2 on the condition number andaccuracy of multiquadric interpolation 430

E J Kansa. R E CarlsonMoving least squares interpolation with thin-platesplines 432

K SalkauskasRegularization, radial basis functions, and recentextensions of networks for learning 434

Federico Girosi, Tomaso PoggioExact and approximate solutions of initial/boundaryvalue problems for systems of coupled partialdifferential equations 436

LJddar.AGLaw

NONORTHOGONAL GRID GENERATION ANDDISCRETIZATION METHODS

Organized by: Patrick Roache, Stanly Steinberg

Discretizing elliptic operators in general logically-rectangular grids 439

Stanly Steinberg, Patrick J RoacheDiscretization on a general staggered grid 441

D L Sulsky, J U Brackbill

CONTRIBUTED PAPERS

Numerical Riemann solutions for two-dimensionalconservation laws by second order accuratenonsplitting MmB schemes 443

Shu-li YangConvergence rate estimates for finite-differenceschemes with minimally smooth coefficients 445

Bosko S JovanovicA Roe scheme on non-structured meshes for movingboundaries problems 447

B N'Konga, H GuillardImplicit preconditioned methods based on root-freesparse finite element factorization techniques 449

Elias A Lipitakis, George A GravvaniUnconditionally stable finite element methods for thesolution of the time-dependent semiconductor deviceequations in two and three dimensions 451

Liu FawangOn the stability of spectral methods for the numericalsolution of descriptor systems 453

A Caiti, G CannataScattering from discontinuously stretching grids 455

R Vichnevetsky, L H TurnerConvergence acceleration for steady state solutions offirst order hyperbolic systems 459

Rickard EnanderError indicators and mesh adaptation for the fe-computation of 2D-structures in buckling 461

E Stein, W Rust

THEORY, ENVIRONMENT AND COMPUTATION FORINVERSE PROBLEMS

Organized by: Guy Chavent

On a general framework for the study of wellposednessof inverse problems set as nonlinear least squares 463

Guy ChaventThe velocity inversion problem of reflectionseismology 466

William W SymesGradpack, an automatic code generator for parameterestimation in DPS 468

Jun LiuEstimation, model correction and inverse problems 470

Daniel J InmanEstimation of relative permeability and capillarypressure curves from 1-D laboratory experiment usinggradients methods and gradpack 472

Catherine Chardaire-Riviere, Jun Liu

INVERSE PROBLEMS IN PDE'S/PARAMETERIDENTIFICATIONS

Organized by: Yung Min Chen

Three dimensional time harmonic acoustic andelectromagnetic inverse scattering in the resonanceregion 474

Luciano Misic, Francesco ZirilliProbing of stratified media: physically andmathematically-based approximations 477

R Bohbot, P Grassin, X Demoulin, M Lambert, DLesselier, W Tabbara

GPST inversion algorithm for 2-D E-M anisotropicinverse scattering problems 479

T A Baus.Y M ChenParameter identification and experimental design in

groundwater 481William W G Yeh, Ne-Zheng Sun

Effecient computer code for monitoring decontaminationprocesses in groundwater 483

Yung M Chen, Jianping Zhu

EQUATIONS OF CONVOLUTION TYPE ANDPSEUDODIFFERENTIAL EQUATIONS-THEORY,NUMERICAL ANALYSIS AND APPLICATIONS

Organized by: S Prbfidorf

A quadrature method for the logarithmic-kemel integralequation on an open arc 485

S Prossdorf, IH Sloan, J Saranen

CONTRIBUTED PAPERS

Practical method for the equations of mathematicalphysics 487

S HazanovNumerical solution of the Euler equations 489

J Fort, M Hunek, K Kozel, M VarincovaStability of the Thorn conditions for the differenceboundary value Stokes problem 491

A F Voyevodin