7,727 research outputs found
Fault Localization in Multi-Threaded C Programs using Bounded Model Checking (extended version)
Software debugging is a very time-consuming process, which is even worse for
multi-threaded programs, due to the non-deterministic behavior of
thread-scheduling algorithms. However, the debugging time may be greatly
reduced, if automatic methods are used for localizing faults. In this study, a
new method for fault localization, in multi-threaded C programs, is proposed.
It transforms a multi-threaded program into a corresponding sequential one and
then uses a fault-diagnosis method suitable for this type of program, in order
to localize faults. The code transformation is implemented with rules and
context switch information from counterexamples, which are typically generated
by bounded model checkers. Experimental results show that the proposed method
is effective, in such a way that sequential fault-localization methods can be
extended to multi-threaded programs.Comment: extended version of paper published at SBESC'1
Considerations for a design and operations knowledge support system for Space Station Freedom
Engineering and operations of modern engineered systems depend critically upon detailed design and operations knowledge that is accurate and authoritative. A design and operations knowledge support system (DOKSS) is a modern computer-based information system providing knowledge about the creation, evolution, and growth of an engineered system. The purpose of a DOKSS is to provide convenient and effective access to this multifaceted information. The complexity of Space Station Freedom's (SSF's) systems, elements, interfaces, and organizations makes convenient access to design knowledge especially important, when compared to simpler systems. The life cycle length, being 30 or more years, adds a new dimension to space operations, maintenance, and evolution. Provided here is a review and discussion of design knowledge support systems to be delivered and operated as a critical part of the engineered system. A concept of a DOKSS for Space Station Freedom (SSF) is presented. This is followed by a detailed discussion of a DOKSS for the Lyndon B. Johnson Space Center and Work Package-2 portions of SSF
Dynamic instability of microtubules: effect of catastrophe-suppressing drugs
Microtubules are stiff filamentary proteins that constitute an important
component of the cytoskeleton of cells. These are known to exhibit a dynamic
instability. A steadily growing microtubule can suddenly start depolymerizing
very rapidly; this phenomenon is known as ``catastrophe''. However, often a
shrinking microtubule is ``rescued'' and starts polymerizing again. Here we
develope a model for the polymerization-depolymerization dynamics of
microtubules in the presence of {\it catastrophe-suppressing drugs}. Solving
the dynamical equations in the steady-state, we derive exact analytical
expressions for the length distributions of the microtubules tipped with
drug-bound tubulin subunits as well as those of the microtubules, in the
growing and shrinking phases, tipped with drug-free pure tubulin subunits. We
also examine the stability of the steady-state solutions.Comment: Minor corrections; final published versio
Migration of Epithelium During Phenytoin-Dependent Gingival Overgrowth in Mice
A small cavity was made in the mesiopalatal area of the maxillary first molar adjacent to the gingiva. Mice were maintained on 40 mg/kg phenytoin (or on diluent for control) by daily intraperitoneal injections. After 9 weeks, light microscopic observations revealed that in experimental mice, epithelial cells migrated towards the cavity and covered it. In controls, epithelial cell migration towards the cavity did not occur. For scanning electron microscopic (SEM) studies, specimens were fixed in 4% glutaraldehyde in 0.1 M phosphate buffer, pH 7.2, for 2 hours, dehydrated, critical point dried and coated with gold. The surface of the outer gingival epithelium of experimental and of control mice showed a honeycomb arrangement of the microridges suggesting their keratinized nature. Epithelial cells lining the cavity showed well marked macroridges along their borders. Parallel microridges were observed on the upper surface of these cells suggesting that they were non-keratinized. It was concluded that the migrating epithelial cells, that covered the cavity during phenytoin-dependent gingival overgrowth, were of the non-keratinized type
Self-consistent theory of reversible ligand binding to a spherical cell
In this article, we study the kinetics of reversible ligand binding to
receptors on a spherical cell surface using a self-consistent stochastic
theory. Binding, dissociation, diffusion and rebinding of ligands are
incorporated into the theory in a systematic manner. We derive explicitly the
time evolution of the ligand-bound receptor fraction p(t) in various regimes .
Contrary to the commonly accepted view, we find that the well-known
Berg-Purcell scaling for the association rate is modified as a function of
time. Specifically, the effective on-rate changes non-monotonically as a
function of time and equals the intrinsic rate at very early as well as late
times, while being approximately equal to the Berg-Purcell value at
intermediate times. The effective dissociation rate, as it appears in the
binding curve or measured in a dissociation experiment, is strongly modified by
rebinding events and assumes the Berg-Purcell value except at very late times,
where the decay is algebraic and not exponential. In equilibrium, the ligand
concentration everywhere in the solution is the same and equals its spatial
mean, thus ensuring that there is no depletion in the vicinity of the cell.
Implications of our results for binding experiments and numerical simulations
of ligand-receptor systems are also discussed.Comment: 23 pages with 4 figure
Charge Exchange Spectra of Hydrogenic and He-like Iron
We present H-like Fe XXVI and He-like Fe XXV charge-exchange spectra
resulting from collisions of highly charged iron with N2 gas at an energy of 10
eV/amu in an electron beam ion trap. Although individual high-n emission lines
are not resolved in our measurements, we observe that the most likely level for
Fe25+ --> Fe24+ electron capture is n~9, in line with expectations, while the
most likely value for Fe26+ --> Fe25+ charge exchange is significantly higher.
In the Fe XXV spectrum, the K-alpha emission feature dominates, whether
produced via charge exchange or collisional excitation. The K-alpha centroid is
lower in energy for the former case than the latter (6666 versus 6685 eV,
respectively), as expected because of the strong enhancement of emission from
the forbidden and intercombination lines, relative to the resonance line, in
charge-exchange spectra. In contrast, the Fe XXVI high-n Lyman lines have a
summed intensity greater than that of Ly-alpha, and are substantially stronger
than predicted from theoretical calculations of charge exchange with atomic H.
We conclude that the angular momentum distribution resulting from electron
capture using a multi-electron target gas is significantly different from that
obtained with H, resulting in the observed high-n enhancement. A discussion is
presented of the relevance of our results to studies of diffuse Fe emission in
the Galactic Center and Galactic Ridge, particularly with ASTRO-E2/Suzaku.Comment: 16 pages, 4 figures (3 color), accepted by Ap
VLBI observations of the Crab nebula pulsar
Observations were made at meter wave-lengths using very long base-line interferometry techniques. At 196.5 MHz no resolution of the pulsar are observed; all the pulse shapes observed with the interferometers are similar to single dish profiles, and all the power pulsates. At 111.5 MHz besides the pulsing power there is always a steady component, presumably due to interstellar scattering. The pulsar is slightly resolved at 111.5 MHz with an apparent angular diameter of 0.07 sec ? 0.01 sec. A 50 percent linear polarization of the time-averaged power is noted at 196.5 MHz; at 111.5 MHz, 20 percent of the total time-averaged power is polarized, 35 percent of the pulsing power is polarized, and the steady component is unpolarized
Proposal for the determination of nuclear masses by high-precision spectroscopy of Rydberg states
The theoretical treatment of Rydberg states in one-electron ions is
facilitated by the virtual absence of the nuclear-size correction, and
fundamental constants like the Rydberg constant may be in the reach of planned
high-precision spectroscopic experiments. The dominant nuclear effect that
shifts transition energies among Rydberg states therefore is due to the nuclear
mass. As a consequence, spectroscopic measurements of Rydberg transitions can
be used in order to precisely deduce nuclear masses. A possible application of
this approach to the hydrogen and deuterium, and hydrogen-like lithium and
carbon is explored in detail. In order to complete the analysis, numerical and
analytic calculations of the quantum electrodynamic (QED) self-energy remainder
function for states with principal quantum number n=5,...,8 and with angular
momentum L=n-1 and L=n-2 are described (j = L +/- 1/2).Comment: 21 pages; LaTe
Cutting edges at random in large recursive trees
We comment on old and new results related to the destruction of a random
recursive tree (RRT), in which its edges are cut one after the other in a
uniform random order. In particular, we study the number of steps needed to
isolate or disconnect certain distinguished vertices when the size of the tree
tends to infinity. New probabilistic explanations are given in terms of the
so-called cut-tree and the tree of component sizes, which both encode different
aspects of the destruction process. Finally, we establish the connection to
Bernoulli bond percolation on large RRT's and present recent results on the
cluster sizes in the supercritical regime.Comment: 29 pages, 3 figure
- …