SEARCH · Engineering Papers
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.
This paper presents a partial solution to the long standing open problem of termination of one-rule string rewriting. Overlaps between the two sides of the rule play a central role in existing termination criteria. We characterize termination of all one-rule string rewriting systems that have one such overlap at either end. This both completes a result of Kurth and generalizes a result of Shikishima-Tsuji et al.
Automatic or skill-based behaviour is generally considered to be less prone to error than behaviour directed by conscious control. However, researchers who have applied Rasmussen's skill-rule-knowledge human error framework to accidents and incidents have sometimes found that skill-based errors appear in significant numbers. It is proposed that this is largely a reflection of the opportunities for error which workplaces present and does not indicate that skill-based behaviour is intrinsically unreliable. In the current study, 99 errors reported by 72 aircraft mechanics were examined in the light of a task analysis based on observations of the work of 25 aircraft mechanics. The task analysis identified the opportunities for error presented at various stages of maintenance work packages and by the job as a whole. Once the frequency of each error type was normalized in terms of the opportunities for error, it became apparent that skill-based performance is more reliable than rule-based performance, which is in turn more reliable than knowledge-based performance. The results reinforce the belief that industrial safety interventions designed to reduce errors would best be directed at those aspects of jobs that involve rule- and knowledge-based performance.
The rapid loss of muscle mass that accompanies many disease states, such as cancer or sepsis, is primarily a result of increased protein breakdown in muscle, and several observations have suggested an activation of the ubiquitin-proteasome system. Accordingly, in extracts of atrophying muscles from tumor-bearing or septic rats, rates of 125I-ubiquitin conjugation to endogenous proteins were found to be higher than in control extracts. On the other hand, in extracts of muscles from hypothyroid rats, where overall proteolysis is reduced below normal, the conjugation of 125I-ubiquitin to soluble proteins decreased by 50%, and treatment with triiodothyronine (T3) restored ubiquitination to control levels. Surprisingly, the N-end rule pathway, which selectively degrades proteins with basic or large hydrophobic N-terminal residues, was found to be responsible for most of these changes in ubiquitin conjugation. Competitive inhibitors of this pathway that specifically block the ubiquitin ligase, E3alpha, suppressed most of the increased ubiquitin conjugation in the muscle extracts from tumor-bearing and septic rats. These inhibitors also suppressed ubiquitination in normal extracts toward levels in hypothyroid extracts, which showed little E3alpha-dependent ubiquitination. Thus, the inhibitors eliminated most of the differences in ubiquitination under these different pathological conditions. Moreover, 125I-lysozyme, a model N-end rule substrate, was ubiquitinated more rapidly in extracts from tumor-bearing and septic rats, and more slowly in those from hypothyroid rats, than in controls. Thus, the rate of ubiquitin conjugation increases in atrophying muscles, and these hormone- and cytokine-dependent responses are in large part due to activation of the N-end rule pathway.
Introduction: Aboard the International Space Station (ISS) an intra-thoracic injury may be disastrous to the crew member if the diagnosis is missed or even delayed. Pneumothorax and hemothorax commonly seen in trauma patients; the diagnosis is usually confirmed by chest X-ray or computed tomography. In this study, the ability of ultrasound to rule out pneumothorax by the presence "lung sliding" and hemothorax by the absence of pleural fluid was validated. Methods: The research activities were approved by the NASA Johnson Space Center Committee for the Protection of Human Subjects, and the participating crewmembers signed informed consent prior to the activity. ISS crewmembers received 2-hours of "hands on" ultrasound training 8 months prior to the on-orbit ultrasound exam. Baseline ultrasound images of the thorax were acquired on the crewmebers of Increment 8 and 9 prior to launch from Bakonur, Russia. Ultrasound examination of the thorax were performed on crewmembers at 30 day intervals (n=??) throughout their flight. Post flight images were acquired on or about landing day 10. Ultrasound images were acquired using the ISS Health Research Facility ultrasound system and examined by experts on the ground to rule out the presence of pneumothorax and hemothorax. Results: The presence of "lung sliding" which excludes pneumothorax, was seen in all subjects. The absence of pleural fluid, which excludes hemothorax was seen in all subjects. The optimal position between sonographer and patient under microgravity conditions and the amount and type of training for a non-physician crew medical officer for these procedures was also established for this procedure. Conclusion: Ultrasound can be performed on orbit under microgravity condition to rule thoracic trauma, such as pneumothorax and hemothorax.
The Cooper-Harper rating of Aircraft Handling Qualities has been adopted as a standard for measuring the performance of aircraft since it was introduced in 1966. Aircraft performance, ability to control the aircraft, and the degree of pilot compensation needed are three major key factors used in deciding the aircraft handling qualities in the Cooper- Harper rating. We formulate the Cooper-Harper rating scheme as a fuzzy rule-based system and use it to analyze the effectiveness of the aircraft controller. The automatic estimate of the system-level handling quality provides valuable up-to-date information for diagnostics and vehicle health management. Analyzing the performance of a controller requires a set of concise design requirements and performance criteria. Ir, the case of control systems fm a piloted aircraft, generally applicable quantitative design criteria are difficult to obtain. The reason for this is that the ultimate evaluation of a human-operated control system is necessarily subjective and, with aircraft, the pilot evaluates the aircraft in different ways depending on the type of the aircraft and the phase of flight. In most aerospace applications (e.g., for flight control systems), performance assessment is carried out in terms of handling qualities. Handling qualities may be defined as those dynamic and static properties of a vehicle that permit the pilot to fully exploit its performance in a variety of missions and roles. Traditionally, handling quality is measured using the Cooper-Harper rating and done subjectively by the human pilot. In this work, we have formulated the rules of the Cooper-Harper rating scheme as fuzzy rules with performance, control, and compensation as the antecedents, and pilot rating as the consequent. Appropriate direct measurements on the controller are related to the fuzzy Cooper-Harper rating system: a stability measurement like the rate of change of the cost function can be used as an indicator if the aircraft is under control; the tracking error is a good measurement for performance needed in the rating scheme. Finally, the change of the control amount or the output of a confidence tool, which has been developed by the authors, can be used as an indication of pilot compensation. We use a number of known aircraft flight scenarios with known pilot ratings to calibrate our fuzzy membership functions. These include normal flight conditions and situations in which partial or complete failure of tail, aileron, engine, or throttle occurs.
This paper presents experiences of verifying architectural design rules of the NASA Core Flight Software (CFS) product line implementation. The goal of the verification is to check whether the implementation is consistent with the CFS architectural rules derived from the developer's guide. The results indicate that consistency checking helps a) identifying architecturally significant deviations that were eluded during code reviews, b) clarifying the design rules to the team, and c) assessing the overall implementation quality. Furthermore, it helps connecting business goals to architectural principles, and to the implementation. This paper is the first step in the definition of a method for analyzing and evaluating product line implementations from an architecture-centric perspective.
Model-based Systems Engineering (MBSE) is an emerging modeling application that is used to enhance the system development process. MBSE allows for the centralization of project and system information that would otherwise be stored in extraneous locations, yielding better communication, expedited document generation and increased knowledge capture. Based on MBSE concepts and the employment of the Systems Modeling Language (SysML), extremely large and complex systems can be modeled from conceptual design through all system lifecycles. The Operations Revitalization Initiative (OpsRev) seeks to leverage MBSE to modernize the aging Advanced Multi-Mission Operations Systems (AMMOS) into the Mission Operations System 2.0 (MOS 2.0). The MOS 2.0 will be delivered in a series of conceptual and design models and documents built using the modeling tool MagicDraw. To ensure model completeness and cohesiveness, it is imperative that the MOS 2.0 models adhere to the specifications, patterns and profiles of the Mission Service Architecture Framework, thus leading to the use of validation rules. This paper outlines the process by which validation rules are identified, designed, implemented and tested. Ultimately, these rules provide the ability to maintain model correctness and synchronization in a simple, quick and effective manner, thus allowing the continuation of project and system progress.
Composite materials have become a popular choice in aerospace engineering applications due to their low weight, high specific stiffness, high specific energy absorption, and economic synthesis. As use of composite materials has proliferated, the need for accurate simulation under extreme loading conditions is of increasing importance. *MAT_213 is a tabulated plasticity and damage material model in LS-DYNA designed for such use cases. To account for the nonlinear material response, a plasticity algorithm is used, which employs a non-associative flow rule with coefficients requiring experimental calibration. This work outlines an experimental methodology for calibrating these coefficients using the macroscopic stress-strain response and microscopic in-plane strain measurements from coupon scale experiments. The model material used for the development and demonstration of this methodology is a plain weave woven fabric with T300 carbon fiber tows in the warp direction and Kevlar© 49 fiber tows in the weft direction, and an Epon© 828/Epikure© 3223 thermoset epoxy matrix. Coupon-scale tensile testing performed at multiple fiber angles (carbon fibers oriented 0º, 22.5º, 45º, 67.5º, and 90º relative to the loading axis) provides data for multiple calibration processes. The measured plastic strain increments in the principal material coordinate are used to set limits for ratios between flow rule coefficients. The identified ranges are used to bound the search for a set of coefficients, leading to convergence of different coupon responses in the effective stress – effective plastic strain space. Flow rule coefficients found by this methodology are then used as (i) input for LS-DYNA simulations of uniaxial tension coupon tests at varying fiber angles, and (ii) comparison of predicted values for the plastic Poisson’s ratio in global coordinates with the experimentally measured one for all off-axis orientations. These results are quantitatively and qualitatively compared to macroscopic stress-strain curves and experimental strain components. The conformity of the experimentally measured quantities with those derived from the simulations provide a means for assessing the quality of calibrated coefficients.
This report summarizes updates on the ongoing development of the new American Society of Mechanical Engineers Section III, Division 5, Class B rules to address the potential failure modes of Class B components. An initial design-by-analysis approach and supporting design rules are presented. The elastic-perfectly plastic (EPP) analysis approach has been adopted for primary stress limit and ratcheting check to prevent the component failure against the structural failure mode against primary load and strain accumulation due to cyclic loads. The creep-fatigue damage assessment uses explicitly defined elastic follow-up calculated from the stress concentration region of given component. Damage fraction calculation uses a novel coupled approach to capture the influence of the elastic follow-up and provide adequate conservatism for Class B components. The proposed Class B rules does not use the stress classification approach and uses the combined loads to assess component.
General review of code rules What do they cover. What they don’t. Underlying assumptions Probability of failure Material property parameters Stresses and loads Degradation What is NonmetallicsWork Group (NWG) doing? Failure in components Redefining failure Degradation rules Oxidation degradation Irradiation degradation Molten Salt Issues Abrasion/Erosion
Small-molecule organic semiconductors are promising materials for applications ranging from solar cells to medical sensors. Their nearly infinite design space means that, in theory, it is possible to tailor the material to the exact specifications of a particular application. In reality; however, design rules to improve mobility (μ) remain elusive because of the complex calculations required to understand its limiters. Transient localization theory posits that charge carriers are slowed down by the collective phonon motions, called dynamic disorder, which localize charge carriers temporarily. Traditionally, a mode-by-mode analysis is performed to try and identify “killer” modes. Herein, the flaws are demonstrated with this analysis and present a streamlined simulation workflow that simplifies simulation of dynamic disorder and enables engineering of new molecular structures based on phonon dynamics. This workflow is combined with a novel visualization technique that enables per-atom insights into how μ is limited. Furthermore, this workflow is applied and analyzed to a series of -acenes and a series of BTBT-based molecules. Then design rules are identified in each series that identify possible ways to improve the μ beyond current experimental limits using phonon engineering.
Products are often discarded when they fail or no longer meet user needs. These outcomes are frequently shaped by early design decisions. While remanufacturing offers a sustainable alternative by restoring products to like‐new condition, its potential is often limited by designs that do not consider remanufacturing from the outset. This research addresses that challenge by introducing a structured Design for Remanufacturing (DfRem) methodology and a CAD‐integrated tool to support real‐time design decisions. The DfRem framework introduces a new primary design function focused on preserving product functionality across its life cycle. It is supported by a fault tree that identifies failure modes that limit remanufacturing potential and a hierarchy of design principles including Prevent, Minimize, Relocate, Restore, and others. Each principle is linked to actionable design rules that help engineers reduce the need for remanufacturing or improve its efficiency when necessary. To operationalize this framework, we developed CAD plugins for Autodesk Inventor and PTC Creo. These tools use a state machine model to present prioritized design rules based on selected failure modes and user input. By embedding DfRem logic directly into widely used CAD environments, the tool enables engineers to make sustainability‐informed decisions without disrupting existing workflows. Furthermore, this approach highlights the critical role of design in enabling circular and resource‐efficient product development, making remanufacturing a more practical and accessible strategy during the early stages of product design.
Tailoring molecular structures of organic electrode materials (OEMs) can enhance their performance in Na-ion batteries, however, the substitution rules and the consequent effect on the specific capacity and working potential remain elusive. Herein, by examining three sodium carboxylates with selective N substitution or extended conjugation structure, we exploited the correlation between structure and performance to establish substitution rules for high-capacity OEMs. Our results show that substitution position and types of functional groups are essential to create active centers for uptake/removal of Na+ and thermodynamically stabilize organic structures. Furthermore, rational host design and electrolytes modulation were performed to extend the cycle life to 500 cycles. A full cell based on the optimal 2,2’-bipyridine-4,4’-dicarboxylic acid disodium salt anode and the polyaniline cathode is demonstrated to confirm the feasibility of achieving all-organic batteries. Lastly, this work provides a valuable guideline for the design principle of high-capacity and stable OEMs for sustainable energy storage.
Understanding activation barriers controlling structural relaxation in glass-forming liquids, molecular transport, and ionic conductivity in amorphous polymers is a grand challenge of fundamental scientific and materials engineering interest across disciplines. Over decades, intriguing but puzzling empirical correlations between the elementary time scale of activated barrier crossing and the apparent Arrhenius activation energy, the so-called Meyer−Neldel (MN) rules, have been discovered in diverse liquids and glasses. Here, in this study, we formulate and successfully apply a new experimental analysis and an explicitly dynamical theoretical framework which provides an understanding of the origin, validity, and failure of such correlations, that bridge and unify the three fields of structural relaxation, molecular transport, and ionic conductivity in liquids and quenched glasses. Distinct quasi-universal laws are predicted in equilibrated liquids and nonequilibrium glasses, consistent with experiments. Our analysis reveals that even if the relaxation appears Arrhenius over a limited temperature range, the physical activation barrier is generally temperature-dependent in polymeric systems even below glass transition temperature. In addition, we show that the approximate validity of classical MN rules hinges on a linear temperature dependence of this barrier and the temperature range probed in experiments. Our findings are relevant for controlling the activation barrier in functional soft polymeric materials relevant to molecular separations, barrier coatings, and charge transport, and also provide new constraints on the theoretical understanding of the mechanism underlying slow activated dynamics in glass-forming condensed matter.
An end-to-end modelling program for an astrometric telescope employing a Ronchi ruling has been developed. The program models the aberrated images formed anywhere in the field-of-view. It then determines apparent centroids by simulating the motion of a Ronchi ruling across the field. Photo-electon statistics are included.
ASME Section III, Division 5 B Rules and supporting slides for code classes, construction rules, gaps in Methodology, Primary Load & Strain Limits, short and long dwell time, and future work and development including ongoing evaluations.
Abstract Zavitsas developed an aqueous electrolyte thermodynamic model and applied it to single electrolyte solutions previously. Here, a method to apply the model to multicomponent solutions is derived by setting the water activity to the mole fraction of free water in the mixture. The method is shown to work effectively for the CsBr‐KNO 3 ‐H 2 O and CsCl‐KNO 3 ‐H 2 O systems at 100.3°C even at concentrations greater than 6 molal. The largest error in the prediction of water activities was just −0.00365 for the CsBr‐KNO 3 ‐H 2 O system and −0.00631 for the CsCl‐KNO 3 ‐H 2 O system. Zavitsas' model naturally obeys Zdanovskii's rule because when two electrolyte solutions with the same fraction of free water are mixed together, water is obviously going to have that same fraction in the mixture. This means that Zavitsas' model will likely work well for the many electrolytes that obey Zdanovskii's rule.
We investigate the relationship between superselection rules and quantum error correcting codes. We demonstrate that the existence of a superselection rule implies the Knill-Laflamme condition in quantum error correction. As an example, we examine the code built from quantum chromodynamics, where the proton and neutron states in the model are explored as different superselection sectors that protect logical information. Finally we comment on topological quantum error correcting codes and supersymmetric quantum field theory within this framework.