Analysis of Radar Images of Angkor, Cambodia
This paper will focus on our analysis of the imaging radar data in support of archaeological studies and subsequent ground verification of some of the features visible in the radar data.
AirSAR↗
SEARCH · Engineering Papers
Results for “Verification study”
Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.
Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.
A Practical Approach to Implementing Real-Time Semantics
This paper investigates implementations of process algebras which are suitable for modeling concurrent real-time systems. It suggests an approach for efficiently implementing real-time semantics using dynamic priorities. For this purpose a proces algebra with dynamic priority is defined, whose semantics corresponds one-to-one to traditional real-time semantics. The advantage of the dynamic-priority approach is that it drastically reduces the state-space sizes of the systems in question while preserving all properties of their functional and real-time behavior. The utility of the technique is demonstrated by a case study which deals with the formal modeling and verification of the SCSI-2 bus-protocol. The case study is carried out in the Concurrency Workbench of North Carolina, an automated verification tool in which the process algebra with dynamic priority is implemented. It turns out that the state space of the bus-protocol model is about an order of magnitude smaller than the one resulting from real-time semantics. The accuracy of the model is proved by applying model checking for verifying several mandatory properties of the bus protocol.
Luettgen, Gerald↗
Remote sounding of cloudy atmospheres. III - Experimental verifications
The cloud-filtering technique developed in Parts I and II of this study is experimentally verified in this paper. The verification is based on radiance data measured in the 4.3 and 15 micron CO2 bands using a multidetector sounder mounted on an aircraft. The results presented here show that, from the aircraft height of 7.6 km and in the presence of multiple cloud formations, it is possible to recover simultaneously: (1) the clear-column atmospheric temperature profile with an rms error of 1 K with respect to radiosondes, (2) the land and sea surface temperature at all sun zenith angles. The accuracy of the recovered sea-surface temperature is 0.5-1 K with respect to measured bucket temperatures, (3) the humidity profile (water vapor mixing ratio) with a precision of 10%, (4) the fractional covers and heights of up to three cloud formations, and (5) the types of clouds, i.e., whether convective or nonconvective.
Chahine, M. T.↗
Verification of NASA Emergent Systems
NASA is studying advanced technologies for a future robotic exploration mission to the asteroid belt. This mission, the prospective ANTS (Autonomous Nano Technology Swarm) mission, will comprise of 1,000 autonomous robotic agents designed to cooperate in asteroid exploration. The emergent properties of swarm type missions make them powerful, but at the same time are more difficult to design and assure that the proper behaviors will emerge. We are currently investigating formal methods and techniques for verification and validation of future swarm-based missions. The advantage of using formal methods is their ability to mathematically assure the behavior of a swarm, emergent or otherwise. The ANT mission is being used as an example and case study for swarm-based missions for which to experiment and test current formal methods with intelligent swam. Using the ANTS mission, we have evaluated multiple formal methods to determine their effectiveness in modeling and assuring swarm behavior.
Rouff, Christopher↗
An overview of the applications systems verification test on snowcover mapping
The capability of the LANDSAT and NOAA satellites to accurately measure snowcovered area on various size watersheds was demonstrated. Recent research has shown a highly significant statistical relationship between satellite-derived snowcovered area at the beginning of the snowmelt period and seasonal runoff. The decision was made to test the results of several satellite snowcovered area studies in an Applications Systems Verification Test (ASVT) Program where quasi-operational evaluations of total technical capability are performed. The objective of these ASVT's is to provide all the information necessary for a potential user to make effective decisions concerning the implementation of the new remote sensing technology in an operational applications system.
Rango, A.↗
Thermal acoustic oscillations, volume 2
A number of thermal acoustic oscillation phenomena and their effects on cryogenic systems were studied. The conditions which cause or suppress oscillations, the frequency, amplitude and intensity of oscillations when they exist, and the heat loss they induce are discussed. Methods of numerical analysis utilizing the digital computer were developed for use in cryogenic systems design. In addition, an experimental verification program was conducted to study oscillation wave characteristics and boiloff rate. The data were then reduced and compared with the analytical predictions.
Spradley, L. W.↗
Flamelet Model Application for Non-Premixed Turbulent Combustion
The current Final Report contains results of the study which was performed in Scientific Research Center 'ECOLEN' (Moscow, Russia). The study concerns the development and verification of non-expensive approach for modeling of supersonic turbulent diffusion flames based on flamelet consideration of the chemistry/turbulence interaction (FL approach). Research work included: development of the approach and CFD tests of the flamelet model for supersonic jet flames; development of the simplified procedure for solution of the flamelet equations based on partial equilibrium chemistry assumption; study of the flame ignition/extinction predictions provided by flamelet model. The performed investigation demonstrated that FL approach allowed to describe satisfactory main features of supersonic H 2/air jet flames. Model demonstrated also high capabilities for reduction of the computational expenses in CFD modeling of the supersonic flames taking into account detailed oxidation chemistry. However, some disadvantages and restrictions of the existing version of approach were found in this study. They were: (1) inaccuracy in predictions of the passive scalar statistics by our turbulence model for one of the considered test cases; and (2) applicability of the available version of the flamelet model to flames without large ignition delay distance only. Based on the results of the performed investigation, we formulated and submitted to the National Aeronautics and Space Administration our Project Proposal for the next step research directed toward further improvement of the FL approach.
Secundov, A.↗
Space Station concept development group studies
The NASA study activities in preparation for a Space Station began in the early 1970's. The early studies included many in-house NASA and contracted studies. A group of representatives from all the NASA Centers, titled the Space Station Concept Development Group (CDG) was involved in the studies which led to the initiation of the Space Station Program. The CDG studies were performed over a period of approximately one year and consisted of four phases. The initial phase had the objective to determine the functions required of the station as opposed to a configuration. The activities of the second phase were primarily concerned with a sizing of the facilities required for payloads and the resources necessary to support these mission payloads. The third phase of studies was designed to develop a philosophical approach to a number of areas related to autonomy, maintainability, operations and logistics, and verification. The fourth phase of the study was to be concerned with configuration assessment activities.
Powell, L. E.↗
A Transient Hydrodynamic Model of Screen Channel Liquid Acquisition Devices for In-Space Cryogenic Propellant Management
Screen channel liquid acquisition devices (LADs) will play a crucial role in future deep space travel. It is essential that vapor-free delivery of propellants during tank-to-tank transfer is ensured to maximize yield from storage tanks and prevent potential combustion instabilities. The screen channel LAD utilizes a fine screen wire mesh that can separate phases in a low Bond number (i.e. microgravity) environment using surface tension forces. This study presents the development and verification of a new model for transient screen compliance, one of the influential factors for screen channel LAD design. Screen compliance is crucial during LAD channel outflow transients because the slight deflection of the screen can provide needed mass to satisfy rapid outflow demands and reduce the pressure difference across the screen. The model is successfully verified against CFD simulations. In addition, the characteristic speed for the governing screen compliance equations is derived which allows for numerical stability criteria to be established. As shown in this study, the transient maximum pressure difference across the screen can greatly exceed the steady state maximum pressure difference across the screen in many cases.
Hydrodynamics Simulations↗
Experimental verification of a tank to tank He II transfer model with trade study results
A computer program has been developed to study the thermodynamics of tank to tank superfluid helium transfer. The model includes a supply and a receiver tank connected by a transfer line. The convey of He II from one tank to the other is controlled by a fountain effect pump (FEP). Phase separators are present in both the supply and receiver tank to regulate the bath temperature. Description of this model has been published elsewhere. In the present paper, data from a transfer experiment are used to verify the accuracy of this model. The experiment consisted of an FEP made of a 2-micron sintered stainless steel porous plug. Superfluid has been transferred from a liquid helium bath into a glass beaker. Bath temperatures, flowrate and heater power records are available. These results are compared to the predictions of the computer program and good agreement is found between the two. This model is very useful for the study and design of superfluid transfer systems, e.g., the Superfluid Helium Tanker (SFHT) and the Particle Astrophysics Magnet Facility (ASTROMAG).
Yuan, S. W. K.↗
Space shuttle thermal scale modeling application study
The critical thermal control problems and verification of thermal mathematical model results for the space shuttle concept are discussed. The use of a small scale thermal model of the space shuttle is proposed. It was determined that a one-third scale model of the space shuttle would serve as a useful tool throughout the entire thermal design and verification program. The major considerations in modeling the conduction-radiation-convection fields, the level of detail for modeling various systems, preliminary test requirements, and potential applications of the thermal scale model are summarized.
Marshall, K. N.↗
Advanced turboprop testbed systems study
The proof of concept, feasibility, and verification of the advanced prop fan and of the integrated advanced prop fan aircraft are established. The use of existing hardware is compatible with having a successfully expedited testbed ready for flight. A prop fan testbed aircraft is definitely feasible and necessary for verification of prop fan/prop fan aircraft integrity. The Allison T701 is most suitable as a propulsor and modification of existing engine and propeller controls are adequate for the testbed. The airframer is considered the logical overall systems integrator of the testbed program.
Goldsmith, I. M.↗
External tank aerothermal design criteria verification, volume 1
The objective of this study was to produce an independent set of ascent environments which would serve as a check on the Rockwell IVBC-3 environments and provide an independent reevaluation of the thermal design criteria for the External Tank (ET). Design heating rates and loads were calculated at 367 acreage body point locations. Ascent flight regimes covered were lift-off, first stage ascent, Solid Rocket Booster (SRB) staging and second stage ascent through ET separation. The purpose here is to document these results, briefly describe the methodology used and present the environments along with a comparison with the Rockwell IVBC-3 counterpart. The methodology and environment summaries are given.
Crain, William K.↗
External tank aerothermal design criteria verification, volume 2
The objective of the study was to produce an independent set of ascent environments which would serve as a check on the Rockwell International (RI) IVBC-3 environments and provide an independent reevaluation of the thermal design criteria for the External Tank (ET). Given here are the plotted timewise environments comparing REMTECH results to the RI IVBC results.
Crain, William K.↗
Inference of cirrus cloud properties using satellite-observed visible and infrared radiances. II - Verification of theoretical cirrus radiative properties
The study presents a methodology developed to apply a parameterization of radiative transfer calculations to satellite analyses of cirrus clouds. Cloud heights and optical depths are derived from visible and IR window measurements taken during FIRE when cirrus clouds were present. Geostationary satellite retrievals are compared to lidar-derived cloud heights and retrievals from a polar-orbiting satellite taken at different angles to determine which theoretical models of scattering phase function and single-scattering albedo best represent actual cirrus clouds. Models using small scattering phase function and single-scattering albedo best represent actual cirrus clouds. It is concluded that interpretation of cirrus reflectance with water-droplet models leads to biased results. The cloud-height and optical depth biases can be minimized with the aid of the C20 or cirrostratus models.
Minnis, Patrick↗
Instrument Systems Analysis and Verification Facility (ISAVF) users guide
The ISAVF facility is primarily an interconnected system of computers, special purpose real time hardware, and associated generalized software systems, which will permit the Instrument System Analysts, Design Engineers and Instrument Scientists, to perform trade off studies, specification development, instrument modeling, and verification of the instrument, hardware performance. It is not the intent of the ISAVF to duplicate or replace existing special purpose facilities such as the Code 710 Optical Laboratories or the Code 750 Test and Evaluation facilities. The ISAVF will provide data acquisition and control services for these facilities, as needed, using remote computer stations attached to the main ISAVF computers via dedicated communication lines.
Davis, J. F.↗
Design for pressure regulating components
The design development for Pressure Regulating Components included a regulator component trade-off study with analog computer performance verification to arrive at a final optimized regulator configuration for the Space Storable Propulsion Module, under development for a Jupiter Orbiter mission. This application requires the pressure regulator to be capable of long-term fluorine exposure. In addition, individual but basically identical (for purposes of commonality) units are required for separate oxidizer and fuel pressurization. The need for dual units requires improvement in the regulation accuracy over present designs. An advanced regulator concept was prepared featuring redundant bellows, all metallic/ceramic construction, friction-free guidance of moving parts, gas damping, and the elimination of coil springs normally used for reference forces. The activities included testing of actual size seat/poppet components to determine actual discharge coefficients and flow forces. The resulting data was inserted into the computer model of the regulator. Computer simulation of the propulsion module performance over two mission profiles indicated satisfactory minimization of propellant residual requirements imposed by regulator performance uncertainties.
Wichmann, H.↗
A demonstration of ERTS-1 analog and digital techniques applied to strip mining in Maryland and West Virginia
The largest contour strip mining operations in western Maryland and West Virginia are located within the Georges Creek and the Upper Potomac Basins. These two coal basins lie within the Georges Creek (Wellersburg) syncline. The disturbed strip mine areas were delineated with the surrounding geological and vegetation features using ERTS-1 data in both analog (imagery) and digital form. The two digital systems used were: (1) the ERTS-Analysis system, a point-by-point digital analysis of spectral signatures based on known spectral values, and (2) the LARS Automatic Data Processing System. The digital techniques being developed will later be incorporated into a data base for land use planning. These two systems aided in efforts to determine the extent and state of strip mining in this region. Aircraft data, ground verification information, and geological field studies also aided in the application of ERTS-1 imagery to perform an integrated analysis that assessed the adverse effects of strip mining. The results indicated that ERTS can both monitor and map the extent of strip mining to determine immediately the acreage affected and indicate where future reclamation and revegetation may be necessary.
Anderson, A. T.↗