SEARCH · Search NASA

Results for “Model Checking”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 469 records · Page 26

All sources NASA NTRS DOE OSTI

NASA NTRS1982

The Apollo 15 regolith - Chemical modeling and mare/highland mixing

The chemical compositions of thirty-one A-15 soils from nine sampling stations were studied. Mixing models were calculated using five components: 'representative A-15 mare basalt', anorthosite, low-K Fra Mauro basalt, green glass, and medium-K KREEP (Laul and Papike, 1980). A linear-least-squares mixing model (Boynton et al., 1975) was used with sum check and chi-square tests of the fit of components to soil composition. The soils show significant compositional variability, in some instances over relatively small distances within a sampling station. The models indicate that green-glass abundance does not vary systematically with location and that a significant KREEP component is found in all Apennine Front soils. The models also show the soils from the rim of Hadley Rille to be the most mare-enriched, and soils from Station 2 to be the most highland-enriched. The regolith from Station 8-LM is anomalously high in KREEP component relative to the other mare soils, possibly because of ray material.

Walker, R. J.↗

NASA NTRS1976

Remarks on the construction of a second-order closure description of turbulent reacting flows

In this paper an attempt is made to illustrate how second-order closure techniques might be used to make detailed calculations of turbulent diffusion flames. Two of the problems of closure that are peculiar to turbulent chemically reacting flows are discussed in some detail. These are the problem of computing in a consistent way all the correlations of fluctuations in scalar quantities needed for closure and the problem of the generation of turbulence by chemical reactions. Tentative closure models are put forward for both of these problems. Although the closure model for fluctuations in scalar quantities can, to a certain extent, be checked against idealized numerical examples for which exact solutions are known, the validity of both the closure models proposed here must, in the end, be determined by detailed comparison of computed results with experimental data.

DONALDSON C. DUP.↗

NASA NTRS1989

Fatigue analysis of mini-mast space truss

The functional, structural adequacy of a 20 meter long generic space truss (Mini-Mast), subjected to fatigue loading, was examined with respect to the failure modes which are most likely to occur during services. The space truss is made of thin-walled tubes having unidirectional, zero degree layups of Celanese G50 graphite fibers/Narmco 5217 epoxy composites. The approach used to investigate the most probable failure mode of the truss under fatigue loading is to determine the stress level, including the types of stress, in the member first, then followed by failure mode analysis based on the stress level just determined. To begin, an approximate beam-parameter truss (BPT) model is analyzed first, followed by a detailed analysis of the truss using a finite element model (FEM) run with NASTRAN code. The response results of the BPT model are used to compare FEM results and to check any major deviation of trend derived from the FEM. The purpose of the work was to search available fatigue data of the tube material, to conduct approximate dynamical stress analysis of the BPT model, to run detailed dynamical stress analysis of the FEM model using NASTRAN code, and to predict the fatigue life of the truss member based on limited fatigue data.

Hwang, Shoi Y.↗

NASA NTRS1960

Investigation at Mach Numbers of 0.20 to 3.50 of Blended Wing-Body Combinations of Sonic Design with Diamond, Delta, and Arrow Plan Forms

The models had aspect-ratio-2 diamond, delta, and arrow wings with the leading edges swept 45.00 deg, 59.04 deg, and 70.82 deg, respectively. The wing sections were computed by varying the section shape along with the body radii (blending process) to match the prescribed area distribution and wing plan form. The wing sections had an average value of maximum thickness ratio of about 4 percent of the local chords in a streamwise direction. The models were tested with transition fixed at Reynolds numbers of about 4,000,000 to 9,000,0000, based on the mean aerodynamic chord of the wings. The effect of varying Reynolds number was checked at both subsonic and supersonic speeds. The diamond model was superior to the other plan forms at transonic speeds ((L/D)max = 11.00 to 9.52) because of its higher lift-curve slope and near optimum wave drag due to the blending process. For the wing thickness tested with the diamond model, the marked body and wing contouring required for transonic conditions resulted in a large wave-drag penalty at the higher supersonic Mach numbers where the leading and trailing edges of the wing were supersonic. Because of the low sweep of the trailing edge of the delta model, this configuration was less adaptable to the blending process. Removing a body bump prescribed by the Mach number 1.00 design resulted in a good supersonic design. This delta model with 10 percent less volume was superior to the other plan forms at Mach numbers of 1.55 to 2.35 ((L/D)max = 8.65 to 7.24), but it and the arrow model were equally good at Mach numbers of 2.50 to 3.50 ((L/D)max - 6.85 to O.39). At transonic speeds the arrow model was inferior because of the reduced lift-curve slope associated with its increased sweep and also because of the wing base drag. The wing base-drag coefficients of the arrow model based on the wing planform area decreased from a peak value of 0.0029 at Mach number 1.55 to 0.0003 at Mach number 3.50. Linear supersonic theory was satisfactory for predicting the aerodynamic trends at Mach numbers from 1.55 to 3.50 of lift-curve slope, wave drag, drag due to lift, aerodynamic-center location, and maximum lift-drag ratios for each of the models.

Holdaway, George H.↗

NASA NTRS2016

Optical Modeling and Polarization Calibration for CMB Measurements with Actpol and Advanced Actpol

The Atacama Cosmology Telescope Polarimeter (ACTPol) is a polarization sensitive upgrade to the Atacama Cosmology Telescope, located at an elevation of 5190 m on Cerro Toco in Chile. ACTPol uses transition edge sensor bolometers coupled to orthomode transducers to measure both the temperature and polarization of the Cosmic Microwave Background (CMB). Calibration of the detector angles is a critical step in producing polarization maps of the CMB. Polarization angle offsets in the detector calibration can cause leakage in polarization from E to B modes and induce a spurious signal in the EB and TB cross correlations, which eliminates our ability to measure potential cosmological sources of EB and TB signals, such as cosmic birefringence. We calibrate the ACTPol detector angles by ray tracing the designed detector angle through the entire optical chain to determine the projection of each detector angle on the sky. The distribution of calibrated detector polarization angles are consistent with a global offset angle from zero when compared to the EB-nulling offset angle, the angle required to null the EB cross-correlation power spectrum. We present the optical modeling process. The detector angles can be cross checked through observations of known polarized sources, whether this be a galactic source or a laboratory reference standard. To cross check the ACTPol detector angles, we use a thin film polarization grid placed in front of the receiver of the telescope, between the receiver and the secondary reflector. Making use of a rapidly rotating half-wave plate (HWP) mount we spin the polarizing grid at a constant speed, polarizing and rotating the incoming atmospheric signal. The resulting sinusoidal signal is used to determine the detector angles. The optical modeling calibration was shown to be consistent with a global offset angle of zero when compared to EB nulling in the first ACTPol results and will continue to be a part of our calibration implementation. The first array of detectors for Advanced ACTPol, the next generation upgrade to ACTPol, will be deployed in 2016.We plan to continue using both techniques and compare them to astrophysical source measurements for the Advanced ACTPol polarization calibration.

Koopman, Brian↗

NASA NTRS2018

Quantitative validation of Ames IR intensity and new line lists for (32/33/34)S(16)O2, (32)S(18)O2 and (16)O(32)S(18)O

The quality of Ames-296K SO2 Infrared (IR) line list intensities is first validated by quantitative exploration of several dipole moment surfaces (DMSs) and partition sum convergence. The DMSs are computed with several of Dunning’s correlation-consistent basis sets and their vibrational dependence are compared to the empirical model derived from Stark effect experiments reported by D. Patel, D. Margolese, and T.R. Dykea [J.Chem.Phys. 70, 2740 (1979)]. The effective dipole deviations from the DMS adopted in the Ames IR lists is 0.2-0.4% for vibrational states up to 3v3. The vibrational dependence of the dipole moment is also in good agreement, except for nv1. Partition sum convergence at 296K is confirmed by new calculations with rotational quantum number J up to 150 and upper state E’ up to 8000 cm-1. The isotopologue consistency of the Ames IR line lists is superior relative to the regular Effective Hamiltonian (EH) models and Effective Dipole Moment (EDM) models. The v1+v2 and v2+v3 intensity consistency check reveals the recently reported experimental intensities need significant improvement or re-analysis. After the accuracy, convergence, and isotopologue consistency have been confirmed, the theoretical Ames-296K intensities are combined with the experimental line positions or EH models that experimental spectroscopists published after 2009. Three high-resolution IR line sets are reported for the (32/33/34)S(16)O2, (32)S(18)O2 and (16)O(32)S(18)O isotopologues: (1) the “New Lines Sets” include experimentally measured line positions; (2) the “Expanded Line Sets” include possible transitions among new rovibrational levels assigned in experiments and ground state (GS) levels predicted by reliable EH models; (3) the “Ames + MARVEL Sets” include possible transitions among all those levels reported in a recent MARVEL analysis. [Tóbiás et al, JQSRT 208, 152 (2018)]. Compared to the limited data in High-resolution TRANsmission molecular absorption database (HITRAN), these line sets have significantly improved the data coverage up to 4000 cm-1. Some missing bands can be traced to the unpublished experimental data. The isotopologue consistency of these line sets will help identify the uncertainties and defects in the experimental EH and EDM models. These line sets are good candidates for the next HITRAN update, if line shape parameters are available. The line sets can be downloaded from supplementary files or from the Ames Molecular Spectroscopic Database at http://huang.seti.org.

Xinchuan Huang↗

NASA NTRS1992

Ionospheric simulation compared with Dynamics Explorer observations for November 22, 1981

The present study uses an extensive DE-2 data base to both constrain inputs to a time-dependent ionospheric model (TDIM) for a simulation of the ionosphere and then check the simulated densities. The investigation was carried out for both a quiet period and a substorm period. The quiet-day study produced very good agreement between modeled and observed electron densities in the topside ionosphere with two significant exceptions: First, across the polar region the DE-2 LANG densities showed fine structure in addition to the overall regional density morphology. Second, a surprising discrepancy arose in the presunrise and midlatitude trough. The TDIM densities were an order of magnitude lower than those observed by DE-2. The substorm study showed remarkably good agreement with the observed densities.

Sojka, J. J.↗

NASA NTRS2013

A Validated Set of MIDAS V5 Task Network Model Scenarios to Evaluate Nextgen Closely Spaced Parallel Operations Concepts

The Closely Spaced Parallel Operations (CSPO) scenario is a complex, human performance model scenario that tested alternate operator roles and responsibilities to a series of off-nominal operations on approach and landing (see Gore, Hooey, Mahlstedt, Foyle, 2013). The model links together the procedures, equipment, crewstation, and external environment to produce predictions of operator performance in response to Next Generation system designs, like those expected in the National Airspaces NextGen concepts. The task analysis that is contained in the present report comes from the task analysis window in the MIDAS software. These tasks link definitions and states for equipment components, environmental features as well as operational contexts. The current task analysis culminated in 3300 tasks that included over 1000 Subject Matter Expert (SME)-vetted, re-usable procedural sets for three critical phases of flight; the Descent, Approach, and Land procedural sets (see Gore et al., 2011 for a description of the development of the tasks included in the model; Gore, Hooey, Mahlstedt, Foyle, 2013 for a description of the model, and its results; Hooey, Gore, Mahlstedt, Foyle, 2013 for a description of the guidelines that were generated from the models results; Gore, Hooey, Foyle, 2012 for a description of the models implementation and its settings). The rollout, after landing checks, taxi to gate and arrive at gate illustrated in Figure 1 were not used in the approach and divert scenarios exercised. The other networks in Figure 1 set up appropriate context settings for the flight deck.The current report presents the models task decomposition from the tophighest level and decomposes it to finer-grained levels. The first task that is completed by the model is to set all of the initial settings for the scenario runs included in the model (network 75 in Figure 1). This initialization process also resets the CAD graphic files contained with MIDAS, as well as the embedded operator models that comprise MIDAS. Following the initial settings, the model progresses to begin the first tasks required of the two flight deck operators, the Captain (CA) and the First Officer (FO). The task sets will initialize operator specific settings prior to loading all of the alerts, probes, and other events that occur in the scenario. As a note, the CA and FO were terms used in developing this model but the CA can also be thought of as the Pilot Flying (PF), while the FO can be considered the Pilot-Not-Flying (PNF)or Pilot Monitoring (PM). As such, the document refers to the operators as PFCA and PNFFO respectively.

task network model↗

NASA NTRS1987

New flange correction formula applied to interfacial resistance measurements of ohmic contacts to GaAs

A quasi-two-dimensional analytical model is developed to account for vertical and horizontal current flow in and adjacent to a square ohmic contact between a metal and a thin semiconducting strip which is wider than the contact. The model includes side taps to the contact area for voltage probing and relates the 'apparent' interfacial resistivity to the (true) interfacial resistivity, the sheet resistance of the semiconducting layer, the contact size, and the width of the 'flange' around the contact. This relation is checked against numerical simulations. With the help of the model, interfacial resistivities of ohmic contacts to GaAs were extracted and found independent of contact size in the range of 1.5-10 microns.

Lieneweg, Udo↗

NASA NTRS2019

Tests of General Relativity With the Binary Black Hole Signals from the LIGO-Virgo Catalog GWTC-1

The detection of gravitational waves by Advanced LIGO and Advanced Virgo provides an opportunity to test general relativity in a regime that is inaccessible to traditional astronomical observations and laboratory tests. We present four tests of the consistency of the data with binary black hole gravitational waveforms predicted by general relativity. One test subtracts the best-fit waveform from the data and checks the consistency of the residual with detector noise. The second test checks the consistency of the low- and high-frequency parts of the observed signals. The third test checks that phenomenological deviations introduced in the waveform model (including in the post-Newtonian coefficients) are consistent with 0. The fourth test constrains modifications to the propagation of gravitational waves due to a modified dispersion relation, including that from a massive graviton. We present results both for individual events and also results obtained by combining together particularly strong events from the first and second observing runs of Advanced LIGO and Advanced Virgo, as collected in the catalog GWTC-1. We do not find any inconsistency of the data with the predictions of general relativity and improve our previously presented combined constraints by factors of 1.1 to 2.5. In particular, we bound the mass of the graviton to be 𝑚𝑔≤4.7×10 −23 eV/𝑐 2 (90% credible level), an improvement of a factor of 1.6 over our previously presented results. Additionally, we check that the four gravitational-wave events published for the first time in GWTC-1 do not lead to stronger constraints on alternative polarizations than those published previously.

B P Abbott↗

NASA NTRS2014

MHD Modeling of Coronal Loops: the Transition Region Throat

Context. The expansion of coronal loops in the transition region may considerably influence the diagnostics of the plasma emission measure. The cross-sectional area of the loops is expected to depend on the temperature and pressure, and might be sensitive to the heating rate. Aims. The approach here is to study the area response to slow changes in the coronal heating rate, and check the current interpretation in terms of steady heating models. Methods. We study the area response with a time-dependent 2D magnetohydrodynamic (MHD) loop model, including the description of the expanding magnetic field, coronal heating and losses by thermal conduction, and radiation from optically thin plasma. We run a simulation for a loop 50 Mm long and quasi-statically heated to about 4 millikelvin. Results. We find that the area can change substantially with the quasi-steady heating rate, e.g., by approx. 40% at 0.5 millikelvin as the loop temperature varies between 1 millikelvin and 4 millikelvin, and, therefore, affects the interpretation of the differential emission measure vs. temperature (DEM(T)) curves.

magnetohydrodynamics (MHD)↗

NASA NTRS1992

Precipitable water and surface humidity over global oceans from special sensor microwave imager and European Center for Medium Range Weather Forecasts

Global fields of precipitable water W from the special sensor microwave imager were compared with those from the European Center for Medium Range Weather Forecasts (ECMWF) model. They agree over most ocean areas; both data sets capture the two annual cycles examined and the interannual anomalies during an ENSO episode. They show significant differences in the dry air masses over the eastern tropical-subtropical oceans, particularly in the Southern Hemisphere. In these regions, comparisons with radiosonde data indicate that overestimation by the ECMWF model accounts for a large part of the differences. As a check on the W differences, surface-level specific humidity Q derived from W, using a statistical relation, was compared with Q from the ECMWF model. The differences in Q were found to be consistent with the differences in W, indirectly validating the Q-W relation. In both W and Q, SSMI was able to discern clearly the equatorial extension of the tongues of dry air in the eastern tropical ocean, while both ECMWF and climatological fields have reduced spatial gradients and weaker intensity.

Liu, W. T.↗

NASA NTRS1993

Nonlinear smoothing identification algorithm with application to data consistency checks

A parameter identification algorithm for nonlinear systems is presented. It is based on smoothing test data with successively improved sets of model parameters. The smoothing, which is iterative, provides all of the information needed to compute the gradients of the smoothing performance measure with respect to the parameters. The parameters are updated using a quasi-Newton procedure, until convergence is achieved. The advantage of this algorithm over standard maximum likelihood identification algorithms is the computational savings in calculating the gradient. This algorithm was used for flight-test data consistency checks based on a nonlinear model of aircraft kinematics. Measurement biases and scale factors were identified. The advantages of the presented algorithm and model are discussed.

Idan, M.↗

NASA NTRS2004

Performance Trade-Offs for MBG Using Different Bandgap Pairs

Present GAInP2/GAAs cell grown on Ge (or GaAs) substrates have demonstrates high efficiency, However, the individual bandgaps (1.85 eV, 1.42 eV respectively) are not the optimum match to convert the AM0 spectrum efficiently, although by reducing the thickness of the GaInP2 cell, good efficiencies have been achieved. Within the III-V alloys, modeling shows that several dual junction cells, comprising different bandgap pairs, could give higher efficiency. This paper outlines the modeling used, the bandgap pairs selected, and projections for the AM0 efficiency assuming that the effects of lattice mismatch associated with the bandgap can be reduced. We also present preliminary data on I-V performance for the selected top and bottom cells and for some full cascade cells. We have included some characterization results to check the bandgaps and lattice strain, to check how closely the fabricated cells conform to the model,

Iles, P. A.↗

NASA NTRSDate not supplied

Assessment of Numerical and Modeling Errors of RANS based Transition Models for Low-Reynolds Numbers 2-D Flows

In this paper we report the outcome of selected workshops organized as part of the NATO Applied Vehicle Technology (AVT)-313 activity Incompressible Laminar-to-Turbulent Flow Transition Study that focused on assessing the numerical and modeling accuracy of the γ−Reθ and γ transition models coupled to the k−ω Shear-Stress Transport (SST) two-equation eddy-viscosity model. Three different test cases involving nominally 2D flow configurations were selected: flow over a flat plate with two different levels of turbulence intensity at the inlet; flow around the Eppler 387 foil at a Reynolds number of 3×10^5 and angles of attack of 1 deg. and 7 deg. flow around the NACA 0015 foil at a Reynolds number of 1.8×10^5 and angles of attack of 5 deg. and10 deg. The flat plate flow conditions correspond to natural and by-pass transition, whereas the other two test cases include laminar separation bubbles that lead to separation-induced transition. For each test case, the selected quantities of interest include both integral and local flow quantities. Geometrically similar grids with a wide range of grid refinement ratios were generated for each of the test cases to allow the estimation of numerical uncertainties for all quantities of interest selected for this study. Several RANS flow solvers were used, employing common grids with the same boundary conditions and mathematical models. Therefore, it is possible to analyze the consistency of the results, i.e., to check if the intervals defined by the different numerical solutions with their respective uncertainties overlap with each other. Modeling errors can also be addressed for the selected flow quantities that have experimental data available. However, the experimental information available in these cases is not sufficient to guarantee that experiments and simulations are performed with the same settings. Nonetheless, the available experimental data is sufficient to guarantee that modeling errors are significantly reduced with the use of the transition models when compared to simulations performed using only the k−ω SST model.

CFD Modeling↗

NASA NTRS1992

Cognition and procedure representational requirements for predictive human performance models

Models and modeling environments for human performance are becoming significant contributors to early system design and analysis procedures. Issues of levels of automation, physical environment, informational environment, and manning requirements are being addressed by such man/machine analysis systems. The research reported here investigates the close interaction between models of human cognition and models that described procedural performance. We describe a methodology for the decomposition of aircrew procedures that supports interaction with models of cognition on the basis of procedures observed; that serves to identify cockpit/avionics information sources and crew information requirements; and that provides the structure to support methods for function allocation among crew and aiding systems. Our approach is to develop an object-oriented, modular, executable software representation of the aircrew, the aircraft, and the procedures necessary to satisfy flight-phase goals. We then encode in a time-based language, taxonomies of the conceptual, relational, and procedural constraints among the cockpit avionics and control system and the aircrew. We have designed and implemented a goals/procedures hierarchic representation sufficient to describe procedural flow in the cockpit. We then execute the procedural representation in simulation software and calculate the values of the flight instruments, aircraft state variables and crew resources using the constraints available from the relationship taxonomies. The system provides a flexible, extensible, manipulative and executable representation of aircrew and procedures that is generally applicable to crew/procedure task-analysis. The representation supports developed methods of intent inference, and is extensible to include issues of information requirements and functional allocation. We are attempting to link the procedural representation to models of cognitive functions to establish several intent inference methods including procedural backtracking with concurrent search, temporal reasoning, and constraint checking for partial ordering of procedures. Finally, the representation is being linked to models of human decision making processes that include heuristic, propositional and prescriptive judgement models that are sensitive to the procedural content in which the valuative functions are being performed.

Corker, K.↗

NASA NTRS1972

An 810 ft/sec soil impact test of a 2-foot diameter model nuclear reactor containment system

A soil impact test was conducted on a 880-pound 2-foot diameter sphere model. The impact area consisted of back filled desert earth and rock. The impact generated a crater 5 feet in diameter by 5 feet deep. It buried itself a total of 15 feet - as measured to the bottom of the model. After impact the containment vessel was pressure checked. No leaks were detected nor cracks observed.

Puthoff, R. L.↗

NASA NTRS1977

Rolling moments in a trailing vortex flow field

Pressure distributions are presented which were measured on a wing in close proximity to a tip vortex of known structure generated by a larger, upstream semispan wing. Overall loads calculated by integration of these pressures are checked by independent measurements made with an identical model mounted on a force balance. Several conventional methods of wing analysis are used to predict the loads on the following wing. Strip theory is shown to give uniformly poor results for loading distribution, although predictions of overall lift and rolling moment are sometimes acceptable. Good results are obtained for overall coefficients and loading distribution by using linearized pressures in vortex-lattice theory in conjunction with a rectilinear vortex. The equivalent relation from reverse-flow theory that can be used to give economic predictions for overall loads is presented.

Mcmillan, O. J.↗