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.
We present detailed studies of the enhanced coercivity of exchange-bias bilayer Fe/MnPd, both experimentally and theoretically. We have demonstrated that the existence of large higher-order anisotropies due to exchange coupling between different Fe and MnPd layers can account for the large increase of coercivity in Fe/MnPd system. The linear dependence of coercivity on inverse Fe thickness are well explained by a phenomenological model by introducing higher-order anisotropy terms into the total free energy of the system.
This paper discusses the benefits and drawbacks of caching and replication strategies in the WWW with respect to the Internet infrastructure. Bandwidth consumption, latency, and overall error rates are considered to be most important from a network point of view. The dependencies of these values with input parameters like degree of replication, document popularity, actual cache hit rates, and error rates are highlighted. In order to determine the influence of different caching and replication strategies on the behavior of a single proxy server with respect to these values, trace-based simulations are used. Since the overall effects of such strate- gies can hardly be decided with this approach alone, a mathematical model has been developed to deal with their influence on the network as a whole. Together, this two-tiered approach permits us to propose quantita- tive assessments on the influence different caching and replication proposals (are going to) have on the Inter- net infrastructure.
We report on the exchange bias effect as a function of the in-plane direction of the applied field in two-fold symmetric, epitaxial Ni80Fe20/Fe50Mn50 bilayers grown on Cu(110) single crystal substrates. An enhancement of the exchange bias field, Heb, up to a factor of two is observed if the external field is nearly, but not fully aligned perpendicular to the symmetry direction of the exchange bias field. From the measurement of the ex-change bias field as a function of the in-plane angle of the applied field, the unidirectional, uniaxial and four-fold anisotropy contributions are determined with high precision. The symmetry direction of the unidirec-tional anisotropy switches with increasing NiFe thickness from  to .