An experimental program was carried out in the 10 to the -8 to 10 to the -2 power torr region to supply basic information on the adsorption of noncondensable gases at 77 K and to establish the functional dependence of adsorption rate on pressure and amount of gas adsorbed. From the experimental results, analytical expressions are developed which describe the behavior of adsorption rate in terms of the adsorption parameters for high vacuum, low temperature conditions. These expressions are shown...

Topics: DTIC Archive, Kindall, S M, ARO INC ARNOLD AFS TN, *CHARCOAL, ADSORPTION, ARGON, EQUATIONS OF...

Presented in this report are the results of an investigation to determine analytically two thermodynamic transport properties -- difference in specific heats and the change in entropy -- as described by five independent equations of state for gases. Change in entropy and specific heats of gases are used in thermodynamics work to evaluate properties of gases undergoing change of state such as flow properties behind shocks. Change of entropy is a logical starting point for this work and where...

Topics: DTIC Archive, Hurst, Noah J, ARMY MISSILE COMMAND REDSTONE ARSENAL AL SYSTEMS RESEARCH DIRECTORATE,...

A study is made of the thermal response of charring ablators to given environmental conditions. The heat protective materials considered form gases and a porous char as they undergo thermal degradation in depth. The analysis considers the transient conditions and the effect of porosity pressure on the gas pressure build-up within the porous char. The effects of porosity and permeability are included. Results of the temperature, material density, and gas pressure distribution through the heat...

Topics: DTIC Archive, Mathieu, R D, GENERAL ELECTRIC CO PHILADELPHIA PA MISSILE AND SPACE DIV, *REENTRY...

Secondary instabilities are examined in compressible boundary layers at Mach numbers M(sub infinity) = 0, 0.8, 1.6, and 4.5. It is found that there is a broad-band of highly unstable 3-d secondary disturbances whose growth rates increase with increasing primary wave amplitude. At M(sub infinity) is less than or equal to 1.6, fundamental resonance dominates at relatively high (2-d) primary disturbance amplitude, while subharmonic resonance is characterized by a low (2-d) primary amplitude. At...

Topics: NASA Technical Reports Server (NTRS), BOUNDARY CONDITIONS, COMPRESSIBLE BOUNDARY LAYER, FLOW...

The problem of determining the profile of a channel or duct that provides the maximum static pressure rise is solved. Incompressible, laminar flow governed by the steady state Navier-Stokes equations is assumed. Recent advances in computational resources and algorithms have made it possible to solve the direct problem of determining such a flow through a body of known geometry. It is possible to obtain a set of adjoint equations, the solution to which permits the calculation of the direction...

Topics: NASA Technical Reports Server (NTRS), ALGORITHMS, CHANNEL FLOW, DUCTED FLOW, FLOW DISTRIBUTION,...

GFSSP has been extended to model conjugate heat transfer Fluid Solid Network Elements include: a) Fluid nodes and Flow Branches; b) Solid Nodes and Ambient Nodes; c) Conductors connecting Fluid-Solid, Solid-Solid and Solid-Ambient Nodes. Heat Conduction Equations are solved simultaneously with Fluid Conservation Equations for Mass, Momentum, Energy and Equation of State. The extended code was verified by comparing with analytical solution for simple conduction-convection problem The code was...

Topics: NASA Technical Reports Server (NTRS), FLUID FLOW, CRYOGENICS, CONDUCTIVE HEAT TRANSFER, EDUCATION,...

Some X-ray spectral observations of approximately 30 clusters of galaxies from HEAO-1 are summarized. There exists strong correlations between X-ray luminosity, L(x), and temperature kT in the form L(x)alphaT to the 2.3 power. This result combined with the L(x) central galaxy density relation and the virial theorem indicates that the core dadius of the gas should be roughly independent of L(x) or KT and that more luminous clusters have a greater fraction of their virial mass in gas. The poor...

Topics: NASA Technical Reports Server (NTRS), ASTRONOMICAL SPECTROSCOPY, EMISSION SPECTRA, GALACTIC...

A progress report is given on neutron stars as a cosmic hadron physics laboratory. Particular attention is paid to the crustal neutron superfluid, and to the information concerning its properties which may be deduced from observations of pulsar glitches and postglitch behavior. Current observational evidence concerning the softness or stiffness of the high density neutron matter equation of state is reviewed briefly, and the (revolutionary) implications of a confirmation of the existence of a...

Topics: NASA Technical Reports Server (NTRS), EXTRATERRESTRIAL MATTER, HADRONS, NEUTRON STARS, NEUTRONS,...

The relic abundance of a particle species that was once in thermal equilibrium in the expanding Universe depends upon a competition between the annihilation rate of the species and the expansion rate of the Universe. Assuming that the Universe is radiation dominated at early times the relic abundance is easy to compute and well known. At times earlier than about 1 sec after the bang there is little or no evidence that the Universe had to be radiation dominated, although that is the simplest and...

Topics: NASA Technical Reports Server (NTRS), COSMOLOGY, ELEMENTARY PARTICLES, UNIVERSE, ABUNDANCE,...

All spacecraft in low-Earth orbit are subject to high-speed impacts by meteoroids and orbital debris particles. These impacts can damage flight-critical systems which can in turn lead to catastrophic failure of the spacecraft. Therefore, the design of a spacecraft for an Earth-orbiting mission must take into account the possibility of such impacts and their effects on the spacecraft structure and on all of its exposed subsystem components. In addition to threatening the operation of the...

Topics: NASA Technical Reports Server (NTRS), SPACECRAFT STRUCTURES, AEROSPACE ENVIRONMENTS, SPACE DEBRIS,...

No abstract available

Topics: NASA Technical Reports Server (NTRS), X RAYS, SPACE MISSIONS, OBSERVATORIES, NEUTRON STARS, BLACK...

An analytical model for the dynamic response of a bistable fluid amplifier with straight walls is presented. The model represents the dynamic changes which take place in an amplifier during the early phases of switching. The state of the amplifier at any instant of time is identified by a set of system equations whose input function is the mass flow rate from the control port. The system variables, constants and equations are arranged in nondimensional form in order to organize and facilitate...

Topics: DTIC Archive, Ries, James P, LEHIGH UNIV BETHLEHEM PA DEPT OF MECHANICAL ENGINEERING AND MECHANICS,...

Mathematical models to be used in the control system design were developed. A computer program, which takes aerodynamic and structural data for the ARW-2 aircraft and converts these data into state space models suitable for use in modern control synthesis procedures, was developed. Reduced order models of inboard and outboard control surface actuator dynamics and a second order vertical wind gust model were developed. An analysis of the rigid body motion of the ARW-2 was conducted. The deletion...

Topics: NASA Technical Reports Server (NTRS), ACTUATORS, CONTROL SIMULATION, CONTROL SURFACES, DATA...

The stability to detonation and the expansion behavior of reaction products were studied for an aluminized explosive, HBX-1. The detonation velocity-charge diameter and detonation velocity-loading density relationships were determined by streak camera techniques and electronic probe methods. These data gave reaction zone lengths which increase from 0.07 mm for an initial explosive density of 1.72 g/cc to 1.5 mm at 1.3 g/cc. With the pressure- particle velocity relation established from 338,000...

Topics: DTIC Archive, Roslund, Leslie A, NAVAL ORDNANCE LAB WHITE OAK MD, *DETONATIONS, *ALUMINIZED...

This paper investigates optimal control problems where there is uncertainty in the initial state measurement or where there are uncertain parameters in the state equations. It is assumed that nature will choose the uncertainty to maximize the cost which the controller is attempting to minimize. Thus a minmax control is sought. Sufficient conditions for a control to be a minmax control are presented. These conditions suggest methods for finding the minmax control and such techniques are...

Topics: DTIC Archive, Schmitendorf,W E, NORTHWESTERN UNIV EVANSTON IL DEPT OF MECHANICAL ENGINEERING,...

Topics: DTIC Archive, Boley,Bruno A, NORTHWESTERN UNIV EVANSTON IL TECHNOLOGICAL INST, *HEAT TRANSFER,...

This effort modeled two types of nuclear airblast simulators, the High Explosive Simulation Technique (HEST) and the Dynamic Airblast Simulator (DABS), with hydrodynamic Computer Codes. One dimensional similarity solutions, Modified 1-D, and 2-D calculations are described. High explosive burn routines and energy deposition schemes are described. For the HEST, explosive distribution and cavity configurations were studied. For the DABS, energy deposition, calculational cell size, and a...

Topics: DTIC Archive, Leigh, G, NEW MEXICO UNIV ALBUQUERQUE ERIC H WANG CIVIL ENGINEERING RESEARCH...

In the past decade there has been much work on the sound generated underwater by a moving laser source. In particular, a great deal of effort has been directed toward understanding the thermoacoustic sound generation process, in which the laser heats the fluid medium and radiates sound as a result of the induced volumetric expansion. Theoretical predictions of the laser generated sound and experimental measurements have been shown to agree well for a wide range of source velocities, and...

Topics: DTIC Archive, Chandrasekhar, Rao J, TEXAS UNIV AT AUSTIN APPLIED RESEARCH LABS, *THERMAL SHOCK,...

The modeling of power systems has been primarily driven by the commercial power utility industry. These models usually involve the assumption that system bus voltage and frequency are constant. However, in applications such as shipboard power systems this infinite bus assumption is not valid. This thesis investigates the modeling of a synchronous generator and various loads in a modular fashion on a finite bus. The simulation presented allows the interconnection of multiple state-space models...

Topics: DTIC Archive, Kipps, Mark R, NAVAL POSTGRADUATE SCHOOL MONTEREY CA, *COMPUTER PROGRAMS, *ELECTRIC...

We present shock compression and release data for Coconino Sandstone, Solenhofen and Bedford limestones, and Chambless shale. Urnestone, sandstones, and shale display three separate phases on the Hugoniot curve. For sandstone these are quartz, stishovite, and a dense liquid. The limestone Hugoniot phases are calcite 1 and a dense liquid, with an intervening phase of either calcite 3 or aragonite. For dense liquid SiO2, Po=4.150 Mg/m3 and Kso=313.5 GPa. For dense liquid CaCO3, Po=3.377 Mg/m3 and...

Topics: DTIC Archive, Ahrens, Thomas J., CALIFORNIA INST OF TECH PASADENA SEISMOLOGICAL LAB, *SHOCK WAVES,...

An approximation scheme is developed for the identification of hybrid systems describing the transverse vibrations of flexible beams with attached tip bodies. In particular, problems involving the estimation of functional parameters are considered. The identification problem is formulated as a least squares fit to data subject to the coupled system of partial and ordinary differential equations describing the transverse displacement of the beam and the motion of the tip bodies respectively. A...

Topics: NASA Technical Reports Server (NTRS), APPROXIMATION, BEAMS (SUPPORTS), EQUATIONS OF STATE,...

Numerical calculations of the charge state distributions of test ions in a hot plasma under nonequilibrium conditions are presented. The mean ionic charges of heavy ions for finite residence times in an instantaneously heated plasma and for a non-Maxwellian electron distribution function are derived. The results are compared with measurements of the charge states of solar energetic particles, and it is found that neither of the two simple cases considered can explain the observations.

Topics: NASA Technical Reports Server (NTRS), CHARGE DISTRIBUTION, ENERGETIC PARTICLES, EQUATIONS OF STATE,...

Recently it has been argued based on theoretical calculations and experimental data that there is a universal form for the equation of state of solids. This observation was restricted to the range of temperatures and pressures such that there are no phase transitions. The use of this universal relation to estimate pressure-volume relations (i.e., isotherms) required three input parameters at each fixed temperature. It is shown that for many solids the input data needed to predict high...

Topics: NASA Technical Reports Server (NTRS), BULK MODULUS, EQUATIONS OF STATE, SOLID STATE, TEMPERATURE...

Flight in the atmosphere is examined from the viewpoint of including real gas phenomena in the flow field about a vehicle flying at hypervelocity. That is to say, the flow field is subject not only to compressible phenomena, but is dominated by energetic phenomena. There are several significant features of such a flow field. Spatially, its composition can vary by both chemical and elemental species. The equations which describe the flow field include equations of state and mass, species,...

Topics: NASA Technical Reports Server (NTRS), AERODYNAMIC HEATING, FLIGHT ENVELOPES, FLOW DISTRIBUTION,...

A computational algorithm has been developed which can be employed to determine the flow properties of an arbitrary real (virial) gas in a wind tunnel. A multiple-coefficient virial gas equation of state and the assumption of isentropic flow are used to model the gas and to compute flow properties throughout the wind tunnel. This algorithm has been used to calculate flow properties for the wind tunnels of the Aerothermodynamics Facilities Complex at the NASA Langley Research Center, in which...

Topics: NASA Technical Reports Server (NTRS), COMPUTER PROGRAMS, REAL GASES, GAS FLOW, EQUATIONS OF STATE,...

This paper considers a given set of fixed order compensators for aircraft pitch control problem. By augmenting compensator variables to the original state equations of the aircraft, a new dynamic model is considered to seek a LQ controller. While the fixed order compensators can achieve a set of desired poles in a specified region, LQ formulation provides the inherent robustness properties. The time response for ride quality is significantly improved with a set of dynamic compensators.

Topics: NASA Technical Reports Server (NTRS), AIRCRAFT CONTROL, COMPENSATORS, EQUATIONS OF STATE, DYNAMIC...

If the recently reported 0.5 ms-period pulsed optical signal from the direction of Supernova 1987A originated in a young neutron star, its interpretation as a rotational period has difficulties. The surface magnetic field would have to be much lower than expected, and the high rotation rate may rule out preferred nuclear equations of state. It is pointed out here that a remnant radial vibration of a neutron star, excited in the supernova event, may survive for several years with about the...

Topics: NASA Technical Reports Server (NTRS), NEUTRON STARS, STELLAR OSCILLATIONS, STELLAR RADIATION,...

The objectives of this research are: (1) to develop and implement a new methodology for large eddy simulation of (LES) of high-speed reacting turbulent flows. (2) To develop algebraic turbulence closures for statistical description of chemically reacting turbulent flows. We have just completed the third year of Phase III of this research. This is the Final Report of our activities on this research sponsored by the NASA LaRC.

Topics: NASA Technical Reports Server (NTRS), REACTING FLOW, TURBULENT FLOW, MATHEMATICAL MODELS,...

The report discusses a research program to develop a dynamic response model or constitutive relations for porous materials, to test this model against results from shock wave experiments, and to incorporate the model into a computer program for the analysis of shock wave propagation arising either from impacts or from radiation deposition. The model developed exhibits melting, vaporization, and temperature-dependent compaction resistance, yielding, consolidation, and spalling. The model...

Topics: DTIC Archive, Seaman, L, STANFORD RESEARCH INST MENLO PARK CA, *POROUS MATERIALS, ALUMINUM ALLOYS,...

An equation of state model, including the solid to liquid and liquid to vapor phase transitions, has been developed. It is applicable for materials which usually melt, rather than sublimate, and whose vapor consists of atomic species. The parameters appearing in the formulation are completely determined from a limited amount of data which, for many materials, is currently available. A computer program which gives the pressure as a function of volume and internal energy has been written and used...

Topics: DTIC Archive, Goodwin, Lester K, PHILCO-FORD CORP NEWPORT BEACH CA AERONUTRONIC DIV, *PHASE...

A method is developed for estimating the parameters of linear transfer functions describing a multi-input multi-output dynamic system from noisy flight test data. The method is demonstrated on real and synthetically generated underwater vehicle data. (Author)

Topics: DTIC Archive, Jain,V K, UNIVERSITY OF SOUTH FLORIDA TAMPA COLL OF ENGINEERING, *TRANSFER FUNCTIONS,...

The governing partial differential equations and constitutive relations are presented for the two-phase, axisymmetric, turbulent flow in a gun tube with a rotating projectile. The formulation includes the following constitutive models. Noble-Abel gas equation of state, molecular viscosity and thermal conductivity, turbulent viscosity and length scale, intergranular stress relation, interphase drag and heat transfer relations, and a burning rate correlation for solid phase combustion....

Topics: DTIC Archive, Gibeling, Howard J, SCIENTIFIC RESEARCH ASSOCIATES INC GLASTONBURY CT, *COMPUTERIZED...

This thesis investigates several linear and nonlinear feedback control methods for satellite formation reconfigurations and compares them to a near optimal open loop, discrete-time, impulsive maneuver. The reconfigurations are done in terms of a set of relative parameters that define an orbit about the leader satellite (or center reference position if a leader satellite does not exist at the center of the formation). The purpose of the study is two-fold, to compare the control usage of...

Topics: DTIC Archive, Irvin, David J, AIR FORCE INST OF TECH WRIGHT-PATTERSONAFB OH SCHOOL OF ENGINEERING,...

Contents: Thermodynamic foundations; The heat loss problem; The mechanical problems; The hydrodynamical problems; The chemical kinetic problem; The collected equations; Dimensionless travel variables; Dimensionless time variables; Strong and weak parameters and initial conditions, and Use of an improved equation of state.

Topics: DTIC Archive, Vinti, J P, ARMY BALLISTIC RESEARCH LAB ABERDEEN PROVING GROUND MD, *INTERIOR...

The book concerns the dynamic response of materials due to intensive impulsive loadings. The materials considered are primarily solids, although most of the discussions are also applicable to fluids. The loading and response in general happen within a very short time, in the order of microseconds, rather than milliseconds. The duration of the loading, whether mechanical impact or thermodynamic energy input, may sometimes be described in terms of nanoseconds. The magnitude of the loading is such...

Topics: DTIC Archive, Hopkins, Alan K, AIR FORCE MATERIALS LAB WRIGHT-PATTERSON AFB OH, *MATERIALS,...

An attempt was made to derive the degeneracy factor of Eyring's Significant Structure Theory for a particular model of a solid with vacant lattice sites. A form was obtained which differs from that obtained by Eyring and which gives results less satisfactory than Eyring's factor when compared with Hugoniot data. Some equilibrium Hugoniot states are calculated for a mixture of two materials and the formulae are applied to combinations of quartz- like and polyethylene-like materials. Some elastic...

Topics: DTIC Archive, Duvall, G E, WASHINGTON STATE UNIV PULLMAN DEPT OF PHYSICS, *EQUATIONS OF STATE,...

Uniaxial stress behavior, elastic constants, equation of state, compressive and release wave characteristics, and spall fracture of PMMA are investigated. The material showed viscoelastic response under uniaxial stress conditions, and was strain rate sensitive at 20 and 82 C. Longitudinal and shear wave velocities at 20 C were 2.746 and 1.392 mm/ microsec, and temperature dependence was also measured. The shock wave equation of state was determined up to 20 Kbar and showed a complex form in the...

Topics: DTIC Archive, Christman, Douglas R, GENERAL MOTORS TECHNICAL CENTER WARREN MI MATERIALS AND...

A soil cap model was analyzed and an equation-of-state based on this model was developed and implemented in a one-dimensional, wave-propagation code. The model was used to match laboratory data of a sand material and to estimate the dynamic in-situ properties of a clay material from Cylindrical In-Situ Test (CIST) data. Comparisons were made between the experimental data and the results obtained with the cap model and another constitutive model; both models gave similar results with the cap...

Topics: DTIC Archive, Fedock, Joseph J, NEW MEXICO UNIV ALBUQUERQUE, *COMPUTERIZED SIMULATION, *GROUND...

This thesis studies the dynamics of a rotating compressible gas sphere, driven by internal convection, as a model for the dynamics on the giant planets. We develop a new general circulation model for the Jovian atmosphere, based on the MIT-gcm dynamical core augmenting the nonhydrostatic model. The grid extends deep into the planet's interior allowing the model to compute the dynamics of a whole sphere of gas rather than a spherical shell (including the strong variations in gravity and the...

Topics: DTIC Archive, Kaspi, Yohai, WOODS HOLE OCEANOGRAPHIC INSTITUTION MA, *COMPRESSION, *SPHERES,...

Although bio-inspired legged robots have advantageous mobility, they can be very inefficient. Their intrinsic walking mobility is sometimes outweighed by the inefficiency of their drive-train. Some of these inefficiencies are due to collision losses, but they are also due to sub-optimal powering schemes. This paper addresses the powering schemes and seeks to clearly delineate an optimal solution to powering the walking motion of a two-legged or biped walker. We examine a simplified model of...

Topics: DTIC Archive, ARMY TANK AUTOMOTIVE RESEARCH DEVELOPMENT AND ENGINEERING CENTER WARREN MI,...

In the past, real gas effects on the flame temperature were evaluated using the virial equation of state. Usually, the virial expansion was truncated after the third term. In this work, the equation of state for dense gases proposed by Haar and Shenker is considered. The implementation developed for H2O, CO, CO2, H2, and N2 by Powell, Wilmot, Haar, and Klein is used. The contribution of all minor species are assumed to be approximated by a Lennard-Jones gas with epsilon/k = 100 K and sigma =...

Topics: DTIC Archive, Vladimiroff, T., ARMY ARMAMENT RESEARCH DEVELOPMENT AND ENGINEERING CENTER PICATINNY...

Geosat altimeter data and numerical model output are used to examine the circulation and dynamics of the Antarctic Circumpolar Current (ACC). The mean sea surface height across the ACC has been reconstructed from height variability measured by the altimeter, without assuming prior knowledge of the geoid. The results indicate locations for the Subantarctic and Polar Fronts which are consistent with in situ observations and indicate that the fronts are substantially steered by bathymetry....

Topics: DTIC Archive, Gille, Sarah T., MASSACHUSETTS INST OF TECH CAMBRIDGE, *OCEAN CURRENTS, *EDDIES(FLUID...

The governing partial differential equations and constitutive relations are presented for the two-phase, axisymmetric, turbulent flow in a gun tube with a rotating projectile. The formulation included the following constitutive models: Noble-Abel gas equation of state, molecular viscosity and thermal conductivity, turbulent viscosity and length scale, intergranular stress relation, interphase drag and heat transfer relations, and a burning rate correlation for solit phase combustion. The...

Topics: DTIC Archive, Gibeling, Howard J, SCIENTIFIC RESEARCH ASSOCIATES INC GLASTONBURY CT, *COMPUTERIZED...

This report documents research performed to enable the EPIC 3D lagrangian hydrocode to run in a linked mode with the hull 3D Eulerian hydrocode. The linked mode is required to efficiently and accurately model multiple target plate impact and penetration events. The report also documents many changes made to make EPIC more user oriented and simple to run.

Topics: DTIC Archive, Osborn, John J, ORLANDO TECHNOLOGY INC SHALIMAR FL, *ARMOR PIERCING AMMUNITION,...

A computer program for numerically solving the equations governing a laminar, premixed, one-dimensional flame is described. Both unbounded flames and burner stabilized flames are discussed. Some numerical considerations in successfully using the code are presented.

Topics: DTIC Archive, Coffee, Terence P., ARMY BALLISTIC RESEARCH LAB ABERDEEN PROVING GROUND MD, *COMPUTER...

A study of the physics of a nuclear magnetic resonance gyroscope is described. Experimental results in nuclear polarization and relaxation in 3He are obtained using an optical pumping apparatus and a high resolution rf spectroscopic technique. Polarization in the metastable states of the heavy noble gases (20, 21 Ne, 129, 132 Xe) was observed using a similar optical pumping apparatus. A sensitive detection method based on optical polarization of an excited state transition is developed and...

Topics: DTIC Archive, Pepper, David M, HUGHES RESEARCH LABS MALIBU CA, *NUCLEAR MAGNETIC RESONANCE, *CELLS,...

The governing partial differential equations and constitutive relations are presented for the two-phase, axisymmetric, turbulent flow in a gun tube with a rotating projectile. The formulation included the following constitutive models: Noble-Abel gas equation of state, molecular viscosity and thermal conductivity, turbulent viscosity and length scale, intergranular stress relation, interphase drag and heat transfer relations, and a burning rate correlation for solit phase combustion. The...

Topics: DTIC Archive, Gibeling, Howard J, SCIENTIFIC RESEARCH ASSOCIATES INC GLASTONBURY CT, *COMPUTERIZED...

Mixtures of hydroxylammonium nitrate (HAN), water, and the nitrate salt of an aliphatic amine (AAN), are being actively considered as propellants for use in a liquid propellant gun. A number of such AAN salts have been considered for this application; the preferred one is triethanolammonium nitrate (TEAN), which is used in propellants LGP 1845 and 1846, the current prime candidates for the gun now under development. The physical properties of the propellants and of their components must fall...

Topics: DTIC Archive, Decker, Madelyn M, ARMY BALLISTIC RESEARCH LAB ABERDEEN PROVING GROUND MD, *AMMONIUM...

Finite difference for continuum mechanics codes are capable of providing solutions for the behavior of a wide range of materials under a variety of boundary and initial conditions. The key to obtaining accurate solutions lies in the fidelity of models used to describe the material's response to the strains imposed, i.e., its Equation of State (EOS). This report presents both the general EOS algorithms used in the CRALE 1- and 2D codes and several specific EOS models currently in use. A driver...

Topics: DTIC Archive, Schuster, Shel, TITAN CORP CHATSWORTH CA, *MATHEMATICAL MODELS, *CONTINUUM MECHANICS,...

The functional correctness technique is presented and explained. An implication of the underlying theory for the derivation of loop invariants is discussed. The functional verification conditions concerning program loops are shown to be a specialization of the commonly used inductive assertion verification conditions. The functional technique is compared and contrasted with subgoal induction. Finally, the difficulty of proving initialized loops is examined in light of the inductive assertion...

Topics: DTIC Archive, Dunlop,Douglas D, MARYLAND UNIV COLLEGE PARK DEPT OF COMPUTER SCIENCE, *COMPUTER...