On the application of extreme-value statistics to command oriented problems

Extreme value theory for estimating statistical parameters of spacecraft communication system

Fluid-loop reaction system

An improved fluid actuating system for imparting motion to a body such as a spacecraft is disclosed. The fluid actuating system consists of a fluid mass that may be controllably accelerated through at least one fluid path whereby an opposite acceleration is experienced by the spacecraft. For full control of the spacecraft's orientation, the system would include a plurality of fluid paths. The fluid paths may be circular or irregular, and the fluid paths may be located on the interior or exterior of the spacecraft

Fast field-cycling NMR of cartilage : a way toward molecular imaging

Peer reviewedPublisher PD

Nickel-hydrogen battery state of charge during low rate trickle charging

Battery temperature increase, due to low rate trickle charging, has been determined experimentally, using a six cell battery module in a test setup simulating the anticipated AXAF-1 prelaunch environment. Test results indicate trickle charge rates less than or equal to the self discharge rate do not increase dissipation beyond that due to the self discharge. Significant trickle charge rates (approximately C/500) result in battery temperatures only a few degrees (F) higher than those observed during periods of open circuit stand

Dirac-Schr\"odinger equation for quark-antiquark bound states and derivation of its interaction kerne

The four-dimensional Dirac-Schr\"odinger equation satisfied by quark-antiquark bound states is derived from Quantum Chromodynamics. Different from the Bethe-Salpeter equation, the equation derived is a kind of first-order differential equations of Schr\"odinger-type in the position space. Especially, the interaction kernel in the equation is given by two different closed expressions. One expression which contains only a few types of Green's functions is derived with the aid of the equations of motion satisfied by some kinds of Green's functions. Another expression which is represented in terms of the quark, antiquark and gluon propagators and some kinds of proper vertices is derived by means of the technique of irreducible decomposition of Green's functions. The kernel derived not only can easily be calculated by the perturbation method, but also provides a suitable basis for nonperturbative investigations. Furthermore, it is shown that the four-dimensinal Dirac-Schr\"odinger equation and its kernel can directly be reduced to rigorous three-dimensional forms in the equal-time Lorentz frame and the Dirac-Schr\"odinger equation can be reduced to an equivalent Pauli-Schr\"odinger equation which is represented in the Pauli spinor space. To show the applicability of the closed expressions derived and to demonstrate the equivalence between the two different expressions of the kernel, the t-channel and s-channel one gluon exchange kernels are chosen as an example to show how they are derived from the closed expressions. In addition, the connection of the Dirac-Schr\"odinger equation with the Bethe-Salpeter equation is discussed

The homotopy theory of simplicial props

The category of (colored) props is an enhancement of the category of colored operads, and thus of the category of small categories. In this paper, the second in a series on "higher props," we show that the category of all small colored simplicial props admits a cofibrantly generated model category structure. With this model structure, the forgetful functor from props to operads is a right Quillen functor.Comment: Final version, to appear in Israel J. Mat

Renormalization of the Sigma-Omega model within the framework of U(1) gauge symmetry

It is shown that the Sigma-Omega model which is widely used in the study of nuclear relativistic many-body problem can exactly be treated as an Abelian massive gauge field theory. The quantization of this theory can perfectly be performed by means of the general methods described in the quantum gauge field theory. Especially, the local U(1) gauge symmetry of the theory leads to a series of Ward-Takahashi identities satisfied by Green's functions and proper vertices. These identities form an uniquely correct basis for the renormalization of the theory. The renormalization is carried out in the mass-dependent momentum space subtraction scheme and by the renormalization group approach. With the aid of the renormalization boundary conditions, the solutions to the renormalization group equations are given in definite expressions without any ambiguity and renormalized S-matrix elememts are exactly formulated in forms as given in a series of tree diagrams provided that the physical parameters are replaced by the running ones. As an illustration of the renormalization procedure, the one-loop renormalization is concretely carried out and the results are given in rigorous forms which are suitable in the whole energy region. The effect of the one-loop renormalization is examined by the two-nucleon elastic scattering.Comment: 32 pages, 17 figure

MRI-based Surgical Planning for Lumbar Spinal Stenosis

The most common reason for spinal surgery in elderly patients is lumbar spinal stenosis(LSS). For LSS, treatment decisions based on clinical and radiological information as well as personal experience of the surgeon shows large variance. Thus a standardized support system is of high value for a more objective and reproducible decision. In this work, we develop an automated algorithm to localize the stenosis causing the symptoms of the patient in magnetic resonance imaging (MRI). With 22 MRI features of each of five spinal levels of 321 patients, we show it is possible to predict the location of lesion triggering the symptoms. To support this hypothesis, we conduct an automated analysis of labeled and unlabeled MRI scans extracted from 788 patients. We confirm quantitatively the importance of radiological information and provide an algorithmic pipeline for working with raw MRI scans

Homotopy Theoretic Models of Type Theory

We introduce the notion of a logical model category which is a Quillen model category satisfying some additional conditions. Those conditions provide enough expressive power that one can soundly interpret dependent products and sums in it. On the other hand, those conditions are easy to check and provide a wide class of models some of which are listed in the paper.Comment: Corrected version of the published articl