Search NASA⌕ Search

SEARCH · Search NASA

Results for “Constraining”

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 793 records · Page 44

Constraining Oxygen and Sulfur Fugacity in Venus Weathering Experiments in the Glenn Extreme Environment Rig

Experimental efforts to understand chemical weathering of Venus surface rocks and minerals have been undertaken using a range of methods and conditions. A challenge with many of these experiments is measuring and maintaining the gas composition at the desired values because of the lack of instruments and sensors that can monitor gas compositions within vessels at Venus conditions. Thus, the oxygen fugacity, f O2 , and sulfur fugacity, f S2 , for Venus experiments are often not well known or constrained. Oxygen and sulfur fugacities dictate the stability of many minerals such as iron oxides and sulfides, and thus play a crucial role in weathering reactions.

A. R. Santos↗

Mapping Albedo Variations to Constrain the History of the Didymos System From Dart and Liciacube Observations

The Double Asteroid Redirection Test (DART) relied on its high-resolution, broad-band camera DRACO to successfully execute its impact experiment on September 26, 2022. While targeting Dimorphos, the ~150 m diameter moon of the Didymos binary asteroid system, DART also imaged the ~760 m diameter primary. LICIACube, a ride-along CubeSat released from DART prior to impact, carried two cameras, LEIA and LUKE, pan and wide-angle RGB color cameras, respectively, to witness the impact and also image both bodies. In addition to critical data that enabled and observed the impact, these cameras provided the highest spatial resolution data of any binary asteroid system and the first for near-Earth asteroids. Mapping and comparing albedo units on both the primary and secondary and placing them in the context of other S-type asteroids will help constrain the physical relationships and prior interactions between the two bodies and thus reveal the formational and evolutionary history of the Didymos system.

J. M. Sunshine↗

Constraining the Physical Properties of Stellar Coronal Mass Ejections with Coronal Dimming: Application to Far-ultraviolet Data of є Eridani

Coronal mass ejections (CMEs) are a prominent contributor to solar system space weather and might have impacted the Sun's early angular momentum evolution. A signal diagnostic of CMEs on the Sun is coronal dimming: a drop in coronal emission, tied to the mass of the CME, that is the direct result of removing emitting plasma from the corona. We present the results of a coronal dimming analysis of Fe XII 1349 Å and Fe XXI 1354 Å emission from ϵ Eridani ( ϵ Eri), a young K2 dwarf, with archival far-ultraviolet observations by the Hubble Space Telescope's Cosmic Origins Spectrograph. Following a flare in 2015 February, ϵ Eri's Fe XXI emission declined by 81 ± 5%. Although enticing, a scant 3.8 minutes of preflare observations allows for the possibility that the Fe XXI decline was the decay of an earlier, unseen flare. Dimming nondetections following each of three prominent flares constrain the possible mass of ejected Fe XII-emitting (1 MK) plasma to less than a few × 10 15 g. This implies that CMEs ejecting this much or more 1 MK plasma occur less than a few times per day on ϵ Eri. On the Sun, 10 15 g CMEs occur once every few days. For Eri, the mass-loss rate due to CME-ejected 1 MK plasma could be < 0.6 Ṁ Ꙩ well below the star's estimated 30 Ṁ Ꙩ mass-loss rate (wind + CMEs). The order-of-magnitude formalism we developed for these mass estimates can be broadly applied to coronal dimming observations of any star.

Stellar coronal mass ejections↗

Mapping Aerosol Lidar Ratios Over Ocean for CALIPSO Using Modis AOD-Constrained Retrievals and A Global Aerosol Model

The CALIPSO aerosol algorithms currently assign one lidar ratio value for each of the seven tropospheric aerosol types. In a future data products release, the CALIPSO project aims to improve these algorithms by developing regional and seasonal lidar ratio climatologies. In this study, aerosol lidar ratios are inferred through Cloud-Aerosol Lidar with Orthogonal Polarization (CALIOP) backscatter profiles constrained by collocated aerosol optical depth from Aqua Moderate Resolution Imaging Spectroradiometer (MODIS) datasets. The analysis is subsampled for only those profiles that are cloud-free and contain one aerosol type (based on CALIOP feature classification). In addition, the CALIOP profiles are collocated with aerosol volume fractions simulated by the Goddard Chemistry Aerosol Radiation and Transport (GOCART) model. In this talk, the twelve-year (2006-2017) mean spatial distributions of inferred aerosol lidar ratios for CALIOP-classified marine aerosols and the corresponding modeled sea salt volume fractions (SSVF) will be shown. Model-assisted climatological lidar ratio maps on a seasonal scale will also be presented, developed from the empirical relationship found between the modeled SSVF and lidar ratios. A comparison with past studies will be provided as well as results of a sensitivity study regarding the variability of retrieved lidar ratios as a function of horizontal averaging resolution. While the majority of this talk will focus on lidar ratios for CALIOP-classified marine aerosols, preliminary results will be shown for other aerosol types over ocean, such as dust and elevated smoke.

Travis Toth↗

Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software

Developing critical software requires adherence to rigorous software development practices, such as formal requirement specification and verification. Despite their importance, such practices are often considered as complex and challenging tasks that require a strong formal methods background. In this paper, we present our work on simplifying the formal requirements specification experience for resource-constrained mission critical software through the use of structured natural language. To this end, we connect NASA’s FRET, a formal requirement elicitation and authoring tool with the Shelley model checking framework for MicroPython code. We report our experience on using these tools to specify requirements and analyze code from the NASA Ames PHALANX exploration concept.

PHALANX exploration concept↗

Data-constrained Solar Modeling with GX Simulator

To facilitate the study of solarflares and active regions, we have created a modeling framework, the freelydistributed GX Simulator IDL package, that combines 3D magnetic and plasma structures with thermal andnonthermal models of the chromosphere, transition region, and corona. Its object-based modular architecture,which runs on Windows, Mac, and Unix/Linux platforms, offers the ability to either import 3D density andtemperature distribution models, or to assign numerically defined coronal or chromospheric temperatures anddensities, or their distributions, to each individual voxel. GX Simulator can apply parametric heating modelsinvolving average properties of the magneticfield lines crossing a given voxel, as well as compute and investigatethe spatial and spectral properties of radio,(sub)millimeter, EUV, and X-ray emissions calculated from the model,and quantitatively compare them with observations. The package includes a fully automatic model productionpipeline that, based on minimal users input, downloads the required SDO/HMI vector magneticfield data,performs potential or nonlinear force-freefield extrapolations, populates the magneticfield skeleton withparameterized heated plasma coronal models that assume either steady-state or impulsive plasma heating, andgenerates non-LTE density and temperature distribution models of the chromosphere that are constrained byphotospheric measurements. The standardized models produced by this pipeline may be further customizedthrough specialized IDL scripts, or a set of interactive tools provided by the graphical user interface. Here, wedescribe the GX Simulator framework and its applications.

Solar active regions↗

An Inverse Chance-constrained Approach to the Calibration of Robust Models

This paper proposes a strategy to calibrate computational models according to uncertain input-output data. To this end, uncertainty in the data is first quantified by creating adversarial data sets. Samples drawn from such sets are then mapped from the input-output space to the parameter space using an inverse mapping. This mapping minimizes the collective output spread of an ensemble of point predictions while satisfying a set of individual data-matching requirements. The distribution of the resulting parameter points, which often exhibits strong parameter dependencies, is then modeled using sliced-normals. The chance-constrained formulation used to learn this distribution enables the analyst to trade-off a greater likelihood for most of the data against a lower likelihood for some of the data thereby relaxing the conservatism of the calibrated model. This formulation not only neglects the worst-performing quantiles of each adversarial distribution but also eliminates the potentially serious effects that outliers might have on the resulting model. This calibration approach not only has a considerably lower computational cost than the standard forward approach but it also allows for the identification of suitable distribution classes, which in turn yield better calibrated models.

Calibration↗

Constraining the Structure under Lunar Impact Basins with Gravity

The lunar gravity field is used to estimate and constrain the depth of mass anomalies under 19 major lunar impact basins. We use radial gravitational spectra, consisting of accelerations computed either per spherical harmonic degree or cumulatively, at surface locations to obtain the distribution of the gravity signal with spherical harmonic degree and, by implication, to the likely depth below the surface. The results provide estimates for the maximum likely depths of the primary component to the mass anomalies under 19 basins. We find that the maximum depths of the primary source of mascon gravity on the lunar nearside are deeper than the depths for those on the farside when South Pole–Aitken (SPA) is excluded. All basin mass anomalies on the lunar nearside are in the mantle. The maximum depth of the primary source of the mass anomalies is 200 km beneath the surface. The upper 20 km under all basins is largely devoid of anomalies, reflecting predominantly mixing and relaxation associated with impact melt combined with ejecta fallback, as well as homogenization associated with post-basin formation impact bombardment. Except for SPA, all basin anomalies merge with the deep interior at ∼150 km or below, indicating the depth penetration of disruption of the density structure of the lunar interior associated with impact bombardment.

Lunar gravitational field↗

Constrained Field Construction Using Bernstein Polynomial Derived Operators

This method recasts the mass-conservation equation as a Sylvester equation employing high-order derivative operators derived from modified Bernstein polynomial expansions. Given prescribed velocity fields, the algorithm yields a constrained, least-squared solution for the associated density field. To demonstrate the practical utility of this methodology, it is applied to a computationally-derived two-dimensional isolator dataset. This reconstruction method is envisioned to be used in conjunction with diagnostic techniques to aid in the quantification of isolator flow fields, since obtaining highly characterized datasets within this engine component is exceedingly difficult.

Isolator↗

Airborne HSRL Assessment of CALIOP Aerosol Extinction Retrievals Constrained by Column AOD

Current operational CALIOP aerosol extinction profile retrievals usually rely on accurately specifying the relationship between aerosol extinction and backscattering (i.e. lidar ratio). Uncertainties in the assigned lidar ratios are typically the largest source of systematic error (~30-50%) in the CALIOP retrievals of aerosol extinction, backscatter, and aerosol optical depth. Alternatively, column aerosol optical depth (AOD) can be used to solve the lidar equation and obtain column-equivalent lidar ratios and retrieve aerosol extinction profiles from the CALIOP attenuated backscatter profiles. These derived lidar ratios correspond to the aerosols in the altitude range from 0-7 km. We derive column-equivalent aerosol lidar ratios and aerosol extinction profiles from CALIOP attenuated backscatter profiles constrained using co-located column AODs provided by several instruments/techniques: Synergized Optical Depth of Aerosols (SODA), Ocean-Derived Column Optical Depths (ODCOD), MODIS (dark target), MODIS (Multi-Angle Implementation of Atmospheric Correction-MAIAC), and PARASOL (Generalized Retrieval of Aerosol and Surface Properties-GRASP). These various retrievals of AOD and the column-average aerosol lidar ratios and aerosol extinction profiles derived from CALIOP using these AOD constraints are evaluated using the extensive record of coincident and co-located airborne HSRL measurements of AOD, aerosol lidar ratio, and aerosol extinction profiles acquired during more than 140 HSRL underflights of CALIPSO since 2006. The HSRL technique allows for the independent measurement of extinction and backscatter without the need for external constraints or assumptions regarding the lidar ratios. Initial comparisons with these coincident HSRL aerosol extinction profiles show that the CALIOP aerosol extinction profiles retrieved using these various AOD constraints are generally in better agreement with the HSRL measurements than aerosol extinction profiles from the operational techniques. The quality of agreement depends on the accuracy and magnitude of the AOD constraint. We present these comparisons of AOD, column aerosol lidar ratio, and aerosol extinction profiles for each of the AOD constraints described above.

lidar↗

Chance-Constrained System Identification of Nonlinear Discrete Systems with Safety and Stability Guarantees

This paper presents a discrete-time nonlinear system identification method while satisfying the stability and safety properties of the system with high probability. An Extreme Learning Machine (ELM) is used with a Gaussian assumption on the function reconstruction error. A quadratically constrained quadratic program (QCQP) is developed with probabilistic safety and stability constraints that are only required to be satisfied at sampled points inside the invariant region. The proposed method is validated using two simulation examples: a two degrees-of-freedom (DoF) robot manipulator with constraints on joint angles whose trajectories are guaranteed to remain inside a safe set and on motion trajectories data of a hand-drawn shape.

Iman Salehi↗

Creating Regional and Seasonal Climatologies of Marine and Dusty Marine Aerosol Lidar Ratios using MODIS AOD Constrained Retrievals and GOCART Model Simulations

The CALIPSO aerosol algorithms currently assign one lidar ratio (LR) value globally for each of the seven tropospheric aerosol types. In this study, MODIS total column aerosol optical depths (AODs) are used to constrain collocated CALIOP backscatter profiles in a Fernald inversion that infers aerosol LRs for CALIOP-classified marine and dusty marine aerosols. The GOCART aerosol model is leveraged to estimate the sea salt volume fractions (SSVFs) that are collocated with the CALIOP+MODIS LR retrievals. An inverse empirical relationship is found between the SSVFs and LRs (i.e., smaller SSVFs and larger LRs near coastlines, but the opposite in the remote oceans). This SSVF/LR relationship is applied to create regional and seasonal hybrid (i.e., retrieval & model-assisted) climatological LR maps so as to develop more robust LR selections for marine and dusty marine aerosols in the CALIPSO algorithms. These analyses also provide critical LR information for the next generation of spaceborne elastic backscatter lidars.

Travis D. Toth↗

Creating Regional and Seasonal Climatologies of Marine and Dusty Marine Aerosol Lidar Ratios using MODIS AOD Constrained Retrievals and GOCART Model Simulations

The CALIPSO aerosol algorithms currently assign one lidar ratio (LR) value globally for each of the seven tropospheric aerosol types. In this study, MODIS total column aerosol optical depths (AODs) are used to constrain collocated CALIOP backscatter profiles in a Fernald inversion that infers aerosol LRs for CALIOP-classified marine and dusty marine aerosols. The GOCART aerosol model is leveraged to estimate the sea salt volume fractions (SSVFs) that are collocated with the CALIOP+MODIS LR retrievals. An inverse empirical relationship is found between the SSVFs and LRs (i.e., smaller SSVFs and larger LRs near coastlines, but the opposite in the remote oceans). This SSVF/LR relationship is applied to create regional and seasonal hybrid (i.e., retrieval & model-assisted) climatological LR maps so as to develop more robust LR selections for marine and dusty marine aerosols in the CALIPSO algorithms. These analyses also provide critical LR information for the next generation of spaceborne elastic backscatter lidars.

Travis D. Toth↗

SPIKE-Dx : A Low-Power High-Throughput Fault Diagnostics Tool using Spiking Neural Networks for Constrained Systems

Diagnostic systems are important for many aerospace systems, which are severely limited in available power, like cubesats or UAVs. Therefore, traditional diagnostics systems cannot be used due to their substantial footprint and constraints. In this paper, we present our very low power diagnostic tool SPIKE-DX to monitor critical systems with constrained computational and energy resources. This is made possible through spiking neural networks (SNNs), which are executable within optimized simulation environments and further implemented on on cutting-edge neuromorphic hardware. Based upon FMEA (Failure Mode and Effect Analysis) framework, Diagnostic Bayesian Networks (DBNs) can be constructed that provide powerful means for diagnostic reasoning. In this paper, we describe such DBNs and a method to automatically translate the DBN into highly structured networks of spiking neurons for execution in SPIKE-DX.

Spiking Neural Networks↗

SMA for Highly Constrained Projects

This is a collection of presentation elements into a consolidated presentation on overall safety and mission assurance practices for highly constrained projects, such as Class D, 7120.8, or Do No Harm.

safety and mission assurance↗

Optimal Coordinated EV Charging with Reactive Power Support in Constrained Distribution Grids

Electric vehicle (EV) charging/discharging can take place in any P-Q quadrants, which means EVs could support reactive power to the grid while charging the battery. In controlled charging schemes, distribution system operator (DSO) coordinates with the charging of EV fleets to ensure grid’s operating constraints are not violated. In fact, this refers to DSO setting upper bounds on power limits for EV charging. In this work, we demonstrate that if EVs inject reactive power into the grid while charging, DSO could issue higher upper bounds on the active power limits for the EVs for the same set of grid constraints. We demonstrate the concept in an 33-node test feeder with 1,500 EVs. Case studies show that in constrained distribution grids in coordinated charging, average costs of EV charging could be reduced if the charging takes place in the fourth P-Q quadrant compared to charging with unity power factor.

24 POWER TRANSMISSION AND DISTRIBUTION↗

Projection-Based Constrained Fusion Performance with Link Loss and Measurement Bias

Sensor networks have been deployed in many real-world applications for tracking and monitoring of dynamic targets over large geographical areas. We consider a scenario where a number of ground and/or airborne sensors are used to jointly track a ground target with certain constraints on its motion dynamics, such as those defined by roadways. The state estimates from these sensors are sent over a lossy communications network to a remote fusion center for fusion. We propose both centralized and distributed projection-based methods to incorporate known constraints into the estimation and fusion process. In addition to presenting simple closed-form projected fusion solutions, we also show how to utilize knowledge of the constraints into the fusion process by two distance-based weighting methods. Wealso explore the effect of link loss and sensor measurement bias on tracking accuracy performance of constrained fusion using illustrative tracking examples. Performance evaluation results demonstrate the potential of adopting weighted average fusers in improving the overall tracking performance in the presenceof link loss and measurement bias.

Liu, Qiang↗