Plasma Sterilization Technology for Spacecraft Applications

The application of plasma gas technology to sterilization and decontamination of spacecraft components is considered. Areas investigated include: effective sterilizing ranges of four separate gases; lethal constituents of a plasma environment; effectiveness of plasma against a diverse group of microorganisms; penetrating efficiency of plasmas for sterilization; and compatibility of spacecraft materials with plasma environments. Results demonstrated that plasma gas, specifically helium plasma, is a highly effective sterilant and is compatible with spacecraft materials

Are chimpanzees really so poor at understanding imperative pointing? Some new data and an alternative view of canine and ape social cognition

There is considerable interest in comparative research on different species’ abilities to respond to human communicative cues such as gaze and pointing. It has been reported that some canines perform significantly better than monkeys and apes on tasks requiring the comprehension of either declarative or imperative pointing and these differences have been attributed to domestication in dogs. Here we tested a sample of chimpanzees on a task requiring comprehension of an imperative request and show that, though there are considerable individual differences, the performance by the apes rival those reported in pet dogs. We suggest that small differences in methodology can have a pronounced influence on performance on these types of tasks. We further suggest that basic differences in subject sampling, subject recruitment and rearing experiences have resulted in a skewed representation of canine abilities compared to those of monkeys and apes

Object-oriented Programming Laws for Annotated Java Programs

Object-oriented programming laws have been proposed in the context of languages that are not combined with a behavioral interface specification language (BISL). The strong dependence between source-code and interface specifications may cause a number of difficulties when transforming programs. In this paper we introduce a set of programming laws for object-oriented languages like Java combined with the Java Modeling Language (JML). The set of laws deals with object-oriented features taking into account their specifications. Some laws deal only with features of the specification language. These laws constitute a set of small transformations for the development of more elaborate ones like refactorings

Flexible Invariants Through Semantic Collaboration

Modular reasoning about class invariants is challenging in the presence of dependencies among collaborating objects that need to maintain global consistency. This paper presents semantic collaboration: a novel methodology to specify and reason about class invariants of sequential object-oriented programs, which models dependencies between collaborating objects by semantic means. Combined with a simple ownership mechanism and useful default schemes, semantic collaboration achieves the flexibility necessary to reason about complicated inter-object dependencies but requires limited annotation burden when applied to standard specification patterns. The methodology is implemented in AutoProof, our program verifier for the Eiffel programming language (but it is applicable to any language supporting some form of representation invariants). An evaluation on several challenge problems proposed in the literature demonstrates that it can handle a variety of idiomatic collaboration patterns, and is more widely applicable than the existing invariant methodologies.Comment: 22 page

Tunneling Time in the Landau-Zener Model

We give a general definition for the tunneling time in the Landau-Zener model. This definition allows us to compute numerically the Landau-Zener tunneling time at any sweeping rate without ambiguity. We have also obtained analytical results in both the adiabatic limit and the sudden limit. Whenever applicable, our results are compared to previous results and they are in good agreement.Comment: 7pages, 9 figure

Probability distribution of arrival times in quantum mechanics

In a previous paper [V. Delgado and J. G. Muga, Phys. Rev. A 56, 3425 (1997)] we introduced a self-adjoint operator $\hat {{\cal T}}(X)$ whose eigenstates can be used to define consistently a probability distribution of the time of arrival at a given spatial point. In the present work we show that the probability distribution previously proposed can be well understood on classical grounds in the sense that it is given by the expectation value of a certain positive definite operator $\hat J^{(+)}(X)$ which is nothing but a straightforward quantum version of the modulus of the classical current. For quantum states highly localized in momentum space about a certain momentum $p_0 \neq 0$, the expectation value of $\hat J^{(+)}(X)$ becomes indistinguishable from the quantum probability current. This fact may provide a justification for the common practice of using the latter quantity as a probability distribution of arrival times.Comment: 21 pages, LaTeX, no figures; A Note added; To be published in Phys. Rev.

The effects of changes in the referential problem space of infants and toddlers (homo sapiens): implications for cross-species comparisons

Recent reviews have highlighted the tendency in the comparative literature to make claims about species’ relative evolutionarily adaptive histories based on studies comparing different species tested with procedurally and methodologically different protocols. One particularly contentious area is the use of the Object Choice Task (OCT), used to measure an individual’s ability to use referential cues, which is a core attribute of joint attention. We tested human children with versions of the OCT that have been previously used with dogs and nonhuman primates to see if manipulating the set-up would lead to behavioral changes. In Study 1, we compared the responses of 18-month-olds and 36-month-olds when tested with and without a barrier. The presence of a barrier between the child and the reward did not suppress performance but did elicit more communicative behavior. Moreover, the barrier had a greater facilitating effect on the younger children, who displayed more communicative behavior in comparison with older children, who more frequently reached through the barrier in acts of direct prehension. In Study 2, we compared the behavior of 36-month-olds when the reward was within reaching distance (proximal) and when it was out of reach (distal). The children used index-finger points significantly more in the distal condition and grabbed more in the proximal condition, showing that they were making spatial judgements about the accessibility of the reward rather than just grabbing per se. We discuss the implications of these within-species differences in behavioral responses for cross-species comparisons

The plight of the sense-making ape

This is a selective review of the published literature on object-choice tasks, where participants use directional cues to find hidden objects. This literature comprises the efforts of researchers to make sense of the sense-making capacities of our nearest living relatives. This chapter is written to highlight some nonsensical conclusions that frequently emerge from this research. The data suggest that when apes are given approximately the same sense-making opportunities as we provide our children, then they will easily make sense of our social signals. The ubiquity of nonsensical contemporary scientific claims to the effect that humans are essentially--or inherently--more capable than other great apes in the understanding of simple directional cues is, itself, a testament to the power of preconceived ideas on human perception

Specification and verification challenges for sequential object-oriented programs

The state of knowledge in how to specify sequential programs in object-oriented languages such as Java and C# and the state of the art in automated verification tools for such programs have made measurable progress in the last several years. This paper describes several remaining challenges and approaches to their solution

Specifying Reusable Components

Reusable software components need expressive specifications. This paper outlines a rigorous foundation to model-based contracts, a method to equip classes with strong contracts that support accurate design, implementation, and formal verification of reusable components. Model-based contracts conservatively extend the classic Design by Contract with a notion of model, which underpins the precise definitions of such concepts as abstract equivalence and specification completeness. Experiments applying model-based contracts to libraries of data structures suggest that the method enables accurate specification of practical software