Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “model discovery”

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 163 records · Page 9

The discovery of a new infrared emission feature at 1905 wavenumbers (5.25 microns) in the spectrum of BD + 30 deg 3639 and its relation to the polycyclic aromatic hydrocarbon model

A new IR emission feature at 1905/cm (5.25 microns) has been discovered in the spectrum of BD + 30 deg 3639. This feature joins the family of well-known IR emission features at 3040, 2940, 1750, 1610, '1310', 1160, and 890/cm. The origin of this new feature is discussed and it is assigned to an overtone or combination band involving C-H bending modes of polycyclic aromatic hydrocarbons (PAHs). Laboratory work suggests that spectral studies of the 2000-1650/cm region may be very useful in elucidating the molecular structure of interstellar PAHs. The new feature, in conjunction with other recently discovered spectral structures, suggests that the narrow IR emission features originate in PAH molecules rather than large carbon grains.

Allamandola, L. J.↗

The discovery of a new infrared emission feature at 1905 wavenumbers (5.25 microns) in the spectrum of BD +30 degrees 3639 and its relation to the polycyclic aromatic hydrocarbon model

We have discovered a new IR emission feature at 1905 cm-1 (5.25 microns) in the spectrum of BD +30 degrees 3639. This feature joins the family of well-known IR emission features at 3040, 2940, 1750, 1610, "1310," 1160, and 890 cm-1 (3.3, 3.4, 5.7, 6.2, "7.7," 8.6, and 11.2 microns). The origin of this new feature is discussed and it is assigned to an overtone or combination band involving C-H bending modes of polycyclic aromatic hydrocarbons (PAHs). Laboratory work suggests that spectral studies of the 2000-1650 cm-1 (5.0-6.1 microns) region may be very useful in elucidating the molecular structure of interstellar PAHs. The new feature, in conjunction with other recently discovered spectral structure, suggests that the narrow IR emission features originate in PAH molecules rather than large carbon grains. Larger species are likely to be the source of the broad underlying "plateaus" seen in many of the spectra.

NASA Discipline Exobiology↗

Composition of Meridiani Hematite-rich Spherules: A Mass-Balance Mixing-Model Approach

One of the great surprises of the Mars Exploration Rovers (MER) mission is the discovery at Meridiani Planum that the surface hematite signature observed from orbit is attributable largely to a surface enrichment of hematite-rich spherules, thought to be concretions, that have weathered out of rocks similar to the underlying sulfate-rich rock formation [1]. A strong hematite signature has been observed by the Mini-TES [2] and by in-situ measurements of spherule-rich targets by the Mossbauer spectrometer (MB) [3] and the alpha-particle X-ray spectrometer (APXS) [4]. The Mini-TES derived spectrum of spherule-rich targets on the plains is consistent with nearly pure coarse-grained hematite, with perhaps as little as 5-10 areal % of other components [2]. The occurrence and abundance of the spherules as the bearer of the widespread hematite signature observed by MGS TES over much of Meridiani Planum is significant for global remote sensing, and their occurrence as concretions in the outcrop lithology is significant for the diagenetic history and role of water in the formation of the sedimentary rock formation [5].

jOLLIFF, b. l.↗

Autonomous Ocean World Exploration: Advancement of a Virtual Testbed

The search for life (extinct or extant) and potentially habitable bodies in our solar system and beyond is one of the 12 priority science questions outlined in the National Acadamies’ 2022 decadal survey [5]. Extraterrestrial destinations containing liquid water present an opportunity to search for life as we know it, and in recent years an increasing number of such locations have been discovered within our solar system. Several Jovian moons—Europa, Ganymede, and Callisto [10]—and the Saturnian moons Enceladus [8] and Titan [9] are known or suspected to harbor massive subsurface oceans. Of these "ocean worlds", Europa is the focus of at least one planned NASA orbiter mission, Europa Clipper [4], and an early lander mission concept, the Europa Lander [2, 3]. Whereas most robotic missions to the Moon and Mars (e.g. orbiters, rovers, landers) to date have had ground controllers on Earth tightly involved in mission operations, missions to more distant worlds will require a high degree of onboard autonomy due to long communication lags and blackouts, harsh environments (radiation, cold), and more limited battery and hardware life. The past decade has seen great advances in both AI technologies and computing scalability and performance that offer promising solutions for spacecraft autonomy and motivate the software system and research programs described in this paper. The Ocean Worlds Autonomy Testbed for Exploration, Research, and Simulation (OceanWATERS) [1], which has been in development at the NASA Ames Research Center since 2018, is a virtual environment for testing lander autonomy solutions. It is built on the Robot Operating System (ROS), runs on consumer-grade Linux workstations, and was released as open source in 2020. OceanWATERS provides a physical and visual simulation of a prototypical lander in a Europa-like environment (Figure 1). The lander was modeled after requirements and specifications made in JPL’s Europa Lander Study of 2016 [3]. Simulated lander systems include stereo cameras and spotlights mounted on an antenna mast that pans and tilts, a 6 degrees of freedom (DoF) robotic arm with a force-torque sensor and two interchangeable end effectors, and a battery pack power system. The environment consists of multiple terrain models including a highly detailed model sourced from the FROST dataset [11], simulation of surrounding planetary bodies based on an ephemeris model, and lighting from the sun with associated surface illumination, reflectance, and shadows. Operations supported by OceanWATERS include panoramic and directed imaging of the environment and lander workspace, Cartesian and joint-level arm commanding, grinding of the terrain surface (e.g. digging a trench), and scooping of ground material (Figure 2) which can be discarded or collected as science samples in a receptacle that can be emptied (science operations themselves are not simulated). These operations are realized as ROS Actions and are complimented by a wide selection of telemetry that is continually produced by each lander subsystem. The power system model is driven by the open-source Generic Software Architecture for Prognostics (GSAP) [11] that predicts the battery’s remaining useful life and other characteristics. As a testbed for high-level autonomy, OceanWATERS provides an execution framework based on PLEXIL [12], an open-source plan specification language and execution engine developed largely at Ames. NASA's initial development of OceanWATERS, as well the Ocean Worlds Lander Autonomy Testbed (OWLAT) [6], a complimentary physical testbed developed at JPL, was the first step in a plan for realizing candidate onboard autonomy solutions for such planetary landers. In 2020 NASA solicited applications for its Autonomous Robotics Research for Ocean Worlds (ARROW) program, and in 2021 the similar Concepts for Ocean worlds Life Detection Technology (COLDTech) program. Collectively six research teams, based in universities and companies across the United States, were awarded grants to develop and demonstrate autonomy solutions on OceanWATERS and OWLAT. These 1–2-year projects have now finished or are nearing completion, and a wide variety of autonomy challenges in ocean world surface missions were addressed. Prototyped and demonstrated solutions have included autonomous discovery, response and adaptation to system faults and unexpected environmental events, world model synthesis through perception, plan synthesis using learned models, methods to optimize sample target selection and prioritize science data transmission, extension of PLEXIL for stochastic decision-making, and an integration of a model of JPL’s mission-ready COLDArm [7]. Technologies used in these projects include many forms of machine learning, causal reasoning, automated planning, Markov decision processes, formal methods, and other advanced techniques. A more detailed summary of the ARROW and COLDTech projects is given herein. OceanWATERS has had significant enhancements since its open-source release in 2020. Many of its new features were driven or shaped by feedback from the ARROW and COLDTech teams and requirements of their projects. In support of enabling autonomous adaptation to spacecraft faults (a specific capability solicited by both programs), a fault injection and detection framework was developed that supports a wide and growing range of fault types such as locked joints, image loss, and battery failures. The power system model was completed and integrated into the simulator, starting as a single-cell battery model and later upgraded to a multi-cell model with associated faults such as cell disconnection. Arm/terrain interaction was improved by adding a force-torque sensor and associated faults, and an analytic dig force model based on the Balovnev bucket force equations. Environment fidelity was increased by modeling terrain deformation resulting from digging and scooping; visual improvements were made in textures, lighting, and shadows. To facilitate interoperation with OWLAT, a unified command and telemetry interface between the testbeds was developed at the ROS level, along with a PLEXIL interface. The number of lander operations was greatly expanded (e.g. with Cartesian-based arm and antenna movement), and a framework was designed for users to build their own lander actions. A GUI for PLEXIL plan selection was created (Figure 3), and an expansive set of plans were added, such as those that illustrate patterns for fault handling. This paper provides a self-contained high-level description of OceanWATERS, focusing on more detailed coverage of the aforementioned enhancements. It provides a high-level summary of the projects undertaken by participants in the ARROW and COLDTech programs and how these efforts have helped shape OceanWATERS. Finally, potential future work and directions for the testbed are listed, as likely informed by the recent planetary science decadal survey [5].

K Michael Dalal↗

A long-term space astrophysics research program: The evolution of the quasar continuum

The research program supported by this grant now has great momentum. Numerous papers are in progress, and a strong multi-wavelength observing program is rapidly accumulating data on samples of high redshift quasars across the spectrum. ROSAT spectra of quasars continue to yield surprises. Of four z = 3 quasars with X-ray spectra, three show strong absorption. This contrasts strongly with the situation for luminous AGN at low redshifts where fewer than 1 in 20 show X-ray absorption. A new site for this absorption is probably needed, either around the quasar (e.g. in a cluster cooling flow) or along the line of sight (e.g. in a Damped Lyman-alpha system). The unabsorbed quasar allows limits on the physical conditions in a damped Lyman-alpha cloud to be calculated, and will allow a X-ray Gunn-Peterson test to be applied that will limit the fraction of the closure mass in an intergalactic medium. The X-ray spectral indices of these z = 3 quasars show no change from those of similar objects at low z, suggesting that 'short-lifetime' models apply. Eight other z = 3-4 quasars have been detected and their energy distributions from X-rays to Infrared (using new infrared spectrographs) have been compiled. These are now being compared with the low z continua from the 'Atlas of Quasar Energy Distributions' to search for evolutionary changes. The discovery of a likely warm absorber in 3C351 made recognition of another example simple. Also, modeling of the conditions in the absorber in 3C351 using the OVI absorption line from HST and the high ionization emission lines, suggests that the broad line region is indeed the origin of the warm absorber in this quasar, and by extension, others. Warm absorbers can now be used as a new diagnostic of this region. The X-ray spectrum of a 'Red Quasar', 3C212, has a cut-off spectrum, which could be fitted by an absorbed power-law, or more remarkably, by an unabsorbed black body. Using our quasi-simultaneous optical data and photoionization modeling we are able to rule out this latter possibility. The long-sought key to understanding red quasars has now been found. (Reddening was earlier ruled out because no 2175A absorption feature was seen. This is now seen to have been misleading.)

Elvis, M.↗

Automated Knowledge Discovery From Simulators

A computational method, SimLearn, has been devised to facilitate efficient knowledge discovery from simulators. Simulators are complex computer programs used in science and engineering to model diverse phenomena such as fluid flow, gravitational interactions, coupled mechanical systems, and nuclear, chemical, and biological processes. SimLearn uses active-learning techniques to efficiently address the "landscape characterization problem." In particular, SimLearn tries to determine which regions in "input space" lead to a given output from the simulator, where "input space" refers to an abstraction of all the variables going into the simulator, e.g., initial conditions, parameters, and interaction equations. Landscape characterization can be viewed as an attempt to invert the forward mapping of the simulator and recover the inputs that produce a particular output. Given that a single simulation run can take days or weeks to complete even on a large computing cluster, SimLearn attempts to reduce costs by reducing the number of simulations needed to effect discoveries. Unlike conventional data-mining methods that are applied to static predefined datasets, SimLearn involves an iterative process in which a most informative dataset is constructed dynamically by using the simulator as an oracle. On each iteration, the algorithm models the knowledge it has gained through previous simulation trials and then chooses which simulation trials to run next. Running these trials through the simulator produces new data in the form of input-output pairs. The overall process is embodied in an algorithm that combines support vector machines (SVMs) with active learning. SVMs use learning from examples (the examples are the input-output pairs generated by running the simulator) and a principle called maximum margin to derive predictors that generalize well to new inputs. In SimLearn, the SVM plays the role of modeling the knowledge that has been gained through previous simulation trials. Active learning is used to determine which new input points would be most informative if their output were known. The selected input points are run through the simulator to generate new information that can be used to refine the SVM. The process is then repeated. SimLearn carefully balances exploration (semi-randomly searching around the input space) versus exploitation (using the current state of knowledge to conduct a tightly focused search). During each iteration, SimLearn uses not one, but an ensemble of SVMs. Each SVM in the ensemble is characterized by different hyper-parameters that control various aspects of the learned predictor - for example, whether the predictor is constrained to be very smooth (nearby points in input space lead to similar output predictions) or whether the predictor is allowed to be "bumpy." The various SVMs will have different preferences about which input points they would like to run through the simulator next. SimLearn includes a formal mechanism for balancing the ensemble SVM preferences so that a single choice can be made for the next set of trials.

Burl, Michael↗

The First Neptune Analog or Super-Earth with a Neptune-Like Orbit: MOA-2013-BLG-605Lb

We present the discovery of the first Neptune analog exoplanet or super-Earth with a Neptune-like orbit, MOA- 2013-BLG-605Lb. This planet has a mass similar to that of Neptune or a super-Earth and it orbits at 9 approximately 14 times the expected position of the snow line, a(sub snow), which is similar to Neptuneʼs separation of 11 a(sub snow) from the Sun. The planet/host-star mass ratio is q = (3.6 +/- 0.7) × 10(exp −4) and the projected separation normalized by the Einstein radius is s = 2.39 +/- 0.05. There are three degenerate physical solutions and two of these are due to a new type of degeneracy in the microlensing parallax parameters, which we designate "the wide degeneracy." The three models have (i) a Neptune-mass planet with a mass of M(sub p) = 21(+6/-7)(M) orbiting a low-mass M-dwarf with a mass of M(sub h) = 0.19(+0.05/-0.06 (solar mass)), (ii) a mini-Neptune with M(sub p) = 7.9(+1.8/-1.5)(M)) orbiting a brown dwarf host with M(sub h) = 0.068(+0.019/-0.011(solar mass)), and (iii) a super-Earth with M(sub p) = 3.2(+0.5/-0.3(M)) orbiting a low-mass brown dwarf host with M(sub h) = 0.025(+0.005/-0.004)(solar mass)), which is slightly favored. The 3D planet-host separations are 4.6(+4.7/-1.2)au, 2.1(+1.0/-0.2)au, and 0.94(+0.67/-0.02)au, which are 8.9(+10.5/-1.4)m 12(+7/-1), or 14(+11/-1) times larger than a(sub snow) for these models, respectively. Keck adaptive optics observations confirm that the lens is faint. This discovery suggests that low-mass planets with Neptune-like orbits are common. Therefore processes similar to the one that formed Neptune in our own solar system or cold super-Earths may be common in other solar systems.

Einstein radius↗

High-energy radiation from active galactic nuclei

Two recent findings concerning high-energy radiation properties of active galactic nuclei -- discovery of breaks in hard X-ray spectra of Seyfert galaxies, and discovery of huge fluxes of hard gamma rays from blazars -- seem to press us to change our standard views about radiation production in these objects. I review briefly the existing radiation models, confront them with the newest observations, and discuss newly emerging theoretical pictures which attempt to account for the discoveries.

Sikora, Marek↗

Intelligent Systems: Terrestrial Observation and Prediction Using Remote Sensing Data

NASA has made science and technology investments to better utilize its large space-borne remote sensing data holdings of the Earth. With the launch of Terra, NASA created a data-rich environment where the challenge is to fully utilize the data collected from EOS however, despite unprecedented amounts of observed data, there is a need for increasing the frequency, resolution, and diversity of observations. Current terrestrial models that use remote sensing data were constructed in a relatively data and compute limited era and do not take full advantage of on-line learning methods and assimilation techniques that can exploit these data. NASA has invested in visualization, data mining and knowledge discovery methods which have facilitated data exploitation, but these methods are insufficient for improving Earth science models that have extensive background knowledge nor do these methods refine understanding of complex processes. Investing in interdisciplinary teams that include computational scientists can lead to new models and systems for online operation and analysis of data that can autonomously improve in prediction skill over time.

Coughlan, Joseph C.↗

The Structure of the Uranian Rings and the Search for Rings Around Neptune

The nine narrow rings of Uranus, presently the only confirmed features of this system, have been observed with the diffraction-limited resolution (3.5 km) of ground-based occultations since their discovery in 1977. These data have been used to establish an orbit model, from which the five Keplerian orbit parameters for each ring, the pole of the mean ring plane, and the gravitational harmonic coefficients J sub 2 and J sub 4 have been determined. The rings are typically a few kilometers wide with eccentricities of about 0.001 and inclinations of a few hundredths of a degree, although a few have no measurable eccentricity or inclination. Interesting Voyager investigations would include probing the structure of the rings at higher spatial resolution, searching for new rings in the system (including inter-ring material), locating the postulated shepherd satellites, and searching for satellites inside the orbit of Miranda that might have dynamical influence on the rings. The high precision (approx 2 km) of the ring orbits might prove useful for spacecraft navigation. For Neptune, occultation searches have revealed no rings to a limit of a few hundreths optical depth, within a few hundred kilometers from the top of the planet's atmosphere (for equatorial rings).

Elliot, J. L.↗

Exploration of the Characteristics of the Time Variable Component of the Coronal Heating Process

By coordinating coronal SOHO observations in white light, ultraviolet, extreme ultraviolet, with radio occultation measurements, and complementing these with modeling, two break-throughs were achieved from this funding: (1) The discovery that minor ions are accelerated much faster than protons in the fast solar wind, and (2) that the imprint of coronal density structures is carried outwards from the Sun into the solar wind. Three refereed papers and one invited review, published in the proceedings of the conference, resulted from this funding. A summary of each is given.

Wagner, William↗

The ULX Population in the Starburst Galaxy NGC 253

Optimism is mounting for the existence of intermediate mass black holes (IMBH), which occupy the mass spectrum somewhere between the stellar-mass and supermassive varieties. IMBH are naturally predicted by theoretical stellar and black hole evolution models, but the strong attention to them began only recently with the discovery of ultraluminous x-ray sources (ULX). If isotropic and accreting normally, ULX have luminosities tens to thousands of times greater than the Eddington luminosity of a neutron star or stellar-mass black hole. A standard interpretation of their x-ray flux implies that they are powered by IMBH. On the other hand, they may be stellar-mass black holes that are beamed or emit anisotropically. Therefore, the exact nature of ULX is highly controversial. ULX are common in starburst galaxies. At a distance of only 3 Mpc, NGC 253 is bright, nearby, and one of the best-studied starburst galaxies. Approximately 50 distinct x-ray point sources are detected in or near the plane of the galaxy. At least six of these are ULX, with luminosities greater than 10 times that expected for a stellar-mass, accreting compact object. We present new Chandra data from an 80 ksec observation of NGC 253 obtained in 2003 that provides high quality spectra of these sources. Comparing the 1999 and 2003 Chandra observations, the sources have varied significantly over the course of four years, with one of the ULX disappearing completely. The ULX spectra are similar to black-hole XRBs and at least one appears to possess an iron K line. We will discuss what insight these data provide for the nature of ULX in NGC 253 .

Weaver, K. A.↗

The use of satellite data in understanding and predicting convective and large-scale dynamical processes

A two-layer truncated baroclinic spectral model was developed to study the long-term evolution of disturbances to a baroclinically unstable mean flow. Topography and crudely-parameterized radiative processes were accounted for. As a result of Robert Schlaak's discovery of the underlying barotropic nature of the index oscillation as well as reviewers suggestions about the original manuscript, the model has been revised to allow for barotropic as well as baroclinic wave-mean flow interactions. The form-drag exerted by the topography on the barotropic part of the mean flow is larger than on the baroclinic part and thus researchers anticipate significant changes from the original calculations on the index oscillation when it is strongly modulated by topography. Researchers believe that since the index oscillation accounts for a significant portion of atmospheric temporal variance, the long term predictability could be improved if reliable forecasts of the index oscillation were available. Two spectral models of the index oscillation, one barotropic and the other baroclinic, have been developed. The latter allows for moisture, radiation, land-sea temperature countrasts, and energy exchanges with the underlying surface.

Dutton, J. A.↗

Primordial heating of asteroidal parent bodies

Most meteorites show evidence of thermal processing either because of metamorphic changes or as a result of melting and differentiation. Proposed mechanisms for supplying this energy generally rely upon short-lived radioisotopes or electrical induction, though accretion is sometimes mentioned, and more exotic models have been discussed. Interest in isotopic heating has been heightened by the discovery of Al-26 in Allende inclusions and also by the proposal that a lunar core and dynamo resulted from the radioactive decay of superheavy elements during the early solar system. Electrical induction as a heat source can be scaled to a broad range of solar system conditions, but corroborative evidence for these conditions is inconclusive. The accretion mechanism is probably not viable for the asteroidal and meteorite parent bodies, because the high kinetic energy requirement is inconsistent with the formation of the objects and their regoliths in the presence of a weak gravitational field.

Sonett, C. P.↗

Shock acceleration of nuclei and electrons in the heliosphere beyond 24 AU

Radially propagating shocks of solar flare origin are analyzed using plasma and charged particle measurements on Pioneer 10 to show that protons and helium nuclei are continuously accelerated to energies of up to roughly 70 MeV per nucleon. The discovery that electrons are simultaneously accelerated to relativistic energies places new constraints on models for acceleration by these quasi-perpendicular shocks in the outer heliosphere.

Pyle, K. R.↗

Inductive Approaches to Improving Diagnosis and Design for Diagnosability

The first research area under this grant addresses the problem of classifying time series according to their morphological features in the time domain. A supervised learning system called CALCHAS, which induces a classification procedure for signatures from preclassified examples, was developed. For each of several signature classes, the system infers a model that captures the class's morphological features using Bayesian model induction and the minimum message length approach to assign priors. After induction, a time series (signature) is classified in one of the classes when there is enough evidence to support that decision. Time series with sufficiently novel features, belonging to classes not present in the training set, are recognized as such. A second area of research assumes two sources of information about a system: a model or domain theory that encodes aspects of the system under study and data from actual system operations over time. A model, when it exists, represents strong prior expectations about how a system will perform. Our work with a diagnostic model of the RCS (Reaction Control System) of the Space Shuttle motivated the development of SIG, a system which combines information from a model (or domain theory) and data. As it tracks RCS behavior, the model computes quantitative and qualitative values. Induction is then performed over the data represented by both the 'raw' features and the model-computed high-level features. Finally, work on clustering for operating mode discovery motivated some important extensions to the clustering strategy we had used. One modification appends an iterative optimization technique onto the clustering system; this optimization strategy appears to be novel in the clustering literature. A second modification improves the noise tolerance of the clustering system. In particular, we adapt resampling-based pruning strategies used by supervised learning systems to the task of simplifying hierarchical clusterings, thus making post-clustering analysis easier.

Fisher, Douglas H.↗

NASA Tech Briefs, July 2007

Topics covered include: Miniature Intelligent Sensor Module; "Smart" Sensor Module; Portable Apparatus for Electrochemical Sensing of Ethylene; Increasing Linear Dynamic Range of a CMOS Image Sensor; Flight Qualified Micro Sun Sensor; Norbornene-Based Polymer Electrolytes for Lithium Cells; Making Single-Source Precursors of Ternary Semiconductors; Water-Free Proton-Conducting Membranes for Fuel Cells; Mo/Ti Diffusion Bonding for Making Thermoelectric Devices; Photodetectors on Coronagraph Mask for Pointing Control; High-Energy-Density, Low-Temperature Li/CFx Primary Cells; G4-FETs as Universal and Programmable Logic Gates; Fabrication of Buried Nanochannels From Nanowire Patterns; Diamond Smoothing Tools; Infrared Imaging System for Studying Brain Function; Rarefying Spectra of Whispering-Gallery-Mode Resonators; Large-Area Permanent-Magnet ECR Plasma Source; Slot-Antenna/Permanent-Magnet Device for Generating Plasma; Fiber-Optic Strain Gauge With High Resolution And Update Rate; Broadband Achromatic Telecentric Lens; Temperature-Corrected Model of Turbulence in Hot Jet Flows; Enhanced Elliptic Grid Generation; Automated Knowledge Discovery From Simulators; Electro-Optical Modulator Bias Control Using Bipolar Pulses; Generative Representations for Automated Design of Robots; Mars-Approach Navigation Using In Situ Orbiters; Efficient Optimization of Low-Thrust Spacecraft Trajectories; Cylindrical Asymmetrical Capacitors for Use in Outer Space; Protecting Against Faults in JPL Spacecraft; Algorithm Optimally Allocates Actuation of a Spacecraft; and Radar Interferometer for Topographic Mapping of Glaciers and Ice Sheets.

Source record↗

Modeling Regular Replacement for String Constraint Solving

Bugs in user input sanitation of software systems often lead to vulnerabilities. Among them many are caused by improper use of regular replacement. This paper presents a precise modeling of various semantics of regular substitution, such as the declarative, finite, greedy, and reluctant, using finite state transducers (FST). By projecting an FST to its input/output tapes, we are able to solve atomic string constraints, which can be applied to both the forward and backward image computation in model checking and symbolic execution of text processing programs. We report several interesting discoveries, e.g., certain fragments of the general problem can be handled using less expressive deterministic FST. A compact representation of FST is implemented in SUSHI, a string constraint solver. It is applied to detecting vulnerabilities in web applications

Fu, Xiang↗