SEARCH · Engineering Papers

Results for “ABSTRACT”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 1,315 records · Page 73

All sources NASA NTRS DOE OSTI

NASA NTRS1991

Robust fault diagnosis of physical systems in operation

Ideas are presented and demonstrated for improved robustness in diagnostic problem solving of complex physical systems in operation, or operative diagnosis. The first idea is that graceful degradation can be viewed as reasoning at higher levels of abstraction whenever the more detailed levels proved to be incomplete or inadequate. A form of abstraction is defined that applies this view to the problem of diagnosis. In this form of abstraction, named status abstraction, two levels are defined. The lower level of abstraction corresponds to the level of detail at which most current knowledge-based diagnosis systems reason. At the higher level, a graph representation is presented that describes the real-world physical system. An incremental, constructive approach to manipulating this graph representation is demonstrated that supports certain characteristics of operative diagnosis. The suitability of this constructive approach is shown for diagnosing fault propagation behavior over time, and for sometimes diagnosing systems with feedback. A way is shown to represent different semantics in the same type of graph representation to characterize different types of fault propagation behavior. An approach is demonstrated that threats these different behaviors as different fault classes, and the approach moves to other classes when previous classes fail to generate suitable hypotheses. These ideas are implemented in a computer program named Draphys (Diagnostic Reasoning About Physical Systems) and demonstrated for the domain of inflight aircraft subsystems, specifically a propulsion system (containing two turbofan systems and a fuel system) and hydraulic subsystem.

Abbott, Kathy Hamilton↗

NASA NTRS1993

Mass storage system reference model, Version 4

The high-level abstractions that underlie modern storage systems are identified. The information to generate the model was collected from major practitioners who have built and operated large storage facilities, and represents a distillation of the wisdom they have acquired over the years. The model provides a common terminology and set of concepts to allow existing systems to be examined and new systems to be discussed and built. It is intended that the model and the interfaces identified from it will allow and encourage vendors to develop mutually-compatible storage components that can be combined to form integrated storage systems and services. The reference model presents an abstract view of the concepts and organization of storage systems. From this abstraction will come the identification of the interfaces and modules that will be used in IEEE storage system standards. The model is not yet suitable as a standard; it does not contain implementation decisions, such as how abstract objects should be broken up into software modules or how software modules should be mapped to hosts; it does not give policy specifications, such as when files should be migrated; does not describe how the abstract objects should be used or connected; and does not refer to specific hardware components. In particular, it does not fully specify the interfaces.

Coleman, Sam↗

NASA NTRS2001

From the Origins of Life to Intelligence: The Emergence of Symbolic Constructs

Intelligence cannot be understood - and cannot be 'artificially recreated' - without also understanding how it fits as a phenomenon in the evolution of matter. I say 'matter' instead of 'life' because my thesis is that the distinction between matter, with its associated interactions, and life, is simply in the complexity of these interactions and in the number of 'symbolic levels' that are defined by these interactions. Most of us think of symbols only in the context of language. This is understandable, since it is at this level where it is easiest to draw a distinction between natural objects and their 'names', i.e., the different sets of 'abstract' objects that can be manipulated to produce models of the 'real' world. Of course sets of abstract objects can also acquire names and be manipulated at higher and higher conceptual levels. When we use the words 'philosophy' or 'the Declaration of Independence' we use abstract constructs that will only make sense in other specific abstract contexts. Additional information is contained in the original extended abstract.

Colombano, Silvano P.↗

NASA NTRS2001

Reactions of SiCl2 and SiHCl with H and Cl Atoms

Calculations have been carried out for the reaction of SiCl2 and SiHCl with H and Cl atoms. In each case, the stationary point geometries and harmonic frequencies were characterized using CASSCF/derivative methods and the cc-pVDZ basis set. Accurate energetics were obtained by combining the CCSD(T) results using the a-cc-pVTZ basis set with an extrapolation to the basis set limit using the a-cc-pVDZ, a-cc-pVTZ, and a-cc-pVQZ basis sets at the MP2 level. The geometries, energetics, and harmonic frequencies were used to obtain rate constants using conventional transition state theory or a Gorin-like model. In each case we find direct abstraction pathways compete with an addition elimination pathway. In the case of SiClH + H the two direct pathways are H abstraction which is barrierless and Cl abstraction with a barrier of 13.5 kcal/mol, while the addition elimination process has a barrier of 26.9 kcal/mol. In the case of SiCl2 + H the direct pathway is Cl abstraction with a barrier of 16.4 kcal/mol, while the addition elimination pathway has a barrier of 29.6 kcal/mol. In the case of SiClH + Cl the direct pathway is H abstraction which is barrierless and the addition elimination pathway has a barrier of 2.0 kcal/mol.

Walch, Stephen P.↗

NASA NTRS2003

Microbeam Investigations of Presolar and Early Solar System Materials

This grant provided three years of funding to initiate an independent research program in Cosmochemistry at Arizona State University. Because the new equipment that was installed at ASU took longer than expected to get running, the project was extended for a fourth year with no additional funding. By the time the funds were expended, we had set up an entirely new ion microprobe laboratory at ASU, and we have been fully operational for over two years. This laboratory was funded in almost equal parts by NASA, NSF, and ASU. Papers describing the first results from this new laboratory are being published now, and the results have been making an impact on the Cosmochemistry community. While this laboratory was being built, I continued my research program in collaboration with G. J. Wasserburg at Caltech. As equipment became available, I gradually shifted my research to ASU. Over the lifetime of this grant, my research program resulted in 12 papers and 13 abstracts on topics ranging from presolar grains (2 papers, 3 abstracts), short-lived radionuclides (6 papers, 6 abstracts), chemical compositions of chondritic materials (3 papers, 3 abstracts), silicon isotopic fractionation (1 abstract), and the oxygen composition of the Sun (1 paper). The most important results of this period were the discovery of presolar hibonite in a meteorite residue, the measurement of 26A1 in CAIs from enstatite chondrites, and the measurements of 10Be in type A CAIs from CV chondrites. All of these results have had a significant impact on research in Cosmochemstry.

Huss, Gary R.↗

NASA NTRS2004

The NASA ADS: Searching, Linking and More

The NASA ADS Abstract Service is a NASA-funded project which provides FREE World Wide Web abstract search services. We currently have over 3.6 million references in four databases: 1) Astronomy and Planetary Sciences; 2) Physics and Geophysics; 3) Space Instrumentation; and 4) Astronomy Preprints. Our eleven mirror sites in France, Germany, Japan, Chile, Great Britain, India, Russia, Brazil, Argentina, Korea and China help to provide better global access. Each database contains abstracts from hundreds of journals, publications, colloquia, symposia, proceedings, PhD Theses, and NASA reports. All abstracts can be searched by author, title, or abstract text words.

Thompson, D. M.↗

NASA NTRS2011

Impact of Water Withdrawals from Groundwater and Surface Water on Continental Water Storage Variations

Humans have strongly impacted the global water cycle, not only water flows but also water storage. We have performed a first global-scale analysis of the impact of water withdrawals on water storage variations, using the global water resources and use model WaterGAP. This required estimation of fractions of total water withdrawals from groundwater, considering five water use sectors. According to our assessment, the source of 35% of the water withdrawn worldwide (4300 cubic km/yr during 1998-2002) is groundwater. Groundwater contributes 42%, 36% and 27% of water used for irrigation, households and manufacturing, respectively, while we assume that only surface water is used for livestock and for cooling of thermal power plants. Consumptive water use was 1400 cubic km/yr during 1998-2002. It is the sum of the net abstraction of 250 cubic km/yr of groundwater (taking into account evapotranspiration and return flows of withdrawn surface water and groundwater) and the net abstraction of 1150 km3/yr of surface water. Computed net abstractions indicate, for the first time at the global scale, where and when human water withdrawals decrease or increase groundwater or surface water storage. In regions with extensive surface water irrigation, such as Southern China, net abstractions from groundwater are negative, i.e. groundwater is recharged by irrigation. The opposite is true for areas dominated by groundwater irrigation, such as in the High Plains aquifer of the central USA, where net abstraction of surface water is negative because return flow of withdrawn groundwater recharges the surface water compartments. In intensively irrigated areas, the amplitude of seasonal total water storage variations is generally increased due to human water use; however, in some areas, it is decreased. For the High Plains aquifer and the whole Mississippi basin, modeled groundwater and total water storage variations were compared with estimates of groundwater storage variations based on groundwater table observations, and with estimates of total water storage variations from the GRACE satellites mission. Due to the difficulty in estimating area-averaged seasonal groundwater storage variations from point observations of groundwater levels, it is uncertain whether WaterGAP underestimates actual variations or not. We conclude that WaterGAP possibly overestimates water withdrawals in the High Plains aquifer where impact of human water use on water storage is readily discernible based on WaterGAP calculations and groundwater observations. No final conclusion can be drawn regarding the possibility of monitoring water withdrawals in the High Plains aquifer using GRACE. For the less intensively irrigated Mississippi basin, observed and modeled seasonal groundwater storage reveals a discernible impact of water withdrawals in the basin, but this is not the case for total water storage such that water withdrawals at the scale of the whole Mississippi basin cannot be monitored by GRACE.

Doell, Petra↗

NASA NTRS2013

Regression Verification Using Impact Summaries

Regression verification techniques are used to prove equivalence of syntactically similar programs. Checking equivalence of large programs, however, can be computationally expensive. Existing regression verification techniques rely on abstraction and decomposition techniques to reduce the computational effort of checking equivalence of the entire program. These techniques are sound but not complete. In this work, we propose a novel approach to improve scalability of regression verification by classifying the program behaviors generated during symbolic execution as either impacted or unimpacted. Our technique uses a combination of static analysis and symbolic execution to generate summaries of impacted program behaviors. The impact summaries are then checked for equivalence using an o-the-shelf decision procedure. We prove that our approach is both sound and complete for sequential programs, with respect to the depth bound of symbolic execution. Our evaluation on a set of sequential C artifacts shows that reducing the size of the summaries can help reduce the cost of software equivalence checking. Various reduction, abstraction, and compositional techniques have been developed to help scale software verification techniques to industrial-sized systems. Although such techniques have greatly increased the size and complexity of systems that can be checked, analysis of large software systems remains costly. Regression analysis techniques, e.g., regression testing [16], regression model checking [22], and regression verification [19], restrict the scope of the analysis by leveraging the differences between program versions. These techniques are based on the idea that if code is checked early in development, then subsequent versions can be checked against a prior (checked) version, leveraging the results of the previous analysis to reduce analysis cost of the current version. Regression verification addresses the problem of proving equivalence of closely related program versions [19]. These techniques compare two programs with a large degree of syntactic similarity to prove that portions of one program version are equivalent to the other. Regression verification can be used for guaranteeing backward compatibility, and for showing behavioral equivalence in programs with syntactic differences, e.g., when a program is refactored to improve its performance, maintainability, or readability. Existing regression verification techniques leverage similarities between program versions by using abstraction and decomposition techniques to improve scalability of the analysis [10, 12, 19]. The abstractions and decomposition in the these techniques, e.g., summaries of unchanged code [12] or semantically equivalent methods [19], compute an over-approximation of the program behaviors. The equivalence checking results of these techniques are sound but not complete-they may characterize programs as not functionally equivalent when, in fact, they are equivalent. In this work we describe a novel approach that leverages the impact of the differences between two programs for scaling regression verification. We partition program behaviors of each version into (a) behaviors impacted by the changes and (b) behaviors not impacted (unimpacted) by the changes. Only the impacted program behaviors are used during equivalence checking. We then prove that checking equivalence of the impacted program behaviors is equivalent to checking equivalence of all program behaviors for a given depth bound. In this work we use symbolic execution to generate the program behaviors and leverage control- and data-dependence information to facilitate the partitioning of program behaviors. The impacted program behaviors are termed as impact summaries. The dependence analyses that facilitate the generation of the impact summaries, we believe, could be used in conjunction with other abstraction and decomposition based approaches, [10, 12], as a complementary reduction technique. An evaluation of our regression verification technique shows that our approach is capable of leveraging similarities between program versions to reduce the size of the queries and the time required to check for logical equivalence. The main contributions of this work are: - A regression verification technique to generate impact summaries that can be checked for functional equivalence using an off-the-shelf decision procedure. - A proof that our approach is sound and complete with respect to the depth bound of symbolic execution. - An implementation of our technique using the LLVMcompiler infrastructure, the klee Symbolic Virtual Machine [4], and a variety of Satisfiability Modulo Theory (SMT) solvers, e.g., STP [7] and Z3 [6]. - An empirical evaluation on a set of C artifacts which shows that the use of impact summaries can reduce the cost of regression verification.

Backes, John↗

NASA NTRS2013

Apparatuses and Methods for Producing Runtime Architectures of Computer Program Modules

Apparatuses and methods for producing run-time architectures of computer program modules. One embodiment includes creating an abstract graph from the computer program module and from containment information corresponding to the computer program module, wherein the abstract graph has nodes including types and objects, and wherein the abstract graph relates an object to a type, and wherein for a specific object the abstract graph relates the specific object to a type containing the specific object; and creating a runtime graph from the abstract graph, wherein the runtime graph is a representation of the true runtime object graph, wherein the runtime graph represents containment information such that, for a specific object, the runtime graph relates the specific object to another object that contains the specific object.

Abi-Antoun, Marwan Elia↗

DOE OSTI2014

Information processing systems, reasoning modules, and reasoning system design methods

Information processing systems, reasoning modules, and reasoning system design methods are described. According to one aspect, an information processing system includes working memory comprising a semantic graph which comprises a plurality of abstractions, wherein the abstractions individually include an individual which is defined according to an ontology and a reasoning system comprising a plurality of reasoning modules which are configured to process different abstractions of the semantic graph, wherein a first of the reasoning modules is configured to process a plurality of abstractions which include individuals of a first classification type of the ontology and a second of the reasoning modules is configured to process a plurality of abstractions which include individuals of a second classification type of the ontology, wherein the first and second classification types are different.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2015

Information processing systems, reasoning modules, and reasoning system design methods

96 KNOWLEDGE MANAGEMENT AND PRESERVATION↗

DOE OSTI2016

Information processing systems, reasoning modules, and reasoning system design methods

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2023

Insight into the Radiolytic Degradation Mechanism of TODGA

Partitioning and transmutation schemes, where americium is separated from other components of used nuclear fuel and burned in a fast neutron reactor, offer a path to dramatically decrease the space requirements for storage of nuclear fuel cycle wastes, allowing more efficient usage of potentially scarce storage resources.[1] Improvements in the efficiency of processes for separating americium from used nuclear fuels can thus have a significant impact on the costs of future nuclear fuel cycles. Understanding separation ligand radiation chemistry is important for development of new ligands and processes, as the ligand degradation products can have a deleterious effect on a separation process. Tetraoctyl diglycolamide (TODGA) has been studied as a ligand for lanthanide/minor actinide extraction for partitioning and transmutation schemes. However, the mechanism of initial energy transfer from products of solvent radiolysis to TODGA is still under debate. One proposed mechanism is attack by a n-dodecane radical cation resulting in electron abstraction and formation of a TODGA radical cation,[2] while later work has proposed hydrogen abstraction from sites adjacent to the central ether oxygen by other radical species.[3] The latter mechanism is proposed to result in degradation products from rupture of the ether bond. However, radiolytic degradation of TODGA in n-dodecane shows products that would result from rupture of all the backbone bonds. There is little information on what degradation products would be expected to form from the TODGA radical cation. In this work, we have begun to investigate this by examining the electron impact (EI) ionization mass spectrum of TODGA, which initially produces a TODGA radical cation in the gas phase. The EI spectrum shows fragments that would result from most backbone bond cleavages, similar to what is observed in the radiolysis of TODGA in n-dodecane. As the lifetime of the solvent radical cation decreases from n-dodecane to n-hexane,[4] irradiation of TODGA in n-hexane should have less solvent radical cations available for reaction with TODGA, and instead should favor reactions with longer-lived radicals. In contrast to n-dodecane, radiolytic degradation of TODGA in n-hexane produces only N,N-dioctylacetamide, which would result from rupture of the ether bond. The n-dodecane radical cation lifetime is long enough to produce TODGA radical cations but the n-hexane radical cation is mostly consumed before reaction with TODGA, so other radical processes that abstract hydrogen from TODGA dominate. This suggests that electron abstraction by the n-dodecane radical cation is an important component of TODGA radiolysis, although it does not rule out the presence of mechanisms involving hydrogen abstraction adjacent to the ether oxygen. References [1] J. Serp et al., Energies 2017, 10 (9), DOI: 10.3390/en10091445. [2] C. Zarzana et al., Solvent Extr. Ion Exch. 2015, 33 (5), 431–447, DOI: 10.1080/07366299.2015.1012885. [3] T. Koubský et al., Prog. Nucl. Energy 2017, 94, 208–215, DOI: 10.1016/j.pnucene.2016.07.010. [4] F. Sviridenko et al., Chem. Phys. Lett. 1998, 297 (3), 343–349, DOI: 10.1016/S0009-2614(98)01099-9.

38 RADIATION CHEMISTRY, RADIOCHEMISTRY, AND NUCLEA↗

DOE OSTI2024

Syntheses of Tungsten Imido Cyclohexylidene Complexes Using Perfluoro‐ t ‐Butanol or Hexafluoro‐ t ‐Butanol as Acids

Abstract The fluorinated alcohols, (CF 3 ) 3 COH (R F9 OH) and (CF 3 ) 2 MeCOH (R F6 OH), react with W(NR) 2 Cy 2 (Cy=Cyclohexyl; R=2,6‐diisopropylphenyl or 1‐adamantyl) in C 6 D 6 at 55 °C to give cyclohexylidene complexes. Traditional routes to terminal alkylidene complexes (neopentylidene or neophylidene) have used either triflic acid or HCl (rarely), but relatively weak fluorinated acids are sufficient and active bisalkoxide catalysts are therefore prepared directly. An α hydrogen abstraction reaction to give a cyclohexylidene complex from a biscyclohexyl complex appears to be as facile as α hydrogen abstraction to give a neopentylidene or neophylidene ligand, but isomerization of a cyclohexene formed through β hydrogen abstraction is also a possibility. The OR F9 ligands can be replaced readily with dimethylpyrrolide (Me 2 Pyr) or other more basic alkoxides. Single crystal X‐ray studies were carried out on W(NAr) 2 Cy 2 , W(NAr)(OR F9 ) 2 (C 6 H 10 )(ArNH 2 ), W(NAr)(OR F6 ) 2 (C 6 H 10 )(ArNH 2 ), W(NAd)(OR F9 ) 2 (C 6 H 10 )(AdNH 2 ), W(NAr)(O‐ i ‐Pr F6 ) 3 Cy, and W(NAd)(η 1 ‐Me 2 Pyr) 2 (C 6 H 10 ) (C 6 H 10 =cyclohexylidene).

Maji, Milan↗

DOE OSTI2016

Modeling Human Comprehension of Data Visualization.

Abstract not provided.

Haass, Michael Joseph↗

DOE OSTI2017

Assessing anthropogenic impacts on limited water resources under semi-arid conditions: three-dimensional transient regional modelling in Jordan

Both increasing aridity and population growth strongly stress freshwater resources in semi-arid areas such as Jordan. The country’s second largest governorate, Irbid, with over 1 million inhabitants, is already suffering from an annual water deficit of 25 million cubic meters (MCM). The population is expected to double within the next 20 years. Even without the large number of refugees from Syria, the deficit will likely increase to more then 50 MCM per year by 2035 The Governorate’s exclusive resource is groundwater, abstracted by the extensive Al Arab and Kufr Asad well fields. This study presents the first three-dimensional transient regional groundwater flow model of the entire Wadi al Arab to answer important questions regarding the dynamic quality and availability of water within the catchment. Emphasis is given to the calculation and validation of the dynamic groundwater recharge, derived from a multi-proxy approach, including (1) a hydrological model covering a 30-years dataset, (2) groundwater level measurements and (3) information about springs. The model enables evaluation of the impact of abstraction on the flow regime and the groundwater budget of the resource. Sensitivity analyses of controlling parameters indicate that intense abstraction in the southern part of the Wadi al Arab system can result in critical water-level drops of 10 m at a distance of 16 km from the production wells. Moreover, modelling results suggest that observed head fluctuations are strongly controlled by anthropogenic abstraction rather than variable recharge rates due to climate changes.

58 GEOSCIENCES↗

DOE OSTI2019

Approximating Two-Stage Chance-Constrained Programs with Classical Probability Bounds

We consider a joint-chance constraint (JCC) as a union of sets, and approximate this union using bounds from classical probability theory. When these bounds are used in an optimization model constrained by the JCC, we obtain corresponding upper and lower bounds on the optimal objective function value. We compare the strength of these bounds against each other under two different sampling schemes, and observe that a larger correlation between the uncertainties tends to result in more computationally challenging optimization models. We also observe the same set of inequalities to provide the tightest upper and lower bounds in our computational experiments.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2015

Phthalate exposure and childrens neurodevelopment: A systematic review

Background: Emerging evidence from observational studies suggests that prenatal exposure to phthalates affects neurodevelopment in children. Objective: To conduct a systematic review of the existing literature on the association between urinary phthalate concentrations and children's neurodevelopment. Methods: We searched electronic bibliographic databases (MEDLINE, PubMed, EMBASE, PsycINFO, CINAHL, Global Health, CAB abstracts, and ERIC) (1910 to February 21st, 2014); reference lists of included articles, and conference abstracts (American Psychiatric Association, American Academy of Neurology, and Pediatric Academic Societies). Two independent reviewers screened abstracts and extracted data. We included original studies reporting on the association between prenatal or childhood urinary phthalate metabolites, and cognitive and behavioral outcomes (e.g., IQ scores, BASC-2 scores or equivalent) in children 0–12 years of age. Results: Of 2804 abstracts screened, 11 original articles met our criteria for inclusion. Conclusions: A systematic review of the literature supports the contention that prenatal exposure phthalates is associated with adverse cognitive and behavioral outcomes in children, including lower IQ, and problems with attention, hyperactivity, and poorer social communication. Further research characterizing the associations between specific phthalate metabolites and children's neurodevelopmental outcomes is needed to support the development of mitigation strategies and enhance the development of appropriate health policy. - Highlights: • Prenatal maternal urinary concentrations of phthalate metabolites appear to be associated with adverse cognitive and behavioral outcomes in children. • Both low molecular weight (e.g., monobutyl phthalate, MBP) and high molecular weight (e.g., di(2-ethylhexyl) phthalate, DEHP) phthalate metabolites are associated with adverse cognitive and behavioral outcomes. • Sex-specific effects from phthalate exposure were noted between low (e.g., mono-n-butyl phthalate, MnBP) and high (e.g., DEHP) molecular weight phthalate metabolites, and cognitive and behavioral outcomes.

54 ENVIRONMENTAL SCIENCES↗