Search NASA⌕ Search

SEARCH · Search NASA

Results for “string method”

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 145 records · Page 8
All sourcesNASA NTRSDOE OSTI
DOE OSTI2026

Fermionic mean-field dynamics for spin systems beyond free fermions

We introduce the fermionized time-dependent Hartree–Fock (fTDHF), a real-time quantum dynamics method for spin-1/2 Hamiltonians following their mapping to fermions via the Jordan-Wigner transformation. fTDHF is formally equivalent to exact dynamics in the case of free fermions, and can efficiently handle non-local string operators arising from long-range interactions via transition matrix elements between non-orthogonal Slater determinants. We show that the fTDHF method can be implemented on a classical computer with a cost that scales polynomially with system size, and linearly with the time steps. We benchmark fTDHF against exact dynamics on three separate spin-1/2 models, representing adiabatic preparation of states with long-range correlations, disorder-driven observation of many-body localization, and particle production in the Schwinger model. For each of these systems, fTDHF is shown to reproduce the qualitative dynamics generated by the exact evolutions, while maintaining a simple physical picture due to its mean-field nature.

Dutta, Rishab↗
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↗
DOE OSTI2022

Negative string tension of a higher-charge Schwinger model via digital quantum simulation

We study some properties of generalized global symmetry for the charge- q Schwinger model in the Hamiltonian formalism, which is the (1 + 1)D quantum electrodynamics with a charge- q Dirac fermion. This model has the |$\mathbb {Z}_q\, 1$| -form symmetry, which is a remnant of the electric |$U(1)\, 1$| -form symmetry in the pure Maxwell theory. It is known that, if we put the theory on closed space, then the Hilbert space is decomposed into q distinct sectors, called universes, and some states with higher energy density do not decay to the ground state due to the selection rule of the 1-form symmetry. Even with open boundaries, we can observe the stability of such states by seeing a negative string tension behavior, meaning that opposite charges repel each other. In order to see negative string tensions, the vacuum angle θ has to be large enough and the standard path-integral Monte Carlo method suffers from the sign problem. We develop a method based on the adiabatic state preparation to see this feature with digital quantum simulation and confirm it using a classical simulator of quantum devices. In particular, we measure the local energy density and see how it jumps between the inside and outside of the insertion of the probe charges. We explicitly see that the energy density inside is lower than that outside. This is a clear signature of the negative string tension.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
DOE OSTI2021

Modes of Disorder in Poly(carbon monofluoride)

Poly(carbon monofluoride), or (CF) n , is a layered fluorinated graphite material consisting of nanosized platelets. In this work, we present experimental multidimensional solid-state NMR spectra of (CF)n, supported by density functional theory (DFT) calculations of NMR parameters, which overhauls our understanding of structure and bonding in the material by elucidating many ways in which disorder manifests. We observe strong 19 F NMR signals conventionally assigned to elongated or “semi-ionic” C–F bonds and find that these signals are in fact due to domains where the framework locally adopts boat-like cyclohexane conformations. We calculate that C–F bonds are weakened but are not elongated by this conformational disorder. Exchange NMR suggests that conformational disorder avoids platelet edges. We also use a new J-resolved NMR method for disordered solids which provides molecular-level resolution of highly fluorinated edge states. Strings of consecutive difluoromethylene groups at edges are relatively mobile. Topologically distinct edge features, including zigzag edges, crenellated edges, and coves are resolved in our samples by solid-state NMR. Disorder should be controllable in a manner dependent on synthesis, affording new opportunities for tuning the properties of graphite fluorides.

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

Extracting Topological Orders of Generalized Pauli Stabilizer Codes in Two Dimensions

In this paper, we introduce an algorithm for extracting topological data from translation invariant generalized Pauli stabilizer codes in two-dimensional systems, focusing on the analysis of anyon excitations and string operators. The algorithm applies to Z d qudits, including instances where d is a nonprime number. This capability allows the identification of topological orders that differ from the Z d toric codes. It extends our understanding beyond the established theorem that Pauli stabilizer codes for Z p qudits (with p being a prime) are equivalent to finite copies of Z p toric codes and trivial stabilizers. The algorithm is designed to determine all anyons and their string operators, enabling the computation of their fusion rules, topological spins, and braiding statistics. The method converts the identification of topological orders into computational tasks, including Gaussian elimination, the Hermite normal form, and the Smith normal form of truncated Laurent polynomials. Furthermore, the algorithm provides a systematic approach for studying quantum error-correcting codes. We apply it to various codes, such as self-dual CSS quantum codes modified from the two-dimensional honeycomb color code and non-CSS quantum codes that contain the double semion topological order or the six-semion topological order. Published by the American Physical Society 2024

Physics↗
NASA NTRS2003

On-Orbit Performance Degradation of the International Space Station P6 Photovoltaic Arrays

This paper discusses the on-orbit performance and performance degradation of the International Space Station P6 solar array wings (SAWs) from the period of December 2000 through February 2003. Data selection considerations and data reduction methods are reviewed along with the approach for calculating array performance degradation based on measured string shunt current levels. Measured degradation rates are compared with those predicted by the computational tool SPACE and prior degradation rates measured with the same SAW technology on the Mir space station. Initial results show that the measured SAW short-circuit current is degrading 0.2 to 0.5 percent per year. This degradation rate is below the predicted rate of 0.8 percent per year and is well within the 3 percent estimated uncertainty in measured SAW current levels. General contributors to SAW degradation are briefly discussed.

Kerslake, Thomas W.↗
DOE OSTI2023

Fundamental aspects of Spacetime and Quantum Fields

The proposal contained two goals: firstly, placing fundamental bound on thermalization in Quantum Field Theories (QFTs) and, secondly, developing our understanding of emergent spacetime from matrices through concrete models. Since the previous reporting period, in collaboration with Sean Hartnoll we have continued our study of entanglement edge modes in matrix quantum mechanics (MQM). This has resulted in two papers. The first applies our construction for the Matrix Quantum Hall system first to fuzzy sphere states known to correspond to stringy M2-branes in MQM. Entanglement in these states using machine learning methods have also been studied by Sean Hartnoll and Xizhi Han in previous work done under this grant. Our construction builds on this work, and further demonstrates how area laws on fuzzy geometries emerge from strongly coupled systems. The second paper generalizes this construction to all noncommutative geometries with curvature much larger than the noncommutativity parameter. We demonstrate that despite UV/IR mixing effects, the structure of entanglement edge mode irreducible representations is determined by the boundary area of subsystems. On manifolds without global symmetries, we have demonstrated that nonlocal effects inherent to noncommutative geometries resum into a change of frame of the metric structure, similar to the change from string frame to Einstein frame for entanglement entropies calculated in string theory. These advancements lay the groundwork for future progress in the understanding of emergent geometry from large-N theories. Using these techniques, we are currently working on applying our methods to noncom mutative geometries whose construction is not so well understood, such as the fuzzy 5-sphere. Despite their opacity these objects are quite important, as string physics in the bulk of holographic systems bears many features of noncommutative geometry. We have also laid the groundwork of applying our methods to tensor networks, one of the most powerful models for understanding how geometry emerges from entanglement.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2026

Robust calibration of non-perturbative models with history matching

We apply, for the first time, Bayes Linear Emulation and History Matching to the calibration of non-perturbative models in Monte Carlo event generators. In contrast to the usual approach of "Monte Carlo tuning", History Matching does not result in best-fit plus ellipsoidal parameter uncertainty estimates but instead identifies all parameter space regions that are consistent with data. This approach leads to a systematic and robust quantification of parametric uncertainties in the models, especially in those challenging cases where different, possibly disjoint, regions of parameter space deliver similar results, which are usually not properly treated with current methodology. We highlight the power of this method with the hadronisation models available through Sherpa : the built-in cluster fragmentation Ahadic and string fragmentation through an interface to Pythia .

Iskauskas, Andrew [Durham U. (main)] (ORCID:000000↗
NASA NTRS1972

On coherent oscillations of a string.

Vibrations of an elastic string when the separation between the ends varies randomly are studied. The emphasis is on the evolution of the coherent, or ordered, oscillations of the string. Using a perturbation technique borrowed from quantum field theory and the modified Kryloff-Bogoliuboff method, the 'multiple scattering' effect of the random separation between the ends on the linear and nonlinear coherent oscillations are investigated. It is found that due to the random interactions the coherent fundamental oscillation as well as the harmonies are damped. Their frequencies are also modified.

Liu, C. H.↗
NASA NTRS1989

Lunar deep drill apparatus

Proposed as a baseline configuration, this rotary drill apparatus is designed to produce 100-mm diameter holes in the lunar surface at depths up to 50 meters. The drill is intended to acquire samples for scientific analysis, mineral resource location, calibration of electronic exploration devices, and foundation analysis at construction sites. It is also intended to prepare holes for emplacement of scientific instruments, the setting of structural anchors, and explosive methods in excavation and mining activities. Defined as a deep drill because of the modular drill string, it incorporates an automatic rod changer. The apparatus is teleoperated from a remote location, such as earth, utilizing supervisory control techniques. It is thus suitable for unmanned and man-tended operation. Proven terrestrial drilling technology is used to the extent it is compatible with the lunar environment. Augers and drive tubes form holes in the regolith and may be used to acquire loose samples. An inertial cutting removal system operates intermittently while rock core drilling is in progress. The apparatus is carried to the work site by a three-legged mobile platform which also provides a 2-meter feed along the hole centerline, an off-hole movement of approximately .5 meters, an angular alignment of up to 20 deg. from gravity vertical, and other dexterity required in handling rods and samples. The technology can also be applied using other carriers which incorporate similar motion capabilities. The apparatus also includes storage racks for augers, rods, and ancillary devices such as the foot-plate that holds the down-hole tooling during rod changing operations.

Source record↗
NASA NTRS2009

Measuring Multiple Resistances Using Single-Point Excitation

In a proposed method of determining the resistances of individual DC electrical devices connected in a series or parallel string, no attempt would be made to perform direct measurements on individual devices. Instead, (1) the devices would be instrumented by connecting reactive circuit components in parallel and/or in series with the devices, as appropriate; (2) a pulse or AC voltage excitation would be applied at a single point on the string; and (3) the transient or AC steady-state current response of the string would be measured at that point only. Each reactive component(s) associated with each device would be distinct in order to associate a unique time-dependent response with that device.

Hall, Dan↗
DOE OSTI2024

Crossing beyond scattering amplitudes

We find that different asymptotic measurements in quantum field theory can be related to one another through new versions of crossing symmetry. Assuming analyticity, we conjecture generalized crossing relations for multi-particle processes and the corresponding paths of analytic continuation. We prove them to all multiplicity at tree-level in quantum field theory and string theory. We illustrate how to practically perform analytic continuations on loop-level examples using different methods, including unitarity cuts and differential equations. We study the extent to which anomalous thresholds away from the usual physical region can cause an analytic obstruction to crossing when massless particles are involved. In an appendix, we review and streamline historical proofs of four-particle crossing symmetry in gapped theories.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2016

Puzzles in quarkonium hadronic transitions with two pion emission

The anomalously large rates of some hadronic transitions from quarkonium are studied using QCD multipole expansion (QCDME) in the framework of a constituent quark model which has been successful in describing hadronic phenomenology. The hybrid intermediate states needed in the QCDME method are calculated in a natural extension of our constituent quark model based on the Quark Confining String (QCS) scheme. Some of the anomalies are explained due to the presence of an hybrid state with a mass near the mass of the decaying resonance whereas other are justified by the presence of molecular components in the wave function. Some unexpected results are pointed out.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
NASA NTRS1991

Microprocessor control of multiple peak power tracking DC/DC converters for use with solar cell arrays

A method and an apparatus is provided for efficiently controlling the power output of a solar cell array string or a plurality of solar cell array strings to achieve a maximum amount of output power from the strings under varying conditions of use. Maximum power output from a solar array string is achieved through control of a pulse width modulated DC/DC buck converter which transfers power from a solar array to a load or battery bus. The input voltage from the solar array to the converter is controlled by a pulse width modulation duty cycle, which in turn is controlled by a differential signal controller. By periodically adjusting the control voltage up or down by a small amount and comparing the power on the load or bus with that generated at different voltage values a maximum power output voltage may be obtained. The system is totally modular and additional solar array strings may be added to the system simply by adding converter boards to the system and changing some constants in the controller's control routines.

Frederick, Martin E.↗
NASA NTRS2009

Tuning a Tetrahertz Wire Laser

Tunable terahertz lasers are desirable in applications in sensing and spectroscopy because many biochemical species have strong spectral fingerprints at terahertz frequencies. Conventionally, the frequency of a laser is tuned in a similar manner to a stringed musical instrument, in which pitch is varied by changing the length of the string (the longitudinal component of the wave vector) and/ or its tension (the refractive index). However, such methods are difficult to implement in terahertz semiconductor lasers because of their poor outcoupling efficiencies. Here, we demonstrate a novel tuning mechanism based on a unique 'wire laser' device for which the transverse dimension w is much much less than lambda. Placing a movable object close to the wire laser manipulates a large fraction of the waveguided mode propagating outside the cavity, thereby tuning its resonant frequency. Continuous single-mode redshift and blueshift tuning is demonstrated for the same device by using either a dielectric or metallic movable object. In combination, this enables a frequency tuning of approximately equal to 137 GHz (3.6%) from a single laser device at approximately equal to 3.8 THz.

Qin, Qi↗
NASA NTRS1984

Response of large space structures with stiffness control

For large space structures, such as the 100-meter-diameter wrap-rib deployable antenna and spinning solar sail, whose out-of-plane stiffness is derived from in-plane tension, the out-of-plane motion can be actively controlled by time-varying in-plane tension. An elastic string is used to demonstrate the proposed approach, which results in a nonlinear ordinary differential equation. An approximation method is outlined from which the magnitude of time-varying tension can be determined based on the efficiency factor, the time factor or the optimal factor.

Chen, J.-C.↗
DOE OSTI2023

Voltage mapping and local defects identification in solar cells using non-contact method

Electroluminescence, infrared imaging, and current–voltage curve techniques are used to detect and map underperforming cells in a photovoltaic module or the modules in a photovoltaic string. In this work, we present a non-contact electrostatic voltmeter technique to detect and map the underperforming spots in a cell and the cells in a module. This non-contact technique directly maps the charged surface voltage (671mV) of the superstrate glass, and it had an 11-mV difference with the voltmeter values (660mV). Another data set of voltage values obtained by electroluminescence images conversion into a voltage map showed a difference of 7mV with the non-contact voltmeter values. Further, the direct voltage values obtained at various good and poor-performing spots of the cells using this technique are 3.69V and 3.79V and are validated using the voltage values obtained in electroluminescence analysis and the difference in voltage obtained by the two techniques is determined to be less than 2%. In this work, we combine the strengths of two complementary techniques of the electrostatic voltmeter (strength: quantitative) and electroluminescence (strength: spatial mapping) to obtain a quantitative spatial mapping of defects. Furthermore, this work is extendable to detect the poor-performing modules in solar PV power plants.

14 SOLAR ENERGY↗