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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 91 records · Page 5

All sources NASA NTRS DOE OSTI

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↗

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↗

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.↗

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.↗

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.↗

NASA NTRSDate not supplied

ILRS Analysis Activities After the Adoption of ITRF2020

"The contribution of the International Laser Ranging Service (ILRS) to the most recent realization of the International Terrestrial Reference System (ITRS) was the result of an analysis strategy with two major modifications compared to the operational products: a modeling for stations long-term systematic errors (biases reported in the ILRS Data Handling File) and an updated model of the target signature error (satellite Centre of Mass model). Both refined models were used as input information for the ILRS contribution to the ITRF2020 (International Terrestrial Reference Frame 2020). Thereafter, the ILRS Analysis Standing Committee (ASC) focused its effort on implementing the new reference frame in its operational products, define a strategy to improve the ongoing monitoring of the systematic errors, compute the ILRS contribution to the planned ITRF2020 update, and to include LARES-2 among the considered satellites for the operational products. The ILRS ASC implemented the ITRF2020/SLRF2020 into all its official operational products (TRF, Earth Orientation Parameters, predicted and combined satellite orbits) and its impact was evaluated. The operational products benefit from the continuous monitoring of the station systematic errors and the frequent updates of the Data Handling File whenever a significant change in the station systematic error is observed. In the future, a change-point detection algorithm, jointly estimating the times and the number of discontinuities, will be implemented to detect potential new discontinuities in the range bias series. The inclusion of LARES-2 among the satellites whose data are operationally analyzed will furtherly increase the robustness of the estimated parameters. Finally, the ILRS ASC activities include the benchmarking of a new analysis center (CNES) which will formally begin its own contribution in 2024."

Satellite Laser Ranging↗

NASA NTRS1991

Structural reliability analysis of laminated CMC components

For laminated ceramic matrix composite (CMC) materials to realize their full potential in aerospace applications, design methods and protocols are a necessity. The time independent failure response of these materials is focussed on and a reliability analysis is presented associated with the initiation of matrix cracking. A public domain computer algorithm is highlighted that was coupled with the laminate analysis of a finite element code and which serves as a design aid to analyze structural components made from laminated CMC materials. Issues relevant to the effect of the size of the component are discussed, and a parameter estimation procedure is presented. The estimation procedure allows three parameters to be calculated from a failure population that has an underlying Weibull distribution.

Duffy, Stephen F.↗

NASA NTRS1991

Structural reliability analysis of laminated CMC components

Duffy, Stephen F.↗

NASA NTRS2009

Reaction Wheel Disturbance Model Extraction Software - RWDMES

The RWDMES is a tool for modeling the disturbances imparted on spacecraft by spinning reaction wheels. Reaction wheels are usually the largest disturbance source on a precision pointing spacecraft, and can be the dominating source of pointing error. Accurate knowledge of the disturbance environment is critical to accurate prediction of the pointing performance. In the past, it has been difficult to extract an accurate wheel disturbance model since the forcing mechanisms are difficult to model physically, and the forcing amplitudes are filtered by the dynamics of the reaction wheel. RWDMES captures the wheel-induced disturbances using a hybrid physical/empirical model that is extracted directly from measured forcing data. The empirical models capture the tonal forces that occur at harmonics of the spin rate, and the broadband forces that arise from random effects. The empirical forcing functions are filtered by a physical model of the wheel structure that includes spin-rate-dependent moments (gyroscopic terms). The resulting hybrid model creates a highly accurate prediction of wheel-induced forces. It accounts for variation in disturbance frequency, as well as the shifts in structural amplification by the whirl modes, as the spin rate changes. This software provides a point-and-click environment for producing accurate models with minimal user effort. Where conventional approaches may take weeks to produce a model of variable quality, RWDMES can create a demonstrably high accuracy model in two hours. The software consists of a graphical user interface (GUI) that enables the user to specify all analysis parameters, to evaluate analysis results and to iteratively refine the model. Underlying algorithms automatically extract disturbance harmonics, initialize and tune harmonic models, and initialize and tune broadband noise models. The component steps are described in the RWDMES user s guide and include: converting time domain data to waterfall PSDs (power spectral densities); converting PSDs to order analysis data; extracting harmonics; initializing and simultaneously tuning a harmonic model and a wheel structural model; initializing and tuning a broadband model; and verifying the harmonic/broadband/structural model against the measurement data. Functional operation is through a MATLAB GUI that loads test data, performs the various analyses, plots evaluation data for assessment and refinement of analysis parameters, and exports the data to documentation or downstream analysis code. The harmonic models are defined as specified functions of frequency, typically speed-squared. The reaction wheel structural model is realized as mass, damping, and stiffness matrices (typically from a finite element analysis package) with the addition of a gyroscopic forcing matrix. The broadband noise model is realized as a set of speed-dependent filters. The tuning of the combined model is performed using nonlinear least squares techniques. RWDMES is implemented as a MATLAB toolbox comprising the Fit Manager for performing the model extraction, Data Manager for managing input data and output models, the Gyro Manager for modifying wheel structural models, and the Harmonic Editor for evaluating and tuning harmonic models. This software was validated using data from Goodrich E wheels, and from GSFC Lunar Reconnaissance Orbiter (LRO) wheels. The validation testing proved that RWDMES has the capability to extract accurate disturbance models from flight reaction wheels with minimal user effort.

Blaurock, Carl↗

DOE OSTI2024

Petahertz electronics

Petahertz, or lightwave, electronics uses tailored optical waveforms to control charge carriers in an electronic circuit at petahertz frequencies. This may enable faster processing than conventional pulsed electronics, which cannot be scaled beyond gigahertz frequencies. In recent years, petahertz-scale currents driven by optical fields have been measured in solid-state systems and nanoscale structures, with several proof-of-principle demonstrations of sub-optical-cycle current generation and optical-field-resolved waveform detection at the sub-femtosecond to few-femtosecond scale. Recent work has taken the first steps towards digital and quantum operation by exploring optical-field-driven logic and memory functionality. Here, in this Review, we discuss the progress towards sub-cycle field-driven current injection, highlighting key theoretical concepts, experimental milestones, and questions remaining as we push towards realizing petahertz electronics for ultrafast optical waveform analysis, digital logic, communications, and quantum computation.

Heide, Christian↗

NASA NTRS1977

Advanced supersonic propulsion study, phases 3 and 4

An evaluation of various advanced propulsion concepts for supersonic cruise aircraft resulted in the identification of the double-bypass variable cycle engine as the most promising concept. This engine design utilizes special variable geometry components and an annular exhaust nozzle to provide high take-off thrust and low jet noise. The engine also provides good performance at both supersonic cruise and subsonic cruise. Emission characteristics are excellent. The advanced technology double-bypass variable cycle engine offers an improvement in aircraft range performance relative to earlier supersonic jet engine designs and yet at a lower level of engine noise. Research and technology programs required in certain design areas for this engine concept to realize its potential benefits include refined parametric analysis of selected variable cycle engines, screening of additional unconventional concepts, and engine preliminary design studies. Required critical technology programs are summarized.

Allan, R. D.↗

NASA NTRS1979

Rapid data comparison technique development for N-ray/X-ray analysis

An operational N-ray/X-ray computer analysis system for nondestructive testing problems was realized by developing: (1) more efficient data transfer routines for use in existing image processing systems; (2) the capability to store and analyze multiple N-ray/X-ray images; (3) an efficient 2-D Fast Fourier Transform; and (4) transfer functions compensation capability to correct for distortions and nonlinearities of N-rays/X-rays. Applications of the technique are summarized for the following: thermal protection system tile with hydraulic fluid; thermal protection system tile with corrosion; thermal protection system tile debonding; stainless steel tubing corrosion; defective electrical devices; fast film restoration and deblur; corrosion tracking over time; reduction of source vignetting, and identification of materials (0 rings, Teflon parts, soft goods) via table look up.

Butterfield, R. L.↗