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 757 records · Page 42

Development and in-flight performance of the Mariner 9 spacecraft propulsion system

On November 14, 1971, Mariner 9 was decelerated into orbit about Mars by a 1334-newton (300-lbf) liquid bipropellant propulsion system. The development and in-flight performance are described and summarized of this pressure-fed, nitrogen tetroxide/monomethyl hydrazine bipropellant system. The design of all Mariner propulsion subsystems has been predicated upon the premise that simplicity of approach, coupled with thorough qualification and margin-limits testing, is the key to cost-effective reliability. The qualification test program and analytical modeling of the Mariner 9 subsystem are discussed. Since the propulsion subsystem is modular in nature, it was completely checked, serviced, and tested independent of the spacecraft. Proper prediction of in-flight performance required the development of three significant modeling tools to predict and account for nitrogen saturation of the propellant during the six-month coast period and to predict and statistically analyze in-flight data. The flight performance of the subsystem was excellent, as were the performance prediction correlations. These correlations are presented.

Evans, D. D.↗

Reaction theory for exotic nuclei

Exotic nuclei are usually defined as those with unusual N/Z ratios. They can be found in the crust of neutron stars enbedded in a sea of electrons or created in laboratory by fragmentation of a primary beam (in-flight method) or of the target (ISOL method). They are extremely important for nuclear astrophysics, see for example Ref.[1]. Furthermore by studying them we can check the limits of validity of nuclear reaction and structure models. This contribution will be devoted to the understanding of how by using reaction theory and comparing to the data we can extract structure information. We shall discuss the differences between the mechanisms of transfer and breakup reactions, an we will try to explain how nowadays it is possible to do accurate spectroscopy in extreme conditions.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

Security in the CernVM File System and the Frontier Distributed Database Caching System

Both the CernVM File System (CVMFS) and the Frontier Distributed Database Caching System (Frontier) distribute centrally updated data worldwide for LHC experiments using http proxy caches. Neither system provides privacy or access control on reading the data, but both control access to updates of the data and can guarantee the authenticity and integrity of the data transferred to clients over the internet. CVMFS has since its early days required digital signatures and secure hashes on all distributed data, and recently Frontier has added X.509-based authenticity and integrity checking. In this paper we detail and compare the security models of CVMFS and Frontier.

Dykstra, D.↗

The CMS Magnetic Field Measuring and Monitoring Systems

This review article describes the performance of the magnetic field measuring and monitoring systems for the Compact Muon Solenoid (CMS) detector. To cross-check the magnetic flux distribution obtained with the CMS magnet model, four systems for measuring the magnetic flux density in the detector volume were used. The magnetic induction inside the 6 m diameter superconducting solenoid was measured and is currently monitored by four nuclear magnetic resonance (NMR) probes installed using special tubes outside the barrel hadron calorimeter. Two more NRM probes were installed at the faces of the tracking system. The field inside the superconducting solenoid was precisely measured in 2006 in a cylindrical volume of 3.448 m in diameter and 7 m in length using 10 three-dimensional (3D) B-sensors based on the Hall effect. These B-sensors were installed on each of the two propeller arms of an automated field-mapping machine. In addition to these measurement systems, a system for monitoring the magnetic field during the CMS detector operation has been developed. Inside the solenoid in the horizontal plane, 4 3D B-sensors were installed at the faces of the tracking detector. Twelve 3D B-sensors were installed on the surfaces of the flux-return yoke nose disks. Seventy 3D B-sensors were installed in the air gaps of the CMS magnet yoke. A specially developed flux loop technique was used for the most complex measurements of the magnetic flux density inside the steel blocks of the CMS magnet yoke. The flux loops are installed in 22 sections of the flux-return yoke blocks. The areas enclosed by these coils varied from 0.3 to 1.59 m$^{2}$ in the blocks of the barrel wheels and from 0.5 to 1.12 m$^{2}$ in the blocks of the yoke endcap disks. The development of these systems and the results of the magnetic flux density measurements across the CMS magnet are presented and discussed in this review article.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

NASTRAN data generation and management using interactive graphics

A method of using an interactive graphics device to generate a large portion of the input bulk data with visual checks of the structure and the card images is described. The generation starts from GRID and PBAR cards. The visual checks result from a three-dimensional display of the model in any rotated position. By detailing the steps, the time saving and cost effectiveness of this method may be judged, and its potential as a useful tool for the structural analyst may be established.

Smootkatow, M.↗

Binary models for the progenitor of SN 1987A

Binary models are used to examine the possibility that the progenitor of SN 1987 is a component of a binary system. Certain ranges of parameter space in which binary evolution produces progenitors that are applicable to models of SN 1987A are considered. The proposed binary models are capable of making definite predictions that can be checked against observations.

Hsu, J. J. L.↗

Automated System Checkout to Support Predictive Maintenance for the Reusable Launch Vehicle

The Propulsion Checkout and Control System (PCCS) is a predictive maintenance software system. The real-time checkout procedures and diagnostics are designed to detect components that need maintenance based on their condition, rather than using more conventional approaches such as scheduled or reliability centered maintenance. Predictive maintenance can reduce turn-around time and cost and increase safety as compared to conventional maintenance approaches. Real-time sensor validation, limit checking, statistical anomaly detection, and failure prediction based on simulation models are employed. Multi-signal models, useful for testability analysis during system design, are used during the operational phase to detect and isolate degraded or failed components. The TEAMS-RT real-time diagnostic engine was developed to utilize the multi-signal models by Qualtech Systems, Inc. Capability of predicting the maintenance condition was successfully demonstrated with a variety of data, from simulation to actual operation on the Integrated Propulsion Technology Demonstrator (IPTD) at Marshall Space Flight Center (MSFC). Playback of IPTD valve actuations for feature recognition updates identified an otherwise undetectable Main Propulsion System 12 inch prevalve degradation. The algorithms were loaded into the Propulsion Checkout and Control System for further development and are the first known application of predictive Integrated Vehicle Health Management to an operational cryogenic testbed. The software performed successfully in real-time, meeting the required performance goal of 1 second cycle time.

Patterson-Hine, Ann↗

Validation of SCIAMACHY and TOMS UV Radiances Using Ground and Space Observations

Verification of a stratospheric ozone recovery remains a high priority for environmental research and policy definition. Models predict an ozone recovery at a much lower rate than the measured depletion rate observed to date. Therefore improved precision of the satellite and ground ozone observing systems are required over the long term to verify its recovery. We show that validation of satellite radiances from space and from the ground can be a very effective means for correcting long term drifts of backscatter type satellite measurements and can be used to cross calibrate all B W instruments in orbit (TOMS, SBW/2, GOME, SCIAMACHY, OM, GOME-2, OMPS). This method bypasses the retrieval algorithms used for both satellite and ground based measurements that are normally used to validate and correct the satellite data. Radiance comparisons employ forward models and are inherently more accurate than inverse (retrieval) algorithms. This approach however requires well calibrated instruments and an accurate radiative transfer model that accounts for aerosols. TOMS and SCIAMACHY calibrations are checked to demonstrate this method and to demonstrate applicability for long term trends.

Hilsenrath, E.↗

Reuse of a Formal Model for Requirements Validation

This paper reports experience from how a project engaged in the process of requirements analysis for evolutionary builds can reuse the formally specified design model produced for a similar, earlier project in the same domain. Two levels of reuse are described here. First, a formally specified generic design model was generated on one project to systematically capture the design commonality in a set of software monitors on board a spacecraft. These monitors periodically check for faults and invoke recovery software when needed. The paper summarizes the use of the design model to validate the software design of the various monitors on that first project. Secondly, the paper describes how the formal design model created for the first project was reused on a second, subsequent project. The model was reused to validate the evolutionary requirements for the second project's software monitors, which were being developed in a series of builds. Some mismatches due to the very different architectures on the two projects suggested changes to make the model more generic. In addition, several advantages to the reuse of the first project's formal model on the second project are reported.

Lutz, Robyn R.↗

Development of an Extended Reality (XR) Tool for Earth Science Visualization

In this presentation, we will discuss our work in adapting the NASA open source XR software, the Mixed Reality Exploration Toolkit (MRET), to an earth science domain. MRET is a NASA open source XR software for rapidly building extended reality (XR) environments for NASA domain problems, e.g., pulling in CAD models of thermal vac chamber and Roman Space Telescope to do fit checks. Primarily used for hardware integration & test, we have been adapting and extending MRET for science problems. Traditionally, scientists view and analyze the result of calculated or measured observables with static 1-D, 2-D or 3-D plots. It can be difficult to identify, track and understand the evolution of key features due to poor viewing angles and the nature of flat computer screens. Additionally, numerical models, such as the NASA GEOS climate model, are almost exclusively formulated and analyzed on Eulerian grids with points fixed in space and time. However, atmospheric phenomena such as convective clouds, hurricanes and wildfire smoke plumes move with the 3-D flow field, and it is often difficult and unnatural to understand these phenomena in an Eulerian reference frame as opposed to the Lagrangian reference frame in which nature operates. As part of an Earth Science Technology Office (ESTO) proposal, we have been adapting MRET to be a scientific exploration and analysis XR tool with integrated Lagrangian Dynamics (LD) for the Goddard Earth Observing System (GEOS) numerical weather prediction model. We believe this will help scientists identify, track, and understand the evolution of Earth Science phenomena. This presentation will discuss current results in our work in developing this XR tool for Earth Science.

Thomas G Grubb↗

Development of an Extended Reality (XR) Tool for Earth Science Visualization

In this presentation, we will discuss our work in adapting the NASA open source XR software, the Mixed Reality Exploration Toolkit (MRET), to an earth science domain. MRET is a NASA open source XR software for rapidly building extended reality (XR) environments for NASA domain problems, e.g., pulling in CAD models of thermal vac chamber and Roman Space Telescope to do fit checks. Primarily used for hardware integration & test, we have been adapting and extending MRET for science problems. Traditionally, scientists view and analyze the result of calculated or measured observables with static 1-D, 2-D or 3-D plots. It can be difficult to identify, track and understand the evolution of key features due to poor viewing angles and the nature of flat computer screens. Additionally, numerical models, such as the NASA GEOS climate model, are almost exclusively formulated and analyzed on Eulerian grids with points fixed in space and time. However, atmospheric phenomena such as convective clouds, hurricanes and wildfire smoke plumes move with the 3-D flow field, and it is often difficult and unnatural to understand these phenomena in an Eulerian reference frame as opposed to the Lagrangian reference frame in which nature operates. As part of an Earth Science Technology Office (ESTO) proposal, we have been adapting MRET to be a scientific exploration and analysis XR tool with integrated Lagrangian Dynamics (LD) for the Goddard Earth Observing System (GEOS) numerical weather prediction model. We believe this will help scientists identify, track, and understand the evolution of Earth Science phenomena. This presentation will discuss current results in our work in developing this XR tool for Earth Science.

Thomas Grubb↗

Progress towards quantum simulating the classical O ( 2 ) mode

We connect explicitly the classical $O(2)$ model in 1+1 dimensions, a model sharing important features with $U(1)$ lattice gauge theory, to physical models potentially implementable on optical lattices and evolving at physical time. Using the tensor renormalization group formulation, we take the time continuum limit and check that finite dimensional projections used in recent proposals for quantum simulators provide controllable approximations of the original model. We propose two-species Bose-Hubbard models corresponding to these finite dimensional projections at strong coupling and discuss their possible implementations on optical lattices using a $^{87}$Rb and $^{41}$K Bose-Bose mixture.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Subject-specific modeling framework for particle deposition using computational fluid dynamics

Quantifying particle deposition and dose in the respiratory tract requires a physiologically realistic representation and reproducible computational workflows. However, existing modeling frameworks, such as the International Commission on Radiological Protection (ICRP) compartmental models and the Multiple Path Particle Dosimetry (MPPD) tool, lack detailed deposition profiles and subject-specific capabilities. The combination of advances in computer vision algorithms applied to the respiratory tract and Computational Fluid and Particle Dynamics (CFPD) allows high-fidelity simulations of particle behavior in anatomically accurate geometries derived from individual CT scans. The segmentation, preprocessing, and file preparation task for a CFPD simulation was often time-consuming, and no prior studies to-date have yet presented a fully automated framework. This work presents a fully automated workflow to obtain individualized particle deposition profiles in the human respiratory tract. The pipeline starts with segmenting upper and lower airway geometries using morphological and deep learning-based methods, generating three-dimensional (3D) models from CT imaging data. Next, a series of algorithms are presented to quality check and prepare the 3D geometry for a CFD or CFPD simulation. The preprocessing step includes correcting geometric artifacts, enforcing a physically consistent mesh, and automatically identifying and capping multiple outlets, which is required for CFD/CFPD simulations. These processed models are then input into open-source (OpenFOAM) or commercial (StarCCM+) CFD solvers, where flow and transient particle transport equations — including turbulence and particle–wall interactions are solved under realistic breathing conditions. Finally, the resulting particle deposition profiles can be integrated with Monte Carlo radiation transport codes and state-of-the-art computational phantoms to assess organ-specific absorbed doses in scenarios of radioactive aerosol inhalation. The presented work streamlines respiratory tract segmentation, preprocessing for CFD/CFPD simulations, and integration with dose assessment workflows, reducing manual intervention and improving access to high-fidelity, subject-specific modeling. The high precision in predicted particle deposition and dose distributions can improve personalized treatment strategies in respiratory medicine and refine dose estimates for radiation protection.

AI↗

MOM: A meteorological data checking expert system in CLIPS

Meteorologists have long faced the problem of verifying the data they use. Experience shows that there is a sizable number of errors in the data reported by meteorological observers. This is unacceptable for computer forecast models, which depend on accurate data for accurate results. Most errors that occur in meteorological data are obvious to the meteorologist, but time constraints prevent hand-checking. For this reason, it is necessary to have a 'front end' to the computer model to ensure the accuracy of input. Various approaches to automatic data quality control have been developed by several groups. MOM is a rule-based system implemented in CLIPS and utilizing 'consistency checks' and 'range checks'. The system is generic in the sense that it knows some meteorological principles, regardless of specific station characteristics. Specific constraints kept as CLIPS facts in a separate file provide for system flexibility. Preliminary results show that the expert system has detected some inconsistencies not noticed by a local expert.

Odonnell, Richard↗

Active Measurement of Plasma Parameters in Over-Dense MFE Reactor Plasma Using High Frequency Beat-Wave Resonantly Generated Thermal Bernstein Waves

UC Davis was funded to explore the combination of beat-wave excitation and laser scattering to make completely non-invasive determination of local plasma conditions. This involves the use of two high frequency mm-wave sources of differing frequencies (the pump waves) to excite plasma waves at the difference of the frequencies, which is known as the beat frequency. The difference frequency or the frequency of the beat wave is chosen so that we produce plasma waves whose fluctuating electron density is a sensitive function of plasma parameters at the location where the source waves overlap. This fluctuation can be detected from outside the plasma, by measuring the deflection of a probe beam directed at the overlap region between the two pump waves (i.e., collective scattering). This work is an extension of mm-wave frequencies of a 10 GHz beat-wave experiment conducted on the DDT toroidal device (see Fig. 1) in a magnetized plasma where the excited Langmuir wave is replaced by the magnetized upper hybrid wave. Here, two high power (> 1 kW) ~94 GHz pump sources will be employed to match the upper hybrid resonance. The primary envisioned experiment is to drive the electron Bernstein wave (EBW) in the interior of a magnetized plasma. The EBW is a hot-plasma electrostatic wave, which cannot propagate in vacuum. Roots of the EBW dispersion relation occur at frequencies slightly higher than harmonics of the electron cyclotron frequency. Use of the EBW has particular advantages for measuring plasma magnetic field in plasmas with relatively high density and low magnetic field, as is the case in spherical tokamaks. This is the “over dense” condition of future efficient high beta magnetic confinement fusion reactors such as the spherical tokamak (STs). The overarching goal of the proposed project is to demonstrate beat wave EBW excitation in low density and temperature parameters that are directly scalable to over-dense spherical tokamaks such as NSTX or MAST, where measurement of magnetic field by electron cyclotron emission (ECE) is experimentally complex, and requires models of plasma profiles in order to interpret results. In such experiments, availability of point measurements of magnetic field strength provided by a beat-wave diagnostic would serve as a powerful independent check on the ECE results, serving to validate the assumed profiles and wave-propagation models used. The first step was to assemble/modify the target chamber in which the beat-wave plasma experiments will take place. Here, the target chamber of the CTIX compact-toroid (spheromak) injector was chosen. At the time that the proposal was submitted, the aim was to conduct the experiments in the CTIX experimental facilities located at the Livermore campus of UC Davis using microwave/mm-wave equipment brought from the main campus., However, by the time DoE funds for this project were awarded, the CTIX experimental facilities located at the Livermore campus of UC Davis were in the process of being shut down due to the closure of the Livermore campus by Lawrence Livermore National Laboratory (LLNL). Consequently, the equipment needed for this project was crated up and shipped from Livermore to Davis as part of the laboratory shutdown after space on campus was secured and College of Engineering approval secured. Once it arrived in Davis on December 20, 2018, work on the project began in earnest with the initial efforts directed toward developing a new plasma target source. Because of the shutdown of the CTIX facility, the scope of the project thus had to be reduced due to the abbreviated amount of time allocated to the project once the shutdown/move had been completed. Chamber modifications have been completed, including the fabrication and installation of a 38 GHz interferometer, as described in Sec. 3. The thermionic plasma source has been tested and characterized. The magnetic field required for the EBW experiments will be generated by permanent magnets mounted on plates positioned above and below the chamber. Magnetic simulations have been performed, and show that a 3-ring magnet arrangement on each plate, with a plate separation of 50 cm, is required to achieve the ~100 G uniform magnetic field in the interaction region that we feel is necessary to ensure good EBW coupling. We proved unable to successfully revive either of Prof. Luhmann’s two high power (≥20 kW) 94 GHz millimeter-wave sources after their extended time in storage and decided to postpone further efforts and concentrate on slightly lower power sources. Consequently, we were successful in reviving a ~2 kW extended klystron amplifier (EIK), which together with a ~2 kW extended interaction oscillator (EIO) will provide the two pump sources required for the project. Safe operation of the EIO requires extensive modifications to one of Prof. Luhmann’s pulse modulators - these modulator modifications are ongoing, which has unfortunately delayed the planned beat-wave experiments. Details of this work are provided in Sec. 3. Even though project funding has now ended, we still plan to proceed to complete the EIO pulse modulator modifications, install the two ~94 GHz pump wave sources on the target chamber, and conduct unmagnetized tests of the beat-wave concept which involve coupling to unmagnetized electron plasma waves rather than magnetized EBWs. Should these experiments prove successful, we plan to submit a follow-up proposal for additional funding which would allow us to undertake the magnetized EBW experiments.

42 ENGINEERING↗

Systems cost/performance analysis (study 2.3). Volume 3: Programmer's manual and user's guide

The systems cost/performance model was implemented as a digital computer program to perform initial program planning, cost/performance tradeoffs, and sensitivity analyses. The computer is described along with the operating environment in which the program was written and checked, the program specifications such as discussions of logic and computational flow, the different subsystem models involved in the design of the spacecraft, and routines involved in the nondesign area such as costing and scheduling of the design. Preliminary results for the DSCS-II design are also included.

Janz, R. F.↗

Robust Bayesian Calibration of a k-ε Model for Compressible Jet-in-Crossflow Simulations

Compressible jet-in-crossflow interactions are difficult to simulate accurately using Reynolds-averaged Navier–Stokes (RANS) models. This could be due to simplifications inherent in RANS or the use of inappropriate RANS constants estimated by fitting to experiments of simple or canonical flows. Our previous work on Bayesian calibration of a k-ε model to experimental data had led to a weak hypothesis that inaccurate simulations could be due to inappropriate constants more than model-form inadequacies of RANS. In this work, Bayesian calibration of k-ε constants to a set of experiments that span a range of Mach numbers and jet strengths has been performed. The variation of the calibrated constants has been checked to assess the degree to which parametric estimates compensate for RANS’s model-form errors. An analytical model of jet-in-crossflow interactions has also been developed, and estimates of k-ε constants that are free of any conflation of parametric and RANS’s model-form uncertainties have been obtained. It has been found that the analytical k-ε constants provide mean-flow predictions that are similar to those provided by the calibrated constants. Further, both of them provide predictions that are far closer to experimental measurements than those computed using “nominal” values of these constants simply obtained from the literature. It can be concluded that the lack of predictive skill of RANS jet-in-crossflow simulations is mostly due to parametric inadequacies, and our analytical estimates may provide a simple way of obtaining predictive compressible jet-in-crossflow simulations.

42 ENGINEERING↗

Topographic Slant Range Modeling and Fault Detection for Precision Planetary Landing

This work presents a novel landing site relative topographic measurement model for aslant range sensor being utilized for precision planetary landing operations. The measurement model accounts for the local terrain the slant range sensor captures and leverages knowledge of the estimated landing site provided by the navigation filter. Notably, in contrast to previous works, the new model does not rely on surface normal approximation, reducing the model’s sensitivity to noisy digital elevation maps which represent the local topography. In addition to the measurement model, this work introduces a novel fault detection method, denoted the probabilistic inspection of topographic filter altitude likelihood (PITFAL) algorithm, that implements a statistical outlier rejection algorithm. PITFAL is designed for multi-beam slant range sensors, such as the Navigation Doppler LIDAR (NDL), and identifies statistically inconsistent range estimates through a consensus check on the set of apparent altitudes computed for each individual beam. These models are numerically validated by the Safe and Precise Landing Capability Evolution (SPLICE) project’s high-fidelity terrestrial and lunar lander simulations.

Davis W Adams↗