Search NASA⌕ Search

SEARCH · Search NASA

Results for “MATHEMATICS - BOUNDARY VALUES”

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 181 records · Page 10

Determination of in vivo mechanical properties of long bones from their impedance response curves

A mathematical model consisting of a uniform, linear, visco-elastic, Euler-Bernoulli beam to represent the ulna or tibia of the vibrating forearm or leg system is developed. The skin and tissue compressed between the probe and bone is represented by a spring in series with the beam. The remaining skin and tissue surrounding the bone is represented by a visco-elastic foundation with mass. An extensive parametric study is carried out to determine the effect of each parameter of the mathematical model on its impedance response. A system identification algorithm is developed and programmed on a digital computer to determine the parametric values of the model which best simulate the data obtained from an impedance test.

Borders, S. G.↗

An efficient computational method for characterizing the effects of random surface errors on the average power pattern of reflectors

Based on the works of Ruze (1966) and Vu (1969), a novel mathematical model has been developed to determine efficiently the average power pattern degradations caused by random surface errors. In this model, both nonuniform root mean square (rms) surface errors and nonuniform illumination functions are employed. In addition, the model incorporates the dependence on F/D in the construction of the solution. The mathematical foundation of the model rests on the assumption that in each prescribed annular region of the antenna, the geometrical rms surface value is known. It is shown that closed-form expressions can then be derived, which result in a very efficient computational method for the average power pattern. Detailed parametric studies are performed with these expressions to determine the effects of different random errors and illumination tapers on parameters such as gain loss and sidelobe levels. The results clearly demonstrate that as sidelobe levels decrease, their dependence on the surface rms/wavelength becomes much stronger and, for a specified tolerance level, a considerably smaller rms/wavelength is required to maintain the low sidelobes within the required bounds.

Rahmat-Samii, Y.↗

A PVS Prover Strategy Package for Common Manipulations

Sequent manipulations for an interactive prover such as PVS can often be labor intensive. We describe an approach to tactic-based proving for improved interactive deduction in specialized domains. An experimental package of strategies (tactics) and support functions has been developed for PVS to reduce the tedium of arithmetic manipulation. Included are strategies aimed at algebraic simplification of real-valued expressions as well as term-access techniques applicable in arbitrary settings. The approach is general enough to serve in other mathematical domains and for provers other than PVS. This report presents the full set of arithmetic strategies and discusses how they are invoked within the prover. Included is a description of the extended expression notation for accessing terms as well as a substitution technique provided for higher-order strategies. Several sample proofs are displayed in full to show how the strategies might be used in practice.

DiVito, Ben L.↗

Unfolding of Proteins: Thermal and Mechanical Unfolding

We have employed a Hamiltonian model based on a self-consistent Gaussian appoximation to examine the unfolding process of proteins in external - both mechanical and thermal - force elds. The motivation was to investigate the unfolding pathways of proteins by including only the essence of the important interactions of the native-state topology. Furthermore, if such a model can indeed correctly predict the physics of protein unfolding, it can complement more computationally expensive simulations and theoretical work. The self-consistent Gaussian approximation by Micheletti et al. has been incorporated in our model to make the model mathematically tractable by signi cantly reducing the computational cost. All thermodynamic properties and pair contact probabilities are calculated by simply evaluating the values of a series of Incomplete Gamma functions in an iterative manner. We have compared our results to previous molecular dynamics simulation and experimental data for the mechanical unfolding of the giant muscle protein Titin (1TIT). Our model, especially in light of its simplicity and excellent agreement with experiment and simulation, demonstrates the basic physical elements necessary to capture the mechanism of protein unfolding in an external force field.

Hur, Joe S.↗

Implementation of a First-Order Quadratic Program Solver in C

This paper details a translation of a first order quadratic program (QP) solver from MATLAB to C. NASA could use this QP solver to generate online flight path trajectories for powered descent vehicles during landing. Over 12 weeks, the team designed, implemented, and tested two iterations of the QP solver for accuracy and runtime on 104 benchmark QP tests. The final iteration was 541.07% faster than the first, handling most tests in under one second. Additionally, it solved four more QP tests for N≥1383, and all outputs for cost and D_x matched the MATLAB reference values.

Optimization↗

Light Diffraction by Large Amplitude Ultrasonic Waves in Liquids

Light diffraction from ultrasound, which can be used to investigate nonlinear acoustic phenomena in liquids, is reported for wave amplitudes larger than that typically reported in the literature. Large amplitude waves result in waveform distortion due to the nonlinearity of the medium that generates harmonics and produces asymmetries in the light diffraction pattern. For standing waves with amplitudes above a threshold value, subharmonics are generated in addition to the harmonics and produce additional diffraction orders of the incident light. With increasing drive amplitude above the threshold a cascade of period-doubling subharmonics are generated, terminating in a region characterized by a random, incoherent (chaotic) diffraction pattern. To explain the experimental results a toy model is introduced, which is derived from traveling wave solutions of the nonlinear wave equation corresponding to the fundamental and second harmonic standing waves. The toy model reduces the nonlinear partial differential equation to a mathematically more tractable nonlinear ordinary differential equation. The model predicts the experimentally observed cascade of period-doubling subharmonics terminating in chaos that occurs with increasing drive amplitudes above the threshold value. The calculated threshold amplitude is consistent with the value estimated from the experimental data.

Adler, Laszlo↗

Probability of stress-corrosion fracture under random loading

Mathematical formulation is based on cumulative-damage hypothesis and experimentally-determined stress-corrosion characteristics. Under both stationary random loadings, mean value and variance of cumulative damage are obtained. Probability of stress-corrosion fracture is then evaluated, using principle of maximum entropy.

Yang, J. N.↗

Interpolation of ERTS-1 multispectral scanner data

Three interpolation procedures, based on computing values between original sample points, for enlarging a picture are examined. An ERTS frame of Washington, D.C. was used to illustrate the results. Mathematical bases of the interpolation are given.

Mcgillem, C. D.↗

Study of the extra-ionic electron distributions in semi-metallic structures by nuclear quadrupole resonance techniques

A straightforward self-consistent method was developed to estimate solid state electrostatic potentials, fields and field gradients in ionic solids. The method is a direct practical application of basic electrostatics to solid state and also helps in the understanding of the principles of crystal structure. The necessary mathematical equations, derived from first principles, were presented and the systematic computational procedure developed to arrive at the solid state electrostatic field gradients values was given.

Murty, A. N.↗

Evaluation of alpha-SiC sintering using statistical methods

The effect of time and temperature on the density and strength of alpha-SiC was studied and mathematically modeled using a central composite experimental design. A sintering temperature of 2150 C for 1.7 h maximized the flexural strength and densification values. However, temperatures above 2200 C promoted abnormal grain growth, with resulting appreciable decreases in strength. Flexural strength increased exponentially with increasing density for specimens with densities less than or equal to 92 percent of theoretical.

Hurst, J. B.↗

Investigation of a Diagnostic for Perturbation Theory: Comparison to the T(sub 1) Diagnostic of Coupled-Cluster Theory

A diagnostic for perturbation theory calculations, S(sub 2), is defined and numerical results are compared to the established T(sub 1) diagnostic from coupled-cluster theory. S(sub 2) is the lowest order non-zero contribution to a perturbation expansion of T(sub 1). S(sub 2) is a reasonable estimate of the importance of non-dynamical electron correlation, although not as reliable as T(sub 1). S(sub 2) values less than or equal to 0.012 suggest that low orders of perturbation theory should yield reasonable results; S(sub 2) values between 0.012-0.015 suggest that caution is required in interpreting results from low orders of perturbation theory; S(sub 2) values greater than or equal to 0.015 indicate that low orders of perturbation theory are not reliable for accurate results. Although not required mathematically, S(sub 2) is always less than T(sub 1) for the examples studied here.

Lee, Timothy J.↗

Complex Refractive Index of Ammonium Nitrate in the 2-20 micron Spectral Range

Using high resolution Fourier Transform Infrared Spectroscopy (FTIR) absorbance/transmittance spectral data for ammonium sulfate (AMS), calcium carbonate (CAC) and ammonium nitrate (AMN), comparisons were made with previously published complex refractive indices data for AMS and CAC to infer experimental parameters to determine the imaginary refractive index for AMN in the infrared wavelength range from 2 to 20 microns. Kramers-Kronig mathematical relations were applied to calculate the real refractive index for the three compositions. Excellent agreement for AMS and CAC with the published values was found, validating the complex refractive indices obtained for AMN. Backscatter calculations using a lognormal size distribution for AMS, AMN, and CAC aerosols were performed to show differences in their backscattered spectra.

Jarzembski, Maurice A.↗

Force Density Function Relationships in 2-D Granular Media

An integral transform relationship is developed to convert between two important probability density functions (distributions) used in the study of contact forces in granular physics. Developing this transform has now made it possible to compare and relate various theoretical approaches with one another and with the experimental data despite the fact that one may predict the Cartesian probability density and another the force magnitude probability density. Also, the transforms identify which functional forms are relevant to describe the probability density observed in nature, and so the modified Bessel function of the second kind has been identified as the relevant form for the Cartesian probability density corresponding to exponential forms in the force magnitude distribution. Furthermore, it is shown that this transform pair supplies a sufficient mathematical framework to describe the evolution of the force magnitude distribution under shearing. Apart from the choice of several coefficients, whose evolution of values must be explained in the physics, this framework successfully reproduces the features of the distribution that are taken to be an indicator of jamming and unjamming in a granular packing. Key words. Granular Physics, Probability Density Functions, Fourier Transforms

Youngquist, Robert C.↗

Hydrostatics and steady dynamics of spatially varying electromechanical flow structures

The hydrostatic and steady laminar hydrodynamic equilibria of spatially varying electromechanical flow structures are investigated. Under certain conditions the relationship between the dielectric height of rise and the applied voltage is found to be double valued. It is found that one of the two equilibrium values is always unstable. This gives rise to the experimentally observed spontaneous rise of the fluid to the top of the structure, once a certain critical voltage is reached. Starting above this critical voltage with the structure completely filled and decreasing the applied voltage toward the critical value results in pinch-in failure at an intermediate point along the structure and trapping of dielectric fluid at the top. The simple mathematical model developed predicts all these phenomena, without recourse to tedious point-by-point surface force equilibrium determination. Experiments are reported which verify the results for the hydrostatic case.

Jones, T. B.↗

Integrated analysis tools for trade studies of spacecraft controller and sensor locations

The present investigation was conducted with the aim to evaluate the practicality and difficulties of modern control design methods for large space structure controls. The evaluation is used as a basis for the identification of useful computer-based analysis tools which would provide insight into control characteristics of a spacecraft concept. A description is presented of the wrap-rib antenna and its packaging concept. Attention is given to active control requirements, a mathematical model of structural dynamics, aspects of sensor and actuator location, the analysis approach, controllability, observability, the concept of balanced realization, transmission zeros, singular value plots, analysis results, model reduction, and an interactive computer program. It is pointed out that the application of selected control analysis tools to the wrap-rib antenna demonstrates several capabilities which can be useful during conceptual design.

Rowell, L. F.↗

Optimal placement of tuning masses for vibration reduction in helicopter rotor blades

Methods are presented for the reduction of helicopter rotor blade vibration through a formal mathematical optimization technique determination of optimum tuning mass sizes and locations; these are used as design variables that are systematically changed to achieve low values of shear without large mass penalty. Matrix expressions are obtained for the modal shaping parameter and modal shear amplitude that are required for FEM structural analysis of the blade as well as the optimization formulation. Sensitivity derivatives are also obtained. Three different optimization strategies are developed and tested.

Pritchard, Jocelyn I.↗

Quantifying fault recovery in multiprocessor systems

Various aspects of reliable computing are formalized and quantified with emphasis on efficient fault recovery. The mathematical model which proves to be most appropriate is provided by the theory of graphs. New measures for fault recovery are developed and the value of elements of the fault recovery vector are observed to depend not only on the computation graph H and the architecture graph G, but also on the specific location of a fault. In the examples, a hypercube is chosen as a representative of parallel computer architecture, and a pipeline as a typical configuration for program execution. Dependability qualities of such a system is defined with or without a fault. These qualities are determined by the resiliency triple defined by three parameters: multiplicity, robustness, and configurability. Parameters for measuring the recovery effectiveness are also introduced in terms of distance, time, and the number of new, used, and moved nodes and edges.

Malek, Miroslaw↗

Pdf modeling for premixed turbulent combustion based on the properties of iso-concentration surfaces

In premixed turbulent flames the presence of intense mixing zones located in front of and behind the flame surface leads to a requirement to study the behavior of iso-concentration surfaces defined for all values of the progress variable (equal to unity in burnt gases and to zero in fresh mixtures). To support this study, some theoretical and mathematical tools devoted to level surfaces are first developed. Then a database of direct numerical simulations of turbulent premixed flames is generated and used to investigate the internal structure of the flame brush, and a new pdf model based on the properties of iso-surfaces is proposed.

Vervisch, L.↗