Display system software for the integration of an ADAGE 3000 programmable display generator into the solid modeling package C.A.D. software

A software system that integrates an ADAGE 3000 Programmable Display Generator into a C.A.D. software package known as the Solid Modeling Program is described. The Solid Modeling Program (SMP) is an interactive program that is used to model complex solid object through the composition of primitive geomeentities. In addition, SMP provides extensive facilities for model editing and display. The ADAGE 3000 Programmable Display Generator (PDG) is a color, raster scan, programmable display generator with a 32-bit bit-slice, bipolar microprocessor (BPS). The modularity of the system architecture and the width and speed of the system bus allow for additional co-processors in the system. These co-processors combine to provide efficient operations on and rendering of graphics entities. The resulting software system takes advantage of the graphics capabilities of the PDG in the operation of SMP by distributing its processing modules between the host and the PDG. Initially, the target host computer was a PRIME 850, which was later substituted with a VAX-11/785. Two versions of the software system were developed, a phase 1 and a phase 2. In phase 1, the ADAGE 3000 is used as a frame buffer. In phase II, SMP was functionally partitioned and some of its functions were implemented in the ADAGE 3000 by means of ADAGE's SOLID 3000 software package

Space Station Spartan study

The required extension, enhancement, and upgrading of the present Spartan concept are described to conduct operations from the space station using the station's unique facilities and operational features. The space station Spartan (3S), the free flyer will be deployed from and returned to the space station and will conduct scientific missions of much longer duration than possible with the current Spartan. The potential benefits of a space station Spartan are enumerated. The objectives of the study are: (1) to develop a credible concept for a space station Spartan; and (2) to determine the associated requirements and interfaces with the space station to help ensure that the 3S can be properly accommodated

Universal and unique features of kinesin motors: Insights from a comparison of fungal and animal conventional kinesins

Kinesins are microtubule motors that use the energy derived from the hydrolysis of ATP to move unidirectionally along microtubules, The founding member of this still growing superfamily is conventional kinesin, a dimeric motor that moves processively towards the plus end of microtubules, Within the family of conventional kinesins, two groups can be distinguished to date, one derived from animal species, and one originating from filamentous fungi. So far no conventional kinesin has been reported from plant cells. Fungal and animal conventional kinesins differ in several respects, both in terms of their primary sequence and their physiological properties. Thus all fungal conventional kinesins move at velocities that are 4-5 times higher than those of animal conventional kinesins, and all of them appear to lack associated light chains. Both groups of motors are characterized by a number of group-specific sequence features which are considered here with respect to their functional importance. Animal and fungal conventional kinesins also share a number of sequence characteristics which point to common principles of motor function. The overall domain organization is remarkably similar. A C-terminal sequence motif common to all kinesins, which constitutes the only region of high homology outside the motor domain, suggests common principles of cargo association in both groups of motors. Consideration of the differences of, and similarities between, fungal and animal kinesins offers novel possibilities for experimentation (e.g., by constructing chimeras) that can be expected to contribute to our understanding of motor function

Console test report for shuttle task 501 shuttle carrier aircraft transceiver console (SED 36115353-301)

Performance tests completed on the Space Shuttle Carrier Aircraft (SCA) transceiver console, verifying its design objectives, were described. These tests included: (1) check of power supply voltages for correct output voltage and energization at the proper point in the turn on sequence, (2) check of cooling system (LRU blower, overload sensors and circuitry, and thermocouple probe), (3) check of control circuits logic, including the provisions for remote control and display, (4) check of the LRU connector for presence of correct voltages and absence of incorrect voltages under both energized and deenergized conditions, and (5) check of the AGC and power output monitor circuits

Introduction to Categories and Categorical Logic

The aim of these notes is to provide a succinct, accessible introduction to some of the basic ideas of category theory and categorical logic. The notes are based on a lecture course given at Oxford over the past few years. They contain numerous exercises, and hopefully will prove useful for self-study by those seeking a first introduction to the subject, with fairly minimal prerequisites. The coverage is by no means comprehensive, but should provide a good basis for further study; a guide to further reading is included. The main prerequisite is a basic familiarity with the elements of discrete mathematics: sets, relations and functions. An Appendix contains a summary of what we will need, and it may be useful to review this first. In addition, some prior exposure to abstract algebra - vector spaces and linear maps, or groups and group homomorphisms - would be helpful.Comment: 96 page

Ultracold, radiative charge transfer in hybrid Yb ion - Rb atom traps

Ultracold hybrid ion-atom traps offer the possibility of microscopic manipulation of quantum coherences in the gas using the ion as a probe. However, inelastic processes, particularly charge transfer can be a significant process of ion loss and has been measured experimentally for the Yb$^{+}$ ion immersed in a Rb vapour. We use first-principles quantum chemistry codes to obtain the potential energy curves and dipole moments for the lowest-lying energy states of this complex. Calculations for the radiative decay processes cross sections and rate coefficients are presented for the total decay processes. Comparing the semi-classical Langevin approximation with the quantum approach, we find it provides a very good estimate of the background at higher energies. The results demonstrate that radiative decay mechanisms are important over the energy and temperature region considered. In fact, the Langevin process of ion-atom collisions dominates cold ion-atom collisions. For spin dependent processes \cite{kohl13} the anisotropic magnetic dipole-dipole interaction and the second-order spin-orbit coupling can play important roles, inducing couplingbetween the spin and the orbital motion. They measured the spin-relaxing collision rate to be approximately 5 orders of magnitude higher than the charge-exchange collision rate \cite{kohl13}. Regarding the measured radiative charge transfer collision rate, we find that our calculation is in very good agreement with experiment and with previous calculations. Nonetheless, we find no broad resonances features that might underly a strong isotope effect. In conclusion, we find, in agreement with previous theory that the isotope anomaly observed in experiment remains an open question.Comment: 7 figures, 1 table accepted for publication in J. Phys. B: At. Mol. Opt. Phys. arXiv admin note: text overlap with arXiv:1107.114

Endomorphisms and automorphisms of locally covariant quantum field theories

In the framework of locally covariant quantum field theory, a theory is described as a functor from a category of spacetimes to a category of *-algebras. It is proposed that the global gauge group of such a theory can be identified as the group of automorphisms of the defining functor. Consequently, multiplets of fields may be identified at the functorial level. It is shown that locally covariant theories that obey standard assumptions in Minkowski space, including energy compactness, have no proper endomorphisms (i.e., all endomorphisms are automorphisms) and have a compact automorphism group. Further, it is shown how the endomorphisms and automorphisms of a locally covariant theory may, in principle, be classified in any single spacetime. As an example, the endomorphisms and automorphisms of a system of finitely many free scalar fields are completely classified.Comment: v2 45pp, expanded to include additional results; presentation improved and an error corrected. To appear in Rev Math Phy

Observations of the Io plasma torus

The short wavelength spectrography on the IUE satellite was used to obtain spectra of the plasma torus near the orbit of Io about Jupiter. Three exposures of about 8 hours each taken in March and May 1979 show emission features due to SII, SIII, and OIII. The absence of features at other wavelengths permits upper limits to be other species in the torus

Observations of polar aurora on Jupiter

North-south spatial maps of Jupiter were obtained with the SWP camera in IUE observations of 10 December 1978, 19 May 1979, and 7 June 1979. Bright auroral emissions were detected from the north and south polar regions at H Ly alpha (1216 A) and in the H2 Lyman bands (1250-1608 A) on 19 May 1979; yet no enhanced polar emission was detected on the other days. The relationship between the IUE observing geometry and the geometry of the Jovian magnetosphere is discussed

An acoustical study of the KIWI B nuclear rocket

Kiwi B nuclear rocket acoustics - sound pressure distribution, energy conversion, and power distributio