Search NASA⌕ Search

SEARCH · Search NASA

Results for “string models”

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 55 records · Page 3
All sourcesNASA NTRSDOE OSTI
NASA NTRS1988

Cosmic string catalysis of skyrmion decay

The Callan-Witten picture is developed for monopole catalyzed skyrmion decay in order to analyze the corresponding cosmic string scenario. It is discovered that cosmic strings (both ordinary and superconducting) can catalyze proton decay, but that this catalysis only occurs on the scale of the core of the string. In order to do this we have to develop a vortex model for the superconducting string. An argument is also given for the difference in the enhancement factors for monopoles and strings.

Gregory, Ruth↗
NASA NTRS1989

Electrodynamics of the Getaway Tether Experiment

An electrodynamic circuit model of the interaction of a pair of small tethered satellites and the ionosphere is developed and analyzed. The system under study, the Getaway Tether Experiment (GATE), is composed of two small satellites and 1 km of insulated conducting tether. The nonlinear model has elements representing the emission, collection, and resistive flow of charge through an electrically conductive tether, plasma contactors, and the ionosphere. The circuit model is incorporated into a dynamic orbital simulation to predict mission performance. Simulation results show the feasibility to bilaterally transfer energy between stored electrical energy and orbital momentum. A transient model is also developed using the circuit model and a string of N lumped-parameter modules, each consisting of resistance, capacitance, and induced potential for the tether. Transients are shown via simulation to occur over millisecond intervals.

Greene, Michael↗
NASA NTRS1989

Cosmic strings and galaxy formation

The cosmogonical model proposed by Zel'dovich and Vilenkin (1981), in which superconducting cosmic strings act as seeds for the origin of structure in the universe, is discussed, summarizing the results of recent theoretical investigations. Consideration is given to the formation of cosmic strings, the microscopic structure of strings, gravitational effects, cosmic string evolution, and the formation of galaxies and large-scale structure. Simulation results are presented in graphs, and several outstanding issues are listed and briefly characterized.

Bertschinger, Edmund↗
NASA NTRS2013

Moduli Dark Matter and the Search for Its Decay Line using Suzaku X-Ray Telescope

Light scalar fields called moduli arise from a variety of different models involving supersymmetry and/or string theory; thus their existence is a generic prediction of leading theories for physics beyond the standard model. They also present a formidable, long-standing problem for cosmology. We argue that an anthropic solution to the moduli problem exists in the case of small moduli masses and that it automatically leads to dark matter in the form of moduli. The recent discovery of the 125 GeV Higgs boson implies a lower bound on the moduli mass of about a keV. This form of dark matter is consistent with the observed properties of structure formation, and it is amenable to detection with the help of x-ray telescopes. We present the results of a search for such dark matter particles using spectra extracted from the first deep x-ray observations of the Draco and Ursa Minor dwarf spheroidal galaxies, which are darkmatter- dominated systems with extreme mass-to-light ratios and low intrinsic backgrounds. No emission line is positively detected, and we set new constraints on the relevant new physics.

Kusenko, Alexander↗
NASA NTRS2005

FastScript3D - A Companion to Java 3D

FastScript3D is a computer program, written in the Java 3D(TM) programming language, that establishes an alternative language that helps users who lack expertise in Java 3D to use Java 3D for constructing three-dimensional (3D)-appearing graphics. The FastScript3D language provides a set of simple, intuitive, one-line text-string commands for creating, controlling, and animating 3D models. The first word in a string is the name of a command; the rest of the string contains the data arguments for the command. The commands can also be used as an aid to learning Java 3D. Developers can extend the language by adding custom text-string commands. The commands can define new 3D objects or load representations of 3D objects from files in formats compatible with such other software systems as X3D. The text strings can be easily integrated into other languages. FastScript3D facilitates communication between scripting languages [which enable programming of hyper-text markup language (HTML) documents to interact with users] and Java 3D. The FastScript3D language can be extended and customized on both the scripting side and the Java 3D side.

Koenig, Patti↗
NASA NTRS1990

Recognition of simple visual images using a sparse distributed memory: Some implementations and experiments

Previously, a method was described of representing a class of simple visual images so that they could be used with a Sparse Distributed Memory (SDM). Herein, two possible implementations are described of a SDM, for which these images, suitably encoded, will serve both as addresses to the memory and as data to be stored in the memory. A key feature of both implementations is that a pattern that is represented as an unordered set with a variable number of members can be used as an address to the memory. In the 1st model, an image is encoded as a 9072 bit string to be used as a read or write address; the bit string may also be used as data to be stored in the memory. Another representation, in which an image is encoded as a 256 bit string, may be used with either model as data to be stored in the memory, but not as an address. In the 2nd model, an image is not represented as a vector of fixed length to be used as an address. Instead, a rule is given for determining which memory locations are to be activated in response to an encoded image. This activation rule treats the pieces of an image as an unordered set. With this model, the memory can be simulated, based on a method of computing the approximate result of a read operation.

Jaeckel, Louis A.↗
NASA NTRS2010

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↗
NASA NTRS1990

Topological defects in extended inflation

The production of topological defects, especially cosmic strings, in extended inflation models was considered. In extended inflation, the Universe passes through a first-order phase transition via bubble percolation, which naturally allows defects to form at the end of inflation. The correlation length, which determines the number density of the defects, is related to the mean size of bubbles when they collide. This mechanism allows a natural combination of inflation and large scale structure via cosmic strings.

Copeland, Edmund J.↗
NASA NTRS1985

Study of Contact Resistances in Integrated Circuits

Techniques explored in search for rapid, reliable test. Resistances of aluminum/silicon contacts and methods to measure subjects of NASA report. Study with three tasks undertaken to evaluate nature and reliability of large numbers of semiconductor contacts of type now being fabricated in integrated circuits: Develop yield analysis for series strings of contacts using wafer-level electrical measurements, and identify different types of faults by visual inspection; develop wafer-level tests to evaluate reliability of contact strings; and develop mathematical model for current flow in contacts and examine contact region for evidence of micro-alloying.

Buehler, M. G.↗
NASA NTRS1991

Bursts of gamma rays from Compton scattering at cosmological distances

Compton scattering of the microwave background photons by beams of ultrarelativistic electrons at large redshifts, z much greater than 1, is proposed as a source of some gamma-ray bursts. Such beams may be produced by cusps on superconducting cosmic strings. In the present model, a very narrow beam of ultrarelativistic electron-positron pairs scatters the microwave background photons into a very narrow beam of gamma rays. While the pairs lose energy, the beam of gamma rays opens up and sweeps the observer. The expected time variability and spectra of the resulting gamma-ray burst are calculated. The bursts have a rapid rise time, followed by a more gradual decline. The spectra are initially very hard and become softer during the decline.

Zdziarski, Andrzej A.↗
NASA NTRS2016

An Influenced Future

Phobos is a vital precursor and catalyst before our next giant leap to Mars. The principle period of a Phobos' mission could be a series of robotic precursor missions for experimental perception, soil examination, ecological approval and landing site distinguishing proof. For my summer intern position at Johnson Space Center I chipped away at creating a GUNNS (General Use Nodal Network Solver) based power subsystem model for the miniATHLETE hopper, which is a conceptual (idea-based) robotic lander that will operate on Phobos. Keeping in mind the end goal to begin on my venture, I needed to comprehend my undertaking before whatever else, in which I concentrated on C++ to see how to implement the code that GUNNS generates to a Trick S_define file. Prior to coming to this internship at Johnson Space Center Dr. Edwin Zack Crues provided a class on modeling and simulation, which introduced me to the Trick simulation environment. The goal of my project was to develop a GUNNS based power subsystem model for the miniATHLETE hopper. The model needed to incorporate a solar array, battery, hopping legs, and onboard scientific instruments (sensitive measuring/recording devices). The secondary bonus goal after I completed the electrical aspect of my model was to develop a GUNNS based thermal subsystem model for the miniATHLETE hopper. Stringing the two aspects together, I would need to code up a signal aspect to make the system work as one. Accomplishing my goals would not be an easy thing, however I had successfully completed the electrical aspect model with twenty-four servos, six cameras, and multiple sensors. Venturing to complete my project has eluded me to many failures in my design to tune many things like the battery to the proper voltage and the load to the proper wattage. During this time I had touched up on advanced topics in calculus in which I implemented in the converter in my electrical model. I am currently working with my mentor Zu Qun Li to create a signal aspect to control the temperatures inside my electrical aspect model. During my time at JSC I had effectively figured out how to create subsystem models utilizing Trick and GUNNS. I obtain essential knowledge of power and thermal subsystem design for a robotic vehicle. I also learned how to work and communicate in a team effectively to accomplish a goal. Before coming to Johnson Space Center my future career and educational goals included uncertainty, however now I have a completely new look on my path to a prosperous future. My NASA experience has unquestionably impacted me to accomplish and surpass my own particular desires. After my time at Johnson Space Center I plan to apply for a coop position for NASA. This has been a dream come true that I adored each moment being at JSC realizing that I am far fit for doing things most individuals can just long for.

Owens, Christopher↗
NASA NTRS1991

The formation and evolution of domain walls

Domain walls are sheet-like defects produced when the low energy vacuum has isolated degenerate minima. The researchers' computer code follows the evolution of a scalar field, whose dynamics are determined by its Lagrangian density. The topology of the scalar field determines the evolution of the domain walls. This approach treats both wall dynamics and reconnection. The researchers investigated not only potentials that produce single domain walls, but also potentials that produce a network of walls and strings. These networks arise in axion models where the U(1) Peccei-Quinn symmetry is broken into Z sub N discrete symmetries. If N equals 1, the walls are bounded by strings and the network quickly disappears. For N greater than 1, the network of walls and strings behaved qualitatively just as the wall network shown in the figures given here. This both confirms the researchers' pessimistic view that domain walls cannot play an important role in the formation of large scale structure and implies that axion models with multiple minimum can be cosmologically disastrous.

Press, William H.↗
NASA NTRS1981

A review of flight-to-wind tunnel drag correlation

Comparisons are made of wind-tunnel-model and flight drag data for various configurations representing aircraft from the mid-1940s to the 1970s. Discrepancies between model and flight data such as Reynolds number effects, wall interference, and aeroelastic problems are discussed. String support effects and the inability of models to simulate surface deflections for longitudinal trim are also studied. A wind tunnel-to-flight correlation of turbulent friction drag confirms the incompressible Karman-Schoenherr variation of turbulent skin friction with Reynolds number and the T' method for accounting compressibility effects. NASA tested 10 deg cone research indicates that model tests which are affected by tunnel noise may require the lower disturbance level environment available in flight, and it is concluded that new cryogenic facilities will improve the fidelity of model simulations of full-scale flight flow phenomena.

Saltzman, E. J.↗
NASA NTRS2007

Testing Special Relativity at High Energies with Astrophysical Sources

Since the group of Lorentz boosts is unbounded, there is a question as to whether Lorentz invariance (LI) holds to infinitely short distances. However, special and general relativity may break down at the Planck scale. Various quantum gravity scenarios such as loop quantum gravity, as well as some forms of string theory and extra dimension models may imply Lorentz violation (LV) at ultrahigh energies. The Gamma-Ray Large Area Space Telescope (GLAST), to be launched in mid-December, will measure the spectra of distant extragalactic sources of high energy gamma-rays, particularly active galactic nuclei and gamma-ray bursts. GLAST can look for energy-dependent gamma-ray propagation effects from such sources as a signal of Lorentz invariance violation. These sources may also exhibit the high energy cutoffs predicted to be the result of intergalactic annihilation interactions with low energy photons having a flux level as determined by various astronomical observations. With LV the threshold for such interactions can be significantly raised, changing the predicted absorption turnover in the observed spectrum of the sources. Stecker and Glashow have shown that the existence such absorption features in the spectra of extragalactic sources puts constraints on LV. Such constraints have important implications for some quantum gravity and large extra dimension models. Future spaceborne detectors dedicated to measuring gamma-ray polarization can look for birefringence effects as a possible signal of loop quantum gravity. A very small LV may also result in the modification or elimination of the GZK effect, thus modifying the spectrum of ultrahigh energy cosmic rays. This possibility can be explored with ground-based arrays such as Auger or with a space based detector system such as the proposed OWL satellite mission.

Stecker, F. W.↗
NASA NTRS1998

Profile Evolution Simulation in Etching Systems Using Level Set Methods

Semiconductor device profiles are determined by the characteristics of both etching and deposition processes. In particular, a highly anisotropic etch is required to achieve vertical sidewalls. However, etching is comprised of both anisotropic and isotropic components, due to ion and neutral fluxes, respectively. In Ar/Cl2 plasmas, for example, neutral chlorine reacts with the Si surfaces to form silicon chlorides. These compounds are then removed by the impinging ion fluxes. Hence the directionality of the ions (and thus the ion angular distribution function, or IAD), as well as the relative fluxes of neutrals and ions determines the amount of undercutting. One method of modeling device profile evolution is to simulate the moving solid-gas interface between the semiconductor and the plasma as a string of nodes. The velocity of each node is calculated and then the nodes are advanced accordingly. Although this technique appears to be relatively straightforward, extensive looping schemes are required at the profile corners. An alternate method is to use level set theory, which involves embedding the location of the interface in a field variable. The normal speed is calculated at each mesh point, and the field variable is updated. The profile comers are more accurately modeled as the need for looping algorithms is eliminated. The model we have developed is a 2-D Level Set Profile Evolution Simulation (LSPES). The LSPES calculates etch rates of a substrate in low pressure plasmas due to the incident ion and neutral fluxes. For a Si substrate in an Ar/C12 gas mixture, for example, the predictions of the LSPES are identical to those from a string evolution model for high neutral fluxes and two different ion angular distributions.(2) In the figure shown, the relative neutral to ion flux in the bulk plasma is 100 to 1. For a moderately isotropic ion angular distribution function as shown in the cases in the left hand column, both the LSPES (top row) and rude's string method (bottom row) predict tapered profiles. The LSPES uses an AD with a FWHM = 13.5 degrees, and rude's model uses a ratio of sheath voltage to ion temperature of 50. The more anisotropic IADs produce profiles with more vertical sidewalls and a wider bottom surface, as shown in the right hand column. Here, the LSPES has an AD with a FWHM = 2 degrees, and rude's model uses a ratio of 500 of sheath voltage to ion temperature. The agreement between the LSPES and rude's model is excellent in both cases. We will present etching profiles generated by the LSPES, including calculations of the re-emitted fluxes of both neutrals and ions off of the profile walls. In addition, we will show the effect of geometric structures (overhangs, etc.) on the etching profiles. Other physical aspects, such as surface diffusion, will also be included in the model.

Hwang, Helen H.↗
NASA NTRS2011

Constraining the Braneworld with Gravitational Wave Observations

Some braneworld models may have observable consequences that, if detected, would validate a requisite element of string theory. In the infinite Randall-Sundrum model (RS2), the AdS radius of curvature, L, of the extra dimension supports a single bound state of the massless graviton on the brane, thereby reproducing Newtonian gravity in the weak-field limit. However, using the AdS/CFT correspondence, it has been suggested that one possible consequence of RS2 is an enormous increase in Hawking radiation emitted by black holes. We utilize this possibility to derive two novel methods for constraining L via gravitational wave measurements. We show that the EMRI event rate detected by LISA can constrain L at the approximately 1 micron level for optimal cases, while the observation of a single galactic black hole binary with LISA results in an optimal constraint of L less than or equal to 5 microns.

McWilliams, Sean T.↗
NASA NTRS1992

Flutter suppression digital control law design and testing for the AFW wind-tunnel model

Design of a control law for simultaneously suppressing the symmetric and antisymmetric flutter modes of a string mounted fixed-in-roll aeroelastic wind tunnel model is described. The flutter suppression control law was designed using linear quadratic Gaussian theory and involved control law order reduction, a gain root-locus study, and the use of previous experimental results. A 23 percent increase in open-loop flutter dynamic pressure was demonstrated during the wind tunnel test. Rapid roll maneuvers at 11 percent above the symmetric flutter boundary were also performed when the model was in a free-to-roll configuration.

Mukhopadhyay, Vivek↗