Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Mathematical methods”

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 163 records · Page 9

A Tool for Requirements-Based Programming

Absent a general method for mathematically sound, automated transformation of customer requirements into a formal model of the desired system, developers must resort to either manual application of formal methods or to system testing (either manual or automated). While formal methods have afforded numerous successes, they present serious issues, e.g., costs to gear up to apply them (time, expensive staff), and scalability and reproducibility when standards in the field are not settled. The testing path cannot be walked to the ultimate goal, because exhaustive testing is infeasible for all but trivial systems. So system verification remains problematic. System or requirements validation is similarly problematic. The alternatives available today depend on either having a formal model or pursuing enough testing to enable the customer to be certain that system behavior meets requirements. The testing alternative for non-trivial systems always have some system behaviors unconfirmed and therefore is not the answer. To ensure that a formal model is equivalent to the customer s requirements necessitates that the customer somehow fully understands the formal model, which is not realistic. The predominant view that provably correct system development depends on having a formal model of the system leads to a desire for a mathematically sound method to automate the transformation of customer requirements into a formal model. Such a method, an augmentation of requirements-based programming, will be briefly described in this paper, and a prototype tool to support it will be described. The method and tool enable both requirements validation and system verification for the class of systems whose behavior can be described as scenarios. An application of the tool to a prototype automated ground control system for NASA mission is presented.

Rash, James L.↗

Mathematical Modeling For Control Of A Flexible Manipulator

Improved method of mathematical modeling of dynamics of flexible robotic manipulators developed for use in controlling motions of manipulators. Involves accounting for effect, upon modes of vibration of manipulator, of changes in configuration of manipulator and manipulated payload(s). Flexible manipulator has one or more long, slender articulated link(s), like those used in outer space, method also applicable to terrestrial industrial robotic manipulators with relatively short, stiff links, or to such terrestrial machines as construction cranes.

Hu, Anren↗

Weight minimization of structures for fixed flutter speed via an optimality criterion

A rigorous optimality criterion is derived and a hybrid weight-reduction algorithm developed for the weight minimization of lifting surfaces with a constraint on flutter speed. The weight-reduction algorithm incorporates a simple recursion formula derived from the optimality criterion. Monotonic weight reduction is accomplished by dynamically adjusting a parameter in the recursion formula so as to achieve a predetermined weight decrease. The algorithm thus combines the simplicity of optimality-criterion methods with the convergence characteristics of mathematical-programming methods. The imposition of the flutter constraint is simplified by forcing to zero the imaginary part of the flutter eigenvalue, with the airspeed fixed. Four examples are discussed. The results suggest that significant improvements in efficiency are possible, in comparison with techniques based purely on mathematical programming.

Segenreich, S. A.↗

Implementation of Genetic Algorithms to Optimize Metal–Organic Frameworks for CO 2 Capture

Metal-organic frameworks (MOFs) are promising materials for CO 2 capture with the potential to use less energy than current industrial CO 2 capture methods. MOFs are highly versatile sorbents, and there is an almost unlimited number of MOFs that could be synthesized. In this work, we used a genetic algorithm (GA) and grand canonical Monte Carlo (GCMC) simulations to efficiently search for high-performing MOFs for CO 2 capture. We analyzed the effects of important GA parameters, including the mutation probability, the number of MOFs per generation and the number of GA generations, on the GA performance. Here, we performed GCMC simulations on-the-fly during the GA procedure to determine the performance of proposed MOFs and optimized their structures using multiple objective functions across different topologies. The GA was able to determine top-performing MOFs balancing CO 2 selectivity versus working capacity and reduced the cost of molecular simulations by a factor of 25 versus brute-force screening of an entire database of structures.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Subnanometer Thick Native sp 2 Carbon on Oxidized Diamond Surfaces

Oxygen-terminated diamond has a wide breadth of applications, which include stabilizing near-surface color centers, semiconductor devices, and biological sensors. Despite the vast literature on characterizing functionalization groups on diamond, the chemical composition of the shallowest portion of the surface (<1 nm) is challenging to probe with conventional techniques like XPS and FTIR. In this work, we demonstrate the use of angleresolved XPS to probe the first ten nanometers of both oxygen and hydrogen terminated (100) single-crystalline diamond grown via chemical vapor deposition (CVD). With the use of consistent peakfitting methods, the peak identities and relative peak binding energies were identified for sp 2 carbon, ether, hydroxyl, carbonyl, and C−H groups for both of these diamond surface terminations. For the oxygen-terminated sample, we also quantified the thickness of the sp 2 carbon layer situated on top of the bulk sp 3 diamond bonded carbon to be 0.3 ± 0.1 nm, based on the analysis of the Auger electron spectra and D-parameter calculations. These results indicate that the majority of the oxygen is bonded to the sp 2 carbon layer on the diamond, and not directly to the sp 3 diamond bonded carbon.

Carbon↗

Modeling the diffusion of heat energy within composites of homogeneous materials using the uncertainty principle

The goal of this paper is to develop a highly accurate and efficient numerical method for the solution of a time-dependent partial differential equation with a piecewise constant coefficient, on a finite interval with periodic boundary conditions. The resulting algorithm can be used, for example, to model the diffusion of heat energy in one space dimension, in the case where the spatial domain represents a medium consisting of two homogeneous materials. The resulting model has, to our knowledge, not yet been solved in closed form through analytical methods, and is difficult to solve using existing numerical methods, thus suggesting an alternative approach. The approach presented in this paper is to represent the solution as a linear combination of wave functions that change frequencies at the interfaces between different materials. It is demonstrated through numerical experiments that using the Uncertainty Principle to construct a basis of such functions, in conjunction with a spectral method, a mathematical model for heat diffusion through different materials can be solved much more efficiently than with conventional time-stepping methods.

97 MATHEMATICS AND COMPUTING↗

Elucidating Cycling Rate-Dependent Electrochemical Strains in Sodium Iron Phosphate Cathodes for Na-ion Batteries

Battery electrodes materials undergo significant mechanical instabilities which affects their longevity and exert rate-limitations during the cycling process. In this study, we investigate the rate-dependent mechanical response of sodium iron phosphate (NaFePO4, NFP) cathodes during Na intercalation via galvanostatic cycling at different rates by employing digital image correlation, electrochemical methods, and mathematical model. The mechanical behaviour of the electrode shows strong dependance on the applied scan rate. At slower rates, electrode shows asymmetrical strain generation between anodic and cathodic cycles, which is attributed to the formation of cathode-electrolyte interface layers. The electrode undergoes smaller strain generation when cycled at slower rates when the same amount of Na ions is removed or inserted into the electrode. A mathematical model was developed to predict strain evolution in the composite electrode as well as the concentration profile of the Na ions in the electrode particles. Rate-dependent and time dependent factors on the strain generation in the electrode are attributed to the capacity-dependent intercalation strains, rate-dependent mismatch strains, and time-dependent irreversible strains. The combination of in situ strain measurements with the analytical model provided new insight into the electrochemically induced mechanical deformations in Na-ion cathode electrodes.

Ozdogru, Bertan↗

Computing a Stability Spectrum by Use of the HHT

The Hilbert-Huang transform (HHT) is part of the mathematical basis of a method of calculating a stability spectrum. This method can be regarded as an extended and improved version of a prior HHT-based method of calculating a damping spectrum. In the prior method, information on positive damping (which leads to stability) and negative damping (which leads to instability) becomes mixed into a single squared damping loss factor. Hence, there is no way to distinguish between stability and instability by examining a damping spectrum. In contrast, in the present stabilityspectrum method, information on the mathematical sign of the damping is retained, making it possible to identify reThe Hilbert-Huang transform (HHT) is part of the mathematical basis of a method of calculating a stability spectrum. This method can be regarded as an extended and improved version of a prior HHT-based method of calculating a damping spectrum. In the prior method, information on positive damping (which leads to stability) and negative damping (which leads to instability) becomes mixed into a single squared damping loss factor. Hence, there is no way to distinguish between stability and instability by examining a damping spectrum. In contrast, in the present stabilityspectrum method, information on the mathematical sign of the damping is retained, making it possible to identify regions of instability in a spectrum. This method is expected to be especially useful for analyzing vibration-test data for the purpose of predicting vibrational instabilities in structures (e.g., flutter in airplane wings).

Huang, Norden E.↗

Mathematical Models and Numerical Methods for High-Fidelity Simulation of Ignition of Reactive Mixtures by Nanosecond Plasma Discharges in Realistic Configurations

We present a newly developed framework for the numerical simulation of ignition of reactive mixtures using single or repeated nanosecond discharge pulses. The framework builds upon the AMReX library, using the existing compressible solver PeleC and low-Mach solver PeleLMeX and allowing for adaptive mesh refinement, complex geometries, and execution on next-generation high-performance computing (HPC) systems. High-fidelity elementary models are adopted for weakly-ionised plasma discharges with significant energy deposition, consistent with nanosecond discharge pulses, and then implemented in the solver. The treatment of non-thermal electrons and charged species, thermodynamics of non-equilbrium species, plasma kinetics, limiting time scales, and boundary conditions for charged species are discussed and addressed for computational efficiency. The framework is demonstrated for three relevant applications: single and multi-pulse discharges in air, single pulse ignition of an ethylene/air mixture, and a three-dimensional plasma discharge in air with temperature stratification. The successful application of the framework demonstrates the feasibility of high-fidelity simulation of ignition of air/hydrocarbon mixtures in three-dimensions with multiple discharge pulses.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Risk Assessment of Salmonellosis from Consumption of Alfalfa Sprouts and Evaluation of the Public Health Impact of Sprout Seed Treatment and Spent Irrigation Water Testing

Abstract We developed a risk assessment of human salmonellosis associated with consumption of alfalfa sprouts in the United States to evaluate the public health impact of applying treatments to seeds (0–5‐log 10 reduction in Salmonella ) and testing spent irrigation water (SIW) during production. The risk model considered variability and uncertainty in Salmonella contamination in seeds, Salmonella growth and spread during sprout production, sprout consumption, and Salmonella dose response. Based on an estimated prevalence of 2.35% for 6.8 kg seed batches and without interventions, the model predicted 76,600 (95% confidence interval (CI) 15,400 – 248,000) cases/year. Risk reduction (by 5 ‐ to 7‐fold) predicted from a 1‐log 10 seed treatment alone was comparable to SIW testing alone, and each additional 1‐log 10 seed treatment was predicted to provide a greater risk reduction than SIW testing. A 3‐log 10 or a 5‐log 10 seed treatment reduced the predicted cases/year to 139 (95% CI 33 – 448) or 1.4 (95% CI <1 – 4.5), respectively. Combined with SIW testing, a 3‐log 10 or 5‐log 10 seed treatment reduced the cases/year to 45 (95% CI 10–146) or <1 (95% CI <1 – 1.5), respectively. If the SIW coverage was less complete (i.e., less representative), a smaller risk reduction was predicted, e.g., a combined 3‐log 10 seed treatment and SIW testing with 20% coverage resulted in an estimated 92 (95% CI 22 – 298) cases/year. Analysis of alternative scenarios using different assumptions for key model inputs showed that the predicted relative risk reductions are robust. This risk assessment provides a comprehensive approach for evaluating the public health impact of various interventions in a sprout production system.

60 APPLIED LIFE SCIENCES↗

Are We Adapting to Floods? Evidence from Global Flooding Fatalities

There has been a growing interest in understanding whether and how people adapt to extreme weather events in a changing climate. This article presents one of the first empirical analyses of adaptation to flooding on a global scale. Using a sample of 97 countries between 1985 and 2010, we investigate the extent and pattern of flood adaptation by estimating the effects of a country's climatological risk, recent flood experiences, and socioeconomic characteristics on its flood-related fatalities. Our results provide mixed evidence on adaptation: countries facing greater long-term climatological flooding risks do not necessarily adapt better and suffer fewer fatalities; however, after controlling for the cross-country heterogeneity, we find that more recent flooding shocks have a significant and negative effect on fatalities from subsequent floods. These findings may suggest the short-term learning dynamics of adaptation and potential inefficacy of earlier flood control measures, particularly those that promote increased exposure in floodplains. Our findings provide important implications for climate adaptation policy making and climate modeling.

54 ENVIRONMENTAL SCIENCES↗

Evaluation of Potential Impacts of Free Chlorine during Washing of Fresh-Cut Leafy Greens on Escherichia coli O157:H7 Cross-Contamination and Risk of Illness

Addition of chlorine-based antimicrobial substances to fresh-cut leafy green wash water is done to minimize microbial cross-contamination during processing. We developed the FDA Leafy Green Risk Assessment Model (FDA-LGRAM) to quantify the impact of free chlorine concentration in wash water during fresh-cut lettuce processing on the extent of water-mediated cross-contamination between shredded lettuce and the associated risk of illness due to exposure to Escherichia coli O157:H7. At different contamination prevalence and levels of E. coli O157:H7 on incoming lettuce heads, the model compared the predicted prevalence of contaminated fresh-cut lettuce packages and the risk of illness per serving between: (1) a scenario where fresh-cut lettuce was packaged without washing; and (2) scenarios involving washing fresh-cut lettuce with different levels of free chlorine (0 ppm, 5 ppm, 10 ppm, 15 ppm, and 20 ppm) prior to packaging. Our results indicate that the free chlorine level in wash water has a substantial impact on the predicted prevalence of contaminated fresh-cut lettuce packages and the risk of illness associated with E. coli O157:H7 in fresh-cut lettuce. Results showed that the required level of free chlorine that can minimize water-mediated cross-contamination and reduce the corresponding risk of illness depended on contamination prevalence and levels of E. coli O157:H7 on incoming lettuce heads. Our model also indicated that the pathogen inactivation rate in wash water via free chlorine was a key model parameter that had a significant impact on the extent of cross-contamination during washing and the predicted associated risk of illness.

59 BASIC BIOLOGICAL SCIENCES↗

Ecological information and approaches needed for risk communication dialogs for acute or chronic environmental crises

Scientists, social scientists, risk communicators, and many others are often thrust into a crisis situation where they need to interact with a range of stakeholders, including governmental personnel (tribal, U.S. federal, state, local), local residents, and other publics, as well as other scientists and other risk communicators in situations where information is incomplete and evolving. This paper provides: (1) an overall framework for thinking about communication during crises, from acute to chronic, and local to widespread, (2) a template for the types of ecological information needed to address public and environmental concerns, and (3) examples to illustrate how this information will aid risk communicators. The main goal is providing an approach to the knowledge needed by communicators to address the challenges of protecting ecological resources during an environmental crisis, or for an on-going, chronic environmental issue. To understand the risk to these ecological resources, it is important to identify the type of event, whether it is acute or chronic (or some combination of these), what receptors are at risk, and what stressors are involved (natural, biological, chemical, radiological). For ecological resources, the key information a communicator needs for a crisis is whether any of the following are present: threatened or endangered species, species of special concern, species groups of concern (e.g., neotropical bird migrants, breeding frogs in vernal ponds, rare plant assemblages), unique or rare habitats, species of commercial and recreational interest, and species/habitats of especial interest for medicinal, cultural, or religious activities. Communication among stakeholders is complicated with respect to risk to ecological receptors because of differences in trust, credibility, empathy, perceptions, world view valuation of the resources, and in many cases, a history of misinformation, disinformation, or no information. Exposure of salmon spawning in the Columbia River to hexavalent chromium from the Hanford Site is used as an example of communication challenges with different stakeholders, including Native Americans with Tribal Treaty rights to the land.

54 ENVIRONMENTAL SCIENCES↗