Experimental Validation of a Probabilistic Fracture Mechanics Model
A method is developed for validating a probabilistic fracture analysis code (PROFRANC). The method is based on classical statistical techniques and experimental data. It is shown that...
Validation of the TEXSAN Thermal-Hydraulic Analysis Program
Design of an Intermediate-Scale Experiment to Validate Unsaturated-Zone Transport Models
Validation of Safety Assessment Models as a Process of Scientific and Public Confidence Building
The International CHEMVAL Project: Verification and Validation of Geochemical Models
The Role of Performance Assessment in Validation, Regulation and Public Acceptance
Validation of the SEADYN90 Cable Simulation Model Using a Three-Dimensional Cable Deployment Data Set
This paper presents data from a full-scale, three-dimensional cable payout test and the corresponding numerical simulations using the SEADYN90 computer model. The experiment, which was...
Ground Water Model Verification and Validation Issues
Impact of Present Data Validation Practices on Risk Assessment of Hazardous Waste Sites
NCASI Experiments Related to Validation of Sediment-Water Column Exchange Models for Hydrophobic Chemicals
Calibration and Validation of the Storm Water Management Model to the Providence Area Combined Sewer System
This paper exemplifies the calibration and validation of the EPA Storm Water Management Model (SWMM) to one drainage area within the Providence (RI) area combined sewer overflow system....
Containment Capacity and Failure Modes Beyond Design Basis Conditions
Analytical and experimental studies have shown that containments can at least sustain two to three times design pressures. Under the severe accident overpressure loading, experimental...
Some Conclusions from a Biospheric Model Validation Study (BIOMOVS)
BIOMOVS (BIOspheric MOdel Validation Study) is an international co-operative effort to test biospheric models designed to calculate the environmental transfer and bioaccumulation of radionuclides...
Program Design with Algebraic Specifications
This paper demonstrates the use of algebraic methods in specifying the functional properties of engineering software components, an approach that enables one to focus on software design...
Legal Aspects of Computer Use and Measures of Software Quality and Legal Concern
Simulation of Blood-Heart Interaction: Validation of Approach
An existing pressure correction method to model unsteady flow with arbitrarily moving boundaries has been adapted to simulate the interaction of three-dimensional blood flow with a mitral...
Simulation of Head/Neck Response to -Gx Impact Acceleration
The Articulated Total Body (ATB) model has been developed to predictively simulate the head and neck response by specifying a 2-segment/2-joint system driven at the anatomical thoracic...
An Ellipse-based Micromechanical Model for Angular Granular Materials
An ellipse-based two-dimensional Discrete Element algorithm for numerically modeling angular granular materials is developed and presented. Interparticle contact computations require the...
Validation Studies on Indexed Sequential Modeling for the Colorado River Basin
A method called indexed sequential modeling (ISM) has been developed by the Western Area Power Administration to estimate reliable levels of project dependable power capacity (PDC) and...
Experiments with Formal Specifications on MAGGALY
Until lately, safety functions for automatic train driving systems have mostly been implemented with classical techniques such as relays, way circuitry and, more recently, electronic devices....
Return to search