12,175 research outputs found
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 , where , and let
denote the number of permutations of whose
up-down signature , for .
We prove that the set of all up-down numbers can be expressed by
a single universal polynomial , whose coefficients are products of
numbers from the Taylor series of the hyperbolic tangent function. We prove
that is a modified exponential, and deduce some remarkable congruence
properties for the set of all numbers , for fixed . We prove a
concise upper-bound for , which describes the asymptotic behaviour
of the up-down function in the limit .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
- …