Search NASA⌕ Search

SEARCH · Search NASA

Results for “string theory”

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.

63 records · Page 4

An investigation of messy genetic algorithms

Genetic algorithms (GAs) are search procedures based on the mechanics of natural selection and natural genetics. They combine the use of string codings or artificial chromosomes and populations with the selective and juxtapositional power of reproduction and recombination to motivate a surprisingly powerful search heuristic in many problems. Despite their empirical success, there has been a long standing objection to the use of GAs in arbitrarily difficult problems. A new approach was launched. Results to a 30-bit, order-three-deception problem were obtained using a new type of genetic algorithm called a messy genetic algorithm (mGAs). Messy genetic algorithms combine the use of variable-length strings, a two-phase selection scheme, and messy genetic operators to effect a solution to the fixed-coding problem of standard simple GAs. The results of the study of mGAs in problems with nonuniform subfunction scale and size are presented. The mGA approach is summarized, both its operation and the theory of its use. Experiments on problems of varying scale, varying building-block size, and combined varying scale and size are presented.

Goldberg, David E.↗

Passive damping concepts for slender columns in space structures

An experimental and theoretical study of three different passive damping concepts is conducted for a slender member with partial rotational end restraints. Over a hundred full-scale natural vibration experiments were conducted to evaluate the effectiveness of mass-string, polyethylene tubing, and chain damping concepts. The damping properties obtained from the experiments were used in the approximate analyses based on the partial differential equation of motion for the problem. The comparison of the experimental and the theoretical deflection-time relations shows that the velocity-dependent damping model used in the theory is adequate. From the experimental results, the effect of end connection friction and induced axial forces on damping is identified. The definition of an efficiency index is proposed based on the damping ratio and the mass of a given passive damping device. Using this definition, the efficiencies of the three damping devices are compared. The polyethylene tubing concept resulted into a low damping efficiency.

Razzaq, Z.↗

A Dual-Route Model that Learns to Pronounce English Words

This paper describes a model that learns to pronounce English words. Learning occurs in two modules: 1) a rule-based module that constructs pronunciations by phonetic analysis of the letter string, and 2) a whole-word module that learns to associate subsets of letters to the pronunciation, without phonetic analysis. In a simulation on a corpus of over 300 words the model produced pronunciation latencies consistent with the effects of word frequency and orthographic regularity observed in human data. Implications of the model for theories of visual word processing and reading instruction are discussed.

Remington, Roger W.↗

Gravitational lenses and dark matter - Theory

Theoretical models are presented for guiding the application of gravitational lenses to probe the characteristics of dark matter in the universe. Analytical techniques are defined for quantifying the mass associated with lensing galaxies (in terms of the image separation), determining the quantity of dark mass of the lensing bodies, and estimating the mass density of the lenses. The possibility that heavy halos are made of low mass stars is considered, along with the swallowing of central images of black holes or cusps in galactic nuclei and the effects produced on a lensed quasar image by nonbaryonic halos. The observable effects of dense groups and clusters and the characteristics of dark matter strings are discussed, and various types of images which are possible due to lensing phenomena and position are described.

Gott, J. Richard, III↗

Vibration characteristics of a steadily rotating slender ring

Partial differential equations are derived to describe the structural vibrations of a uniform homogeneous ring which is very flexible because the radius is very large compared with the cross sectional dimensions. Elementary beam theory is used and small deflections are assumed in the derivation. Four sets of structural modes are examined: bending and compression modes in the plane of the ring; bending modes perpendicular to the plane of the ring; and twisting modes about the centroid of the ring cross section. Spatial and temporal characteristics of these modes, presented in terms of vibration frequencies and ratios between vibration amplitudes, are demonstrated in several figures. Given a sufficiently high rotational rate, the dynamics of the ring approach those of a vibrating string. In this case, the velocity of traveling wave in the material of the ring approaches in velocity of the material relative to inertial space, resulting in structural modes which are almost stationary in space.

Lallman, F. J.↗

Proceedings of the Second NASA Formal Methods Symposium

This publication contains the proceedings of the Second NASA Formal Methods Symposium sponsored by the National Aeronautics and Space Administration and held in Washington D.C. April 13-15, 2010. Topics covered include: Decision Engines for Software Analysis using Satisfiability Modulo Theories Solvers; Verification and Validation of Flight-Critical Systems; Formal Methods at Intel -- An Overview; Automatic Review of Abstract State Machines by Meta Property Verification; Hardware-independent Proofs of Numerical Programs; Slice-based Formal Specification Measures -- Mapping Coupling and Cohesion Measures to Formal Z; How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project; A Machine-Checked Proof of A State-Space Construction Algorithm; Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications; Modeling Regular Replacement for String Constraint Solving; Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol; Can Regulatory Bodies Expect Efficient Help from Formal Methods?; Synthesis of Greedy Algorithms Using Dominance Relations; A New Method for Incremental Testing of Finite State Machines; Verification of Faulty Message Passing Systems with Continuous State Space in PVS; Phase Two Feasibility Study for Software Safety Requirements Analysis Using Model Checking; A Prototype Embedding of Bluespec System Verilog in the PVS Theorem Prover; SimCheck: An Expressive Type System for Simulink; Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness; Software Model Checking of ARINC-653 Flight Code with MCP; Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B; Formal Verification of Large Software Systems; Symbolic Computation of Strongly Connected Components Using Saturation; Towards the Formal Verification of a Distributed Real-Time Automotive System; Slicing AADL Specifications for Model Checking; Model Checking with Edge-valued Decision Diagrams; and Data-flow based Model Analysis.

Munoz, Cesar↗

Surface Collisions Involving Particles and Moisture (SCIP'M)

Experiments were performed on the collision of a solid sphere with a nearly horizontal flat surface covered with a thin layer of viscous liquid. High-speed collisions were obtained by dropping the ball onto the surface from various heights, using gravitational acceleration. Low-speed collisions were obtained using pendulums with long strings or by launching the balls at low velocities in the reduced-gravity environment of parabolic flight. The sphere bounces only when the impact velocity exceeds a critical value. The coefficient of restitution (ratio of rebound velocity to impact velocity) increases with increasing impact velocity above the critical value, indicating the increasing relative importance of elastic deformation to viscous dissipation. The critical impact velocity increases, and the coefficient of restitution decreases, with increasing viscosity or thickness of the liquid layer and with decreasing density or size of the sphere. The ratio of the wet and dry coefficients is expressed as a function of the Stokes number (ratio of particle inertia and viscous forces), showing good agreement between theory and experiment. Similar experiments were performed with the flat surface inclined at various angles to the approaching sphere. A modified Stokes number, which is a measure of the ratio of inertia of the sphere in the normal direction to the viscous forces exerted by the fluid layer, was used for the analysis of oblique collisions. Even for these oblique collisions, it was found that no rebound of the ball was observed below a certain critical Stokes number. The coefficient of normal restitution, defined as a ratio of normal rebound velocity to normal approach velocity, was found to increase beyond the critical Stokes number and even out as it approaches the value for dry restitution at high Stokes numbers. It was also found that, for smooth spheres like steel, the normal restitution at the same modified Stokes number is independent of the angle of impact. The tangential coefficient of restitution, defined as the ratio of tangential rebound velocity to tangential approach velocity, is found to be nearly unity, except for very low approach velocities. Thus, as a first approximation, the theories that predict the coefficient of restitution for head-on wet collisions can be extended to predict the coefficient of normal restitution for oblique wet collisions. Additional experiments were performed with soft surfaces in which a porous cloth or sponge layer was placed over the hard, flat surface. In these experiments, the coefficient of restitution was found to decrease with increasing impact velocity, due to inelastic losses in the soft material. A model combining inelastic deformation and flow through porous media was developed to describe these findings.

Davis, Robert H.↗

Integrins, tensegrity, and mechanotransduction

Physical forces, such as those due to gravity, play an important role in tissue development and remodeling. Yet, little is known about how individual cells sense mechanical signals or how they transduce them into a chemical response. Rather than listing the numerous signal pathways that have been found to be sensitive to mechanical stimulation, we need to place potential molecular signaling mechanisms within the context of the entire cell. The model presented is based on the concept that cells use tensegrity architecture to organize their cytoskeleton and stabilize their form. Studies with stick and string tensegrity cell models predict that living cells are hard-wired to respond immediately to external mechanical stresses. This hard-wiring exists in the form of discrete cytoskeletal filament networks that mechanically couple specific cell surface receptors, such as integrins, to nuclear matrix scaffolds and to potential transducing molecules that physically associate with the cytoskeleton. If these signaling molecules do function in a "solid-state", then mechanical stresses may be transduced into biochemical responses through force-dependent changes in cytoskeletal geometry or through local alterations in thermodynamic or kinetic parameters. Changes in cytoskeletal tension (prestress) also may play a role in signal amplification and adaptation. Recent experimental results are described which provide direct support for the tensegrity theory.

Review↗

Experimental Results of Schlicher's Thrusting Antenna

Experiments were conducted to test the claims by Rex L. Schlicher, et al., (Patent 5,142,86 1) that a certain antenna geometry produces thrust greatly exceeding radiation reaction, when driven by repetitive, fast rise, and relatively slower decay current pulses. In order to test this hypothesis, the antenna was suspended by strings as a 3 in pendulum. Current pulses were fed to the antenna along the suspension path by a very flexible coaxial line constructed from loudspeaker cable and copper braid sheath. When driving the antenna via this cabling, our pulser was capable of sustaining 1200 A pulses at a rate of 30 per second up to a minute. In this way, bursts of pulses could be delivered in synch with the pendulum period in order to build up any motion. However, when using a laser beam passing through a lens attached to the antenna to amplify linear displacement by a factor of at least 25, no correlated motion of the beam spot could be detected on a distant wall. We conclude, in agreement with the momentum theorem of classical electromagnetic theory, that any thrust produced is far below practically useful levels. Hence, within classical electrodynamics, there is little hope of detecting any low level motion that cannot be explained by interactions with surrounding structural steel and the Earth's magnetic field.

Fralick, Gustave C.↗