2,168 research outputs found
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
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
A comparative evaluation of anomaloscopes: Pickford-Nicholson & Nagel
Included among color vision testing instruments are the Nagel anomaloscope and the Pickford-Nicholson anomaloscope. The Nagel is a spectral instrument whereas the Pickford-Nicholson uses filters. This paper examines how closely the two instruments actually correspond. It is concluded that both instruments do quantitatively yield similar results on both normals and color deficients. The standard deviations of both the means and ranges on the two instruments are equal, at the .02 level of significance
Equation of state for the 2+1 dimensional Gross-Neveu model at order 1/N
We calculate the equation of state of the Gross-Neveu model in 2+1 dimensions
at order 1/N, where N is the number of fermion species. We make use of a
general formula valid for four-fermion theories, previously applied to the
model in 1+1 dimensions. We consider both the discrete and continuous symmetry
versions of the model. We show that the pion-like excitations give the dominant
contribution at low temperatures. The range of validity for such pion dominance
is analyzed. The complete analysis from low to high temperatures also shows
that in the critical region the role of composite states is relevant, even for
quite large N, and that the free-component behaviour at high T starts at about
twice the mean field critical temperature.Comment: 19 pages, RevTeX, 10 figures.p
- …