Tarski monoids: Matui's spatial realization theorem

We introduce a class of inverse monoids, called Tarski monoids, that can be regarded as non-commutative generalizations of the unique countable, atomless Boolean algebra. These inverse monoids are related to a class of etale topological groupoids under a non-commutative generalization of classical Stone duality and, significantly, they arise naturally in the theory of dynamical systems as developed by Matui. We are thereby able to reinterpret a theorem of Matui on a class of \'etale groupoids as an equivalent theorem about a class of Tarski monoids: two simple Tarski monoids are isomorphic if and only if their groups of units are isomorphic. The inverse monoids in question may also be viewed as countably infinite generalizations of finite symmetric inverse monoids. Their groups of units therefore generalize the finite symmetric groups and include amongst their number the classical Thompson groups.Comment: arXiv admin note: text overlap with arXiv:1407.147

Minimal kernels of Dirac operators along maps

Let $M$ be a closed spin manifold and let $N$ be a closed manifold. For maps $f\colon M\to N$ and Riemannian metrics $g$ on $M$ and $h$ on $N$, we consider the Dirac operator $D^f_{g,h}$ of the twisted Dirac bundle $\Sigma M\otimes_{\mathbb{R}} f^*TN$. To this Dirac operator one can associate an index in $KO^{-dim(M)}(pt)$. If $M$ is $2$-dimensional, one gets a lower bound for the dimension of the kernel of $D^f_{g,h}$ out of this index. We investigate the question whether this lower bound is obtained for generic tupels $(f,g,h)$

Shell tile thermal protection system

A reusable, externally applied thermal protection system for use on aerospace vehicles subject to high thermal and mechanical stresses utilizes a shell tile structure which effectively separates its primary functions as an insulator and load absorber. The tile consists of structurally strong upper and lower metallic shells manufactured from materials meeting the thermal and structural requirements incident to tile placement on the spacecraft. A lightweight, high temperature package of insulation is utilized in the upper shell while a lightweight, low temperature insulation is utilized in the lower shell. Assembly of the tile which is facilitated by a self-locking mechanism, may occur subsequent to installation of the lower shell on the spacecraft structural skin

Geometric variations of the Boltzmann entropy

We perform a calculation of the first and second order infinitesimal variations, with respect to energy, of the Boltzmann entropy of constant energy hypersurfaces of a system with a finite number of degrees of freedom. We comment on the stability interpretation of the second variation in this framework.Comment: 9 pages, no figure

Accelerated Test Development for Coil-coated Steel Building Panels

This paper discusses the experimental design and the preliminary findings of an ongoing project designed to establish an accelerated laboratory test that would rank coating system performance the same as their performance in atmospheric exposure. A total of ten materials are included in the program: four substrates each with two coating systems and one substrate with two additional coating systems. Samples were installed at four atmospheric exposure sites: Middletown, OH, Daytona Beach, FL, Monroeville, PA, and Halifax, NS, Canada. Three different orientations were utilized at each of the exposure sites and a variety of building panel features were included on the test panels (roll formed bends, laps, cut drip edges, standing seam closures, and scribes). The work discussed in this paper includes the program design and implementation and preliminary correlation\u27s of the three-year atmospheric exposure results to several standard accelerated test methods including: ASTM B117, ASTM G85, ASTM G87, and GM 9540

Safety hazards associated with the charging of lithium/sulfur dioxide cells

A continuing research program to assess the responses of spirally wound, lithium/sulfur dioxide cells to charging as functions of charging current, temperature, and cell condition prior to charging is described. Partially discharged cells that are charged at currents greater than one ampere explode with the time to explosion inversely proportional to the charging current. Cells charged at currents of less than one ampere may fail in one of several modes. The data allows an empirical prediction of when certain cells will fail given a constant charging current

Bi-HKT and bi-Kaehler supersymmetric sigma models

We study CKT (or bi-HKT) N = 4 supersymmetric quantum mechanical sigma models. They are characterized by the usual and the mirror sectors displaying each HKT geometry. When the metric involves isometries, a Hamiltonian reduction is possible. The most natural such reduction with respect to a half of bosonic target space coordinates produces an N = 4 model, related to the twisted Kaehler model due to Gates, Hull and Rocek, but including certain extra F-terms in the superfield action.Comment: 31 pages, minor corrections in the published versio

Stand-alone flat-plate photovoltaic power systems: System sizing and life-cycle costing methodology for Federal agencies

A simple methodology to estimate photovoltaic system size and life-cycle costs in stand-alone applications is presented. It is designed to assist engineers at Government agencies in determining the feasibility of using small stand-alone photovoltaic systems to supply ac or dc power to the load. Photovoltaic system design considerations are presented as well as the equations for sizing the flat-plate array and the battery storage to meet the required load. Cost effectiveness of a candidate photovoltaic system is based on comparison with the life-cycle cost of alternative systems. Examples of alternative systems addressed are batteries, diesel generators, the utility grid, and other renewable energy systems

The Construction of a Partially Regular Solution to the Landau-Lifshitz-Gilbert Equation in R2\mathbb{R}^2

We establish a framework to construct a global solution in the space of finite energy to a general form of the Landau-Lifshitz-Gilbert equation in $\mathbb{R}^2$. Our characterization yields a partially regular solution, smooth away from a 2-dimensional locally finite Hausdorff measure set. This construction relies on approximation by discretization, using the special geometry to express an equivalent system whose highest order terms are linear and the translation of the machinery of linear estimates on the fundamental solution from the continuous setting into the discrete setting. This method is quite general and accommodates more general geometries involving targets that are compact smooth hypersurfaces.Comment: 43 pages, 2 figure