Engineering Papers⌕ Search

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.

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

At least 181 records · Page 10

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.↗

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↗

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↗

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↗

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↗

Interpretation and Formalization of the Right-of-Way Rules

This paper presents an interpretation and mathematical definition of the right-of-way rules as stated in USA, Title 14 of the Code of Federal Regulations, Part 91, Section 91.113 (14 CFR 91.113). In an encounter between two aircraft, the right-of-way rules defines which aircraft, if any, has the right-of-way and which AQ2 aircraft must maneuver to stay well clear of the other aircraft. The objective of the work presented in this paper is to give an unambiguous interpretation of the rules. From the interpretation, a precise mathematical formulation is created that can be used for analysis and proof of properties. The mathematical formulation has been defined in the Prototype Verification System (PVS) and properties of well formedness and core properties of the formalization have been mechanically proved. This mathematical formulation can be implemented digitally, so that right-of-way rules can be used in simulation or in future autonomous operations.

Right-of-Way↗

Experimental and Analytical Verification of ASME Section IiII Division 5 Creep-Fatigue Design Rules

The continuous advancement of structural materials and the growing demands for more reliable and economical structural components in high-temperature reactor applications have necessitated the development of comprehensive design methodologies and design rules. Mechanical degradation of structural components at elevated temperatures subjected to cyclic deformation is controlled by the creep-fatigue damage. Over the past few decades, diligent research efforts have been dedicated to refining the development of elevated temperature design rules in the American Society of Mechanical Engineers (ASME) Boiler and Pressure Vessel Code (BPVC), Section III, Division 5 and to develop conservative design rules that can effectively guard against the risk of creep-fatigue failure. In ASME Section III, Division 5, for a design to pass the creep-fatigue acceptance criteria, creep damage and fatigue damage are evaluated separately, and these damages must not violate the bi-linear creep-fatigue interaction diagram, i.e., the so-called D-diagram. The creep-fatigue damage evaluation procedure assumes that the effects of the actual cyclic loading sequence can be bounded by assuming that the individual loading cycles are uniformly distributed throughout the component design life. In this study, creep-fatigue experiments with variable amplitudes and loading sequencies were designed and performed on Alloy 617 at high temperatures. The results were analyzed to evaluate the loading history effect on creep-fatigue damage accumulation and to verify the assumptions for the creep-fatigue evaluation design rules.

36 - MATERIALS SCIENCE↗

Revisit the VEC rule in high entropy alloys (HEAs) with high-throughput CALPHAD approach and its applications for material design-A case study with Al–Co–Cr–Fe–Ni system

Valence electron concentration (VEC) was treated as a useful parameter to predict solid solution phases, and the VEC rule was proposed for high entropy alloys (HEAs). However, this empirical rule has its limitations, which restricts its applications for phase predictions in HEAs. In this paper, we revisited the empirical VEC rule with the HT-CALPHAD approach in the Al–Co–Cr–Fe–Ni system. Our investigation showed that more than 90% compositions are observed to have BCC structures when 5.7≤VEC≤7.2 and we got 100% FCC structures when VEC≥8.4. Meanwhile, we proposed a data screening procedure to classify and discover the new HEAs. The concepts of average density (ρHEA), highest BCC/FCC temperatures ($T$ $^{max}_{BCC/FCC}$), and temperature ranges (ΔT BCC/FCC ) were introduced as useful data screening criteria to down-screen the candidate alloy compositions for specific engineering applications. In the current work, we have identified three HEA categories (refractory BCC HEAs, light-weight BCC HEA and refractory FCC HEAs) in the Al–Co–Cr–Fe–Ni system and proposed the best candidate in each group. Here, our investigation showed the HEA non-equiatomic composition space provides ample opportunities for the discovery of the next-generation HEAs.

36 MATERIALS SCIENCE↗

An experimental and kinetic modeling study of the oxidation of hexane isomers: Developing consistent reaction rate rules for alkanes

Alkanes are key components in gasoline, jet and diesel fuels and considerably influence the combustion behavior of these fuels because of their wide range of reactivity. An improved understanding of their combustion behavior and the development of chemical kinetic models that can accurately simulate their combustion behavior are important for the development of next-generation internal-combustion and gas-turbine engines. The current work provides here improved insight into oxidation mechanisms of a representative family of hydrocarbon fuels, specifically the hexane isomers: n-hexane, 2-methylpentane, 3-methylpentane, 2,2-dimethylbutane and 2,3-dimethylbutane. These isomers provide carbon “skeletons” ranging from straight-chained to highly-branched and provide a framework for the subsequent development of kinetic mechanisms for larger alkanes. New ignition delay times for the four branched hexane isomers were measured in a high-pressure shock tube and in a rapid compression machine, both at stoichiometric conditions (φ = 1), p = 15 bar and X O2 = 21% over temperatures from 600 to1300 K. These data were combined with previously published measurements under the same conditions for the remaining n-hexane isomer to provide a complete body of experimental data for kinetic modeling analysis. In addition, very recent experimental measurements of individual intermediate chemical species concentrations from all five hexane isomers in a jet-stirred reactor are also included and provide another family of data for further assessment of hexane isomer reactivity. Different reactivities were observed for each hexane isomer in each experimental facility, resulting from differences in their molecular structures. Consistent reaction rate rules have been applied to develop a combined detailed chemical kinetic model for all five hexane isomers. Kinetic model validation studies are reported to show that the current model reproduces well the ignition delay times of all five alkane isomers, as well as their variations in reactivity over a wide range of temperatures and other operating conditions. Equally important, these results show that it is not necessary to have a separate, different kinetic model for each isomer of a family of alkane fuels and that a single, coherent, integrated set of reaction rate classes and rules is sufficient to accurately describe combustion rates of combustion of straight-chain n-alkanes and branched-chain alkane fuels. This suggests strongly that a single set of reaction classes and rate rules should be sufficient to describe combustion kinetics of alkane fuels of any size and degree of branching.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Symbolic methods for the evaluation of sum rules of Bessel functions

The use of the umbral formalism allows a significant simplification of the derivation of sum rules involving products of special functions and polynomials. We rederive in this way known sum rules and addition theorems for Bessel functions. Furthermore, we obtain a set of new closed form sum rules involving various special polynomials and Bessel functions. The examples we consider are relevant for applications ranging from plasma physics to quantum optics.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Comparing T-odd and T-even spin sum rules

Sum rules for T-even and T-odd structure functions and parton distributions are considered. The case of spin-dependent distributions related to energy-momentum tensor (EMT) is specifically addressed. The Burkardt sum rule for T-odd Sivers functions may be related to EMT provided the imaginary prescription for gluonic pole correlator is incorporated. The momentum sum rule for deuteron tensor spin structure function allows one to probe indirectly the gravity couplings to quarks and gluons.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Communication: The H{sub 2}@C{sub 60} inelastic neutron scattering selection rule: Expanded and explained

Recently [M. Xu et al., J. Chem. Phys. 139, 064309 (2013)], an unexpected selection rule was discovered for the title system, contradicting the previously held belief that inelastic neutron scattering (INS) is not subject to any selection rules. Moreover, the newly predicted forbidden transitions, which emerge only in the context of coupled H{sub 2} translation-rotation (TR) dynamics, have been confirmed experimentally. However, a simple physical understanding, e.g., based on group theory, has been heretofore lacking. This is provided in the present paper, in which we (1) derive the correct symmetry group for the H{sub 2}@C{sub 60} TR Hamiltonian and eigenstates; (2) complete the INS selection rule, and show that the set of forbidden transitions is actually much larger than previously believed; and (3) evaluate previous theoretical and experimental results, in light of the new findings.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Angular dependence of Raman scattering selection rules for long-wavelength optical phonons in short-period GaAs/AlAs superlattices

The angular dependence of Raman scattering selection rules for optical phonons in short-period (001) GaAs/AlAs superlattices is calculated and experimentally studied. Experiments are performed using a micro-Raman setup, in the scattering geometry with the wavevectors of the incident and scattered light lying in the plane of superlattices (so-called in-plane geometry). Phonon frequencies are calculated using the Born model taking the Coulomb interaction into account in the rigid-ion approximation. Raman scattering spectra are calculated in the framework of the deformation potential and electro-optical mechanisms. Calculations show an angular dependence of the selection rules for optical phonons with different directions of the wavevectors. Drastic differences in the selection rules are found for experimental and calculated spectra. Presumably, these differences are due to the Fröhlich mechanism in Raman scattering for short-period superlattices.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗

QCD analysis of the Bjorken sum rule revisited

We present extended analysis of the polarized Bjorken sum rule using the four-loop expression for the coefficient function C{sub Bj}(α{sub s}) available now and the recent low Q{sup 2}-data from the Jefferson Lab and COMPASS experiments. We demonstrate that the perturbative series for the function C{sub Bj} gives a hint to its asymptotic nature manifesting itself in the region Q{sup 2} ≲ 1 GeV{sup 2}. It is confirmed by the considered integral model for the perturbative QCD correction. We analyze values of higher-twist terms extracted from the mentioned data and discuss the interplay between higher orders perturbative and higher-twist contributions. We extend our consideration to the Gross-Llewellyn Smith sum rule and investigate the relation between higher twist coefficients in these two sum rules.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Streamling the Change Management with Business Rules

Will discuss how their organization is trying to streamline workflows and the change management process with business rules. In looking for ways to make things more efficient and save money one way is to reduce the work the workflow task approvers have to do when reviewing affected items. Will share the technical details of the business rules, how to implement them, how to speed up the development process by using the API to demonstrate the rules in action.

Basic Rules↗

A Physical Interpretation of the Titius-Bode Rule and Its Connection to the Closed Orbits of Bertrand's Theorem

We consider the geometric Titius-Bode rule for the semimajor axes of planetary orbits. We derive an equivalent rule for the midpoints of the segments between consecutive orbits along the radial direction and we interpret it physically in terms of the work done in the gravitational field of the Sun by particles whose orbits are perturbed around each planetary orbit. On such energetic grounds, it is not surprising that some exoplanets in multiple-planet extrasolar systems obey the same relation. However, it is surprising that this simple interpretation of the Titius-Bode rule also reveals new properties of the bound closed orbits predicted by Bertrand's theorem, which has been known since 1873.

Titus-Bode rule↗

UAM Research – X4: Introduction to Community Based Rules (CBRs)

Recent advances in technology have enabled industry development of new and innovative vehicle types, offering lower operating costs and highly automated functionality that facilitates the introduction of new types of operations. These include low-altitude airspace operations with small Unmanned Aircraft Systems (UASs), short distance urban and intercity operations, and high- altitude Upper Class E operations. These and other new operations are expected to result in a much higher operational tempo than is currently experienced across the National Airspace System (NAS). The projected increase in operations, as well as the introduction of new aircraft form factors and supporting technologies—including increasing autonomy—will present challenges to the existing Air Traffic Management (ATM) system, which is currently unable to cost-effectively scale and deliver needed services. In response to these challenges and opportunities, a highly automated, cooperative environment incorporating a federated network has been envisioned and described through multiple operational concepts, depicting the future operating environment as part of the NAS. Foundational to the success of this future operating environment is the establishment of common business rules and understandings across relevant stakeholders, referred to as Community Based Rules (CBRs). Development, adoption, and implementation of CBRs will require collaboration across multiple stakeholders, including operators, support services (industry), and the Federal Aviation Administration (FAA), to identify and resolve a broad range of questions and challenges. Examples of these questions include “what rules are needed?”, “how are they expressed?”, and “how will they be managed?” This document identifies and describes an initial set of questions and considerations to be examined as efforts begin to create the innovative, automated, cooperative operating environment of the future. The goal is to establish a common frame of reference to support discussions and decisions regarding the future implementation of CBRs as part of the NAS.

Community Based Rules↗

Initial Development of Variable Design Lifetimes and Creep-Fatigue Evaluations for ASME Section III, Division 5, Class B Code Rules

This report summarizes the initial development of new ASME Section III, Division 5, Class B rules to address the gaps identified for new high temperature reactor designs. The overall objective is to introduce the design-by-analysis approach, the variable design lifetimes for primary load design, and the strain limits and creep-fatigue damage evaluations for Class B components. It is also desired that the new evaluation procedures do not require stress classification and stress linearization. Further, the data requirements to support the development of design parameters for the new Class B rules would not be overly burdensome, and less extensive than those supporting Class A rules. We have identified the Elastic, Perfectly Plastic (EPP) method as the design by-analysis approach for primary load design, and developed allowable stress criteria for variable design lifetimes, up to 500,000 hours, that only require data typical for the allowable stresses in Section II, Part D, Tables 1A and 1B. We have also adapted the elastic analysis approach from HBB-T-1400 and Section III, Mandatory Appendix XIII, XIII-2400 and XIII-3520(e) for the new Class B creep-fatigue evaluation procedure. A new elastic follow-up-based Isochronous Stress Strain Curve (ISSC) stress relaxation procedure has been developed to provide adequate conservatism commensurate with Class B constructions. No stress classification and stress linearization are required in the new procedure. Future work needed to complete the development is also summarized.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗