An asynchronous distributed component model and its semantics

This paper is placed in the context of large scale distributed programming, providing a programming model based on asynchronous components. It focuses on the semantics of asynchronous invocations and component synchronisation. Our model is precise enough to enable the specification of a formal semantics. A variant of this model has been implemented, together with tools for managing components. This paper explains why we consider that our component model is efficient and provides a convenient programming model. We show how futures play a major role for such asynchronous components, and provide a reduction semantics for the component model. This reduction semantics has been specified in the Isabelle theorem prover, and will be used to prove properties on the component model and its implementations

Universal R-C crossover in current-voltage characteristics for unshunted array of overdamped Nb-AlO_x-Nb Josephson junctions

We report on some unusual behavior of the measured current-voltage characteristics (CVC) in artificially prepared two-dimensional unshunted array of overdamped Nb-AlO_x-Nb Josephson junctions. The obtained nonlinear CVC are found to exhibit a pronounced (and practically temperature independent) crossover at some current I_{cr}=\left(\frac{1}{2\beta_C}-1\right)I_C from a resistance R dominated state with V_R=R\sqrt{I^2-I_C^2} below I_{cr} to a capacitance C dominated state with V_C=\sqrt{\frac{\hbar}{4eC}} \sqrt{I-I_C} above I_{cr}. The origin of the observed behavior is discussed within a single-plaquette approximation assuming the conventional RSJ model with a finite capacitance and the Ambegaokar-Baratoff relation for the critical current of the single junction

Manifestation of geometric resonance in current dependence of AC susceptibility for unshunted array of Nb-AlOx-Nb Josephson junctions

A pronounced resonance-like structure has been observed in the current dependence of AC susceptibility for two-dimensional array of unshunted Nb-AlOx-Nb Josephson junctions. Using a single-plaquette approximation, we were able to successfully fit our data assuming that resonance structure is related to the geometric (inductive) properties of the array.Comment: to appear in Physica C (in press

The simplicial coalgebra of chains determines homotopy types rationally and one prime at a time

We prove that the simplicial cocommutative coalgebra of singular chains on a connected topological space determines the homotopy type rationally and one prime at a time, without imposing any restriction on the fundamental group. In particular, the fundamental group and the homology groups with coefficients in arbitrary local systems of vector spaces are completely determined by the natural algebraic structure of the chains. The algebraic structure is presented as the class of the simplicial cocommutative coalgebra of chains under a notion of weak equivalence induced by a functor from coalgebras to algebras coined by Adams as the cobar construction. The fundamental group is determined by a quadratic equation on the zeroth homology of the cobar construction of the normalized chains which involves Steenrod's chain homotopies for cocommutativity of the coproduct. The homology groups with local coefficients are modeled by an algebraic analog of the universal cover which is invariant under our notion of weak equivalence. We conjecture that the integral homotopy type is also determined by the simplicial coalgebra of integral chains, which we prove when the universal cover is of finite type

Habitability: CAMELOT 4

During 1988 to 1989 the NASA/USRA Advanced Design Program sponsored research and design efforts aimed at developing habitability criteria and at defining a habitability concept as a useful tool in understanding and evaluating dwellings for prolonged stays in extraterrestrial space. The Circulating Auto sufficient Mars-Earth Luxurious Orbital Transport (CAMELOT) was studied as a case in which the students would try to enhance the quality of life of the inhabitants by applying architectural design methodology. The study proposed 14 habitability criteria considered necessary to fulfill the defined habitability concept, which is that state of equilibrium that results from the interaction between components of the Individual Architecture Mission Complex, which allows a person to sustain physiological homeostatis, adequate performance, and acceptable social relationships. Architecture, design development, refinements and revisions to improve the quality of life, new insights on artificial gravity, form and constitution problems, and the final design concept are covered