Search NASA⌕ Search

SEARCH · Search NASA

Results for “Bounding Analysis”

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 37 records · Page 2
All sourcesNASA NTRSDOE OSTI
NASA NTRS2008

Bounded Linear Stability Margin Analysis of Nonlinear Hybrid Adaptive Control

This paper presents a bounded linear stability analysis for a hybrid adaptive control that blends both direct and indirect adaptive control. Stability and convergence of nonlinear adaptive control are analyzed using an approximate linear equivalent system. A stability margin analysis shows that a large adaptive gain can lead to a reduced phase margin. This method can enable metrics-driven adaptive control whereby the adaptive gain is adjusted to meet stability margin requirements.

Nguyen, Nhan T.↗
NASA NTRS1988

Computing The Compliances Of Gear Meshes

Computer model simulates compliance and sharing of loads in spur-gear mesh. Use of solid-body analysis as lower bound and rim analysis as upper bound for mesh compliance, reasonable approximations obtained for compliance in spur-gear mesh.

Lewicki, D. G.↗
NASA NTRS2020

Implicit Formulations of Bounded-Impulse Trajectory Models for Preliminary Interplanetary Low-Thrust Analysis

The bounded-impulse approach to low-thrust interplanetary trajectory optimization is widely used. In an effort to efficiently implement this approach using NASA’s OpenMDAO optimization software, the authors have implemented implicit formulations of the forward shooting/backwards-shooting methods commonly used in bounded-impulse models. These implicit approaches allow for vectorization of the underlying calculations which can significantly reduce runtime in interpreted languages. An implicit approach may be either converged by using an underlying nonlinear solver to converge the state propagation, or as a constraint in an optimizer-driven multiple-shooting approach. Significant computational efficiency gains are realized through the utilization of the modular approach to unified derivatives. Further computational efficiency is achieved by capitalizing on the sparsity of the constraint Jacobian matrix. This work demonstrates that a vectorized multiple-shooting approach for propagating a state-time history is superior in terms of computational efficiency as the number of segments in the state-propagation is increased.

Falck, Robert D↗
NASA NTRS1974

Analysis and design of advanced composite bounded joints

Advances in the analysis of adhesive-bonded joints are presented with particular emphasis on advanced composite structures. The joints analyzed are of double-lap, single-lap, scarf, stepped-lap and tapered-lap configurations. Tensile, compressive, and in-plane shear loads are covered. In addition to the usual geometric variables, the theory accounts for the strength increases attributable to adhesive plasticity (in terms of the elastic-plastic adhesive model) and the joint strength reductions imposed by imbalances between the adherends. The solutions are largely closed-form analytical results, employing iterative solutions on a digital computer for the more complicated joint configurations. In assessing the joint efficiency, three potential failure modes are considered. These are adherend failure outside the joint, adhesive failure in shear, and adherend interlaminar tension failure (or adhesive failure in peel). Each mode is governed by a distinct mathematical analysis and each prevails throughout different ranges of geometric sizes and proportions.

Hart-Smith, L. J.↗
DOE OSTI2020

Improved analysis of arabinoxylan-bound hydroxycinnamate conjugates in grass cell walls

Background: Arabinoxylan in grass cell walls is acylated to varying extents by ferulate and p-coumarate at the 5-hydroxy position of arabinosyl residues branching off the xylan backbone. Some of these hydroxycinnamate units may then become involved in cell wall radical coupling reactions, resulting in ether and other linkages amongst themselves or to monolignols or oligolignols, thereby crosslinking arabinoxylan chains with each other and/or with lignin polymers. This crosslinking is assumed to increase the strength of the cell wall, and impedes the utilization of grass biomass in natural and industrial processes. A method for quantifying the degree of acylation in various grass tissues is, therefore, essential. We sought to reduce the incidence of hydroxycinnamate ester hydrolysis in our recently introduced method by utilizing more anhydrous conditions. Results: The improved methanolysis method minimizes the undesirable ester-cleavage of arabinose from ferulate and p-coumarate esters, and from diferulate dehydrodimers, and produces more methanolysis vs. hydrolysis of xylan-arabinosides, improving the yields of the desired feruloylated and p-coumaroylated methyl arabinosides and their diferulate analogs. Free ferulate and p-coumarate produced by ester-cleavage were reduced by 78% and 68%, respectively, and 21% and 39% more feruloyl and p-coumaroyl methyl arabinosides were detected in the more anhydrous method. The new protocol resulted in an estimated 56% less combined diferulate isomers in which only one acylated arabinosyl unit remained, and 170% more combined diferulate isomers conjugated to two arabinosyl units. Conclusions: Overall, the new protocol for mild acidolysis of grass cell walls is both recovering more ferulate- and p-coumarate-arabinose conjugates from the arabinoxylan and cleaving less of them down to free ferulic acid, p-coumaric acid, and dehydrodiferulates with just one arabinosyl ester. This cleaner method, especially when coupled with the orthogonal method for measuring monolignol hydroxycinnamate conjugates that have been incorporated into lignin, provides an enhanced tool to measure the extent of crosslinking in grass arabinoxylan chains, assisting in identification of useful grasses for biomass applications.

09 BIOMASS FUELS↗
NASA NTRS1974

A study to determine the usefulness of interval analysis in solving problems in celestial mechanics

This investigation was undertaken to determine the usefulness of interval analysis to numerical integration and matrix inversion techniques and to combine these results to determine the value of interval analysis in bounding computational errors in the two-body problem. Conclusions were that interval analysis may be worthwhile in certain small scale isolated problems, but its usefulness in any large scale problem is doubtful.

Walling, D.↗
NASA NTRS2017

Thermal Design and Analysis of the Optical Telescope Assembly for the Gondola for High Altitude Planetary Science

The NASA Gondola for High Altitude Planetary Science (GHAPS) project is an effort to design, build, and fly a balloon-borne platform for planetary science missions. GHAPS observations will be in the 300 nm to 5 micron wavelength region covering UV, visible, and near-mid IR. The primary element of the project is the Optical Telescope Assembly (OTA). It is a one meter aperture narrow-field-of-view telescope that contains the primary and secondary mirrors, the support system/metering structure, a secondary mirror focusing system, baffles, and insulation. This paper presents the thermal design and analysis that has been done to support the design of the OTA. A major part of the thermal analysis was bounding the flight environment for the six potential Columbia Scientific Balloon Facility launch sites. These analyses were used to give input into the Structural Thermal Optical Performance (STOP) analysis of the telescope. Also the analysis was used to select heater sizes for the few OTA associated electronic components. Currently the telescope is scheduled to have its first flight in 2019.

O'Connor, Brian↗
NASA NTRS2014

Improving Coverage of Test Cases Generated by Symbolic PathFinder for Programs with Loops

Symbolic execution is a program analysis technique that is used for many purposes, one of which is test-case generation. For loop-free programs, this generates a test-set that achieves path coverage. Program loops, however, imply exponential growth of the number of paths in the best case and non-termination in the worst case. In practice, the number of loop unwindings needs to be bounded for analysis. We consider symbolic execution in the context of the tool Symbolic Pathfinder. This tool extends the model-checker Java Pathfinder and relies on its bounded state-space exploration for termination. We present an implementation of k-bounded loop unwinding, which increases the amount of user-control over the symbolic execution of loops. Bounded unwinding can be viewed as a naive way to prune paths through loops. When using symbolic execution for test-case generation, naively pruning paths is likely at the cost of coverage. In order to improve coverage of branches within a loop body, we present a technique that semi-automatically concretizes variables used in a loop. The basic technique is limited and we therefore present annotations to manually steer symbolic execution towards certain branches, as well as ideas on how the technique can be extended to be more widely applicable.

Programs With Loops↗
DOE OSTI2021

Machine‐learning‐based construction of barrier functions and models for safe model predictive control

Abstract In this paper, we propose a control Lyapunov‐barrier function‐based model predictive control method utilizing a feed‐forward neural network specified control barrier function (CBF) and a recurrent neural network (RNN) predictive model to stabilize nonlinear processes with input constraints, and to guarantee that safety requirements are met for all times. The nonlinear system is first modeled using RNN techniques, and a CBF is characterized by constructing a feed‐forward neural network (FNN) model with unique structures and properties. The FNN model for the CBF is trained based on data samples collected from safe and unsafe operating regions, and the resulting FNN model is verified to demonstrate that the safety properties of the CBF are satisfied. Given sufficiently small bounded modeling errors for both the FNN and the RNN models, the proposed control system is able to guarantee closed‐loop stability while preventing the closed‐loop states from entering unsafe regions in state‐space under sample‐and‐hold control action implementation. We provide the theoretical analysis for bounded unsafe sets in state‐space, and demonstrate the effectiveness of the proposed control strategy using a nonlinear chemical process example with a bounded unsafe region.

Chen, Scarlett↗
NASA NTRS1991

ATAMM analysis tool

Diagnostics software for analyzing Algorithm to Architecture Mapping Model (ATAMM) based concurrent processing systems is presented. ATAMM is capable of modeling the execution of large grain algorithms on distributed data flow architectures. The tool graphically displays algorithm activities and processor activities for evaluation of the behavior and performance of an ATAMM based system. The tool's measurement capabilities indicate computing speed, throughput, concurrency, resource utilization, and overhead. Evaluations are performed on a simulated system using the software tool. The tool is used to estimate theoretical lower bound performance. Analysis results are shown to be comparable to the predictions.

Jones, Robert↗
DOE OSTI2022

Matrimid substrates with bicontinuous surface and macrovoids in the bulk: A nearly ideal substrate for composite membranes in CO 2 capture

Scalable fabrication of thin-film composite (TFC) membrane for post-combustion carbon capture is often limited by the availability of high-performance nanoporous substrate. Ideally, the substrate should allow for fast gas transport at the selective layer/substrate interface as well as in the bulk of the substrate. In this study, highly permeable Matrimid substrates were prepared via vapor- and nonsolvent-induced phase separations. The phase separation mechanism of the Matrimid®/N-methyl-2-pyrrolidone casting solution was modulated by the addition of LiCl to control the solution thermodynamic stability, and nanoporous Matrimid substrates were formed with a bicontinuous surface and macrovoids in the bulk. This hierarchically optimized structure resulted in a CO 2 permeance of 2.60 × 10 5 GPU (1 GPU = 1 × 10 –6 cm 3 (STP) cm –2 s –1 cmHg –1 = 3.349 × 10 –10 mol m –2 s –1 Pa –1 ), which was ca. 11 times more permeable than a benchmark polyethersulfone substrate with cellular pores. The benefit of using this new substrate was demonstrated by coating a 170-nm amine-containing polymer to form a TFC facilitated transport membrane. The membrane exhibited a CO 2 permeance of 932 GPU at 57°C, which was 72 GPU higher than the counterpart coated on the benchmark substrate. Meanwhile, the CO 2 /N 2 selectivity was remained at 158. This permeance improvement could be well explained by the resistance-in-series model, where the improved permeance was attributed to the reductions in substrate and lateral diffusion mass transfer resistances. The upper bound (UB) analysis indicates that the Matrimid substrate is nearly ideal for the state-of-the-art polymers for CO 2 /N 2 separation. Here, the substrate improvement could also reduce the parasitic energy associated with the membrane process due to the reduced membrane cost and flue gas compression requirement.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2021

Mapping glyceride species in biodiesel by high-temperature gas chromatography combined with chemical ionization mass spectrometry.

Accurate and comprehensive identification of residual glycerides in biodiesel is an important part of the fuel characterization, due to the impact of glycerides on the fuel physicochemical properties. However, analysis of bound glycerol in biodiesel samples faces challenges due to lack of readily available standards of structurally complex glyceride species in non-traditional biodiesel feedstocks, and a risk of misannotation in the presence of impurities in gas chromatographic separations. Here we evaluate methane and isobutane chemical ionization – single quadrupole mass spectrometry combined with high temperature gas chromatography separations for mapping monoacylglycerols, diacylglycerols and triacylglycerols in biodiesel. Unlike the electron impact ionization which produces mostly in-source fragments, isobutane chemical ionization spectra of tetramethylsilyl (TMS) derivatized monoacylglycerols and diacylglycerols are dominated by molecular ions and M-SiO(CH3)3+ ions, which provide important diagnostic information. We demonstrate the utility of isobutane chemical ionization in identifying structurally complex glycerolipid standards as well as species in biodiesel samples from different plant and animal feedstocks.

biodiesel, chemcial ionization mass spectrometry↗
DOE OSTI2023

Genetic switching by the Lac repressor is based on two-state Monod–Wyman–Changeux allostery

High-resolution NMR spectroscopy enabled us to characterize allosteric transitions between various functional states of the dimeric Escherichia coli Lac repressor. In the absence of ligands, the dimer exists in a dynamic equilibrium between DNA-bound and inducer-bound conformations. Binding of either effector shifts this equilibrium toward either bound state. Analysis of the ternary complex between repressor, operator DNA, and inducer shows how adding the inducer results in allosteric changes that disrupt the interdomain contacts between the inducer binding and DNA binding domains and how this in turn leads to destabilization of the hinge helices and release of the Lac repressor from the operator. Based on our data, the allosteric mechanism of the induction process is in full agreement with the well-known Monod–Wyman–Changeux model.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2020

Effective J -factors for Milky Way dwarf spheroidal galaxies with velocity-dependent annihilation

We calculate the effective J-factors, which determine the strength of indirect detection signals from dark matter annihilation, for 25 dwarf spheroidal galaxies (dSphs). We consider several well-motivated assumptions for the relative velocity dependence of the dark matter annihilation cross section: σAv: s -wave (velocity independent), p -wave (σ A v∝v 2 ), d-wave (σ A v∝v 4 ), and Sommerfeld-enhancement in the Coulomb limit (σ A v∝1/v). As a result we provide the largest and most updated sample of J-factors for velocity-dependent annihilation models. For each scenario, we use Fermi-LAT gamma-ray data to constrain the annihilation cross section. Due to the assumptions made in our gamma-ray data analysis, our bounds are comparable to previous bounds on both the p-wave and Sommerfeld-enhanced cross sections using dSphs. Finally, our bounds on the d-wave cross section are the first such bounds using indirect detection data.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2020

Independent Review of Paducah Gaseous Diffusion Plant Freon Release Authorized Limits and Evaluation of Corresponding Radiological Doses

The Portsmouth/Paducah Project Office (PPPO) proposes to use the American National Standard Institute (ANSI)/Health Physics Society (HPS) N13.12 (ANSI 2013) volumetric screening levels as Authorized Limits (ALs) for the release of cryofluorane R-114 (Freon) at the Paducah Gaseous Diffusion Plant (PGDP) in Paducah, Kentucky. A review of the proposed ALs document indicated that potential exposure scenarios from the release of Freon are adequately discussed therein. However, questions arose regarding the assumptions made for the ANSI N13.12 clearance values, and whether or not all pathway doses were adequately considered in the Authorized Limits Request. For example, PPPO used the inverse square rule to estimate dose to the truck driver. A more appropriate evaluation would have considered the material as a cylindrical source for this pathway. In addition, the inverse square rule was inadequately applied to the inhalation and ingestion pathways. Furthermore, while the ANSI N13.12 volumetric clearance values are used in the ALs, questions arose concerning whether the values are appropriate for materials of greater than 1 metric ton, and whether or not the ANSI N13.12 standard could be used for liquids that are sent to an incinerator. For these reasons, dose modeling was conducted to demonstrate that using ANSI/HPS N13.12 screening levels as ALs for release of PGDP Freon meets the dose criteria set in U.S. Department of Energy (DOE) Order 458.1. This report provides a bounding dose analysis using scenarios described in PPPO document. Realistic parameters, such as the incinerator characteristics data, are used when available.

61 RADIATION PROTECTION AND DOSIMETRY↗
NASA NTRS1981

Approach to forecasting daily maximum ozone levels in St. Louis

Measurements taken in 1976 from the St. Louis Regional Air Pollution Study (RAPS) data base, conducted by EPA, were analyzed to determine an optimum set of air-quality and meteorological variables for predicting maximum ozone levels for each day in 1976. A 'leaps and bounds' regression analysis was used to identify the best subset of variables. Three particular variables, the 9 a.m. ozone level, the forecasted maximum temperature, and the 6-9 a.m. averaged wind speed, have useful forecasting utility. The trajectory history of air masses entering St. Louis was studied, and it was concluded that transport-related variables contribute to the appearance of very high ozone levels. The final empirical forecast model predicts the daily maximum ozone over 341 days with a standard deviation of 11 ppb, which approaches the estimated error.

Prior, E. J.↗
NASA NTRS1987

Performance analysis of parallel branch and bound search with the hypercube architecture

With the availability of commercial parallel computers, researchers are examining new classes of problems which might benefit from parallel computing. This paper presents results of an investigation of the class of search intensive problems. The specific problem discussed is the Least-Cost Branch and Bound search method of deadline job scheduling. The object-oriented design methodology was used to map the problem into a parallel solution. While the initial design was good for a prototype, the best performance resulted from fine-tuning the algorithm for a specific computer. The experiments analyze the computation time, the speed up over a VAX 11/785, and the load balance of the problem when using loosely coupled multiprocessor system based on the hypercube architecture.

Mraz, Richard T.↗