Variable-Selection Heuristics in Local Search for SAT
One of the important components of a local search strategy for satisfiability testing is the variable selection heuristic, which determines the next variable to be flipped.
variable selection↗
SEARCH · Engineering Papers
Results for “variables”
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.
A Mission-Adaptive Variable Camber Flap Control System to Optimize High Lift and Cruise Lift-to-Drag Ratios of Future N+3 Transport Aircraft
Boeing and NASA are conducting a joint study program to design a wing flap system that will provide mission-adaptive lift and drag performance for future transport aircraft having light-weight, flexible wings. This Variable Camber Continuous Trailing Edge Flap (VCCTEF) system offers a lighter-weight lift control system having two performance objectives: (1) an efficient high lift capability for take-off and landing, and (2) reduction in cruise drag through control of the twist shape of the flexible wing. This control system during cruise will command varying flap settings along the span of the wing in order to establish an optimum wing twist for the current gross weight and cruise flight condition, and continue to change the wing twist as the aircraft changes gross weight and cruise conditions for each mission segment. Design weight of the flap control system is being minimized through use of light-weight shape memory alloy (SMA) actuation augmented with electric actuators. The VCCTEF program is developing better lift and drag performance of flexible wing transports with the further benefits of lighter-weight actuation and less drag using the variable camber shape of the flap.
Mission-Adaptive Wing↗
Application of Spectral Analysis Techniques in the Intercomparison of Aerosol Data: 1. an EOF Approach to the Spatial-Temporal Variability of Aerosol Optical Depth Using Multiple Remote Sensing Data Sets
Many remote sensing techniques and passive sensors have been developed to measure global aerosol properties. While instantaneous comparisons between pixel-level data often reveal quantitative differences, here we use Empirical Orthogonal Function (EOF) analysis, also known as Principal Component Analysis, to demonstrate that satellite-derived aerosol optical depth (AOD) data sets exhibit essentially the same spatial and temporal variability and are thus suitable for large-scale studies. Analysis results show that the first four EOF modes of AOD account for the bulk of the variance and agree well across the four data sets used in this study (i.e., Aqua MODIS, Terra MODIS, MISR, and SeaWiFS). Only SeaWiFS data over land have slightly different EOF patterns. Globally, the first two EOF modes show annual cycles and are mainly related to Sahara dust in the northern hemisphere and biomass burning in the southern hemisphere, respectively. After removing the mean seasonal cycle from the data, major aerosol sources, including biomass burning in South America and dust in West Africa, are revealed in the dominant modes due to the different interannual variability of aerosol emissions. The enhancement of biomass burning associated with El Niño over Indonesia and central South America is also captured with the EOF technique.
variability↗
The Fermi All-Sky Variability Analysis: A List of Flaring Gamma-Ray Sources and the Search for Transients in our Galaxy
In this paper, we present the Fermi All-sky Variability Analysis (FAVA), a tool to systematically study the variability of the gamma-ray sky measured by the Large Area Telescope on board the Fermi Gamma-ray Space Telescope.For each direction on the sky, FAVA compares the number of gamma-rays observed in a given time window to the number of gamma-rays expected for the average emission detected from that direction. This method is used in weekly time intervals to derive a list of 215 flaring gamma-ray sources. We proceed to discuss the 27 sources found at Galactic latitudes smaller than 10 and show that, despite their low latitudes, most of them are likely of extragalactic origin.
ANALYSIS↗
Attribution of Trends and Variability in Surface Ozone over the United States
Concentrations of tropospheric ozone, a greenhouse gas and air pollutant, are impacted by changes in precursor emissions as well meteorology and influx from the stratosphere. Observations show a decreasing trend in summertime surface ozone at rural stations in the eastern United States, while some western stations show increasing trends, particularly in springtime. We use the Global Modeling Initiative (GMI) global chemical transport model to investigate the roles of precursor emission changes, meteorological variability, and stratosphere-troposphere exchange (STE) in explaining observed trends in surface ozone from rural sites in the United States from 1991-2010. The model's interannual variability shows significant correlations with observations from many of the surface sites. We also compare the simulated ozone to ozonesonde data for several locations with sufficiently long records. We compare a simulation with time-dependent precursor emissions, including emission reductions over the United States and Europe and increases over Asia, to a simulation with fixed emissions to quantify the impact of changing emissions on the surface trends. The simulation with varying emissions reproduces much of the east-west difference in summertime ozone over the U.S., although it generally underestimates the negative trend in the East. In contrast, the fixed-emission simulation shows increasing ozone at both eastern and western sites. We will discuss possible causes of this behavior, including long-range transport and STE.
ozone↗
Surface Ozone Variability and Trends over the South African Highveld from 1990 to 2007
Surface ozone is a secondary air pollutant formed from reactions between nitrogen oxides (NOx = NO + NO2) and volatile organic compounds in the presence of sunlight. In this work we examine effects of the climate pattern known as the El Niño-Southern Oscillation (ENSO) and NOx variability on surface ozone from 1990 to 2007 over the South African Highveld, a heavily populated region in South Africa with numerous industrial facilities. Over summer and autumn (December-May) on the Highveld, El Niño, as signified by positive sea surface temperature (SST) anomalies over the central Pacific Ocean, is typically associated with drier and warmer than normal conditions favoring ozone formation. Conversely, La Niña, or negative SST anomalies over the central Pacific Ocean, is typically associated with cloudier and above normal rainfall conditions, hindering ozone production. We use a generalized regression model to identify any linear dependence that the Highveld ozone, measured at five air quality monitoring stations, may have on ENSO and NOx. Our results indicate that four out of the five stations exhibit a statistically significant sensitivity to ENSO at some point over the December-May period where El Niño amplifies ozone formation and La Niña reduces ozone formation. Three out of the five stations reveal statistically significant sensitivity to NOx variability, primarily in winter and spring. Accounting for ENSO and NOx effects throughout the study period of 18 years, two stations exhibit statistically significant negative ozone trends in spring, one station displays a statistically significant positive trend in August, and two stations show no statistically significant change in surface ozone.
NOx↗
Variable-Delay Polarization Modulators for Cryogenic Millimeter-Wave Applications
We describe the design, construction, and initial validation of the variable-delay polarization modulator (VPM) designed for the PIPER cosmic microwave background polarimeter. The VPM modulates between linear and circular polarization by introducing a variable phase delay between orthogonal linear polarizations. Each VPM has a diameter of 39 cm and is engineered to operate in a cryogenic environment (1.5 K). We describe the mechanical design and performance of the kinematic double-blade flexure and drive mechanism along with the construction of the high precision wire grid polarizers.
cryogenic environment↗
Trend Change Detection in NDVI Time Series: Effects of Inter-Annual Variability and Methodology
Changing trends in ecosystem productivity can be quantified using satellite observations of Normalized Difference Vegetation Index (NDVI). However, the estimation of trends from NDVI time series differs substantially depending on analyzed satellite dataset, the corresponding spatiotemporal resolution, and the applied statistical method. Here we compare the performance of a wide range of trend estimation methods and demonstrate that performance decreases with increasing inter-annual variability in the NDVI time series. Trend slope estimates based on annual aggregated time series or based on a seasonal-trend model show better performances than methods that remove the seasonal cycle of the time series. A breakpoint detection analysis reveals that an overestimation of breakpoints in NDVI trends can result in wrong or even opposite trend estimates. Based on our results, we give practical recommendations for the application of trend methods on long-term NDVI time series. Particularly, we apply and compare different methods on NDVI time series in Alaska, where both greening and browning trends have been previously observed. Here, the multi-method uncertainty of NDVI trends is quantified through the application of the different trend estimation methods. Our results indicate that greening NDVI trends in Alaska are more spatially and temporally prevalent than browning trends. We also show that detected breakpoints in NDVI trends tend to coincide with large fires. Overall, our analyses demonstrate that seasonal trend methods need to be improved against inter-annual variability to quantify changing trends in ecosystem productivity with higher accuracy.
Inter-Annual↗
Analysis of the Latitudinal Variability of Tropospheric Ozone in the Arctic Using the Large Number of Aircraft and Ozonesonde Observations in Early Summer 2008
The goals of the paper are to: (1) present tropospheric ozone (O3) climatologies in summer 2008 based on a large amount of measurements, during the International Polar Year when the Polar Study using Aircraft, Remote Sensing, Surface Measurements, and Models of Climate Chemistry, Aerosols, and Transport (POLARCAT) campaigns were conducted (2) investigate the processes that determine O3 concentrations in two different regions (Canada and Greenland) that were thoroughly studied using measurements from 3 aircraft and 7 ozonesonde stations. This paper provides an integrated analysis of these observations and the discussion of the latitudinal and vertical variability of tropospheric ozone north of 55oN during this period is performed using a regional model (WFR-Chem). Ozone, CO and potential vorticity (PV) distributions are extracted from the simulation at the measurement locations. The model is able to reproduce the O3 latitudinal and vertical variability but a negative O3 bias of 6-15 ppbv is found in the free troposphere over 4 km, especially over Canada. Ozone average concentrations are of the order of 65 ppbv at altitudes above 4 km both over Canada and Greenland, while they are less than 50 ppbv in the lower troposphere. The relative influence of stratosphere-troposphere exchange (STE) and of ozone production related to the local biomass burning (BB) emissions is discussed using differences between average values of O3, CO and PV for Southern and Northern Canada or Greenland and two vertical ranges in the troposphere: 0-4 km and 4-8 km. For Canada, the model CO distribution and the weak correlation ( 30) of O3 and PV suggests that stratosphere-troposphere exchange (STE) is not the major contribution to average tropospheric ozone at latitudes less than 70oN, due to the fact that local biomass burning (BB) emissions were significant during the 2008 summer period. Conversely over Greenland, significant STE is found according to the better O3 versus PV correlation ( 40) and the higher 75th PV percentile. A weak negative latitudinal summer ozone gradient -6 to -8 ppbv is found over Canada in the mid troposphere between 4 and 8 km. This is attributed to an efficient O3 photochemical production due to the BB emissions at latitudes less than 65oN, while STE contribution is more homogeneous in the latitude range 55oN to 70oN. A positive ozone latitudinal gradient of 12 ppbv is observed in the same altitude range over Greenland not because of an increasing latitudinal influence of STE, but because of different long range transport from multiple mid-latitude sources (North America, Europe and even Asia for latitudes higher than 77oN).
climatologies↗
Evidence that Horizontal Moisture Advection Regulates the Ubiquitous Amplification of Rainfall Variability over Tropical Oceans
The column moist static energy (MSE) budget equation approximates the processes associated with column moistening and drying in the tropics, and is therefore predictive of precipitation amplification and decay. We use ERA-Interim (ERA-I) and TRMM 3B42 data to investigate day-to-day convective variability and distinguish the roles of horizontal MSE (or moisture) advection versus vertical advection, sources, and sinks. Over tropical convergence zones, results suggest that horizontal moisture advection is a primary driver of day-to-day precipitation fluctuations; when drying via horizontal moisture advection is smaller (greater) than Chikira’s “column process,” precipitation tends to amplify (decay). In the absence of horizontal moisture advection, precipitation tends to increase spontaneously almost universally through a positive column process feedback. This bulk positive feedback is characterized by negative effective gross moist stability (GMS), which is maintained throughout the tropical convergence zones. How this positive feedback is achieved varies geographically, depending on the shape of vertical velocity (omega) profiles. In regions where omega profiles are top-heavy, the effective GMS is negative primarily owing to strong feedbacks between convection and diabatic MSE sources (radiative and surface fluxes). In these regions, vertical MSE advection stabilizes the atmosphere (positive vertical GMS). Where omega profiles are bottom-heavy, by contrast, a positive feedback is primarily driven by import of MSE through a shallow circulation (negative vertical GMS). The diabatic feedback and vertical GMS are in a seesaw balance, offsetting one another. Our results suggest that ubiquitous convective variability is amplified by the same mechanism as moisture-mode instability.
horizontal moisture advection↗
Uncertainties in the Geostationary Ocean Color Imager (GOCI) Remote Sensing Reflectance for Assessing Diurnal Variability of Biogeochemical Processes
Short-term (sub-diurnal) biological and biogeochemical processes cannot be fully captured by the current suite of polar-orbiting satellite ocean color sensors, as their temporal resolution is limited to potentially one clear image per day. Geostationary sensors, such as the Geostationary Ocean Color Imager (GOCI) from the Republic of Korea, allow the study of these short-term processes because their orbit permit the collection of multiple images throughout each day for any area within the sensor’s field of regard. Assessing the capability to detect sub-diurnal changes in in-water properties caused by physical and biogeochemical processes characteristic of open ocean and coastal ocean ecosystems, however, requires an understanding of the uncertainties introduced by the instrument and/or geophysical retrieval algorithms. This work presents a study of the uncertainties during the daytime period for an ocean region with characteristically low-productivity with the assumption that only small and undetectable changes occur in the in-water properties due to biogeochemical processes during the daytime period. The complete GOCI mission data were processed using NASA’s SeaDAS/l2gen package. The assumption of homogeneity of the study region was tested using three-day sequences and diurnal statistics. This assumption was found to hold based on the minimal diurnal and day-to-day variability in GOCI data products. Relative differences with respect to the midday value were calculated for each hourly observation of the day in order to investigate what time of the day the variability is greater. Also, the influence of the solar zenith angle in the retrieval of remote sensing reflectances and derived products was examined. Finally, we determined that the uncertainties in water-leaving “remote-sensing” reflectance (Rrs) for the 412, 443, 490, 555, 660 and 680 nm bands on GOCI are 8.05 × 10−4, 5.49 × 10−4, 4.48 × 10−4, 2.51 × 10−4, 8.83 × 10−5, and 1.36 × 10−4 sr−1, respectively, and 1.09 × 10−2 mg m−3 for the chlorophyll-a concentration (Chl-a), 2.09 × 10−3 m−1 for the absorption coefficient of chromophoric dissolved organic matter at 412 nm (ag (412)), and 3.7 mg m−3 for particulate organic carbon (POC). These Rrs values can be considered the threshold values for detectable changes of the in-water properties due to biological, physical or biogeochemical processes from GOCI.
Geostationary Ocean Color Imager (GOCI)↗
Essential Water Variables (EWVs) for Water Cycle Research & Water Sustainability Applications
The Group on Earth Observations System of Systems (GEOSS) Water Strategy Report (WSR), From Observations to Decisions (2014), identifies several key water variables as Essential Water Variables (EWVs). This was based on an earlier (2010) meta-survey of water-related observational needs for GEO Societal Benefit Areas (SBAs). EWVs have also been surveyed by GEO Global Water Sustainability (GEOGloWS) for operational relevance. This paper summarizes EWVs required by key end-user research and applications sectors. As a follow up to the WSR, we highlight the relevance of EWVs to the indicator-monitoring objectives of the UN Sustainable Development Goals (SDGs). We also identify those that are supported by Remote Sensing and/or In situ observing platforms. The GEO Virtual Symposium is invited to comment on, endorse, and/or recommend additional EWVs that should be considered for adoption by GEOGloWS and GEO.
water variables↗
A Novel Atmospheric Correction Algorithm to Exploit the Diurnal Variability in Hypertemporal Geostationary Observations
This study developed a new atmospheric correction algorithm, GeoNEX-AC, that is independent from the traditional use of spectral band ratios but dedicated to exploiting information from the diurnal variability in the hypertemporal geostationary observations. The algorithm starts by evaluating smooth segments of the diurnal time series of the top-of-atmosphere (TOA) reflectance to identify clear-sky and snow-free observations. It then attempts to retrieve the Ross-Thick–Li-Sparse (RTLS) surface bi-directional reflectance distribution function (BRDF) parameters and the daily mean atmospheric optical depth (AOD) with an atmospheric radiative transfer model (RTM) to optimally simulate the observed diurnal variability in the clear-sky TOA reflectance. Once the initial RTLS parameters are retrieved after the algorithm’s burn-in period, they serve as the prior information to estimate the AOD levels for the following days and update the surface BRDF information with the new clear-sky observations. This process is iterated through the full time span of the observations, skipping only totally cloudy days or when surface snow is detected. We tested the algorithm over various Aerosol Robotic Network (AERONET) sites and the retrieved results well agree with the ground-based measurements. This study demonstrates that the high-frequency diurnal geostationary observations contain unique information that can help to address the atmospheric correction problem from new directions.
atmospheric correction↗
Evaluating Uncertainty and Modes of Variability for Antarctic Atmospheric Rivers
Antarctic atmospheric rivers (ARs) are driven by their synoptic environments and lead to profound and varying impacts along the coastlines and over the continent. The definition and detection of ARs over Antarctica accounts for large uncertainty in AR metrics, and consequently, impacts quantification. We find that Antarctic-specific detection tools consistently capture the AR footprint inland over ice sheets, whereas most global detection tools do not. Large-scale synoptic environments and associated ARs, however, are broadly consistent across detection tools. Using data from the Atmospheric River Tracking Method Intercomparison Project and global reanalyses, we quantify the uncertainty in Antarctic AR metrics and evaluate large-scale environments in the context of decadal and interannual modes of variability. The Antarctic western hemisphere has stronger connections to both decadal and interannual modes of variability compared to East Antarctica, and the Indian Ocean Dipole’s influence on Antarctic ARs is stronger while in phase with El Nino Southern Oscillation.
Antarctic↗
Kinetically Tunable, Active Auxetic, and Variable Recruitment Active Textiles from Hierarchical Assemblies
Multifunctional textiles with programmable, multi-axial, distributed, and scalable actuation are highly desirable and presently unrealized. 1D torque-unbalanced active yarns within 2D textile structures are exploited to produce soft and scalable active textiles that exhibit tunable displacements, forces, stiffnesses, and kinematic deformations. Through a textile hierarchy spanning active material composition, yarn construction, textile geometry, and system architecture, these active textiles accomplish kinetic tunability, variable recruitment behaviors, and auxetic effects without mechanical contact, called active auxetic effects. New modes of pre-programmed multi-axial performance are enabled by geometrically manipulating—specifically pre-stressing and constraining—active filaments in torsion and leveraging their structural elastic instability within a textile geometry. The new kinematic motion afforded by torque-unbalanced active yarns enhances the performance of active textiles, which accomplish tensile strokes over 40%, generated blocked forces up to 308 N m−1, and specific work over 0.4. kJ kg−1. Advances in active textiles are demonstrated through multifunctional 3D applications, including a variable constriction pump that exhibits sequential actuation, a wearable that conforms multi-axially around the body, and a soft exoskeleton that performs assistive motions and on-body anchoring simultaneously. By harnessing the capabilities of active materials within a textile hierarchy, advances in the potentiality of multifunctional textiles are presented.
Active auxetic effects↗
Variable Pressure - Scanning Electron Microscopy (VP-SEM)
Variable Pressure (or Environmental) Scanning Electron Microscopy (VP-SEM) combined with Energy Dispersive X-ray Spectroscopy (EDS) is one of the most powerful methods for characterizing the sub-micron topography and chemical composition of uncoated samples. Terrestrially, VP-SEM is extensively used to non-destructively study geologic and manufactured materials with high spatial resolution (tens of nanometers) and large depth-of-field. An SEM offers a geologist a first survey of microscopic mineral phases via secondary electron imaging (SEI), which provides a topographic look at a sample, as well as backscattered electron (BEI) imaging, which contrasts the phases present based on their geochemistry (atomic number). A VP-SEM utilizes a gas in the sample chamber as a charge dissipation and signal amplification method, allowing analysis of a sample without preparation in the form of a conductive coating. A miniaturized VP-SEM operating in-situ on a lander or rover would be able to use the CO2-rich Martian atmosphere (e.g., Nier et al., 1976; Williams 2016) as an imaging medium for this purpose. Adaptation of a VP-SEM for in-situ Mars surface studies will provide a new imaging capability (via SEI) that is at least an order of magnitude higher resolution than the Mars Hand Lens Imager (MAHLI) on the Mars Science Laboratory (Williams et al., 2015), and equal to or better than the achieved resolution of the Atomic Force Microscope on the Phoenix Mars lander (Pike et al., 2011). In addition, the MVP-SEM is capable of BSI and simultaneous chemical analysis of the imaged region. In this sense, the MVP-SEM can be regarded as an instrument suite that will provide a new set of information not achievable by any other instrument. The Miniaturized Variable Pressure Scanning Electron Microscope (MVP-SEM) was designed, built, and benchtop tested by a team at NASA’s Marshall Space Flight Center and Jet Propulsion Laboratory (JPL), Jacobs Space Exploration Group, Applied Physics Technologies, Inc. (AP-Tech), and Creare LLC, working with a team of technical and science collaborators. Benchtop testing was successful, proving concept feasibility. To date, the MVP-SEM has achieved an imaging resolution of <100 nm in the lab, and with continued optimization, even better performance (~50 nm resolution) is possible. Use in-situ on the lunar or other planetary surfaces would require some redesign to optimize instrument performance, but such an instrument would be equally useful.
Variable Pressure Scanning Electron Microscopy↗
Miniature Variable Pressure - Scanning Electron Microscopy (MVP-SEM)
Variable Pressure (or Environmental) Scanning Electron Microscopy (VP-SEM) combined with Energy Dispersive X-ray Spectroscopy (EDS) is one of the most powerful methods for characterizing the sub-micron topography and chemical composition of uncoated samples. Terrestrially, VP-SEM is extensively used to non-destructively study geologic and manufactured materials with high spatial resolution (tens of nanometers) and large depth-of-field. An SEM offers a geologist a first survey of microscopic mineral phases via secondary electron imaging (SEI), which provides a topographic look at a sample, as well as backscattered electron (BEI) imaging, which contrasts the phases present based on their geochemistry (atomic number). A VP-SEM utilizes a gas in the sample chamber as a charge dissipation and signal amplification method, allowing analysis of a sample without preparation in the form of a conductive coating. A miniaturized VP-SEM operating in-situ on a lander or rover would be able to use the CO2-rich Martian atmosphere (e.g., Nier et al., 1976; Williams 2016) as an imaging medium for this purpose. Adaptation of a VP-SEM for in-situ Mars surface studies will provide a new imaging capability (via SEI) that is at least an order of magnitude higher resolution than the Mars Hand Lens Imager (MAHLI) on the Mars Science Laboratory (Williams et al., 2015), and equal to or better than the achieved resolution of the Atomic Force Microscope on the Phoenix Mars lander (Pike et al., 2011). In addition, the MVP-SEM is capable of BSI and simultaneous chemical analysis of the imaged region. In this sense, the MVP-SEM can be regarded as an instrument suite that will provide a new set of information not achievable by any other instrument. The Miniaturized Variable Pressure Scanning Electron Microscope (MVP-SEM) was designed, built, and benchtop tested by a team at NASA’s Marshall Space Flight Center and Jet Propulsion Laboratory (JPL), Jacobs Space Exploration Group, Applied Physics Technologies, Inc. (AP-Tech), and Creare LLC, working with a team of technical and science collaborators. Benchtop testing was successful, proving concept feasibility. To date, the MVP-SEM has achieved an imaging resolution of <100 nm in the lab, and with continued optimization, even better performance (~50 nm resolution) is possible. Use in-situ on the lunar or other planetary surfaces would require some redesign to optimize instrument performance, but such an instrument would be equally useful.
Variable Pressure Scanning Electron Microscopy↗
Sub-Seasonal Variability of the Asian Summer Monsoon Transport of CO and Aerosols to the UTLS and Implications for Global Atmospheric Composition
The upper troposphere/ lower stratosphere (UTLS) is a climate sensitive region. The Asian summer monsoon (ASM) is a major component in the climate system. It transports aerosols and trace gases from the most polluted regions in Asia to UTLS where they spread out to the global atmosphere. Although ASM is a seasonal phenomenon with strongest global influences usually seen in summer, it is highly dynamic and connected to other weather and climate systems, with significant spatial and temporal variability ranging from sub-seasonal weather scale to multi-year climate scale. The interplay of multi-scale dynamics inevitably determines the variability of the transport pathways and atmospheric composition in the UTLS.
sub-seasonal variability↗