Engineering model of future motor vehicles. Volume II: data book. Final report.

National Highway Traffic Safety Administration, Washington, D.C.

Automotive maintenance data base for model years 1976-1979. Part I. Final report.

Transportation Systems Center, Cambridge, Mass.

Volume one (1) - staged collision and damage data report for accident reconstruction of twenty five (25) test vehicles (1980 model year). Final report.

National Highway Traffic Safety Administration, Accident Investigation Division, Washington, D.C.

Volume two (2) - staged collision and damage data report for accident reconstruction of twenty five (25) test vehicles (1980 model year). Final report.

National Highway Traffic Safety Administration, Accident Investigation Division, Washington, D.C.

A model for the identification of high risk occupational groups using RTECS and NOHS data /

Accompanying microfiches (issued in pocket inside back cover) have title: NIOSH risk identification model.

Univac file computer [Model 1] Basic programming, data automation system.

Mode of access: Internet.

Computer program and data listing for two-dimensional ground-water model for Laramie County, Wyoming /

Mode of access: Internet.

Examining alternative econometric specifications of the disequilibrium model : an empirical study with labor market data /

"October 1986."

Reconstructing Past Climate by Using Proxy Data and a Linear Climate Model

Thesis (Master's)--University of Washington, 2016-06

Formic acid mixing ratio (CIMS) and 3D wind data, plus SOSAA model runs -- Hyytiälä, Finland, Apr-Jun 2014

These are data of eddy covariance flux measurements of formic acid (HCOOH), performed by a chemical ionization mass spectrometer (CIMS) over a boreal forest canopy in Hyytiälä, Finland, in spring/summer 2014. Results from the 1-D chemical transport model runs using SOSAA (Simulate Organic vapours, Sulphuric Acid and Aerosols) are included as well. The data accompany a submission of a manuscript to Geophysical Research Letters for consideration for publication (Schobesberger et al.).

Spatio-temporal scanning and statistical test of the accelerating moment release (AMR) model using Australian earthquake data

The Accelerating Moment Release (AMR) preceding earthquakes with magnitude above 5 in Australia that occurred during the last 20 years was analyzed to test the Critical Point Hypothesis. Twelve earthquakes in the catalog were chosen based on a criterion for the number of nearby events. Results show that seven sequences with numerous events recorded leading up to the main earthquake exhibited accelerating moment release. Two occurred near in time and space to other earthquakes preceded by AM R. The remaining three sequences had very few events in the catalog so the lack of AMR detected in the analysis may be related to catalog incompleteness. Spatio-temporal scanning of AMR parameters shows that 80% of the areas in which AMR occurred experienced large events. In areas of similar background seismicity with no large events, 10 out of 12 cases exhibit no AMR, and two others are false alarms where AMR was observed but no large event followed. The relationship between AMR and Load-Unload Response Ratio (LURR) was studied. Both methods predict similar critical region sizes, however, the critical point time using AMR is slightly earlier than the time of the critical point LURR anomaly.

Development of a quasi-chemical viscosity model for fully liquid slags in the Al2O3-CaO-'FeO'-MgO-SiO2 system. Part 2. A review of the experimental data and the model predictions for the Al2O3-CaO-MgO, CaO-MgO-SiO2 and Al2O3-MgO-SiO2 systems

A structurally-based quasi-chemical viscosity model has been developed for the Al2O3 CaO-'FeO'-MgO-SiO2 system. The model links the slag viscosity to the internal structure of melts through the concentrations of various anion/cation Si0.5O, Me2/nn+O and Me1/nn+Si0.25O viscous flow structural units. The concentrations of structural units are derived from the quasi-chemical thermodynamic model. The focus of the work described in the present paper is the analysis of experimental data and the viscosity models for fully liquid slags in the Al2O3-CaO-MgO, Al2O3 MgO-SiO2 and CaO-MgO-SiO2 systems.

Verifying data refinements using a model checker

In this paper, we consider how refinements between state-based specifications (e.g., written in Z) can be checked by use of a model checker. Specifically, we are interested in the verification of downward and upward simulations which are the standard approach to verifying refinements in state-based notations. We show how downward and upward simulations can be checked using existing temporal logic model checkers. In particular, we show how the branching time temporal logic CTL can be used to encode the standard simulation conditions. We do this for both a blocking, or guarded, interpretation of operations (often used when specifying reactive systems) as well as the more common non-blocking interpretation of operations used in many state-based specification languages (for modelling sequential systems). The approach is general enough to use with any state-based specification language, and we illustrate how refinements between Z specifications can be checked using the SAL CTL model checker using a small example.