Search NASA⌕ Search

SEARCH · Search NASA

Results for “theory building”

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 73 records · Page 4

An Investigation into the Elementary Temporal Structure of Solar Flare Hard X-Ray Bursts Using BATSE

The research performed under this contract is part of an on-going investigation to explore the finest time-resolution hard X-ray data available on solar flares. Since 1991, the Burst and Transient Source Experiment (BATSE) aboard the Compton Gamma Ray Observatory has provided almost continual monitoring of the Sun in the hard X-ray and gamma-ray region of the spectrum. BATSE provides for the first time a temporal resolution in the data comparable to the timescales on which flare particle energization occurs. Under this contract, we have employed an important but under-utilized BATSE data type, the Time-To-Spill (TTS) data, to address the question of how fine a temporal structure exists in flare hard X-ray emission. By establishing the extent to which 'energy release fragments,' or characteristic (recurrent) time structures, are building blocks of flare emission, it is possible to place constraints on particle acceleration theories.

Newton, Elizabeth↗

Independent Technical Assessment of NASA and External Quantum Sensing Capability

The recent FY 2020 federal Research and Development Budget Priorities memo addresses the leadership need in Quantum Information Science (QIS) directing agencies to “prioritize QIS research and development (R&D), which will build the technical and scientific base necessary to explore the next generation of QIS theory, devices, and applications.” Quantum Sensing (QS) is an integral part of QIS. NASA is a key part of the directive to forward American space exploration and commercialization by providing “capabilities that have broad potential applications in space and on Earth.” QS provides an arena for NASA to demonstrate leadership in both areas of the administrative directive. QS uses quantum properties to achieve unprecedented measurement sensitivity and performance, including quantum-enhanced methodologies that outperform their classical counterparts. Typical quantum sensors exploit techniques such as atomic systems, matter waves, quantum entanglement, quantum superposition of states, quantum illumination methods, and manipulation of photons and atoms, in general. Guided by advancements in our ability to generate, manipulate, and control quantum systems, the emerging quantum sensing technologies promise unrivalled sensitivity, resolution, and precision, potentially leading to game-changing applications. Significant gains include technologies important for a range of NASA missions such as remote sensing, in situ measurements, metrology, interferometry, quantum communication, ranging, imaging, radar and lidar receivers, and gravity measurements. NASA Engineering and Safety Center has convened an independent external panel, comprising of Quantum Sensing Experts from Government, DoD, academia, and Federally funded Research and Development Center to conduct an independent technical assessment of the agency's capabilities in Quantum Sensing to understand NASA's internal needs and competencies related to Quantum Sensing and compare agency capabilities with those available externally including industry, academia, and other government agencies. The outcomes of the assessment will help the agency in establishing appropriate strategies and investments to develop and maintain the state-of-the-art sensing competence and capabilities required to meet the agency’s future needs. The External Experts Panel (EEP) is collaborating with HQ, various NASA Center and the representatives in the NASA Quantum Sensing Community of Practice (QS CoP), a part of NASA Sensors and Instrumentation Technical Fellow Technical Discipline Team, in obtaining common, current understanding of agency mission needs where QS can be an important enabler for future needs, and any programs, projects, assets, and technologists working in QS. The EEP organized a Quantum Sensing Workshop of practitioners from industry, academia, other government agencies, external experts, and interested NASA personnel to gather the assessment information. EEP also conducted information gathering on the industry at large, educational institutions, and other government agency research efforts for capture in the assessment database. At the conclusion of this assessment, EEP team will develop findings and conclusions describing NASA’s capabilities for the mission needs, NASA's relative position on new, enabling technologies, and an analysis of the gaps that may present any risks to near-term or far-term mission needs. This presentation will give details of the NASA and External Quantum Sensing Assessment outcomes, findings, observations, and its recommendation to NASA as how it can advance Quantum Sensing technologies and techniques for its science and explorations related missions.

External Quantum Sensing Capability↗

Intent Specifications: An Approach to Building Human-Centered Specifications

This paper examines and proposes an approach to writing software specifications, based on research in systems theory, cognitive psychology, and human-machine interaction. The goal is to provide specifications that support human problem solving and the tasks that humans must perform in software development and evolution. A type of specification, called intent specifications, is constructed upon this underlying foundation.

Leveson, Nancy G.↗

An Ensemble Approach to Building Mercer Kernels with Prior Information

This paper presents a new methodology for automatic knowledge driven data mining based on the theory of Mercer Kernels, which are highly nonlinear symmetric positive definite mappings from the original image space to a very high, possibly dimensional feature space. we describe a new method called Mixture Density Mercer Kernels to learn kernel function directly from data, rather than using pre-defined kernels. These data adaptive kernels can encode prior knowledge in the kernel using a Bayesian formulation, thus allowing for physical information to be encoded in the model. Specifically, we demonstrate the use of the algorithm in situations with extremely small samples of data. We compare the results with existing algorithms on data from the Sloan Digital Sky Survey (SDSS) and demonstrate the method's superior performance against standard methods. The code for these experiments has been generated with the AUTOBAYES tool, which automatically generates efficient and documented C/C++ code from abstract statistical model specifications. The core of the system is a schema library which contains templates for learning and knowledge discovery algorithms like different versions of EM, or numeric optimization methods like conjugate gradient methods. The template instantiation is supported by symbolic-algebraic computations, which allows AUTOBAYES to find closed-form solutions and, where possible, to integrate them into the code.

Srivastava, Ashok N.↗

Development of a perturbation generator for vortex stability studies

Theory predicts vortex instability when subjected to certain types of disturbances. It was desired to build a device which could introduce controlled velocity perturbations into a trailing line vortex in order to study the effects on stability. A perturbation generator was designed and manufactured which can be attached to the centerbody of an airfoil type vortex generator. Details of design tests and manufacturing of the perturbation generator are presented. The device produced controlled perturbation with frequencies in excess of 250 Hz. Preliminary testing and evaluation of the perturbation generator performance was conducted in a 4 inch cylindrical pipe. Observations of vortex shedding frequencies from a centerbody were measured. Further evaluation with the perturbation generator attached to the vortex generator in a 2 x 3 foot wind tunnel were also conducted. Hot-wire anemometry was used to confirm the perturbation generator's ability to introduce controlled frequency fluctuations. Comparison of the energy levels of the disturbances in the vortex core was made between locations 42 chord lengths and 15 chord lengths downstream.

Riester, J. E.↗

Improving X-ray Optics Through Differential Deposition

The differential deposition technique can in theory correct shell figures to approximate arcsecond value. We have received APRA funding and are building two custom system to demonstrate the technique on full shell and segmented optics. We hope to be able to demonstrate < 5 arcsec performance in < 2 years. To go beyond this, (arcsecond level) is very difficult to judge as we have not yet discovered the problems. May necessitate in-situ metrology, stress reduction investigations, correcting for gravity effects, correcting for temperature effects. Some of this will become obvious in early parts of the investigation.

Ramsey, Brian↗

Controlled Quantum Packets

We look at time evolution of a physical system from the point of view of dynamical control theory. Normally we solve motion equation with a given external potential and we obtain time evolution. Standard examples are the trajectories in classical mechanics or the wave functions in Quantum Mechanics. In the control theory, we have the configurational variables of a physical system, we choose a velocity field and with a suited strategy we force the physical system to have a well defined evolution. The evolution of the system is the 'premium' that the controller receives if he has adopted the right strategy. The strategy is given by well suited laboratory devices. The control mechanisms are in many cases non linear; it is necessary, namely, a feedback mechanism to retain in time the selected evolution. Our aim is to introduce a scheme to obtain Quantum wave packets by control theory. The program is to choose the characteristics of a packet, that is, the equation of evolution for its centre and a controlled dispersion, and to give a building scheme from some initial state (for example a solution of stationary Schroedinger equation). It seems natural in this view to use stochastic approach to Quantum Mechanics, that is, Stochastic Mechanics [S.M.]. It is a quantization scheme different from ordinary ones only formally. This approach introduces in quantum theory the whole mathematical apparatus of stochastic control theory. Stochastic Mechanics, in our view, is more intuitive when we want to study all the classical-like problems. We apply our scheme to build two classes of quantum packets both derived generalizing some properties of coherent states.

DeMartino, Salvatore↗

Origin of Volatiles in Earth: Indigenous Versus Exogenous Sources Based on Highly Siderophile, Volatile Siderophile, and Light Volatile Elements

Origin of Earth's volatiles has traditionally been ascribed to late accretion of material after major differentiation events - chondrites, comets, ice or other exogenous sources. A competing theory is that the Earth accreted its volatiles as it was built, thus water and other building blocks were present early and during differentiation and core formation (indigenous). Here we discuss geochemical evidence from three groups of elements that suggests Earth's volatiles were acquired during accretion and did not require additional sources after differentiation.

Righter, K.↗

A Koopman-based residual modeling approach for the control of a soft robot arm

Soft robots are challenging to model and control due to their poorly defined kinematics and nonlinear dynamics. Recently, Koopman operator theory has been shown capable of constructing control-oriented soft robot models from data. However, building these models requires extensive data collection and they do not necessarily generalize well outside of the training observations. This paper presents a more data-efficient and generalizable approach to soft robot modeling that first identifies a physics-based Koopman model then supplements it with a data-driven residual Koopman model. The resulting combined model is linear and thus compatible with real-time model-based control techniques such as Model Predictive Control (MPC). The efficacy of the approach is demonstrated on several simulated systems and on a real soft robot arm, where it is shown to generate models that are more accurate than purely physics-based models and require less data to construct than purely data-driven models. Using a model-based controller, the soft arm is able to successfully track end effector trajectories, perform a pick-and-place task, and write on a dry-erase board, showcasing the applicability of this framework to increase the capabilities of soft robotic systems.

Daniel Bruder↗

Maximum Likelihood Estimation of Spectra Information from Multiple Independent Astrophysics Data Sets

The Maximum Likelihood (ML) statistical theory required to estimate spectra information from an arbitrary number of astrophysics data sets produced by vastly different science instruments is developed in this paper. This theory and its successful implementation will facilitate the interpretation of spectral information from multiple astrophysics missions and thereby permit the derivation of superior spectral information based on the combination of data sets. The procedure is of significant value to both existing data sets and those to be produced by future astrophysics missions consisting of two or more detectors by allowing instrument developers to optimize each detector's design parameters through simulation studies in order to design and build complementary detectors that will maximize the precision with which the science objectives may be obtained. The benefits of this ML theory and its application is measured in terms of the reduction of the statistical errors (standard deviations) of the spectra information using the multiple data sets in concert as compared to the statistical errors of the spectra information when the data sets are considered separately, as well as any biases resulting from poor statistics in one or more of the individual data sets that might be reduced when the data sets are combined.

Howell, Leonard W., Jr.↗

The pseudonoise test set: Communication system's performance evaluation based upon RMS error testing

A pseudonoise (PN) test set was built to provide a relatively easy means of accurately determining the end-to-end rms error introduced by a communication system when subjected to wideband data. It utilizes a filtered pseudorandom sequence generator as a wideband data source, providing a convenient means for digitally delaying the input reference signal for comparison with the distorted test communication system output. In addition to providing a means to measure the end-to-end rms error and the average delay of a communication system, the PN test set also provides a means to determine the tested system's impulse response and correlation function. The theory of PN testing is discussed in detail along with the most difficult aspects of implementation, the building of matched filter pairs. Both analytical and empirical results are reported which support the contentions that this is an accurate and practical way to acquire figures of merit for complete communication systems.

Wallace, G. R.↗

A study of physical mechanisms for filament eruption and coronal mass ejection via numerical simulation

It is well-known from both observation and theory that photospheric shear motion has played a key role in physical processes of the energy build-up and release for the solar flare. In order to further our understanding of the occurrence of solar flares it is necessary to investigate the triggering mechanism. One popular scenario for the onset of eruptive solar flares is that in response to photospheric shear motions the magnetic field evolves slowly through a series of magnetohydrodynamic-equilibria until a threshold is reached where magnetohydrodynamic (MHD) non-equilibrium sets in. Thus, a magnetic eruption occurs, causing the solar flare. To substantiate this claim we have employed our newly developed three-dimensional time-dependent MHD code with gravity to simulate the evolution of the coronal field. We use plasma beta = 0.1 to closely approximate the condition in the actual corona. Some preliminary results are presented.

Wu, S. T.↗

Numerical Solution of Multi-Dimensional Hyperbolic Conservation Laws on Unstructured Meshes

The lecture material will discuss the application of one-dimensional approximate Riemann solutions and high order accurate data reconstruction as building blocks for solving multi-dimensional hyperbolic equations. This building block procedure is well-documented in the nationally available literature. The relevant stability and convergence theory using positive operator analysis will also be presented. All participants in the minisymposium will be asked to solve one or more generic test problems so that a critical comparison of accuracy can be made among differing approaches.

Barth, Timothy J.↗

Ti Isotopes: Echoes of Grain-Scale Heterogenaity in the Protoplanetary Disk

Calcium-aluminum-rich inclusions (CAIs) are the oldest surviving solids to have formed in the Solar System. Their chemical and isotopic compositions provide a record of the conditions present in the protoplanetary disk where they formed and can aid our understanding of how solids formed in the solar nebula, an important step in the eventual process of planet building. The isotopic compositions of CAIs are primarily controlled by volatility. Evaporation/sublimation are well understood through both theory and experimental work to produce an enrichment in the heavy isotopes of an element, but less is understood about the effects of condensation. Mass-dependent fractionation can potentially provide a record of nebular condensation. Ti is not likely to experience evaporation due to its refractory nature, making it a useful tool for assessing the effects of condensation. We have undertaken a study of the stable isotope fractionation of Ti isotopes as a tracer of processes that predate the last evaporation events affecting CAIs. We compare the 49Ti/47Ti stable isotope ratio with excess 50Ti common in CAIs. We have collected Ti, Mg, Si, and Ca isotope data for a suite of CAIs in order to search for heterogeneity in each of these isotope systems, and for potential correlations among them. We compare our results to expectations for condensation.

Jordan, M. K.↗

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↗

COFS 1: Beam dynamics and control technology overview

The Control of Flexible Structures (COFS) 1 Project provides the invaluable opportunity to test, validate, and measure the effectiveness of theories, structural concepts, control systems, and flight certification processes for future missions through a research program focusing on multiple issues in large flexible structures, dynamics, and controls. The COFS 1 Project consists of a series of ground and flight activities building progressively from modeling and dynamic characterization of large space systems to the more complex issues of flexible-body control. The program objectives are to: determine the degree to which theory and ground testing can predict flight performance of next-generation low-frequency structures; evaluate structural fidelity of representative next-generation large deployable precision structure; assess math modeling requirements for large lightweight complex systems on which ground test results are questionable; determine degree to which scale model analysis and tests can be correlated to full-scale performance; evaluate system identification and state estimation algorithms on complex lightweight structures in the space environment; evaluate and verify controls/structures modeling capability; evaluate control laws and control systems; and evaluate damping effects in micro-g environment.

Allen, John L.↗

Simultaneous Q-switching and mode-locking in the CW Nd:YAG laser

The theory of transient mode-locking for an active modulator in a laser with a homogeneously broadened line is presented. The theory is applied to simultaneously Q-switched and mode-locked Nd:YAG lasers and good agreement between theory and experiment is obtained. The main conclusion is that under usual Q-switched operating conditions the mode-locking process does not have sufficient time to build up to steady-state conditions. We also present a method to overcome this problem by allowing the laser to prelase before the Q-switch is opened. Mode-locked pulses whose width approaches the steady-state value are obtained. The transient mode-locking theory presented here also applies to actively mode-locking TEA CO2 lasers and to other types of simultaneously pulsed and mode-locked lasers.

Kuizenga, D. J.↗

Development of electrostatic sensors for scout systems evaluation vehicle, 131r

In the course of a Scout vehicle mission, a static charge may build up on the vehicle and reach sufficiently high values to become potentially dangerous to the vehicle mission. The development of electrostatic sensors for monitoring the potential build-up on a Scout vehicle is discussed in this report. The investigation and studies, which produced the theories tor the electrostatic sensor concepts, are also discussed. The sensors were designed, fabricated and installed on Scout vehicle 131R. Results of the sensor development program are discussed in full; however, at the time this report was completed, the flight experiment had not been accomplished.

Scout Project↗