Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “performance bound”

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 1,513 records · Page 84

Optimal inputs for system identification

Identification criteria are presented for linear dynamic systems with and without process noise. With process noise, the state equations are replaced by the Kalman filter equations. If the identification performance index is expanded in a Taylor's series with respect to the parameters to be identified, then maximizing the weighting factor of the quadratic term with respect to the inputs will insure that an identification algorithm will converge more rapidly and to a more accurate result than with nonoptimal inputs. The expectation of this weighting factor is the Fisher information matrix, and its inverse is a lower bound for the covariance of the parameters. Direct and indirect methods of calculating the information matrix are presented for systems with and without process noise.

Reid, D. B.↗

A system debugging model.

Consideration of the nature of the 'debugging' process applied to a new complex system during the initial period of its life. During this period failures and errors are corrected as they occur, with resulting improvement in the subsequent performance of the system. One mathematical idealization of this process leads to the assumption that system failure rate is decreasing with time. In practice, the debugging phase is considered completed when the failure rate reaches an equilibrium or constant value. Models are formulated for this phenomenon. Maximum likelihood estimates are obtained for relevant failure rate functions and for the end of the debugging period. A conservative upper confidence bound on the stable failure rate is obtained.

Barlow, R. E.↗

Mathematical models for cochannel interference in FH/MFSK multiple-access systems

FH/MFSK has been proposed for a multiuser spread spectrum digital communication system to combat both self-jamming and intentional jamming. An independence assumption at the energy detector outputs is used to evaluate such a system for a digitized voice mobile radio system (Yue, 1981). This paper presents a correlated model and compares its performance to an independence model under the symbol error probability criterion. A Gaussian process model is also developed for comparison. It is found that the conventional Gaussian approximation is inadequate in predicting the number of users that can be accommodated by an FH/MFSK system using the conventional receiver. Furthermore, for the cases evaluated, the independence model provides an excellent approximation to the correlated model. Additionally, a conditional Chernoff bound is presented for the more general case of frequency-hopping systems with multiple hops per symbol.

Yan, T.-Y.↗

Orbital Acceleration Research Experiment: Calibration Measurements

The Orbital Acceleration Research Experiment (OARE), which has flown on STS-40, STS-50, and STS-58, contains a three-axis accelerometer with a single, nonpendulous, electrostatically suspended proofmass, which can resolve accelerations to the 10(sub -9) g level. The experiment also contains a full calibration station to permit in situ bias and scale-factor calibration. This on-orbit calibration capability eliminates the large uncertainty of ground-based calibrations encountered with accelerometers flown in the past on the Orbiter, and thus provides absolute acceleration measurement accuracy heretofore unachievable. This is the first time accelerometer scale-factor measurements have been performed on orbit. A detailed analysis of the calibration process is given, along with results of the calibration factors from the on-orbit OARE flight measurements on STS-58. In addition, the analysis of OARE flight-maneuver data used to validate the scale-factor measurements in the sensor's most sensitive range are also presented. Estimates on calibration uncertainties are discussed. These uncertainty estimates provides bounds on the STS-58 absolute acceleration measurements for future applications.

Blanchard, Robert C.↗

Development and Demonstration of an Ada Test Generation System

In this project we have built a prototype system that performs Feasible Path Analysis on Ada programs: given a description of a set of control flow paths through a procedure, and a predicate at a program point feasible path analysis determines if there is input data which causes execution to flow down some path in the collection reaching the point so that tile predicate is true. Feasible path analysis can be applied to program testing, program slicing, array bounds checking, and other forms of anomaly checking. FPA is central to most applications of program analysis. But, because this problem is formally unsolvable, syntactic-based approximations are used in its place. For example, in dead-code analysis the problem is to determine if there are any input values which cause execution to reach a specified program point. Instead an approximation to this problem is computed: determine whether there is a control flow path from the start of the program to the point. This syntactic approximation is efficiently computable and conservative: if there is no such path the program point is clearly unreachable, but if there is such a path, the analysis is inconclusive, and the code is assumed to be live. Such conservative analysis too often yields unsatisfactory results because the approximation is too weak. As another example, consider data flow analysis. A du-pair is a pair of program points such that the first point is a definition of a variable and the second point a use and for which there exists a definition-free path from the definition to the use. The sharper, semantic definition of a du-pair requires that there be a feasible definition-free path from the definition to the use. A compiler using du-pairs for detecting dead variables may miss optimizations by not considering feasibility. Similarly, a program analyzer computing program slices to merge parallel versions may report conflicts where none exist. In the context of software testing, feasibility analysis plays an important role in identifying testing requirements which are infeasible. This is especially true for data flow testing and modified condition/decision coverage. Our system uses in an essential way symbolic analysis and theorem proving technology, and we believe this work represents one of the few successful uses of a theorem prover working in a completely automatic fashion to solve a problem of practical interest. We believe this work anticipates an important trend away from purely syntactic-based methods for program analysis to semantic methods based on symbolic processing and inference technology. Other results demonstrating the practical use of automatic inference is being reported in hardware verification, although there are significant differences between the hardware work and ours. However, what is common and important is that general purpose theorem provers are being integrated with more special-purpose decision procedures to solve problems in analysis and verification. We are pursuina commercial opportunities for this work, and will use and extend the work in other projects we are engaged in. Ultimately we would like to rework the system to analyze C, C++, or Java as a key step toward commercialization.

Source record↗

Decentralized Control of Sound Radiation from an Aircraft-Style Panel Using Iterative Loop Recovery

A decentralized LQG-based control strategy is designed to reduce low-frequency sound transmission through periodically stiffened panels. While modern control strategies have been used to reduce sound radiation from relatively simple structural acoustic systems, significant implementation issues have to be addressed before these control strategies can be extended to large systems such as the fuselage of an aircraft. For instance, centralized approaches typically require a high level of connectivity and are computationally intensive, while decentralized strategies face stability problems caused by the unmodeled interaction between neighboring control units. Since accurate uncertainty bounds are not known a priori, it is difficult to ensure the decentralized control system will be robust without making the controller overly conservative. Therefore an iterative approach is suggested, which utilizes frequency-shaped loop recovery. The approach accounts for modeling error introduced by neighboring control loops, requires no communication between subsystems, and is relatively simple. The control strategy is validated using real-time control experiments performed on a built-up aluminum test structure representative of the fuselage of an aircraft. Experiments demonstrate that the iterative approach is capable of achieving 12 dB peak reductions and a 3.6 dB integrated reduction in radiated sound power from the stiffened panel.

Schiller, Noah H.↗

Signal Processing Methods for Liquid Rocket Engine Combustion Stability Assessments

The J2X Gas Generator engine design specifications include dynamic, spontaneous, and broadband combustion stability requirements. These requirements are verified empirically based high frequency chamber pressure measurements and analyses. Dynamic stability is determined with the dynamic pressure response due to an artificial perturbation of the combustion chamber pressure (bomb testing), and spontaneous and broadband stability are determined from the dynamic pressure responses during steady operation starting at specified power levels. J2X Workhorse Gas Generator testing included bomb tests with multiple hardware configurations and operating conditions, including a configuration used explicitly for engine verification test series. This work covers signal processing techniques developed at Marshall Space Flight Center (MSFC) to help assess engine design stability requirements. Dynamic stability assessments were performed following both the CPIA 655 guidelines and a MSFC in-house developed statistical-based approach. The statistical approach was developed to better verify when the dynamic pressure amplitudes corresponding to a particular frequency returned back to pre-bomb characteristics. This was accomplished by first determining the statistical characteristics of the pre-bomb dynamic levels. The pre-bomb statistical characterization provided 95% coverage bounds; these bounds were used as a quantitative measure to determine when the post-bomb signal returned to pre-bomb conditions. The time for post-bomb levels to acceptably return to pre-bomb levels was compared to the dominant frequency-dependent time recommended by CPIA 655. Results for multiple test configurations, including stable and unstable configurations, were reviewed. Spontaneous stability was assessed using two processes: 1) characterization of the ratio of the peak response amplitudes to the excited chamber acoustic mode amplitudes and 2) characterization of the variability of the peak response's frequency over the test duration. This characterization process assists in evaluating the discreteness of a signal as well as the stability of the chamber response. Broadband stability was assessed using a running root-mean-square evaluation. These techniques were also employed, in a comparative analysis, on available Fastrac data, and these results are presented here.

Kenny, R. Jeremy↗

Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif

Verification of Programmable Logic Controller (PLC) programs requires reasoning about propositions qualified in terms of time. CERN’s PLCverif, an open-source tool for the analysis of safety-critical PLC systems, uses Linear Temporal Logic (LTL) for the specification of properties. Until now, PLCverif depended on third-party tools that accept LTL specifications to perform verification. However, our experience with industrial PLC programs shows that, to overcome analysis limitations, a wide range of techniques are needed to successfully verify complex properties. In this paper, we extend PLCverif to enable PLC program verification of pure-past LTL (PLTL) safety properties with assertion-based verification tools. To this end, we take an algorithm from the runtime-monitoring domain, apply it to bounded model checking of PLC programs, and implement it in PLCverif. We extend the integration of NASA’s Formal Requirements Elicitation Tool (FRET) into PLCverif to use PLTL properties generated with FRET. In addition, we leverage the program structure induced by the PLC scan-cycle for a state-space reduction. Finally, we expose the algorithm to a real-world case study of critical systems at CERN.

Formal verification↗

Temperature-Time Modeling of Spent Fuel Cladding in Dry Storage Casks

This report uses thermal and decay heat modeling to investigate spent fuel performance and the potential for cladding to anneal in dry storage conditions. Annealing is an important feature to investigate in SNF cladding because it has a direct relationship to cladding response in storage, transportation and disposal conditions. Annealed cladding may have lower strength than unannealed cladding, however its increased ductility would provide better protection against rupture in high strain rate situations such as severe accidents. These consequences are the driver for this work however are outside of the scope of this report. The modeling focused on three representative storage systems, the TN-32B, MAGNASTOR with TSC-37 canister, and NUHOMS AHSM with a 32PTH2 canister. This covers the vertical dual-purpose, vertical ventilated and horizontal ventilated casks respectively. Decay heat modeling using high and low enrichment assemblies was used to bound the decay heat curves that might be expected in dry storage. To bound the temperature relationship, the storage casks were modeled starting at the design basis heat loads with heat decaying through time. Although the results are bounding there is not an attempt to maximize conservatism, rather the intent to form a reasonable upper limit on temperature that will be broadly applicable to the U.S. cask fleet. This will allow materials testing to focus on relevant conditions for annealing that may affect the U.S. spent fuel inventory. The results show a clear dependence on heat load pattern in time in Figure S-1 and Figure S-2. This dependence is due to the different assembly decay heat curves for different assemblies in preferentially loaded casks. It shows the need for careful decay heat modeling when examining in service fuel temperatures that are less than the cask design basis heat load. The body of the report shows percent cladding cutoffs of 300°C and 350 °C as well. These results can be used to inform testing and conclusions about cladding performance through time and the potential for cladding annealing during dry storage.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

Search for central exclusive production of top quark pairs in proton-proton collisions at $\sqrt{s}$ = 13 TeV with tagged protons

A search for the central exclusive production of top quark-antiquark pairs ($t\overline{t}$) is performed for the first time using proton-tagged events in proton-proton collisions at the LHC at a centre-of-mass energy of 13 TeV. The data correspond to an integrated luminosity of 29.4 fb -1 . The $t\overline{t}$ decay products are reconstructed using the central CMS detector, while forward protons are measured in the CMS-TOTEM precision proton spectrometer. An observed (expected) upper bound on the production cross section of 0.59 (1.14) pb is set at 95% confdence level, for collisions of protons with fractional momentum losses between 2 and 20%.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Diaminopurine in Nonenzymatic RNA Template Copying

In the RNA World before the emergence of an RNA polymerase, nonenzymatic template copying would have been essential for the transmission of genetic information. However, the products of chemical copying with the canonical nucleotides (A, U, C, and G) are heavily biased toward the incorporation of G and C, which form a more stable base pair than A and U. We therefore asked whether replacing adenine (A) with diaminopurine (D) might lead to more efficient and less biased nonenzymatic template copying by making a stronger version of the A:U pair. As expected, primer extension substrates containing D bound to U in the template more tightly than substrates containing A. However, primer extension with D exhibited elevated reaction rates on a C template, leading to concerns about fidelity. Our crystallographic studies revealed the nature of the D:C mismatch by showing that D can form a wobble-type base pair with C. We then asked whether competition with G would decrease the mismatched primer extension. We performed nonenzymatic primer extension with all four activated nucleotides on randomized RNA templates containing all four letters and used deep sequencing to analyze the products. We found that the DUCG genetic system exhibited a more even product distribution and a lower mismatch frequency than the canonical AUCG system. Furthermore, primer extension is greatly reduced following all mismatches, including the D:C mismatch. Our study suggests that D deserves further attention for its possible role in the RNA World and as a potentially useful component of artificial nonenzymatic RNA replication systems.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Entanglement Capacity Estimates and Throughput Measurements of Quantum Channels

The throughput is an important performance metric of entangled qubit distribution quantum networks, and may be characterized by the number of distributed entangled qubit pairs per second (ebps). It is measured over physical quantum network connections using specialized instruments, including photonic entanglement sources and single photon detectors. Extensive theory has been developed to estimate the entangled qubit capacity of quantum channels using abstractions of physical connections. These two quantities both characterize the throughput performance but in different ways, and typically have been hard to relate to each other in concrete terms, in part due to the lack of precise measurements with matching analytical models and derivations. We describe measurements on a physical testbed with fiber connections of lengths 0-75 kilometers. We obtain the normalized analytic capacity estimates using the transmissivity approximations derived using single photon coincidence measurements, and convert them to bounds on throughput (measured in ebps) using a multiplier derived from co-located detector measurements. The results indicate consistent throughput measurements upper-bounded by their analytical capacity estimates across all connections. We show that previous capacity estimates using light measurements are below ebps measurements for some connections, due to the inclusion of non-representative decrease of light levels outside C-band with distance.

Rao, Nageswara↗

Capacities of Entanglement Distribution From a Central Source

Distribution of entanglement is an essential task in quantum information processing and the realization of quantum networks. In our work, we theoretically investigate the scenario where a central source prepares an N -partite entangled state and transmits each entangled subsystem to one of N receivers through noisy quantum channels. The receivers are then able to perform local operations assisted by unlimited classical communication to distill target entangled states from the noisy channel output. In this operational context, we define the EPR distribution capacity and the GHZ distribution capacity of a quantum channel as the largest rates at which Einstein-Podolsky-Rosen (EPR) states and Greenberger-Horne-Zeilinger (GHZ) states can be faithfully distributed through the channel, respectively. We establish lower and upper bounds on the EPR distribution capacity by connecting it with the task of assisted entanglement distillation. We also construct an explicit protocol consisting of a combination of a quantum communication code and a classical-post-processing-assisted entanglement generation code, which yields a simple achievable lower bound for generic channels. As applications of these results, we give an exact expression for the EPR distribution capacity over two erasure channels and bounds on the EPR distribution capacity over two generalized amplitude damping channels. We also bound the GHZ distribution capacity, which results in an exact characterization of the GHZ distribution capacity when the most noisy channel is a dephasing channel.

42 ENGINEERING↗

Organic Iodide Sorption from Dilute Gas Streams

Reprocessing used nuclear fuel releases volatile radionuclides, including 129 iodine (I), into the off-gas of a processing plant. Volatile radioiodine could be present in several forms, depending on the chemistry of the process used and the off-gas stream. Inorganic I 2 is expected to be the predominant I species in the dissolver off-gas (DOG), with minor organic iodides present. The bulk of the I is expected to volatilize into the DOG in parts-per-million-level (ppm) concentrations. In contrast, in the vessel off-gas (VOG), most of the volatile I is expected to be found as organic iodides, such as CH 3 I, C 4 H 9 I, and C 12 H 25 I. These species are expected to be present in parts-per-billion-level (ppb) concentrations but require abatement, even at low expected concentrations, to meet regulatory emissions limits in the United States. Historically, studies of I abatement by Ag-functionalized sorbents have focused on inorganic I in the DOG, but in the last few years, more research attention has been given to organic iodides, especially longer chain species, such as C 4 H 9 I, and C 12 H 25 I. This report has three main goals: (1) to present new data generated at Oak Ridge National Laboratory (ORNL) in FY21 on the sorption behavior of organic iodides on AgZ, (2) to summarize and synthesize organic iodide data produced by ORNL and Idaho National Laboratory (INL) over the last 4 years to answer questions on organic iodides behavior outlined in the 2018 joint test plan (Jubin et al. 2018), and (3) to propose a VOG abatement system design that can provide the capture efficiencies required to meet I emission limits. The 2021 ORNL experimental campaign tested the effects of organic iodide speciation and concentration in the off-gas, superficial velocity of the off-gas, and effects of aging on AgZ sorbent capacity. These studies found that the sorption rate of organic iodides by AgZ depends on the hydrocarbon chain length and the concentration in the off-gas. Higher molecular weight organic iodides adsorb to AgZ more slowly than I. At a concentration of 50 ppm concentration in the off-gas, CH 3 I loads 8% slower, C 4 H 9 I loads 20% slower, and C 12 H 25 I loads 40% slower than I. The lowest concentration loading rates calculated were in 5 ppm organic iodide gas streams in which AgZ gained on average 0.14 mg I/g sorbent/hour in the bench scale test system. Thus, longer sorbent beds might be needed to accommodate slower loading rates onto AgZ in lower concentration gas streams. Although sorption rate varies as a function of hydrocarbon chain length, the saturation concentration of the sorbent for these I-bearing species does not vary. Aging AgZ in a humid air stream for 9 months drops the overall sorbent capacity by ~35% for CH 3 I, ~50% for C 4 H 9 I, and ~40% for C 12 H 25 I. This results in a saturation capacity between 35 and 70 mg I/g sorbent for the aged AgZ. In conjunction with recent data produced by INL, these data are used to estimate the mass transfer zone (MTZ) and decontamination factor (DF) for sorbent beds of AgZ. Sorption tests performed with iodide gas concentrations of about 1 ppm and higher at a superficial gas velocity of 10 m/min, indicate that MTZ depths for these conditions tend to range between about 8-20 cm. Tests performed at lower concentrations between 50-90 ppb and at gas superficial velocities of 1, 10, and 20 m/min indicate that the MTZ depth increases with increasing superficial gas velocity. The 20 m/min test indicates that the MTZ for those conditions was at least 22 cm, and doubling the superficial gas velocity from 10 to 20 m/min could roughly double or triple the MTZ depth. Doubling and tripling the bounding MTZ depth of 20 cm for the body of MTZ estimates made at with 10 m/min superficial velocity would extend the MTZ for a superficial velocity of 20 m/min to 40-60 cm. This bounding limit applies to all of the organic iodides that have been tested. These results also indicate that the sorption rate-limiting step is not sensitive to the superficial gas velocity; otherwise the MTZ depth would not have increased approximately in proportion to the increase in the gas superficial velocity. This further suggests that the rate limiting step is not associated with mass transfer of the sorbate to the sorbent surface, or mass transfer of the reaction byproducts from the sorbent surface, but is associated with sorption or chemical reactions on the sorbent surface or in sorbent pores. Deep bed testing at INL has established DFs of >2,000 for I, CH 3 I, and C 4 H 9 I under a range of conditions (Soelberg et al. 2021, Bruffey et al. 2019). DF does not seem to be affected by the concentration of the organic iodide in the gas stream over the range of 1 to 50 ppm. Thus, if the MTZ is accommodated in sorbent bed design for the DOG and VOG, then regulatory DFs will be met. To meet the third objective outlined in this report, these experimental data were used to update an engineering evaluation of the VOG first completed in 2016. The updated VOG design can be found in an accompanying document (Welty et al., 2021; INL- LTD-21-64587). This report finds that the VOG will decrease in both size and complexity, relative to previous designs, and will still meet regulatory requirements for all iodine forms.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

PROTEUS: Machine Learning Driven Resilience for Extreme-scale Systems

The objective of this project is to design, develop, and evaluate scalable software to enhance resilience, data checkpointing, program restart, and analysis. The proposed tasks are to 1) develop scalable machine learning techniques to learn temporal change patterns in a scalable and in-situ manner, and to minimize data movement and maximize learning locally closest to data; 2) design a concise data representation and indexing mechanism to capture the distribution of changes in data that can guarantee point-wise user-defined tolerable errors while reducing the data storage requirements by an order of magnitude or more; 3) develop data reduction techniques as library modules; 4) exploit local SSD for minimizing data movement in storage hierarchy; 5) develop anomaly detection algorithms that can predict corruptions based on learning of emerging patterns; 6) develop software libraries to be incorporated within widely used data formats and APIs; and 7) evaluate the proposed software using DOE scientific applications. The outcomes of the proposed work are to satisfy many synergistic data reduction and resilience requirements for large-scale data intensive applications executed on extreme-scale computing systems. The developed mechanism for error-bound data approximation is directly applicable to existing scientific applications. Through machine learning from historical events and change distribution, this work will enable anomaly detection for DOE computer facility.

97 MATHEMATICS AND COMPUTING↗

An automated procedure for preliminary design of primary structure for transport Aircraft

A multistation structural synthesis procedure, designed to perform structural sizing and detail design of boxbeam structure, is presented. The design procedure combines the use of an iterative sizing technique for distributing material to structural elements with a nonlinear programming technique to finding efficient structural element designs of a given weight. Constraints based on fatigue and fracture criteria and static strength criteria under multiple loading conditions are considered, as well as constraints on the upper and lower bounds of the actual design variables. Emphasis is placed on the overall design procedure and the technique used to include the fatigue and fracture criteria.

Kruse, G. S.↗

Analysis of subpixel registration

The area of subpixel accuracy in image registration and edge detection was studied. Two main directions of research were pursued, edge detection and matching based on the digital geometry of edges, and random field models for probablistic analysis of registration error. In the edge detection approach, error bounds and error probabilities were computed using theoretical models. Algorithms were developed and tests on simulated imagery. The methods appear promising for high accuracy edge position estimation and registration, though further refinement of the procedures is required. Using random field models, a statistical measure of the quality of the cross correlation peak as an estimate of the offset between a sensed and a reference image was developed. Simulations were performed to determine the validity of this estimte with real imagery and to study the results of interpolating digital correlation functions to estimate the translation offset to subpixel accuracy.

Berenstein, C. A.↗

Shock spectra applications to a class of multiple degree-of-freedom structures system

The demand on safety performance of launching structure and equipment system from impulsive excitations necessitates a study which predicts the maximum response of the system as well as the maximum stresses in the system. A method to extract higher modes and frequencies for a class of multiple degree-of-freedom (MDOF) Structure system is proposed. And, along with the shock spectra derived from a linear oscillator model, a procedure to obtain upper bound solutions for maximum displacement and maximum stresses in the MDOF system is presented.

Hwang, Shoi Y.↗