Wilhelm Stoll – författare

This work offers a contribution in the geometric form of the theory of several complex variables. Since complex Grassmann manifolds serve as classifying spaces of complex vector bundles, the cohomology structure of a complex Grassmann manifold is of importance for the construction of Chern classes of complex vector bundles. The cohomology ring of a Grassmannian is therefore of interest in topology, differential geometry, algebraic geometry, and complex analysis. Wilhelm Stoll treats certain aspects of the complex analysis point of view. This work originated with questions in value distribution theory. Here analytic sets and differential forms rather than the corresponding homology and cohomology classes are considered. On the Grassmann manifold, the cohomology ring is isomorphic to the ring of differential forms invariant under the unitary group, and each cohomology class is determined by a family of analytic sets.

Mit der stark anwachsenden Anzahl heterogener Rechnernetze gewinnt der Test der eingesetzten Kommunikationssoftware bezüglich Konformität und Kompatibilität immer mehr an Bedeutung. Die im vorliegenden Buch vorgestellten Werkzeuge und Methoden bieten sowohl dem Anwender als auch dem Ersteller derartiger Kommunikationssoftware Möglichkeiten zum Test der eingesetzten bzw. in der Entwicklung stehenden Kommunikationssoftware. Zur Problematik des Testens von OSI-Protokollen werden in diesem Buch neuartige Methoden und Werkzeuge vorgestellt, die die automatische Testdurchführung und die automatische Generierung von Testdaten ermöglichen. Dem Leser wird ein umfassender Überblick über die Probleme des Protokolltestens und ihre Lösungsmöglichkeiten geboten. Die folgenden Werkzeuge und Methoden werden im Buch behandelt: - das Karlsruher Testsystem KATE, das die automatische Durchführung von OSI-Protokolltests ermöglicht, wobei Konformität, Kompatibilität, Robustheit und Zuverlässigkeit von OSI-Protokollimplementierungen der Schichten 3-7 getestet werden können. - das TRANS-CHECK-Verfahren, ein Automatenverfahren, das die automatische Generierung von Testdaten für den Konformitätstest erlaubt. Im Unterschied zu den anderen Automatenverfahren liefert das TRANS-CHECK-Verfahren wesentlich kürzere Testsequenzen, die hinsichtlich der Fehlererkennung dieselbe Mächtigkeit besitzen wie die durch ähnliche Verfahren erzeugten Testsequenzen. Die Beschreibung der Testszenarien erfolgt in der eigens hierfür entwickelten TEST CONTROL LANGUAGE, die an die speziellen Eigenschaften von KATE angepaßt ist.

Mit der stark anwachsenden Anzahl heterogener Rechnernetze gewinnt der Test der eingesetzten Kommunikationssoftware bezüglich Konformität und Kompatibilität immer mehr an Bedeutung. Die im vorliegenden Buch vorgestellten Werkzeuge und Methoden bieten sowohl dem Anwender als auch dem Ersteller derartiger Kommunikationssoftware Möglichkeiten zum Test der eingesetzten bzw. in der Entwicklung stehenden Kommunikationssoftware. Zur Problematik des Testens von OSI-Protokollen werden in diesem Buch neuartige Methoden und Werkzeuge vorgestellt, die die automatische Testdurchführung und die automatische Generierung von Testdaten ermöglichen. Dem Leser wird ein umfassender Überblick über die Probleme des Protokolltestens und ihre Lösungsmöglichkeiten geboten. Die folgenden Werkzeuge und Methoden werden im Buch behandelt: - das Karlsruher Testsystem KATE, das die automatische Durchführung von OSI-Protokolltests ermöglicht, wobei Konformität, Kompatibilität, Robustheit und Zuverlässigkeit von OSI-Protokollimplementierungen der Schichten 3-7 getestet werden können. - das TRANS-CHECK-Verfahren, ein Automatenverfahren, das die automatische Generierung von Testdaten für den Konformitätstest erlaubt. Im Unterschied zu den anderen Automatenverfahren liefert das TRANS-CHECK-Verfahren wesentlich kürzere Testsequenzen, die hinsichtlich der Fehlererkennung dieselbe Mächtigkeit besitzen wie die durch ähnliche Verfahren erzeugten Testsequenzen. Die Beschreibung der Testszenarien erfolgt in der eigens hierfür entwickelten TEST CONTROL LANGUAGE, die an die speziellen Eigenschaften von KATE angepaßt ist.

Value distribution theory studies the behavior of mermorphic maps. Let f: M - N be a merom orphic map between complex manifolds. A target family CI ~ (Ea1aEA of analytic subsets Ea of N is given where A is a connected. compact complex manifold. The behavior of the inverse 1 family ["''(CI) = (f- {E )laEA is investigated. A substantial theory has been a created by many contributors. Usually the targets Ea stay fixed. However we can consider a finite set IJ of meromorphic maps g : M - A and study the incidence f{z) E Eg(z) for z E M and some g E IJ. Here we investigate this situation: M is a parabolic manifold of dimension m and N = lP n is the n-dimensional projective space. The family of hyperplanes in lP n is the target family parameterized by the dual projective space lP* We obtain a Nevanlinna theory consisting of several n First Main Theorems. Second Main Theorems and Defect Relations and extend recent work by B. Shiffman and by S. Mori. We use the Ahlfors-Weyl theory modified by the curvature method of Cowen and Griffiths. The Introduction consists of two parts. In Part A. we sketch the theory for fixed targets to provide background for those who are familar with complex analysis but are not acquainted with value distribution theory.