A general concept for combining planning with automatic theorem provingis introduced. From this a system architecture based on the notion of planningtrees, methods and sensors is developed. It is illustrated by examples taken fromthe domain of sorting algorithms.
Die zunehmende Zerstörung der Natur durch die Auswirkungen von Produktion und Konsum, die steigende Sensibilität der Bevölkerung für ökologische Themen sowie eine verschärfte Umweltgesetzgebung führen im Management der Unternehmen zu einem stärkeren Umwelt bewußtsein. Dabei wird immer häufiger versucht, den Belangen der Umwelt durch die Inte gration ökologischer Aspekte in die Unternehmenspolitik Rechnung zu tragen. Das Ziel eines derartigen betrieblichen Umweltmanagements ist es, umweltrelevante Schwachstellen des Unternehmens zu erkennen, um Ansatzpunkte für eine Verbesserung der ökolo gischen Situation zu erhalten und diese umzusetzen.
The asymptotic analysis of IBVPs for the singularly perturbed parabolic PDE ... in the limit epsilon to zero motivate investigations of certain recursively defined approximative series ("ping-pong expansions"). The recursion formulae rely on operators assigning to a boundary condition at the left or the right boundary a solution of the parabolic PDE. Sufficient conditions for uniform convergence of ping-pong expansions are derived and a detailed analysis for the model problem ... is given.
The first observation of self-focusing of dipolar spin waves in garnet film media is reported. In particular, we show that the quasi-stationary diraction of a nite-aperture spin wave beam in a focusing medium leads to the concentration of the wave power in one focal point rather than along a certain line(channel). The obtained results demonstrate the wide applicability of nonlinear spin wave media to study nonlinear wave phenomena using an advanced combined microwave-Brillouin light scattering technique for a two-dimensional mapping ofthe spin wave amplitudes.
An experimental study of spin wave quantization in arrays of micron size magnetic Ni80Fe20 wires by means of Brillouin light scattering spectroscopy is reported. Dipolar-dominated Damon-Eshbach spin wave modes laterally quantized in a single wire with quantized wavevector values determined by the width of the wire are studied. The frequency splitting between quantized modes, which decreases with increasing mode number, depends on the wire sizes and is up to 1.5 GHz. The transferred wavevector interval, where each mode is observed, is calculated using a light scattering theory for confined geometries. The frequen-cies of the modes are calculated, taking into account finite size effects. The results of the calculations are in a good agreement with the experimental data.
Head-on collisions between two-dimensional self-focused spin wave packets and between quasi-one-dimensional spin wave envelope solitons have been directly observed for the first time in yttrium-iron garnet (YIG) films by means of a space- and time-resolved Brillouin light scattering technique. We show that quasi-one-dimensional envelope solitons formed in narrow film strips ("waveguides") retain their shapes after collision, while the two-dimensional self-focused spin wave packets formed in wide YIG films are destroyed in collision.
High frequency switching of single domain, uniaxial magnetic particles is discussed in terms of transition rates controlled by a small transverse bias field. It is shown that fast switching times can be achieved using bias fields an order of magnitude smaller than the effective anisotropy field. Analytical expressions for the switching time are derived in special cases and general configurations of practical interest are examined using numerical simulations.