Validation of the TEXSAN Thermal-Hydraulic Analysis Program

Impact of Present Data Validation Practices on Risk Assessment of Hazardous Waste Sites

Verification of Approximate Methods of Structural Analysis
Sophisticated computer programs for the determination of the effects of instability on the inelastic stress resultants in steel structures will appear to be 'black boxes'...

Process and Criteria for Valuation of the Ground-Water Flow Models in the OECD/NEA International Stripa Project
In 1986, the Site Characterization and Validation (SCV) Program was initiated as part of Phase III of the OECD/NEA International Stripa Project. The principal intent of the SCV Program...

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...

Research Program to Develop and Validate Conceptual Models for Flow and Transport Through Unsaturated, Fractured Rock
As part of the Yucca Mountain Project, our research program to develop and validate conceptual models for flow and transport through unsaturated fractured rock integrates fundamental physical...

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

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...

Lysimeters for Evapotranspiration and Environmental Measurements
Lysimeters have been used extensively in the past to provide baseline information for development, calibration, and validation of evapotranspiration methods. This proceedings, Lysimeters...

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....

Validation of Source-Term Models Using Natural Analogues
A comparison is made between the predicted distribution of copper calculated by the AREST source-term code and the measured profiles for copper surrounding a bronze cannon that was emplaced...

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...

The Status of the Site Characterization and Validation Program in Phase III of the OECD/NEA Stripa Project
In 1980, the International Stripa Project was organized under the aegis of the OECD Nuclear Energy Agency for the purpose of conducting research, at the Stripa mine in Sweden, related...

Validation of a Traffic Modeling System for Detour Planning
The Downtown Seattle Transit Project (DSTP) was initiated as an effort to relieve existing traffic congestion in downtown Seattle. It consists primarily of a 1.3-mile electric-bus tunnel...

Validation of Hydrophysical Components of a One-Dimensional Lake Model
A dynamic one-dimensional lake model has been developed in alternative structures, MINLAKE and FRMPND, for water-quality control strategies and lake eutrophication studies. Hydrophysical...

Validation and Recent Enhancement of a Three-Dimensional Curvilinear-Grid Finite-Difference Model for Estuarine, Coastal and Lake Circulation: CH3D
This paper describes the validation and recent enchancement of a three-dimensional curvilinear-grid hydrodynamic model: CH3D. The model employs finite-differences techniques and allows...

The Validation Problem—Historical Developments
Validation of a probability consists of the estimation of the reliability of the probability. Validation is important when probabilities are based on data, rather than theoretical exercises....

Issues in the Validation of Probabilistic Methods
Probabilistic models are being used increasingly in safety assessments and regulatory decision-making. There is a need to relate the risks computed using these models to service data in...

 

 

 

 

Return to search