Search NASA⌕ Search

SEARCH · Search NASA

Results for “String Matching”

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 109 records · Page 6
All sourcesNASA NTRSDOE OSTI
NASA NTRS2006

NASA Taxonomies for Searching Problem Reports and FMEAs

Many types of hazard and risk analyses are used during the life cycle of complex systems, including Failure Modes and Effects Analysis (FMEA), Hazard Analysis, Fault Tree and Event Tree Analysis, Probabilistic Risk Assessment, Reliability Analysis and analysis of Problem Reporting and Corrective Action (PRACA) databases. The success of these methods depends on the availability of input data and the analysts knowledge. Standard nomenclature can increase the reusability of hazard, risk and problem data. When nomenclature in the source texts is not standard, taxonomies with mapping words (sets of rough synonyms) can be combined with semantic search to identify items and tag them with metadata based on a rich standard nomenclature. Semantic search uses word meanings in the context of parsed phrases to find matches. The NASA taxonomies provide the word meanings. Spacecraft taxonomies and ontologies (generalization hierarchies with attributes and relationships, based on terms meanings) are being developed for types of subsystems, functions, entities, hazards and failures. The ontologies are broad and general, covering hardware, software and human systems. Semantic search of Space Station texts was used to validate and extend the taxonomies. The taxonomies have also been used to extract system connectivity (interaction) models and functions from requirements text. Now the Reconciler semantic search tool and the taxonomies are being applied to improve search in the Space Shuttle PRACA database, to discover recurring patterns of failure. Usual methods of string search and keyword search fall short because the entries are terse and have numerous shortcuts (irregular abbreviations, nonstandard acronyms, cryptic codes) and modifier words cannot be used in sentence context to refine the search. The limited and fixed FMEA categories associated with the entries do not make the fine distinctions needed in the search. The approach assigns PRACA report titles to problem classes in the taxonomy. Each ontology class includes mapping words - near-synonyms naming different manifestations of that problem class. The mapping words for Problems, Entities and Functions are converted to a canonical form plus any of a small set of modifier words (e.g. non-uniformity NOT + UNIFORM.) The report titles are parsed as sentences if possible, or treated as a flat sequence of word tokens if parsing fails. When canonical forms in the title match mapping words, the PRACA entry is associated with the corresponding Problem, Entity or Function in the ontology. The user can search for types of failures associated with types of equipment, clustering by type of problem (e.g., all bearings found with problems of being uneven: rough, irregular, gritty ). The results could also be used for tagging PRACA report entries with rich metadata. This approach could also be applied to searching and tagging failure modes, failure effects and mitigations in FMEAs. In the pilot work, parsing 52K+ truncated titles (the test cases that were available), has resulted in identification of both a type of equipment and type of problem in about 75% of the cases. The results are displayed in a manner analogous to Google search results. The effort has also led to the enrichment of the taxonomy, adding some new categories and many new mapping words. Further work would make enhancements that have been identified for improving the clustering and further reducing the false alarm rate. (In searching for recurring problems, good clustering is more important than reducing false alarms). Searching complete PRACA reports should lead to immediate improvement.

Malin, Jane T.↗
DOE OSTI2022

Sphere and disk partition functions in Liouville and in matrix integrals

We compute the sphere and disk partition functions in semiclassical Liouville and analogous quantities in double-scaled matrix integrals. The quantity sphere/disk2 is unambiguous and we find a precise numerical match between the Liouville answer and the matrix integral answer. An application is to show that the sphere partition function in JT gravity is infinite.

2D Gravity↗
DOE OSTI2018

Precision Test of AdS 6 / CFT 5 in Type IIB String Theory

Superconformal field theories (SCFTs) in dimensions greater than 4 have become an integral part in the general understanding of quantum field theory, with many interesting implications in lower dimensions. They are hard to define using traditional methods, but can be engineered in string theory. Recently, a large class of AdS=CFT dualities has been constructed for five-dimensional SCFTs, which further supports their existence and allows for quantitative studies.We confront these dualities with a decisive test.We obtain the partition functions and central charges in gauge theory deformations of the SCFTs and extrapolate the results to the conformal fixed points. In the appropriate large N limits, this precisely matches the AdS=CFT predictions, providing strong support for the proposed dualities.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
NASA NTRS1986

Fuzzy automata and pattern matching

A wide-ranging search for articles and books concerned with fuzzy automata and syntactic pattern recognition is presented. A number of survey articles on image processing and feature detection were included. Hough's algorithm is presented to illustrate the way in which knowledge about an image can be used to interpret the details of the image. It was found that in hand generated pictures, the algorithm worked well on following the straight lines, but had great difficulty turning corners. An algorithm was developed which produces a minimal finite automaton recognizing a given finite set of strings. One difficulty of the construction is that, in some cases, this minimal automaton is not unique for a given set of strings and a given maximum length. This algorithm compares favorably with other inference algorithms. More importantly, the algorithm produces an automaton with a rigorously described relationship to the original set of strings that does not depend on the algorithm itself.

Setzer, C. B.↗
DOE OSTI2015

D and D decision model and mobile application for selection of fixative, strippable coating, and decontamination gel products - 15696

Deactivation and decommissioning (D and D) is the process of taking an active/excess/abandoned facility to a final disposition end state. D and D presents unique hazards that must be addressed from a safety, programmatic, environmental, and technological standpoint. This definition is especially applicable to Savannah River Site's 235-F facility. The facility was constructed in the 1950's as part of the weapons complex materials production and fabrication. The most significant quantities of residual contamination remaining in 235-F building is in the form of Plutonium-238. A Decision Model was created using MatLab to work hand-in-hand with a product list containing commercially available D and D products. This model was created to further enhance and accelerate the decontamination process. It is envisioned that D and D engineers will be able to use this Decision Model in the field via a mobile device. It allows the user to select four inputs to match their situation. The model searches the database and returns the products that fit the criteria selected by the user. This Decision Model will be made available in a web-based application and as a mobile application to ensure end users can access it when needed. The MatLab code recognizes what position in the text box is selected and then this input is converted to the corresponding string. The string is then compared with the information in the product list in the specified column in order to reduce processing time. Then the products that contain the string inputted are displayed on the table and are separated by category. The web-based version of the model will receive three specified criteria and sub-criteria from the user and update the table with products that fit each criteria. A web-based version of this Decision Model is under way and will be set up on the D and D KM-IT platform. There will be two versions of this mobile application: for devices with internet connection and for those that do not have internet connection. This will ensure end users have access to the Decision application at any time or place during the D and D process. A mobile version of the model will also be developed in the near future.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗
DOE OSTI2018

Toward precision holography in type IIA with Wilson loops

We study the one-loop effective action of certain classical type IIA string configurations in AdS 4 × CP 3 . These configurations are dual to Wilson loops in the N = 6 U( N ) k × U( N ) –k Chern-Simons theory coupled to matter whose expectation values are known via supersymmetric localization. We compute the one-loop effective actions using two methods: perturbative heat kernel techniques and full ζ-function regularization. We find that the result of the perturbative heat kernel method matches the field theory prediction at the appropriate order while the ζ-function approach seems to lead to a disagreement.

't Hooft and Polyakov loops↗
DOE OSTI2012

Program Final Report - Develop Thermoelectric Technology for Automotive Waste Heat Recovery

We conducted a vehicle analysis to assess the feasibility of thermoelectric technology for waste heat recovery and conversion to useful electrical power and found that eliminating the 500 W of electrical power generated by the alternator corresponded to about a 7% increase in fuel economy (FE) for a small car and about 6% for a full size truck. Electric power targets of 300 W were established for city and highway driving cycles for this project. We obtained critical vehicle level information for these driving cycles that enabled a high-level design and performance analysis of radiator and exhaust gas thermoelectric subsystems for several potential vehicle platforms, and we identified the location and geometric envelopes of the radiator and exhaust gas thermoelectric subsystems. Based on this analysis, we selected the Chevrolet Suburban as the most suitable demonstration vehicle for this project. Our modeling and thermal analysis assessment of a radiator-based thermoelectric generator (TEG), however, revealed severe practical limitations. Specifically the small temperature difference of 100°C or less between the engine coolant and ambient air results in a low Carnot conversion efficiency, and thermal resistance associated with air convection would reduce this conversion efficiency even further. We therefore decided not to pursue a radiator-based waste heat recovery system and focused only on the exhaust gas. Our overall approach was to combine science and engineering: (1) existing and newly developed TE materials were carefully selected and characterized by the material researcher members of our team, and most of the material property results were validated by our research partners, and (2) system engineers worked closely with vehicle engineers to ensure that accurate vehicle-level information was used for developing subsystem models and designs, and the subsystem output was analyzed for potential fuel economy gains. We incorporated material, module, subsystem, and integration costs into the material selection criteria in order to balance various materials, module and subsystem design, and vehicle integration options. Our work on advanced TE materials development and on TEG system design, assembly, vehicle integration, and testing proceeded in parallel efforts. Results from our two preliminary prototype TEGs using only Bi-Te TE modules allowed us to solve various mechanical challenges and to finalize and fine tune aspects of the design and implementation. Our materials research effort led us to quickly abandon work on PbTe and focus on the skutterudite materials due to their superior mechanical performance and suitability at automotive exhaust gas operating temperatures. We synthesized a sufficiently large quantity of skutterudite material for module fabrication for our third and final prototype. Our TEG#3 is the first of its kind to contain state-of-the-art skutterudite-based TE modules to be installed and tested on a production vehicle. The design, which consisted of 24 skutterudite modules and 18 Bi-Te modules, attempted to optimize electrical power generation by using these two kinds of TE modules that have their peak performance temperatures matched to the actual temperature profile of the TEG during operation. The performance of TEG#3 was limited by the maximum temperature allowable for the Bi-Te TE modules located in the colder end of the TEG, resulting in the operating temperature for the skutterudite modules to be considerably below optimum. We measured the power output for (1) the complete TEG (25 Watts) and (2) an individual TE module series string (1/3 of the TEG) operated at a 60°C higher temperature (19 Watts). We estimate that under optimum operating temperature conditions, TEG#3 will generate about 235 Watts. With additional improvements in thermal and electrical interfaces, temperature homogeneity, and power conditioning, we estimate TEG#3 could deliver a power output of about 425 Watts.

30 DIRECT ENERGY CONVERSION↗
DOE OSTI2018

An infinite swampland of U(1) charge spectra in 6D supergravity theories

We analyze the anomaly constraints on 6D supergravity theories with a single abelian U(1) gauge factor. For theories with charges restricted to q = ±1, ±2 and no tensor multiplets, anomaly-free models match those models that can be realized from F-theory compactifications almost perfectly. For theories with tensor multiplets or with larger charges, the F-theory constraints are less well understood. We show, however, that there is an infinite class of distinct massless charge spectra in the “swampland” of theories that satisfy all known quantum consistency conditions but do not admit a realization through F-theory or any other known approach to string compactification. We also compare the spectra of charged matter in abelian theories with those that can be realized from breaking nonabelian SU(2) and higher rank gauge symmetries.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2019

Generic matter representations in 6D supergravity theories

In six-dimensional supergravity, there is a natural sense in which matter lying in certain representations of the gauge group is “generic,” in that other “exotic” matter representations require more fine tuning. From considerations of the dimensionality of the moduli space and anomaly cancellation conditions, we find that the generic sets of matter representations are well-defined for 6D supergravity theories with gauge groups containing arbitrary numbers of nonabelian factors and U(1) factors. These generic matter representations also match with those that arise in the most generic F-theory constructions, both in 6D and in 4D, with non-generic matter representations requiring more exotic singularity types. The analysis of generic versus exotic matter illuminates long-standing puzzles regarding F-theory models with multiple U(1) factors and provides a useful framework for analyzing the 6D “swampland” of apparently consistent low-energy theories that cannot be realized through known string constructions. We note also that the matter content of the standard model is generic by the criteria used here only if the global structure is SU(3) c × SU(2) L × U(1) Y / Z 6 .

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
NASA NTRS2018

The Future Impact of Much Lower Launch Cost

For decades, the high cost of space launch has been the greatest limiting factor on the nu ber and size of space missions. Recently commercial rockets have reduced launch cost to about one-twentieth of the space shuttle cost. This provides opportunities for a matching reduction in the cost of space systems and more and more massive missions. High launch costs greatly increase the cost of developing space systems, since the need to reduce mass forces the use of light materials, high packaging densities, and fragile structures that are difficult to manufacture and test. Lower launch costs allow the use of more robust and well tested off-the-shelf systems. Increased mass can be used to increase single string reliability and also to provide spares and redundancy. A crewed mission can benefit from lower launch costs by using mass to provide more accepted fully hydrated food, additional hygiene water, laundry, radiation shielding, and even artificial gravity. The crew can be made healthier, safer, more comfortable, and more productive. Lower launch cost makes every space activity easier, whether it is science, human exploration, commercial including communications, weather, surveillance, and geo-positioning services, or the defense of similar military services. Most of the solar system is empty space, with the energy of the sun’s radiation passing through to the cold of deep space. The missing mass needed to support human activities is now much easier to provide.

Jones, Harry W.↗
NASA NTRS1984

Modeling to predict pilot performance during CDTI-based in-trail following experiments

A mathematical model was developed of the flight system with the pilot using a cockpit display of traffic information (CDTI) to establish and maintain in-trail spacing behind a lead aircraft during approach. Both in-trail and vertical dynamics were included. The nominal spacing was based on one of three criteria (Constant Time Predictor; Constant Time Delay; or Acceleration Cue). This model was used to simulate digitally the dynamics of a string of multiple following aircraft, including response to initial position errors. The simulation was used to predict the outcome of a series of in-trail following experiments, including pilot performance in maintaining correct longitudinal spacing and vertical position. The experiments were run in the NASA Ames Research Center multi-cab cockpit simulator facility. The experimental results were then used to evaluate the model and its prediction accuracy. Model parameters were adjusted, so that modeled performance matched experimental results. Lessons learned in this modeling and prediction study are summarized.

Sorensen, J. A.↗
DOE OSTI2021

Construction of two-dimensional topological field theories with non-invertible symmetries

We construct the defining data of two-dimensional topological field theories (TFTs) enriched by non-invertible symmetries/topological defect lines. Simple formulae for the three-point functions and the lasso two-point functions are derived, and crossing symmetry is proven. The key ingredients are open-to-closed maps and a boundary crossing relation, by which we show that a diagonal basis exists in the defect Hilbert spaces. We then introduce regular TFTs, provide their explicit constructions for the Fibonacci, Ising and Haagerup $\mathscr{H}$ 3 fusion categories, and match our formulae with previous bootstrap results. We end by explaining how non-regular TFTs are obtained from regular TFTs via generalized gauging.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2022

Farm-level Interactions Study of a Novel Tri-port Soft-switching Medium-Voltage String Inverter (MVSI) based Large-scale PV-Plus-Storage Farms

A medium-voltage photovoltaic power conversion unit supported by battery based on a novel topology of soft switching solid state transformer is presented in this paper. It can reduce the Levelized Cost of Energy (LCOE) of PVS farm in an extended degree. However, its capability to provide grid-support services, such as frequency response, reactive power support, etc, have not been demonstrated. A series/parallel combination of these modules form a large 20 MVA solar farm. To validate them with reduced computation burden, a small-signal model of MVSI is firstly derived and validated in this paper. The model has been validated to match the full-switch model in both steady-state and dynamic conditions. Next, a farm-level simulation based on the proved small-signal model was implemented to demonstrate grid-support services. Real irradiation date from NREL is used to show the operational capabilities of the system. As a result, the overall farm is simulated based on MATLAB/Simulink domain to check the performance for various cases namely: power transfer from dc-ac side, reactive power support during grid voltage sag and utilization of battery during grid voltage disturbance or partial shading over PV panels.

14 SOLAR ENERGY↗
DOE OSTI2022

Mapping out the internal space in AdS/BCFT with Wilson loops

We study Wilson loops in string theory realizations of AdS/BCFT and wedge holography. The field theories are based on 3d N = 4 long quiver gauge theories engineered by D3, D5 and NS5 branes, and on BCFTs involving 4d N = 4 SYM coupled to such 3d theories. The holographic duals have geometry AdS 4 × S 2 × S 2 warped over a strip. We identify the holographic representation of antisymmetric Wilson loops associated with individual 3d gauge nodes in terms of probe D5-branes. The expectation values obtained holographically are matched to supersymmetric localization computations. Our results yield an identification of regions in the internal space with individual 3d gauge nodes. Connecting to bottom-up braneworld models, this gives a concrete notion of which parts of the 10d solutions correspond to the end-of-the-world brane and which to the remaining bulk. We also construct supersymmetric Janus on the brane embeddings in AdS 5 ×S 5 , which describe surface defects with boundaries and interfaces in N = 4 SYM.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2021

Fishnet four-point integrals: integrable representations and thermodynamic limits

In this work, we consider four-point integrals arising in the planar limit of the conformal “fishnet” theory in four dimensions. They define a two-parameter family of higher-loop Feynman integrals, which extend the series of ladder integrals and were argued, based on integrability and analyticity, to admit matrix-model-like integral and determinantal representations. In this paper, we prove the equivalence of all these representations using exact summation and integration techniques. We then analyze the large-order behaviour, corresponding to the thermodynamic limit of a large fishnet graph. The saddle-point equations are found to match known two-cut singular equations arising in matrix models, enabling us to obtain a concise parametric expression for the free-energy density in terms of complete elliptic integrals. Interestingly, the latter depends non-trivially on the fishnet aspect ratio and differs from a scaling formula due to Zamolodchikov for large periodic fishnets, suggesting a strong sensitivity to the boundary conditions. We also find an intriguing connection between the saddle-point equation and the equation describing the Frolov-Tseytlin spinning string in AdS 3 × S 1 , in a generalized scaling combining the thermodynamic and short-distance limits.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2026

Tori, Klein bottles, and modulo 8 parity/time-reversal anomalies of 2+1d staggered fermions

We study the symmetries of lattice staggered fermions in 2+1d. Using the symmetries, we can place the system on any sheared torus or Klein bottle. These different backgrounds provide diagnostics of various ’t Hooft anomalies associated with the crystalline symmetries. We then compare the lattice model to its continuum limit. The symmetries of the lattice system are mapped in a nontrivial way to the symmetries of the continuum theories. Using this map, we match the ’t Hooft anomalies on the lattice and the continuum. Along the way, we develop a general formalism to study Hamiltonian lattice models on nontrivial, compact, flat spaces.

Algorithms and Theoretical Developments↗
DOE OSTI2026

Robust calibration of non-perturbative models with history matching

We apply, for the first time, Bayes Linear Emulation and History Matching to the calibration of non-perturbative models in Monte Carlo event generators. In contrast to the usual approach of "Monte Carlo tuning", History Matching does not result in best-fit plus ellipsoidal parameter uncertainty estimates but instead identifies all parameter space regions that are consistent with data. This approach leads to a systematic and robust quantification of parametric uncertainties in the models, especially in those challenging cases where different, possibly disjoint, regions of parameter space deliver similar results, which are usually not properly treated with current methodology. We highlight the power of this method with the hadronisation models available through Sherpa : the built-in cluster fragmentation Ahadic and string fragmentation through an interface to Pythia .

Iskauskas, Andrew [Durham U. (main)] (ORCID:000000↗
DOE OSTI2023

EI_MS_ML

The unambiguous identification of compounds from their electron ionization mass (EI-MS) spectra remains a significant unsolved problem in the field of metabolomics and analytical chemistry as a whole. Typically EI-MS spectra are compared using various mathematical operations that convert the spectral similarity or differences into a distance-like metric that roughly approximates the similarity of any two spectra. A commonly used metric for this is the cosine similarity metric which has values close to one for very similar spectra and a value of zero for very dissimilar spectra; however, no metric is perfect. Due to the prevalence of structurally-similar compounds such as isomers and the prevalence of certain fragmentation patterns across structurally-dissimilar compounds, the unambiguous assignment of EI-MS spectra compounds remains difficult. Frequently, querying an observed EI-MS spectrum against a large database such as the NIST17 library yields multiple possible assignments requiring the end user to distinguish between multiple high scoring hits, or multiple low scoring hits while keeping in mind that the correct hit may not be in the database at all. Although techniques such as orthogonal information from techniques such as chromatography can greatly aid in unambiguous assignment, this also requires more complicated experimental designs and access to more complicated analytical instrumentation. Substructures can be trivially detected and represented as strings using a previously published technique called node coloring from a known chemical structure. However, for experimentally-derived EI-MS spectra this information must be derived from the spectra itself (i.e., because we do not know what compound it represents). To achieve this, the software uses techniques from the field of machine learning and a large training dataset of EI-MS spectra corresponding to known structures annotated with substructure strings, to build models that can predict the presence of a given chemical substructure from an EI-MS spectrum directly.If these predictions are of high-quality (i.e., are unlikely to be false positives), the presence of one or more predicted substructures can be used to constrain the number of possible hits for a query spectrum. Mathematically, this restriction could be expressed in many forms, but the most straight-forward implementation is to weight the cosine similarity of a query spectrum and a plausible database match with a Tanimoto-like coefficient based on the ratio of the number of substructures predicted to the number of substructures present in the potential database hit. Determining which combination of models best reduces assignment ambiguity will be achieved using a combination of manual curation and optimization techniques such as genetic algorithms. This software will perform all the steps necessary to construct said models from a training dataset and evaluate them using a holdout dataset. Various statistical analyses can be performed to determine if this approach does decrease assignment ambiguity. For example, if this approach works, on average, the rank-order of the correct assignment for the holdout set of EI-MS spectra should decrease and the weighted cosine similarities for most of the possible matches in the database should be better than the unweighted cosine similarities. Furthermore, this same pipeline can be used on real experimental data to generate less ambiguous assignments.

Mitchell, Joshua↗