Zugl.: Ilmenau, Techn. Univ., Diss., 2008

Univ., Diss.--Hamburg, 2002. / Literaturverz. S. 283 - 323.

Thesis (doctoral)--Universität zu Köln, 2003. / Includes bibliographical references (p. 553-603).

Im Projekt TransBS wurden existierende, über viele Jahre gewachsene Softwaresysteme zur Realisierung von Geschäftsprozessen betrachtet, in denen Aspekte wie Verteiltheit, Anpassbarkeit an heterogene Plattformen oder Skalierbarkeit zunehmend Bedeutung erlangen. Die notwendigen Anpassungen der Systeme sind nur schwierig und mit erheblichem Aufwand zu realisieren, da sie eine vollständige Reorganisation erfordern. Deshalb wurde im Projekt eine Methodik entwickelt und prototypisch realisiert, die monolithische Legacy-Business-Softwaresysteme in eine komponentenbasierte, verteilte Client-Server-Architektur mit konfigurierbaren Workflows für heterogene Plattformen schrittweise überführt. Die entwickelten Werkzeuge zur Transformation wurden exemplarisch mit einem gegebenen Softwaresystem evaluiert und können für weitere Problemstellungen der Analyse und Transformation von Business-Software eingesetzt werden.

This thesis describes the development of a distributed occlusion culling solution for complex generic scenes. Moving these calculations onto a second computer should decrease the load on the actual rendering system and therefore allow higher framerates. This work includes an introduction to parallel rendering systems and discussion of suitable culling algorithms. Based on these parts, a client-server system for occlusion culling is developed. The test results of a prototypical implementation form the last part of this thesis.

In Buchausstellungen begegnen wir Texten, die auf Tonscherben, Papyrus, Pergament oder Papier geschrieben oder gedruckt sind. Die oft nicht sehr großen und nur ausnahmsweise farbigen Objekte werden uns in unterschiedlichen Zusammenhängen vorgeführt, je nach Ausstellungsthema. Kann man über Buchausstellungen und ihre Räume etwas sagen, auch unabhängig vom Thema einer Ausstellung? Die folgenden Überlegungen versuchen das, sowohl abstrakt wie konkret.

Im Rahmen der vorliegenden Arbeit konnte die Vielfalt der Anwendbarkeit eines Pseudowasser-Konzeptes für Silylcarbodiimide erneut aufgezeigt und darüber hinaus deutlich erweitert werden. So waren über Umsetzungen des Pseudowassers Bis(trimethylsilyl)carbodiimid (BTSC) mit Dichlorsiliciumverbindungen R2SiCl2 nicht die monomeren Zielverbindungen vom Typ R2Si(NCNSiMe3)2 zugänglich, da diese – in Analogie zu Silandiolen – unter Abspaltung von BTSC zu Pseudo-Polysiloxanen [R2Si-NCN-]n kondensieren. Aus einem der resultierenden komplexen Reaktionsgemische wurde das cyclische Oligomer [Ph2Si-NCN-]4 sowie durch verwandte Reaktionen das Oxo-Analogon [Ph2Si-O-SiPh2-NCN]2 in kristalliner Form erhalten. Umsetzungen von BTSC mit AlCl3 führten zu den neuartigen Pseudohydraten Me3SiNCN(SiMe3)(AlCl3) und Al[NCN(SiMe3)2]3[NCN(SiMe3)(AlCl3)]3, wobei in letzterem erstmals ein präparativer Nachweis für die Relevanz der Cyanamid-Form des BTSC ((Me3Si)2N-C≡N) erbracht werden konnte.

Dieser Beitrag beschreibt ein offenes Peer-Tutoring-Konzept, in dem studentische Tutoren die Betreuung von Studienanfängern im Kontext einer onlinebasierten Einführungsveranstaltung selbstorganisiert gestalten. Nach einem Überblick über Betreuungsbedarfe und alternative Betreuungsmodelle im Hochschulbereich werden konzeptionelle Grundlagen, Kontext, Ziele und Ausgestaltung des tutoriellen Betreuungsmodells vorgestellt. Auf Basis einer explorativen Analyse der Tutorentätigkeiten mit Hilfe eines Tagebuch-Verfahrens werden Implikationen für die Gestaltung offener Tutorenkonzepte diskutiert.

ALCNIR+—ALCN augmented with transitive and inverse roles—is an expressive Description Logic which is especially well-suited for the representation of complex, aggregated objects. Despite its expressiveness, it has been conjectured that concept satisfiability for this logic could be decided in a comparatively efficient way. In this paper we prove the correctness of this conjecture by presenting a PSPACE algorithm for deciding satisfiability and subsumption of ALCNIR+-concepts. The space-efficiency of this tableau-based algorithm is due to a sophisticated guidance of the search for a solution. Moreover, this space-efficiency is not paid for with time-consumption; on the contrary, the guidance technique leads to very early refutation. This algorithm will be the basis for an efficient implementation.

Aus der Einleitung: „In this paper, we reuse the representation formalism `description graph' in order to characterize subsumption of ALN-concepts. The description logic ALN allows for conjunction, valuerestrictions, number restrictions, and primitive negation. Since Classic allows for more constructors than ALN, e.g., equality restrictions an attribute chains by the constructor SAME-AS,we can confine the notion of description graphs from [BP94]. On the other hand, ALN explicitly allows for primitive negation which yields another possibility { besides conflicting number restrictions { to express inconsistency. Thus, we have to modify the notion of canonical description graphs in order to cope with inconsistent concepts in the structural characterization of subsumption. It turns out that the description graphs obtained from ALN-concepts are in fact trees. A canonical graph is a deterministic tree. The conditions required by the structural characterization of subsumption on these trees can be tested by an eficient algorithm, i.e., we obtain an algorithm deciding subsumption of C and D in time polynomial in the size of C and D. The report is structured as follows. In the preliminaries, we define syntax and semantics of the description logic ALN as well as the inference problem of subsumption. In Section 3, we introduce description graphs, the data structure our structural subsumption algorithm is working on. Besides syntax and semantics also an algorithm for translating ALN-concepts into description graphs is given. Thereafter, we present the main result of this report in Section 6, a characterization of subsumption of ALN-concepts by a structural comparison of corresponding description graphs. Furthermore, a structural subsumption algorithm can be found in Section 6.2. In the last section we summarize our results and give an outlook to further applications of structural subsumption in terminological knowledge representation systems.