Search NASA⌕ Search

SEARCH · Search NASA

Results for “Realizability Analysis”

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 163 records · Page 9

FEM Analysis of Hybrid LTS/HTS Cos-Theta Dipole Magnet

After the recent results on Bi-2212 superconductive magnets realized and tested in canted cosine-theta and solenoid designs, respectively, at Lawrence Berkeley National Laboratory (LBNL) and NHMFL, the first Bi-2212 stress-managed cosine-theta insert magnet is in the assembly phase at Fermilab. This insert will be part of the first hybrid cosine-theta magnet made of Nb3Sn outer layers within the US-MDP effort to reach 20 T bore field. This paper reports the analytical analysis of the cosine-theta Nb3Sn/Bi-2212 hybrid magnet. As an introduction, it shows the validation of the finalized HTS coils' design optimized using the ROXIE code. Subsequently, it reports the parameters, logic, and implementation method of the 2D electromagnetic and mechanical FEM analysis of the LTS/HTS hybrid magnet. Results from the ANSYS detailed model made with sub-modeling geometry are compared with the homogeneous model implemented in the past. Moreover, a Python code was implemented to simulate the current degradation due to stresses in the detail-modeled conductor areas. The current degradation is introduced in the simulation dynamics for both conductors as an iteration process during the energization load step only after applying pre-stress and thermal loads. The numerical and graphic results of the 2D cosine-theta LTS/HTS magnet cross-section will be described and analyzed.

D'Agliano, A.↗

The scientific case for concurrent neutron and X-ray scattering and spectroscopy

The interrogation of materials with X-rays or neutrons to determine structure, energetics, and dynamics is fundamental to advancing physical and chemical materials science and enabling innovative material technologies. A persistent challenge in materials development is that progress depends on understanding structure and dynamics across multiple length and time scales in increasingly complex, multicomponent systems featuring interfaces, heterogeneity, and hierarchical organization. Despite rapidly growing demands on materials characterization, current experimental approaches are almost exclusively based on isolated X-ray or neutron scattering and spectroscopy, reflecting a paradigm largely unchanged for decades. To assess the scientific need for a new experimental paradigm, a 3-day workshop sponsored by the U.S. National Science Foundation (NSF) was held at the SpringHill Suites, San Jose, California, from June 2 to 4, 2022. The workshop brought together 70 national and international experts who critically evaluated opportunities enabled by concurrent neutron and X-ray (NeX) scattering, spectroscopy, and imaging experiments. The participants reached a clear consensus that establishing NeX capabilities is crucial for advancing the science of complex materials in the United States. This report illustrates the scientific drivers for NeX experiments through representative examples spanning biomaterials, energy materials, soft matter, nanomaterials, quantum materials, geoscience, and applied materials research. The complementarity of neutrons and X-rays is essential for robust model development and refinement, particularly in multiphase and multicomponent systems. While joint refinement of data from separate experiments is valuable, concurrent measurements uniquely eliminate uncertainties arising from sample evolution, environmental drift, and irreproducibility associated with experiments performed at different locations and times. Realizing NeX capabilities will require the development of new instrumentation, data analysis frameworks, and robust sample environments compatible with both neutron and X-ray probes. Addressing these challenges will enable unambiguous interpretation of complex materials behavior and open new frontiers in materials research.

X-ray↗

The counting recursive digital filter.

Analysis of the bit-level operations involved in the convolutions realizing recursive digital filters leads to hardware designs of such filters based on the operation of counting. Various designs realizing both the canonic and 'direct' forms are presented with particular emphasis on low-cost low-speed high-flexibility machines.

Zohar, S.↗

The vehicle design evaluation program - A computer-aided design procedure for transport aircraft

The vehicle design evaluation program is described. This program is a computer-aided design procedure that provides a vehicle synthesis capability for vehicle sizing, external load analysis, structural analysis, and cost evaluation. The vehicle sizing subprogram provides geometry, weight, and balance data for aircraft using JP, hydrogen, or methane fuels. The structural synthesis subprogram uses a multistation analysis for aerodynamic surfaces and fuselages to develop theoretical weights and geometric dimensions. The parts definition subprogram uses the geometric data from the structural analysis and develops the predicted fabrication dimensions, parts material raw stock buy requirements, and predicted actual weights. The cost analysis subprogram uses detail part data in conjunction with standard hours, realization factors, labor rates, and material data to develop the manufacturing costs. The program is used to evaluate overall design effects on subsonic commercial type aircraft due to parameter variations.

Oman, B. H.↗

Bayesian Research at the NASA Ames Research Center,Computational Sciences Division

NASA Ames Research Center is one of NASA s oldest centers, having started out as part of the National Advisory Committee on Aeronautics, (NACA). The site, about 40 miles south of San Francisco, still houses many wind tunnels and other aviation related departments. In recent years, with the growing realization that space exploration is heavily dependent on computing and data analysis, its focus has turned more towards Information Technology. The Computational Sciences Division has expanded rapidly as a result. In this article, I will give a brief overview of some of the past and present projects with a Bayesian content. Much more than is described here goes on with the Division. The web pages at http://ic.arc. nasa.gov give more information on these, and the other Division projects.

Morris, Robin D.↗

From Informal Safety-Critical Requirements to Property-Driven Formal Validation

Most of the efforts in formal methods have historically been devoted to comparing a design against a set of requirements. The validation of the requirements themselves, however, has often been disregarded, and it can be considered a largely open problem, which poses several challenges. The first challenge is given by the fact that requirements are often written in natural language, and may thus contain a high degree of ambiguity. Despite the progresses in Natural Language Processing techniques, the task of understanding a set of requirements cannot be automatized, and must be carried out by domain experts, who are typically not familiar with formal languages. Furthermore, in order to retain a direct connection with the informal requirements, the formalization cannot follow standard model-based approaches. The second challenge lies in the formal validation of requirements. On one hand, it is not even clear which are the correctness criteria or the high-level properties that the requirements must fulfill. On the other hand, the expressivity of the language used in the formalization may go beyond the theoretical and/or practical capacity of state-of-the-art formal verification. In order to solve these issues, we propose a new methodology that comprises of a chain of steps, each supported by a specific tool. The main steps are the following. First, the informal requirements are split into basic fragments, which are classified into categories, and dependency and generalization relationships among them are identified. Second, the fragments are modeled using a visual language such as UML. The UML diagrams are both syntactically restricted (in order to guarantee a formal semantics), and enriched with a highly controlled natural language (to allow for modeling static and temporal constraints). Third, an automatic formal analysis phase iterates over the modeled requirements, by combining several, complementary techniques: checking consistency; verifying whether the requirements entail some desirable properties; verify whether the requirements are consistent with selected scenarios; diagnosing inconsistencies by identifying inconsistent cores; identifying vacuous requirements; constructing multiple explanations by enabling the fault-tree analysis related to particular fault models; verifying whether the specification is realizable.

Cimatti, Alessandro↗

Jim Starnes' Contributions to Residual Strength Analysis Methods for Metallic Structures

A summary of advances in residual strength analyses methods for metallic structures that were realized under the leadership of Dr. James H. Starnes, Jr., is presented. The majority of research led by Dr. Starnes in this area was conducted in the 1990's under the NASA Airframe Structural Integrity Program (NASIP). Dr. Starnes, respectfully referred to herein as Jim, had a passion for studying complex response phenomena and dedicated a significant amount of research effort toward advancing damage tolerance and residual strength analysis methods for metallic structures. Jim's efforts were focused on understanding damage propagation in built-up fuselage structure with widespread fatigue damage, with the goal of ensuring safety in the aging international commercial transport fleet. Jim's major contributions in this research area were in identifying the effects of combined internal pressure and mechanical loads, and geometric nonlinearity, on the response of built-up structures with damage. Analytical and experimental technical results are presented to demonstrate the breadth and rigor of the research conducted in this technical area. Technical results presented herein are drawn exclusively from papers where Jim was a co-author.

Young, Richard D.↗

Large space structures ground and flight progress

Unprecedented challenges arise in connection with the design and certification of space systems which are too large to be transported into orbit fully assembled. Special situations arising in the case of such systems make it necessary to rely much more on analysis than in past programs. The present investigation is concerned with the status of some research activities oriented primarily to the improvement of analysis capabilities through coordinated ground and flight testing. Aspects of system identification are explored, taking into account an eigensystem realization algorithm, and the Hoop-Column Antenna concept. Attention is also given to a suitable method for analyzing the Hoop-Column antenna structure, a deployment analysis, certification issues for large space structures, a generic space station model, and the use of actuators.

Pinson, L. D.↗

Hazards Induced by Breach of Liquid Rocket Fuel Tanks: Conditions and Risks of Cryogenic Liquid Hydrogen-Oxygen Mixture Explosions

We analyze the data of purposeful rupture experiments with LOx and LH2 tanks, the Hydrogen-Oxygen Vertical Impact (HOVI) tests that were performed to clarify the ignition mechanisms, the explosive power of cryogenic H2/Ox mixtures under different conditions, and to elucidate the puzzling source of the initial formation of flames near the intertank section during the Challenger disaster. We carry out a physics-based analysis of general explosions scenarios for cryogenic gaseous H2/Ox mixtures and determine their realizability conditions, using the well-established simplified models from the detonation and deflagration theory. We study the features of aerosol H2/Ox mixture combustion and show, in particular, that aerosols intensify the deflagration flames and can induce detonation for any ignition mechanism. We propose a cavitation-induced mechanism of self-ignition of cryogenic H2/Ox mixtures that may be realized when gaseous H2 and Ox flows are mixed with a liquid Ox turbulent stream, as occurred in all HOVI tests. We present an overview of the HOVI tests to make conclusion on the risk of strong explosions in possible liquid rocket incidents and provide a semi-quantitative interpretation of the HOVI data based on aerosol combustion. We uncover the most dangerous situations and discuss the foreseeable risks which can arise in space missions and lead to tragic outcomes. Our analysis relates to only unconfined mixtures that are likely to arise as a result of liquid propellant space vehicle incidents.

Osipov, Viatcheslav↗

Design and true Reynolds number 2-D testing of an advanced technology airfoil

A NASA-industry program has been conducted to determine the accuracy of available 2-D airfoil analysis procedures over a wide range of Reynolds numbers. The program also served to develop and demonstrate effective wind tunnel model designs for use in a cryogenic environment. A Lockheed design, CRYO 12X, supercritical, shockfree airfoil was configured using a continuous curvature analytical definition of the ordinates. Test results show a very close ordinate tolerance was necessary to realize the intended pressure distribution. Correlation of test with Korn-Garabedian 2-D analysis pressure data were generally good. GRUMFOIL analysis with a sidewall correction gave a better correlation.

Reaser, J. S.↗

Dark Energy Survey Year 6 results: Clustering redshifts and importance sampling of self-organized-maps 𝑛⁡(𝑧) realizations for 3 × 2 ⁢pt samples

This work is part of a series establishing the redshift framework for the 3 × 2 ⁢pt analysis of the Dark Energy Survey Year 6 (DES Y6). For DES Y6, photometric redshift distributions are estimated using self-organizing maps (SOMs), calibrated with spectroscopic and many-band photometric data. To overcome limitations from color-redshift degeneracies and incomplete spectroscopic coverage, we enhance this approach by incorporating clustering-based redshift constraints (clustering-z, or WZ) from angular cross-correlations with BOSS and eBOSS galaxies and eBOSS quasar samples. We define a WZ likelihood and apply importance sampling to a large ensemble of SOM-derived 𝑛⁡(𝑧) realizations, selecting those consistent with the clustering measurements to produce a posterior sample for each lens and source bin. The analysis uses angular scales corresponding to 1.5–5 Mpc to optimize signal-to-noise ratio while mitigating modeling uncertainties and marginalizes over redshift-dependent galaxy bias and other systematics informed by the N-body simulation CARDINAL . While a sparser spectroscopic reference sample limits WZ constraining power at 𝑧 >1.1, particularly for source bins, we demonstrate that combining SOM with WZ improves redshift accuracy and enhances the overall cosmological constraining power of DES Y6. As a result, we estimate an improvement in 𝑆 8 of approximately 10% for cosmic shear and 3 ×2⁢pt analysis, primarily due to the WZ calibration of the source samples.

Cosmological parameters↗

Perturbation analysis of internal balancing for lightly damped mechanical systems with gyroscopic and circulatory forces

Approximate expressions are developed for internally balanced singular values corresponding to the modes of mechanical systems with gyroscopic forces, light damping, and small circulatory forces. A brief overview is first given of the balanced realization model reduction method, including a discussion of recent work. The models considered are defined, and a perturbation analysis is used to show that the modal representation becomes asymptotically balanced as damping reduces to zero. The approximate balanced singular values are calculated, and a simple example of a flexible, dual-spin spacecraft is given as an illustration of the results.

Blelloch, P. A.↗

Analysis of the elliptic integrable non-linear system in IOTA using tracking of a single electron

Integrable nonlinear lattices that can be realized in practical accelerators are of great interest, as they offer the potential to support high-intensity beams via Landau damping of collective instabilities. One such system, based on an elliptic potential, has been extensively studied at the IOTA storage ring at Fermilab. The analysis of strongly nonlinear dynamics with multi-particle bunches is challenging due to the rapid decoherence of kicked beams. IOTA has the capability to track single electrons using linear multi-anode photomultiplier tubes for simultaneously measuring transverse coordinates and arrival times of synchrotron-radiation pulses. This technology enables the full reconstruction of turn-by-turn positions and momenta in all three planes for a single particle. Using this apparatus, we measured the dependence of small-amplitude tunes on the strength of the nonlinear magnet, as well as tunes dependence on oscillations amplitudes.

Romanov, A. [Fermilab]↗

Analysis of the Elliptic Integrable Non-Linear System in IOTA Using Tracking of a Single Electron

Integrable nonlinear lattices that can be realized in practical accelerators are of great interest, as they offer the potential to support high-intensity beams via Landau damping of collective instabilities. One such system, based on an elliptic potential, has been extensively studied at the IOTA storage ring at Fermilab. The analysis of strongly nonlinear dynamics with multi-particle bunches is challenging due to the rapid decoherence of kicked beams. IOTA has the capability to track single electrons using linear multi-anode photomultiplier tubes for simultaneously measuring transverse coordinates and arrival times of synchrotron-radiation pulses. This technology enables the full reconstruction of turn-by-turn positions and momenta in all three planes for a single particle. Using this apparatus, we measured the dependence of small-amplitude tunes on the strength of the nonlinear magnet, as well as tunes dependence on oscillations amplitudes.

Romanov, Aleksandr Leonidovich [Fermilab] (ORCID:0↗

Payload design requirements analysis (study 2.2). Volume 1: Executive summary

Research was conducted to provide data on ways to effectively realize the projected cost reductions for payloads to be developed and operated in the shuttle era. Prior studies have indicated that the Shuttle concept of satellite operations will lead to a large reduction in overall payload cost. This study provides the data and insight into the methods of accomplishing these economic benefits. The study examined only payloads that will be launched on the shuttle/tug/sortie lab combinations. These payloads are of four types: (1) expendable; (2) ground refurbishable; (3) on-orbit maintainable; and (4) sortie. The expendable payloads are intended specifically for the shuttle/tug and not for expendable launch vehicles. Economic comparisons were made only between these four types of shuttle payloads and not between these payloads and current expendable launch vehicle payloads.

Shiokari, T.↗

Spatial Proteomics towards cellular Resolution

Introduction: Spatial biology is an emerging interdisciplinary field facilitating biological discoveries through the use of spatial omics technologies. Recent advancements in spatial transcriptomics, spatial genomics (e.g. genetic mutations and epigenetic marks), multiplexed immunofluorescence, and spatial metabolomics/lipidomics have enabled high-resolution spatial profiling of gene expression, genetic variation, protein expression, and metabolites/lipids profiles in tissue. These developments contribute to a deeper understanding of the spatial organization within tissue microenvironments at the molecular level. Areas covered: This report provides an overview of the untargeted, bottom-up mass spectrometry (MS)-based spatial proteomics workflow. It highlights recent progress in tissue dissection, sample processing, bioinformatics, and liquid chromatography (LC)-MS technologies that are advancing spatial proteomics toward cellular resolution. Expert opinion: The field of untargeted MS-based spatial proteomics is rapidly evolving and holds great promise. To fully realize the potential of spatial proteomics, it is critical to advance data analysis and develop automated and intelligent tissue dissection at the cellular or subcellular level, along with high-throughput LC-MS analyses of thousands of samples. In conclusion, achieving these goals will necessitate significant advancements in tissue dissection technologies, LC-MS instrumentation, and computational tools.

59 BASIC BIOLOGICAL SCIENCES↗

Earth Observatory Satellite system definition study. Report no. 3: Design/cost tradeoff studies. Appendix E: EOS program supporting system. Part 1: System trade studies no. 1 through 8

The design requirements and associated cost impacts for using the space shuttle to deliver the Earth Observatory Satellite (EOS) are identified. The additional impact of achieving full compatibility for resupply and retrieval is considered. Based on the results of the analysis, it is concluded that the EOS-Shuttle compatibility can be realized with reasonable spacecraft weight and cost penalties. Inherent space shuttle capabilities are adequate to meet the requirements of all missions except E and F. Mission E (Tiros 0) may be accommodated by either an EOS orbit transfer capability or a tug. The tug appears to be the only viable approach to satisfying the mission F (SEOS) requirements.

Source record↗

An integrated approach to spacecraft control design

Flight opreation of numerous spacecraft over the years has clearly demonstrated the inherant coupling between the vehicle structure and its control system. Even early missions, such as Explorer I, have experienced this coupling phenomenon. More recent and vivid examples are the Hubble Telescope and the Upper Atmospheric Research Satellite (UARS). In an effort to mitigate these problems and to aid the engineer in his task of achieving maximum performance from this design, even in the presence of structural flexibility, NASA has undertaken a program to provide the methodology for the optimal and integrated design of the vehicle structure and its control system. The analysis and design methodology developed is described. Anticipated performance gains to be realized from this methodology are demonstrated through computer simulation and supported by experimental validations of the design approach.

Keckler, C. R.↗