37,971 research outputs found
A linear circuit analysis program with stiff systems capability
Several existing network analysis programs have been modified and combined to employ a variable topological approach to circuit translation. Efficient numerical integration techniques are used for transient analysis
Determining crustal strain rates with a spaceborne geodynamics ranging system. 2: Station coordinate analysis
The use of a spaceborne geodynamics ranging system for determining crustal strain rates is analyzed. The use of site coordinates rather than intersite baseline distances for the strain rate determinations is emphasized. After discussing the analytical techniques which are to be employed, numerical results are presented which suggest that the use of site coordinates would result in a 20-70% improvement in the precision of the deduced values of straining. Precision of a few parts in 10 to the 9th power would be achievable with simple geometrics and a decade or two of measurements; precisions of a few parts in 10 to the 8th power would be achievable in a few years. A consideration of possible correlations among the derived target site coordinates leads to the conclusion that, with the proper choice of coordinate systems, the correlations can be made small and non-detrimental to the strain rate determinations
Biased random satisfiability problems: From easy to hard instances
In this paper we study biased random K-SAT problems in which each logical
variable is negated with probability . This generalization provides us a
crossover from easy to hard problems and would help us in a better
understanding of the typical complexity of random K-SAT problems. The exact
solution of 1-SAT case is given. The critical point of K-SAT problems and
results of replica method are derived in the replica symmetry framework. It is
found that in this approximation for .
Solving numerically the survey propagation equations for K=3 we find that for
there is no replica symmetry breaking and still the SAT-UNSAT
transition is discontinuous.Comment: 17 pages, 8 figure
Multiparticle States and the Hadron Spectrum on the Lattice
The Clebsch-Gordan decomposition is calculated for direct products of the
irreducible representations of the cubic space group. These results are used to
identify multiparticle states which appear in the hadron spectrum on the
lattice. Consideration of the cubic space group indicates how combinations of
both zero momentum and non-zero momentum multiparticle states contribute to the
spectrum.Comment: v2) Little groups for lattice momenta corrected. Includes a more
consistent labeling scheme. (13 pages
Fabrication process development of SiC/superalloy composite sheet for exhaust system components
A chemical compatibility study was conducted between SiC filament and the following P/M matrix alloys: Waspaloy, Hastelloy-X, NiCrAlY, Ha-188, S-57, FeCrAlY, and Incoloy 800. None of the couples demonstrated sufficient chemical compatibility to withstand the minimum HIP consolidation temperatures (996 C) or intended application temperature of the composite (982 C). However, Waspaloy, Haynes 188, and Hastelloy-X were the least reactive with SiC of the candidate alloys. Chemical vapor deposited tungsten was shown to be an effective diffusion barrier between the superalloy matrix and SiC filament providing a defect-free coating of sufficient thickness. However, the coating breaks down when the tungsten is converted into intermetallic compounds by interdiffusion with matrix constituents. Waspaloy was demonstrated to be the most effective matrix alloy candidate in contact with the CVD tungsten barrier because of its relatively low growth rate constant of the intermediate compound and the lack of formation of Kirkendall voids at the matrix-barrier interface. Fabrication methods were developed for producing panels of uniaxial and angle ply composites utilizing CVD tungsten coated filament
Quantifying fusion born ion populations in magnetically confined plasmas using ion cyclotron emission
Ion cyclotron emission (ICE) offers unique promise as a diagnostic of the
fusion born alpha-particle population in magnetically confined plasmas.
Pioneering observations from JET and TFTR found that ICE intensity
scales approximately linearly with the measured neutron flux from fusion
reactions, and with the inferred concentration, , of fusion-born
alpha-particles confined within the plasma. We present fully nonlinear
self-consistent kinetic simulations that reproduce this scaling for the first
time. This resolves a longstanding question in the physics of fusion
alpha-particle confinement and stability in MCF plasmas. It confirms the
magnetoacoustic cyclotron instability (MCI) as the likely emission mechanism
and greatly strengthens the basis for diagnostic exploitation of ICE in future
burning plasmas
Exotic Meson Decay Widths using Lattice QCD
A decay width calculation for a hybrid exotic meson h, with JPC=1-+, is
presented for the channel h->pi+a1. This quenched lattice QCD simulation
employs Luescher's finite box method. Operators coupling to the h and pi+a1
states are used at various levels of smearing and fuzzing, and at four quark
masses. Eigenvalues of the corresponding correlation matrices yield energy
spectra that determine scattering phase shifts for a discrete set of relative
pi+a1 momenta. Although the phase shift data is sparse, fits to a Breit-Wigner
model are attempted, resulting in a decay width of about 60 MeV when averaged
over two lattice sizes.Comment: 9 pages, 8 figures, RevTex4, minor change to Fig.
Spin-orbit coupled j=1/2 iridium moments on the geometrically frustrated fcc lattice
Motivated by experiments on the double perovskites La2ZnIrO6 and La2MgIrO6,
we study the magnetism of spin-orbit coupled j=1/2 iridium moments on the
three-dimensional, geometrically frustrated, face-centered cubic lattice. The
symmetry-allowed nearest-neighbor interaction includes Heisenberg, Kitaev, and
symmetric off-diagonal exchange. A Luttinger-Tisza analysis shows a rich
variety of orders, including collinear A-type antiferromagnetism, stripe order
with moments along the [111]-direction, and incommensurate non-coplanar
spirals, and we use Monte Carlo simulations to determine their magnetic
ordering temperatures. We argue that existing thermodynamic data on these
iridates underscores the presence of a dominant Kitaev exchange, and also
suggest a resolution to the puzzle of why La2ZnIrO6 exhibits `weak'
ferromagnetism, but La2MgIrO6 does not.Comment: 5 pages, 5 figs, significantly revised to address referee comments,
to appear in PRB Rapid Com
The deduction theorem for strong propositional proof systems
This paper focuses on the deduction theorem for propositional logic. We define and investigate different deduction properties and show that the presence of these deduction properties for strong proof systems is powerful enough to characterize the existence of optimal and even polynomially bounded proof systems. We also exhibit a similar, but apparently weaker condition that implies the existence of complete disjoint NP-pairs. In particular, this yields a sufficient condition for the completeness of the canonical pair of Frege systems and provides a general framework for the search for complete NP-pairs
- …