[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

Baugh et al., 2018 - Google Patents

Formal methods and finite element analysis of hurricane storm surge: A case study in software verification

Baugh et al., 2018

View HTML
Document ID
3191263311014484260
Author
Baugh J
Altuntas A
Publication year
Publication venue
Science of Computer Programming

External Links

Snippet

Used to predict the effects of hurricane storm surge, ocean circulation models are essential tools for evacuation planning, vulnerability assessment, and infrastructure design. Implemented as numerical solvers that operate on large-scale datasets, these models …
Continue reading at www.sciencedirect.com (HTML) (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5009—Computer-aided design using simulation
    • G06F17/5018—Computer-aided design using simulation using finite difference methods or finite element methods
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5009—Computer-aided design using simulation
    • G06F17/504—Formal methods
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5068—Physical circuit design, e.g. layout for integrated circuits or printed circuit boards
    • G06F17/5081—Layout analysis, e.g. layout verification, design rule check
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/10—Complex mathematical operations
    • G06F17/18—Complex mathematical operations for evaluating statistical data, e.g. average values, frequency distributions, probability functions, regression analysis
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/10—Complex mathematical operations
    • G06F17/11—Complex mathematical operations for solving equations, e.g. nonlinear equations, general mathematical optimization problems
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/20—Handling natural language data
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F2217/00—Indexing scheme relating to computer aided design [CAD]
    • G06F2217/16—Numerical modeling
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3604—Software analysis for verifying properties of programs
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/30—Monitoring
    • G06F11/34—Recording or statistical evaluation of computer activity, e.g. of down time, of input/output operation; Recording or statistical evaluation of user activity, e.g. usability assessment
    • G06F11/3457—Performance evaluation by simulation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F2217/00—Indexing scheme relating to computer aided design [CAD]
    • G06F2217/78—Power analysis and optimization
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06T—IMAGE DATA PROCESSING OR GENERATION, IN GENERAL
    • G06T11/00—2D [Two Dimensional] image generation
    • G06T11/20—Drawing from basic elements, e.g. lines or circles
    • G06T11/206—Drawing of charts or graphs
    • G—PHYSICS
    • G01—MEASURING; TESTING
    • G01V—GEOPHYSICS; GRAVITATIONAL MEASUREMENTS; DETECTING MASSES OR OBJECTS
    • G01V99/00—Subject matter not provided for in other groups of this subclass
    • G01V99/005—Geomodels or geomodelling, not related to particular measurements
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/10—Requirements analysis; Specification techniques
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06T—IMAGE DATA PROCESSING OR GENERATION, IN GENERAL
    • G06T17/00—Three dimensional [3D] modelling, e.g. data description of 3D objects
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computer systems utilising knowledge based models

Similar Documents

Publication Publication Date Title
Morales-Hernández et al. TRITON: A Multi-GPU open source 2D hydrodynamic flood model
Mandli et al. Clawpack: building an open source ecosystem for solving hyperbolic PDEs
Boghosian et al. A cellular automaton for Burgers' equation
Kubatko et al. hp discontinuous Galerkin methods for advection dominated problems in shallow water flow
Liang et al. Flood inundation modeling with an adaptive quadtree grid shallow water equation solver
Liu et al. Applying microprocessor analysis methods to river network modelling
Parker et al. Emulation as an approach for rapid estuarine modeling
Deierlein et al. State of the art in computational simulation for natural hazards engineering
Barthélémy et al. On operational flood forecasting system involving 1D/2D coupled hydraulic model and data assimilation
Korostyshevskaya et al. A matrix analysis of operator-based upscaling for the wave equation
Bentivoglio et al. Rapid spatio-temporal flood modelling via hydraulics-based graph neural networks
Kadeethum et al. Data-driven reduced order modeling of poroelasticity of heterogeneous media based on a discontinuous Galerkin approximation
Baugh et al. Formal methods and finite element analysis of hurricane storm surge: A case study in software verification
Kummer et al. BoSSS: A package for multigrid extended discontinuous Galerkin methods
Beckers et al. Bayesian calibration and validation of a large‐scale and time‐demanding sediment transport model
Park et al. Linear and nonlinear solvers for simulating multiphase flow within large-scale engineered subsurface systems
Echeverribar et al. Analysis of the performance of a hybrid CPU/GPU 1D2D coupled model for real flood cases
Bale et al. A one-sided direct forcing immersed boundary method using moving least squares
Zhang et al. Evaluation of multiple reduced-order models to enhance confidence in global sensitivity analyses
Baugh et al. An exact reanalysis technique for storm surge and tides in a geographic region of interest
Fang et al. Modelling coastal water waves using a depth-integrated, non-hydrostatic model with shock-capturing ability
Wu et al. Physics-embedded inverse analysis with algorithmic differentiation for the earth’s subsurface
Shao et al. A general‐coordinate, nonlocal neutral diffusion operator
Beisiegel et al. Quasi-nodal third-order Bernstein polynomials in a discontinuous Galerkin model for flooding and drying
Arlitt et al. A generative human-in-the-loop approach for conceptual design exploration using flow failure frequency in functional models