On Clifford Subalgebras, Spacetime Splittings and Applications

Z2-gradings of Clifford algebras are reviewed and we shall be concerned with an alpha-grading based on the structure of inner automorphisms, which is closely related to the spacetime splitting, if we consider the standard conjugation map automorphism by an arbitrary, but fixed, splitting vector. After briefly sketching the orthogonal and parallel components of products of differential forms, where we introduce the parallel [orthogonal] part as the space [time] component, we provide a detailed exposition of the Dirac operator splitting and we show how the differential operator parallel and orthogonal components are related to the Lie derivative along the splitting vector and the angular momentum splitting bivector. We also introduce multivectorial-induced alpha-gradings and present the Dirac equation in terms of the spacetime splitting, where the Dirac spinor field is shown to be a direct sum of two quaternions. We point out some possible physical applications of the formalism developed.Comment: 22 pages, accepted for publication in International Journal of Geometric Methods in Modern Physics 3 (8) (2006

On the dimensional dependence of duality groups for massive p-forms

We study the soldering formalism in the context of abelian p-form theories. We develop further the fusion process of massless antisymmetric tensors of different ranks into a massive p-form and establish its duality properties. To illustrate the formalism we consider two situations. First the soldering mass generation mechanism is compared with the Higgs and Julia-Toulouse mechanisms for mass generation due to condensation of electric and magnetic topological defects. We show that the soldering mechanism interpolates between them for even dimensional spacetimes, in this way confirming the Higgs/Julia-Toulouse duality proposed by Quevedo and Trugenberger \cite{QT} a few years ago. Next, soldering is applied to the study of duality group classification of the massive forms. We show a dichotomy controlled by the parity of the operator defining the symplectic structure of the theory and find their explicit actions.Comment: Reference [8] has been properly place

Lunar subsurface architecture enhanced by artificial biosphere concepts

The integration of artificial biosphere technology with subselene architecture can create a life-enhancing, productive habitat that is safe from solar radiation and extreme temperature fluctuations while maximizing resources brought from Earth and derived from lunar regolith. In the short term, the resulting biotectural (biosphere and architectural) designs will not only make the structures more habitable, productive, and manageable, but will ultimately provide the self-sufficiency factors necessary for the mature lunar settlement. From a long-term perspective, this biotecture approach to astronautics and extraterrestrial development (1) helps reduce mass lift requirements, (2) contributes to habitat self-sufficiency, and (3) actualizes at least one philosophy of solar system exploration, which is to exploit nonterrestrial resources in an effort to conserve our natural resources on this planet

Self-Regulation of Star Formation in Low Metallicity Clouds

We investigate the process of self-regulated star formation via photodissociation of hydrogen molecules in low metallicity clouds. We evaluate the influence region's scale of a massive star in low metallicity gas clouds whose temperatures are between 100 and 10000 Kelvin. A single O star can photodissociate hydrogen molecules in the whole of the host cloud. If metallicity is smaller than about 10^{-2.5} of the solar metallicity, the depletion of coolant of the the host cloud is very serious so that the cloud cannot cool in a free-fall time, and subsequent star formation is almost quenched. On the contrary, if metallicity is larger than about 10^{-1.5} of the solar metallicity, star formation regulation via photodissociation is not efficient. The typical metallicity when this transition occurs is about 1/100 of the solar metallicity. This indicates that stars do not form efficiently before the metallicity becomes larger than about 1/100 of the solar metallicity and we considered that this value becomes the lower limit of the metallicity of luminous objects such as galaxies.Comment: 14 pages, including 5 figures, To appear in ApJ, Vol. 53

The Energy Processing by Power Electronics and Its Impact on Power Quality

This paper discusses the electrical architectures adopted in wind turbines and its impact on the harmonic flux at the connected electric network. The integration of wind electric generators with the power grid needs energy processing by power electronics. It shows that different types of wind turbine generator systems use different types of electronic converters. This work provides a discussion on harmonic distortion taking place on the generator side, as well as in the power grid side

State space c-reductions for concurrent systems in rewriting logic

We present c-reductions, a state space reduction technique. The rough idea is to exploit some equivalence relation on states (possibly capturing system regularities) that preserves behavioral properties, and explore the induced quotient system. This is done by means of a canonizer function, which maps each state into a (non necessarily unique) canonical representative of its equivalence class. The approach exploits the expressiveness of rewriting logic and its realization in Maude to enjoy several advantages over similar approaches: exibility and simplicity in the definition of the reductions (supporting not only traditional symmetry reductions, but also name reuse and name abstraction); reasoning support for checking and proving correctness of the reductions; and automatization of the reduction infrastructure via Maude's meta-programming features. The approach has been validated over a set of representative case studies, exhibiting comparable results with respect to other tools