Engineering Papers⌕ Search

SEARCH · Engineering Papers

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 865 records · Page 48
All sourcesNASA NTRSDOE OSTI
NASA NTRS2005

A Model-based Approach to Controlling the ST-5 Constellation Lights-Out Using the GMSEC Message Bus and Simulink

Space Technology 5 (ST-5) is a three-satellite constellation, technology validation mission under the New Millennium Program at NASA to be launched in March 2006. One of the key technologies to be validated is a lights-out, model-based operations approach to be used for one week to control the ST-5 constellation with no manual intervention. The ground architecture features the GSFC Mission Services Evolution Center (GMSEC) middleware, which allows easy plugging in of software components and a standardized messaging protocol over a software bus. A predictive modeling tool built on MatLab's Simulink software package makes use of the GMSEC standard messaging protocol to interface to the Advanced Mission Planning System (AMPS) Scenario Scheduler which controls all activities, resource allocation and real-time re-profiling of constellation resources when non-nominal events occur. The key features of this system, which we refer to as the ST-5 Simulink system, are as follows: Original daily plan is checked to make sure that predicted resources needed are available by comparing the plan against the model. As the plan is run in real-time, the system re-profiles future activities in real-time if planned activities do not occur in the predicted timeframe or fashion. Alert messages are sent out on the GMSEC bus by the system if future predicted problems are detected. This will allow the Scenario Scheduler to correct the situation before the problem happens. The predictive model is evolved automatically over time via telemetry updates thus reducing the cost of implementing and maintaining the models by an order of magnitude from previous efforts at GSFC such as the model-based system built for MAP in the mid-1990's. This paper will describe the key features, lessons learned and implications for future missions once this system is successfully validated on-orbit in 2006.

Witt, Kenneth J.↗
NASA NTRS2009

Exploring Alternate Parameterizations for Snowfall with Validation from Satellite and Terrestrial Radars

Increases in computational resources have allowed operational forecast centers to pursue experimental, high resolution simulations that resolve the microphysical characteristics of clouds and precipitation. These experiments are motivated by a desire to improve the representation of weather and climate, but will also benefit current and future satellite campaigns, which often use forecast model output to guide the retrieval process. Aircraft, surface and radar data from the Canadian CloudSat/CALIPSO Validation Project are used to check the validity of size distribution and density characteristics for snowfall simulated by the NASA Goddard six-class, single-moment bulk water microphysics scheme, currently available within the Weather Research and Forecast (WRF) Model. Widespread snowfall developed across the region on January 22, 2007, forced by the passing of a midlatitude cyclone, and was observed by the dual-polarimetric, C-band radar King City, Ontario, as well as the NASA 94 GHz CloudSat Cloud Profiling Radar. Combined, these data sets provide key metrics for validating model output: estimates of size distribution parameters fit to the inverse-exponential equations prescribed within the model, bulk density and crystal habit characteristics sampled by the aircraft, and representation of size characteristics as inferred by the radar reflectivity at C- and W-band. Specified constants for distribution intercept and density differ significantly from observations throughout much of the cloud depth. Alternate parameterizations are explored, using column-integrated values of vapor excess to avoid problems encountered with temperature-based parameterizations in an environment where inversions and isothermal layers are present. Simulation of CloudSat reflectivity is performed by adopting the discrete-dipole parameterizations and databases provided in literature, and demonstrate an improved capability in simulating radar reflectivity at W-band versus Mie scattering assumptions.

Molthan, Andrew L.↗
DOE OSTI2022

Comparing and contrasting In-Vial and full-scale systems for sparging volatile analytes

Here, in-vial sparging was demonstrated as an effective, practical alternative to a full-scale sparging system for supporting the analysis of volatile constituents. Using elemental mercury (Hg 0 ) and toluene as representative purgeable analytes, the mass removal for various sparge configurations was measured and a reduced order model was developed and validated. In the primary experiments, Hg 0 in the sparge gas was trapped on activated carbon or gold, thermally desorbed, and quantified using atomic absorption or atomic fluorescence spectroscopy. Toluene experiments using the same in-vial sparge apparatus and sparge parameters were performed to demonstrate the applicability of the reduced order model to a broad range of compounds. Toluene removal was tracked by measuring the remaining toluene in sparged aliquots using Ultraviolet-visible (UV–Vis) spectroscopy. For the sparging, flow rates varied from 25 to 75 mL/min for periods from 0 to 30 min. Sparge performance, mass removal as a function of time, and sparge gas volume were measured for both in-vial and full-scale systems. A model based on dimensionless Henry's Law coefficient, normalized sparge gas volume, and fractional extent of equilibrium matched the experimental data for both compounds and provides a practical tool for future applications. For the conditions tested in this study, the calibrated model indicated that the sparge gas in the in-vial system reached approximately 33% of its equilibrium value before exiting the water surface, while a full-scale system reached approximately 100%. The tests validated the quality, reproducibility, and predictability of sparging performance for both full scale and in-vial sparge systems. Related factors such as waste generation, worker risk, and labor were also assessed. Full scale sparge systems provide the advantage of lower detection levels due to larger sample volume, while the in-vial sparge systems provide advantages for most other factors; including automatability, reducing secondary wastes, lessening the need to clean and check the sparge apparatus, and lowering labor and costs. The data and associated reduced order model support continued development and deployment of in-vial sparge platforms as a practical option for analysis of purgeable analytes such as volatile organic compounds and volatile metals/organometallics.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2021

Production Facility Simulations for Annular LEU Targets

Eden Radioisotopes, LLC is designing a new molybdenum-99 (Mo-99) production facility based on a TRIGA-sized reactor with a core composed of low enriched uranium (LEU) targets. Reactor production is designed to exceed U.S. demand for Mo-99 using the fission processes. The nominal operational power is 1.8MW (less than 2.0MW, to satisfy the “non-power” reactor requirement) and desired irradiation scenarios include 7, 14, or 21 days of the irradiation for each target element. Safety limits for reactor operating margins are associated with such physical phenomena as fission gas release, fuel swelling, and stress cracking. As shown in the literature, one of the critical parameters defining safety margins for metallic uranium fuel is swelling. In its turn the fuel operational temperature is the main parameter impacting the swelling rate. This report documents the results of consecutive studies of reactor criticality, fission energy depositions, and cooling conditions for the target. The maximum temperature calculated for the LEU targets allows us to choose appropriate modeling approximation of the swelling. All obtained results refer to the preliminary targets and core designs provided by Eden. A criticality analysis was performed, and the results are listed mainly to cross-check Eden’s safety report and assume maximal neutron field disturbance for maximal reactivity. A brief description of the metallic uranium swelling model is provided in the Appendix.

07 ISOTOPE AND RADIATION SOURCES↗
NASA NTRS2011

Symbolically Modeling Concurrent MCAPI Executions

Improper use of Inter-Process Communication (IPC) within concurrent systems often creates data races which can lead to bugs that are challenging to discover. Techniques that use Satisfiability Modulo Theories (SMT) problems to symbolically model possible executions of concurrent software have recently been proposed for use in the formal verification of software. In this work we describe a new technique for modeling executions of concurrent software that use a message passing API called MCAPI. Our technique uses an execution trace to create an SMT problem that symbolically models all possible concurrent executions and follows the same sequence of conditional branch outcomes as the provided execution trace. We check if there exists a satisfying assignment to the SMT problem with respect to specific safety properties. If such an assignment exists, it provides the conditions that lead to the violation of the property. We show how our method models behaviors of MCAPI applications that are ignored in previously published techniques.

Fischer, Topher↗
NASA NTRS1991

Basic research for the geodynamics program

The mathematical models of space very long base interferometry (VLBI) observables suitable for least squares covariance analysis were derived and estimatability problems inherent in the space VLBI system were explored, including a detailed rank defect analysis and sensitivity analysis. An important aim is to carry out a comparative analysis of the mathematical models of the ground-based VLBI and space VLBI observables in order to describe the background in detail. Computer programs were developed in order to check the relations, assess errors, and analyze sensitivity. In order to investigate the estimatability of different geodetic and geodynamic parameters from the space VLBI observables, the mathematical models for time delay and time delay rate observables of space VLBI were analytically derived along with the partial derivatives with respect to the parameters. Rank defect analysis was carried out both by analytical and numerical testing of linear dependencies between the columns of the normal matrix thus formed. Definite conclusions were formed about the rank defects in the system.

Source record↗
NASA NTRS2015

Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites

Structural coverage metrics have traditionally categorized code as either covered or uncovered. Recent work presents a stronger notion of coverage, checked coverage, which counts only statements whose execution contributes to an outcome checked by an oracle. While this notion of coverage addresses the adequacy of the oracle, for Model-Based Development of safety critical systems, it is still not enough; we are also interested in how much of the oracle is covered, and whether the values of program variables are masked when the oracle is evaluated. Such information can help system engineers identify missing requirements as well as missing test cases. In this work, we add to the idea of checked coverage an analysis of requirements coverage to help provide insight to engineers as to whether the requirements or the test suite need to be improved. We implement our approach based on a dynamic backward slicing technique and evaluate it on several systems developed in Simulink. The results of our preliminary study show that even for systems with comprehensive test suites and good sets of requirements, our approach can identify cases where more tests or more requirements are needed to improve coverage numbers.

Dynamic Slicing↗
DOE OSTI2022

1D model of tokamak scrape-off layer and divertor plasmas: Dimensionless parameters and the results of numerical simulations

Solutions of a 1D model of the scrape-off layer and a divertor plasma in a tokamak are analyzed on the basis of dimensionless parameters governing the physics of both plasma and neutral transport and atomic physics processes. Numerical simulations based on fluid plasma and Monte Carlo neutral modeling confirm earlier results obtained with simplified analytic considerations and numerical simulations performed with fluid neutral description and demonstrate bifurcation of plasma parameters. Further, these simulations also confirm that the major physical reasons for the rollover of the plasma flux to the target, which is the key feature of the phenomenon of divertor plasma detachment, are the impurity radiation loss and plasma recombination. It is suggested that simulations of the edge plasma based on dimensionless parameters provide a powerful tool for checking the consistency of the physics incorporated in existing complex 2D codes used for edge plasma modeling.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
NASA NTRS1918

Experimental research on air propellers

The purposes of the experimental investigation on the performance of air propellers described in this report are as follows: (1) the development of a series of design factors and coefficients drawn from model forms distributed with some regularity over the field of air-propeller design and intended to furnish a basis of check with similar work done in other aerodynamic laboratories, and as a point of departure for the further study of special or individual types and forms; (2) the establishment of a series of experimental values derived from models and intended for later use as a basis for comparison with similar results drawn from certain selected full-sized forms and tested in free flight.

Durand, William F↗
NASA NTRS1990

Validation of the space shuttle main engine steady state performance model

The primary objective was to present methods for validating predictions of Rocketdyne's most current version of the Space Shuttle Main Engine (SSME) Power Balance Model (PBM) with respect to physical relations governing flow systems. This required the development and implementation of postprocessors to check results of PBM computations for satisfaction of conservation relations. A cursory uncertainty analysis of PBM predictions with respect to mass and energy balances was performed. In addition, an effort to identify the empirical relations and physical assumptions within PBM which impact the ability of the model to attain rigorous balance was begun.

Santi, L. Michael↗
DOE OSTI2016

SU-F-T-344: Commissioning Constant Dose Rate VMAT in the Raystation Treatment Planning System for a Varian Clinac IX

Purpose: To demonstrate the commissioning of constant dose rate volumetric modulated arc therapy (VMAT) in the Raystation treatment planning system for a Varian Clinac iX with Exact couch. Methods: Constant dose rate (CDR) VMAT is an option in the Raystation treatment planning system, enabling VMAT delivery on Varian linacs without a RapidArc upgrade. Raystation 4.7 was used to commission CDR-VMAT for a Varian Clinac iX. Raystation arc model parameters were selected to match machine deliverability characteristics. A Varian Exact couch model was added to Raystation 4.7 and commissioned for use in VMAT optimization. CDR-VMAT commissioning checks were performed on the linac, including patient-specific QA measurements for 10 test patients using both the ArcCHECK from Sun Nuclear Corporation and COMPASS from IBA Dosimetry. Multi-criteria optimization (MCO) in Raystation was used for CDR-VMAT planning. Results: Raystation 4.7 generated clinically acceptable and deliverable CDR-VMAT plans for the Varian Clinac. VMAT plans were optimized including a model of the Exact couch with both rails in the out positions. CDR-VMAT plans generated with MCO in Raystation were dosimetrically comparable to Raystation MCO-generated IMRT plans. Patient-specific QA measurements with the ArcCHECK on the couch showed good agreement with the treatment planning system prediction. Patient-specific, structure-specific, multi-statistical parameter 3D QA measurements with gantry-mounted COMPASS also showed good agreement. Conclusion: Constant dose rate VMAT was successfully modeled in Raystation 4.7 for a Varian Clinac iX, and Raystation’s multicriteria optimization generated constant dose rate VMAT plans which were deliverable and dosimetrically comparable to IMRT plans.

60 APPLIED LIFE SCIENCES↗
NASA NTRS2009

Effective Materials Property Information Management for the 21st Century

This paper discusses key principles for the development of materials property information management software systems. There are growing needs for automated materials information management in various organizations. In part these are fueled by the demands for higher efficiency in material testing, product design and engineering analysis. But equally important, organizations are being driven by the need for consistency, quality and traceability of data, as well as control of access to sensitive information such as proprietary data. Further, the use of increasingly sophisticated nonlinear, anisotropic and multi-scale engineering analyses requires both processing of large volumes of test data for development of constitutive models and complex materials data input for Computer-Aided Engineering (CAE) software. And finally, the globalization of economy often generates great needs for sharing a single "gold source" of materials information between members of global engineering teams in extended supply chains. Fortunately, material property management systems have kept pace with the growing user demands and evolved to versatile data management systems that can be customized to specific user needs. The more sophisticated of these provide facilities for: (i) data management functions such as access, version, and quality controls; (ii) a wide range of data import, export and analysis capabilities; (iii) data "pedigree" traceability mechanisms; (iv) data searching, reporting and viewing tools; and (v) access to the information via a wide range of interfaces. In this paper the important requirements for advanced material data management systems, future challenges and opportunities such as automated error checking, data quality characterization, identification of gaps in datasets, as well as functionalities and business models to fuel database growth and maintenance are discussed.

Ren, Weiju↗
NASA NTRS1990

Instrumentation and robotic image processing using top-down model control

A top-down image processing scheme is described. A three-dimensional model of a robotic working environment, with robot manipulators, workpieces, cameras, and on-the-scene visual enhancements is employed to control and direct the image processing, so that rapid, robust algorithms act in an efficient manner to continually update the model. Only the model parameters are communicated, so that savings in bandwidth are achieved. This image compression by modeling is especially important for control of space telerobotics. The background for this scheme lies in an hypothesis of human vision put forward by the senior author and colleagues almost 20 years ago - the Scanpath Theory. Evidence was obtained that repetitive sequences of saccadic eye movements, the scanpath, acted as the checking phase of visual pattern recognition. Further evidence was obtained that the scanpaths were apparently generated by a cognitive model and not directly by the visual image. This top-down theory of human vision was generalized in some sense to the frame in artificial intelligence. Another source of the concept arose from bioengineering instrumentation for measuring the pupil and eye movements with infrared video cameras and special-purpose hardware.

Stark, Lawrence↗
DOE OSTI2018

Luminescence methodology to determine grain-boundary, grain-interior, and surface recombination in thin-film solar cells

We determine the grain-boundary (GB) recombination velocity, S GB , and grain-interior (GI) lifetime, t GI , parameters in superstrate CdS/CdTe thin-film solar cell technology by combining cathodoluminescence (CL) spectrum imaging and time-resolved photoluminescence (TRPL) measurements. We consider critical device formation stages, including after CdTe deposition, CdCl 2 treatment, and Cu diffusion. CL image analysis methods extract GB and GI intensities and grain size for hundreds of grains per sample. Concurrently, a three-dimensional CL model is developed to simulate the GI intensity as a function of t GI , S GB , grain size, and the surface recombination velocity, S surf . TRPL measurements provide an estimate of S surf for the CL model. A fit of GI intensity vs. grain size data with the CL model gives a self-consistent and representative set of S GB and t GI values for the samples: S GB (t GI ) = 2.6 x 10 6 cm/s (68-250 ps), S GB (t GI ) = 4.1 x 10 5 cm/s (1.5-3.3 ns), and S GB (t GI ) = 5.5 x 10 5 cm/s (1.0-3.8 ns) for as-deposited, CdCl 2 -treated, and CdCl 2- A nd Cu-treated samples, respectively. Thus, we find that the CdCl2 treatment both helps to passivate GBs and significantly increase the GI lifetime. Subsequent Cu diffusion increases GB recombination slightly and has nuanced effects on the GI lifetime. Finally, as a partial check on the S GB and t GI values, they are input to a Sentaurus device model, and the simulated performance is compared to the measured performance. The methodology developed here can be applied broadly to CdTe and CdSeTe thin-film technology and to other thin-film solar cell materials including Cu(In 1-x Ga x )Se 2 , Cu 2 ZnSnS 4 , and perovskites.

14 SOLAR ENERGY↗
DOE OSTI2015

Wider pulsation instability regions for β Cephei and SPB stars calculated using new Los Alamos opacities

Here, our goal is to test the newly developed OPLIB opacity tables from Los Alamos National Laboratory and check their influence on the pulsation properties of B-type stars. We calculated models using MESA and Dziembowski codes for stellar evolution and linear, nonadiabatic pulsations, respectively. We derived the instability domains of β Cephei and SPB-types for different opacity tables OPLIB, OP, and OPAL. As a result, the new OPLIB opacities have the highest Rosseland mean opacity coefficient near the so-called Z-bump. Therefore, the OPLIB instability domains are wider than in the case of OP and OPAL data.

74 ATOMIC AND MOLECULAR PHYSICS↗
DOE OSTI2013

Alternating lags of QPO harmonics: A generic model and its application to the 67 mHz QPO of GRS 1915+105

A generic model for alternating lags in quasi-periodic oscillation (QPO) harmonics is presented where variations in the photon spectrum are caused by oscillations in two parameters that characterize the spectrum. It is further assumed that variations in one of the parameters are linearly driven by variations in the other after a time delay t{sub d} . It is shown that alternating lags will be observed for a range of t{sub d} values. A phenomenological model based on this generic one is developed that can explain the amplitude and phase lag variation with energy of the fundamental and the next three harmonics of the 67 mHz QPO observed in GRS 1915+105. The phenomenological model also predicts the variation of the Bicoherence phase with energy, which can be checked by further analysis of the observational data.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2015

The theory of stochastic cosmological lensing

On the scale of the light beams subtended by small sources, e.g. supernovae, matter cannot be accurately described as a fluid, which questions the applicability of standard cosmic lensing to those cases. In this article, we propose a new formalism to deal with small-scale lensing as a diffusion process: the Sachs and Jacobi equations governing the propagation of narrow light beams are treated as Langevin equations. We derive the associated Fokker-Planck-Kolmogorov equations, and use them to deduce general analytical results on the mean and dispersion of the angular distance. This formalism is applied to random Einstein-Straus Swiss-cheese models, allowing us to: (1) show an explicit example of the involved calculations; (2) check the validity of the method against both ray-tracing simulations and direct numerical integration of the Langevin equation. As a byproduct, we obtain a post-Kantowski-Dyer-Roeder approximation, accounting for the effect of tidal distortions on the angular distance, in excellent agreement with numerical results. Besides, the dispersion of the angular distance is correctly reproduced in some regimes.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2022

Radiation hydrodynamics modelling of kilonovae with SNEC

ABSTRACT We develop a method to compute synthetic kilonova light curves that combine numerical relativity simulations of neutron star mergers and the SNEC radiation–hydrodynamics code. We describe our implementation of initial and boundary conditions, r-process heating, and opacities for kilonova simulations. We validate our approach by carefully checking that energy conservation is satisfied and by comparing the SNEC results with those of two semi-analytic light-curve models. We apply our code to the calculation of colour light curves for three binaries having different mass ratios (equal and unequal mass) and different merger outcome (short-lived and long-lived remnants). We study the sensitivity of our results to hydrodynamic effects, nuclear physics uncertainties in the heating rates, and duration of the merger simulations. We find that hydrodynamics effects are typically negligible and that homologous expansion is a good approximation in most cases. However, pressure forces can amplify the impact of uncertainties in the radioactive heating rates. We also study the impact of shocks possibly launched into the outflows by a relativistic jet. None of our models match AT2017gfo, the kilonova in GW170817. This points to possible deficiencies in our merger simulations and kilonova models that neglect non-LTE effects and possible additional energy injection from the merger remnant and to the need to go beyond the assumption of spherical symmetry adopted in this work.

79 ASTRONOMY AND ASTROPHYSICS↗