Chaplygin Gravitodynamics

We consider a new approach for gravity theory coupled to Chaplygin matter in which the {\it{relativistic}} formulation of the latter is of crucial importance. We obtain a novel form of matter with dust like density $(\sim (volume)^{-1})$ and negative pressure. We explicitly show that our results are compatible with a relativistic generalization of the energy conservation principle, derived here.Comment: Title changed, Revised version,N o change in conclusions, Journal ref.: MPL A21 (2006)1511-151

SHARPI/PICTURE Sounding Rocket Telescope

The Solar High Angular Resolution Photometric Imager (SHARPI)/Planet Imaging Concept Testbed Using a Rocket Experiment (PICTURE) Sounding Rocket Telescope is described. The topics include: 1) Lightweight precision mirror development; 2) Two sounding rocket concepts sharing a telescope; 3) Optical Telescope Assembly (OTA) overview; 4) PM development program; 5) PM figure testing; 6) Mirror coatings; 7) PM mount and verification; 8) Secondary Mirror (SM); and 9) OTA

Lagrangian generators of the Poincare gauge symmetries

We have systematically computed the generators of the symmetries arising in Poincare gauge theory formulation of gravity, both in 2+1 and 3+1 dimensions. This was done using a completely Lagrangian approach. The results are expected to be valid in any dimensions, as seen through lifting the results of the 2+1 dimensional example into the 3+1 dimensional one.Comment: Latex2e, 15 pages, 1 figure; (v2) Appendix containing discussion on applications of Lagrangian generators adde

Analysis of airborne Doppler lidar, Doppler radar and tall tower measurements of atmospheric flows in quiescent and stormy weather

The first experiment to combine airborne Doppler Lidar and ground-based dual Doppler Radar measurements of wind to detail the lower tropospheric flows in quiescent and stormy weather was conducted in central Oklahoma during four days in June-July 1981. Data from these unique remote sensing instruments, coupled with data from conventional in-situ facilities, i.e., 500-m meteorological tower, rawinsonde, and surface based sensors, were analyzed to enhance understanding of wind, waves and turbulence. The purposes of the study were to: (1) compare winds mapped by ground-based dual Doppler radars, airborne Doppler lidar, and anemometers on a tower; (2) compare measured atmospheric boundary layer flow with flows predicted by theoretical models; (3) investigate the kinematic structure of air mass boundaries that precede the development of severe storms; and (4) study the kinematic structure of thunderstorm phenomena (downdrafts, gust fronts, etc.) that produce wind shear and turbulence hazardous to aircraft operations. The report consists of three parts: Part 1, Intercomparison of Wind Data from Airborne Lidar, Ground-Based Radars and Instrumented 444 m Tower; Part 2, The Structure of the Convective Atmospheric Boundary Layer as Revealed by Lidar and Doppler Radars; and Part 3, Doppler Lidar Observations in Thunderstorm Environments

On the Hierarchy of Block Deterministic Languages

A regular language is $k$-lookahead deterministic (resp. $k$-block deterministic) if it is specified by a $k$-lookahead deterministic (resp. $k$-block deterministic) regular expression. These two subclasses of regular languages have been respectively introduced by Han and Wood ($k$-lookahead determinism) and by Giammarresi et al. ($k$-block determinism) as a possible extension of one-unambiguous languages defined and characterized by Br\"uggemann-Klein and Wood. In this paper, we study the hierarchy and the inclusion links of these families. We first show that each $k$-block deterministic language is the alphabetic image of some one-unambiguous language. Moreover, we show that the conversion from a minimal DFA of a $k$-block deterministic regular language to a $k$-block deterministic automaton not only requires state elimination, and that the proof given by Han and Wood of a proper hierarchy in $k$-block deterministic languages based on this result is erroneous. Despite these results, we show by giving a parameterized family that there is a proper hierarchy in $k$-block deterministic regular languages. We also prove that there is a proper hierarchy in $k$-lookahead deterministic regular languages by studying particular properties of unary regular expressions. Finally, using our valid results, we confirm that the family of $k$-block deterministic regular languages is strictly included into the one of $k$-lookahead deterministic regular languages by showing that any $k$-block deterministic unary language is one-unambiguous

Stretching Instability of Helical Spring

We show that when a gradually increasing tensile force is applied to the ends of a helical spring with sufficiently large ratios of radius to pitch and twist to bending rigidity, the end-to-end distance undergoes a sequence of discontinuous stretching transitions. Subsequent decrease of the force leads to step-like contraction and hysteresis is observed. For finite helices, the number of these transitions increases with the number of helical turns but only one stretching and one contraction instability survive in the limit of an infinite helix. We calculate the critical line that separates the region of parameters in which the deformation is continuous from that in which stretching instabilities occur, and propose experimental tests of our predictions.Comment: 5 pages, 4 figure

Wigner's little group, gauge transformations and dimensional descent

We propose a technique called dimensional descent to show that Wigner's little group for massless particles, which acts as a generator of gauge transformation for usual Maxwell theory, has an identical role even for topologically massive gauge theories. The examples of $B\wedge F$ theory and Maxwell-Chern-Simons theory are analyzed in details.Comment: LaTex, revised version shortened to 9 pages; To appear in Jour.Phys.

Decidability of quantified propositional intuitionistic logic and S4 on trees

Quantified propositional intuitionistic logic is obtained from propositional intuitionistic logic by adding quantifiers \forall p, \exists p over propositions. In the context of Kripke semantics, a proposition is a subset of the worlds in a model structure which is upward closed. Kremer (1997) has shown that the quantified propositional intuitionistic logic H\pi+ based on the class of all partial orders is recursively isomorphic to full second-order logic. He raised the question of whether the logic resulting from restriction to trees is axiomatizable. It is shown that it is, in fact, decidable. The methods used can also be used to establish the decidability of modal S4 with propositional quantification on similar types of Kripke structures.Comment: v2, 9 pages, corrections and additions; v1 8 page

Modeling symbiotic biological nitrogen fixation in grain legumes globally with LPJ-GUESS (v4.0, r10285)

Biological nitrogen fixation (BNF) from grain legumes is of significant importance in global agricultural ecosystems. Crops with BNF capability are expected to support the need to increase food production while reducing nitrogen (N) fertilizer input for agricultural sustainability, but quantification of N fixing rates and BNF crop yields remains inadequate on a global scale. Here we incorporate two legume crops (soybean and faba bean) with BNF into a dynamic vegetation model LPJ-GUESS (Lund–Potsdam–Jena General Ecosystem Simulator). The performance of this new implementation is evaluated against observations from a range of water and N management trials. LPJ-GUESS generally captures the observed response to these management practices for legume biomass production, soil N uptake, and N fixation, despite some deviations from observations in some cases. Globally, simulated BNF is dominated by soil moisture and temperature, as well as N fertilizer addition. Annual inputs through BNF are modeled to be 11.6±2.2 Tg N for soybean and 5.6±1.0 Tg N for all pulses, with a total fixation of 17.2±2.9 Tg N yr$^{-1}$ for all grain legumes during the period 1981–2016 on a global scale. Our estimates show good agreement with some previous statistical estimates but are relatively high compared to some estimates for pulses. This study highlights the importance of accounting for legume N fixation process when modeling C–N interactions in agricultural ecosystems, particularly when it comes to accounting for the combined effects of climate and land-use change on the global terrestrial N cycle