Thèses : « Konsistenz »

1

Hagemann, Sabine. « Konsistenz in hybriden wissensbasierten Systemen ». [S.l. : s.n.], 1999. http://deposit.ddb.de/cgi-bin/dokserv?idn=959143017.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

2

Clauß, Matthias. « System-Administration : Kosten, Skalierbarkeit, Konsistenz ». Universitätsbibliothek Chemnitz, 2000. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-200000419.

Texte intégral

Résumé :

Gemeinsamer Workshop von Universitaetsrechenzentrum und Professur Rechnernetze und verteilte Systeme (Fakultaet fuer Informatik) der TU Chemnitz. Workshop-Thema: Infrastruktur der ¨Digitalen Universitaet¨

Styles APA, Harvard, Vancouver, ISO, etc.

3

Fakler, Markus. « Virtuelle Präsenz mittels transaktionaler Konsistenz ». [S.l. : s.n.], 2008. http://nbn-resolving.de/urn:nbn:de:bsz:289-vts-66232.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

4

Frenz, Stefan. « Zuverlässiger verteilter Speicher mit transaktionaler Konsistenz ». [S.l. : s.n.], 2006. http://nbn-resolving.de/urn:nbn:de:bsz:289-vts-56155.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

5

Schneider, Sören. « Evaluation von Systemen zur Korrektheitsuntersuchung am Beispiel von Konsistenzerhaltungsprotokollen ». [S.l. : s.n.], 2002. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB10252205.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

6

Gschwendner-Lukas, Tobias. « Implizit-explizit-Moderation fungieren funktional äquivalente Situations- und Personenmerkmale der Introspektion und der Adjustierung als Konsistenzmoderatoren ? / ». [S.l. : s.n.], 2004. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB11144157.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

7

Herzberger, Thomas. « Konsistenz und Integrität in Workflows als Kontrollmechanismen dynamischer Änderungen ». [S.l.] : Universität Stuttgart , Fakultät Informatik, 1999. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB8287459.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

8

Kim, Mun-Yong. « Messung und Beeinflussung der Konsistenz von Teigen aus Roggenmehl ». [S.l.] : [s.n.], 2007. http://deposit.ddb.de/cgi-bin/dokserv?idn=984538178.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

9

Stambke, Hans-Georg. « Betrugserkennung in secret sharing schemes durch Tests auf Konsistenz ». [S.l. : s.n.], 2002. http://deposit.ddb.de/cgi-bin/dokserv?idn=964844567.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

10

Wiese, Jörg. « Komponenten des Zinsfußes in Unternehmensbewertungskalkülen : theoretische Grundlagen und Konsistenz / ». Frankfurt am Main [u.a.] : Lang, 2006. http://www.gbv.de/dms/zbw/508731844.pdf.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

11

Mades, Jochen [Verfasser]. « Strukturelle Konsistenz und Regularisierung von VHDL-AMS Modellen / Jochen Mades ». Aachen : Shaker, 2003. http://d-nb.info/1179020812/34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

12

Tzizlis, Georgios. « Konsistenzerhaltung mit mobilen Agenten bei gemeinsamer Dokumentenbearbeitung ». [S.l. : s.n.], 2002. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB9716175.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

13

Schächinger, Michael [Verfasser]. « Menschenwürde und Menschheitswürde. : Zweck, Konsistenz und Berechtigung strafrechtlichen Embryonenschutzes. / Michael Schächinger ». Berlin : Duncker & ; Humblot, 2014. http://d-nb.info/1238433782/34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

14

Hofmann, Wilhelm. « Über den Zusammenhang impliziter und expliziter Dispositionsmaße : Fungieren Selbstkenntnis und Aufrichtigkeit als Konsistenzmoderatoren ? » [S.l. : s.n.], 2004. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB11679819.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

15

Kopp, Petra. « Mathematische Modellierung der Konsistenz und konsistenzerhaltender Erweiterungen von Vererbung in objektorientierten Sprachen / ». Inhaltsverzeichnis, 2005. http://www.gbv.de/dms/ilmenau/toc/505605694kopp.PDF.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

16

Junker, Christian [Verfasser], et Jörg [Akademischer Betreuer] Becker. « Konsistenz als Auswahlkriterium für Kooperationspartner erfolgreicher Partnerschaften / Christian Junker ; Betreuer : Jörg Becker ». Münster : Universitäts- und Landesbibliothek Münster, 2014. http://d-nb.info/1138282154/34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

17

Fromkorth, Andreas [Verfasser]. « Konsistenz regressionsbasierter Monte-Carlo-Verfahren zur Optionsbewertung mit geschätzten Modellen / Andreas Fromkorth ». München : Verlag Dr. Hut, 2012. http://d-nb.info/1023435322/34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

18

Langer, Christopher [Verfasser]. « Die Endlagersuche nach dem Standortauswahlgesetz. : Normgebung zwischen Konsistenz und Widerspruch. / Christopher Langer ». Berlin : Duncker & ; Humblot, 2020. http://d-nb.info/1238492029/34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

19

Pöhlmann, Claudia. « Der Einfluss independenter und interdependenter Selbstkonstruktion auf die Motivation und Konsistenz in Entscheidungssituationen ». [S.l. : s.n.], 2004. http://www.diss.fu-berlin.de/2004/121/index.html.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

20

Seibel, Annika [Verfasser]. « EbM - Scotland Yard : Interne Konsistenz Randomisierter Klinischer Studien zum Thema Myokardinfarkt / Annika Seibel ». Ulm : Universität Ulm, 2019. http://d-nb.info/118309955X/34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

21

Mäs, Stephan. « On the Consistency of Spatial Semantic Integrity Constraints ». Neubiberg Universitätsbibliothek der Universität der Bundeswehr, 2010. http://d-nb.info/1000831663/34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

22

Fries, Alexander. « Konsistenz und Inkonsistenz im psychischen Geschehen der Menschen Konzepte und Zusammenhänge mit der Gesundheit / ». [S.l.] : [s.n.], 2005. http://www.zb.unibe.ch/download/eldiss/05fries_a.pdf.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

23

Ramme, Andreas [Verfasser]. « Änderung der inneren Konsistenz des „Autonomy Preference Index“ durch Änderung der Antwortgewichtung / Andreas Ramme ». Berlin : Medizinische Fakultät Charité - Universitätsmedizin Berlin, 2015. http://d-nb.info/1076270891/34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

24

Lehnhardt-Busche, Katalin [Verfasser]. « Preisbezogene Behinderungsmissbräuche nach Art. 102 AEUV. : Zur Konsistenz der europäischen Rechtsprechung. / Katalin Lehnhardt-Busche ». Berlin : Duncker & ; Humblot, 2019. http://d-nb.info/1238487408/34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

25

Roth, Maria. « Evaluation eines Therapie-Disseminationsprojektes im südlichen Uganda Konsistenz der Daten aus Diagnostik und Therapie / ». [S.l. : s.n.], 2006. http://nbn-resolving.de/urn:nbn:de:bsz:352-opus-57521.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

26

Wagner, Robert. « Inkrementelle Modellsynchronisation / ». Berlin : Logos-Verl, 2009. http://d-nb.info/99966137X/04.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

27

Meister, Alexander. « Robustheitseigenschaften von Dekonvolutionsdichteschätzern bezüglich Missspezifikation der Fehlerdichte ». [S.l. : s.n.], 2003. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB10790756.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

28

Hähner, Jörg. « Consistent data replication in mobile ad hoc networks ». [S.l. : s.n.], 2007. http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-29798.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

29

Friedli, Johanna. « Übergewicht und Psyche : Inkongruenzniveau und Rückfall bei Adipositas ; Konsistenz statt Diät oder was erfolgreiche Abnehmer unterscheidet / ». Hamburg : Kovač, 2006. http://www.verlagdrkovac.de/3-8300-2588-2.htm.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

30

Dollase, Oliver Martin [Verfasser], et Volker [Akademischer Betreuer] Arolt. « Die Capuron-Henry-Dantzer-Depressionsskala : interne Konsistenz, Faktorenstruktur und Konstruktvalidität / Oliver Martin Dollase. Betreuer : Volker Arolt ». Münster : Universitäts- und Landesbibliothek der Westfälischen Wilhelms-Universität, 2012. http://d-nb.info/1027021433/34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

31

Bieniusa, Annette [Verfasser], et Peter [Akademischer Betreuer] Thiemann. « Consistency, isolation, and irrevocability in software transactional memory = Konsistenz, Isolation und Unwiderruflichkeit in Software Transactional Memory ». Freiburg : Universität, 2011. http://d-nb.info/1114828998/34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

32

Bender, Philipp. « Informationserhaltende Sichten und ihre Änderungsoperationen ». Karlsruhe : Univ.-Verl. Karlsruhe, 2006. http://www.uvka.de/univerlag/volltexte/2006/133/.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

33

Esser, Eva [Verfasser]. « Verbales und figurales Listenlernen vor und nach epilepsiechirurgischen Eingriffen am Temporallappen : Leistung, Positionseffekte, Strategie und Konsistenz / Eva Esser ». Bonn : Universitäts- und Landesbibliothek Bonn, 2014. http://d-nb.info/1238687210/34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

34

Eyl, Martin [Verfasser], et Müller-Glaser K. [Akademischer Betreuer] D. « Ansatz einer entwicklungsprojektweiten Abhängigkeits-Konsistenz des Quellcodemodells zur Qualitätsverbesserung von Software-Entwicklungsprojekten / Martin Eyl ; Betreuer : K. D. Müller-Glaser ». Karlsruhe : KIT-Bibliothek, 2019. http://d-nb.info/1183795750/34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

35

Hupfeld, Felix. « Causal weak-consistency replication ». Doctoral thesis, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2009. http://dx.doi.org/10.18452/15971.

Texte intégral

Résumé :

Replikation kann helfen, in einem verteilten System die Fehlertoleranz und Datensicherheit zu verbessern. In Systemen, die über Weitverkehrsnetze kommunizieren oder mobile Endgeräte einschließen, muß das Replikationssystem mit großen Kommunikationslatenzen umgehen können. Deshalb werden in solchen Systemen in der Regel nur asynchrone Replikationsalgorithmen mit schwach-konsistenter Änderungssemantik eingesetzt, da diese die lokale Annahme von Änderungen der Daten und deren Koordinierung mit anderen Replikaten entkoppeln und somit ein schnelles Antwortverhalten bieten können. Diese Dissertation stellt einen Ansatz für die Entwicklung schwach-konsistenter Replikationssysteme mit erweiterten kausalen Konsistenzgarantien vor und weist nach, daß auf seiner Grundlage effiziente Replikationssysteme konstruiert werden können. Dazu werden Mechanismen, Algorithmen und Protokolle vorgestellt, die Änderungen an replizierten Daten aufzeichnen und verteilen und dabei Kausalitätsbeziehungen erhalten. Kern ist ein Änderungsprotokoll, das sowohl als grundlegende Datenstruktur der verteilten Algorithmen agiert, als auch für die Konsistenz der lokalen Daten nach Systemabstürzen sorgt. Die kausalen Garantien werden mit Hilfe von zwei Algorithmen erweitet, die gleichzeitige Änderungen konsistent handhaben. Beide Algorithmen basieren auf der Beobachtung, daß die Divergenz der Replikate durch unkoordinierte, gleichzeitige Änderungen nicht unbedingt als Inkonsistenz gesehen werden muß, sondern auch als das Erzeugen verschiedener Versionen der Daten modelliert werden kann. Distributed Consistent Branching (DCB) erzeugt diese alternativen Versionen der Daten konsistent auf allen Replikaten; Distributed Consistent Cutting (DCC) wählt eine der Versionen konsistent aus. Die vorgestellten Algorithmen und Protokolle wurden in einer Datenbankimplementierung validiert. Mehrere Experimente zeigen ihre Einsetzbarkeit und helfen, ihr Verhalten unter verschiedenen Bedingungen einzuschätzen.
Data replication techniques introduce redundancy into a distributed system architecture that can help solve several of its persistent problems. In wide area or mobile systems, a replication system must be able to deal with the presence of unreliable, high-latency links. Only asynchronous replication algorithms with weak-consistency guarantees can be deployed in these environments, as these algorithms decouple the local acceptance of changes to the replicated data from coordination with remote replicas. This dissertation proposes a framework for building weak-consistency replication systems that provides the application developer with causal consistency guarantees and mechanisms for handling concurrency. By presenting an integrated set of mechanisms, algorithms and protocols for capturing and disseminating changes to the replicated data, we show that causal consistency and concurrency handling can be implemented in an efficient and versatile manner. The framework is founded on log of changes, which both acts the core data structure for its distributed algorithms and protocols and serves as the database log that ensures the consistency of the local data replica. The causal consistency guarantees are complemented with two distributed algorithms that handle concurrent operations. Both algorithms are based on the observation that uncoordinated concurrent operations introduce a divergence of state in a replication system that can be modeled as the creation of version branches. Distributed Consistent Branching (DCB) recreates these branches on all participating processes in a consistent manner. Distributed Consistent Cutting (DCC) selects one of the possible branches in a consistent and application-controllable manner and enforces a total causal order for all its operations. The contributed algorithms and protocols were validated in an database system implementation, and several experiments assess the behavior of these algorithms and protocols under varying conditions.

Styles APA, Harvard, Vancouver, ISO, etc.

36

Rehfeld, Stephan [Verfasser], Marc Erich [Gutachter] Latoschik et Henrik [Gutachter] Tramberend. « Untersuchung der Nebenläufigkeit, Latenz und Konsistenz asynchroner Interaktiver Echtzeitsysteme mittels Profiling und Model Checking / Stephan Rehfeld ; Gutachter : Marc Erich Latoschik, Henrik Tramberend ». Würzburg : Universität Würzburg, 2017. http://d-nb.info/1135139601/34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

37

Stahl, Christoph. « Ein stark konsistenter Kleinst-Quadrate-Schätzer in einem linearen Fuzzy-Regressionsmodell mit fuzzy Parametern und fuzzy abhängigen Variablen ». [S.l.] : [s.n.], 2004. http://deposit.ddb.de/cgi-bin/dokserv?idn=972312188.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

38

Tutsch, Sina. « Konsistente und konsequente dynamische Risikomaße und das Problem der Aktualisierung ». Doctoral thesis, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2007. http://dx.doi.org/10.18452/15591.

Texte intégral

Résumé :

Mit der vorliegenden Dissertation wollen wir einen Beitrag zur Theorie der konvexen Risikomaße und ihrer Dynamik leisten. Im Kapitel 1 beschäftigen wir uns zunächst mit unbedingten konvexen Risikomaßen. Wir erläutern die Eigenschaften dieser Funktionale und geben einen Überblick über die Möglichkeiten ihrer Darstellung. Anschließend diskutieren wir das Problem ihrer Fortsetzbarkeit. Im Kapitel 2 erklären wir, wie sich die Darstellungssätze auf bedingte konvexe Risikomaße übertragen lassen, und untersuchen, unter welchen Voraussetzungen eine reguläre bedingte Darstellung existiert. Auf polnischen Räumen beweisen wir die Existenz auf den Klassen der halbstetigen Funktionen. Für das bedingte Average Value at Risk zeigen wir, dass durch eine zugehörige Familie von unbedingten AVaR-Risikomaßen eine reguläre bedingte Darstellung sogar auf der Klasse aller beschränkten Auszahlungsprofile gegeben ist. Im Kapitel 3 untersuchen wir die intertemporale Struktur von dynamischen konvexen Risikomaßen. Zunächst analysieren wir verschiedene Formen der Akzeptanz- und Ablehnungskonsistenz, welche einem zeitlich rückwärts gerichteten Ansatz der Risikobewertung entsprechen und in der Regel zur Konstruktion von dynamischen konvexen Risikomaßen zu einer vorgegebenen Filtration verwendet werden. Als Alternative formulieren wir einen vorwärts gerichteten Ansatz, bei dem jedes bedingte konvexe Risikomaß als eine Konsequenz aus der vorherigen Risikobewertung und der eingehenden Information konstruiert wird. Dann diskutieren wir Aktualisierungsvorschriften für konvexe Risikomaße. Wir überprüfen, inwieweit die vorgestellten Bedingungen der zeitlichen Konsistenz in ihrer starken und schwachen Form oder die Bedingung der Konsequenz als Aktualisierungskriterium geeignet sind. In diesem Zusammenhang diskutieren wir abschließend auch das Problem der Unsicherheitsreduzierung nach dem Erhalt von Zusatzinformation.
This thesis is a contribution to the theory convex risk measures and their dynamics. In chapter 1 we consider unconditional convex risk measures. At first, we explain the properties of these functionals and present different possibilities of their representation. Then we discuss the extension problem for convex risk measures. In chapter 2 we study conditional convex risk measures and their representations. We also analyze under which conditions these functionals admit a regular conditional representation. On polish spaces we prove existence on the classes of semicontinuous functions. For the conditional Average Value at Risk, we show that a regular conditional representation is given by a corresponding family of unconditional AVaR risk measures on the class of all bounded payoff functions. In Chapter 3 we investigate the intertemporal structure of dynamic convex risk measures. We begin by considering different conditions of acceptance and rejection consistency which correspond to a backward approach of dynamic risk evaluation and which are used for the construction of dynamic convex risk measures with respect to some given filtration. We also introduce an alternative forward approach where each conditional convex risk measure is constructed as a consequence of the initial risk evaluation and the incoming information. Then we discuss update rules for convex risk measures. We analyze whether the conditions of strong and weak consistency and the condition of consecutivity are appropriate update criteria. In this context, we finally discuss how uncertainty may be reduced after receiving some additional information.

Styles APA, Harvard, Vancouver, ISO, etc.

39

Krahé, Barbara. « Situation cognition and coherence in personality : an individual-centered approach ». Universität Potsdam, 1990. http://opus.kobv.de/ubp/volltexte/2009/3355/.

Texte intégral

Résumé :

This volume reexamines the long-standing controversy about consistency in personality from a social psychological perspective. Barabara Krahé reconsiders the concept of consistency in terms of the systematic coherence of situation cognition and behaviour across situations. In the first part of the volume she undertakes an examination of recent social psychological models of situation cognition for their ability to clarify the principles underlying the perception of situational similarities. She then advances an individual-centred methedology in which nomothetic hypotheses about cross-situational coherence are tested on the basis of idiogrphic measurement of situation cognition and behaviour. In the second part of the volume, a series of empirical studies is reported which apply the individual-centred framework to the analysis of cross-situational coherence in the domain of anxiety-provoking situations. These studies are distinctive in that they extend over several months and use free-response data; they are based on idiographic sampling; and they employ explicit theoretical models to capture the central features of situation perception. The results demonstrate the benefits of integrating idiographic and nomothetic research strategies and exploiting the advantages of both perspectives.

Styles APA, Harvard, Vancouver, ISO, etc.

40

Zachewitz, Ludger. « Abgleich verteilter Datenbestände am Beispiel des Gesundheitswesens ». Berlin Logos-Verl, 2006. http://deposit.d-nb.de/cgi-bin/dokserv?id=2938395&prov=M&dok_var=1&dok_ext=htm.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

41

Taing, Nguonly, Markus Wutzler, Thomas Springer, Nicolás Cardozo et Alexander Schill. « Consistent Unanticipated Adaptation for Context-Dependent Applications ». ACM, 2016. https://tud.qucosa.de/id/qucosa%3A75211.

Texte intégral

Résumé :

Unanticipated adaptation allows context-dependent applications to overcome the limitation of foreseen adaptation by incorporating previously unknown behavior. Introducing this concept in language-based approaches leads to inconsistencies as an object can have different views in different contexts. Existing language-based approaches do not address unanticipated adaptation and its associated run-time inconsistencies. We propose an architecture for unanticipated adaptation at run time based on dynamic instance binding crafted in a loosely manner to asynchronously replace adaptable entities that allow for behavioral changes of objects. To solve inconsistencies, we introduce the notion of transactions at the object level. Transactions guard the changing objects during their execution, ensuring consistent views. This allows for disruption-free, safe updates of adaptable entities by means of consistent unanticipated adaptation.

Styles APA, Harvard, Vancouver, ISO, etc.

42

Sporer, Mathias. « Konsistenzerhaltende Techniken für generierbare Wissensbasen zum Entwurf eingebetteter Systeme ». Doctoral thesis, Universitätsbibliothek Chemnitz, 2008. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-200800149.

Texte intégral

Résumé :

Der Entwurfsprozess informationsverarbeitender Systeme ist gekennzeichnet durch die Beschreibung von speichernden, verarbeitenden und übertragenden Komponenten auf unterschiedlichen Abstraktionsstufen. Sowohl für spezifische Anwendungsdomänen als auch für die jeweiligen Abstraktionsstufen wurden in der Vergangenheit Werkzeuge entwickelt, die den Systemdesigner von der Phase der Anforderungsspezifikation bis hin zu Implementierung und funktionaler Erprobung begleiten. Beim Entwurf komplexer Systeme im allgemeinen und eingebetteter Systeme im besonderen stellt sich zusätzlich das Problem der Wiederverwendung von Komponenten aus früheren Entwürfen, der Transformation des Entwurfswissens über die Grenzen der Abstraktionsstufen hinweg sowie die Integration einer variablen Anzahl domänenspezifischer Werkzeuge in den Entwurfsprozess. Voraussetzung eines korrekten Designs ist dabei die anwendungsinvariante Integritätserhaltung aller beteiligten Entwurfsdaten unabhängig von ihrer Repräsentation. Nach der Diskussion des Integritätsbegriffs für konventionelle Informationssysteme und den nötigen Erweiterungen für eingebettete Systeme werden Verfahren zur Modellierung des Entwurfsprozesses vorgestellt, mit deren Hilfe eine der spezifischen Entwicklungsaufgabe optimal entsprechende Wissensbasis generiert und fortwährend neuen Anforderungen von Fremdwerkzeugen und Entwurfsverfahren angepasst werden kann. Sie erfordert vom Anwender keine Detailkenntnisse des zugrunde liegenden Datenmodells. Die Generierbarkeit der Wissensbasis und ihrer Werkzeuge beruht auf einem Metamodell, das sich auf eine erweiterbare Objektalgebra zur Struktur- und Verhaltensbeschreibung informationsverarbeitender Systeme stützt und in domänenspezifische Zielsysteme transformierbar ist
The design process of data processing systems is characterized by the description of storing, processing and transmitting components on different levels of abstraction. In the past tools have been developed for specific application domains as well as for the respective abstraction levels. They support the system designer from the stage of the requirements specification down to implementation and functional test. During the sketch of complex systems in general and embedded systems in particular, problems occur in the following areas: reusing the components from former drafts; transforming the design knowledge across the boundaries of abstraction levels; integrating a variable number of domain specific tools in the design process. The precondition for a correct design is the integrity preservation of all involved draft data no matter which sources such as databases, XML files or conventional HOST file systems provide them. After discussing the integrity term regarding conventional information systems and the extensions necessary for embedded systems, approaches for modelling the design process are presented. They help to generate a knowledge base which is optimally adjusted to a particular design task and can be continuously adapted to new requests coming from external tools and design processes. The user does not need detailed knowledge about the knowledge base's underlying data model. The capability of generating the knowledge base and its tools is based on a meta model. First, this model is based on an extensible object algebra applied when describing the structure and behaviour of data processing systems and second, the model is transformable into domain specific target systems

Styles APA, Harvard, Vancouver, ISO, etc.

43

Zachewitz, Ludger. « Abgleich verteilter Datenbestände am Beispiel des Gesundheitswesens / ». Berlin : Logos-Verl, 2007. http://www.gbv.de/dms/bs/toc/527090263.pdf.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

44

Reitebuch, Daniel. « Konsistent geordnete erweiterte Thermodynamik ». [S.l.] : [s.n.], 2005. http://deposit.ddb.de/cgi-bin/dokserv?idn=973598190.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

45

Rudolfsson, Carin. « Konsistens i filbaserad databas ». Thesis, University of Skövde, School of Humanities and Informatics, 2005. http://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-990.

Texte intégral

Résumé :

Det finns ett problem med att filbaserade databaser inte klarar av att hantera konsistens i form av de beroenden som existerar i databasen. Här har detta problem undersökts utifrån de uppdateringar som sker när indata och datadefinitioner på nytt, efter eventuell uppdatering, genereras in i databasen.

Olika typer av beroenden har identifierats i databasen och testexempel har valts ut bland befintliga datadefinitioner och indatafiler i det system som används som exempelsystem. Möjligheten att använda en wrapper för att hantera konsistensen har undersökts och denna wrapper har placerats in i arkitekturen för exempelsystemet. Tester har genomförts för främmande nycklar och funktionaliteten add, lägga till ny data. Vid tester kan konstateras att de flesta främmande nycklar antingen identifieras av programmet eller de kan identifieras via ytterligare implementation.

Styles APA, Harvard, Vancouver, ISO, etc.

46

Stüber, Torsten. « Consistency of Probabilistic Context-Free Grammars ». Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-86943.

Texte intégral

Résumé :

We present an algorithm for deciding whether an arbitrary proper probabilistic context-free grammar is consistent, i.e., whether the probability that a derivation terminates is one. Our procedure has time complexity $\\\\mathcal O(n^3)$ in the unit-cost model of computation. Moreover, we develop a novel characterization of consistent probabilistic context-free grammars. A simple corollary of our result is that training methods for probabilistic context-free grammars that are based on maximum-likelihood estimation always yield consistent grammars.

Styles APA, Harvard, Vancouver, ISO, etc.

47

Horstmann, Kai Tobias. « The Interplay of Personality, Situations, Affect, and Behavior ». Doctoral thesis, Humboldt-Universität zu Berlin, 2018. http://dx.doi.org/10.18452/19327.

Texte intégral

Résumé :

Teil 1 dieser Dissertationsschrift fasst die Person-Situation Debatte zusammen und definiert stabile Persönlichkeitsmerkmale (Traits) sowie deren temporäre Expressionen (States). Zentrales Element der sogenannten Person-Situation Debatte war unter anderem das Konsistenzproblem, welches in der ersten empirischen Studie weiter beleuchtet wurde. Hierzu unterschieden wir Person- und Situation-Effekte auf Verhalten. Um diese Effekte zu differenzieren schlugen wir die Konzepte simple Konsistenz und residuale Konsistenz vor und zeigten, wie Verhalten in funktional äquivalenten Situationen auch nach Kontrolle des Einflusses von Persönlichkeit konsistent ist. Teil 2 befasst sich dann mit der Definition und Erfassung von Situationen, da diese zentral sind um Konsistenz im Verhalten zu untersuchen. Im Rahmen von zwei Buchkapiteln beschrieben wir die bisherige Entwicklung der Situationsforschung und zeigten Herausforderungen auf, welche während der Entwicklung von Situationsmaßen zu meistern sind. Anschließend stellten wir sowohl eine neue Taxonomie zur Beschreibung von Situationen vor, die Situation Five, als auch ein Messinstrument zur Erfassung von Situationswahrnehmung vor. Teil 3 adressiert die Validierung bestehender Situationsmaße und im Besonderen die mögliche Überschneidung von Situationswahrnehmung und Affekt. In zwei Studien wurde untersucht, ob beide Phänomene überlappen und dennoch jeweils Verhalten vorhersagen können. Hierbei konnten wir zeigen, dass dies nicht nur der Fall ist, sondern dass spezifische Verbindungen zwischen Verhalten und Situationswahrnehmung erst nach Berücksichtigung von Affekt sichtbar waren. Teil 4 diskutiert die Implikationen der vorliegenden Arbeit und zeigt auf, wie insbesondere die Überlappung von Affekt und Situationswahrnehmung durch Einschätzungs-Theorien der Emotionsforschung erklärt werden können. Teil 5 schlussendlich gibt einen Ausblick auf zukünftige Forschung und zeigt die Bedeutung der vorliegen Arbeit auf.
Part 1 of the current work briefly reviews the person-situation debate and addresses the definition of personality traits and states. Central to the person situation debate was the definition of consistency. In the first empirical study presented here, we examined consistency in more detail. We introduced the concepts of simple and residual consistency, and showed how functionally equivalent situations may influence behavior, even after controlling for effects of personality. Part 2 is concerned with the definition and measurement of situations. In two book chapters, we reviewed the past development of situation research and specific challenges that can be faced during the construction of measures for situation dimensions. We then present a new taxonomy for the description of situations, the Situation Five, as well as a measurement tool to assess situation perception, a person’s interpretation and perception of situations. Part 3 addresses the validation of existing situation measures and, more specifically, the potential overlap of affect and situation perception. I the first empirical study, we examined this overlap, which turned out to be substantial. In the second study, we investigated if this overlap threatened the validity of situation measures: Would measures of situation perception predict behavior in daily life after controlling for affect? As it turned out, they did – and more importantly, controlling for affect unveiled specific, logically coherent links between situation perception and behavior. Part 4 then discusses implications of the current work. A special focus is placed on explaining why affect and situation perception were correlated and yet contributed uniquely to the explanation of variance in behavior. To summarize, appraisal theories of emotion may serve well as a general framework for understanding the processes involved in situation perception. Part 5 then briefly discusses implications of the current work for future research.

Styles APA, Harvard, Vancouver, ISO, etc.

48

Bartho, Andreas. « Creating and Maintaining Consistent Documents with Elucidative Development ». Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2016. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-208060.

Texte intégral

Résumé :

Software systems usually consist of multiple artefacts, such as requirements, class diagrams, or source code. Documents, such as specifications and documentation, can also be viewed as artefacts. In practice, however, writing and updating documents is often neglected because it is expensive and brings no immediate benefit. Consequently, documents are often outdated and communicate wrong information about the software. The price is paid later when a software system must be maintained and much implicit knowledge that existed at the time of the original development has been lost. A simple way to keep documents up to date is generation. However, not all documents can be fully generated. Usually, at least some content must be written by a human author. This handwritten content is lost if the documents must be regenerated. In this thesis, Elucidative Development is introduced. It is an approach to create documents by partial generation. Partial generation means that some parts of the document are generated whereas others are handwritten. Elucidative Development retains manually written content when the document is regenerated. An integral part of Elucidative Development is a guidance system, which informs the author about changes in the generated content and helps him update the handwritten content
Softwaresysteme setzen sich üblicherweise aus vielen verschiedenen Artefakten zusammen, zum Beispiel Anforderungen, Klassendiagrammen oder Quellcode. Dokumente, wie zum Beispiel Spezifikationen oder Dokumentation, können auch als Artefakte betrachtet werden. In der Praxis wird aber das Schreiben und Aktualisieren von Dokumenten oft vernachlässigt, weil es zum einen teuer ist und zum anderen keinen unmittelbaren Vorteil bringt. Dokumente sind darum häufig veraltet und vermitteln falsche Informationen über die Software. Den Preis muss man später zahlen, wenn die Software gepflegt wird, weil viel von dem impliziten Wissen, das zur Zeit der Entwicklung existierte, verloren ist. Eine einfache Möglichkeit, Dokumente aktuell zu halten, ist Generierung. Allerdings können nicht alle Dokumente generiert werden. Meist muss wenigstens ein Teil von einem Menschen geschrieben werden. Dieser handgeschriebene Inhalt geht verloren, wenn das Dokument neu generiert werden muss. In dieser Arbeit wird das Elucidative Development vorgestellt. Dabei handelt es sich um einen Ansatz zur Dokumenterzeugung mittels partieller Generierung. Das bedeutet, dass Teile eines Dokuments generiert werden und der Rest von Hand ergänzt wird. Beim Elucidative Development bleibt der handgeschriebene Inhalt bestehen, wenn das restliche Dokument neu generiert wird. Ein integraler Bestandteil von Elucidative Development ist darüber hinaus ein Hilfesystem, das den Autor über Änderungen an generiertem Inhalt informiert und ihm hilft, den handgeschriebenen Inhalt zu aktualisieren

Styles APA, Harvard, Vancouver, ISO, etc.

49

Hoegqvist, Mikael. « Consistent key-based routing in decentralized and reconfigurable data services ». Doctoral thesis, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2012. http://dx.doi.org/10.18452/16621.

Texte intégral

Résumé :

Skalierbares schlüssel-basiertes Routing in verteilten Systemen ist eine Methode zur Weiterleitung von Nachrichten zu den für die Partition verantwortlichen Maschinen. Diese Technik findet Verwendung in Key-Value Speichersystemen, Content Distribution Networks oder auch beim Media Streaming. Einer der Gründe für die Verbreitung ist die Einfachheit der Routingabstraktion, bei welcher der Entwickler sich nicht um die Details des Gruppenmanagements oder Datenreplikation kümmern muss. Auf der anderen Seite sind die meisten schlüssel-basierten Routingverfahren optimistische Verfahren, bei denen der Datenzugriff keine strenge Konsistenz bietet. In dieser Arbeit präsentieren wir das System Recode mit dem schlüssel-basierten Routingabstraktion routecast, welches eine strengere Zugriffssemantik ermöglicht. Dabei garantiert routecast, dass Nachrichten eines bestimmten Schlüssels in der gleichen Reihenfolge an alle Replikate geliefert werden. Mit Hilfe dieser strengeren Garantien können auch Anwendungen wie Koordinations- oder Metadatendienste bzw. konsistente Speichersysteme das schlüssel-basierte Routing verwenden. Recode ist außerdem rekonfigurierbar bei Veränderungen der zur Verfügung stehenden Maschinen sowie bei Auslastungsänderung. Es ist ein komplett dezentralisiertes System und enthält damit keinen single-point of failure oder Systemengpass. Die drei Hauptbeiträge der Arbeit sind 1) die Abstraktion der Gruppenkommunikation unter Verwendung von Primary/Backup mit Leases für ein failover des Primary, 2) die Entwicklung und die Algorithmen der routcast-Primitive, 3) Mechanismen zur atomaren Rekonfiguration des dezentralen Schlüsselraumes. Um die Einfachheit unseres Ansatzes zu betonen, beschreiben wir außerdem drei verschiedene Anwendungen aufbauend auf Recode. Abschließend zeigen wir durch die Evaluation von Recode in einer Cluster-Umgebung die Leistungsfähigkeit.
Scalable key-based routing in distributed systems, where a mes- sage is forwarded towards a machine responsible for a partition in a large key space, has been used in many services such as key-value stores, content distribution networks and media streaming. This success can mainly be attributed to the simplicity of the route ab- straction, a developer does not need to care about the mechanisms for membership management, load balancing or data replication. A limitation, however, is that most key-based routing solutions are best-effort, which means that only eventually consistent data access is possible. This thesis presents a system (Recode) with a key-based routing primitive called routecast which provides strong delivery semantics. More specifically, routecast guarantees that a message for a key is delivered in the same total order at a set of replicas. With stronger guarantees, applications such as coordination and metadata services as used in large storage systems or consistent key-value stores can use key-based routing. Additionally, Recode aims to be both re- configurable, to handle changes to the machines running the service and updates to the workload, and fully decentralized which means there is no single point of failure or bottleneck. We make three main contributions in this thesis: 1) a group com- munication abstraction using primary/backup with leases for pri- mary fail-over, 2) the design and algorithms of the routecast-primitive and, 3) mechanisms for atomic reconfiguration of a decentralized key space. Each part of the system is broken up into modules and presented with a specification and a set of algorithms. To validate the simplicity claim, we describe how to implement three different applications on top of Recode. Finally, we evaluate Recode in a cluster environment and show that the performance is competitive.

Styles APA, Harvard, Vancouver, ISO, etc.

50

Karlsson, Cecilia, et Svante Kristensson. « Konsistens vid indexering av skönlitteratur för barn och ungdom ». Thesis, Högskolan i Borås, Institutionen Biblioteks- och informationsvetenskap / Bibliotekshögskolan, 2003. http://urn.kb.se/resolve?urn=urn:nbn:se:hb:diva-20951.

Texte intégral

Résumé :

The aim of this thesis is to evaluate a Swedish subject headings list for childrens and young adults fiction, from the perspective of consistency, and to analyze this concept's importance as a tool for measuring indexing quality. Another aim is to examine how librarians view the subject headings list as an aid for indexing fiction. The main questions are: How does the degree of consistency change when using a subject headings list for indexing fiction compared to free indexing? How does indexing change according to the facets Form/Genre, Time, Space, Matter and Person when using the list? What do consistency calculations reveal about indexing quality? How do the participants look upon the list as an aid for indexing? The empirical material consists of results from two different indexings of fiction, conducted by librarians. Consistency is calculated using Hoopers and Rollings algorithms. The results reveal that the level of consistency is marginally higher when using the subject headings list and words used for describing content are almost identically chosen from the five facet groups in the two separate indexing occasions. Further results show that calculations of consistency is an insufficient method of assessing indexing quality and finally that the librarians mainly consider the list as a useful means for indexing. The main conclusions of the study are: Subject headings lists should be completed with instructions on how to be used. The rule of only assigning indexing terms to topics appearing in more than 25% of the content, should also be used when indexing fiction. Consistency calculations should be combined with studies on indexing efficiency. The amount of words describing fiction should be limited. Some parts of the list used in this study ought to be revised and the structure of the final edition should be considered.
Uppsatsnivå: D

Styles APA, Harvard, Vancouver, ISO, etc.

Thèses sur le sujet « Konsistenz »

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres