TDAS: The Thermal Expert System (TEXSYS) data acquisition system

As part of the NASA Systems Autonomy Demonstration Project, a thermal expert system (TEXSYS) is being developed. TEXSYS combines a fast real time control system, a sophisticated human interface for the user and several distinct artificial intelligence techniques in one system. TEXSYS is to provide real time control, operations advice and fault detection, isolation and recovery capabilities for the space station Thermal Test Bed (TTB). TEXSYS will be integrated with the TTB and act as an intelligent assistant to thermal engineers conducting TTB tests and experiments. The results are presented from connecting the real time controller to the knowledge based system thereby creating an integrated system. Special attention will be paid to the problem of filtering and interpreting the raw, real time data and placing the important values into the knowledge base of the expert system

Проблеми використання української анатомічної термінології

Проаналізовано суперечності, виявлені під час використання української анатомічної термінології в дисциплінах спортивного профілю. Визначено шляхи усунення термінологічних розбіжностей на основі використання міждисциплінарних зв’язків у навчальних програмах і підручниках для ВНЗ, за якими готують фахівців із фізичного виховання.The paper examines the contradictions that exist when using Ukrainian anatomical terminology in the sports disciplines. The ways of eliminating terminological discrepancies while using the interdisciplinary connections in educational programs and textbooks for universities that train specialists in physical education

Solar electric propulsion for Mars transport vehicles

Solar electric propulsion (SEP) is an alternative to chemical and nuclear powered propulsion systems for both piloted and unpiloted Mars transport vehicles. Photovoltaic solar cell and array technologies were evaluated as components of SEP power systems. Of the systems considered, the SEP power system composed of multijunction solar cells in an ENTECH domed fresnel concentrator array had the least array mass and area. Trip times to Mars optimized for minimum propellant mass were calculated. Additionally, a preliminary vehicle concept was designed

Hadamard states from null infinity

Free field theories on a four dimensional, globally hyperbolic spacetime, whose dynamics is ruled by a Green hyperbolic partial differential operator, can be quantized following the algebraic approach. It consists of a two-step procedure: In the first part one identifies the observables of the underlying physical system collecting them in a *-algebra which encodes their relational and structural properties. In the second step one must identify a quantum state, that is a positive, normalized linear functional on the *-algebra out of which one recovers the interpretation proper of quantum mechanical theories via the so-called Gelfand-Naimark-Segal theorem. In between the plethora of possible states, only few of them are considered physically acceptable and they are all characterized by the so-called Hadamard condition, a constraint on the singular structure of the associated two-point function. Goal of this paper is to outline a construction scheme for these states which can be applied whenever the underlying background possesses a null (conformal) boundary. We discuss in particular the examples of a real, massless conformally coupled scalar field and of linearized gravity on a globally hyperbolic and asymptotically flat spacetime.Comment: 23 pages, submitted to the Proceedings of the conference "Quantum Mathematical Physics", held in Regensburg from the 29th of September to the 02nd of October 201

Production and characterization of monoclonal antibodies raised against recombinant human granzymes A and B and showing cross reactions with the natural proteins

The human serine proteases granzymes A and B are expressed in cytotoplasmic granules of activated cytotoxic T lymphocytes and natural killer cells. Recombinant granzyme A and granzyme B proteins were produced in bacteria, purified and then used to raise specific mouse monoclonal antibodies. Seven monoclonal antibodies (mAb) were raised against granzyme A, which all recognized the same or overlapping epitopes. They reacted specifically in an immunoblot of interleukin-2 (IL-2) stimulated PBMNC with a disulfide-linked homodimer of 43 kDa consisting of 28 kDa subunits. Seven mAb against granzyme B were obtained, which could be divided into two groups, each recognizing a different epitope. On an immunoblot, all mAb reacted with a monomer of 33 kDa protein. By immunohistochemistry, these mAb could be used to detect granzymes A and B expression in activated CTL and NK cells. The availability of these mAb may facilitate studies on the role of human cytotoxic cells in various immune reactions and may contribute to a better understanding of the role of granzmes A and B in the cytotoxic response in vivo

Outer jet X-ray and radio emission in R Aquarii: 1999.8 to 2004.0

Chandra and VLA observations of the symbiotic star R Aqr in 2004 reveal significant changes over the three to four year interval between these observations and previous observations taken with the VLA in 1999 and with Chandra in 2000. This paper reports on the evolution of the outer thermal X-ray lobe-jets and radio jets. The emission from the outer X-ray lobe-jets lies farther away from the central binary than the outer radio jets, and comes from material interpreted as being shock heated to ~10^6 K, a likely result of collision between high speed material ejected from the central binary and regions of enhanced gas density. Between 2000 and 2004, the Northeast (NE) outer X-ray lobe-jet moved out away from the central binary, with an apparent projected motion of ~580 km s^-1. The Southwest (SW) outer X-ray lobe-jet almost disappeared between 2000 and 2004, presumably due to adiabatic expansion and cooling. The NE radio bright spot also moved away from the central binary between 2000 and 2004, but with a smaller apparent velocity than of the NE X-ray bright spot. The SW outer lobe-jet was not detected in the radio in either 1999 or 2004. The density and mass of the X-ray emitting material is estimated. Cooling times, shock speeds, pressure and confinement are discussed.Comment: 23 pages, 8 figure

Emission of gamma rays shifted from resonant absorption by electron-nuclear double transitions in ^{151}Eu^{2+}:CaF_2

We show that the emission of a gamma-ray photon by a nucleus can be influenced by a microwave magnetic field acting on the atomic electrons. We study theoretically these electron-nuclear double transitions (ENDTs) for ^{151}Eu nuclei in a CaF_2 lattice at low temperature, in the presence of a static magnetic field and of a microwave magnetic field. The ENDTs acquire a significant intensity for certain resonance frequencies. The ENDTs are of interest for the identification of the position of the lines in complex M\"{o}ssbauer spectra.Comment: 8 pages; 3 Postscript figures: Fig. 1, Fig. 2(a), Fig. 2(b

Effective quantum gravity observables and locally covariant QFT

Perturbative algebraic quantum field theory (pAQFT) is a mathematically rigorous framework that allows to construct models of quantum field theories on a general class of Lorentzian manifolds. Recently this idea has been applied also to perturbative quantum gravity, treated as an effective theory. The difficulty was to find the right notion of observables that would in an appropriate sense be diffeomorphism invariant. In this article I will outline a general framework that allows to quantize theories with local symmetries (this includes infinitesimal diffeomorphism transformations) with the use of the BV (Batalin-Vilkovisky) formalism. This approach has been successfully applied to effective quantum gravity in a recent paper by R. Brunetti, K. Fredenhagen and myself. In the same paper we also proved perturbative background independence of the quantized theory, which is going to be discussed in the present work as well.Comment: 16 pages, based on a plenary talk given at the 14th Marcel Grossmann Meeting in Rome (July 2015

Hubble Space Telescope Weak-lensing Study of the Galaxy Cluster XMMU J2235.3-2557 at z=1.4: A Surprisingly Massive Galaxy Cluster when the Universe is One-third of its Current Age

We present a weak-lensing analysis of the z=1.4 galaxy cluster XMMU J2235.3-2557, based on deep Advanced Camera for Surveys images. Despite the observational challenge set by the high redshift of the lens, we detect a substantial lensing signal at the >~ 8 sigma level. This clear detection is enabled in part by the high mass of the cluster, which is verified by our both parametric and non-parametric estimation of the cluster mass. Assuming that the cluster follows a Navarro-Frenk-White mass profile, we estimate that the projected mass of the cluster within r=1 Mpc is (8.5+-1.7) x 10^14 solar mass, where the error bar includes the statistical uncertainty of the shear profile, the effect of possible interloping background structures, the scatter in concentration parameter, and the error in our estimation of the mean redshift of the background galaxies. The high X-ray temperature 8.6_{-1.2}^{+1.3} keV of the cluster recently measured with Chandra is consistent with this high lensing mass. When we adopt the 1-sigma lower limit as a mass threshold and use the cosmological parameters favored by the Wilkinson Microwave Anisotropy Probe 5-year (WMAP5) result, the expected number of similarly massive clusters at z >~ 1.4 in the 11 square degree survey is N ~ 0.005. Therefore, the discovery of the cluster within the survey volume is a rare event with a probability < 1%, and may open new scenarios in our current understanding of cluster formation within the standard cosmological model.Comment: Accepted to ApJ for publication. 40 pages and 14 figure

Integer Vector Addition Systems with States

This paper studies reachability, coverability and inclusion problems for Integer Vector Addition Systems with States (ZVASS) and extensions and restrictions thereof. A ZVASS comprises a finite-state controller with a finite number of counters ranging over the integers. Although it is folklore that reachability in ZVASS is NP-complete, it turns out that despite their naturalness, from a complexity point of view this class has received little attention in the literature. We fill this gap by providing an in-depth analysis of the computational complexity of the aforementioned decision problems. Most interestingly, it turns out that while the addition of reset operations to ordinary VASS leads to undecidability and Ackermann-hardness of reachability and coverability, respectively, they can be added to ZVASS while retaining NP-completness of both coverability and reachability.Comment: 17 pages, 2 figure