Search NASA⌕ Search

SEARCH · Search NASA

Results for “data discover”

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 397 records · Page 22
All sourcesNASA NTRSDOE OSTI
NASA NTRS2011

Symbolically Modeling Concurrent MCAPI Executions

Improper use of Inter-Process Communication (IPC) within concurrent systems often creates data races which can lead to bugs that are challenging to discover. Techniques that use Satisfiability Modulo Theories (SMT) problems to symbolically model possible executions of concurrent software have recently been proposed for use in the formal verification of software. In this work we describe a new technique for modeling executions of concurrent software that use a message passing API called MCAPI. Our technique uses an execution trace to create an SMT problem that symbolically models all possible concurrent executions and follows the same sequence of conditional branch outcomes as the provided execution trace. We check if there exists a satisfying assignment to the SMT problem with respect to specific safety properties. If such an assignment exists, it provides the conditions that lead to the violation of the property. We show how our method models behaviors of MCAPI applications that are ignored in previously published techniques.

Fischer, Topher↗
DOE OSTI2026

SODAs: sparse optimization for the discovery of differential and algebraic equations

Differential-algebraic equations (DAEs) integrate ordinary differential equations (ODEs) with algebraic constraints, providing a fundamental framework for developing models of dynamical systems characterized by time-scale separation, conservation laws and physical constraints. While sparse optimization has revolutionized model development by allowing data-driven discovery of parsimonious models from a library of possible equations, existing approaches for dynamical systems assume DAEs can be reduced to ODEs by eliminating variables before model discovery. This assumption limits the applicability of such methods for DAE systems with unknown constraints and time scales. We introduce sparse optimization for differential-algebraic systems (SODAs), a data-driven method for the identification of DAEs in their explicit form. By discovering the algebraic and dynamic components sequentially without prior identification of the algebraic variables, this approach leads to a sequence of convex optimization problems. It has the advantage of discovering interpretable models that preserve the structure of the underlying physical system. To this end, SODAs improves since SODAs is singular numerical stability when handling high correlations between library terms, caused by near-perfect algebraic relationships, by iteratively refining the conditioning of the candidate library. We demonstrate the performance of our method on biological, mechanical and electrical systems, showcasing its robustness to noise in both simulated time series and real-time experimental data.

DAE↗
NASA NTRS1981

CCD photometry of 1218+304 1219+28 and 1727+50: Point sources, associated nebulosity and broadband spectra

Visual and far red surface photometry were obtained of two X-ray emitting BL Lacertae objects, 1218+304 (2A1219+305) and 1727+50 (Izw 187), as well as the highly variable object 1219+28 (ON 231, W Com). The intensity distribution for 1727+50 can be modeled using a central point source plus a de Vaucouleurs intensity law for an underlying galaxy. The broad band spectral energy distribution so derived is consistent with what is expected for an elliptical galaxy. The spectral index of the point source is alpha = 0.97. Additional VLBI and X-ray data are also reported for 1727+50. There is nebulosity associated with the recently discovered object 1218+304. No nebulosity is found associated with 1219+28. A comparison of the results with observations at X-ray and radio frequencies suggests that all the emission from 1727+50 and 1218+304 can be interpreted as due solely to direct synchrotron emission. If this is the case, the data further imply the existence of relativistic motion effects and continuous particle injection.

Weistrop, D.↗
NASA NTRS1990

Monitoring techniques for the X-29A aircraft's high-speed rotating power takeoff shaft

The experimental X-29A forward swept-wing aircraft has many unique and critical systems that require constant monitoring during ground or flight operation. One such system is the power takeoff shaft, which is the mechanical link between the engine and the aircraft-mounted accessory drive. The X-29A power takeoff shaft opertes in a range between 0 and 16,810 rpm, is longer than most jet engine power takeoff shafts, and is made of graphite epoxy material. Since the X-29A aircraft operates on a single engine, failure of the shaft during flight could lead to loss of the aircraft. The monitoring techniques and test methods used during power takeoff shaft ground and flight operations are discussed. Test data are presented in two case studies where monitoring and testing of the shaft dynamics proved instrumental in discovering and isolating X-29A power takeoff shaft problems. The first study concerns the installation of an unbalanced shaft. The effect of the unbalance on the shaft vibration data and the procedure used to correct the problem are discussed. The second study deals with the shaft exceeding the established vibration limits during flight. This case study found that the vibration of connected rotating machinery unbalances contributed to the excessive vibration level of the shaft. The procedures used to identify the contributions of other rotating machinery unbalances to the power takeoff shaft unbalance are discussed.

Voracek, David F.↗
DOE OSTI2025

Multimodal super-resolution: discovering hidden physics and its application to fusion plasmas

Understanding complex physical systems often requires integrating data from multiple diagnostics, each with limited resolution or coverage. We present a machine learning framework that reconstructs synthetic high-temporal-resolution data for a target diagnostic using information from other diagnostics, without direct target measurements during the inference. This multimodal super-resolution technique improves diagnostic robustness and enables monitoring even in case of measurement failures or degradation. Applied to fusion plasmas, our method targets edge-localized modes (ELMs), which can damage plasma-facing materials. By reconstructing super-resolution Thomson Scattering data from complementary diagnostics, we uncover fine-scale plasma dynamics and validate the role of resonant magnetic perturbations (RMPs) in ELM suppression through magnetic island formation. The approach provides new observation supporting the plasma profile flattening due to these islands. Our results demonstrate the framework’s ability to generate high-fidelity synthetic diagnostics, offering a powerful tool for ELM control development in future reactors like ITER. The approach is broadly transferable to other domains facing sparse, incomplete, or degraded diagnostic data, opening new avenues for discovery.

Jalalvand, Azarakhsh [Princeton Univ., NJ (United ↗
NASA NTRS1976

Discovering Jupiter. I

The current state of knowledge regarding the planet Jupiter is examined, taking into account data obtained with the aid of the spacecraft Pioneer 11. A description is given of Jupiter's weather. The Pioneer 11 pictures show that the planet's banded cloud structure breaks down above 50 deg latitude, and turns into relatively small, mostly circular cloud features in the polar regions. Attention is given to Jupiter's heat balance, aspects of internal heat flow, questions of atmospheric circulation, the turbulence in Jupiter's atmosphere, the effects of coriolis forces, Jupiter's upper atmosphere, the Great Red Spot, and the Jovian magnetosphere and radiation belts.

Source record↗
NASA NTRS1996

Four-Dimensional Oceanic and Atmosperic Data Assimilation with Tropical Rainfall Measuring Mission Data

An oceanic data assimilation system which allows to utilize the forthcoming Tropical Rainfall Measuring Mission (TRMM) data has been developed and applied to the Pacific Ocean to produce the velocity field. The assimilated data will be indispensable to examine the effects of rainfall and its variability on the structure and circulation of the tropical oceans and to assess the impact of global warming due to the increase of carbon dioxide on the ocean circulation system and the marine pollution caused by oil spill and ocean damping of radionuclide. The data will also provide the verification for the oceanic and ocean-atmosphere coupled General Circulation Models (GCM's). The system consists of oceanic GCM, analysis scheme and data. In the system the flow field has been determined to be physically consistent with the observed density field and the sea surface winds derived from the Special Sensor Microwave Imagery (SSM/I) data which drive the ocean current. The time integration has been performed for five years until the flow field near the surface attained the steady state starting from the rest ocean with observed temperature and salinity fields, and the SSM/I surface wind velocity. The resultant flow field showed high producibility of the system. Especially the flow near the ocean surface agreed well with available observed data. The system, for the first time, succeeded to produce the eastward subtropical current which has been discovered in the joint investigation on Kuroshio current (CSK) in the 1960s. To verify the quality of the flow field a trajectory analysis has been carried out and compared with the Algos buoy data. BRIEF DESCRIPTION OF THE DATA ASSIMILATION SYSTEM ## Oceanic GCM and analysis scheme--The basic equations are much the same as used for the GCM's, except for the Newtonian damping terms introduced into the prediction equations for the potential temperature and salinity to maintain these fields as observed. The C grid of 2'lat. by 2'long. in horizontal and the 11 vertical levels are applied to the entire Pacific Ocean. At the east and west ocean boundaries the periodic boundary conditions are applied creating fictitious ocean there. The SMAC Method is used to increase the accuracy of mass conservation. * Data--The JODC temperature and salinity data obtained from 1906 to 1988 are used in the system between Long.100'E. and 60'W. The surface wind data are derived from the SSM/I data by Dr-R. Atlas of NASA/GSFC. The data set contains every 6 hours data from July 1987 to June 1989 on the grid of 2'lat. by 2.5'long. The averaged for the whole period and then interpolated into the 2'lat. by 2'long. grid data are used to force the system. The sea bottom topography data was based on the General Bathymetric Chart of the Ocean (GEBCO) supplied by the Canadian Hydrographic Service under contract with the International Hydrographic Organization and International Oceanographic Commission of UNESCO.

Takano, Kenji↗
DOE OSTI2026

Automated Membership Inference Attacks: Discovering MIA Signal Computations using LLM Agents

Membership inference attacks (MIAs), which enable adversaries to determine whether specific data points were part of a model's training dataset, have emerged as an important framework to understand, assess, and quantify the potential information leakage associated with machine learning systems. Designing effective MIAs is a challenging task that usually requires extensive manual exploration of model behaviors to identify potential vulnerabilities. In this paper, we introduce AutoMIA -- a novel framework that leverages large language model (LLM) agents to automate the design and implementation of new MIA signal computations. By utilizing LLM agents, we can systematically explore a vast space of potential attack strategies, enabling the discovery of novel strategies. Our experiments demonstrate AutoMIA can successfully discover new MIAs that are specifically tailored to user-configured target model and dataset, resulting in improvements of up to 0.18 in absolute AUC over existing MIAs. This work provides the first demonstration that LLM agents can serve as an effective and scalable paradigm for designing and implementing MIAs with SOTA performance, opening up new avenues for future exploration.

Tran, Toan Viet [Emory University]↗
DOE OSTI2024

Data Analytics for Catalysis Predictions: Are We Ready Yet?

Catalysis informatics has received tremendous attention in recent years as a tool to design catalysts and discover unique descriptors that capture the relationships between chemical properties and catalytic performance. One of the stop-gaps in understanding catalytic effects, which is often ignored and limits the deployment of data science tools, relates to the lack of uniform data. The catalytic cleavage of C–X (X= H, C, N, and O) bonds is relevant to many fundamental catalytic processes. In this Perspective, we performed data analytics on four groups of C–X cleavage reactions that are common in production, upcycling, or reactive separation: the C–C cleavage in cyclopropyl alcohol, the C–H cleavage in hydroacylation reactions, the C–O cleavage in β-O-4 linkages, and the C–N cleavage in amides, using experimental data collected from the literature to understand their underlying correlations. Experimental variables of high impact are identified for each reaction by dimensionality reduction methods. We highlight the urgent need for experimental data sets that include full details on the reaction conditions, such as reagent concentration, reaction temperature, or time in machine-readable forms. We discuss the potential improvement of the data of these reactions and promising approaches such as autonomous experiments to fill the gaps in unbiased experimental data. Finally, we also address the early stage consideration of separation aspects in the experimental design of efficient catalytic systems for these fundamental examples of chemical reactivity.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
NASA NTRS2001

Recent Advances in Maya Studies Using Remotely Sensed Data

The Peten region of northern Guatemala is one of the last places on earth where major archeological sites remain to be discovered. It was in this region that the Maya civilization began, flourished, and abruptly disappeared. Remote sensing technology is helping to locate and map ancient Maya sites that are threatened today by accelerating deforestation and looting. Thematic Mapper and IKONOS satellite and airborne Star3i radar data, combined with Global Positioning System (GPS) technology, are successfully detecting ancient Maya features such as cities, roadways, canals, and water reservoirs. Satellite imagery is also being used to map the bajos, which are seasonally flooded swamps that cover over 40% of the land surface. The use of baJos for farming has been a source of debate within the professional community for many years. But the recent detection and verification of cultural features within the baJo system by our research team are providing conclusive evidence that the ancient Maya had adapted well to wetland environments from the earliest times and utilized them until the time of the Maya collapse. The combination of water management and baJo farming is an important resource for the future of the current inhabitants who are experiencing rapid population growth. Remote sensing imagery is also demonstrating that in the Preclassic period (600 BC- AD 250), the Maya had already achieved a high organizational level as evidenced by the construction of massive temples and an elaborate inter-connecting roadway system. Although they experienced several setbacks such as droughts and hurricanes, the Maya nevertheless managed the delicate forest ecosystem successfully for several centuries. However, around AD 800, something happened to the Maya to cause their rapid decline and eventual disappearance from the region. The evidence indicates that at this time there was increased climatic dryness, extensive deforestation, overpopulation, and widespread warfare. This raises a relevant question today-namely, how severe do internal stresses in a civilization have to become before relatively minor climate shifts can cause a widespread cultural collapse?

Sever, Tom↗
NASA NTRS2001

Recent Advances in Maya Studies Using Remotely Sensed Data

The Peten region of northern Guatemala is one of the last places on earth where major archeological sites remain to be discovered. It was in this region that the Maya civilization began, flourished, and abruptly disappeared. Remote sensing technology is helping to locate and map ancient Maya sites that are threatened today by accelerating deforestation and looting. Thematic Mapper and IKONOS satellite and airborne Star3i radar data, combined with Global Positioning System (GPS) technology, are successfully detecting ancient Maya features such as cities, roadways, canals, and water reservoirs. Satellite imagery is also being used to map the baJos, which are seasonally flooded swamps that cover over 40% of the land surface. The use of bajos for farming has been a source of debate within the professional community for many years. But the recent detection and verification of cultural features within the bajo system by our research team are providing conclusive evidence that the ancient Maya had adapted well to wetland environments from the earliest times and utilized them until the time of the Maya collapse. The combination of water management and bajo farming is an important resource for the future of the current inhabitants who are experiencing rapid population growth. Remote sensing imagery is also demonstrating that in the Preclassic period (600 BC- AD 250), the Maya had already achieved a high organizational level as evidenced by the construction of massive temples and an elaborate inter-connecting roadway system. Although they experienced several setbacks such as droughts and hurricanes, the Maya nevertheless managed the delicate forest ecosystem successfully for several centuries. However, around AD 800, something happened to the Maya to cause their rapid decline and eventual disappearance from the region. The evidence indicates that at this time there was increased climatic dryness, extensive deforestation, overpopulation, and widespread warfare. This raises a relevant question today-namely, how severe do internal stresses in a civilization have to become before relatively minor climate shifts can cause a widespread cultural collapse?

Sever, Tom↗
NASA NTRS2011

The Modeling and Simulation Catalog for Discovery, Knowledge and Reuse

The DoD M&S Steering Committee has noted that the current DoD and Service's modeling and simulation resource repository (MSRR) services are not up-to-date limiting their value to the using communities. However, M&S leaders and managers also determined that the Department needs a functional M&S registry card catalog to facilitate M&S tool and data visibility to support M&S activities across the DoD. The M&S Catalog will discover and access M&S metadata maintained at nodes distributed across DoD networks in a centrally managed, decentralized process that employs metadata collection and management. The intent is to link information stores, precluding redundant location updating. The M&S Catalog uses a standard metadata schemas based on the DoD's Net-Centric Data Strategy Community of Interest metadata specification. The Air Force, Navy and OSD (CAPE) have provided initial information to participating DoD nodes, but plans on the horizon are being made to bring in hundreds of source providers.

Stone, George F. III↗
NASA NTRS1995

A Stabilized Sparse-Matrix U-D Square-Root Implementation of a Large-State Extended Kalman Filter

The full nonlinear Kalman filter sequential algorithm is, in theory, well-suited to the four-dimensional data assimilation problem in large-scale atmospheric and oceanic problems. However, it was later discovered that this algorithm can be very sensitive to computer roundoff, and that results may cease to be meaningful as time advances. Implementations of a modified Kalman filter are given.

data assimilation modified Kalman filter sequentia↗
NASA NTRS2013

Tracker Toolkit

This software can track multiple moving objects within a video stream simultaneously, use visual features to aid in the tracking, and initiate tracks based on object detection in a subregion. A simple programmatic interface allows plugging into larger image chain modeling suites. It extracts unique visual features for aid in tracking and later analysis, and includes sub-functionality for extracting visual features about an object identified within an image frame. Tracker Toolkit utilizes a feature extraction algorithm to tag each object with metadata features about its size, shape, color, and movement. Its functionality is independent of the scale of objects within a scene. The only assumption made on the tracked objects is that they move. There are no constraints on size within the scene, shape, or type of movement. The Tracker Toolkit is also capable of following an arbitrary number of objects in the same scene, identifying and propagating the track of each object from frame to frame. Target objects may be specified for tracking beforehand, or may be dynamically discovered within a tripwire region. Initialization of the Tracker Toolkit algorithm includes two steps: Initializing the data structures for tracked target objects, including targets preselected for tracking; and initializing the tripwire region. If no tripwire region is desired, this step is skipped. The tripwire region is an area within the frames that is always checked for new objects, and all new objects discovered within the region will be tracked until lost (by leaving the frame, stopping, or blending in to the background).

Lewis, Steven J.↗
DOE OSTI2024

MIJAMP

Here, we develop MIJAMP (MIJAMP Is Just A MethylBED Parser), a software package that was developed to discover methylated motifs from the output of ONT’s Modkit or other data in the methylBED format. MIJAMP employs a human-driven refinement strategy that empirically validates all motifs against genome-wide methylation data, thus eliminating false, under-, or overexplained motifs. MIJAMP can also report methylation data on a specific, user-defined motif.

Alexander, William↗
DOE OSTI2025

Optimal Control of an Oscillating Surge Wave Energy Converter

During this project, we experimentally investigated the hydrodynamics and performance of a laboratory-scale oscillating surge wave energy converter (OSWEC).We looked at how flap buoyancy and driveline losses (primarily in the form of stiction) affected the dynamics and performance of the device. In addition, we assessed the influence of flap profile (rounded vs. square edges) on OSWEC hydrodynamics. Through this, we were able to develop a deeper understanding of OSWEC performance and provide guidance on strategies to counteract artifacts that may be present in laboratory models, but are absent in field-scale devices. To do this, we tested a laboratory-scale OSWEC in the Sea Wave Environmental Lab (SWEL) wave tank at the National Renewable Energy Laboratory (NREL). We ran several types of experiments to investigate the hydrodynamics and performance of the device. Overall, we achieved the overall goal of experimentally investigating the hydrodynamics and performance of this device. We discovered important and unexpected trends in performance, and collected time-resolved data to help us further investigate the underlying hydrodynamics responsible for these trends. In addition, we are currently using the time-resolved data from these experiments to build data-driven models of the dynamics, which can in turn be used to inform data-driven model predictive control of this device and address this objective in the future.

16 TIDAL AND WAVE POWER↗
NASA NTRS1979

Evaluation and analysis of SEASAT-A Scanning Multichannel Microwave Radiometer (SMMR) Antenna Pattern Correction (APC) algorithm

An evaluation of the versions of the SEASAT-A SMMR antenna pattern correction (APC) algorithm is presented. Two efforts are focused upon in the APC evaluation: the intercomparison of the interim, box, cross, and nominal APC modes; and the development of software to facilitate the creation of matched spacecraft and surface truth data sets which are located together in time and space. The problems discovered in earlier versions of the APC, now corrected, are discussed.

Kitzis, J. L.↗
NASA NTRS1981

1548C27 - An interesting new cometary nebula

The object 1548C27, a faint cometary nebula of classical form, discovered by an examination of early Near Infrared Photographic Sky Survey (NIPSS) data (1979) is presented. Direct imaging and polarimetric, photometric, and spectroscopic observations are reported. Early survey test photographs show that the object lies at R.A. 19h40m48s, Decl. +23 deg 17 arcmin 09 arc sec (1950) in the Vulpecula constellation in the immediate vicinity of the complex H II region and galactic cluster NGC 6820/6823. From the photographs, the nebula was estimated to be 15 m visual and of color class one. The object was observed spectroscopically in the region 5700-6800 A using an Image Dissector Scanner with a 1.8 m reflector, and the spectral scan, obtained on November 4, 1978, is presented. New information on cometary nebulae may further illuminate the evolutionary importance of the objects.

Craine, E. R.↗