Scattering loss in Nd-doped silica based optical fibers

Rare-earth doped fibers suffer from relatively high attenuation in comparison to conventional communication fibers. In order to improve the properties of such fibers, understanding of the mechanisms involved in scattering effects is of great importance. The effect of Nd-doping, Al-codoping and of the drawing temperature on the scattering effect was investigated for several different optical fibers. To this end a measuring setup was realized which allows absolute measurements of the scattering coefficient at different positions along a fiber. Also separation of total attenuation and scattering effects is possible. The presented results indicate scattering effects as primary source for increased attenuation compared with undoped fibers.     

Lidar calibration experiments

A series of atmospheric aerosol diffusion experiments combined with lidar detection was conducted to evaluate and calibrate an existing retrieval algorithm for aerosol backscatter lidar systems. The calibration experiments made use of two (almost) identical mini-lidar systems for aerosol cloud detection to test the reproducibility and uncertainty of lidars. Lidar data were obtained from both single-ended and double-ended lidar configurations. A backstop was introduced in one of the experiments and a new method was developed where information obtained from the backstop can be used in the inversion algorithm. Independent in-situ aerosol plume concentrations were obtained from a simultaneous tracer gas experiment with SF, and comparisons with the two lidars were made. The study shows that the reproducibility of the lidars is within 15%, including measurements from both sides of a plume. The correspondence with in-situ measurements is excellent. Finally, the new backstop method is able to reveal information which can close the lidar equation by obtaining the relation between backscatter and extinction in an aerosol cloud. Received: 21 December 1995 / Revised version: 25 July 1996     

Categorical principles,techniques and results for high-level-replacement systems in computer science

The aim of this paper is to give an introduction how to use categorical methods in a specific field of computer science: The field of high-level-replacement systems has its roots in the well-established theories of formal languages, term rewriting, Petri nets, and graph grammars playing a fundamental role in computer science. More precisely, it is a generalization of the algebraic approach to graph grammars which is based on gluing constructions for graphs defined as pushouts in the category of graphs. The categorical theory of high-level-replacement systems is suitable for the dynamic handling of a large variety of high-level structures in computer science including different kinds of graphs and algebraic specifications. In this paper we discuss the basic principles and techniques from category theory applied in the field of high-level-replacement systems and present some basic results together with the corresponding categorical proof techniques.