Verification and validation of autonomous systems

NASA is working on complex future missions that require cooperation between multiple satellites or rovers. To implement these systems, developers are proposing and using intelligent and autonomous systems. These autonomous missions are new to NASA, and the software development community is just learning to develop such systems. With these new systems, new verification and validation techniques must be used. Current techniques have been developed based on large monolithic systems. These techniques have worked well and reliably, but do not translate to the new autonomous systems that are highly parallel and nondeterministic.

Polarization vision and its role in biological signaling

Visual pigments, the molecules in photoreceptors that initiate the process of vision, are inherently dichroic, differentially absorbing light according to its axis of polarization. Many animals have taken advantage of this property to build receptor systems capable of analyzing the polarization of incoming light, as polarized light is abundant in natural scenes (commonly being produced by scattering or reflection). Such polarization sensitivity has long been associated with behavioral tasks like orientation or navigation. However, only recently have we become aware that it can be incorporated into a high-level visual perception akin to color vision, permitting segmentation of a viewed scene into regions that differ in their polarization. By analogy to color vision, we call this capacity polarization vision. It is apparently used for tasks like those that color vision specializes in: contrast enhancement, camouflage breaking, object recognition, and signal detection and discrimination. While color is very useful in terrestrial or shallow-water environments, it is an unreliable cue deeper in water due to the spectral modification of light as it travels through water of various depths or of varying optical quality. Here, polarization vision has special utility and consequently has evolved in numerous marine species, as well as at least one terrestrial animal. In this review, we consider recent findings concerning polarization vision and its significance in biological signaling.

A formal framework for modelling and analysing mobile systems

This paper presents a formal framework for modelling and analysing mobile systems. The framework comprises a collection of models of the dominant design paradigms which are readily extended to incorporate details of particular technologies, i.e., programming languages and their run-time support, and applications. The modelling language is Object-Z, an extension of the well-known Z specification language with explicit support for object-oriented concepts. Its support for object orientation makes Object-Z particularly suited to our task. The system structuring techniques offered by object-orientation are well suited to modelling mobile systems. In addition, inheritance and polymorphism allow us to exploit commonalities in mobile systems by defining more complex models in terms of simpler ones.

Increased apoptosis of T lymphocytes and macrophages in the central and peripheral nervous systems of Lewis rats with experimental autoimmune encephalomyelitis treated with dexamethasone

Using light and electron microscopic histological and immunocytochemical techniques, we investigated the effects of the glucocorticoid dexamethasone on T cell and macrophage apoptosis in the central nervous system (CNS) and peripheral nervous system (PNS) of Lewis rats with acute experimental autoimmune encephalomyelitis (EAE) induced with myelin basic protein (MBP). A single subcutaneous injection of dexamethasone markedly augmented T cell and macrophage apoptosis in the CNS and PNS and microglial apoptosis in the CNS within 6 hours (h). Pre-embedding immunolabeling revealed that dexamethasone increased the number of apoptotic CD5+ cells (T cells or activated B cells), αβ T cells, and CD11b+ cells (macrophages/microglia) in the meninges, perivascular spaces, and CNS parenchyma. The induction of increased apoptosis was dose-dependent. Daily dexamethasone treatment suppressed the neurological signs of EAE. However, the daily injection of a dose of dexamethasone (0.25 mg/kg). which, after a single dose, did not induce increased apoptosis in the CNS or PNS, was as effective in inhibiting the neurological signs of EAE as the high dose (4 mg/kg), which induced a marked increase in apoptosis. This indicates that the beneficial clinical effect of glucocorticoid therapy in EAE does not depend on the induction of increased apoptosis. The daily administration of dexamethasone for 5 days induced a relapse that commenced 5 days after cessation of treatment, with the severity of the relapse tending to increase with dexamethasone dosage.

Numerical modelling of single-layer folding: clarification of an issue regarding the possible effect of computer codes and the influence of initial irregularities

The influence of initial perturbation geometry and material propel-ties on final fold geometry has been investigated using finite-difference (FLAC) and finite-element (MARC) numerical models. Previous studies using these two different codes reported very different folding behaviour although the material properties, boundary conditions and initial perturbation geometries were similar. The current results establish that the discrepancy was not due to the different computer codes but due to the different strain rates employed in the two previous studies (i.e. 10(-6) s(-1) in the FLAC models and 10(-14) s(-1) in the MARC models). As a result, different parts of the elasto-viscous rheological field were bring investigated. For the same material properties, strain rate and boundary conditions, the present results using the two different codes are consistent. A transition in Folding behaviour, from a situation where the geometry of initial perturbation determines final fold shape to a situation where material properties control the final geometry, is produced using both models. This transition takes place with increasing strain rate, decreasing elastic moduli or increasing viscosity (reflecting in each case the increasing influence of the elastic component in the Maxwell elastoviscous rheology). The transition described here is mechanically feasible but is associated with very high stresses in the competent layer (on the order of GPa), which is improbable under natural conditions. (C) 2000 Elsevier Science Ltd. All rights reserved.

The expression of conflict in computer-mediated and face-to-face groups

This study integrated the research streams of computer-mediated communication (CMC) and group conflict by comparing the expression of different types of conflict in CMC groups and face-to face (FTF) groups over time. The main aim of the study was to compare the cues-filtered-out approach against the social information processing theory A laboratory study was conducted with 39 groups (19 CMC and 20 FTF) in which members were required to work together over three sessions. The frequencies of task, process, and relationship conflict were analyzed. Findings supported the social information processing theory. There was more process and relationship conflict in CMC groups compared to FTF groups on Day 1. However, this difference disappeared on Days 2 and 3. There was no difference between CMC and FTF groups in the amount of task conflict expressed on any day.

Development of a quasi-chemical viscosity model for fully liquid slags in the Al2O3-CaO-'FeO'-MgO-SiO2 system. Part 3. Summary of the model predictions for the Al2O3-CaO-MgO-SiO2 system and its sub-systems

A structurally-based quasi-chemical viscosity model for fully liquid slags in the Al2O3 CaO-'FeO'-MgOSiO2 system has been developed. The focus of the work described in the present paper is the analysis of the experimental data and viscosity models in the quaternary system Al2O3 CaO-MgO-SiO2 and its subsystems. A review of the experimental data, viscometry methods used and viscosity models available in the Al2O3 CaO-MgO-SiO2 and its sub-systems is reported. The quasi-chemical viscosity model is shown to provide good agreement between experimental data and predictions over the whole compositional range.