Search NASA⌕ Search

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.

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

At least 397 records · Page 22

CFD Model Development of a Cryogenic Storage Tank Self-Pressurization in Normal Gravity and Validation against SHIIVER Experiment

Two-Phase flow and heat transfer simulations with interfacial phase change of the Structural Heat Intercept, Insulation, and Vibration Evaluation Rig (SHIIVER) self-pressurization experiment were conducted using storage tank CFD model in the framework of the ANSYS Fluent CFD code. The simulations were performed for the 70% fill level case with MLI on domes and no vapor cooling. All the phase change calculations in these simulations were generated by in-house Schrage-based evaporation-condensation model. The calculations were performed using both the VOF and Sharp Interface multiphase 2Daxisymmetric models. A number of parametric and sensitivity studies were performed to check the various aspects of the CFD model. These studies helped to understand the effects of varying several parameters on the tank pressure and temperature during self-pressurization. These parameters include: the effect of turbulence modeling and turbulence damping at the interface; the effect of constant vs. temperature dependent fluid properties; the effect of accommodation coefficient; the effect of modeling phase change at the interface and the effect of the fill level.

Computational Fluid Dynamics↗

LDEF satellite radiation study

Some early results are summarized from a program under way to utilize LDEF satellite data for evaluating and improving current models of the space radiation environment in low earth orbit. Reported here are predictions and comparisons with some of the LDEF dose and induced radioactivity data, which are used to check the accuracy of current models describing the magnitude and directionality of the trapped proton environment. Preliminary findings are that the environment models underestimate both dose and activation from trapped protons by a factor of about two, and the observed anisotropy is higher than predicted.

Armstrong, T. W.↗

Comparison of model predictions with LDEF satellite radiation measurements

Some early results are summarized from a program under way to utilize Long Duration Exposure Facility (LDEF) satellite data for evaluating and improving current models of the space radiation environment in low Earth orbit. Reported here are predictions and comparisons with some of the LDEF dose and induced radioactivity data, which are used to check the accuracy of current models describing the magnitude and directionality of the trapped proton environment. Preliminary findings are that the environment models underestimate both dose and activation from trapped protons by a factor of about two, and the observed anisotropy is higher than predicted.

Armstrong, T. W.↗

Towards Behavioral Reflexion Models

Software architecture has become essential in the struggle to manage today s increasingly large and complex systems. Software architecture views are created to capture important system characteristics on an abstract and, thus, comprehensible level. As the system is implemented and later maintained, it often deviates from the original design specification. Such deviations can have implication for the quality of the system, such as reliability, security, and maintainability. Software architecture compliance checking approaches, such as the reflexion model technique, have been proposed to address this issue by comparing the implementation to a model of the systems architecture design. However, architecture compliance checking approaches focus solely on structural characteristics and ignore behavioral conformance. This is especially an issue in Systems-of- Systems. Systems-of-Systems (SoS) are decompositions of large systems, into smaller systems for the sake of flexibility. Deviations of the implementation to its behavioral design often reduce the reliability of the entire SoS. An approach is needed that supports the reasoning about behavioral conformance on architecture level. In order to address this issue, we have developed an approach for comparing the implementation of a SoS to an architecture model of its behavioral design. The approach follows the idea of reflexion models and adopts it to support the compliance checking of behaviors. In this paper, we focus on sequencing properties as they play an important role in many SoS. Sequencing deviations potentially have a severe impact on the SoS correctness and qualities. The desired behavioral specification is defined in UML sequence diagram notation and behaviors are extracted from the SoS implementation. The behaviors are then mapped to the model of the desired behavior and the two are compared. Finally, a reflexion model is constructed that shows the deviations between behavioral design and implementation. This paper discusses the approach and shows how it can be applied to investigate reliability issues in SoS.

Ackermann, Christopher↗

IDAES-PSE 2.5.0 Release

The Institute for the Design of Advanced Energy Systems (IDAES) Integrated Platform is a versatile computational environment offering extensive process systems engineering (PSE) capabilities for optimizing the design and operation of complex, interacting technologies and systems. IDAES enables users to efficiently search vast, complex design spaces to discover the lowest cost, most environmentally sustainable solutions while supporting the full process modeling lifecycle, from conceptual design to dynamic optimization and control. The extensible, open platform empowers users to create models of novel processes and rapidly develop custom analyses, workflows, and end-user applications. IDAES-PSE 2.5.0 Release Highlights Upcoming Changes IDAES will be switching to the new Pyomo solver interface in the next release. Whilst this will hopefully be a smooth transition for most users, there are a few important changes to be aware of. The new solver interface uses a different version of the IPOPT writer (“ipopt_v2”) and thus any custom configuration options you might have set for IPOPT will not carry over and will need to be reset. By default, the new Pyomo linear presolver will be activated with ipopt_v2. Whilst are working to identify any bugs in the presolver, it is possible that some edge cases will remain. IDAES will begin deploying a new set of scaling tools and APIs over the next few releases that make use of the new solver writers. The old scaling tools and APIs will remain for backward compatibility but will begin to be deprecated. New Models, Tools and Features New diagnostics check for near-parallel variables and constraints. New diagnostics tools for identifying causes of infeasibility in models. New example for creating a custom model of a liquid-liquid extractor unit operation. Bug Fixes Fixed bug in Gibbs reactor that caused it to appear to have additional spurious degrees of freedom. Fixed bug in the Modular Property Framework that would cause errors when trying to use phase-based material balances with phase equilibria. Fixed bug in Modular Properties Framework that caused errors when initializing models with non-vapor-liquid phase equilibria. Testing and Robustness Deployed the IDAES Diagnostics Toolbox to confirm that there are no structural or numerical issues in the core model libraries. Additional robustness tests for core model, and some associated improvements in the converge tester class. Fixed a number of issues that were causing unexpected warnings to be emitted during testing. Deprecations and Removals Removed examples for RIPE tool which has not been supported for a number of releases.

AS↗

A linear feedback guidance law for an Aeromaneuvering Orbit-to-Orbit Shuttle

The sensitivity of the trajectory of an Aeromaneuvering Orbit-to-Orbit Shuttle (AMOOS) to unpredictable variations in atmospheric density is shown and a compensating guidance law is developed. The sensitivity was determined using a varying atmosphere model whose statistical properties matched those of actual atmosphere data. This study showed that a compensating guidance law is crucial to the feasibility of AMOOS. Using an optimal regulator approach, a linear feedback law for bank angle was developed and checked out with the atmosphere model. This law uses the altitude profile of the trajectory to control the amount of energy dissipated within the atmosphere.

Rehder, J. J.↗

The necessity for a new parameterization of an empirical model for wind/ocean scatterometry

Difficulties related to the paucity of weather observation data regarding oceans were potentially alleviated for three summer months in 1978 when NASA's Seasat telemetered data from three wind-measuring instruments. The present study is concerned with one of these instruments, the Seasat A Scatterometer System (SASS). Attention is given to an internal consistency check of the SASS 1 model, comparisons of SASS 1 and other model-predicted winds with in situ winds, and a brief summary of the principal findings. It is found that a new wind retrieval system is required if SASS wind data are to be globally applicable and, at the same time, are to meet the required performance specifications. The sum-of-squares (SOS) technique for inverting SASS NRCS (normalized radar cross section) measurements results in the discarding of valuable data in low-speed areas and for higher incidence angles.

Woiceshyn, P. M.↗

The Solid Rocket Motor Slag Population: Results of a Radar-based Regressive Statistical Evaluation

Solid rocket motor (SRM) slag has been identified as a significant source of man-made orbital debris. The propensity of SRMs to generate particles of 100 m and larger has caused concern regarding their contribution to the debris environment. Radar observation, rather than in-situ gathered evidence, is currently the only measurable source for the NASA/ODPO model of the on-orbit slag population. This simulated model includes the time evolution of the resultant orbital populations using a historical database of SRM launches, propellant masses, and estimated locations and times of tail-off. However, due to the small amount of observational evidence, there can be no direct comparison to check the validity of this model. Rather than using the assumed population developed from purely historical and physical assumptions, a regressional approach was used which utilized the populations observed by the Haystack radar from 1996 to present. The estimated trajectories from the historical model of slag sources, and the corresponding plausible detections by the Haystack radar, were identified. Comparisons with observational data from the ensuing years were made, and the SRM model was altered with respect to size and mass production of slag particles to reflect the historical data obtained. The result is a model SRM population that fits within the bounds of the observed environment.

Horstman, Matthew F.↗

Reanalysis of x ray emission from M87 II: Multiphase models

In a previous paper by the authors (hereafter TB), it was shown that the hot intracluster gas around M87 could not be adequately explained in terms of a spherically symmetric, single phase model. It was found that although data from the Einstein satellite High Resolution Imager (HRI), Imaging Proportional Counter (IPC), and Focal Point Crystal Spectrometer (FPCS) could indeed be simultaneously explained by a single phase model, data from the Solid State Spectrometer (SSS) and optically determined mass estimates could not be similarly explained. A qualitative discussion was then given to indicate how the adoption of a specific multiphase model could plausibly improve upon the single phase model, but a detailed discussion was delayed until now. The x ray data is reanalyzed for the gas around M87 in the same spirit as the work in TB. That is, by assuming several cooling flow models, the shortcomings are improved upon. The procedure of TB was adopted and the data reanalyzed in the following manner: a multiphase model is assumed which can compute the surface brightness as seen by HRI and IPC. Also, the line fluxes can be computed of the lines seen by the FPCS and the mass profile after assuming hydrostatic equilibrium. The parameters of the model are then adjusted to fit the data. A check is then made to see whether the resulting model is consistent with the SSS spectrum and the equivalent width of the 7 keV complex of Fe lines as seen by large field of view instruments.

Tsai, John C.↗

IT Research Services: Powerful Tools to Track a Fast Moving Industry

Research services change and evolve over time, sometimes suddenly, in their focus, topics, formats, service model, etc. You have to check in often. Some offer products that you can customize to your environment, others not so much. You will find a variation in customer management practices (e.g., when and how they share information) ...can sometimes be annoying. Assess your needs carefully. Each research service has a very different service model. Explore ways to share or lower the cost. Someone out there may share the expense when that is an option. Make sure you read the small print. It can work for you as well as against you. When in doubt, ask your Vendor's POC. Set up Research Service "gurus or SME's." Not to violate the copyright agreement of course, just have someone who knows what's there. After you subscribe, reassess.Get the most out of your investment. Some early enthusiasts will fade, and there will be others who don't know it's there and can use it.

Hunter, Paul↗

Dynamic Analysis and Control of Lightweight Manipulators with Flexible Parallel Link Mechanisms

The objective is the theoretical analysis and the experimental verification of dynamics and control of a two link flexible manipulator with a flexible parallel link mechanism. Nonlinear equations of motion of the lightweight manipulator are derived by the Lagrangian method in symbolic form to better understand the structure of the dynamic model. The resulting equation of motion have a structure which is useful to reduce the number of terms calculated, to check correctness, or to extend the model to higher order. A manipulator with a flexible parallel link mechanism is a constrained dynamic system whose equations are sensitive to numerical integration error. This constrained system is solved using singular value decomposition of the constraint Jacobian matrix. Elastic motion is expressed by the assumed mode method. Mode shape functions of each link are chosen using the load interfaced component mode synthesis. The discrepancies between the analytical model and the experiment are explained using a simplified and a detailed finite element model.

Lee, Jeh Won↗

Plan, formulate, and discuss a NASTRAN finite element model of the UH-60A helicopter airframe

Under a rotorcraft structural dynamics program sponsored by the NASA Langley Research Center, Sikorsky Aircraft, together with the other major helicopter airframe manufacturers, is engaged in a study to improve the use of finite element analysis to predict the dynamic behavior of helicopter airframes. This program, which was designated DAMVIBS (Design Analysis Methods for VIBrationS), includes activities in the areas of: planning, creating, and documenting finite element models of helicopter airframes; the performance of ground vibration tests; and the correlation of test and analysis. The work performed at Sikorsky Aircraft for planning, creating, and documenting a finite element model of the UH-60A BLACK HAWK helicopter airframe is summarized. A complete description of the components of the helicopter which are to be represented in the model is presented and includes: the structural arrangement, the identification of primary and secondary structure, the components of the drive and power trains, and the attachment of large weight items to the structure. Also presented are the techniques which were used to formulate the structural finite element model for static analysis, for forming the mass and vibration models for dynamic analysis, and the procedures which were used to check out and verify the integrity of the model. Initial predictions for the vibration modes for the helicopter are included.

Dinyovszky, P.↗

The production and escape of nitrogen atoms on Mars

The lack of agreement between our previously computed values and those measured by Viking of the N-15:N-14 isotope enhancement ratio has led us to reevaluate our model of the Martian ionosphere. In previous models, we were unable to reproduce the ion profiles measured by the RPA on Viking using electron temperatures that were higher that the ion temperatures. When we increased the electron temperatures to 2500-3000 K and with a zero flux upper boundary condition, the ion densities at high altitudes exceeded the measured values by a large factor. We found that we can better fit the observed profiles if we impose a loss process at the upper boundary of our model. If the horizontal fluxes of ions do not constitute a net loss of ions, then the escape of N due to dissociative recombination is also inhibited and better agreement with the measured isotope ratio is found. The production of escaping nitrogen atoms is closely related to the production of thermospheric odd nitrogen; therefore, the densities of NO measured by Viking provide a convenient check on our nitrogen escape model. Our standard model NO densities are less that the measured values by a factor of 2-3, as are those of previous models. We find that reasonable agreement can be obtained by assuming that the rate coefficient for loss of odd nitrogen in the reaction of N with NO is smaller at temperatures that prevail in the lower Martian thermosphere than the standard value, which applies to temperatures of 200-400 K. Other aspects of this investigation are presented.

Fox, J. L.↗

ISS SGANT Group Level Offloading Test Mechanism

The International Space Station (ISS) Space-to-Ground Antenna (SGANT) is used for ISS communication with earth through the Tracking and Data Relay Satellite (TDRSS). Due to the different speeds of travel between earth, ISS and TDRSS, a steerable SGANT was required on the ISS. The mechanical design of SGANT is an unbalanced mechanism with insufficient strength and driving torque to support and drive itself in a 1G environment. For ground testing, a specially designed offloading mechanism is required. Basically, the test mechanism must offload the SGANT in a two-axis operation, allowing the SGANT to move within a specific range, speed and acceleration; therefore the SGANT can move from elevation 0 to 90 deg and be tested at both the 0 and 90 deg positions. The load introduced by the test equipment should be less than 10.17 N-m (7.5 ft-lbf). The on-ground group level tracking test is quite challenging due to the unbalanced antenna mechanical design and tough specification requirements. This paper describes the detailed design, fabrication, and calibration of the test mechanism, and how the above requirements are met. The overall antenna is simplified to a mass model in order to facilitate the offloading mechanism design and analysis. An actual SGANT mass dummy was made to calibrate the system. This paper brings together the theoretical analysis and the industrial experience that were relied upon to meet the above-mentioned requirements for the ground test. The lessons learned during the calibration phase are extremely important for future double or multiple offloading system designs. The ISS SGANT QM and FM units passed their ground test and the SGANT/Boom fit check successfully, and the Flight Model (FM) was delivered to SSPF in April 1998. It is now installed on ISS and functioning well.

Zhang, Xi-Lin↗

A Model for the Effectiveness of Aircraft Alerting and Warning Systems

The effectiveness of an alerting system with a single alert was analyzed. The pilot's decision behavior is modeled by the theory of signal detection and therefore accounts for different strengths of cross check information and different pilot criteria. The model includes the effects of the alerting and warning system (CAWS) error rate; the pilot's past experience with the CAWS accuracy; his reliance on the CAWS rather than independent monitoring; missed alerts; and adoption of a minimum error or Neyman-Pearson objective rather than minimum cost objective. It is showwn that for rare events: (1) the expected cost is greatly increased if the pilot ignores the a posteriori information in the existence of an alert; (2) the expected cost is insensitive to CAWS Type 1 errors; and (3) the expected cost is sensitive to CAWS type 2 errors only when the cross check information is ambiguous.

Curry, R. E.↗

Formal Methods for Automated Diagnosis of Autosub 6000

This is a progress report on applying formal methods in the context of building an automated diagnosis and recovery system for Autosub 6000, an Autonomous Underwater Vehicle (AUV). The diagnosis task involves building abstract models of the control system of the AUV. The diagnosis engine is based on Livingstone 2, a model-based diagnoser originally built for aerospace applications. Large parts of the diagnosis model can be built without concrete knowledge about each mission, but actual mission scripts and configuration parameters that carry important information for diagnosis are changed for every mission. Thus we use formal methods for generating the mission control part of the diagnosis model automatically from the mission script and perform a number of invariant checks to validate the configuration. After the diagnosis model is augmented with the generated mission control component model, it needs to be validated using verification techniques.

Ernits, Juhan↗

The JPL Field Emission Spectrometer

The Jet Propulsion Laboratory (JPL) Field Emission Spectrometer (FES) was built by Designs and Prototypes based on a set of functional requirements supplied by JPL. The instrument has a spectral resolution of 6 wavenumbers (wn) and can acquire spectra from either the Mid Infrared (3-5 mu m) or the Thermal Infrared (8-12 pm) depending on whether the InSb or HgCdTe detector is installed respectively. The instrument consists of an optical head system unit and battery. The optical head which is tripod mounted includes the interferometer and detector dewar assembly. Wavelength calibration of the interferometer is achieved using a Helium-Neon laser diode. The dewar needs replenishing with liquid Nitrogen approximately every four hours. The system unit includes the controls for operation and the computer used for acquiring viewing and processing spectra. Radiometric calibration is achieved with an external temperature-controlled blackbody that mounts on the fore-optics of the instrument. The blackbody can be set at 5 C increments between 10 and 55 C. The instrument is compact and weighs about 33 kg. Both the wavelength calibration and radiometric calibration of the instrument have been evaluated. The wavelength calibration was checked by comparison of the position of water features in a spectrum of the sky with their position in the output from a high resolution atmospheric model. The results indicatethat the features in the sky spectrum are within 6-8 wn of their position ill the model spectrum. The radiometric calibration was checked by first calibrating the instrument using the external blackbody supplied with the instrument and then measuring the radiance from another external blackbody at a series of temperatures. The temperatures of these radiance spectra were then recovered by inventing Planck's law and the recovered temperatures compared lo the measured blackbody temperature. These results indicate that radiometric calibration is good to 0.5 C over the range of temperatures 10 to 55 C. The results also indicate that the instrument drifts slowly over time and should be recalibrated every 20 to 30 minutes in the field to ensure good radiometric fidelity. The instrument has now been extensively tested in the field in the United States and Australia. These in situ field measurements are being used to validate emissivity spectra recovered from the Thermal Infrared Multispectral Scanner (TIMS) and also the Australian CO2 Laser. The availability of in situ measurements is proving crucial to validation of the spectra derived from the airborne instruments since many natural surfaces cannot be easily transported back to the laboratory.

Hook, Simon J.↗

Role of the likelihood for elastic scattering uncertainty quantification

In the last decade, uncertainty quantification (UQ) for optical model potentials (OMPs) has become a focal point for nuclear reaction theory, and several competing approaches for OMP UQ have recently been developed. Here, we clarify recent efforts to compare frequentist and Bayesian approaches in the context of OMP UQ [G. B. King et al., Phys. Rev. Lett. 122, 232502 (2019)]. We replicate a portion of that OMP UQ study but use independent statistical tools. Specifically, we compare two methods for OMP parameter inference from elastic scattering data: the Levenberg-Marquardt algorithm for χ 2 minimization on one hand and Markov chain Monte Carlo (MCMC) sampling on the other. Separately, we assess the common practice of using a renormalized likelihood (χ 2 /N), N being the number of data points, instead of the canonical weighted-least-squares likelihood (χ 2 ), as a way of accounting for unknown data correlations. Here, we show that for a generic linear model and for a five-parameter OMP analysis, frequentist and uniform-prior Bayesian approaches recover the same optimum and uncertainty estimates—not systematically larger uncertainties for the Bayesian approach, as was concluded in G. B. King et al., Phys. Rev. Lett. 122, 232502 (2019). Further, we show that if an additional, near-degenerate parameter is introduced into the same OMP analysis such that the parameter posterior becomes non-Gaussian, then covariance-based estimates of uncertainty become unreliable. Finally, we show that regardless of optimization approach, if χ 2 /N is used for the likelihood, the resulting parametric uncertainties increase by $\sqrt{N}$, and that this is responsible for the conclusions drawn in the revisited study. Based on our replication results, we find that a fortuitous cancellation of unreported errors and the renormalization factor can lead to improvement in empirical coverages, as was the case in the original comparative study. We emphasize that developing and applying a realistic likelihood function is an essential task in a UQ analysis, and that several recent UQ studies that employed a renormalized likelihood (i.e., including a 1/N factor) may have yielded unrealistically large uncertainties for elastic-scattering observables. If the parameter posterior deviates from multivariate-normal, a sampling-based approach like MCMC has a clear advantage over methods that assume the Laplace approximation holds. We note that empirical coverage can serve as an important internal check for the analyst whose model or data may have additional, unaccounted-for uncertainties.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗