Search NASA⌕ Search

SEARCH · Search NASA

Results for “Knowledge Modeling”

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 271 records · Page 15

Program Simulates A Modular Manufacturing System

SSE computer program provides simulation environment for modeling manufacturing systems containing relatively small numbers of stations and operators. Designed to simulate manufacturing of apparel, also used in other manufacturing domains. Excellent for small or medium-size firms including those lacking expertise to develop detailed models or have only minimal knowledge in describing manufacturing systems and in analyzing results of simulations on mathematical models. User does not need to know simulation language to use SSE. Used to design new modules and to evaluate existing modules. Originally written in Turbo C v2.0 for IBM PC-compatible computers running MS-DOS and successfully implemented by use of Turbo C++ v3.0.

Schroer, Bernard J.↗

Another Program Simulates A Modular Manufacturing System

SSE5 computer program provides simulation environment for modeling manufacturing systems containing relatively small numbers of stations and operators. Designed to simulate manufacturing of apparel, also used in other manufacturing domains. Valuable for small or medium-size firms, including those lacking expertise to develop detailed mathematical models or have only minimal knowledge in describing manufacturing systems and in analyzing results of simulations on mathematical models. Two other programs available bundled together as SSE (MFS-26245). Each program models slightly different manufacturing scenario. Written in Turbo C v2.0 for IBM PC-series and compatible computers running MS-DOS and successfully compiled using Turbo C++ v3.0.

Schroer, Bernard J.↗

On-Orbit Cross Calibration Between the Osiris-Rex Orbiting Laser Altimeter and Navigation Camera

Accurate shape models of small bodies provide both science value and resources for precision relative navigation. One instrument commonly used for generating shape models is the laser altimeter. Laser altimeters require accurate intrinsic and extrinsic calibration knowledge to produce accurate shape models. Here, we describe a method used for updating the intrinsic and extrinsic calibration parameters of the laser altimeter onboard the Origins, Spectral Interpretation, Resource Identification, and Security–Regolith Explorer (OSIRIS-REx) spacecraft, OLA (OSIRISREx Laser Altimeter). We perform the calibration update by comparing the OLA scans with monocular camera images of the asteroid surface captured by the primary navigation camera.

Andrew J. Liounis↗

Domain and Specification Models for Software Engineering

This paper discusses our approach to representing application domain knowledge for specific software engineering tasks. Application domain knowledge is embodied in a domain model. Domain models are used to assist in the creation of specification models. Although many different specification models can be created from any particular domain model, each specification model is consistent and correct with respect to the domain model. One aspect of the system-hierarchical organization is described in detail.

Iscoe, Neil↗

System monitoring and diagnosis with qualitative models

A substantial foundation of tools for model-based reasoning with incomplete knowledge was developed: QSIM (a qualitative simulation program) and its extensions for qualitative simulation; Q2, Q3 and their successors for quantitative reasoning on a qualitative framework; and the CC (component-connection) and QPC (Qualitative Process Theory) model compilers for building QSIM QDE (qualitative differential equation) models starting from different ontological assumptions. Other model-compilers for QDE's, e.g., using bond graphs or compartmental models, have been developed elsewhere. These model-building tools will support automatic construction of qualitative models from physical specifications, and further research into selection of appropriate modeling viewpoints. For monitoring and diagnosis, plausible hypotheses are unified against observations to strengthen or refute the predicted behaviors. In MIMIC (Model Integration via Mesh Interpolation Coefficients), multiple hypothesized models of the system are tracked in parallel in order to reduce the 'missing model' problem. Each model begins as a qualitative model, and is unified with a priori quantitative knowledge and with the stream of incoming observational data. When the model/data unification yields a contradiction, the model is refuted. When there is no contradiction, the predictions of the model are progressively strengthened, for use in procedure planning and differential diagnosis. Only under a qualitative level of description can a finite set of models guarantee the complete coverage necessary for this performance. The results of this research are presented in several publications. Abstracts of these published papers are presented along with abtracts of papers representing work that was synergistic with the NASA grant but funded otherwise. These 28 papers include but are not limited to: 'Combined qualitative and numerical simulation with Q3'; 'Comparative analysis and qualitative integral representations'; 'Model-based monitoring of dynamic systems'; 'Numerical behavior envelopes for qualitative models'; 'Higher-order derivative constraints in qualitative simulation'; and 'Non-intersection of trajectories in qualitative phase space: a global constraint for qualitative simulation.'

Kuipers, Benjamin↗

An Overview of NASA’s Newest Engineering Model, ORDEM 4.0

Since the mid-1990s, one of the most important products produced by the NASA Orbital Debris Program Office (ODPO) has been the Orbital Debris Engineering Model (ORDEM). This series of models distills down our knowledge of the orbital debris environment to compute debris fluxes on satellites in a given orbit. This information can be used by spacecraft and upper stage designers and operators to design missions for better protection against the debris environment. The current version of the model is ORDEM 3.2, but the ODPO is working on the next generation of ORDEM, to be designated ORDEM 4.0. ORDEM 4.0 will include many known features from previous models, such as the ability to input a spacecraft orbit and time and to compute the flux as a function of debris size, impact speed, impact direction, and debris material densities, as well as uncertainty information on the flux. ORDEM 4.0 will update debris populations using the most recent measurements, including radar observations by the Haystack Ultrawideband Satellite Imaging Radar (HUSIR), NASA’s Goldstone radar, data from the new Space Surveillance Network Space Fence, and observations of Geosynchronous Earth Orbits (GEO) using the Eugene Stansbery-Meter Class Autonomous Telescope (ES-MCAT). The latest in situ impact data from returned hardware surfaces will be used. In addition, ORDEM 4.0 will introduce a parameterized debris shape model based on laboratory hypervelocity impact tests, such as DebriSat. This will allow analysts to implement shape characteristics in their damage equations and more accurately predict impact damage risk by debris of different shapes and orientations. This paper provides an overview of some of the new features forthcoming in ORDEM 4.0 and a status report on its development.

Mark Matney↗

An Overview of NASA’s Newest Engineering Model, ORDEM 4.0

Since the mid-1990s, one of the most important products produced by the NASA Orbital Debris Program Office (ODPO) has been the Orbital Debris Engineering Model (ORDEM). This series of models distills down our knowledge of the orbital debris environment to compute debris fluxes on satellites in a given orbit. This information can be used by spacecraft and upper stage designers and operators to design missions for better protection against the debris environment. The current version of the model is ORDEM 3.2, but the ODPO is working on the next generation of ORDEM, to be designated ORDEM 4.0. ORDEM 4.0 will include many known features from previous models, such as the ability to input a spacecraft orbit and time and to compute the flux as a function of debris size, impact speed, impact direction, and debris material densities, as well as uncertainty information on the flux. ORDEM 4.0 will update debris populations using the most recent measurements, including radar observations by the Haystack Ultrawideband Satellite Imaging Radar (HUSIR), NASA’s Goldstone radar, data from the new Space Surveillance Network Space Fence, and observations of Geosynchronous Earth Orbits (GEO) using the Eugene Stansbery-Meter Class Autonomous Telescope (ES-MCAT). The latest in situ impact data from returned hardware surfaces will be used. In addition, ORDEM 4.0 will introduce a parameterized debris shape model based on laboratory hypervelocity impact tests, such as DebriSat. This will allow analysts to implement shape characteristics in their damage equations and more accurately predict impact damage risk by debris of different shapes and orientations. This paper provides an overview of some of the new features forthcoming in ORDEM 4.0 and a status report on its development.

Mark Matney↗

Aircraft Fault Detection Using Real-Time Frequency Response Estimation

A real-time method for estimating time-varying aircraft frequency responses from input and output measurements was demonstrated. The Bat-4 subscale airplane was used with NASA Langley Research Center's AirSTAR unmanned aerial flight test facility to conduct flight tests and collect data for dynamic modeling. Orthogonal phase-optimized multisine inputs, summed with pilot stick and pedal inputs, were used to excite the responses. The aircraft was tested in its normal configuration and with emulated failures, which included a stuck left ruddervator and an increased command path latency. No prior knowledge of a dynamic model was used or available for the estimation. The longitudinal short period dynamics were investigated in this work. Time-varying frequency responses and stability margins were tracked well using a 20 second sliding window of data, as compared to a post-flight analysis using output error parameter estimation and a low-order equivalent system model. This method could be used in a real-time fault detection system, or for other applications of dynamic modeling such as real-time verification of stability margins during envelope expansion tests.

Grauer, Jared A.↗

Functional Fault Model Development Process to Support Design Analysis and Operational Assessment

A functional fault model (FFM) is an abstract representation of the failure space of a given system. As such, it simulates the propagation of failure effects along paths between the origin of the system failure modes and points within the system capable of observing the failure effects. As a result, FFMs may be used to diagnose the presence of failures in the modeled system. FFMs necessarily contain a significant amount of information about the design, operations, and failure modes and effects. One of the important benefits of FFMs is that they may be qualitative, rather than quantitative and, as a result, may be implemented early in the design process when there is more potential to positively impact the system design. FFMs may therefore be developed and matured throughout the monitored system's design process and may subsequently be used to provide real-time diagnostic assessments that support system operations. This paper provides an overview of a generalized NASA process that is being used to develop and apply FFMs. FFM technology has been evolving for more than 25 years. The FFM development process presented in this paper was refined during NASA's Ares I, Space Launch System, and Ground Systems Development and Operations programs (i.e., from about 2007 to the present). Process refinement took place as new modeling, analysis, and verification tools were created to enhance FFM capabilities. In this paper, standard elements of a model development process (i.e., knowledge acquisition, conceptual design, implementation & verification, and application) are described within the context of FFMs. Further, newer tools and analytical capabilities that may benefit the broader systems engineering process are identified and briefly described. The discussion is intended as a high-level guide for future FFM modelers.

Verification↗

C-Language Integrated Production System, Version 6.0

C Language Integrated Production System (CLIPS) computer programs are specifically intended to model human expertise or other knowledge. CLIPS is designed to enable research on, and development and delivery of, artificial intelligence on conventional computers. CLIPS 6.0 provides cohesive software tool for handling wide variety of knowledge with support for three different programming paradigms: rule-based, object-oriented, and procedural. Rule-based programming: representation of knowledge as heuristics - essentially, rules of thumb that specify set of actions performed in given situation. Object-oriented programming: modeling of complex systems comprised of modular components easily reused to model other systems or create new components. Procedural-programming: representation of knowledge in ways similar to those of such languages as C, Pascal, Ada, and LISP. Version of CLIPS 6.0 for IBM PC-compatible computers requires DOS v3.3 or later and/or Windows 3.1 or later.

Riley, Gary↗

Requirements analysis, domain knowledge, and design

Two improvements to current requirements analysis practices are suggested: domain modeling, and the systematic application of analysis heuristics. Domain modeling is the representation of relevant application knowledge prior to requirements specification. Artificial intelligence techniques may eventually be applicable for domain modeling. In the short term, however, restricted domain modeling techniques, such as that in JSD, will still be of practical benefit. Analysis heuristics are standard patterns of reasoning about the requirements. They usually generate questions of clarification or issues relating to completeness. Analysis heuristics can be represented and therefore systematically applied in an issue-based framework. This is illustrated by an issue-based analysis of JSD's domain modeling and functional specification heuristics. They are discussed in the context of the preliminary design of simple embedded systems.

Potts, Colin↗

Building Blocks for Reliable Complex Nonlinear Numerical Simulations

This chapter describes some of the building blocks to ensure a higher level of confidence in the predictability and reliability (PAR) of numerical simulation of multiscale complex nonlinear problems. The focus is on relating PAR of numerical simulations with complex nonlinear phenomena of numerics. To isolate sources of numerical uncertainties, the possible discrepancy between the chosen partial differential equation (PDE) model and the real physics and/or experimental data is set aside. The discussion is restricted to how well numerical schemes can mimic the solution behavior of the underlying PDE model for finite time steps and grid spacings. The situation is complicated by the fact that the available theory for the understanding of nonlinear behavior of numerics is not at a stage to fully analyze the nonlinear Euler and Navier-Stokes equations. The discussion is based on the knowledge gained for nonlinear model problems with known analytical solutions to identify and explain the possible sources and remedies of numerical uncertainties in practical computations. Examples relevant to turbulent flow computations are included.

Yee, H. C.↗

Building Blocks for Reliable Complex Nonlinear Numerical Simulations

This talk describes some of the building blocks to ensure a higher level of confidence in the predictability and reliability (PAR) of numerical simulation of multiscale complex nonlinear problems. The focus is on relating PAR of numerical simulations with complex nonlinear phenomena of numerics. To isolate sources of numerical uncertainties, the possible discrepancy between the chosen partial differential equation (PDE) model and the real physics and/or experimental data is set aside. The discussion is restricted to how well numerical schemes can mimic the solution behavior of the underlying PDE model for finite time steps and grid spacings. The situation is complicated by the fact that the available theory for the understanding of nonlinear behavior of numerics is not at a stage to fully analyze the nonlinear Euler and Navier-Stokes equations. The discussion is based on the knowledge gained for nonlinear model problems with known analytical solutions to identify and explain the possible sources and remedies of numerical uncertainties in practical computations. Examples relevant to turbulent flow computations are included.

Yee, H. C.↗

Reliability of Complex Nonlinear Numerical Simulations

This work describes some of the procedure to ensure a higher level of confidence in the predictability and reliability (PAR) of numerical simulation of multiscale complex nonlinear problems. The focus is on relating PAR of numerical simulations with complex nonlinear phenomena of numerics. To isolate sources of numerical uncertainties, the possible discrepancy between the chosen partial differential equation (PDE) model and the real physics and/or experimental data is set aside. The discussion is restricted to how well numerical schemes can mimic the solution behavior of the underlying PDE model for finite time steps and grid spacings. The situation is complicated by the fact that the available theory for the understanding of nonlinear behavior of numerics is not at a stage to fully analyze the nonlinear Euler and Navier-Stokes equations. The discussion is based on the knowledge gained for nonlinear model problems with known analytical solutions to identify and explain the possible sources and remedies of numerical uncertainties in practical computations. Examples relevant to turbulent flow computations are included.

Yee, H. C.↗

Building Blocks for Reliable Complex Nonlinear Numerical Simulations

This chapter describes some of the building blocks to ensure a higher level of confidence in the predictability and reliability (PAR) of numerical simulation of multiscale complex nonlinear problems. The focus is on relating PAR of numerical simulations with complex nonlinear phenomena of numerics. To isolate sources of numerical uncertainties, the possible discrepancy between the chosen partial differential equation (PDE) model and the real physics and/or experimental data is set aside. The discussion is restricted to how well numerical schemes can mimic the solution behavior of the underlying PDE model for finite time steps and grid spacings. The situation is complicated by the fact that the available theory for the understanding of nonlinear behavior of numerics is not at a stage to fully analyze the nonlinear Euler and Navier-Stokes equations. The discussion is based on the knowledge gained for nonlinear model problems with known analytical solutions to identify and explain the possible sources and remedies of numerical uncertainties in practical computations.

Yee, H. C.↗

Sensitivity Study of Impact Risk Model Results to Thermal Radiation Damage Model for Large Objects

NASA’s Probabilistic Asteroid Impact Risk (PAIR) assessment model assesses the likelihood of potential damage for asteroid impact scenarios. Fast-running models are used to capture the effects of different hazards. This paper looks specifically at local ground damage hazards, including blast overpressure and thermal radiation damage, for large object impact scenarios. A sensitivity study is conducted to determine which parameters, and over what ranges, cause impact risks to become sensitive to thermal damage. Two additional thermal models with different approaches are used for comparison. The study determined the current thermal model is most sensitive to the luminous efficiency parameter that reflects the model’s uncertainty in the amount of energy contributing to the thermal radiation damage. This sensitivity was most apparent for the highest severity damage levels. Comparisons of the three models showed that in addition to sensitivities within the models, the impact risks are also sensitive to the choice of thermal model. The study results were applied to the 2023 PDC hypothetical asteroid impact scenario and parameter ranges of interest determined. At the serious damage level, luminous efficiencies above 0.006 showed a small chance of thermal playing an important role, while luminous efficiencies above 0.0008 led to thermal playing a significant role at the unsurvivable damage severity level. Study results are used to identify key areas where additional model refinement and better knowledge of asteroid properties may be important for improving damage estimates.

SMD↗

Sensitivity Study of Impact Risk Model Results to Thermal Radiation Damage Model for Large Objects

NASA’s Probabilistic Asteroid Impact Risk (PAIR) assessment model assesses the likelihood of potential damage for asteroid impact scenarios. Fast-running models are used to capture the effects of different hazards. This paper looks specifically at local ground damage hazards, including blast overpressure and thermal radiation damage, for large object impact scenarios. A sensitivity study is conducted to determine which parameters, and over what ranges, cause impact risks to become sensitive to thermal damage. Two additional thermal models with different approaches are used for comparison. The study determined the current thermal model is most sensitive to the luminous efficiency parameter that reflects the model’s uncertainty in the amount of energy contributing to the thermal radiation damage. This sensitivity was most apparent for the highest severity damage levels. Comparisons of the three models showed that in addition to sensitivities within the models, the impact risks are also sensitive to the choice of thermal model. The study results were applied to the 2023 Planetary Defense Conference hypothetical asteroid impact scenario and parameter ranges of interest determined. At the serious damage level, luminous efficiencies above 0.006 showed a small chance of thermal playing an important role, while luminous efficiencies above 0.0008 led to thermal playing a significant role at the unsurvivable damage severity level. Study results are used to identify key areas where additional model refinement and better knowledge of asteroid properties may be important for improving damage estimates.

SMD↗

Model-based diagnostics for Space Station Freedom

An innovative approach to fault management was recently demonstrated for the NASA LeRC Space Station Freedom (SSF) power system testbed. This project capitalized on research in model-based reasoning, which uses knowledge of a system's behavior to monitor its health. The fault management system (FMS) can isolate failures online, or in a post analysis mode, and requires no knowledge of failure symptoms to perform its diagnostics. An in-house tool called MARPLE was used to develop and run the FMS. MARPLE's capabilities are similar to those available from commercial expert system shells, although MARPLE is designed to build model-based as opposed to rule-based systems. These capabilities include functions for capturing behavioral knowledge, a reasoning engine that implements a model-based technique known as constraint suspension, and a tool for quickly generating new user interfaces. The prototype produced by applying MARPLE to SSF not only demonstrated that model-based reasoning is a valuable diagnostic approach, but it also suggested several new applications of MARPLE, including an integration and testing aid, and a complement to state estimation.

Fesq, Lorraine M.↗