Design study of an entry probe spectro-reflectometer

A wind tunnel was built to simulate the rapid movement of an entry probe through the Jupiter atmosphere. Wind speeds range from 1 to 50 meters per second in a closed system. Wind velocity and temperature probes as well as a cryogenically cooled cold finger can be placed in the 6 inch diameter viewing section. The initial testing of the wind tunnel involved running sectional profiles through the observation port of air currents of 0.1 to 3.0 atmosphere. The velocity profile was very uniform throughout the cross section of the experimental port, with the exception of the wall effects. The deposition of cooled volatiles using the wind tunnel was not performed. However, measurements of the deposition of H2O ice on a cryogenically cooled thickness modulator were made under ambient conditions, namely room temperature and pressure. In the Frost Depositon Test Facility, ice deposition was measured at thicknesses of about a half millimeter and frost was produced whose thickness reflectivity could easily be measured by reflectance spectroscopy

On Properties of Update Sequences Based on Causal Rejection

We consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under answer set semantics. New information is incorporated into the current knowledge base subject to a causal rejection principle enforcing that, in case of conflicts, more recent rules are preferred and older rules are overridden. Such a rejection principle is also exploited in other approaches to update logic programs, e.g., in dynamic logic programming by Alferes et al. We give a thorough analysis of properties of our approach, to get a better understanding of the causal rejection principle. We review postulates for update and revision operators from the area of theory change and nonmonotonic reasoning, and some new properties are considered as well. We then consider refinements of our semantics which incorporate a notion of minimality of change. As well, we investigate the relationship to other approaches, showing that our approach is semantically equivalent to inheritance programs by Buccafurri et al. and that it coincides with certain classes of dynamic logic programs, for which we provide characterizations in terms of graph conditions. Therefore, most of our results about properties of causal rejection principle apply to these approaches as well. Finally, we deal with computational complexity of our approach, and outline how the update semantics and its refinements can be implemented on top of existing logic programming engines.Comment: 59 pages, 2 figures, 3 tables, to be published in "Theory and Practice of Logic Programming

Non-destructive imaging of an individual protein

The mode of action of proteins is to a large extent given by their ability to adopt different conformations. This is why imaging single biomolecules at atomic resolution is one of the ultimate goals of biophysics and structural biology. The existing protein database has emerged from X-ray crystallography, NMR or cryo-TEM investigations. However, these tools all require averaging over a large number of proteins and thus over different conformations. This of course results in the loss of structural information. Likewise it has been shown that even the emergent X-FEL technique will not get away without averaging over a large quantity of molecules. Here we report the first recordings of a protein at sub-nanometer resolution obtained from one individual ferritin by means of low-energy electron holography. One single protein could be imaged for an extended period of time without any sign of radiation damage. Since ferritin exhibits an iron core, the holographic reconstructions could also be cross-validated against TEM images of the very same molecule by imaging the iron cluster inside the molecule while the protein shell is decomposed

On arithmetic and asymptotic properties of up-down numbers

Let $\sigma=(\sigma_1,..., \sigma_N)$, where $\sigma_i =\pm 1$, and let $C(\sigma)$ denote the number of permutations $\pi$ of $1,2,..., N+1,$ whose up-down signature $\mathrm{sign}(\pi(i+1)-\pi(i))=\sigma_i$, for $i=1,...,N$. We prove that the set of all up-down numbers $C(\sigma)$ can be expressed by a single universal polynomial $\Phi$, whose coefficients are products of numbers from the Taylor series of the hyperbolic tangent function. We prove that $\Phi$ is a modified exponential, and deduce some remarkable congruence properties for the set of all numbers $C(\sigma)$, for fixed $N$. We prove a concise upper-bound for $C(\sigma)$, which describes the asymptotic behaviour of the up-down function $C(\sigma)$ in the limit $C(\sigma) \ll (N+1)!$.Comment: Recommended for publication in Discrete Mathematics subject to revision

Development of digital computer program for thermal network correction. Phase 2 - Program development. Phase 3 - Demonstration/application Final report

Developing digital computer program for correcting soft parameters of thermal network by Kalman filtering metho