Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Rules”

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 127 records · Page 7

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↗

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↗

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↗

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↗

Data-driven discovery of a formation prediction rule on high-entropy ceramics

The interest in high entropy ceramics (HECs) has increased steadily due to their superior properties. However, the prediction of their formation still poses challenges for the discovery of new systems. Here, we discover a rational rule for designing single-phase high entropy metal diborides (HEBs) using data-driven approach. The machine learning (ML) model is trained on data collected via high-throughput experiments (HTEs). K nearest neighbor (KNN) model shows an experimental validation accuracy of 93.75%. By implementing interpretable ML method, we demonstrate that a mismatch of the bonds between boron and transition metals (δ B-TM ) dominates the formation of HEBs. We propose an empirical rule that HEBs favor forming a single phase when δ B-TM < 3.66; otherwise, multiphase. The rule has a high accuracy of 93.33% for new HEBs predictions. In addition, we contribute 165 high quality HEBs data in total, which can promote the development of materials informatics in HEBs. Furthermore, this data-driven strategy can be expanded to accelerate the search for new HECs, paving a pathway to design novel HECs with superior properties rapidly.

36 MATERIALS SCIENCE↗

A derivation of Born’s rule from symmetry

Highlights: • A very simple proof for the rule by which we calculate probabilities in quantum mechanics. We here put forward a simple argument for Born’s rule based on the requirement that transition probabilities in quantum mechanics should not be a function of the number of degrees of freedom in the system, or the dimension of the Hilbert-space, respectively. The argument presented here can be interpreted as deriving Born’s rule from a symmetry requirement.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Comparative Analysis of Model Predictive Control and MPC-Informed Rule-Based Control for Thermal Storage Operation in Ultra-Low Temperature 4th Generation District Heating Networks

The integration of thermal storage and heat pumps in district heating networks (DHNs) can significantly enhance operational flexibility and energy efficiency; however, the practical deployment of advanced control strategies is often hindered by forecasting requirements and computational complexity. This study presents a comparative analysis of thermal storage control strategies in an ultra-low-temperature fourth-generation DHN, focusing on the development of a simplified rule-based control (RBC) explicitly informed by Model Predictive Control (MPC) behavior. The proposed methodology systematically analyzes the charging and discharging decisions of an MPC-controlled system under ideal forecasting conditions and extracts recurrent control patterns as a function of key system variables, including outdoor temperature, thermal demand, and electricity price. These patterns are translated into a set of structured time- and condition-based rules, resulting in an MPC-informed RBC that embeds predictive insights while preserving implementation simplicity and operational transparency. The approach is validated on a realistic mixed-use urban district in Denver, Colorado, USA, equipped with a centralized air-source heat pump, distributed water-to-water heat pumps, and a central thermal storage unit. Results show that the tuned RBC attains approximately 96% of ideal MPC economic performance (-27% of costs), preserves values of technical and environmental indicators (reduction only of 2-3%), and substantially reduces complexity. Sensitivity analyses further demonstrate the robustness of the RBC under varying operational conditions (i.e., ambient temperature, electricity price). Overall, the study demonstrates that MPC-informed rule-based control represents an effective trade-off between control performance and real-world applicability, enabling the integration of additional system components while maintaining simplicity, robustness, and ease of implementation.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗

Impact of operating reserve rules on electricity prices with high penetrations of renewable energy

In competitive wholesale electricity markets, significant effort is devoted to designing markets that set efficient prices for maintaining supply-demand balance. One factor that can impact prices is administratively-set scarcity pricing, which sets prices to a preset level when the market is not able to meet operating reserve or energy requirements. When energy and operating reserves are co-optimized, assumptions surrounding operating reserve requirements and scarcity pricing can impact system-wide price outcomes for both operating reserves and energy. This study uses production cost modeling of an ERCOT-like system to evaluate the impact of operating reserve eligibility, scarcity pricing, and quantity rules on electricity prices, and therefore also on generator revenues. Results reveal economic and operational benefits with allowing open participation in reserve markets, as this enables greater access to the full set of capable resources at lowest cost. Furthermore, both energy and reserve prices are strongly impacted by reserve scarcity pricing events, which reveals that reserve scarcity pricing assumptions can impact price outcomes even for units not providing reserves. This study highlights the importance of operating reserve scarcity pricing rules because of the strong coupling between energy and reserve prices and because these rules serve as proxies for true price responsive demand.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗