An approach to distributed execution of Ada programs

Intelligent control of the Space Station will require the coordinated execution of computer programs across a substantial number of computing elements. It will be important to develop large subsets of these programs in the form of a single program which executes in a distributed fashion across a number of processors. A translation strategy for distributed execution of Ada programs in which library packages and subprograms may be distributed is described. A preliminary version of the translator is operational. Simple data objects (no records or arrays as yet), subprograms, and static tasks may be referenced remotely

Software for integrated manufacturing systems, part 2

Part 1 presented an overview of the unified approach to manufacturing software. The specific characteristics of the approach that allow it to realize the goals of reduced cost, increased reliability and increased flexibility are considered. Why the blending of a components view, distributed languages, generics and formal models is important, why each individual part of this approach is essential, and why each component will typically have each of these parts are examined. An example of a specification for a real material handling system is presented using the approach and compared with the standard interface specification given by the manufacturer. Use of the component in a distributed manufacturing system is then compared with use of the traditional specification with a more traditional approach to designing the system. An overview is also provided of the underlying mechanisms used for implementing distributed manufacturing systems using the unified software/hardware component approach

Software for integrated manufacturing systems, part 1

For several years, a broad, unified approach to programming manufacturing cells, factory floors, and other manufacturing systems has been developed. It is based on a blending of distributed Ada, software components, generics and formal models. Among other things the machines and devices which make up the components, and the entire manufacturing cell is viewed as an assembly of software components. The purpose of this project is to reduce cost, increase the reliability and increase the flexibility of manufacturing software. An overview is given of the approach and an experimental generic factory floor controller that was developed using the approach is described. The controller is generic in the sense that it can control any one of a large class of factory floors making an arbitrary mix of parts

Passing the California High School Exit Exam: Have Recent Policies Improved Student Performance?

This report evaluates the effectiveness of three support services in helping struggling students pass the California High School Exit Examination (CAHSEE). The report highlights the need to help students before they first take the exam in grade 10 and introduces the CAHSEE Early Warning Model, a forecasting tool to identify at-risk students in earlier grades

Tele-autonomous control involving contacts: The applications of a high precision laser line range sensor

The object localization algorithm based on line-segment matching is presented. The method is very simple and computationally fast. In most cases, closed-form formulas are used to derive the solution. The method is also quite flexible, because only few surfaces (one or two) need to be accessed (sensed) to gather necessary range data. For example, if the line-segments are extracted from boundaries of a planar surface, only parameters of one surface and two of its boundaries need to be extracted, as compared with traditional point-surface matching or line-surface matching algorithms which need to access at least three surfaces in order to locate a planar object. Therefore, this method is especially suitable for applications when an object is surrounded by many other work pieces and most of the object is very difficult, is not impossible, to be measured; or when not all parts of the object can be reached. The theoretical ground on how to use line range sensor to located an object was laid. Much work has to be done in order to be really useful

Optical diode based on the chirality of guided photons

Photons are nonchiral particles: their handedness can be both left and right. However, when light is transversely confined, it can locally exhibit a transverse spin whose orientation is fixed by the propagation direction of the photons. Confined photons thus have chiral character. Here, we employ this to demonstrate nonreciprocal transmission of light at the single-photon level through a silica nanofibre in two experimental schemes. We either use an ensemble of spin-polarised atoms that is weakly coupled to the nanofibre-guided mode or a single spin-polarised atom strongly coupled to the nanofibre via a whispering-gallery-mode resonator. We simultaneously achieve high optical isolation and high forward transmission. Both are controlled by the internal atomic state. The resulting optical diode is the first example of a new class of nonreciprocal nanophotonic devices which exploit the chirality of confined photons and which are, in principle, suitable for quantum information processing and future quantum optical networks

Distributed and parallel Ada and the Ada 9X recommendations

Recently, the DoD has sponsored work towards a new version of Ada, intended to support the construction of distributed systems. The revised version, often called Ada 9X, will become the new standard sometimes in the 1990s. It is intended that Ada 9X should provide language features giving limited support for distributed system construction. The requirements for such features are given. Many of the most advanced computer applications involve embedded systems that are comprised of parallel processors or networks of distributed computers. If Ada is to become the widely adopted language envisioned by many, it is essential that suitable compilers and tools be available to facilitate the creation of distributed and parallel Ada programs for these applications. The major languages issues impacting distributed and parallel programming are reviewed, and some principles upon which distributed/parallel language systems should be built are suggested. Based upon these, alternative language concepts for distributed/parallel programming are analyzed

High Resolution Triple Axis X-Ray Diffraction Analysis of II-VI Semiconductor Crystals

The objective of this research program is to develop methods of structural analysis based on high resolution triple axis X-ray diffractometry (HRTXD) and to carry out detailed studies of defect distributions in crystals grown in both microgravity and ground-based environments. HRTXD represents a modification of the widely used double axis X-ray rocking curve method for the characterization of grown-in defects in nearly perfect crystals. In a double axis rocking curve experiment, the sample is illuminated by a monochromatic X-ray beam and the diffracted intensity is recorded by a fixed, wide-open detector. The intensity diffracted by the sample is then monitored as the sample is rotated through the Bragg reflection condition. The breadth of the peak, which is often reported as the full angular width at half the maximum intensity (FWHM), is used as an indicator of the amount of defects in the sample. This work has shown that high resolution triple axis X-ray diffraction is an effective tool for characterizing the defect structure in semiconductor crystals, particularly at high defect densities. Additionally, the technique is complimentary to X-ray topography for defect characterization in crystals

Emergence of a measurement basis in atom-photon scattering

The process of quantum measurement has been a long standing source of debate. A measurement is postulated to collapse a wavefunction onto one of the states of a predetermined set - the measurement basis. This basis origin is not specified within quantum mechanics. According to the theory of decohernce, a measurement basis is singled out by the nature of coupling of a quantum system to its environment. Here we show how a measurement basis emerges in the evolution of the electronic spin of a single trapped atomic ion due to spontaneous photon scattering. Using quantum process tomography we visualize the projection of all spin directions, onto this basis, as a photon is scattered. These basis spin states are found to be aligned with the scattered photon propagation direction. In accordance with decohernce theory, they are subjected to a minimal increase in entropy due to the photon scattering, while, orthogonal states become fully mixed and their entropy is maximally increased. Moreover, we show that detection of the scattered photon polarization measures the spin state of the ion, in the emerging basis, with high fidelity. Lastly, we show that while photon scattering entangles all superpositions of pointer states with the scattered photon polarization, the measurement-basis states themselves remain classically correlated with it. Our findings show that photon scattering by atomic spin superpositions fulfils all the requirements from a quantum measurement process