Filtern
Erscheinungsjahr
- 2002 (30) (entfernen)
Dokumenttyp
- Dissertation (30) (entfernen)
Volltext vorhanden
- ja (30) (entfernen)
Schlagworte
- Deutschland (4)
- Literatur (2)
- Mobilität (2)
- OBDD (2)
- OBDDs (2)
- n.a. (2)
- 20. Jh. (1)
- 20th Century (1)
- Abwasserreinigung (1)
- Algorithmus (1)
Institut
- Raum- und Umweltwissenschaften (9)
- Psychologie (6)
- Informatik (5)
- Kunstgeschichte (3)
- Anglistik (2)
- Geschichte, mittlere und neuere (1)
- Japanologie (1)
- Klassische Philologie (1)
- Soziologie (1)
- Wirtschaftswissenschaften (1)
Hardware bugs can be extremely expensive, financially. Because microprocessors and integrated circuits have become omnipresent in our daily live and also because of their continously growing complexity, research is driven towards methods and tools that are supposed to provide higher reliability of hardware designs and their implementations. Over the last decade Ordered Binary Decision Diagrams (OBDDs) have been well proven to serve as a data structure for the representation of combinatorial or sequential circuits. Their conciseness and their efficient algorithmic properties are responsible for their huge success in formal verification. But, due to Shannon's counting argument, OBDDs can not always guarantee the concise representation of a given design. In this thesis, Parity Ordered Binary Decision Diagrams are presented, which are a true extension of OBDDs. In addition to the regular branching nodes of an OBDD, functional nodes representing a parity operation are integrated into the data structure, thus resulting in Parity-OBDDs. Parity-OBDDs are more powerful than OBDDs are, but, they are no longer a canonical representation. Besides theoretical aspects of Parity-OBDDs, algorithms for their efficient manipulation are the main focus of this thesis. Furthermore, an analysis on the factors that influence the Parity-OBDD representation size gives way for the development of heuristic algorithms for their minimization. The results of these analyses as well as the efficiency of the data structure are also supported by experiments. Finally, the algorithmic concept of Parity-OBDDs is extended to Mod-p-Decision Diagrams (Mod-p-DDs) for the representation of functions that are defined over an arbitrary finite domain.
Ausgehend davon, daß die nachweislich prominente Berichterstattung über bezahltes Dating sich nicht auf einen hohen Nachrichtenwert zurückführen läßt, sondern auf verkaufstechnische Faktoren und vor allem auf das "kulturelle Potential" des Themas Jugend, untersucht die folgende Arbeit, welche Normen und Werte in der Darstellung des Phänomens propagiert wurden, und ob sich in der Darstellung Muster erkennen lassen.
Von roten Autos und blauen Töpfen: Farbinformationen in impliziten und expliziten Gedächtnistests
(2002)
In fünf Experimenten wurden Erinnerungen an das Merkmal Farbe geprüft. Dabei wurden speziell implizite Gedächtnistests eingesetzt, in denen eine Bearbeitung ohne Verweis auf eine vorangegangene Lernphase und explizite Erinnerungsaufforderung erfolgte. Die empirischen Befunde in diesen Verfahren sprechen eindeutig gegen die in der Gedächtnispsychologie weit verbreiteten Kennzeichnung der Farbe als "irrelevante" Merkmalsdimension. So zeigte sich in der Farbwahlaufgabe der Einfluss der Farbe auf die Gedächtnisleistung, indem wiederholten schwarzweißen Testreizen die korrekte Zielfarbe häufiger spontan zugewiesen wurde als den neuen Stimuli. Dieser Wiederholungseffekt wurde weder durch den Formatwechsel von Bildern zu Wörtern, noch durch den Wechsel des abgebildeten Darstellungsexemplars beeinträchtigt, so dass von einer primär abstrakt-konzeptuellen Vermittlung auszugehen ist. Ein Farbeffekt war auch in zwei neu konstruierten impliziten Gedächtnistests zu verzeichnen. Zudem ergaben sich für die Aufgabe, in der die präferierte Farbe anzugeben war, erste Hinweise auf eine Beteiligung datengesteuerter Prozesse. Gängige Einschätzungen, nach denen die Farbe in solchen perzeptuellen impliziten Tests generell keine Rolle spielt, konnten damit erstmalig widerlegt werden. Zusätzlich erhobene explizite Testversionen erbrachten zum Teil erheblich abweichende Ergebnismuster. Offenbar wurde im impliziten Test von gespeicherten Informationen anders Gebrauch gemacht, als wenn das bewusste Erinnern der Studierepisode gefordert war.
Mobile computing poses different requirements on middleware than more traditional desktop systems interconnected by fixed networks. Not only the characteristics of mobile network technologies as for example lower bandwidth and unreliability demand for customized support. Moreover, the devices employed in mobile settings usually are less powerful than their desktop counterparts. Slow processors, a fairly limited amount of memory, and smaller displays are typical properties of mobile equipment, again requiring special treatment. Furthermore, user mobility results in additional requirements on appropriate middleware support. As opposed to the quite static environments dominating the world of desktop computing, dynamic aspects gain more importance. Suitable strategies and techniques for exploring the environment e.g. in order to discover services available locally are only one example. Managing resources in a fault-tolerant manner, reducing the impact ill-behaved clients have on system stability define yet another exemplary prerequisite. Most state of the art middleware has been designed for use in the realm of static, resource rich environments and hence is not immediately applicable in mobile settings as set forth above. The work described throughout this thesis aims at investigating the suitability of different middleware technologies with regard to application design, development, and deployment in the context of mobile networks. Mostly based upon prototypes, shortcomings of those technologies are identified and possible solutions are proposed and evaluated where appropriate. Besides tailoring middleware to specific communication and device characteristics, the cellular structure of current mobile networks may and shall be exploited in favor of more scalable and robust systems. Hence, an additional topic considered within this thesis is to point out and investigate suitable approaches permitting to benefit from such cellular infrastructures. In particular, a system architecture for the development of applications in the context of mobile networks will be proposed. An evaluation of this architecture employing mobile agents as flexible, network-side representatives for mobile terminals is performed, again based upon a prototype application. In summary, this thesis aims at providing several complementary approaches regarding middleware support tailored for mobile, cellular networks, a field considered to be of rising importance in a world where mobile communication and particularly data services emerge rapidly, augmenting the globally interconnecting, wired Internet.
This doctoral dissertation examines two authors of German descent who are representatives for the development of Canadian literature and its regional focus on the prairies: Frederick Philip Grove (1879-1948) and Robert Kroetsch (*1927). Kroetsch, in his essays and talks, has repeatedly referred to Grove as one of his "literary ancestors". Although there exist monographs and numerous articles on both authors, the present study is the first-ever comparative approach. This study's main access is provided by the motif of disguise and masquerade, which plays a central role in the authors' works. Even if critics have looked at the traditional motif (cf. Homer's Odyssey, or many Renaissance plays) in Kroetsch's writing sporadically, and have used it to examine Grove's biography, no approach has attempted a larger contextualization within/among both writers' oeuvres. According to Lloyd Davis, however, the motif can be seen as "representing the cultural dialogism, rather than any particular thesis, of selfhood" (Davis 16). Hence, it helps interrogate a topic that within Canada - the former colony and current multicultural immigrant society - had and has a specific relevance. As an analytical tool, the motif allows for highlighting both the similarities and the differences between the œuvres of Grove and Kroetsch as key-figures of a (post)colonial literature of Western Canada on the one hand, and for general questions pertaining to the characterisation of figures, the definition of narrative positions and even of genres on the other hand. Following the preface, two theoretical chapters outline conceptions of identity and their deducible forms and functions of disguise and masquerade, including a discussion of John Richardson's Wacousta (1832), which is the first Canadian example for the motif's constitutive use. The second major section sketches, in two separate chapters, the poetics and mentalities (Mentalitätsgeschichte) of each writer within the context of their complete works by looking at biographical data as well as the critics' assessments. After immigrating into Manitoba in 1912, Grove soon became the first representative of a literary prairie-realism. Before, he had faked his suicide in 1909 and stripped off his 'original' identity as the German translator (e.g., Wilde, Wells, Flaubert) as well as modestly successful poet and novelist Felix Paul Greve to leave behind debts and a notorious lover and to reinvent himself in the New World. The protean role-plays of 'FPG' - decoded only 23 years after his death - are manifested in his creation of literary characters, in a "collectivity of identities" (Cavell 12) or number of metonymic personae that keep his critics busy to this date. Providing a different story, Kroetsch's family of German background immigrated into Canada in the mid-19th-century. Kroetsch has been thematizing his native province, Alberta, just as much as general national dispositions or questings in the course of his literary career spanning five decades now. His progressive and experimental writing has earned him, for instance, the label of "Mr Canadian Postmodern" by Linda Hutcheon (Canadian Postmodern 183). Particularly important among his specifically postmodern instruments is the principle of archaeology as derived from Foucault and employed as both metaphor and method; further methodological tools are Barthes' theories on reading/writing as an erotic act, Bakhtin's notion of (the) carnival(ization of literature) and a great sensibility for the myths as well as oral traditions of the North American Natives. If the third section analyzes two of FPG's novels to illustrate his transfer, or literal translation, from a German to a Canadian cultural context, the fourth section represents this study's core with three one-to-one comparisons of the two writers' central prose texts. In spite of all affinities between both authors, however, this section already indicates what section five further underlines: Kroetsch clearly transcends Grove's achievements (which ultimately reduce all his characters and texts to nothing but his own will- and wishful projections and identity-configurations); on the level of narrativity, genre and gender, Kroetsch not only goes far beyond parodying Grove, but proves to be an innovator whose mis-en-scène of the motif of disguise provides both more psychological depth and relevance for socio-historical contexts. This comparative study has been informed by research in the Special Archives and Collections at the University of Manitoba (Grove Papers) and at the University of Calgary (Kroetsch Papers), by related talks at Lund, Belfast and Winnipeg as well as by an occasional quotation from an interview I conducted with Robert Kroetsch as early as 1996.
Today, usage of complex circuit designs in computers, in multimedia applications and communication devices is widespread and still increasing. At the same time, due to Moore's Law we do not expect to see an end in the growth of the complexity of digital circuits. The decreasing ability of common validation techniques -- like simulation -- to assure correctness of a circuit design enlarges the need for formal verification techniques. Formal verification delivers a mathematical proof that a given implementation of a design fulfills its specification. One of the basic and during the last years widely used data structure in formal verification are the so called Ordered Binary Decision Diagrams (OBDDs) introduced by R. Bryant in 1986. The topic of this thesis is integration of structural high-level information in the OBDD-based formal verification of sequential systems. This work consist of three major parts, covering different layers of formal verification applications: At the application layer, an assertion checking methodology, integrated in the verification flow of the high-level design and verification tool Protocol Compiler is presented. At the algorithmic layer, new approaches for partitioning of transition relations of complex finite state machines, that significantly improve the performance of OBDD-based sequential verification are introduced. Finally, at the data structure level, dynamic variable reordering techniques that drastically reduce the time required for reordering without a trade-off in OBDD-size are described. Overall, this work demonstrates how a tighter integration of applications by using structural information can significantly improve the efficiency of formal verification applications in an industrial setting.
Die vorliegende Arbeit versucht an dem Beispiel der Umsetzung der Vorschriften des § 301 SGB V - Datenaustausch zwischen stationären Einrichtungen und den Krankenkassen - zum einen die Probleme zum anderen aber auch die Lösungsmöglich-keiten eines Datenaustausches in einem sehr heterogenen Umfeld (-Krankenhäuser, Rehabilitationseinrichtungen und Kostenträgern) zu beschreiben. Ziel des Lösungsansatzes ist es gleichzeitig, neben der Erhebung und Weiterleitung der Daten von dem stationären Leistungserbringer an die jeweilige Krankenkasse (gesetzlicher Auftrag) die erhobenen Daten für weitere Analysen - intern wie extern - zu nutzen. Hierbei wird zum einen der Fokus auf die innerbetriebliche Nutzung der Daten gelegt - Kostenrechnung speziell Kostenträgerrechnung - zum anderen wird auch die Frage des externen Betriebsvergleiches (§ 5 BPflV) beleuchtet. Insgesamt wird gezeigt, dass für die weitere Entwicklung des Gesundheitswesens ein in sich einheitliches Datenmodell zwingend notwendig ist um die seit vielen Jahren immer wieder eingeforderte Transparenz des Gesundheitswesen herzustellen. Dies gilt insbesondere für die sektorenübergreifende - ambulant / stationär - Datenzusammenführung. Die Arbeit beschreibt die Fragen und Probleme sowohl der Informatik als auch der Gesundheitsökonomie und zeigt in Form des neu erarbeiteten Referenzmodells einen Lösungsansatz auf. Das Datenmodell enthält auch die notwendigen Informationen für ein DRG-System. Insofern ist eine Änderung des Datenmodells durch die aktuelle Einführung eines deutschen DRG - Systems nicht notwendig.
Die eigene Web-Präsenz hat sich für Unternehmen zu einem nicht mehr wegzudenkenden Instrument, einer flexiblen Schnittstelle zum Kunden, entwickelt. Mit ihr wird eine global erreichbare Anlaufstelle offeriert: Die Chancen der Online-Techniken nutzend ist dem Unternehmen mit seiner Web-Präsenz ein Medium für die "klassische" Werbung, darüber hinaus ein Direkt-Marketing- und Dialog-Medium sowie weiterhin ein eigenes Marktforschungs-Instrument an die Hand gegeben. Dessen Entwicklung und speziell sein Betrieb stellen für ein Unternehmen in verschiedenen Hinsichten eine ernstzunehmende Herausforderung dar. Aus organisatorischer Sicht ist hier die nicht einfach zu realisierende Integration der Web-Präsenz in das Unternehmen anzustreben: Nicht einem isoliert arbeitenden, technikverliebten Mitarbeiter, dem "`Webmaster"', obliegt die Pflege der Web-Präsenz als Allein-Zuständigen, sondern entsprechend ihren Zuständigkeiten übernehmen anteilig die in den Fachabteilungen des Unternehmens tätigen Arbeitskräfte diese Aufgabe. Aus technischer Sicht stellt eine moderne Web-Präsenz ein umfangreiches, und bei hoher Dynamik entsprechend komplexes Produkt dar, für dessen Realisierung nicht unerhebliche Anstrengungen unternommen werden müssen -- insbesondere dann, wenn die zugrundeliegende Technik den organisatorischen Anforderungen innerhalb des Unternehmens gerecht werden soll. Bedingt durch die hohe Innovationsrate im Umfeld der Internet-Technologie befinden sich die Anforderungen an die Betreiber einer Web-Präsenz in einem steten Wandel und erschweren damit den Unternehmen den Einstieg in dieses Medium. Gerade die in vielen Fällen in den Unternehmen noch eingesetzten proprietären Lösungen erfordern aus technischer Sicht einen hohen Integrationsaufwand, wenn die darin vorgehaltenen Informationen für die Web-Präsenz automatisiert einer Zweitverwendung zugeführt werden sollen. Über die zusätzliche Nutzung der Unternehmens-Web-Präsenz bzw. des Systems, mit dem sie erstellt und verwaltet wird, für die unternehmensinterne Arbeit, d.h. für das Intranet, kann der für das Unternehmen entstehende Aufwand relativiert werden. In das Bild des Lebenszyklus' einer modernen Web-Präsenz eingebettet, steht die Konzeption und Entwicklung eines an die im Umfeld des Web-Präsenz-Managements in Unternehmen vorzufindenden Randbedingungen flexibel anpassbaren Online-Redaktionssystems im Vordergrund dieser Arbeit. Zentraler Bestandteil seiner Konzeption ist die Idee, ein sich aus derart vielen separaten Elementen zusammensetzendes, komplexes Gesamtdokument wie eine Unternehmens-Web-Präsenz durch eine wachsende Mitarbeiterzahl -- direkt von deren jeweiligen Arbeitsplätzen aus -- gemeinsam aufzubauen und zu pflegen. Der Praxiseinsatz des bedarfsgerecht in seinen endgültigen Ausprägungen auf die speziellen Belange der Unternehmen maßgeschneiderten Systems begründet die konsequente Nutzung von Internet-Technologien sowie die auf offenen Standards basierende Implementation durch flexible plattformunabhängige Installation und einfache Integration. Im Anschluss an ein einleitendes Kapitel beschreibt diese Arbeit ausgehend von der Problemstellung sowie technischen Grundlagen die Konzeption, Implementation und den Einsatz des webbasierten Online-Redaktionssystems bevor eine Einordnung und schließlich die Zusammenfassung den Abschluss dieser Arbeit bilden.
Selbstverletzende Verhaltensweisen und Autoaggressionen im Kontext Geistiger Behinderung sowie deren Fernwirkungen auf die Betreuungspersonen in Wohnheimen und Werkstätten gilt das Hauptinteresse vorliegender Arbeit. Ausgehend von der Darstellung der Spezifizität Geistiger Behinderung unterschiedlicher Schweregrade als Hintergrundvariablen der Genese und Aufrechterhaltung selbstverletzenden Verhaltens werden wesentliche theoretische Konzepte autoaggressiven Handelns diskutiert: medizinisch-physiologischen Befunde, psychodynamische Deutungsmuster, entwicklungspsychologische Annahmen, behaviorale Theorien, kognitive und systemische Ansätze. Im empirischen Teil der Arbeit, der sich auf eine Befragung von 136 Betreuungspersonen in Einrichtungen für Menschen mit Geistiger Behinderung stützt, lässt sich als wesentliche kognitive Deutung der Probanden die Provokationsannahme und das Vermeidungsmotiv bestätigen. Emotional stehen Ärger, Angst und Hilflosigkeit bei den Befragten im Vordergrund. Bestrafende Interventionen als entsprechende Handlungstendenz treten jedoch generell nicht vermehrt hervor, vielmehr scheint ein Interventionspluralismus auf, sich der weitgehend unabhängig von den angenommenen theoretischen Ursachen des selbstverletzenden Verhaltens entwickelt. Im Bezug auf Ausbrennen im Beruf und psychosomatische Belastungen ergeben sich keine direkten linearen Zusammenhänge zur Häufigkeit und zum Ausmaß der beobachteten Autoaggression. Auf der Grundlage einer pfadanalytischen Betrachtung, können lediglich ausgehend von der Vermeidungs- und Provokationsannahme über Ärgerreaktion und Bestrafungstendenz höhere Burnout-Werte und größere psychosomatische Belastung aufgezeigt werden. Im Schlussteil der Arbeit werden Ableitungen für die Praxis im Umgang mit selbstverletzendem Verhalten und Autoaggressionen dargestellt.