SEARCH · Engineering Papers

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.

SourceResearch connectionFrom yearThrough year

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

At least 91 records · Page 5

All sources NASA NTRS DOE OSTI

NASA NTRS1986

Independent Orbiter Assessment: Assessment of the FMEA/CIL Instructions and Ground Rules

The McDonnell Douglas Astronautics Company was selected to conduct an independent assessment of the Orbiter Failure Mode and Effects Analysis/Critical Items List (FMEA/CIL). Part of this effort involved an examination of the FMEA/CIL preparation instructions and ground rules. Assessment objectives were to identify omissions and ambiguities in the ground rules that may impede the identification of shuttle orbiter safety and mission critical items, and to ensure that ground rules allow these items to receive proper management visibility for risk assessment. Assessment objectives were followed during the performance of the assessment without being influenced by external considerations such as effects on budget, schedule, and documentation growth. Assessment personnel were employed who had a strong reliability background but no previous space shuttle FMEA/CIL experience to ensure an independent assessment would be achieved. The following observations were made: (1) not all essential items are in the CIL for management visibility; (2) ground rules omit FMEA/CIL coverage of items that perform critical functions; (3) essential items excluded from the CIL do not receive design justification; and (4) FMEAs/CILs are not updated in a timely manner. In addition to the above issues, a number of other issues were identified that correct FMEA/CIL preparation instruction omissions and clarify ambiguities. The assessment was successful in that many of the issues have significant safety implications.

Traves, S. T.↗

NASA NTRS1990

A collision-selection rule for a particle simulation method suited to vector computers

A theory is developed for a selection rule governing collisions in a particle simulation of rarefied gas-dynamic flows. The selection rule leads to an algorithmic form highly compatible with fine grain parallel decomposition, allowing for efficient utilization of supercomputers having vector or massively parallel single instruction multiple data architectures. A comparison of shock-wave profiles obtained using both the selection rule and Bird's direct simulation Monte Carlo (DSMC) method show excellent agreement. The equation on which the selection rule is based is shown to be directly related to the time-counter procedure in the DSMC method. The results of several example simulations of representative rarefied flows are presented, for which the number of particles used ranged from 10 to the 6th to 10 to the 7th demonstrating the greatly improved computational efficiency of the method.

Baganoff, D.↗

NASA NTRS1991

Ruling Blazed, Aberration-Corrected Diffraction Gratings

Proposed optoelectromechanical apparatus that functions partly as ruling engine and partly as pantograph rules blazed, aberration-corrected diffraction gratings. Makes possible to combine precision of aberration-corrected, holographically produced grating with diffraction efficiency of blazed grating by using holographically produced grating as model or master pattern that controls ruling engine making blazed grating. Surface of model holographic grating scanned by sensing head mounted on pantographic arm. Ruling stylus mounted on other end of pantographic arm with tip in grating blank.

Leviton, Douglas B.↗

NASA NTRS1991

Techniques and implementation of the embedded rule-based expert system using Ada

Ada is becoming an increasingly popular programming language for large Government-funded software projects. Ada with its portability, transportability, and maintainability lends itself well to today's complex programming environment. In addition, expert systems have also assured a growing role in providing human-like reasoning capability and expertise for computer systems. The integration of expert system technology with Ada programming language, specifically a rule-based expert system using an ART-Ada (Automated Reasoning Tool for Ada) system shell is discussed. The NASA Lewis Research Center was chosen as a beta test site for ART-Ada. The test was conducted by implementing the existing Autonomous Power EXpert System (APEX), a Lisp-base power expert system, in ART-Ada. Three components, the rule-based expert system, a graphics user interface, and communications software make up SMART-Ada (Systems fault Management with ART-Ada). The main objective, to conduct a beta test on the ART-Ada rule-based expert system shell, was achieved. The system is operational. New Ada tools will assist in future successful projects. ART-Ada is one such tool and is a viable alternative to the straight Ada code when an application requires a rule-based or knowledge-based approach.

Liberman, Eugene M.↗

NASA NTRS1993

Certain and possible rules for decision making using rough set theory extended to fuzzy sets

Uncertainty may be caused by the ambiguity in the terms used to describe a specific situation. It may also be caused by skepticism of rules used to describe a course of action or by missing and/or erroneous data. To deal with uncertainty, techniques other than classical logic need to be developed. Although, statistics may be the best tool available for handling likelihood, it is not always adequate for dealing with knowledge acquisition under uncertainty. Inadequacies caused by estimating probabilities in statistical processes can be alleviated through use of the Dempster-Shafer theory of evidence. Fuzzy set theory is another tool used to deal with uncertainty where ambiguous terms are present. Other methods include rough sets, the theory of endorsements and nonmonotonic logic. J. Grzymala-Busse has defined the concept of lower and upper approximation of a (crisp) set and has used that concept to extract rules from a set of examples. We will define the fuzzy analogs of lower and upper approximations and use these to obtain certain and possible rules from a set of examples where the data is fuzzy. Central to these concepts will be the idea of the degree to which a fuzzy set A is contained in another fuzzy set B, and the degree of intersection of a set A with set B. These concepts will also give meaning to the statement; A implies B. The two meanings will be: (1) if x is certainly in A then it is certainly in B, and (2) if x is possibly in A then it is possibly in B. Next, classification will be looked at and it will be shown that if a classification will be looked at and it will be shown that if a classification is well externally definable then it is well internally definable, and if it is poorly externally definable then it is poorly internally definable, thus generalizing a result of Grzymala-Busse. Finally, some ideas of how to define consensus and group options to form clusters of rules will be given.

Dekorvin, Andre↗

NASA NTRS1992

Automatic rule generation for high-level vision

Many high-level vision systems use rule-based approaches to solving problems such as autonomous navigation and image understanding. The rules are usually elaborated by experts. However, this procedure may be rather tedious. In this paper, we propose a method to generate such rules automatically from training data. The proposed method is also capable of filtering out irrelevant features and criteria from the rules.

Rhee, Frank Chung-Hoon↗

NASA NTRS1993

Shuttle landing facility cloud cover study: Climatological analysis and two tenths cloud cover rule evaluation

The two-tenths cloud cover rule in effect for all End Of Mission (EOM) STS landings at the Kennedy Space Center (KSC) states: 'for scattered cloud layers below 10,000 feet, cloud cover must be observed to be less than or equal to 0.2 at the de-orbit burn go/no-go decision time (approximately 90 minutes before landing time)'. This rule was designed to protect against a ceiling (below 10,000 feet) developing unexpectedly within the next 90 minutes (i.e., after the de-orbit burn decision and before landing). The Applied Meteorological Unit (AMU) developed and analyzed a database of cloud cover amounts and weather conditions at the Shuttle Landing Facility for a five-year (1986-1990) period. The data indicate the best time to land the shuttle at KSC is during the summer while the worst time is during the winter. The analysis also shows the highest frequency of landing opportunities occurs for the 0100-0600 UTC and 1300-1600 UTC time periods. The worst time of the day to land a shuttle is near sunrise and during the afternoon. An evaluation of the two-tenths cloud cover rule for most data categorizations has shown that there is a significant difference in the proportions of weather violations one and two hours subsequent to initial conditions of 0.2 and 0.3 cloud cover. However, for May, Oct., 700 mb northerly wind category, 1500 UTC category, and 1600 UTC category there is some evidence that the 0.2 cloud cover rule may be overly conservative. This possibility requires further investigation. As a result of these analyses, the AMU developed nomograms to help the Spaceflight Meteorological Group (SMG) and the Cape Canaveral Forecast Facility (CCFF) forecast cloud cover for EOM and Return to Launch Site (RTLS) at KSC. Future work will include updating the two tenths database, further analysis of the data for several categorizations, and developing a proof of concept artificial neural network to provide forecast guidance of weather constraint violations for shuttle landings.

Atchison, Michael K.↗

NASA NTRS1924

An Airship Slide Rule

This report prepared for the National Advisory Committee for Aeronautics, describes an airship slide rule developed by the Gas-Chemistry Section of the Bureau of Standards, at the request of the Bureau of Engineering of the Navy Department. It is intended primarily to give rapid solutions of a few problems of frequent occurrence in airship navigation, but it can be used to advantage in solving a great variety of problems, involving volumes, lifting powers, temperatures, pressures, altitudes and the purity of the balloon gas. The rule is graduated to read directly in the units actually used in making observations, constants and conversion factors being taken care of by the length and location of the scales. It is thought that with this rule practically any problem likely to arise in this class of work can be readily solved after the user has become familiar with the operation of the rule; and that the solution will, in most cases, be as accurate as the data warrant.

Weaver, E R↗

NASA NTRS1995

A rule-based shell to hierarchically organize HST observations

An observing program on the Hubble Space Telescope (HST) is described in terms of exposures that are obtained by one or more of the instruments onboard the HST. These exposures are organized into a hierarchy of structures for purposes of efficient scheduling of observations. The process by which exposures get organized into the higher-level structures is called merging. This process relies on rules to determine which observations can be 'merged' into the same higher level structure, and which cannot. The TRANSformation expert system converts proposals for astronomical observations with HST into detailed observing plans. The conversion process includes the task of merging. Within TRANS, we have implemented a declarative shell to facilitate merging. This shell offers the following features: (1) an easy way of specifying rules on when to merge and when not to merge, (2) a straightforward priority mechanism for resolving conflicts among rules, (3) an explanation facility for recording the merging history, (4) a report generating mechanism to help users understand the reasons for merging, and (5) a self-documenting mechanism that documents all the merging rules that have been defined in the shell, ordered by priority. The merging shell is implemented using an object-oriented paradigm in CLOS. It has been a part of operational TRANS (after extensive testing) since July 1993. It has fulfilled all performance expectations, and has considerably simplified the process of implementing new or changed requirements for merging. The users are pleased with its report-generating and self-documenting features.

Bose, Ashim↗

NASA NTRS1989

Situated Control Rules

The plan net formalism presented in this paper is a language for expressing possible actions independent of any particular plan. Plan nets encode non-deterministic control programs which specify the local conditions under which actions may be taken. A two stage analysis synthesizes situated control rules which act to reduce this non-deterministic choice such that all remaining alternatives for action necessarily satisfy any given goals. Action execution can precede situated control rule synthesis: situated control rules simply help ensure that actions are first steps on the way to eventual goal satisfaction. Situated control rules inform action; they do not define it.

Drummond, Mark↗

NASA NTRS2003

A Theory of the von Weimarn Rules Governing the Average Size of Crystals Precipitated from a Supersaturated Solution

More than 75 years ago, von Weimarn summarized his observations of the dependence of the average crystal size on the initial relative concentration supersaturation prevailing in a solution from which crystals were growing. Since then, his empirically derived rules have become part of the lore of crystal growth. The first of these rules asserts that the average crystal size measured at the end of a crystallization increases as the initial value of the relative supersaturation decreases. The second rule states that for a given crystallization time, the average crystal size passes through a maximum as a function of the initial relative supersaturation. Using a theory of nucleation and growth due to Buyevich and Mansurov, we calculate the average crystal size as a function of the initial relative supersaturation. We confirm the von Weimarn rules for the case where the nucleation rate is proportional to the third power or higher of the relative supersaturation.

Barlow, Douglas A.↗

NASA NTRS1998

The N-end rule pathway catalyzes a major fraction of the protein degradation in skeletal muscle

In skeletal muscle, overall protein degradation involves the ubiquitin-proteasome system. One property of a protein that leads to rapid ubiquitin-dependent degradation is the presence of a basic, acidic, or bulky hydrophobic residue at its N terminus. However, in normal cells, substrates for this N-end rule pathway, which involves ubiquitin carrier protein (E2) E214k and ubiquitin-protein ligase (E3) E3alpha, have remained unclear. Surprisingly, in soluble extracts of rabbit muscle, we found that competitive inhibitors of E3alpha markedly inhibited the 125I-ubiquitin conjugation and ATP-dependent degradation of endogenous proteins. These inhibitors appear to selectively inhibit E3alpha, since they blocked degradation of 125I-lysozyme, a model N-end rule substrate, but did not affect the degradation of proteins whose ubiquitination involved other E3s. The addition of several E2s or E3alpha to the muscle extracts stimulated overall proteolysis and ubiquitination, but only the stimulation by E3alpha or E214k was sensitive to these inhibitors. A similar general inhibition of ubiquitin conjugation to endogenous proteins was observed with a dominant negative inhibitor of E214k. Certain substrates of the N-end rule pathway are degraded after their tRNA-dependent arginylation. We found that adding RNase A to muscle extracts reduced the ATP-dependent proteolysis of endogenous proteins, and supplying tRNA partially restored this process. Finally, although in muscle extracts the N-end rule pathway catalyzes most ubiquitin conjugation, it makes only a minor contribution to overall protein ubiquitination in HeLa cell extracts.

Non-NASA Center↗

NASA NTRS2009

Truncation Depth Rule-of-Thumb for Convolutional Codes

In this innovation, it is shown that a commonly used rule of thumb (that the truncation depth of a convolutional code should be five times the memory length, m, of the code) is accurate only for rate 1/2 codes. In fact, the truncation depth should be 2.5 m/(1 - r), where r is the code rate. The accuracy of this new rule is demonstrated by tabulating the distance properties of a large set of known codes. This new rule was derived by bounding the losses due to truncation as a function of the code rate. With regard to particular codes, a good indicator of the required truncation depth is the path length at which all paths that diverge from a particular path have accumulated the minimum distance of the code. It is shown that the new rule of thumb provides an accurate prediction of this depth for codes of varying rates.

Moision, Bruce↗

NASA NTRS2010

Pair Identity and Smooth Variation Rules Applicable for the Spectroscopic Parameters of H2O Transitions Involving High-J States

Two basic rules (i.e. the pair identity and the smooth variation) applicable for H2O transitions involving high-J states have been discovered. The origins of these rules are the properties of the energy levels and wavefunctions of H2O states with the quantum number J above certain boundaries. As a result, for lines involving high-J states in individually defined groups, all their spectroscopic parameters (i.e. the transition wavenumber, intensity, pressure-broadened half-width, pressure-induced shift, and temperature exponent) must follow these rules. One can use these rules to screen spectroscopic data provided by databases and to identify possible errors. In addition, by using extrapolation methods within the individual groups, one is able to predict the spectroscopic parameters for lines in this group involving very high-J states. The latter are required in developing high-temperature molecular spectroscopic databases such as HITEMP.

Ma, Q.↗

NASA NTRS2020

A Flight Rule Checker for the LADEE Lunar Spacecraft

As part of the design of a space mission, an important part is the design of so-called flight rules. Flight rules express constraints on various parts and processes of the mission, that if followed, will reduce the risk of failure. One such set of flight rules constrain the format of command sequences regularly (e.g. daily) sent to the spacecraft to con-trol its next near term behavior. We present a high-level view of the automated flight rule checker FRC for checking command sequences sent to NASA’s LADEE Lunar mission spacecraft, used throughout its entire mission. A command sequence is in this case essentially a program (a sequence of commands) with no loops or conditionals, and it can there-fore be verified with a trace analysis tool. FRC is implemented using the TraceContract runtime verification tool, an internal Scala DSL for checking event sequences against “formal specifications”. The paper illustrates this untraditional use of runtime verification in a real con-text, with strong demands on the expressiveness and flexibility of the specification language, illustrating the advantages of an internal DSL.

LADEE↗

NASA NTRS2020

New Flight Rules to Enable the Era of Aerial Mobility in the National Airspace System

In the 21st Century, new aviation markets, vehicle types, and technologies are fast emerging, inspiring new operational concepts for the National Airspace System such as Unmanned Aircraft Systems Traffic Management and Urban Air Mobility. These novel operations envision a dramatic increase in aerial mobility, or the ability to navigate freely through the airspace with unprecedented access and operational flexibility. Implementing these concepts presents a major challenge to the existing operational modes of Visual Flight Rules (VFR) and Instrument Flight Rules (IFR), developed under the limitations of early 20th Century technology and procedures to ensure safe navigation and separation from traffic. To meet this challenge and to support the needs of operators in the 21st Century and beyond, this paper proposes that VFR and IFR be augmented by new flight rules – Digital Flight Rules (DFR) – that leverage modern and emerging technologies and are not bound by restrictions borne of the state of technology 75-100 years ago. The objective of DFR is to provide safe and unfettered access to the airspace to all participating vehicle operators under all visibility conditions without incurring the limitations in operational flexibility inherent to IFR and even VFR. Advancements in communications, navigation, surveillance, aircraft connectivity, information access, automation technology, and supporting ground infrastructure provide the opportunity for the vehicle operator to engage at an unprecedented level in managing their flights regardless of flight visibility. Under DFR, these advancements enable the vehicle operator to assume full responsibility for traffic separation and therefore full trajectory management authority in all visibility conditions and airspace regions. The changes in roles and responsibilities are expected to enable greater airspace access and operational flexibility than afforded by IFR and VFR, thus enabling the emergence of new operations and a new era of advanced aerial mobility.

Mobility↗

NASA NTRS2020

Credible practice of modeling and simulation in healthcare: ten rules from a multidisciplinary perspective

The complexities of modern biomedicine are rapidly increasing. Thus, modeling and simulation have become increasingly important as a strategy to understand and predict the trajectory of pathophysiology, disease genesis, and disease spread in support of clinical and policy decisions. In such cases, inappropriate or ill-placed trust in the model and simulation outcomes may result in negative outcomes, and hence illustrate the need to formalize the execution and communication of modeling and simulation practices. Although verification and validation have been generally accepted as significant components of a model’s credibility, they cannot be assumed to equate to a holistic credible practice, which includes activities that can impact comprehension and in-depth examination inherent in the devel-opment and reuse of the models. For the past several years, the Committee on Credible Practice of Modeling and Simulation in Healthcare, an interdisciplinary group seeded from a U.S. interagency initiative, has worked to codify best practices. Here, we provide Ten Rules for credible practice of modeling and simulation in healthcare developed from a comparative analysis by the Committee’s multidisciplinary membership, followed by a large stakeholder com-munity survey. These rules establish a unified conceptual framework for modeling and simulation design, implementation, evaluation, dissemination and usage across the modeling and simulation life-cycle. While biomedical science and clinical care domains have somewhat different requirements and expectations for credible practice, our study converged on rules that would be useful across a broad swath of model types. In brief, the rules are: (1) Define context clearly. (2) Use contextually appropriate data. (3) Evaluate within context. (4) List limitations explicitly. (5) Use version control. (6) Document appropriately. (7) Disseminate broadly. (8) Get independent reviews. (9) Test competing imple-mentations. (10) Conform to standards. Although some of these are common sense guidelines, we have found that many are often missed or misconstrued, even by seasoned practitioners. Computational models are already widely used in basic science to generate new biomedical knowledge. As they penetrate clinical care and healthcare policy, contributing to personalized and precision medicine, clinical safety will require established guidelines for the credible practice of modeling and simulation in healthcare.

Credibility↗

NASA NTRS2020

A Flight Rule Checker for the LADEE Lunar Spacecraft

As part of the design of a space mission, an important part is the design of so-called flight rules. Flight rules express constraints on various parts and processes of the mission, that if followed, will reduce the risk of failure. One such set of flight rules constrain the format of command sequences regularly (e.g. daily) sent to the spacecraft to con- trol its next near term behavior. We present a high-level view of the automated flight rule checker Frc for checking command sequences sent to NASA’s LADEE Lunar mission spacecraft, used throughout its entire mission. A command sequence is in this case essentially a program (a sequence of commands) with no loops or conditionals, and it can there- fore be verified with a trace analysis tool. Frc is implemented using the TraceContract runtime verification tool, an internal Scala DSL for checking event sequences against “formal specifications”. The paper illustrates this untraditional use of runtime verification in a real con- text, with strong demands on the expressiveness and flexibility of the specification language, illustrating the advantages of an internal DSL.

Kurklu, Elif↗