Search NASA⌕ Search

SEARCH · Search NASA

Results for “RESEARCH TECHNIQUE, MATHEMATICS”

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 181 records · Page 10

Multi-pitch nano-accuracy surface profiler for strongly curved X-ray mirror metrology

We present our recent research and development effort on the Multi-Pitch Nano-accuracy Surface Profiler (MPNSP). This metrology instrument is developed to characterize strongly curved X-ray mirrors proposed to achieve diffraction-limited soft X-ray focusing for scientific applications at the synchrotron beamlines. The measurement process consists of forward-and-backward scans on the test mirror surface along its tangential direction at multiple pitch angles. Our research and development in this work aim to take the challenge of measuring strongly curved X-ray mirrors with a typical total slope range ≳10 mrad, while maintaining the Root Mean Square (RMS) value of measurement repeatability and self-consistency at 50 nrad RMS level. We first introduce the mechanical design, followed by a brief review of the mathematical model and the optimization algorithm for the MPNSP technique. By detecting the rotation axis of the mirror pitch with a machine vision approach, we can determine and then reduce the vertical distance between the pitch rotation axis and the test mirror surface to a sub-mm level. In addition, we describe a practical data acquisition procedure for strongly curved X-ray mirrors with a total slope range larger than the slope measuring range of the autocollimator used in the instrument. As a result, the proposed MPNSP measurements with different mirror orientations achieve remarkable self-consistency and reproducibility of < 50 nrad RMS in slope and < 0.5 nm RMS in height.

42 ENGINEERING↗

A numerical approach for detecting switch-like bistability in mass action chemical reaction networks with conservation laws

Theoretical analysis of signaling pathways can provide a substantial amount of insight into their function. One particular area of research considers signaling pathways capable of assuming two or more stable states given the same amount of signaling ligand. This phenomenon of bistability can give rise to switch-like behavior, a mechanism that governs cellular decision making. Investigation of whether or not a signaling pathway can confer bistability and switch-like behavior, without knowledge of specific kinetic rate constant values, is a mathematically challenging problem. Recently a technique based on optimization has been introduced, which is capable of finding example parameter values that confer switch-like behavior for a given pathway. Although this approach has made it possible to analyze moderately sized pathways, it is limited to reaction networks that presume a uniterminal structure. It is this limited structure we address by developing a general technique that applies to any mass action reaction network with conservation laws. In this paper we developed a generalized method for detecting switch-like bistable behavior in any mass action reaction network with conservation laws. The method involves (1) construction of a constrained optimization problem using the determinant of the Jacobian of the underlying rate equations, (2) minimization of the objective function to search for conditions resulting in a zero eigenvalue, (3) computation of a confidence level that describes if the global minimum has been found and (4) evaluation of optimization values, using either numerical continuation or directly simulating the ODE system, to verify that a bistability region exists. The generalized method has been tested on three motifs known to be capable of bistability. We have developed a variation of an optimization-based method for the discovery of bistability, which is not limited to uniterminal chemical reaction networks. Successful completion of the method provides an S-shaped bifurcation diagram, which indicates that the network acts as a bistable switch for the given optimization parameters.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Streaming Analytics for Anomaly Detection in Large-Scale Data

Anomalous behavior poses serious risks to assured performance and reliability of complex, high-consequence systems. For spaceborne assets and their state-of-health (SOH) telemetry, the challenges of high-dimensional data of varying data types are compounded by computational limitations from size, weight, and power (SWaP) constraints as well as data availability. Automated anomaly detection methods tend to perform poorly under these constraints, while current operational approaches can introduce delays in response time due to the manual, retrospective processes for understanding system failures. As a result, presently deployed space systems, and those deployed in the near future, face situations where mission operations might be delayed or only be able to operate under degraded capabilities. Here, we examine a near-term lightweight solution that provides real-time detection capabilities for rare events and assess state-of-the-art anomaly detection techniques against real SOH telemetry from space platforms. This report describes our methodology and research, which could support more automated capabilities for comprehensive space operations as well as for other resource-constrained edge applications.

97 MATHEMATICS AND COMPUTING↗

On a Formal Tool for Reasoning About Flight Software Cost Analysis

A report focuses on the development of flight software (FSW) cost estimates for 16 Discovery-class missions at JPL. The techniques and procedures developed enabled streamlining of the FSW analysis process, and provided instantaneous confirmation that the data and processes used for these estimates were consistent across all missions. The research provides direction as to how to build a prototype rule-based system for FSW cost estimation that would provide (1) FSW cost estimates, (2) explanation of how the estimates were arrived at, (3) mapping of costs, (4) mathematical trend charts with explanations of why the trends are what they are, (5) tables with ancillary FSW data of interest to analysts, (6) a facility for expert modification/enhancement of the rules, and (7) a basis for conceptually convenient expansion into more complex, useful, and general rule-based systems.

Spagnuolo, John N., Jr.↗

Transforming Energy through Computational Excellence. Exascale Computing: Combustion; Deep Learning for Presumed Probability Density Function (PDF) Models

NREL researchers use advanced machine learning techniques to define improved methods using deep learning models to resolve reacting flows in turbulent combustion flows, reducing the computational burden, increasing computational speed, and improving accuracy. These advancements reduce cost and improve fidelity of rapid-turn-around engineering calculations.

combustion↗

Data Analysis, Machine Learning, & More

At LANL, I have had the privilege and pleasure of working with Dr. Tika Kafle, an optics and condensed matter physicist at the MagLab in TA-35. Dr. Kafle’s research primarily involves the Angle Resolved Photoemission Spectroscopy (ARPES) technique of characterizing materials. More specifically, Dr. Kafle works with Time Resolved ARPES (Tr-ARPES), which extends this technique into the time domain.

36 MATERIALS SCIENCE↗

Multi-disciplinary optimization of aeroservoelastic systems

The purpose of the research project was to continue the development of new methods for efficient aeroservoelastic analysis and optimization. The main targets were as follows: to complete the development of analytical tools for the investigation of flutter with large stiffness changes; to continue the work on efficient continuous gust response and sensitivity derivatives; and to advance the techniques of calculating dynamic loads with control and unsteady aerodynamic effects. An efficient and highly accurate mathematical model for time-domain analysis of flutter during which large structural changes occur was developed in cooperation with Carol D. Wieseman of NASA LaRC. The model was based on the second-year work 'Modal Coordinates for Aeroelastic Analysis with Large Local Structural Variations'. The work on continuous gust response was completed. An abstract of the paper 'Continuous Gust Response and Sensitivity Derivatives Using State-Space Models' was submitted for presentation in the 33rd Israel Annual Conference on Aviation and Astronautics, Feb. 1993. The abstract is given in Appendix A. The work extends the optimization model to deal with continuous gust objectives in a way that facilitates their inclusion in the efficient multi-disciplinary optimization scheme. Currently under development is a work designed to extend the analysis and optimization capabilities to loads and stress considerations. The work is on aircraft dynamic loads in response to impulsive and non-impulsive excitation. The work extends the formulations of the mode-displacement and summation-of-forces methods to include modes with significant local distortions, and load modes. An abstract of the paper,'Structural Dynamic Loads in Response to Impulsive Excitation' is given in appendix B. Another work performed this year under the Grant was 'Size-Reduction Techniques for the Determination of Efficient Aeroservoelastic Models' given in Appendix C.

Karpel, Mardechay↗

A Survey on Privacy in Graph Neural Networks: Attacks, Preservation, and Applications

Graph Neural Networks (GNNs) have gained significant attention owing to their ability to handle graph-structured data and the improvement in practical applications. However, many of these models prioritize high utility performance, such as accuracy, with a lack of privacy consideration, which is a major concern in modern society where privacy attacks are rampant. To address this issue, researchers have started to develop privacy-preserving GNNs. Despite this progress, there is a lack of a comprehensive overview of the attacks and the techniques for preserving privacy in the graph domain. In this survey, we aim to address this gap by summarizing the attacks on graph data according to the targeted information, categorizing the privacy preservation techniques in GNNs, and reviewing the datasets and applications that could be used for analyzing/solving privacy issues in GNNs. We also outline potential directions for future research in order to build better privacy-preserving GNNs.

97 MATHEMATICS AND COMPUTING↗

Engineering Privacy at the Edge: A Practical Guide to Differential Privacy in System Architectures

The rapid expansion of distributed and edge computing platforms—spanning autonomous vehicles, IoT sensors, and healthcare monitors—has heightened concerns about data privacy. Differential Privacy (DP) offers a rigorous mathematical framework to protect sensitive information while retaining analytical utility. This tutorial introduces the foundations of DP for both numerical and categorical datasets and extends the discussion to correlation-aware techniques tailored for structured and high-dimensional data. Hands-on demonstrations will begin with the PETINA (Privacy prEservaTIoN Algorithms) package for numerical data and continue with MIC-DP (Maximum Information Correlated Differential Privacy) for tabular data. Designed for researchers and practitioners in secure systems, embedded architectures, and AI accelerators, the tutorial emphasizes practical and scalable methods for integrating DP into real-world system designs.

Kotevska, Olivera [ORNL] (ORCID:0000000316772243)↗

Investigating Actuation Force Fight with Asynchronous and Synchronous Redundancy Management Techniques

Within distributed fault-tolerant systems the term force-fight is colloquially used to describe the level of command disagreement present at redundant actuation interfaces. This report details an investigation of force-fight using three distributed system case-study architectures. Each case study architecture is abstracted and formally modeled using the Symbolic Analysis Laboratory (SAL) tool chain from the Stanford Research Institute (SRI). We use the formal SAL models to produce k-induction based proofs of a bounded actuation agreement property. We also present a mathematically derived bound of redundant actuation agreement for sine-wave stimulus. The report documents our experiences and lessons learned developing the formal models and the associated proofs.

Hall, Brendan↗

A Shift Selection Strategy for Parallel Shift-invert Spectrum Slicing in Symmetric Self-consistent Eigenvalue Computation

The central importance of large-scale eigenvalue problems in scientific computation necessitates the development of massively parallel algorithms for their solution. Recent advances in dense numerical linear algebra have enabled the routine treatment of eigenvalue problems with dimensions on the order of hundreds of thousands on the world’s largest supercomputers. In cases where dense treatments are not feasible, Krylov subspace methods offer an attractive alternative due to the fact that they do not require storage of the problem matrices. However, demonstration of scalability of either of these classes of eigenvalue algorithms on computing architectures capable of expressing massive parallelism is non-trivial due to communication requirements and serial bottlenecks, respectively. In this work, we introduce the SISLICE method: a parallel shift-invert algorithm for the solution of the symmetric self-consistent field (SCF) eigenvalue problem. The SISLICE method drastically reduces the communication requirement of current parallel shift-invert eigenvalue algorithms through various shift selection and migration techniques based on density of states estimation and k-means clustering, respectively. This work demonstrates the robustness and parallel performance of the SISLICE method on a representative set of SCF eigenvalue problems and outlines research directions that will be explored in future work.

97 MATHEMATICS AND COMPUTING↗

Measurements, modeling, control and simulation - as applied to the human left ventricle for purposeful physiological monitoring.

Interdisciplinary engineering research effort in studying the intact human left ventricle has been employed to physiologically monitor the heart and to obtain its 'state-of-health' characteristics. The left ventricle was selected for this purpose because it plays a key role in supplying energy to the body cells. The techniques for measurement of the left ventricular geometry are described; the geometry is effectively displayed to bring out the abnormalities in cardiac function. Methods of mathematical modeling, which make it possible to determine the performance of the intact left ventricular muscle, are also described. Finally, features of a control system for the left ventricle for predicting the effect of certain physiological stress situations on the ventricle performance are discussed.

Ghista, D. N.↗

Development of a two-dimensional skin friction balance nulling circuit using multivariable control theory

Measurement of planar skin friction forces in aerodynamic testing currently requires installation of two perpendicularly mounted, single-axis balances; consequently, force components must be sensed at two distinct locations. A two-axis instrument developed at the Langley Research Center to overcome this disadvantage allows measurement of a two-dimensional force at one location. This paper describes a feedback-controlled nulling circuit developed for the NASA two-axis balance which, without external compensation, is inherently unstable because of its low friction mechanical design. Linear multivariable control theory is applied to an experimentally validated mathematical model of the balance to synthesize a state-variable feedback control law. Pole placement techniques and computer simulation studies are employed to select eigenvalues which provide ideal transient response with decoupled sensing dynamics.

Tripp, John S.↗

The Effect of Gravity Axis Orientation on the Growth of Phthalocyanine Thin Films

Experimentally, many of the functions of electrical circuits have been demonstrated using optical circuits and, in theory, all of these functions may be accomplished using optical devices made of nonlinear optical materials. Actual construction of nonlinear optical devices is one of the most active areas in all optical research being done at this time. Physical vapor transport (PVT) is a promising technique for production of thin films of a variety of organic and inorganic materials. Film optical quality, orientation of microcrystals, and thickness depends critically on type of material, pressure of buffer gas and temperature of deposition. An important but understudied influence on film characteristics is the effect of gravity-driven buoyancy. Frazier, Hung, Paley, Penn and Long have recently reported mathematical modelling of the vapor deposition process and tested the predictions of the model on the thickness of films grown by PVT of 6-(2-methyl-4-nitroanilino)-2,4-hexadiyn-l-ol (DAMNA). In an historic experiment, Debe, et. al. offered definitive proof that copper phthalocyanine films grown in a low gravity environment are denser and more ordered than those grown at 1 g. This work seeks to determine the influence on film quality of gravity driven buoyancy in the low pressure PVT film growth of metal-free phthalocyanine.

Pearson, Earl F.↗

Variable-Complexity Multidisciplinary Optimization on Parallel Computers

This report covers work conducted under grant NAG1-1562 for the NASA High Performance Computing and Communications Program (HPCCP) from December 7, 1993, to December 31, 1997. The objective of the research was to develop new multidisciplinary design optimization (MDO) techniques which exploit parallel computing to reduce the computational burden of aircraft MDO. The design of the High-Speed Civil Transport (HSCT) air-craft was selected as a test case to demonstrate the utility of our MDO methods. The three major tasks of this research grant included: development of parallel multipoint approximation methods for the aerodynamic design of the HSCT, use of parallel multipoint approximation methods for structural optimization of the HSCT, mathematical and algorithmic development including support in the integration of parallel computation for items (1) and (2). These tasks have been accomplished with the development of a response surface methodology that incorporates multi-fidelity models. For the aerodynamic design we were able to optimize with up to 20 design variables using hundreds of expensive Euler analyses together with thousands of inexpensive linear theory simulations. We have thereby demonstrated the application of CFD to a large aerodynamic design problem. For the predicting structural weight we were able to combine hundreds of structural optimizations of refined finite element models with thousands of optimizations based on coarse models. Computations have been carried out on the Intel Paragon with up to 128 nodes. The parallel computation allowed us to perform combined aerodynamic-structural optimization using state of the art models of a complex aircraft configurations.

Grossman, Bernard↗

Advanced Power Electronics and Electric Machines

NLR's advanced power electronics and electric machines (APEEM) research group develops world-class experimental and modeling capabilities to design and evaluate efficient and reliable power electronics and electric machines, as well as innovative thermal management systems to maximize their performance. They also design, fabricate, and characterize advanced power electronics packaging and are developing state-of-health monitoring techniques.

25 ENERGY STORAGE↗

A propagation effects handbook for satellite systems design. A summary of propagation impairments on 10-100 GHz satellite links, with techniques for system design

This handbook provides satellite system engineers with a concise summary of the major propagation effects experienced on Earth-space paths in the 10 to 100 GHz frequency range. The dominant effect, attenuation due to rain, is dealt with in terms of both experimental data from measurements made in the U.S. and Canada, and the mathematical and conceptual models devised to explain the data. Rain systems, rain and attenuation models, depolarization and experimental data are described. The design techniques recommended for predicting propagation effects in Earth-space communications systems are presented. The questions of where in the system design process the effects of propagation should be considered, and what precautions should be taken when applying the propagation results are addressed in order to bridge the gap between the propagation research data and the classical link budget analysis of Earth-space communications system.

Kaul, R.↗

Performance and stability of telemanipulators using bilateral impedance control

A new method of control for telemanipulators called bilateral impedance control is investigated. This new method differs from previous approaches in that interaction forces are used as the communication signals between the master and slave robots. The new control architecture has several advantages: (1) It allows the master robot and the slave robot to be stabilized independently without becoming involved in the overall system dynamics; (2) It permits the system designers to arbitrarily specify desired performance characteristics such as the force and position ratios between the master and slave; (3) The impedance at both ends of the telerobotic system can be modulated to suit the requirements of the task. The main goals of the research are to characterize the performance and stability of the new control architecture. The dynamics of the telerobotic system are described by a bond graph model that illustrates how energy is transformed, stored, and dissipated. Performance can be completely described by a set of three independent parameters. These parameters are fundamentally related to the structure of the H matrix that regulates the communication of force signals within the system. Stability is analyzed with two mathematical techniques: the Small Gain Theorem and the Multivariable Nyquist Criterion. The theoretical predictions for performance and stability are experimentally verified by implementing the new control architecture on a multidegree of freedom telemanipulator.

Moore, Christopher Lane↗