Progress in compilation of the 1:2,000,000-scale topographic map

The application of special photogrammetric techniques has enabled the systematic mapping of Mars' topography at a scale of 1:2,000,000, using high-altitude Viking Orbiter pictures. In fiscal 86, compilation was completed of the 24 subquadrangles that make up the quadrangles MC-12, MC-13, MC-14, MC-15, MC-20, and MC-21. This work completes compilation of the 60 topographic maps covering the equatorial belt (lat. + or - 30 deg). The remaining 80 subquadrangles of Mars are planned to be completed within 3 years (27, 27 and 26 subquadrangles, in fiscal 87, 88, and 89, respectively). Elevations on all topographic maps are relative to the Mars topographic datum. The maps have a contour interval of 1 km and a precision of + or - 1 km. The equatorial-belt maps are Mercator projections having true scale at lat. + or - 27.476 deg. These maps provide more precise information than do those previously available and they will help in understanding the geologic processes that have shaped the Martian surface

A compilation system for Venus radar mission (Magellan)

A synthetic aperture radar (SAR) compilation system was developed for extraction of topographic information of Venus from stereoradar imagery to be obtained from the Magellan mission. The system was developed for an AS-11AM analytical stereoplotter. Extensive tests were made on this compilation software by using stereo images from various radar systems, both spaceborne and airborne. Maps were compiled and the precision of planimetry and contour measurement was evaluated. Digital data of some models were also collected for processing orthophoto or perspective views by using the original radar images

High resolution Ge/Li/ spectrometer reduces rate-dependent distortions at high counting rates

Modified spectrometer system with a low-noise preamplifier reduces rate-dependent distortions at high counting rates, 25,000 counts per second. Pole-zero cancellation minimizes pulse undershoots due to multiple time constants, baseline restoration improves resolution and prevents spectral shifts

Temperature behavior of the magnon modes of the square lattice antiferromagnet

A spin-wave theory of short-range order in the square lattice Heisenberg antiferromagnet is formulated. With growing temperature from T=0 a gapless mode is shown to arise simultaneously with opening a gap in the conventional spin-wave mode. The spectral intensity is redistributed from the latter mode to the former. For low temperatures the theory reproduces results of the modified spin-wave theory by M.Takahashi, J.E.Hirsch et al. and without fitting parameters gives values of observables in good agreement with Monte Carlo results in the temperature range 0 <= T < 0.8J where J is the exchange constant.Comment: 12 pages, 2 figure

Pupillometry, a bioengineering overview

The pupillary control system is examined using a microprocessor based integrative pupillometer. The real time software functions of the microprocessor include: data collection, stimulus generation and area to diameter conversion. Results of an analysis of linear and nonlinear phenomena are presented

One-loop approximation for the Heisenberg antiferromagnet

We use the diagram technique for spin operators to calculate Green's functions and observables of the spin-1/2 quantum Heisenberg antiferromagnet on a square lattice. The first corrections to the self-energy and interaction are taken into account in the chain diagrams. The approximation reproduces main results of Takahashi's modified spin-wave theory [Phys. Rev. B 40, 2494 (1989)] and is applicable in a wider temperature range. The energy per spin calculated in this approximation is in good agreement with the Monte Carlo and small-cluster exact-diagonalization calculations in the range 0 <= T < 1.2J where J is the exchange constant. For the static uniform susceptibility the agreement is good for T < 0.6J and becomes somewhat worse for higher temperatures. Nevertheless the approximation is able to reproduce the maximum in the temperature dependence of the susceptibility near T = 0.9J.Comment: 15 pages, 6 ps figure

"Boring formal methods" or "Sherlock Holmes deduction methods"?

This paper provides an overview of common challenges in teaching of logic and formal methods to Computer Science and IT students. We discuss our experiences from the course IN3050: Applied Logic in Engineering, introduced as a "logic for everybody" elective course at at TU Munich, Germany, to engage pupils studying Computer Science, IT and engineering subjects on Bachelor and Master levels. Our goal was to overcome the bias that logic and formal methods are not only very complicated but also very boring to study and to apply. In this paper, we present the core structure of the course, provide examples of exercises and evaluate the course based on the students' surveys.Comment: Preprint. Accepted to the Software Technologies: Applications and Foundations (STAF 2016). Final version published by Springer International Publishing AG. arXiv admin note: substantial text overlap with arXiv:1602.0517

Spin dephasing and pumping in graphene due to random spin-orbit interaction

We consider spin effects related to the random spin-orbit interaction in graphene. Such a random interaction can result from the presence of ripples and/or other inhomogeneities at the graphene surface. We show that the random spin-orbit interaction generally reduces the spin dephasing (relaxation) time, even if the interaction vanishes on average. Moreover, the random spin-orbit coupling also allows for spin manipulation with an external electric field. Due to the spin-flip interband as well as intraband optical transitions, the spin density can be effectively generated by periodic electric field in a relatively broad range of frequencies.Comment: 9 pages, 7 figure

Report of Data Analyses to the Georgia Commission on the Efficacy of the CON Program

A highlight of presentations and discussions during the Philanthropic Symposium on School Health held October 16, 2000 in Atlanta, GA.Community and Public Healt