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
All sourcesNASA NTRSDOE OSTI
NASA NTRS2010

Marshall Application Realignment System (MARS) Architecture

The Marshall Application Realignment System (MARS) Architecture project was established to meet the certification requirements of the Department of Defense Architecture Framework (DoDAF) V2.0 Federal Enterprise Architecture Certification (FEAC) Institute program and to provide added value to the Marshall Space Flight Center (MSFC) Application Portfolio Management process. The MARS Architecture aims to: (1) address the NASA MSFC Chief Information Officer (CIO) strategic initiative to improve Application Portfolio Management (APM) by optimizing investments and improving portfolio performance, and (2) develop a decision-aiding capability by which applications registered within the MSFC application portfolio can be analyzed and considered for retirement or decommission. The MARS Architecture describes a to-be target capability that supports application portfolio analysis against scoring measures (based on value) and overall portfolio performance objectives (based on enterprise needs and policies). This scoring and decision-aiding capability supports the process by which MSFC application investments are realigned or retired from the application portfolio. The MARS Architecture is a multi-phase effort to: (1) conduct strategic architecture planning and knowledge development based on the DoDAF V2.0 six-step methodology, (2) describe one architecture through multiple viewpoints, (3) conduct portfolio analyses based on a defined operational concept, and (4) enable a new capability to support the MSFC enterprise IT management mission, vision, and goals. This report documents Phase 1 (Strategy and Design), which includes discovery, planning, and development of initial architecture viewpoints. Phase 2 will move forward the process of building the architecture, widening the scope to include application realignment (in addition to application retirement), and validating the underlying architecture logic before moving into Phase 3. The MARS Architecture key stakeholders are most interested in Phase 3 because this is where the data analysis, scoring, and recommendation capability is realized. Stakeholders want to see the benefits derived from reducing the steady-state application base and identify opportunities for portfolio performance improvement and application realignment.

Belshe, Andrea↗
NASA NTRS2011

Early Oscillation Detection Technique for Hybrid DC/DC Converters

Oscillation or instability is a situation that must be avoided for reliable hybrid DC/DC converters. A real-time electronics measurement technique was developed to detect catastrophic oscillations at early stages for hybrid DC/DC converters. It is capable of identifying low-level oscillation and determining the degree of the oscillation at a unique frequency for every individual model of the converters without disturbing their normal operations. This technique is specially developed for space-used hybrid DC/DC converters, but it is also suitable for most of commercial and military switching-mode power supplies. This is a weak-electronic-signal detection technique to detect hybrid DC/DC converter oscillation presented as a specific noise signal at power input pins. It is based on principles of feedback control loop oscillation and RF signal modulations, and is realized by using signal power spectral analysis. On the power spectrum, a channel power amplitude at characteristic frequency (CPcf) and a channel power amplitude at switching frequency (CPsw) are chosen as oscillation level indicators. If the converter is stable, the CPcf is a very small pulse and the CPsw is a larger, clear, single pulse. At early stage of oscillation, the CPcf increases to a certain level and the CPsw shows a small pair of sideband pulses around it. If the converter oscillates, the CPcf reaches to a higher level and the CPsw shows more high-level sideband pulses. A comprehensive stability index (CSI) is adopted as a quantitative measure to accurately assign a degree of stability to a specific DC/DC converter. The CSI is a ratio of normal and abnormal power spectral density, and can be calculated using specified and measured CPcf and CPsw data. The novel and unique feature of this technique is the use of power channel amplitudes at characteristic frequency and switching frequency to evaluate stability and identify oscillations at an early stage without interfering with a DC/DC converter s normal operation. This technique eliminates the probing problem of a gain/phase margin method by connecting the power input to a spectral analyzer. Therefore, it is able to evaluate stability for all kinds of hybrid DC/DC converters with or without remote sense pins, and is suitable for real-time and in-circuit testing. This frequency-domain technique is more sensitive to detect oscillation at early stage than the time-domain method using an oscilloscope.

Wang, Bright L.↗
NASA NTRS2016

Self-Aware Vehicles: Mission and Performance Adaptation to System Health

Advances in sensing (miniaturization, distributed sensor networks) combined with improvements in computational power leading to significant gains in perception, real-time decision making/reasoning and dynamic planning under uncertainty as well as big data predictive analysis have set the stage for realization of autonomous system capability. These advances open the design and operating space for self-aware vehicles that are able to assess their own capabilities and adjust their behavior to either complete the assigned mission or to modify the mission to reflect their current capabilities. This paper discusses the self-aware vehicle concept and associated technologies necessary for full exploitation of the concept. A self-aware aircraft, spacecraft or system is one that is aware of its internal state, has situational awareness of its environment, can assess its capabilities currently and project them into the future, understands its mission objectives, and can make decisions under uncertainty regarding its ability to achieve its mission objectives.

Gregory, Irene M.↗
NASA NTRS2021

Compositional Realizability Checking within FRET

A set of requirements for a reactive system is realizable if, for any sequence of inputs that satisfy the assumptions on the environment, the guarantees always hold. Realizability checking is essential to ensure that an implementation can be constructed that satisfies the requirements. We propose a framework that supports users in the non-trivial task of developing realizable requirements. Our framework uses architectural information to automatically de-compose a set of requirements into subsets that can be analyzed separately, and therefore more efficiently. It then integrates existing algorithms in order to detect unrealizability, identify minimal sets of conflicting requirements, and compute counterexamples. The capability to focus on minimal conflict sets is key for localizing and correcting the sources of unrealizability. Our approach supports this process by enabling users to interactively visualize and explore the produced conflict sets and counterexamples. We have implemented our framework in the open-source Formal Requirements Elicitation Tool (FRET), and have used it on a variety of industrial-level case studies, showcasing the strengths of our approach in terms of raw performance, as well as diagnostic potential.

FRET↗
NASA NTRS2021

MOA-2006-BLG-074: Recognizing Xallarap Contaminants in Planetary Microlensing

MOA-2006-BLG-074 was selected as one of the most promising planetary candidates in a retrospective analysis of the MOA collaboration: its asymmetric high-magnification peak can be perfectly explained by a source passing across a central caustic deformed by a small planet. However, after a detailed analysis of the residuals, we have realized that a single lens and a source orbiting with a faint companion provides a more satisfactory explanation for all the observed deviations from a Paczynski curve and the only physically acceptable interpretation. Indeed the orbital motion of the source is constrained enough to allow a very good characterization of the binary source from the microlensing light curve. The case of MOA-2006-BLG-074 suggests that the so-called xallarap effect must be taken seriously in any attempts to obtain accurate planetary demographics from microlensing surveys.

Gravitational microlensing exoplanet detection↗
DOE OSTI2015

A paradigm shift: an introduction to structured decision making for sustainable waste management and remediation - 15649

transport of contaminants and human health risk assessment. Most often these modeling activities are carried out in a conservative fashion, usually beyond even the conservatism that is built into the associated regulations and guidance. Decisions are aimed primarily at compliance with regulatory objectives, rather than optimization. This leads to unnecessarily costly remediation and under-utilization of the nation's relatively few radioactive waste disposal facilities. Risk assessment decisions under CERCLA and RCRA might seem to perform better, but if anything this is because the focus is on shorter-term decision-making because long term fate and transport modeling is not considered necessary in most cases. However, some more complex contamination problems suffer from the same basic issues as radioactive waste disposal in terms of the need for complex fate and transport modeling and subsequent risk assessment. At least CERCLA addresses optimization in the feasibility study, but it does not address how to perform that optimization in the face of uncertainty or stakeholders who have different competing objectives. Other environmental issues that fall outside the realm of DOE Orders, NRC regulations, and regulations such as CERCLA and RCRA, have found a different path towards effective decision-making. This includes land reuse and watershed management decisions, for which there is a focus on sustainability and on stakeholder involvement throughout the decision making process. EPA is using 'structured decision analysis' to achieve the primary goal of maximizing societal welfare. These same tools and approaches can be brought into environmental and waste management decisions that need to be made by DOE. Structured decision analysis provides a formal process for capturing not only the science side of the problem, but also the costs and value judgments of the stakeholders, to reach an optimal solution. But this approach requires a paradigm shift within the DOE and NRC environmental and waste management programs. That is, it requires a willingness to engage a new approach that will provide a path towards effective optimization in the decision-making process for the complex environmental problems faced by DOE and NRC. Because of the current nature of problem solving for these types of problems, which involves many layers of conservatism, this structured decision analysis path towards optimization will also realize substantial cost savings for these programs, while maintaining or improving defensibility and transparency in the decision making process. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗
NASA NTRS2019

Integrating Realizability Checking in FRET

Realizability (alternatively referred to as relative consistency or implementability) - checking whether a specification can be implemented by an open system - has been the subject of extensive study. Realizability can be viewed as a stronger analysis method when compared to consistency checking in that it does not only check whether the system works in some environment, but instead whether the system works in all environments. In this report, we experiment and build on the approach presented by Gacek et al. that supports checking realizability of contracts involving infinite theories using SMT solvers. In particular, we 1) extend the Formal Requirements Elicitation Tool (FRET) to support generation of Lustre contracts that can be checked for realizability with the JKind k-induction and fix point generation engines; 2) study a compositional way for checking realizability based on the notion of connected components; and 3) test our approach and the capabilities of the JKind realizability engines on a large subset of the Lockheed Martin Cyber Physical System Challenge Problems.

Kooi, David↗
DOE OSTI2014

A Bayesian method for using simulator data to enhance human error probabilities assigned by existing HRA methods

In the past several years, several international organizations have begun to collect data on human performance in nuclear power plant simulators. The data collected provide a valuable opportunity to improve human reliability analysis (HRA), but these improvements will not be realized without implementation of Bayesian methods. Bayesian methods are widely used to incorporate sparse data into models in many parts of probabilistic risk assessment (PRA), but Bayesian methods have not been adopted by the HRA community. In this paper, we provide a Bayesian methodology to formally use simulator data to refine the human error probabilities (HEPs) assigned by existing HRA methods. We demonstrate the methodology with a case study, wherein we use simulator data from the Halden Reactor Project to update the probability assignments from the SPAR-H method. The case study demonstrates the ability to use performance data, even sparse data, to improve existing HRA methods. Furthermore, this paper also serves as a demonstration of the value of Bayesian methods to improve the technical basis of HRA.

99 GENERAL AND MISCELLANEOUS↗
DOE OSTI2022

Evidence of TeV halos around millisecond pulsars

Using data from the HAWC gamma-ray Telescope, we have studied a sample of 37 millisecond pulsars (MSPs), selected for their spindown power and proximity. From among these MSP, we have identified four which favor the presence of very high-energy gamma-ray emission at a level of (2Δ ln L) 1/2 ≥ 2.5. Adopting a correlation between the spindown power and gamma-ray luminosity of each pulsar, we performed a stacked likelihood analysis of these 37 MSPs, finding that the data supports the conclusion that these sources emit very high-energy gamma-rays at a level of (2Δ ln L) 1/2 = 4.24. Among sets of randomly selected sky locations within HAWC’s field-of-view, less than 1% of such realizations yielded such high statistical significance. Our analysis suggests that MSPs produce very high-energy gamma-ray emission with a similar efficiency to that observed from the Geminga TeV-halo, η MSP = (0.39 - 1.08) x η Geminga . So this conclusion poses a significant challenge for pulsar interpretations of the Galactic Center gamma-ray excess, as it suggests that any population of MSPs potentially capable of producing the GeV excess would also produce TeV-scale emission in excess of that observed by HESS from this region. Future observations by CTA will be able to substantially clarify this situation

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
NASA NTRS1986

Remote express analysis of ground-layer aerosol based on laser-induced spark spectra

The creation of high-power pulsed CO2 and Nd-glass lasers enables the realization of the method for remote spectro-chemical analysis of atmospheric aerosols based on excitation of the emission spectrum of the aerosol particle atoms. A description of construction and characteristics of a spectrochemical lidar based on both Nd-glass and CO2 lasers is presented.

Zuev, V. E.↗
DOE OSTI2022

Experimental realization of neutron helical waves

Methods of preparation and analysis of structured waves of light, electrons, and atoms have been advancing rapidly. Despite the proven power of neutrons for material characterization and studies of fundamental physics, neutron science has not been able to fully integrate these techniques because of small transverse coherence lengths, the relatively poor resolution of spatial detectors, and low fluence rates. Here, we demonstrate methods that are practical with the existing technologies and show the experimental achievement of neutron helical wavefronts that carry well-defined orbital angular momentum values. We discuss possible applications and extensions to spin-orbit correlations and material characterization techniques.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
NASA NTRS1972

Application of frequency discrimination technique to the analysis of electroencephalographic signals

A frequency discrimination technique is realized by an inexpensive frequency discriminator for direct on-line measurement of the entrainment phenomenon in EEG as entrained by the frequency of a sensory stimulus. The use of this device for detecting the presence or absence of the stimulus effect and the measurement of the time delays in the entrainment is demonstrated. The EEG signal is first filtered by a narrow-band filter with center frequency about the alpha-rhythm of the individual. It is then reasonable to consider the alpha signal as narrow-band random process with the alpha frequency f sub alpha as the mean frequency of the spectral band.

Lai, D. C.↗
NASA NTRS2014

STAGS Developments for Residual Strength Analysis Methods for Metallic Fuselage Structures

A summary of advances in the Structural Analysis of General Shells (STAGS) finite element code for the residual strength analysis of metallic fuselage structures, that were realized through collaboration between the structures group at NASA Langley, and Dr. Charles Rankin is presented. The majority of the advancements described were made in the 1990's under the NASA Airframe Structural Integrity Program (NASIP). Example results from studies that were conducted using the STAGS code to develop improved understanding of the nonlinear response of cracked fuselage structures subjected to combined loads are presented. An integrated residual strength analysis methodology for metallic structure that models crack growth to predict the effect of cracks on structural integrity is demonstrated

Young, Richard D.↗
DOE OSTI2017

Recordings and Analysis of Atomic Ledge and Dislocation Movements in InGaAs to Nickelide Nanowire Phase Transformation

The formation of low resistance and self‐aligned contacts with thermally stable alloyed phases is a prerequisite for realizing reliable functionality in ultrascaled semiconductor transistors. Detailed structural analysis of the phase transformation accompanying contact alloying can facilitate contact engineering as transistor channels approach a few atoms across. Original in situ heating transmission electron microscopy studies are carried out to record and analyze the atomic scale dynamics of contact alloy formation between Ni and In 0.53 Ga 0.47 As nanowire channels. It is observed that the nickelide reacts on the In 0.53 Ga 0.47 As (111) || Ni 2 In 0.53 Ga 0.47 As (0001) interface with atomic ledge propagation along the Ni 2 In 0.53 Ga 0.47 As direction. Ledges nucleate as a train of strained single‐bilayers and propagate in‐plane as double‐bilayers that are associated with a misfit dislocation of . The atomic structure is reconstructed to explain this phase transformation that involves collective gliding of three Shockley partials in In 0.53 Ga 0.47 As lattice to cancel out shear stress and the formation of misfit dislocations to compensate the large lattice mismatch in the newly formed nickelide phase and the In 0.53 Ga 0.47 As layers. This work demonstrates the applicability of interfacial disconnection (ledge + dislocation) theory in a nanowire channel during thermally induced phase transformation that is typical in metal/III–V semiconductor reactions.

Chen, Renjie↗
DOE OSTI2015

CORONAL MAGNETOGRAPHY OF A SIMULATED SOLAR ACTIVE REGION FROM MICROWAVE IMAGING SPECTROPOLARIMETRY

We have simulated the Expanded Owens Valley Solar Array (EOVSA) radio images generated at multiple frequencies from a model solar active region, embedded in a realistic solar disk model, and explored the resulting data cube for different spectral analysis schemes to evaluate the potential for realizing one of EOVSA’s most important scientific goals—coronal magnetography. In this paper, we focus on modeling the gyroresonance and free–free emission from an on-disk solar active region model with realistic complexities in electron density, temperature and magnetic field distribution. We compare the magnetic field parameters extrapolated from the image data cube along each line of sight after folding through the EOVSA instrumental profile with the original (unfolded) parameters used in the model. We find that even the most easily automated, image-based analysis approach (Level-0) provides reasonable quantitative results, although they are affected by systematic effects due to finite sampling in the Fourier (UV) plane. Finally, we note the potential for errors due to misidentified harmonics of the gyrofrequency, and discuss the prospects for applying a more sophisticated spectrally based analysis scheme (Level-1) to resolve the issue in cases where improved UV coverage and spatial resolution are available.

79 ASTRONOMY AND ASTROPHYSICS↗
NASA NTRS2021

Origami-Inspired Optical Shield for a Starshade Inner Disk Testbed: Design, Fabrication, and Analysis

In 2019, a 10 m-diameter starshade inner disk test article was assembled; this test article demonstrated deployment accuracy sufficient for starshade mission concepts. Here, we describe the design, fabrication, and computational structural analysis of a key inner disk component realized for this effort: the origami-folded optical shield. The optical shield is a 10 m-diameter lightweight cover that makes the inner disk opaque. It stows within a 2.3 m-diameter volume by using an origami-inspired wrapping pattern, and is deployed passively by the inner disk perimeter truss. The fold pattern was generated by a custom algorithm based one existing generative design approaches. This prototype demonstrated critical functions: stowage in a compact volume, static equilibrium when stowed and deployed, and low strain when stowed. Four separate computational structural analysis models of the optical shield were de- veloped, at varying levels of fidelity and using a variety of software solutions: Abaqus, RAPID, and ADAMS. These models were intended to pathfind approaches for modeling the stowage and deployment of the inner disk, and to demonstrate that the optical shield is amenable existing structural modeling approaches. These models were found to adequately capture pertinent stowage and deployment behavior of the optical shield prototype.

Hoffman, Laura↗
NASA NTRS1991

CFD validation of a supersonic laminar flow control concept

A three-dimensional Navier-Stokes code is used in conjunction with a linear compressible stability analysis code to develop a numerical procedure for prediction of laminar flow transition. The procedure is applied to a modified F-16XL fighter with a laminar flow control glove at supersonic speed. Details of boundary layer stability analysis indicate that, computationally, laminar flow could be realized on the highly swept wing in the absence of the leading edge attachment-line contamination. Effects of the three-dimensionality of the flow were shown to be important in the boundary layer stability analysis. The numerically predicted surface pressures compare favorably with the flight test data.

Woan, Chung-Jin↗
NASA NTRS1990

Proceedings of the LDEF Materials Data Analysis Workshop

The 5-year, 10-month flight of the Long Duration Exposure Facility (LDEF) greatly enhanced the potential value of most LDEF materials, compared to the original 1-year flight plan. NASA recognized this potential by forming the LDEF Space Environmental Effects on Materials Special Investigation Group in early 1989 to address the expanded opportunities available in the LDEF structure and on experimental trays, so that the value of all LDEF materials to current and future space missions would be assessed and documented. The LDEF Materials Data Analysis Workshop served as one step toward the realization of that responsibility and ran concurrently with activities surrounding the successful return of the spacecraft to the NASA Kennedy Space Center. A compilation of visual aids utilized by speakers at the workshop is presented. Session 1 summarized current information on analysis responsibilities and plans and was aimed at updating the workshop attendees: the LDEF Advisory Committee, Principle Investigators, Special Investigation Group Members, and others involved in LDEF analyses or management. Sessions 2 and 3 addressed materials data analysis methodology, specimen preparation, shipment and archival, and initial plans for the LDEF Materials Data Base. A complementary objective of the workshop was to stimulate interest and awareness of opportunities to vastly expand the overall data base by considering the entire spacecraft as a materials experiment.

Stein, Bland A.↗