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 $p$. 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 $\alpha_c \propto p^{-(K-1)}$ for $p\to 0$. Solving numerically the survey propagation equations for K=3 we find that for $p<p^* \sim 0.17$ 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 $P_{ICE}$ scales approximately linearly with the measured neutron flux from fusion reactions, and with the inferred concentration, $n_\alpha/n_i$, 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