Search NASA⌕ Search

SEARCH · Search NASA

Results for “RULE”

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 199 records · Page 11
All sourcesNASA NTRSDOE OSTI
NASA NTRS1990

Building distributed rule-based systems using the AI Bus

The AI Bus software architecture was designed to support the construction of large-scale, production-quality applications in areas of high technology flux, running heterogeneous distributed environments, utilizing a mix of knowledge-based and conventional components. These goals led to its current development as a layered, object-oriented library for cooperative systems. This paper describes the concepts and design of the AI Bus and its implementation status as a library of reusable and customizable objects, structured by layers from operating system interfaces up to high-level knowledge-based agents. Each agent is a semi-autonomous process with specialized expertise, and consists of a number of knowledge sources (a knowledge base and inference engine). Inter-agent communication mechanisms are based on blackboards and Actors-style acquaintances. As a conservative first implementation, we used C++ on top of Unix, and wrapped an embedded Clips with methods for the knowledge source class. This involved designing standard protocols for communication and functions which use these protocols in rules. Embedding several CLIPS objects within a single process was an unexpected problem because of global variables, whose solution involved constructing and recompiling a C++ version of CLIPS. We are currently working on a more radical approach to incorporating CLIPS, by separating out its pattern matcher, rule and fact representations and other components as true object oriented modules.

Schultz, Roger D.↗
NASA NTRS1960

Some Examples of the Applications of the Transonic and Supersonic Area Rules to the Prediction of Wave Drag

The experimental wave drags of bodies and wing-body combinations over a wide range of Mach numbers are compared with the computed drags utilizing a 24-term Fourier series application of the supersonic area rule and with the results of equivalent-body tests. The results indicate that the equivalent-body technique provides a good method for predicting the wave drag of certain wing-body combinations at and below a Mach number of 1. At Mach numbers greater than 1, the equivalent-body wave drags can be misleading. The wave drags computed using the supersonic area rule are shown to be in best agreement with the experimental results for configurations employing the thinnest wings. The wave drags for the bodies of revolution presented in this report are predicted to a greater degree of accuracy by using the frontal projections of oblique areas than by using normal areas. A rapid method of computing wing area distributions and area-distribution slopes is given in an appendix.

Nelson, Robert L.↗
NASA NTRS2003

Proof Rules for Automated Compositional Verification through Learning

Compositional proof systems not only enable the stepwise development of concurrent processes but also provide a basis to alleviate the state explosion problem associated with model checking. An assume-guarantee style of specification and reasoning has long been advocated to achieve compositionality. However, this style of reasoning is often non-trivial, typically requiring human input to determine appropriate assumptions. In this paper, we present novel assume- guarantee rules in the setting of finite labelled transition systems with blocking communication. We show how these rules can be applied in an iterative and fully automated fashion within a framework based on learning.

Barringer, Howard↗
NASA NTRS2003

Rule-Based Runtime Verification

We present a rule-based framework for defining and implementing finite trace monitoring logics, including future and past time temporal logic, extended regular expressions, real-time logics, interval logics, forms of quantified temporal logics, and so on. Our logic, EAGLE, is implemented as a Java library and involves novel techniques for rule definition, manipulation and execution. Monitoring is done on a state-by-state basis, without storing the execution trace.

Barringer, Howard↗
NASA NTRS2001

NASA Safety and Health (Short Form). Final rule

This final rule adopts with changes the interim rule published in the Federal Register on April 5, 2001 (65 FR 18051-18053), which amended the NASA FAR Supplement to implement a Safety and Health (Short Form) clause to address safety and occupational health in all NASA contracts above the micro-purchase threshold where the existing Safety and Health clause did not apply, and amended other safety and health clauses to be consistent with the new NASA Safety and Health (Short Form) clause.

Contract Services↗
NASA NTRS2004

An Application of the Phosphorus Consistent Rule for Environmentally Acceptable Cost-Efficient Management of Broiler Litter in Crop Production

We calculated the profitability of using broiler litter as a source of plant nutrients using the phosphorus consistent litter application rule. The cost saving by using litter is 37% over the use of chemical fertilizer-only option to meet the nutrient needs of major crops grown in Alabama. In the optimal solution, only a few routes of all the possible routes developed were used for inter- and intra- county litter hauling. If litter is not adopted as the sole source of crop nutrients, the best environmental policy may be to pair the phosphorus consistent rule with taxes, marketable permits, and subsidies.flaws

Paudel, Krishna P.↗
NASA NTRS1999

Ubiquitin conjugation by the N-end rule pathway and mRNAs for its components increase in muscles of diabetic rats

Insulin deficiency (e.g., in acute diabetes or fasting) is associated with enhanced protein breakdown in skeletal muscle leading to muscle wasting. Because recent studies have suggested that this increased proteolysis is due to activation of the ubiquitin-proteasome (Ub-proteasome) pathway, we investigated whether diabetes is associated with an increased rate of Ub conjugation to muscle protein. Muscle extracts from streptozotocin-induced insulin-deficient rats contained greater amounts of Ub-conjugated proteins than extracts from control animals and also 40-50% greater rates of conjugation of (125)I-Ub to endogenous muscle proteins. This enhanced Ub-conjugation occurred mainly through the N-end rule pathway that involves E2(14k) and E3alpha. A specific substrate of this pathway, alpha-lactalbumin, was ubiquitinated faster in the diabetic extracts, and a dominant negative form of E2(14k) inhibited this increase in ubiquitination rates. Both E2(14k) and E3alpha were shown to be rate-limiting for Ub conjugation because adding small amounts of either to extracts stimulated Ub conjugation. Furthermore, mRNA for E2(14k) and E3alpha (but not E1) were elevated 2-fold in muscles from diabetic rats, although no significant increase in E2(14k) and E3alpha content could be detected by immunoblot or activity assays. The simplest interpretation of these results is that small increases in both E2(14k) and E3alpha in muscles of insulin-deficient animals together accelerate Ub conjugation and protein degradation by the N-end rule pathway, the same pathway activated in cancer cachexia, sepsis, and hyperthyroidism.

Non-NASA Center↗
NASA NTRS2002

Mystery of Foil Air Bearings for Oil-free Turbomachinery Unlocked: Load Capacity Rule-of-thumb Allows Simple Estimation of Performance

The Oil-Free Turbomachinery team at the NASA Glenn Research Center has unlocked one of the mysteries surrounding foil air bearing performance. Foil air bearings are self-acting hydrodynamic bearings that use ambient air, or any fluid, as their lubricant. In operation, the motion of the shaft's surface drags fluid into the bearing by viscous action, creating a pressurized lubricant film. This lubricating film separates the stationary foil bearing surface from the moving shaft and supports load. Foil bearings have been around for decades and are widely employed in the air cycle machines used for cabin pressurization and cooling aboard commercial jetliners. The Oil-Free Turbomachinery team is fostering the maturation of this technology for integration into advanced Oil-Free aircraft engines. Elimination of the engine oil system can significantly reduce weight and cost and could enable revolutionary new engine designs. Foil bearings, however, have complex elastic support structures (spring packs) that make the prediction of bearing performance, such as load capacity, difficult if not impossible. Researchers at Glenn recently found a link between foil bearing design and load capacity performance. The results have led to a simple rule-of-thumb that relates a bearing's size, speed, and design to its load capacity. Early simple designs (Generation I) had simple elastic (spring) support elements, and performance was limited. More advanced bearings (Generation III) with elastic supports, in which the stiffness is varied locally to optimize gas film pressures, exhibit load capacities that are more than double those of the best previous designs. This is shown graphically in the figure. These more advanced bearings have enabled industry to introduce commercial Oil-Free gas-turbine-based electrical generators and are allowing the aeropropulsion industry to incorporate the technology into aircraft engines. The rule-of-thumb enables engine and bearing designers to easily size and select bearing technology for a new application and determine the level of complexity required in the bearings. This new understanding enables industry to assess the feasibility of new engine designs and provides critical guidance toward the future development of Oil-Free turbomachinery propulsion systems.

DellaCorte, Christopher↗
NASA NTRS2004

Associative Flow Rule Used to Include Hydrostatic Stress Effects in Analysis of Strain-Rate-Dependent Deformation of Polymer Matrix Composites

designing reliable composite engine cases that are lighter than the metal cases in current use. The types of polymer matrix composites that are likely to be used in such an application have a deformation response that is nonlinear and that varies with strain rate. The nonlinearity and the strain-rate dependence of the composite response are due primarily to the matrix constituent. Therefore, in developing material models to be used in the design of impact-resistant composite engine cases, the deformation of the polymer matrix must be correctly analyzed. However, unlike in metals, the nonlinear response of polymers depends on the hydrostatic stresses, which must be accounted for within an analytical model. By applying micromechanics techniques along with given fiber properties, one can also determine the effects of the hydrostatic stresses in the polymer on the overall composite deformation response. First efforts to account for the hydrostatic stress effects in the composite deformation applied purely empirical methods that relied on composite-level data. In later efforts, to allow polymer properties to be characterized solely on the basis of polymer data, researchers at the NASA Glenn Research Center developed equations to model the polymers that were based on a non-associative flow rule, and efforts to use these equations to simulate the deformation of representative polymer materials were reasonably successful. However, these equations were found to have difficulty in correctly analyzing the multiaxial stress states found in the polymer matrix constituent of a composite material. To correct these difficulties, and to allow for the accurate simulation of the nonlinear strain-rate-dependent deformation analysis of polymer matrix composites, in the efforts reported here Glenn researchers reformulated the polymer constitutive equations from basic principles using the concept of an associative flow rule. These revised equations were characterized and validated in an experimental program carried out through a university grant with the Ohio State University, wherein tensile and shear deformation data were obtained for a representative polymer for strain rates ranging from quasi-static to high rates of several hundred per second. Tensile deformation data also were obtained over a variety of strain rates and fiber orientation angles for a representative polymer matrix composite composed using the polymer.

Goldberg, Robert K.↗
NASA NTRS2006

Design Rules and Analysis of a Capture Mechanism for Rendezvous between a Space Tether and Payload

Momentum-exchange/electrodynamic reboost (MXER) tether systems have been proposed to serve as an "upper stage in space". A MXER tether station would boost spacecraft from low Earth orbit to a high-energy orbit quickly, like a high-thrust rocket. Then, it would slowly rebuild its orbital momentum through electrodynamic thrust, minimizing the use of propellant. One of the primary challenges in developing a momentum-exchange/electrodynamic reboost tether system as identified by the 2003 MXER Technology Assessment Group is in the development of a mechanism that will enable the processes of capture, carry and release of a payload by the rotating tether as required by the MXER tether approach. This paper will present a concept that will achieve the desired goals of the capture system. This solution is presented as a multi-DOF (degree-of-freedom) capture mechanism with nearly passive operation that features matching of the capture space and expected window of capture error, efficient use of mass and nearly passive actuation during the capture process. This paper will describe the proposed capture mechanism concept and provide an evaluation of the concept through a dynamic model and experimental tests performed on a prototype article of the mechanism in a dynamically similar environment. This paper will also develop a set of rules to guide the design of such a capture mechanism based on analytical and experimental analyses. The primary contributions of this paper will be a description of the proposed capture mechanism concept, a collection of rules to guide its design, and empirical and model information that can be used to evaluate the capability of the concept

Sorensen, Kirk F.↗
NASA NTRS2010

Flight Rules Critical Readiness Review

The increment 23/24 Critical Readiness Review (CRR) flight rules are presented. The topics include: 1) B13-152 Acoustic Constraints; 2) B13-113 IFM/Corrective Action Prioritization Due to Loss of Exercise Capability; 3) B13-116 Constraints on Treadmill VIS Failure; 4) B13-201 Medical Management of ISS Fire/Smoke Response; 5) ARED and T2 Exercise constraints Flight rules (flight and stage specific); 6) FYI: B14 FR to be updated with requirement to sample crew sleep locations prior to receiving a "recommendation" from SRAG on where to sleep.

Kim, E.↗
NASA NTRS2011

For Spacious Skies: Self-Separation with "Autonomous Flight Rules" in US Domestic Airspace

Autonomous Flight Rules (AFR) are proposed as a new set of operating regulations in which aircraft navigate on tracks of their choice while self-separating from traffic and weather. AFR would exist alongside Instrument and Visual Flight Rules (IFR and VFR) as one of three available flight options for any appropriately trained and qualified operator with the necessary certified equipment. Historically, ground-based separation services evolved by necessity as aircraft began operating in the clouds and were unable to see each other. Today, technologies for global precision navigation, emerging airborne surveillance, and onboard computing enable traffic conflict management to be fully integrated with navigation procedures onboard the aircraft. By self-separating, aircraft can operate with more flexibility and fewer flight restrictions than are required when using ground-based separation. The AFR concept proposes a practical means in which self-separating aircraft could share the same airspace as IFR and VFR aircraft without disrupting the ongoing processes of Air Traffic Control. The paper discusses the context and motivation for implementing self-separation in US domestic airspace. It presents a historical perspective on separation, the proposed way forward in AFR, the rationale behind mixed operations, and the expected benefits of AFR for the airspace user community.

Wing, David J.↗
NASA NTRS2011

Autonomous Flight Rules - A Concept for Self-Separation in U.S. Domestic Airspace

Autonomous Flight Rules (AFR) are proposed as a new set of operating regulations in which aircraft navigate on tracks of their choice while self-separating from traffic and weather. AFR would exist alongside Instrument and Visual Flight Rules (IFR and VFR) as one of three available flight options for any appropriately trained and qualified operator with the necessary certified equipment. Historically, ground-based separation services evolved by necessity as aircraft began operating in the clouds and were unable to see each other. Today, technologies for global navigation, airborne surveillance, and onboard computing enable the functions of traffic conflict management to be fully integrated with navigation procedures onboard the aircraft. By self-separating, aircraft can operate with more flexibility and fewer restrictions than are required when using ground-based separation. The AFR concept is described in detail and provides practical means by which self-separating aircraft could share the same airspace as IFR and VFR aircraft without disrupting the ongoing processes of Air Traffic Control.

Wing, David J.↗
NASA NTRS2014

Interrelationships Between Receiver/Relative Operating Characteristics Display, Binomial, Logit, and Bayes' Rule Probability of Detection Methodologies

Unknown risks are introduced into failure critical systems when probability of detection (POD) capabilities are accepted without a complete understanding of the statistical method applied and the interpretation of the statistical results. The presence of this risk in the nondestructive evaluation (NDE) community is revealed in common statements about POD. These statements are often interpreted in a variety of ways and therefore, the very existence of the statements identifies the need for a more comprehensive understanding of POD methodologies. Statistical methodologies have data requirements to be met, procedures to be followed, and requirements for validation or demonstration of adequacy of the POD estimates. Risks are further enhanced due to the wide range of statistical methodologies used for determining the POD capability. Receiver/Relative Operating Characteristics (ROC) Display, simple binomial, logistic regression, and Bayes' rule POD methodologies are widely used in determining POD capability. This work focuses on Hit-Miss data to reveal the framework of the interrelationships between Receiver/Relative Operating Characteristics Display, simple binomial, logistic regression, and Bayes' Rule methodologies as they are applied to POD. Knowledge of these interrelationships leads to an intuitive and global understanding of the statistical data, procedural and validation requirements for establishing credible POD estimates.

Generazio, Edward R.↗
NASA NTRS2015

Rule-Based Flight Software Cost Estimation

This paper discusses the fundamental process for the computation of Flight Software (FSW) cost estimates. This process has been incorporated in a rule-based expert system [1] that can be used for Independent Cost Estimates (ICEs), Proposals, and for the validation of Cost Analysis Data Requirements (CADRe) submissions. A high-level directed graph (referred to here as a decision graph) illustrates the steps taken in the production of these estimated costs and serves as a basis of design for the expert system described in this paper. Detailed discussions are subsequently given elaborating upon the methodology, tools, charts, and caveats related to the various nodes of the graph. We present general principles for the estimation of FSW using SEER-SEM as an illustration of these principles when appropriate. Since Source Lines of Code (SLOC) is a major cost driver, a discussion of various SLOC data sources for the preparation of the estimates is given together with an explanation of how contractor SLOC estimates compare with the SLOC estimates used by JPL. Obtaining consistency in code counting will be presented as well as factors used in reconciling SLOC estimates from different code counters. When sufficient data is obtained, a mapping into the JPL Work Breakdown Structure (WBS) from the SEER-SEM output is illustrated. For across the board FSW estimates, as was done for the NASA Discovery Mission proposal estimates performed at JPL, a comparative high-level summary sheet for all missions with the SLOC, data description, brief mission description and the most relevant SEER-SEM parameter values is given to illustrate an encapsulation of the used and calculated data involved in the estimates. The rule-based expert system described provides the user with inputs useful or sufficient to run generic cost estimation programs. This system's incarnation is achieved via the C Language Integrated Production System (CLIPS) and will be addressed at the end of this paper.

computational intelligence↗
NASA NTRSDate not supplied

Use of Design of Experiments and Rule-Based Inference in Determining Neural Network Architectures for Loss of Control Detection

In this work, we describe methods for selecting the neural network architectures and input spaces to implement belief state inference on generic commercial transport aircraft. First, we highlight a case study on the planning, execution, and analysis of a set of experiments to determine the configurations of a conditional variational autoencoder (CVAE). We present a structured method that can be used in a number of aerospace applications, to optimize the structure and training parameters of the CVAE for belief state inference, using Design of Experiments (DOE) statistical methodologies. The motivation for this specific DOE was to identify the appropriate hyperparameters for measuring the CVAE reconstruction probability and latent space, such that the measurements can be used to infer qualitative state changes for the aircraft. We demonstrate that this process yields information about a trained neural network’s utility for this specific application, along with a quantifiable range of certainty. We execute 84 experiments using loss-of-control flight maneuver data from a NASA T-2 aircraft, demonstrating that this empirical process allows us to construct cheap and simple models with specific attributes amenable to belief state inference in aerospace applications. While theoretically, we could create a single CVAE with an input space the size of all measurable flight variables and environmental dynamics, it becomes intractable to use such a neural network in an in-situ intelligent multi-agent system. Using the recommendations from our case study, we introduce a technical approach for feasibly describing the belief space by (1) identifying significant statistical relationships among flight variables using rule induction, (2) using a set of rules that cover all features to define the input space of multiple CVAEs, and (3) forming a belief space based on the joint probability density of their collective latent spaces. This results in a series of relatively small matrix multiplications that can be performed in real time, as opposed to large matrix computations in a single CVAE. We demonstrate the application of this approach on the T-2 flight loss-of control experiments, using the architecture and hyperparameter recommendations from the case study. We compare the utilities of an individual CVAE trained on all flight variables and multiple CVAEs defined on subsets of flight variables for detecting qualitative changes in flight. We demonstrate that the use of multiple CVAEs with smaller input spaces permits the CVAE to capture more granular relationships in the latent space, permitting better state space characterization and loss-of-control detection.

Design of experiments↗
NASA NTRS2024

High-Order/Low-Dissipation Chain-Rule Flux Solution Reconstruction Schemes in FUN3D

In this paper, we report progress in the development of economically high-order flux-solution-reconstruction (FSR) schemes, which are second-order accurate on general unstructured grids but achieve high-order accuracy when a grid is regular, i.e., has the same stencil (with the same spacing) throughout the domain. Two variants of the FSR schemes are discussed: chain-rule-flux-solution reconstruction (CFSR) and quadratic-form-flux-solution reconstruction (QFSR), where the former is based on the chain rule and the latter on the flux reconstruction expressed as a function of solution variables. These schemes are tested for flows with shock waves with a limiter incorporated in the flux and solution reconstructions. Improved results, compared with second-order methods are demonstrated for inviscid and viscous flows with smooth grids.

high-order↗