Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “knowledge systems”

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 1,153 records · Page 64
All sourcesNASA NTRSDOE OSTI
NASA NTRS1989

Reasoning about software specifications - A case study

The launch intercept condition (LIC) problem was analyzed to better understand the complexity of the automated reasoning process and the nature and role of background knowledge. An extension to resolution-based logic processing systems, called constraint logic programming, is described. Consideration is also given to a knowledge-driven incremental reasoning architecture which integrates a generic constraint logic programming system with a knowledge base of the domain.

Wild, Chris↗
NASA NTRS1974

Acid-base homeostasis in the human system

Acid-base regulation is a cooperative phenomena in vivo with body fluids, extracellular and intracellular buffers, lungs, and kidneys all playing important roles. The present account is much too brief to be considered a review of present knowledge of these regulatory systems, and should be viewed, instead, as a guide to the elements necessary to construct a simple model of the mutual interactions of the acid-base regulatory systems of the body.

White, R. J.↗
NASA NTRS2014

Phase Equilibrium Experiments on Potential Lunar Core Compositions: Extension of Current Knowledge to Multi-Component (Fe-Ni-Si-S-C) Systems

Numerous geophysical and geochemical studies have suggested the existence of a small metallic lunar core, but the composition of that core is not known. Knowledge of the composition can have a large impact on the thermal evolution of the core, its possible early dynamo creation, and its overall size and fraction of solid and liquid. Thermal models predict that the current temperature at the core-mantle boundary of the Moon is near 1650 K. Re-evaluation of Apollo seismic data has highlighted the need for new data in a broader range of bulk core compositions in the PT range of the lunar core. Geochemical measurements have suggested a more volatile-rich Moon than previously thought. And GRAIL mission data may allow much better constraints on the physical nature of the lunar core. All of these factors have led us to determine new phase equilibria experimental studies in the Fe-Ni-S-C-Si system in the relevant PT range of the lunar core that will help constrain the composition of Moon's core.

Righter, K.↗
NASA NTRS1978

Ground tracking system phase fluctuation spectra

Spectral analysis of solar wind plasma fluctuation requires knowledge of the average ground tracking system phase fluctuation spectrum. Typical ground tracking system phase fluctuation spectra are presented as deduced from two-way S-band Doppler noise measured at large Sun-Earth-Probe angles.

Berman, A. L.↗
NASA NTRS1985

Archean sedimentary systems and crustal evolution

Current knowledge of preserved Archean sedimentary rocks suggests that they accumulated in at least three major depositional settings. These are represented generally by sedimentary units: (1) in early Archean, pre-3.0 Ga old greenstone belts, (2) on late Archean sialic cratons, and (3) in late Archean, post-3.0 Ga old greenstone belts. Research suggests that the Archean was characterized by at least two distinctive and largely diachronous styles of crustal evolution. Thick, stable early Archean simatic platforms, perhaps analogous to modern oceanic islands formed over hot spots, underwent a single cycle of cratonization to form stable continental blocks in the early Archean. Later formed Archean continents show a two stage evolution. The initial stage is reflected in the existence of older sialic material, perhaps representing incompletely cratonized areas or microcontinents of as yet unknown origin. During the second stage, late Archean greenstone belts, perhaps analogous to modern magmatic arcs or back arc basins, developed upon or adjacent to these older sialic blocks. The formation of this generation of Archean continents was largely complete by the end of the Archean. These results suggest that Archean greenstone belts may represent a considerable range of sedimentological and tectonic settings.

Lowe, D. R.↗
NASA NTRS2020

SEE Test and Data Analysis for Complex FPGA Systems

Critical space applications require knowledge of single event upset (SEU) susceptibility (mission survivability). Generic SEU test and analysis techniques do not provide adequate data for survivability analysis. This presentation provides information on how to: (1) Investigate (test for) SEU susceptibilities of tactical (mission specific) designs that are implemented in a SRAM-based FPGA; and (2) Analyze SEU cross-sections for use in survivability prediction.

Berg, Melanie↗
NASA NTRS1997

Application of NASA's Advanced Life Support Technologies in Polar Regions

The problems of obtaining adequate pure drinking water and disposing of liquid and solid waste in the U.S Arctic, a region where virtually all water is frozen solid for much of the year, has led to unsanitary solutions. Sanitation and a safe water supply are particularly problems in rural villages. These villages are without running water and use plastic buckets for toilets. The outbreak of diseases is believed to be partially attributable to exposure to human waste and lack of sanitation. Villages with the most frequent outbreaks of disease are those in which running water is difficult to obtain. Waste is emptied into open lagoons, rivers, or onto the sea coast. It does not degrade rapidly and in addition to affecting human health, can be harmful to the fragile ecology of the Arctic and the indigenous wildlife and fish populations. Current practices for waste management and sanitation pose serious human hazards as well as threaten the environment. NASA's unique knowledge of water/wastewater treatment systems for extreme environments, identified in the Congressional Office of Technology Assessment report entitled An Alaskan Challenge: Native Villagt Sanitation, may offer practical solutions addressing the issues of safe drinking water and effective sanitation practices in rural villages. NASA's advanced life support technologies are being combined with Arctic science and engineering knowledge to address the unique needs of the remote communities of Alaska through the Advanced Life Systems for Extreme Environments (ALSEE) project. ALSEE is a collaborative effort involving the NASA, the State of Alaska, the University of Alaska, the North Slope Borough of Alaska, Ilisagvik College in Barrow and the National Science Foundation (NSF). The focus is a major issue in the State of Alaska and other areas of the Circumpolar North; the health and welfare of its people, their lives and the subsistence lifestyle in remote communities, economic opportunity, and care for the environment. As advanced technologies are transferred to the commercial sector the ALSEE project Offers the potential for development of new industries in Alaska to supply the products to support remote communities of the globe.

Bubenheim, David L.↗
NASA NTRS1986

Rdesign: A data dictionary with relational database design capabilities in Ada

Data Dictionary is defined to be the set of all data attributes, which describe data objects in terms of their intrinsic attributes, such as name, type, size, format and definition. It is recognized as the data base for the Information Resource Management, to facilitate understanding and communication about the relationship between systems applications and systems data usage and to help assist in achieving data independence by permitting systems applications to access data knowledge of the location or storage characteristics of the data in the system. A research and development effort to use Ada has produced a data dictionary with data base design capabilities. This project supports data specification and analysis and offers a choice of the relational, network, and hierarchical model for logical data based design. It provides a highly integrated set of analysis and design transformation tools which range from templates for data element definition, spreadsheet for defining functional dependencies, normalization, to logical design generator.

Lekkos, Anthony A.↗
NASA NTRS1993

Towards autonomous fuzzy control

The efficient implementation of on-line adaptation in real time is an important research problem in fuzzy control. The goal is to develop autonomous self-organizing controllers employing system-independent control meta-knowledge which enables them to adjust their control policies depending on the systems they control and the environments in which they operate. An autonomous fuzzy controller would continuously observe system behavior while implementing its control actions and would use the outcomes of these actions to refine its control policy. It could be designed to lie dormant when its control actions give rise to adequate performance characteristics but could rapidly and autonomously initiate real-time adaptation whenever its performance degrades. Such an autonomous fuzzy controller would have immense practical value. It could accommodate individual variations in system characteristics and also compensate for degradations in system characteristics caused by wear and tear. It could also potentially deal with black-box systems and control scenarios. On-going research in autonomous fuzzy control is reported. The ultimate research objective is to develop robust and relatively inexpensive autonomous fuzzy control hardware suitable for use in real time environments.

Shenoi, Sujeet↗
NASA NTRS2021

Future Model-Based Systems Engineering Vision and Strategy Bridge for NASA

A vision for the future of model-based systems engineering (MBSE) at NASA in 2029 and a strategy bridge towards that future are presented. Strategic thinking and leading change concepts were used to analyze reports and presentations on global trends and visionary thinking about the future of systems and digital engineering. The context, strategic time horizon, stakeholders, strategic challenges, strategic advantages, driving forces, and opportunities were considered. The analysis resulted in a future vision of MBSE that shows what NASA systems engineers and digital machines will do to perform rapid, extraordinary, and unprecedented missions. The NASA systems engineer, in this future vision, works with a global project team in a virtual and collaborative environment, engineers the system, and uses digital approaches as the routine and default way of working. The digital machines provide data-driven and automated mission designs; have a backbone of program and project management, systems engineering, and product life-cycle management; and are a knowledge-sharing infrastructure. The NASA systems engineer and the systems engineering team are envisioned to use digital machines to plan and perform rapid exploration missions, develop a digital twin that lasts across the life cycle, and develop enduring and adaptable systems. NASA has an engineering enterprise and a life-cycle management framework that endure, adapt, and respond. A strategy bridge based on the Baldrige Criteria for Performance Excellence Framework and lessons learned from a recent MBSE initiative illuminates a way forward from today to this desired future. The bridge lays out a strategy for leaders and recommends investments of today for immediate benefits and for benefits in 2029.

model-based systems engineering, digital engineeri↗
NASA NTRS2021

Demonstrations of System-Level Autonomy for Spacecraft

System-level autonomy refers to autonomously meeting the crosscutting needs of a system through awareness and coordinated control spanning the system's breadth of capabilities. In contrast to function-level autonomy, which focuses on capabilities required to achieve a specific function such as surface navigation or image recognition, system-level autonomy addresses the needs to coordinate and manage activities and resources, and estimate the state, across subsystems. This paper describes demonstrations that were conducted on a spacecraft workstation testbed. The autonomy was provided by system-level planning and execution integrated with system-level estimators of orbit knowledge and spacecraft hardware health. These components are embedded in a system-level framework defining how goals are formed and executed, which elements exist, and how control authority is distributed among components. The planning and execution system at the heart of the framework has the capability to schedule, execute and monitor completion of tasks, as well as plan around unexpected events including new science opportunities and anomalies. The planning and scheduling system is the Multi-mission EXECutive (MEXEC), supported by the system-level health state estimator Model-Based Off-Nominal State Identification and Detection (MONSID), and Autonomous Navigation (AutoNav) algorithms, which determine the orbital system state based on optical observation of other targets. These components are applicable to many kinds of missions on different platforms. These demonstrations were elaborations of earlier experiments conducted on the ASTERIA (Arcsecond Space Telescope Enabling Research In Astrophysics) CubeSat, described in a companion submission [1]. The spacecraft’s extended mission served as an in-flight test platform, during which some individual autonomous capabilities were flown successfully. The autonomy experiments described here were performed on the ASTERIA workstation testbed.

Prather, Maurice↗
DOE OSTI2021

Automating Discovery of Physics-Informed Neural State Space Models via Learning and Evolution

Recent works exploring deep learning application to dynamical systems modeling have demonstrated that embedding physical priors into neural networks can yield more effective, physically-realistic, and data-efficient models. However, in the absence of complete prior knowledge of a dynamical system's physical characteristics, determining the optimal structure and optimization strategy for these models can be difficult. In this work, we explore methods for discovering neural state space dynamics models for system identification. Starting with a design space of block-oriented state space models and structured linear maps with strong physical priors, we encode these components into a model genome alongside network structure, penalty constraints, and optimization hyperparameters. Demonstrating the overall utility of the design space, we employ an asynchronous genetic search algorithm that alternates between model selection and optimization and obtains accurate physically consistent models of three physical systems: an aerodynamics body, a continuous stirred tank reactor, and a two tank interacting system.

genetic algorithms, neural architecture search, ne↗
NASA NTRS1998

Fuzzy Versions of Epistemic and Deontic Logic

Epistemic and deontic logics are modal logics, respectively, of knowledge and of the normative concepts of obligation, permission, and prohibition. Epistemic logic is useful in formalizing systems of communicating processes and knowledge and belief in AI (Artificial Intelligence). Deontic logic is useful in computer science wherever we must distinguish between actual and ideal behavior, as in fault tolerance and database integrity constraints. We here discuss fuzzy versions of these logics. In the crisp versions, various axioms correspond to various properties of the structures used in defining the semantics of the logics. Thus, any axiomatic theory will be characterized not only by its axioms but also by the set of properties holding of the corresponding semantic structures. Fuzzy logic does not proceed with axiomatic systems, but fuzzy versions of the semantic properties exist and can be shown to correspond to some of the axioms for the crisp systems in special ways that support dependency networks among assertions in a modal domain. This in turn allows one to implement truth maintenance systems. For the technical development of epistemic logic, and for that of deontic logic. To our knowledge, we are the first to address fuzzy epistemic and fuzzy deontic logic explicitly and to consider the different systems and semantic properties available. We give the syntax and semantics of epistemic logic and discuss the correspondence between axioms of epistemic logic and properties of semantic structures. The same topics are covered for deontic logic. Fuzzy epistemic and fuzzy deontic logic discusses the relationship between axioms and semantic properties for these logics. Our results can be exploited in truth maintenance systems.

Ramasamy S Gounder↗
NASA NTRS1990

Fuzzy logic in control systems: Fuzzy logic controller. I, II

Recent advances in the theory and applications of fuzzy-logic controllers (FLCs) are examined in an analytical review. The fundamental principles of fuzzy sets and fuzzy logic are recalled; the basic FLC components (fuzzification and defuzzification interfaces, knowledge base, and decision-making logic) are described; and the advantages of FLCs for incorporating expert knowledge into a control system are indicated. Particular attention is given to fuzzy implication functions, the interpretation of sentence connectives (and, also), compositional operators, and inference mechanisms. Applications discussed include the FLC-guided automobile developed by Sugeno and Nishida (1985), FLC hardware systems, FLCs for subway trains and ship-loading cranes, fuzzy-logic chips, and fuzzy computers.

Lee, Chuen Chien↗
NASA NTRS1990

The NASA/DOD aerospace knowledge diffusion research project: A research agenda

The project has both immediate and long term purposes. In the first instance it provides a practical and pragmatic basis for understanding how the results of NASA/DoD research diffuse into the aerospace R and D process. Over the long term it provides an empirical basis for understanding the aerospace knowledge diffusion process itself, and its implications at the individual, organizational, national, and international levels. The project is studying the major barriers to effective knowledge diffusion. This project will provide descriptive and analytical data regarding the flow of scientific and technical information (STI). It will examine both channels used to communicate information and the social system of the aerospace knowledge diffusion process.

Pinelli, Thomas E.↗
DOE OSTI2026

Knowledge Graph for End-to-End Traceability of an Integrated Human-Earth System Model

Integrated human-Earth system models inform energy-water-land system dynamics and policies, yet their results are difficult to trace through input-data, model structure, scenario configurations, and solved outputs. Because this information is siloed across disconnected artifacts, process-based IAMs have historically lacked a unified, queryable representation. Such lack of traceability prevents researchers from systematically isolating the multi-sector drivers of complex outcomes (such as tracing water-scarcity results back to distant energy-system dynamics) or conducting holistic uncertainty attribution across hundreds of interacting parameters. To address this concern, our work documents the software engineering process of a knowledge graph that unifies these four layers for the Global Change Analysis Model (GCAM-USA_Reference scenario, GCAM v9.1). The graph was built as a relational property graph in DuckDB from the run’s own artifacts: the input-preparation dependency map (gcamdata chunk map), the model’s XML input files, the run configuration, and the results database (BaseX), successfully mapping the model’s declared structure. The resulting graph comprises 204,321 nodes and 1,687,814 edges across 16 node types and 15 edge types, with approximately 16.3 million time-series values stored separately to maintain structural efficiency. To ensure representation fidelity, every edge carries an epistemic-status annotation recording the warrant for the relationship (structural, provenance, dependency, or model-derived), and a machine-readable provenance ledger classifying the origin of every schema element. Evaluation against a fixed five-benchmark suite with locked baselines reports zero structural orphans, zero dangling edge endpoints, and 100% of output-producing technologies traceable to raw input files. Two interactive interfaces present the graph, including a serverless browser application built on DuckDB-Wasm. By establishing the first end-to-end provenance framework for an IAM, this work enables researchers and scientists to systematically audit complex policy scenarios, debug model structures, and trace policy-relevant outputs to their data origins in real time.

Artifical Intelligence↗
NASA NTRS2004

Utilizing Expert Knowledge in Estimating Future STS Costs

A method of estimating the costs of future space transportation systems (STSs) involves classical activity-based cost (ABC) modeling combined with systematic utilization of the knowledge and opinions of experts to extend the process-flow knowledge of existing systems to systems that involve new materials and/or new architectures. The expert knowledge is particularly helpful in filling gaps that arise in computational models of processes because of inconsistencies in historical cost data. Heretofore, the costs of planned STSs have been estimated following a "top-down" approach that tends to force the architectures of new systems to incorporate process flows like those of the space shuttles. In this ABC-based method, one makes assumptions about the processes, but otherwise follows a "bottoms up" approach that does not force the new system architecture to incorporate a space-shuttle-like process flow. Prototype software has been developed to implement this method. Through further development of software, it should be possible to extend the method beyond the space program to almost any setting in which there is a need to estimate the costs of a new system and to extend the applicable knowledge base in order to make the estimate.

Fortner, David B.↗