Die für die Untersuchung des Ermüdungswiderstandes von Elastomerbauteilen verwendeten Formulierungen basieren häufig auf Modellen, die für Anwendungen in der Metalltechnik entwickelt wurden. Die damit verbundenen Eigenschaften wie Isotropie oder Elastizität stehen hingegen im Konflikt mit den Anforderungen, die zu der Wahl eines gefüllten Polymers als Werkstoff geführt haben. Gleichzeitig weisen technische Gummiwerkstoffe ein hochgradig nichtlineares Materialverhalten auf und zeigen vom Polymer und Füllstoffgrad abhängig eine unterschiedlich ausgeprägte belastungsinduzierte Anisotropie. Diese Umstände führen zu dem Bedarf, das Ermüdungsverhalten technischer Gummiwerkstoffe in Abhängigkeit der für Gummi typischen Eigenschaften intensiver zu untersuchen und neue Ansätze für die Auslegung der Lebensdauer von elastomeren Werkstoffen bereitzustellen. Im Rahmen der Arbeit wird eine Auswahl an unterschiedlichen Modellwerkstoffen auf polymerer Basis auf ihre Lebensdauereigenschaften hin analysiert. Den Schwerpunkt bilden hierbei modulierte Belastungsrichtungen, die über eine einfache Scherung mit rotierenden Achsen versuchstechnisch abgebildet werden. Anhand der Versuchsergebnisse werden neue Ansätze zur Vorhersage der Lebensdauer technischer Gummiwerkstoffe formuliert und mit bisherigen Ansätzen verglichen. Neben der Formulierung neuer Berechnungsvorschriften zur Bestimmung des Ermüdungswiderstandes polymerer Werkstoffe werden zudem die einfache Scherung mit rotierenden Achsen sowie das Versuchsprinzip zu deren Umsetzung eingehend untersucht. Dies umfasst auch eine Analyse einer mechanischen Charakterisierung technischer Gummiwerkstoffe anhand einer einfachen Scherung mit rotierenden Achsen.

Ausgehend von der Übergangsregelung des § 137l UrhG wird der allgemeine Kontext des deutschen Urheberrechts im Spannungsfeld verschiedener Akteure und unterschiedlicher Interessen skizziert, vom Träger des Rechts bis zu einem Vorschlag, die traditionelle "Pflichtexemplar"-Konzeption in die "open access"-Überlegungen zu integrieren.

We derive basic properties of groups which can be approximated with matrices. These include closure of classes of such groups under group theoretic constructions including direct and inverse limits and free products. We show that metric ultraproducts of projective linear groups over fields of different characteristics are not isomorphic. We further prove that the lattice of normal subgroups in ultraproducts of compact simple groups is distributive. It is linearly ordered in the case of finite simple groups or Lie groups of bounded rank.

Ausgehend von der Übergangsregelung des § 137l UrhG wird der allgemeine Kontext des deutschen Urheberrechts im Spannungsfeld verschiedener Akteure und unterschiedlicher Interessen skizziert, vom Träger des Rechts bis zu einem Vorschlag, die traditionelle "Pflichtexemplar"-Konzeption in die "open access"-Überlegungen zu integrieren.

Die für die Untersuchung des Ermüdungswiderstandes von Elastomerbauteilen verwendeten Formulierungen basieren häufig auf Modellen, die für Anwendungen in der Metalltechnik entwickelt wurden. Die damit verbundenen Eigenschaften wie Isotropie oder Elastizität stehen hingegen im Konflikt mit den Anforderungen, die zu der Wahl eines gefüllten Polymers als Werkstoff geführt haben. Gleichzeitig weisen technische Gummiwerkstoffe ein hochgradig nichtlineares Materialverhalten auf und zeigen vom Polymer und Füllstoffgrad abhängig eine unterschiedlich ausgeprägte belastungsinduzierte Anisotropie. Diese Umstände führen zu dem Bedarf, das Ermüdungsverhalten technischer Gummiwerkstoffe in Abhängigkeit der für Gummi typischen Eigenschaften intensiver zu untersuchen und neue Ansätze für die Auslegung der Lebensdauer von elastomeren Werkstoffen bereitzustellen. Im Rahmen der Arbeit wird eine Auswahl an unterschiedlichen Modellwerkstoffen auf polymerer Basis auf ihre Lebensdauereigenschaften hin analysiert. Den Schwerpunkt bilden hierbei modulierte Belastungsrichtungen, die über eine einfache Scherung mit rotierenden Achsen versuchstechnisch abgebildet werden. Anhand der Versuchsergebnisse werden neue Ansätze zur Vorhersage der Lebensdauer technischer Gummiwerkstoffe formuliert und mit bisherigen Ansätzen verglichen. Neben der Formulierung neuer Berechnungsvorschriften zur Bestimmung des Ermüdungswiderstandes polymerer Werkstoffe werden zudem die einfache Scherung mit rotierenden Achsen sowie das Versuchsprinzip zu deren Umsetzung eingehend untersucht. Dies umfasst auch eine Analyse einer mechanischen Charakterisierung technischer Gummiwerkstoffe anhand einer einfachen Scherung mit rotierenden Achsen.

Determining the hydrodynamic force acting on bubbles and particles moving parallel to a wall in a shear flow is a problem of fundamental importance, as this configuration is involved in a variety of technical and natural systems. The presence of the wall tends to increase the drag force, and more importantly causes a transverse lift force acting on the body. This thesis focuses on extending the current capability in predicting drag and lift forces on spherical bubbles and particles translating in a linear shear flow, primarily in the vicinity of a wall, and obtaining quantitative insight into the interaction mechanisms at work in the context of finite sphere Reynolds number. The investigations are performed through direct numerical simulation (DNS) using an accurate finite volume method. The first part of the thesis summarizes all expressions for the drag and lift forces available in the literature. A comprehensive review of existing results from analytical, experimental, and direct numerical simulation studies is given. The available correlations are critically assessed by comparison to data from these studies. Based on the comparison, recommendations are given which correlations to use including some new proposals, and gaps in the data are identified. The second part aims to fill the gaps mentioned above by means of DNS. Specifically, the three-dimensional flow around a non-rotating sphere translating steadily in a wall-bounded linear shear flow is investigated by solving the full Navier-Stokes equations. Numerical results and analytical expressions are combined to provide accurate semi-empirical expressions for the drag and lift forces at arbitrary Reynolds number and separation distance. Present numerical results help to rationalize and quantify the various mechanisms at work and the ways they interact. From a practical point of view, they also result in several closure models for the drag correction and transverse force, which are necessary inputs in the point-particle based Eulerian-Lagrangian simulations or in Eulerian-Eulerian simulations based on the interpenetrating continua concept.:1 INTRODUCTION 1.1 Background 1.2 Underlining mechanisms 1.3 State of the art 1.4 Motivation, goal and outline of the thesis 2 STATE OF THE ART 2.1 Statement of the problem 2.2 Overview of literatures 2.3 Unbounded linear shear flow 2.4 Linear shear flow with the wall lying in the inner region 2.5 Stagnant flow with the wall lying in the outer region 2.6 Linear shear flow with the wall lying in the outer region 2.7 Conclusions 3 NUMERICAL APPROACH AND PRELIMINARY TESTS 3.1 Numerical approach 3.2 Preliminary tests 4 CLEAN SPHERICAL BUBBLE IN WALL-BOUNDED FLOW 4.1 Characteristics of the flow field and fundamental mechanisms 4.2 Hydrodynamic forces on the bubble: fluid at rest at infinity 4.3 Hydrodynamic forces on the bubble: linear shear flow 4.4 Conclusions 5 RIGID SPHERE IN WALL-BOUNDED FLOW 5.1 Characteristics of the flow field and fundamental mechanisms 5.2 Hydrodynamic forces on the sphere: fluid at rest at infinity 5.3 Hydrodynamic forces on the sphere: Linear shear flow 5.4 Conclusions 6 CONCLUSIONS AND FUTURE WORK 6.1 Summary and conclusions 6.2 Future work 7 REFERENCE

Aus der Einleitung: 'Conceptual graphs (CGs) are an expressive formalism for representing knowledge about an application domain in a graphical way. Since CGs can express all of first-order predicate logic (FO), they can also be seen as a graphical notation for FO formulae. In knowledge representation, one is usually not only interested in representing knowledge, one also wants to reason about the represented knowledge. For CGs, one is, for example, interested in validity of a given graph, and in the question whether one graph subsumes another one. Because of the expressiveness of the CG formalism, these reasoning problems are undecidable for general CGs. In the literature [Sow84, Wer95, KS97] one can find complete calculi for validity of CGs, but implementations of these calculi have the same problems as theorem provers for FO: they may not terminate for formulae that are not valid, and they are very ineficient. To overcome this problem, one can either employ incomplete reasoners, or try to find decidable (or even tractable) fragments of the formalism. This paper investigates the second alternative. The most prominent decidable fragment of CGs is the class of simple conceptual graphs (SGs), which corresponds to the conjunctive, positive, and existential fragment of FO (i.e., existentially quantified conjunctions of atoms). Even for this simple fragment, however, subsumption is still an NP-complete problem [CM92]. SGs that are trees provide for a tractable fragment of SGs, i.e., a class of simple conceptual graphs for which subsumption can be decided in polynomial time [MC93]. In this report, we will identify a tractable fragment of SGs that is larger than the class of trees. Instead of trying to prove new decidability or tractability results for CGs from scratch, our idea was to transfer decidability results from description logics [DLNN97, DLNS96] to CGs. The goal was to obtain a \natural' sub-class of the class of all CGs in the sense that, on the one hand, this sub-class is defined directly by syntactic restrictions on the graphs, and not by conditions on the first-order formulae obtained by translating CGs into FO, and, on the other hand, is in some sense equivalent to a more or less expressive description logic. Although description logics (DLs) and CGs are employed in very similar applications (e.g., for representing the semantics of natural language sentences), it turned out that these two formalisms are quite different for several reasons: (1) conceptual graphs are interpreted as closed FO formulae, whereas DL concept descriptions are interpreted by formulae with one free variable; (2) DLs do not allow for relations of arity > 2 ; (3) SGs are interpreted by existential sentences, whereas almost all DLs considered in the literature allow for universal quantification; (4) because DLs use a variable-free syntax, certain identifications of variables expressed by cycles in SGs and by co-reference links in CGs cannot be expressed in DLs. As a consequence of these differences, we could not identify a natural fragment of CGs corresponding to an expressive DL whose decidability was already shown in the literature. We could, however, obtain a new tractability result for a DL corresponding to SGs that are trees. This correspondence result strictly extends the one in [CF98]. In addition, we have extended the tractability result from SGs that are trees to SGs that can be transformed into trees using a certain \cycle-cutting' operation. The report is structured as follows. We first introduce the description logic for which we will identify a subclass of equivalent SGs. In Section 3, we recall basic definitions and results on SGs. Thereafter, we introduce a syntactical variant of SGs which allows for directly encoding the support into the graphs (Section 4.1). In order to formalize the equivalence between DLs and SGs, we have to consider SGs with one distinguished node called root (Section 4.2). In Section 5, we finally identify a class of SGs corresponding to a DL that is a strict extension of the DL considered in [CF98].

Approximate query processing is an adequate technique to reduce response times and system load in cases where approximate results suffice. In database literature, sampling has been proposed to evaluate queries approximately by using only a subset of the original data. Unfortunately, most of these methods consider either only certain problems arising due to the use of samples in databases (e.g. data skew) or only join operations involving multiple relations. We describe how well-known sampling techniques dealing with group-by operations can be combined with foreign-key joins such that the join is computed after the generation of the sample. In detail, we show how senate sampling and small group sampling can be combined efficiently with the idea of join synopses. Additionally, we introduce different algorithms which maintain the sample if the underlying data changes. Finally, we prove the superiority of our method to the naive approach in an extensive set of experiments.

In analogy with the reaction of phenols with very strong super acids, these compounds can be protonated by the weaker super acid trifluoroacetic acid (TFA) and trifluoromethanesulphonic acid (TFS) also giving rise to the formation of OH and/or ring protonated products, which can be identified unambiguously by means of ¹HNMR spectroscopy. The same reactions are possible with the deuterated acids TFA-d and TFS-d. However, from these reactions, additional information on the proton and deuterium attack at different positions in the phenolic compounds is possible not detectable by the hitherto used non-deuterated acids. Moreover, the reaction of phenols with these deuterated acids allows the preparation of partially or fully deuterated phenols that are also important as markers in biological application and material chemistry.

In dieser Dissertationsschrift soll erkl{\"a}rt werden, wie auf der Grundlage von einfachen Strata, wie sie in einer gemeinsamen Arbeit mit Broussous \cite{BG} betrachtet wurden, einfache Charaktere f{\"u}r lokale einfache Algebren konstruiert werden k{\"o}nnen, wobei die Konstruktion den Vorbildern von Bushnell und Kutzko im zerfallenden Fall \cite{BK1} und von Zink \cite{Z7} im Falle eines Schiefk{\"o}rpers folgt. Der Begriff des einfachen Charakters geht auf die Arbeit \cite{BK1} zur{\"u}ck und bezeichnet eine ausgezeichnete Auswahl von Heisenbergcharakteren, die zu einem stabilen Darstellungsfilter geh{\"o}ren, der gem{\"a}{ss} \cite{Z2}(Hauptsatz 1.4) einem Darstellungsfilter zugeordnet wird, der zu einer absteigenden Normalreihe $$1+\R\supset1+\R^2\supset\ldots$$ geh{\"o}rt, wobei $\R$ das Jacobsonradikal einer erblichen Ordnung bezeichnet. Wir werden hier nur von Hauptordnungen ausgehen, d.h. von dem Fall, da{ss} $\R$ und seine Potenzen gebrochene Hauptideale sind. Diese Vorgehensweise und auch die besondere Auswahl der Heisenbergcharaktere in Form von einfachen Charakteren, wird durch die Konstruktion im Falle eines Schiefk{\"o}rpers \cite{Z7} und durch den abstrakten Matchingsatz \cite{BDKV} gerechtfertigt. Im Falle eines lokalen zentralen Schiefk{\"o}rpers ist n{\"a}mlich der Bewertungsring die einzige erbliche Ordnung und die einfachen Charaktere sind alle Heisenbergcharaktere die zu einem stabilen Darstellungsfilter geh{\"o}ren, der gem{\"a}{ss} \cite{Z2}(Hauptsatz 1.4) einem Darstellungsfilter, der zur absteigenden Normalreihe $$1+\pin_D\supset1+\pin_D^2\supset\ldots$$ geh{\"o}rt, zugeordnet wird, wobei $\pin_D$ das Bewertungsideal des Schiefk{\"o}rpers $D$ bezeichnet. Der abstrakte Matchingsatz liefert nun die Existenz einer Bijektion zwischen den irreduziblen glatten Darstellungen der multiplikativen Gruppe des lokalen zentralen Schiefk{\"o}rpers $D$ und den irreduziblen quadratintegrierbaren glatten Darstellungen einer beliebigen anderen lokalen zentraleinfachen Algebra vom selben reduzierten Grad {\"u}ber demselben nicht-archimedischen Grundk{\"o}rper $F$, welche den Charakter einer Darstellung in dem Sinne erh{\"a}lt, da{ss} die Charakterwerte auf den Konjugationsklassen elliptischer Elemente der verschiedenen Algebren, welche mithilfe ihrer Minimalpolynome identifiziert werden k{\"o}nnen, bis auf ein Vorzeichen {\"u}bereinstimmen. Wir werden hier kanonische Bijektionen zwischen den einfachen Charakteren f{\"u}r verschiedene zentraleinfache Algebren vom selben reduzierten Grad {\"u}ber demselben Grundk{\"o}rper angeben, von denen wir erwarten, da{ss} sie mit der Abbildung des abstrakten Matchingsatzes vertr{\"a}glich sind. Das dieses in der Tat der Fall ist, wurde bisher nur in einfachen F{\"a}llen wie \cite{He} und \cite{BH2} gezeigt, jedoch wurde in der Arbeit \cite{Z4} bereits mithilfe der Konstruktionen von \cite{Z7} und \cite{BK3} eine Bijektion zwischen den irreduziblen glatten Darstellungen der multiplikativen Gruppe des lokalen zentralen Schiefk{\"o}rpers $D$ vom Index $N$ {\"u}ber einem Grundk{\"o}rper $F$ und den irreduziblen essentiell quadratintegrierbaren glatten Darstellungen von $Gl_N(F)$ konstruiert, welche den Artinf{\"u}hrer und den formalen Grad einer Darstellung erh{\"a}lt. Da die Abbildung des abstrakten Matchingsatzes dieselben Forderungen erf{\"u}llt, kommt dies der gew{\"u}nschten Vertr{\"a}glichkeit schon sehr nahe und wir erf{\"u}llen mit unserer Konstruktion insbesondere die in der Arbeit \cite{Z4} gemachte Forderung die dort im Bezug auf die einfachen Charaktere getroffen Auswahlen noch unabh{\"a}ngiger von den jeweiligen Algebren zu gestalten. Die hier getroffene Auswahl wird durch die Verwendung sogenannter spezieller approximierender Folgen getroffen, welche sich aus einer Verallgemeinerung der in \cite{BG} gemachten {\"U}berlegungen ergeben. Im Anschlu{ss} an die Konstruktion und den Vergleich einfacher Charaktere werden wir in einer gro{ss}en Anzahl von F{\"a}llen zeigen, da{ss} sich die Heisenbergdarstellungen, die wir zu den einfachen Charakteren erhalten, in kanonischer Weise fortsetzen lassen und wir erwarten von diesen Fortsetzungen, da{ss} sie analoge Eigenschaften besitzen, wie die sogenannten ``$\beta$-Fortsetzungen'' von \cite{BK1}(5.2.1) im zerfallenden Fall. Damit k{\"o}nnen wir in diesen F{\"a}llen eine Liste von hypothetischen einfachen Typen angeben, von denen wir vermuten, da{ss} sie alle Bernsteinkomponenten parametrisieren, welche irreduzible essentiell quadratintegrierbare Darstellungen enthalten. Insbesondere vermuten wir, da{ss} sich die supercuspidalen Darstellungen mittels kompakter Induktion aus Fortsetzungen solcher einfacher Typen auf eine kompakt modulo Zentrum Untergruppe gewinnen lassen. Um die Vollst{\"a}ndigkeit dieser Konstruktion zu demonstrieren, h{\"a}tten wir allerdings noch die Eigenschaft ``Verkettung impliziert Konjugation'' zu zeigen, welche wir ebenfalls auf eine Folgearbeit verschieben m{\"u}ssen. Beabsichtig w{\"a}re dann ein Vollst{\"a}ndigkeitsbeweis mit dem abstrakten Matchingsatz wie bei L. Corwin \cite{Co} oder in \cite{Z4}. Wir weisen hier nur in Spezialf{\"a}llen nach, dass die Typendarstellungen, welche wir hier angegeben haben, tats{\"a}chlich Typen im Sinne von \cite{BK4}(4.1)(4.2) sind. Insbesondere sind es auch unsere Berechnungen in der Arbeit \cite{GSZ}, welche dem von uns im Geiste von \cite{Z7} und \cite{BK1} gemachten Ans{\"a}tzen hohe Evidenz geben. / In this thesis, we try to explain how simple characters for arbitrary central simple algebras over a non-archimedian local field $F$ can be constructed. Moreover, we introduce a kind of matching of simple characters between different algebras of fixed reduced degree. If the index of the algebra $A$ is odd or $A=M_l(D)$, where $l$ is an arbitrary prime number and $D$ a central division algebra over $F$, we can extend the Heisenberg representations associated to the simple characters to level-0 and obtain a hypothetical list of simple types. For $A=M_l(D)$ and if the residual field of $F$ is not the field with two elements, we can proof that all so-called maximal simple types in our list are simple types in the sense of \cite{BK4} and their extensions to their stabelizers induce supercupidal representations of $G_l(D)$. Using the the heuristical relation via the abstract matching theorem of \cite{BDKV} to the cases of a division algebra due to \cite{Z5} and to the split case due to \cite{BK1}, we conjecture that all supercuspidal representations of $Gl_l(D)$ can be obtained by this way.