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 577 records · Page 32

Variograms and spatial variation in remotely sensed images

Research is presented that is aimed at developing a link or connection between ground scenes and spatial variation in images. The link is established through the use of models of scenes and a measure of spatial variation - the variogram. The approach used to explore the nature of spatial variation in remotely sensed images can be thought of as a 'bottom up' approach because it starts with a model of the scene and works toward the characteristics of a remotely sensed image derived from the scene. To date, observed images at two resolutions for each of three kinds of environment have been used to evaluate the use of variograms in real images. The images are from forests, residential, and agricultural environments. One resolution used is 30 m from the Thematic Mapper or Thematic Mapper Simulator. For each environment also there is fine resolution data from the range of 0.15-2.5 m. It is noted that variograms from these images show considerable structure. Work continues on checking the validity of the disk model (a way of representing trees and their shadows).

Woodcock, C.↗

Method and system to perform energy-extraction based active noise control

A method to provide active noise control to reduce noise and vibration in reverberant acoustic enclosures such as aircraft, vehicles, appliances, instruments, industrial equipment and the like is presented. A continuous-time multi-input multi-output (MIMO) state space mathematical model of the plant is obtained via analytical modeling and system identification. Compensation is designed to render the mathematical model passive in the sense of mathematical system theory. The compensated system is checked to ensure robustness of the passive property of the plant. The check ensures that the passivity is preserved if the mathematical model parameters are perturbed from nominal values. A passivity-based controller is designed and verified using numerical simulations and then tested. The controller is designed so that the resulting closed-loop response shows the desired noise reduction.

Kelkar, Atul↗

Carbon and nitrogen abundances in the supergiants HD 93840 and zeta Per

The BN supergiant HD 93840 is shown to have the same temperature and surface gravity as the normal Bi Ib zeta Per. Differential abundance analysis of their C 4 and N 5 wind line profiles are found. The results are independent of the usual model atmosphere analyses and, therefore, a valuable check on them. Ratios for the C and N surface abundances in HD 93840 compared to Per of 1:10 and 4.6:1 are found respectively. By introducing a simple model for the compositions of both atmospheres the fraction of material in each atmosphere which has undergone CNO processing, more than 90 percent for HD 93840 and less than about 15 percent for zeta Per, is derived.

Massa, Derck↗

A duality in string theory on AdS 3

We consider bosonic string theory on AdS 3 supported by Kalb-Ramond flux. It is well known that the α' exact worldsheet theory is described by the SL(2,R) WZW model. In this note we perform checks of an α' exact dual description proposed in [arXiv:2104.07233] involving a winding condensate on a free theory background. We give the explicit map of vertex operators for normalizable states on both sides of the duality and demonstrate the equivalence of their two and three point functions by direct computation. The duality is of strong-weak nature in α' .

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Support Routines for In Situ Image Processing

This software consists of a set of application programs that support ground-based image processing for in situ missions. These programs represent a collection of utility routines that perform miscellaneous functions in the context of the ground data system. Each one fulfills some specific need as determined via operational experience. The most unique aspect to these programs is that they are integrated into the large, in situ image processing system via the PIG (Planetary Image Geometry) library. They work directly with space in situ data, understanding the appropriate image meta-data fields and updating them properly. The programs themselves are completely multimission; all mission dependencies are handled by PIG. This suite of programs consists of: (1)marscahv: Generates a linearized, epi-polar aligned image given a stereo pair of images. These images are optimized for 1-D stereo correlations, (2) marscheckcm: Compares the camera model in an image label with one derived via kinematics modeling on the ground, (3) marschkovl: Checks the overlaps between a list of images in order to determine which might be stereo pairs. This is useful for non-traditional stereo images like long-baseline or those from an articulating arm camera, (4) marscoordtrans: Translates mosaic coordinates from one form into another, (5) marsdispcompare: Checks a Left Right stereo disparity image against a Right Left disparity image to ensure they are consistent with each other, (6) marsdispwarp: Takes one image of a stereo pair and warps it through a disparity map to create a synthetic opposite- eye image. For example, a right eye image could be transformed to look like it was taken from the left eye via this program, (7) marsfidfinder: Finds fiducial markers in an image by projecting their approximate location and then using correlation to locate the markers to subpixel accuracy. These fiducial markets are small targets attached to the spacecraft surface. This helps verify, or improve, the pointing of in situ cameras, (8) marsinvrange: Inverse of marsrange . given a range file, re-computes an XYZ file that closely matches the original. . marsproj: Projects an XYZ coordinate through the camera model, and reports the line/sample coordinates of the point in the image, (9) marsprojfid: Given the output of marsfidfinder, projects the XYZ locations and compares them to the found locations, creating a report showing the fiducial errors in each image. marsrad: Radiometrically corrects an image, (10) marsrelabel: Updates coordinate system or camera model labels in an image, (11) marstiexyz: Given a stereo pair, allows the user to interactively pick a point in each image and reports the XYZ value corresponding to that pair of locations. marsunmosaic: Extracts a single frame from a mosaic, which will be created such that it could have been an input to the original mosaic. Useful for creating simulated input frames using different camera models than the original mosaic used, and (12) merinverter: Uses an inverse lookup table to convert 8-bit telemetered data to its 12-bit original form. Can be used in other missions despite the name.

Deen, Robert G.↗

Two-dimensional numerical simulation of a Stirling engine heat exchanger

The first phase of an effort to develop multidimensional models of Stirling engine components is described; the ultimate goal is to model an entire engine working space. More specifically, parallel plate and tubular heat exchanger models with emphasis on the central part of the channel (i.e., ignoring hydrodynamic and thermal end effects) are described. The model assumes: laminar, incompressible flow with constant thermophysical properties. In addition, a constant axial temperature gradient is imposed. The governing equations, describing the model, were solved using Crank-Nicloson finite-difference scheme. Model predictions were compared with analytical solutions for oscillating/reversing flow and heat transfer in order to check numerical accuracy. Excellent agreement was obtained for the model predictions with analytical solutions available for both flow in circular tubes and between parallel plates. Also the heat transfer computational results are in good agreement with the heat transfer analytical results for parallel plates.

Ibrahim, Mounir B.↗

Experimental Validation of Subsystem Models for a Novel Variable Displacement Hydraulic Motor

A novel, variable displacement, low-speed high-torque hydraulic motor is being developed that is expected to be highly efficient across a broad operating range. To ensure the final hardware achieves the expected performance, the models used in the development of the motor must be experimentally validated and revised, as necessary. The specific focus in this work is on mechanical energy loss models that were used to guide the design of a single-cylinder motor prototype and on experimental tests used for model validation. Ideally each model, whether friction loss in a piston/cylinder interface or energy loss due to leakage in a valve , would be individually validated by an independent test. This granular approach would remove any question of where the error lies and result in highly accurate models. However, many motor components have multiple forms of energy loss, creating difficulty in validating individual losses. Additionally, it is not physically realizable to divide many components into an individual model equivalent test. Testing the motor as a full assembly is possible, but pinpointing the source of discrepancies between the model and the hardware becomes difficult with dozens of models potentially being partially responsible. A compromise was found by separating the motor into functional component groups that are characterized by the type of loss and ability to test each subcomponent independently. By checking for correlation between test observations and model predictions, revisions could be implemented into the models. This allows future solutions to be more accurately predicted in the design phase to drive the design of better machines.

24 POWER TRANSMISSION AND DISTRIBUTION↗

Failure prediction of thin beryllium sheets used in spacecraft structures

The primary objective of this study is to develop a method for prediction of failure of thin beryllium sheets that undergo complex states of stress. Major components of the research include experimental evaluation of strength parameters for cross-rolled beryllium sheet, application of the Tsai-Wu failure criterion to plate bending problems, development of a high order failure criterion, application of the new criterion to a variety of structures, and incorporation of both failure criteria into a finite element code. A Tsai-Wu failure model for SR-200 sheet material is developed from available tensile data, experiments carried out by NASA on two circular plates, and compression and off-axis experiments performed in this study. The failure surface obtained from the resulting criterion forms an ellipsoid. By supplementing experimental data used in the the two-dimensional criterion and modifying previously suggested failure criteria, a multi-dimensional failure surface is proposed for thin beryllium structures. The new criterion for orthotropic material is represented by a failure surface in six-dimensional stress space. In order to determine coefficients of the governing equation, a number of uniaxial, biaxial, and triaxial experiments are required. Details of these experiments and a complementary ultrasonic investigation are described in detail. Finally, validity of the criterion and newly determined mechanical properties is established through experiments on structures composed of SR200 sheet material. These experiments include a plate-plug arrangement under a complex state of stress and a series of plates with an out-of-plane central point load. Both criteria have been incorporated into a general purpose finite element analysis code. Numerical simulation incrementally applied loads to a structural component that is being designed and checks each nodal point in the model for exceedance of a failure criterion. If stresses at all locations do not exceed the failure criterion, the load is increased and the process is repeated. Failure results for the plate-plug and clamped plate tests are accurate to within 2 percent.

Roschke, Paul N.↗

Testing the lognormality of the galaxy and weak lensing convergence distributions from Dark Energy Survey maps

It is well known that the probability distribution function (PDF) of galaxy density contrast is approximately lognormal; whether the PDF of mass fluctuations derived from weak lensing convergence (kappa_WL) is lognormal is less well established. We derive PDFs of the galaxy and projected matter density distributions via the Counts in Cells (CiC) method. We use maps of galaxies and weak lensing convergence produced from the Dark Energy Survey (DES) Science Verification data over 139 deg^2. We test whether the underlying density contrast is well described by a lognormal distribution for the galaxies, the convergence and their joint PDF. We confirm that the galaxy density contrast distribution is well modeled by a lognormal PDF convolved with Poisson noise at angular scales from 10-40 arcmin (corresponding to physical scales of 3-10 Mpc). We note that as kappa_WL is a weighted sum of the mass fluctuations along the line of sight, its PDF is expected to be only approximately lognormal. We find that the kappa_WL distribution is well modeled by a lognormal PDF convolved with Gaussian shape noise at scales between 10 and 20 arcmin, with a best-fit chi^2/DOF of 1.11 compared to 1.84 for a Gaussian model, corresponding to p-values 0.35 and 0.07 respectively, at a scale of 10 arcmin. Above 20 arcmin a simple Gaussian model is sufficient. The joint PDF is also reasonably fitted by a bivariate lognormal. As a consistency check we compare the variances derived from the lognormal modelling with those directly measured via CiC. Our methods are validated against maps from the MICE Grand Challenge N-body simulation.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

LDEF Satellite Radiation Analyses

Model calculations and analyses have been carried out to compare with several sets of data (dose, induced radioactivity in various experiment samples and spacecraft components, fission foil measurements, and LET spectra) from passive radiation dosimetry on the Long Duration Exposure Facility (LDEF) satellite, which was recovered after almost six years in space. The calculations and data comparisons are used to estimate the accuracy of current models and methods for predicting the ionizing radiation environment in low earth orbit. The emphasis is on checking the accuracy of trapped proton flux and anisotropy models.

Armstrong, T. W.↗

Human Tracking Performance in Uncoupled and Coupled Two-Axis Systems

This report presents tile results of an experimental and analytical study of human performance in uncoupled and coupled control systems. Human pilot performance in single and two-axis systems was mathematically modeled by linear second-order describing functions. Model parameters were determined using model matching techniques. Analysis of the models showed that the amplitude ratio and phase lead of the describing function increased with training indicating an increase in open loop bandwidth. The phase margin also decreased with training. Increasing the plant lag time constant resulted in an increase in the model lead time constant and a decrease in the zero frequency gain. No significant difference was found to exist in the normalized tracking error per axis between the two-axis tasks and the single-axis tasks. However tile model lead time constant was significantly greater in two-axis tracking. Manual tracking of two-axis systems with cross-coupling was studied experimentally and analytically. Approximate methods for modeling two-axis performance were developed and checked using a precise spectral analysis approach. Coupled and uncoupled, symmetrical and asymmetrical two-axis performance was compared. The results show that modeling of cross-coupled systems is feasible and that trained subjects are capable of decoupling the axes of some systems. A methodology study compared the identification performance of continuous, iterative, and extrapolation model matching techniques. An iterative technique employing sensitivity equations for the generation of influence coefficients was found to be the best technique due to its excellent identification accuracy and ease of implementation. Convergence in iterative techniques can be improved substantially by equalizing the parameter adjustment rates and limiting the maximum correction per iteration.

Todosiev, E. P.↗

The millisecond magnetar central engine in short GRBs

One favored progenitor model for short duration gamma-ray bursts (GRBs) is the coalescence of two neutron stars (NS–NS). One possible outcome of such a merger would be a rapidly spinning, strongly magnetized neutron star (known as a millisecond magnetar). These magnetars may be “supra-massive,” implying that they would collapse to black holes after losing centrifugal support due to magnetic dipole spin down. By systematically analyzing the Burst Alert Telescope (BAT)-XRT light curves of all short GRBs detected by Swift, we test how consistent the data are with this central engine model of short GRBs. We find that the so-called “extended emission” feature observed with BAT in some short GRBs is fundamentally the same component as the “internal X-ray plateau” observed in many short GRBs, which is defined as a plateau in the light curve followed by a very rapid decay. Based on how likely a short GRB is to host a magnetar, we characterize the entire Swift short GRB sample into three categories: the “internal plateau” sample, the “external plateau” sample, and the “no plateau” sample. Based on the dipole spin-down model, we derive the physical parameters of the putative magnetars and check whether these parameters are consistent with expectations from the magnetar central engine model. The derived magnetar surface magnetic field B{sub p} and the initial spin period P{sub 0} fall into a reasonable range. No GRBs in the internal plateau sample have a total energy exceeding the maximum energy budget of a millisecond magnetar. Assuming that the beginning of the rapid fall phase at the end of the internal plateau is the collapse time of a supra-massive magnetar to a black hole, and applying the measured mass distribution of NS–NS systems in our Galaxy, we constrain the neutron star equation of state (EOS). The data suggest that the NS EOS is close to the GM1 model, which has a maximum non-rotating NS mass of M{sub TOV}∼2.37 M{sub ⊙}.

79 ASTRONOMY AND ASTROPHYSICS↗

V/STOL propulsion control analysis: Phase 2, task 5-9

Typical V/STOL propulsion control requirements were derived for transition between vertical and horizontal flight using the General Electric RALS (Remote Augmented Lift System) concept. Steady-state operating requirements were defined for a typical Vertical-to-Horizontal transition and for a typical Horizontal-to-Vertical transition. Control mode requirements were established and multi-variable regulators developed for individual operating conditions. Proportional/Integral gain schedules were developed and were incorporated into a transition controller with capabilities for mode switching and manipulated variable reassignment. A non-linear component-level transient model of the engine was developed and utilized to provide a preliminary check-out of the controller logic. An inlet and nozzle effects model was developed for subsequent incorporation into the engine model and an aircraft model was developed for preliminary flight transition simulations. A condition monitoring development plan was developed and preliminary design requirements established. The Phase 1 long-range technology plan was refined and restructured toward the development of a real-time high fidelity transient model of a supersonic V/STOL propulsion system and controller for use in a piloted simulation program at NASA-Ames.

Source record↗

Eddy diffusion coefficients and the variance of the atmosphere 30-60 km

The results of numerical models or of new observational programs are checked by comparing them with past observations. In view of the differing analysis techniques or differing data samples, the eddy diffusivities presented here agree remarkably well with past estimates. However, in the application of K-values to two-dimensional models, the actual magnitude of the diffusivities is no more important than their spatial patterns, i.e., their gradients with height and latitude. It should thus be noted that the present patterns are often much different from those of past results.

Nastrom, G. D.↗

The Gene Ontology resource: enriching a GOld mine

The Gene Ontology Consortium (GOC) provides the most comprehensive resource currently available for computable knowledge regarding the functions of genes and gene products. Here, we report the advances of the consortium over the past two years. The new GO-CAM annotation framework was notably improved, and we formalized the model with a computational schema to check and validate the rapidly increasing repository of 2838 GO-CAMs. In addition, we describe the impacts of several collaborations to refine GO and report a 10% increase in the number of GO annotations, a 25% increase in annotated gene products, and over 9,400 new scientific articles annotated. As the project matures, we continue our efforts to review older annotations in light of newer findings, and, to maintain consistency with other ontologies. As a result, 20,000 annotations derived from experimental data were reviewed, corresponding to 2.5% of experimental GO annotations. The website (http://geneontology.org) was redesigned for quick access to documentation, downloads and tools. To maintain an accurate resource and support traceability and reproducibility, we have made available a historical archive covering the past 15 years of GO data with a consistent format and file structure for both the ontology and annotations.

59 BASIC BIOLOGICAL SCIENCES↗

Acoustic Radiation From a Superconducting Qubit: From Spontaneous Emission to Rabi Oscillations

Hybrid quantum systems that utilize controllable coupling between phonons and superconducting qubits could pave the way for a new generation of compact quantum memories and sensor technologies. However, the same electromechanical interaction mechanisms that enable coherent qubit-phonon coupling can also lead to decoherence due to the spontaneous phonon emission. In this paper we study the dynamics of a qubit coupled to an acoustic resonator by a piezoelectric film. By varying the surface topography of the resonator from rough to flat to shaped, we explore the crossover from fast decay of an excited qubit to quantum-coherent coupling between the qubit and an isolated phonon mode. The developed theoretical model allows us to establish and check quantitative links between the results obtained for the rough and shaped topographies. Discrepancy between the theory and the data for the flat resonator points to the imperfections of the studied device. Our experimental approach may be used for precision measurements of crystalline vibrations, the design of quantum memories, and the study of electromechanical contributions to dielectric loss.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗

SU-E-T-420: Failure Effects Mode Analysis for Trigeminal Neuralgia Frameless Radiosurgery

Purpose: Functional radiosurgery has been used successfully in the treatment of trigeminal neuralgia but presents significant challenges to ensuring the high prescription dose is delivered accurately. A review of existing practice should help direct the focus of quality improvement for this treatment regime. Method: Failure modes and effects analysis was used to identify the processes in preparing radiosurgery treatment for TN. The map was developed by a multidisciplinary team including: neurosurgeon, radiation oncology, physicist and therapist. Potential failure modes were identified for each step in the process map as well as potential causes and end effect. A risk priority number was assigned to each cause. Results: The process map identified 66 individual steps (see attached supporting document). Corrective actions were developed for areas of high risk priority number. Wrong site treatment is at higher risk for trigeminal neuralgia treatment due to the lack of site specific pathologic imaging on MR and CT – additional site specific checks were implemented to minimize the risk of wrong site treatment. Failed collision checks resulted from an insufficient collision model in the treatment planning system and a plan template was developed to address this problem. Conclusion: Failure modes and effects analysis is an effective tool for developing quality improvement in high risk radiotherapy procedures such as functional radiosurgery.

60 APPLIED LIFE SCIENCES↗

Comparing Macroscale and Microscale Simulations of Porous Battery Electrodes

This article describes a vertically-integrated exploration of NMC electrode rate limitations, combining experiments with corresponding macroscale (macro-homogeneous) and microscale models. Parameters common to both models were obtained from experiments or based on published results. Positive electrode tortuosity was the sole fitting parameter used in the macroscale model, while the microscale model used no fitting parameters, instead relying on microstructural domains generated from X-ray microtomography of pristine electrode material held under compression while immersed in electrolyte solution (additionally providing novel observations of electrode wetting). Macroscale simulations showed that the capacity decrease observed at higher rates resulted primarily from solution-phase diffusion resistance. This ability to provide such qualitative insights at low computational costs is a strength of macroscale models, made possible by neglecting electrode spatial details. To explore the consequences of such simplification, the corresponding, computationally-expensive microscale model was constructed. This was found to have limitations preventing quantitatively accurate predictions, for reasons that are discussed in the hope of guiding future work. Nevertheless, the microscale simulation results complement those of the macroscale model by providing a reality-check based on microstructural information; in particular, this novel comparison of the two approaches suggests a reexamination of salt diffusivity measurements.

25 ENERGY STORAGE↗