2,532 research outputs found
Covariant gaussian approximation in Ginzburg - Landau model
Condensed matter systems undergoing second order transition away from the
critical fluctuation region are usually described sufficiently well by the mean
field approximation. The critical fluctuation region, determined by the
Ginzburg criterion, , is narrow even
in high superconductors and has universal features well captured by the
renormalization group method. However recent experiments on magnetization,
conductivity and Nernst effect suggest that fluctuations effects are large in a
wider region both above and below . In particular some "pseudogap"
phenomena and strong renormalization of the mean field critical temperature
can be interpreted as strong fluctuations effects that are
nonperturbative (cannot be accounted for by "gaussian fluctuations"). The
physics in a broader region therefore requires more accurate approach. Self
consistent methods are generally "non - conserving" in the sense that the Ward
identities are not obeyed. This is especially detrimental in the symmetry
broken phase where, for example, Goldstone bosons become massive. Covariant
gaussian approximation remedies these problems. The Green's functions obey all
the Ward identities and describe the fluctuations much better. The results for
the order parameter correlator and magnetic penetration depth of the Ginzburg -
Landau model of superconductivity are compared with both Monte Carlo
simulations and experiments in high cuprates.Comment: 24 pages, 7 figure
VASCOMP 2. The V/STOL aircraft sizing and performance computer program. Volume 6: User's manual, revision 3
This report describes the use of the V/STOL Aircraft Sizing and Performance Computer Program (VASCOMP II). The program is useful in performing aircraft parametric studies in a quick and cost efficient manner. Problem formulation and data development were performed by the Boeing Vertol Company and reflects the present preliminary design technology. The computer program, written in FORTRAN IV, has a broad range of input parameters, to enable investigation of a wide variety of aircraft. User oriented features of the program include minimized input requirements, diagnostic capabilities, and various options for program flexibility
Reasoning about transfinite sequences
We introduce a family of temporal logics to specify the behavior of systems
with Zeno behaviors. We extend linear-time temporal logic LTL to authorize
models admitting Zeno sequences of actions and quantitative temporal operators
indexed by ordinals replace the standard next-time and until future-time
operators. Our aim is to control such systems by designing controllers that
safely work on -sequences but interact synchronously with the system in
order to restrict their behaviors. We show that the satisfiability problem for
the logics working on -sequences is EXPSPACE-complete when the
integers are represented in binary, and PSPACE-complete with a unary
representation. To do so, we substantially extend standard results about LTL by
introducing a new class of succinct ordinal automata that can encode the
interaction between the different quantitative temporal operators.Comment: 38 page
System design of the Pioneer Venus spacecraft. Volume 10: Propulsion/orbit insertion subsystem studies
The Pioneer Venus orbiter and multiprobe missions require spacecraft maneuvers for successful accomplishment. This report presents the results of studies performed to define the propulsion subsystems required to perform those maneuvers. Primary goals were to define low mass subsystems capable of performing the required missions with a high degree of reliability for low cost. A review was performed of all applicable propellants and thruster types, as well as propellant management techniques. Based on this review, a liquid monopropellant hydrazine propulsion subsystem was selected for all multiprobe mission maneuvers, and for all orbiter mission maneuvers except orbit insertion. A pressure blowdown operating mode was selected using helium as the pressurizing gas. The forces associated with spacecraft rotations were used to control the liquid-gas interface and resulting propellant orientation within the tank
Massless Three Dimensional Quantum Electrodynamics and Thirring Model Constrained by Large Flavor Number
We explicitly prove that in three dimensional massless quantum
electrodynamics at finite temperature, zero density and large number of flavors
the number of infrared degrees of freedom is never larger than the
corresponding number of ultraviolet. Such a result, strongly dependent on the
asymptotic freedom of the theory, is reversed in three dimensional Thirring
model due to the positive derivative of its running coupling constant
Density of states of the interacting two-dimensional electron gas
We study the influence of electron-electron interactions on the density of
states (DOS) of clean 2D electron gas. We confirm the linear cusp in the DOS
around the Fermi level, which was obtained previously. The cusp crosses over to
a pure logarithmic dependence further away from the Fermi surface.Comment: RevTeX, 3 pages, no figure
Identifying and analyzing methods for reducing the energy consumption of helicopters
The results are presented of a study to identify those helicopter technology areas which would result in the largest energy (or fuel) savings when applied to large tandem (100 passenger) civil helicopters in the 1985 time frame. Baseline aircraft using 1975 technology in the areas of powerplant, rotor efficiency, parasite drag and structure were sized to a very short haul mission of 100 N.M. and a short haul mission of 200 N.M. A systematic parametric analysis was then conducted to assess the impact of technology improvements. Projections of the technology levels that could be obtained in the 1985 time frame were made and the resources estimated to achieve them. Based on these data, the highest payoff (lowest energy) helicopter technologies are identified
The Dynamical Behaviors in (2+1)-Dimensional Gross-Neveu Model with a Thirring Interaction
We analyze (2+1)-dimensional Gross-Neveu model with a Thirring interaction,
where a vector-vector type four-fermi interaction is on equal terms with a
scalar-scalar type one. The Dyson-Schwinger equation for fermion self-energy
function is constructed up to next-to-leading order in 1/N expansion. We
determine the critical surface which is the boundary between a broken phase and
an unbroken one in () space. It is observed that the
critical behavior is mainly controlled by Gross-Neveu coupling and
the region of the broken phase is separated into two parts by the line
. The mass function is strongly
dependent upon the flavor number N for , while weakly for
, the critical flavor number
increases as Thirring coupling decreases. By driving the CJT
effective potential, we show that the broken phase is energetically preferred
to the symmetric one. We discuss the gauge dependence of the mass function and
the ultra-violet property of the composite operators.Comment: 19 pages, LaTex, 6 ps figure files(uuencoded in seperate file
- …