Engineering Papers⌕ Search

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.

At least 829 records · Page 46
All sourcesNASA NTRSDOE OSTI
NASA NTRSDate not supplied

CropManage Application for Vineyard Irrigation Decision-Support

CropManage is a free web-application developed by U.C. Cooperative Extension to support evapotranspiration based irrigation scheduling and nutrient management for major specialty crops. Prescribed phenology curves are used to develop daily estimates of canopy cover within a given field, based on days since planting (annual crops) or budbreak (trees, vines). These curves are modulated by a MaxCan parameter representing seasonal maximum canopy cover. Crop development observations can be used to adjust for such factors as weather anomalies or non-standard agronomic practice, as needed. Canopy cover is converted to crop coefficient and combined with reference evapotranspiration to derive daily water consumption. Guidance on crop water requirement is then conveyed to users in terms of system runtime issued on-demand for a given date, largely based on total evapotranspiration since last irrigation event. In this study, CropManage was adapted to vineyards by adding modules accounting for early-season soil moisture depletion and cover crop presence. A crop stress parameter was added to accommodate deficit irrigation practice, allowing the user to specify percentage departure from full water requirement along with start/stop dates. An initial verification exercise was performed on three winegrape vineyards located in California’s Central Coast (2020), North Coast (2020) and Central Valley (2019). Daily crop evapotranspiration was monitored by eddy-covariance fluxtowers. MaxCan was measured by ground and satellite observation. Stress regime was specified by grower practice where available, otherwise stress levels were inferred from applied water records. Mean absolute error and mean bias error of modeled cumulative evapotranspiration were computed with respect to the eddy covariance measurements collected throughout the growing season. Results indicate the modified CropManage water management module performs reasonably well for winegrape. Additional effort is planned to modify the nutrient module for vineyard use.

CropManage↗
NASA NTRS2007

Model Checking a Byzantine-Fault-Tolerant Self-Stabilizing Protocol for Distributed Clock Synchronization Systems

This report presents the mechanical verification of a simplified model of a rapid Byzantine-fault-tolerant self-stabilizing protocol for distributed clock synchronization systems. This protocol does not rely on any assumptions about the initial state of the system. This protocol tolerates bursts of transient failures, and deterministically converges within a time bound that is a linear function of the self-stabilization period. A simplified model of the protocol is verified using the Symbolic Model Verifier (SMV) [SMV]. The system under study consists of 4 nodes, where at most one of the nodes is assumed to be Byzantine faulty. The model checking effort is focused on verifying correctness of the simplified model of the protocol in the presence of a permanent Byzantine fault as well as confirmation of claims of determinism and linear convergence with respect to the self-stabilization period. Although model checking results of the simplified model of the protocol confirm the theoretical predictions, these results do not necessarily confirm that the protocol solves the general case of this problem. Modeling challenges of the protocol and the system are addressed. A number of abstractions are utilized in order to reduce the state space. Also, additional innovative state space reduction techniques are introduced that can be used in future verification efforts applied to this and other protocols.

Malekpour, Mahyar R.↗
NASA NTRS1994

Experimental study of solar simulator mirror cryocontamination

The background and tasks formulation of the study of Solar Simulator collimation mirror cryocontamination in Large Thermal Vacuum Facility are outlined, research methods and experiment procedures are described, experimental relationships obtained are analyzed and practical recommendations are given. The accepted procedure of thermal vacuum tests as a rule defines the sequence of operations for verifying the spacecraft under test without taking into account measures for preventing Solar Simulator collimation mirror contamination and degradation. On the other hand, evacuation procedures is defined for conditions of achieving the required vacuum in the shortest possible time with using the available evacuation equipment at a regime close to the optimum one. Similarly, cryopanel cooling down cyclogram and test object preparation process are not analyzed from the viewpoint of ways of reducing environmental detrimental effects on thermal vacuum facility contamination-sensitive systems. Solar Simulator mirror contamination and its reflective characteristics change results in degradation of solar flux parameters and reduction of simulator continuous operation time. Methods of consideration of optical effects due to mirror surface contamination are actually missing. The effects themselves are not quite understood and data cited in literature as a rule, were obtained under conditions different from real thermal vacuum facility and therefore should be subjected to additional experimental verification. Only in the last few years contamination effect on optical surfaces degradation has been considered with using empirical relations. Mirror reflective properties degradation leads to the increase of Solar Simulator errors. This ultimately has an adverse effect on S/C ground development, schedule and cost of thermal vacuum tests. Besides, the mirror maintenance in operable state becomes more expensive. The present paper is dedicated to the study of Solar Simulator collimation mirror contamination and to the search of ways for improving the mirror design and thermal vacuum test procedure. On the basis of tests performed, recommendations are devised on reducing chamber inner-optical surfaces cryocontamination and degradation.

Galjaev, V. L.↗
NASA NTRS1975

Application of remote sensing to thermal pollution analysis

A comprehensive numerical model development program for near-field thermal plume discharge and far field general circulation in coastal regions is being carried on at the University of Miami Clean Energy Research Institute. The objective of the program is to develop a generalized, three-dimensional, predictive model for thermal pollution studies. Two regions of specific application of the model are the power plants sites at the Biscayne Bay and Hutchinson Island area along the Florida coastline. Remote sensing from aircraft as well as satellites are used in parallel with in situ measurements to provide information needed for the development and verification of the mathematical model. This paper describes the efforts that have been made to identify problems and limitations of the presently available satellite data and to develop methods for enhancing and enlarging thermal infrared displays for mesoscale sea surface temperature measurements.

Hiser, H. W.↗
NASA NTRS1992

The role of failure/problems in engineering: A commentary of failures experienced - lessons learned

The written version of a series of seminars given to several aerospace companies and three NASA centers are presented. The results are lessons learned through a study of the problems experienced in 35 years of engineering. The basic conclusion is that the primary cause of problems has not been mission technologies, as important as technology is, but the neglect of basic principles. Undergirding this is the lack of a systems focus from determining requirements through design, verification, and operations phases. Many of the concepts discussed are fundamental to total quality management (TQM) and can be used to augment this product enhanced philosophy. Fourteen principles are addressed with problems experienced and are used as examples. Included is a discussion of the implication of constraints, poorly defined requirements, and schedules. Design guidelines, lessons learned, and future tasks are listed. Two additional sections are included that deal with personal lessons learned and thoughts on future thrusts (TQM).

Ryan, R. S.↗
NASA NTRS2001

Combustion of Unconfined Droplet Clusters in Microgravity

Combustion experiments using arrays of droplets seek to provide a link between single droplet combustion phenomena and the behavior of complex spray combustion systems. Both single droplet and droplet array studies have been conducted in microgravity to better isolate the droplet interaction phenomena and eliminate or reduce the confounding effects of buoyancy-induced convection. In most experiments involving droplet arrays, the droplets are supported on fibers to keep them stationary and close together before the combustion event. The presence of the fiber, however, disturbs the combustion process by introducing a source of heat transfer and asymmetry into the configuration. As the number of drops in a droplet array increases, supporting the drops on fibers becomes less practical because of the cumulative effect of the fibers on the combustion process. To eliminate the effect of the fiber, several researchers have conducted microgravity experiments using unsupported droplets. Jackson and Avedisian investigated single, unsupported drops while Nomura et al. studied droplet clouds formed by a condensation technique. The overall objective of this research is to extend the study of unsupported drops by investigating the combustion of well-characterized drop clusters in a microgravity environment. Direct experimental observations and measurements of the combustion of droplet clusters would fill a large gap in our current understanding of droplet and spray combustion and provide unique experimental data for the verification and improvement of spray combustion models. In this work, the formation of drop clusters is precisely controlled using an acoustic levitation system so that dilute, as well as dense clusters can be created and stabilized before combustion in microgravity is begun. This paper describes the design and performance of the 1-g experimental apparatus, some preliminary 1-g results, and plans for testing in microgravity.

Ruff, G. A.↗
NASA NTRS2008

Implementation of a Blowing Boundary Condition in the LAURA Code

Preliminary steps toward modeling a coupled ablation problem using a finite-volume Navier-Stokes code (LAURA) are presented in this paper. Implementation of a surface boundary condition with mass transfer (blowing) is described followed by verification and validation through comparisons with analytic results and experimental data. Application of the code to a carbon-nosetip ablation problem is demonstrated and the results are compared with previously published data. It is concluded that the code and coupled procedure are suitable to support further ablation analyses and studies.

Thompson, Richard a.↗
NASA NTRS2008

RESOLVE Projects: Lunar Water Resource Demonstration and Regolith Volatile Characterization

To sustain affordable human and robotic space exploration, the ability to live off the land at the exploration site will be essential. NASA calls this ability in situ resource utilization (ISRU) and is focusing on finding ways to sustain missions first on the Moon and then on Mars. The ISRU project aims to develop capabilities to technology readiness level 6 for the Robotic Lunar Exploration Program and early human missions returning to the Moon. NASA is concentrating on three primary areas of ISRU: (1) excavating, handling, and moving lunar regolith, (2) extracting oxygen from lunar regolith, and (3) finding, characterizing, extracting, separating, and storing volatile lunar resources, especially in the permanently shadowed polar craters. To meet the challenges related to technology development for these three primary focus areas, the Regolith and Environment Science and Oxygen and Lunar Volatile Extraction (RESOLVE) project was initiated in February 2005, through funding by the Exploration Systems Mission Directorate. RESOLVE's objectives are to develop requirements and conceptual designs and to perform breadboard concept verification testing of each experiment module. The final goal is to deliver a flight prototype unit that has been tested in a relevant lunar polar environment. Here we report progress toward the third primary area creating ways to find, characterize, extract, separate, and store volatile lunar resources. The tasks include studying thermal, chemical, and electrical ways to collect such volatile resources as hydrogen, water, nitrogen, methane, and ammonia. We approached this effort through two subtasks: lunar water resource demonstration (LWRD) and regolith volatile characterization (RVC).

Source record↗
NASA NTRS2016

Can Aerosol Direct Radiative Effects Account for Analysis Increments of Temperature in the Tropical Atlantic?

In the late 1990's, prior to the launch of the Terra satellite, atmospheric general circulation models (GCMs) did not include aerosol processes because aerosols were not properly monitored on a global scale and their spatial distributions were not known well enough for their incorporation in operational GCMs. At the time of the first GEOS Reanalysis (Schubert et al. 1993), long time series of analysis increments (the corrections to the atmospheric state by all available meteorological observations) became readily available, enabling detailed analysis of the GEOS-1 errors on a global scale. Such analysis revealed that temperature biases were particularly pronounced in the Tropical Atlantic region, with patterns depicting a remarkable similarity to dust plumes emanating from the African continent as evidenced by TOMS aerosol index maps. Yoram Kaufman was instrumental encouraging us to pursue this issue further, resulting in the study reported in Alpert et al. (1998) where we attempted to assess aerosol forcing by studying the errors of a the GEOS-1 GCM without aerosol physics within a data assimilation system. Based on this analysis, Alpert et al. (1998) put forward that dust aerosols are an important source of inaccuracies in numerical weather-prediction models in the Tropical Atlantic region, although a direct verification of this hypothesis was not possible back then. Nearly 20 years later, numerical prediction models have increased in resolution and complexity of physical parameterizations, including the representation of aerosols and their interactions with the circulation. Moreover, with the advent of NASA's EOS program and subsequent satellites, atmospheric aerosols are now monitored globally on a routine basis, and their assimilation in global models are becoming well established. In this talk we will reexamine the Alpert et al. (1998) hypothesis using the most recent version of the GEOS-5 Data Assimilation System with assimilation of aerosols. We will explicitly calculate the impact of aerosols on the temperature analysis increments in the tropical Atlantic and assess the extent to which inclusion of atmospheric aerosols have reduced these increments.

General Circulation Models↗
NASA NTRS2018

Hypersonic Chemically Reacting Boundary-Layer Stability using LASTRAC

Hypersonic boundary layer transition is critical to the design of all hypersonic vehicles due to its effect on the heat transfer into the vehicle surface and potential drag enhancement or reduction during reentry. Boundary layer transition and boundary layer stability analysis under hypersonic conditions has been studied for decades, yet there is ample room for improved accuracy and further investigations into the relevant phenomena. In this work, we present a recent implementation of chemical equilibrium, finite-rate chemistry, and thermochemical nonequilibrium capabilities into LASTRAC, an existing well-established boundary-layer stability analysis code. Verification against existing numerical results in the literature are presented. LASTRAC was previously able to address calorically perfect flows. By using solutions of the Parabolized Stability Equations (PSE) with chemical and thermal nonequilibrium, we are able to investigate the effects of chemical and thermal nonequilibrium on a variety of phenomena including stationary crossflow instability on a swept wing and 2nd mode instabilities over a wedge.

Kline, H. L.↗
NASA NTRS2005

Experimental Results for an Annular Aerospike with Differential Throttling

A) MSFC funded an internal study on Altitude Compensating Nozzles: 1) Develop an ACN design and performance prediction tool. 2) Design, build and test cold flow ACN nozzles. 3) An annular aerospike nozzle was designed and tested. 4) Incorporated differential throttling to assess Thrust Vector Control. B) Objective of the test hardware: 1) Provide design tool verification. 2) Provide benchmark data for CFD calculations. 3) Experimentally measure side force, or TVC, for a differentially throttled annular aerospike.

Ruf, Joseph H.↗
NASA NTRS2014

Model Checking Degrees of Belief in a System of Agents

Reasoning about degrees of belief has been investigated in the past by a number of authors and has a number of practical applications in real life. In this paper we present a unified framework to model and verify degrees of belief in a system of agents. In particular, we describe an extension of the temporal-epistemic logic CTLK and we introduce a semantics based on interpreted systems for this extension. In this way, degrees of beliefs do not need to be provided externally, but can be derived automatically from the possible executions of the system, thereby providing a computationally grounded formalism. We leverage the semantics to (a) construct a model checking algorithm, (b) investigate its complexity, (c) provide a Java implementation of the model checking algorithm, and (d) evaluate our approach using the standard benchmark of the dining cryptographers. Finally, we provide a detailed case study: using our framework and our implementation, we assess and verify the situational awareness of the pilot of Air France 447 flying in off-nominal conditions.

MAS Verification↗
NASA NTRS1992

Study of plate-fin heat exchanger and cold plate for the active thermal control system of Space Station

Plate-fin heat exchangers will be employed in the Active Thermal Control System of Space Station Freedom. During ground testing of prototypic heat exchangers, certain anomalous behaviors have been observed. Diagnosis has been conducted to determine the cause of the observed behaviors, including a scrutiny of temperature, pressure, and flow rate test data, and verification calculations based on such data and more data collected during the ambient and thermal/vacuum tests participated by the author. The test data of a plate-fin cold plate have been also analyzed. Recommendation was made with regard to further tests providing more useful information of the cold plate performance.

Chyu, MING-C.↗
NASA NTRS1972

Umbilical Connect Techniques Improvement-Technology Study

The objective of this study was to develop concepts, specifications, designs, techniques, and procedures capable of significantly reducing the time required to connect and verify umbilicals for ground services to the space shuttle. The desired goal was to reduce the current time requirement of several shifts for the Saturn 5/Apollo to an elapsed time of less than one hour to connect and verify all of the space shuttle ground service umbilicals. The study was conducted in four phases: (1) literature and hardware examination, (2) concept development, (3) concept evaluation and tradeoff analysis, and (4) selected concept design. The final product of this study was a detail design of a rise-off disconnect panel prototype test specimen for a LO2/LH2 booster (or an external oxygen/hydrogen tank for an orbiter), a detail design of a swing-arm mounted preflight umbilical carrier prototype test specimen, and a part 1 specification for the umbilical connect and verification design for the vehicles as defined in the space shuttle program.

Valkema, Donald C.↗
NASA NTRS1979

Primary Electric Propulsion Technology Study

An investigation of the 30-cm engineering-model-thruster technology with emphasis placed on the development of models for understanding and predicting the operational characteristics and wear-out mechanisms of the thruster as a function of operating or design parameters is presented. The task studies include: (1) the wear mechanisms and wear rates that determine the useful lifetime of the thruster discharge chamber; (2) cathode lifetime as determined by the depletion of barium from the barium-aluminate-impregnated-porous-tungsten insert that serves as a barium reservoir; (3) accelerator-grid-system technology; (4) a verification of the high-voltage propellant-flow-electrical-isolator design developed under NASA contract NAS3-20395 for operation at 10-kV applied voltage and 10-A equivalent propellant flow with mercury and argon propellants. A model was formulated for predicting performance.

Poeschel, R. L.↗
NASA NTRS1991

Critical speeds and forced response solutions for active magnetic bearing turbomachinery, part 2

The need for better performance of turbomachinery with active magnetic bearings has necessitated a study of such systems for accurate prediction of their vibrational characteristics. A modification of existing transfer matrix methods for rotor analysis is presented to predict the response of rotor systems with active magnetic bearings. The position of the magnetic bearing sensors is taken into account and the effect of changing sensor position on the vibrational characteristics of the rotor system is studied. The modified algorithm is validated using a simpler Jeffcott model described previously. The effect of changing from a rotating unbalance excitation to a constant excitation in a single plane is also studied. A typical eight stage centrifugal compressor rotor is analyzed using the modified transfer matrix code. The results for a two mass Jeffcott model were presented previously. The results obtained by running this model with the transfer matrix method were compared with the results of the Jeffcott analysis for the purposes of verification. Also included are plots of amplitude versus frequency for the eight stage centrifugal compressor rotor. These plots demonstrate the significant influence that sensor location has on the amplitude and critical frequencies of the rotor system.

Rawal, D.↗
NASA NTRS1991

Simulation and analyses of the aeroassist flight experiment attitude update method

A method which will be used to update the alignment of the Aeroassist Flight Experiment's Inertial Measuring Unit is simulated and analyzed. This method, the Star Line Maneuver, uses measurements from the Space Shuttle Orbiter star trackers along with an extended Kalman filter to estimate a correction to the attitude quaternion maintained by an Inertial Measuring Unit in the Orbiter's payload bay. This quaternion is corrupted by on-orbit bending of the Orbiter payload bay with respect to the Orbiter navigation base, which is incorporated into the payload quaternion when it is initialized via a direct transfer of the Orbiter attitude state. The method of updating this quaternion is examined through verification of baseline cases and Monte Carlo analysis using a simplified simulation, The simulation uses nominal state dynamics and measurement models from the Kalman filter as its real world models, and is programmed on Microvax minicomputer using Matlab, and interactive matrix analysis tool. Results are presented which confirm and augment previous performance studies, thereby enhancing confidence in the Star Line Maneuver design methodology.

Carpenter, J. R.↗
NASA NTRS2004

Model Checking Failed Conjectures in Theorem Proving: A Case Study

Interactive mechanical theorem proving can provide high assurance of correct design, but it can also be a slow iterative process. Much time is spent determining why a proof of a conjecture is not forthcoming. In some cases, the conjecture is false and in others, the attempted proof is insufficient. In this case study, we use the SAL family of model checkers to generate a concrete counterexample to an unproven conjecture specified in the mechanical theorem prover, PVS. The focus of our case study is the ROBUS Interactive Consistency Protocol. We combine the use of a mechanical theorem prover and a model checker to expose a subtle flaw in the protocol that occurs under a particular scenario of faults and processor states. Uncovering the flaw allows us to mend the protocol and complete its general verification in PVS.

Pike, Lee↗