bluuebunny/crossref_metadata_2025 huggingface dataset:
Geometry Effects for Specific Electrical Conductance in Clays and Soils
Authors: Cremers A. , van Loon J. , Laudelout H.
Published: August 2006

A systematic study of the influence of salinity and clay content on the electrical conductivity of sodium-illite clay gels shows that the geometry or “formation resistivity factors” of such systems can adequately be described by the model of oblate ellipsoids, used to simulate the shape of the clay particles. This conclusion is in agreement with the results previously obtained on kaolinite and montmorillonite clays. An axial ratio of 16 was found for the illite clay particles.

On the basis of Burger’s and Maxwell’s equations for electric flow through porous media, formulae are derived for calculating the electrical conductivity of mixed systems, i.e. “clay 1 + clay 2 + electrolyte solution” and “clay + spherical particles + electrolyte solution”. The electrical conductivity of these systems is expressed in terms of the shape parameters, surface conductances, specific surfaces and volume concentrations of the constituents. The type of equation can eventually lead to an explanation (in terms of a non-uniform particle shape distribution) of the anomalous geometry effects in some clays.

Experimental results conform fairly well to the equations. Glass powder at volume fraction between 0.18 and 0.60 added to a 17.4% montmorillonite gel acts as an inert diluent on the specific electrical conductivity of the mixture. For a mixture of 1 part montmorillonite to 9 parts kaolinite, the measured specific electrical conductivity agrees within about 10% with the predicted over the range studied (volume fraction of montmorillonite: 0.035 to 0.039; mixture porosity: 0.61 to 0.660; salt concentration range: 0.5 n to 2 n NaCl).
Low-Frequency (OH)− Motions in Layer Silicate Minerals
Authors: Naumann A. W. , Safford G. J. , Mumpton F. A.
Published: August 2006

Neutron inelastic scattering spectra for kaolinite, dickite, pyrophyllite, and muscovite show a characteristic peak between 850 and 910 cm−1, while those for chrysotile, antigorite, talc, phlogopite, and amphibole minerals show characteristic peaks at 620–650 cm−1 and 460–510 cm−1. These peaks correspond to localized torsional oscillations of (OH)− groups. Lower-frequency peaks are also observed and are associated with optical and acoustic modes involving hindered translations. Within a series, the similarity in the shapes and the positions of the peaks indicates that the motions of the (OH)− groups are determined primarily by nearest-neighbor cation coordination. Differences between the two series can be attributed to the different environments when the octahedral layer of the lattice is populated either by two or by three cations.

The spectra of the hydrated minerals, montmorillonite, hectorite, and halloysite, show lines characteristic of liquid water. Upon dehydration, peaks corresponding to the motions of structural (OH)− units are observed.
The impact of job insecurity and contract type on attitudes, well‐being and behavioural reports: A psychological contract perspective
Authors: De Cuyper Nele , De Witte Hans
Published: August 2006

Research on the impact of job insecurity for temporary employees has been largely exploratory and atheoretical in nature. This paper addresses this issue by considering the role of job insecurity on job satisfaction, organizational commitment, life satisfaction, and self‐rated performance among permanent employees (N = 396) as compared with temporary ones (N = 148). Hypotheses are formulated using the tradition of transactional versus relational psychological contract types. Psychological contract theory assumes (1) that job insecurity effects are due to a violation of the relational psychological contract, and (2) that permanents as compared with temporaries engage more in relational psychological contracting. As a result, job insecurity is expected to be problematic in terms of outcomes for permanents, but not for temporaries. Results validate the assumptions made in psychological contract theory. Furthermore, job insecurity proved problematic for permanents but not for temporaries when job satisfaction and organizational commitment are concerned. No such differential effects are observed for life satisfaction and self‐rated performance. Implications for future research are discussed.
The art of stress
Authors: Bicknell Martin , Liefooghe Andreas
Published: August 2006

This article argues that the later work of Foucault, notably that set out in The History of Sexuality, can make a useful contribution to organizational and occupational psychology. It goes on to analyse accounts of stress, related by client‐service workers during interviews, using concepts informed by this work. Such a method of analysing a key work experience takes us beyond the positivism that dominates the large stress literature. Our emphasis is on Foucault's ideas relating to the creation of oneself as a work of art and the moral problematization of pleasure, rather than the more commonly applied surveillance and disciplinary controls. We consider stress discourse in this light and note the often overlooked heterogeneity of these stress accounts and self‐portraits. We note that creation of self may itself be a ‘stressful’ process. This use of Foucault allows a rich reading of stress discourses and could, the authors believe, be applied in other organizational and occupational research.
Strength in Numbers: The Couple Relationship in Adult Therapy
Authors: Halford W. Kim
Published: August 2006

The thesis advanced in this essay is that couple relationship interventions are central to effective therapy with many adult clients. I begin by reviewing a body of evidence that demonstrates the significance of couple relationships in the lives of most adults. A range of circumstances are described in which effective therapy with adults needs to address the couple relationship, even when the couple relationship is not mentioned as a presenting issue. It is concluded that individual psychological adjustment often is best understood when conceptualised within the intimate interpersonal context of the couple relationship.
Rechtssicherheit von Point-of-Care-Tests / Legal certainty of point-of-care tests
Authors: Meyer-Lüerßen Dierk , Meyer-Lüerßen Inka
Published: August 2006

Der Patient hat aus Behandlungsvertrag und/oder Deliktsrecht Anspruch darauf, dass ihm eine dem Stand der Wissenschaft und Technik entsprechende Diagnostik, hier Labordiagnostik, gewährt wird. Das heißt, nicht eine Maximaldiagnostik, sondern eine einen ausreichenden medizinischen Standard erreichende Diagnostik, ausgerichtet an den medizinischen Erfordernissen. Dies hängt nicht von der Technologie – Point-of-Care-Tests (POCT) oder nicht – ab. Eine Ausnahme kann nur in eng begrenzten Ausnahmesituationen in Betracht kommen, wenn die Alternative gar kein Testergebnis ist oder ein qualitativ schlechtes Ergebnis, das dennoch die Diagnosefindung befördert.
Patientennahe Diagnostik in Krisensituationen / Near patient testing in exceptional situations
Authors: Friedewald Steffen , Finke Ernst-Jürgen , Dobler Gerhard
Published: August 2006

Point-of-Care-Testing (POCT) in der klinisch-mikrobiologischen Akutdiagnostik von gemeingefährlichen Infektionskrankheiten könnte nach einem Großschadensereignis, beispielsweise nach einem bioterroristischen Anschlag, die vor Ort verantwortlichen Führungskräfte bei ihrer ethisch schwierigen Aufgabe, der Triage der betroffenen Personen, unterstützen.

Aufgrund des in einer solchen Krisensituation möglicherweise erheblichen Einflusses auf die Gesundheit der Allgemeinbevölkerung ist POCT in diesem Bereich weltweit von Bedeutung und entsprechende Weiterentwicklungen sind von großem Interesse. Wegen der Folgen, die sich für die betroffenen Personen aus den Testresultaten ergeben könnten, sind bei der Evaluierung und Validierung strengste Maßstäbe anzulegen. Allgemein gilt, dass die Qualität von POCT in direktem Zusammenhang mit der Qualität der medizinischen Versorgung von Patienten steht. Deshalb muss patientennahe Labordiagnostik grundsätzlich auch dieselben Qualitätsstandards erfüllen wie Untersuchungen in einem medizinischen Zentrallabor.

Die Weiterentwicklung von POCT zum Nachweis von Agenzien, die im Rahmen eines bioterroristischen Anschlags verwendet werden könnten, ist sehr aufwändig, kostenintensiv und nicht ohne Gefahren. Auch die Präanalytik ist bei diesen Tests meist sehr anspruchsvoll und von unerfahrenen Personen kaum zu leisten. Aufgrund unzureichender Leistungsdaten der Tests kommt es bei niedriger Prävalenz der nachzuweisenden Infektion zu einer hohen immanenten Falsch-negativ-Rate und damit unter Umständen zu einer falschen Einschätzung der Katastrophenlage. Unter Beachtung dieser Aspekte muss der Sinn entsprechender Weiterentwicklungen diskutiert werden. Hinzu kommt, dass die Kenntnisse bezüglich B-Agenzien und der Erkennung der gegebenenfalls durch ihren Einsatz hervorgerufenen Krankheitsbilder unter den in Deutschland klinisch tätigen Ärzten eher gering sind. Daher ist es fraglich, ob die Möglichkeiten von spezifischem POCT zur Aufklärung von B-Agenzien überhaupt sinnvoll genutzt würden.

Ein weiteres Feld ist die Diagnostik im Rahmen eines natürlichen außergewöhnlichen Seuchengeschehens (ASG). Hier liegen ausgiebige Erfahrungen mit POCT bei Influenza-Epidemien und -Pandemien vor. Es zeigt sich auch hier das Problem, dass zu Beginn eines Ausbruchs, d.h. bei noch relativ niedriger Prävalenz der Erkrankung, teilweise extrem hohe Raten falsch-negativer Ergebnisse auftreten, die eine falsche Sicherheit vermitteln und zu einer unter Umständen fatalen Fehleinschätzung der Lage führen können.

Der “Orphan”-Status potentieller B-Agenzien und in Deutschland nicht endemischer Infektionskrankheiten hat ein Defizit an ausreichend sensitiven und zuverlässigen, kommerziellen Schnellnachweis-Tests zur Folge. Es werden jedoch derzeit molekularbiologische Hand-Held-Schnelltests (Stichwort: Lab-on-a-Chip) entwickelt, die in Zukunft gegebenenfalls auch als POCT Verwendung finden könnten.
Modellierung flexibler Fertigungslinien und Bestimmung gültiger Produktionsfolgen mit Hilfe einer ereignisdiskreten Zustandsbeschreibung (Modelling of Flexible Assembly Lines and Production Sequencing Based on a Discrete State Description)
Authors: Frey Georg
Published: August 2006

Die Massenproduktion von Gütern mit kundenspezifischer Ausstattung, wie z.B. Autos, wird heute zumeist auf Fertigungslinien betrieben. Dabei werden die Aufträge durch mehrere Bearbeitungszonen transportiert. Variierende, vom jeweiligen Auftrag abhängende, Bearbeitungszeiten in den einzelnen Bearbeitungszonen zwingen zur Reihenfolgeplanung, da die Linie einerseits nahe an der Kapazitätsgrenze gefahren werden soll, aber andererseits sichergestellt sein muss, dass genügend Zeit bleibt, um die erforderlichen Tätigkeiten auszuführen. In diesem Beitrag wird eine Methode vorgestellt, die sich aus zwei Schritten zusammensetzt und die schnelle Reihenfolgeplanung selbst für große Problemdimensionen erlaubt. Das Wissen über die Eigenschaften der Fertigungslinie und die zu erwartenden Produktionsaufträge wird einmalig durch ein Petrinetz modelliert. Für eine gegebene Auftragsmenge kann dann basierend auf T-Invarianten sehr effizient eine Bearbeitungsreihenfolge ermittelt werden.
Zustandsschätzung für Rohrreaktoren mit Messungen am Reaktoraustritt (State Estimation for Tubular Reactors with Measurements at the Outlet only)
Authors: Gesthuisen R. , Engell Sebastian
Published: August 2006

In diesem Beitrag wird der Entwurf von Beobachtern mit konzentrierten Parametern für Systeme mit verteilten Parametern mit Messungen nur am Austritt des Systems diskutiert. Die notwendigen Voraussetzungen für den Entwurf eines Beobachters für das durch polynomiale Approximation und orthogonale Kollokation diskretisierte System werden hergeleitet. Die Beobachtbarkeit wird mit der Graphentheorie nachgewiesen. Als Beispiel für die Anwendbarkeit des Verfahrens dient der Prozess der kontinuierlichen Produktion von Polyamid-6 in einem isothermen Rohrreaktor mit Recyclestrom, wobei am Reaktoraustritt die Viskosität, sowie zwei Konzentrationen in der Polymerschmelze gemessen werden.
Anwendung von adaptiven Reglern in einem Solarkraftwerk (Application of Adaptive Controllers to a Solar Power Plant)
Authors: Pickhardt R.
Published: August 2006

In diesem Beitrag werden Tests beschrieben, die 1997 und 1998 im experimentellen Solarkraftwerk an der Plataforma Solar de Almería (Spanien) durchgeführt wurden. Im Wesentlichen wurden zwei verschiedene Strategien unter Verwendung von adaptiven Regelungskonzepten erprobt:

- Um das nichtlineare Verhalten der Regelstrecke zu beschreiben, wurden unterschiedliche dynamische Modelle für die jeweiligen Betriebspunkte implementiert und in Verbindung mit einem adaptiven Standard-Regelalgorithmus wie LQG oder GPC verwendet (Multi-Modell-Verfahren)

- Aus den physikalischen Beziehungen für den durch die Sonnenenergie hervorgerufenen Aufheizprozess wurde ein nichtlineares Modell der Regelstrecke entwickelt, dessen Parameter on-line geschätzt werden. Dieses Ein-Ausgangsmodell wird für den Entwurf eines adaptiven prädiktiven Reglers verwendet, der auf einer einfachen Suchstrategie basiert und für einen gegebenen Prädiktionshorizont ein Gütefunktional minimiert.
Stabilization of The Triple Spherical Inverted Pendulum – A Simultaneous Design Approach
Authors: Hoshino T. , Kawai H. , Furuta K.
Published: August 2006

This paper describes the stabilizing control of a triple spherical pendulum around its upright position using a planer manipulator and a vision sensor. The control problem is especially difficult because of the controller limitation such as the low sampling rate of the vision system. To achieve the stabilization, the authors simultaneously design the pendulum structure and the controller. This gives better optimization result than that of designing only the controller for a given pendulum. The effectiveness of the proposed approach has been confirmed through experiments.
Vollständige Modale Synthese robust hyperstabiler Mehrgrößenregelkreise (Complete Modal Synthesis of Robustly Hyperstable Multivariable Control-loops)
Authors: Schmitt-Braess Gabriele
Published: August 2006

Die Tatsache, dass die Gegenkopplung zweier asymptotisch hyperstabiler Systeme auf einen Regelkreis mit global asymptotisch stabiler Ruhelage führt, lässt sich zum Entwurf robuster Regelungen einsetzen.

Im vorliegenden Beitrag wird davon ausgegangen, dass eine Strecke für alle Parameterschwankungen durch das Einbringen von Korrekturgliedern hyperstabilisiert werden kann; überdies wird angenommen, dass dabei eine Mehrgrößen-Strecke resultiert. Die so erhaltene Strecke wird anschließend durch konstante bzw. beobachtergestützte Zustandsrückführung derart geregelt, dass sich im Nominalfall eine durch Polvorgabe einstellbare Regelkreisdynamik ergibt. Die im Mehrgrößenfall über die Polvorgabe hinaus vorhandenen Reglerfreiheitsgrade werden genutzt, um den Reglerblock im Rückführzweig ebenfalls asymptotisch hyperstabil zu machen, wobei das Verfahren der Vollständigen Modalen Synthese zum Einsatz kommt.

Als Ergebnis erhält man einen robust stabilen Regelkreis, der im Nominalfall die vorgegebenen dynamischen Eigenschaften besitzt.
Reglerentwurf mit Hilfe des Automatischen Differenzierens (Controller Design using Automatic Differentiation)
Authors: Röbenack Klaus , Reinschke Kurt J.
Published: August 2006

Beim Regler- und Beobachterentwurf für nichtlineare Systeme werden häufig Lie-Ableitungen eingesetzt. Ihre Berechnung erfolgte bisher meist symbolisch und war daher sehr rechenzeitaufwendig. Mit Hilfe des Automatischen Differenzierens lassen sich die Funktionswerte von Lie-Ableitungen effizient bestimmen.
Modellbildung und Regelung des Hirndrucks (Modeling and Control of Intracranial Pressure)
Authors: Walter M. , Leonhardt Steffen , Kiefer M. , Steudel W.-I. , Isermann Rolf
Published: August 2006

In diesem Beitrag wird die Anwendung klassischer Methoden der Automatisierungstechnik auf die Therapie des erhöhten Hirndrucks aufgezeigt. Ausgehend von einer Modellbildung des zu Grunde liegenden biologischen Systems wird gezeigt, wie pathologische Zustände des Hirndrucks durch Signalanalyse gemessener Drucksignale frühzeitig erkannt werden können. Hierbei werden Methoden der expliziten Frequenzschätzung angewandt. Darauf aufbauend wird ein Regelsystem zur Therapie eines chronisch erhöhten Hirndrucks vorgestellt, das zunächst bei der extrakorporalen stationären Therapie und in Zukunft als Implantat dauerhaft den Hirndruck normalisieren kann.
Some Aspects of Switching Control in Robot Locomotion
Authors: Spong M.W.
Published: August 2006

This paper gives an overview of some nonlinear control problems in bipedal locomotion, robot gymnastics, and robot air hockey and discusses some interesting interconnections among them. These problems are fundamentally related to the control of redundant and underactuated robots particularly with respect to the application of hybrid and switching control. We relate the general problem of switching control to problems of swingup and balance of gymnastic robots and gait control in bipedal locomotion and relate these ideas to impulsive manipulation, and robot air hockey.
Innenlärmminderung bei Helikoptern durch aktive Körperschallisolation (Helicopter Interior Noise Reduction by Active Vibration Isolation)
Authors: Maier R.
Published: August 2006

Dieser Beitrag zeigt die Möglichkeiten zur Lärmminderung mit Hilfe aktiver Systeme am Beispiel der aktiven Körperschallisolation für Hubschrauberkabinen auf. Bei Helikoptern stellt das Getriebe eines der Hauptlärmquellen dar. Der Lärmpegel bei den Zahneingriffsfrequenzen ist meist 1020dB höher als der breitbandige Lärmanteil. Typischerweise liegt das Getriebegeräusch im Frequenzbereich von ca. 700Hz bis 4kHz. Untersuchungen haben gezeigt, dass dieses Getriebegeräusch vorwiegend als Körperschall über die sogenannten Getriebestreben in die Kabine geleitet wird. Aktive Isolation des Körperschalls durch Einleitung zusätzlicher Kräfte an den Getriebestreben stellt daher eine vielversprechende Maßnahme zur Lärmminderung dar. In diesem Beitrag werden Aufbau eines prototypischen Systems zur aktiven Schwingungsisolation, d.h. der Aktorik, Regelung und Sensorik, sowie Ergebnisse aus Laboruntersuchungen und Tests an einem BK117 Helikopter vorgestellt. Die Eigenschaften des eingesetzten mehrkanaligen Regelungsverfahrens, das auf dem sogenannten filtered-x LMS Algorithmus beruht, werden detailliert erörtert.
Automatisierung bei der Fahrzeugführung im Straßenverkehr (Automation in Road Traffic)
Authors: Naab Karl
Published: August 2006

Intelligente Fahrerassistenzsysteme werden künftig den Autofahrer bei Aufgaben der Fahrzeugführung unterstützen. Sie werden helfen, die Fahrerbelastung zu verringern, die Auswirkungen fahrerspezifischer Defizite zu entschärfen und somit einen wirkungsvollen Beitrag zur Erhöhung von Fahrkomfort und Fahrsicherheit leisten. Damit wird auch die Verringerung von Kraftstoffverbrauch und die okönomischere Ausnutzung des verfügbaren Straßenraumes verbunden sein, um die Belastung der Umwelt durch den weiter anwachsenden Straßenverkehr in Grenzen zu halten. Im vorliegenden Beitrag werden Fragen der technischen Realisierung und einer evolutionären Entwicklungs- und Einführungsstrategie solcher Fahrerassistenzsysteme diskutiert. Dabei spielt die Anpassung des Automatisierungsgrades von Fahraufgaben an die menschliche Informationsverarbeitung und die richtige Aufgabenverteilung zwischen Fahrer und System eine besondere Rolle. Zwei realisierte Assistenzsysteme zur Längs- und Querführungsunterstützung werden vorgestellt.
Trajektorienplanung für Bewegungen eines autonomen, zweibeinigen Roboters im menschlichen Lebensraum (Path Planning for Movements of an Autonomous, Bipedal Robot in the Human Environment)
Authors: Albert Amos , Hofschulte J.
Published: August 2006

Eine aktuelle Forschungsrichtung auf dem Gebiet der Serviceroboter beschäftigt sich mit der Suche nach geeigneten Bewegungsmechanismen. Dabei wird auch die zweibeinige Fortbewegung untersucht. Dieser Aufsatz stellt zwei Ansätze für die Ermittlung geeigneter Trajektorien vor. Diese sind zum einen ein analytischer Ansatz für das dynamisch stabile Gehen auf zwei Beinen auf ebenem Untergrund, zum anderen ein Optimierungsmechanismus zur Trajektorienplanung für das statische Treppensteigen.
Datenbasierter Entwurf von Fuzzy-Systemen für medizinische Diagnoseaufgaben (Data-based Design of Fuzzy Systems for Medical Diagnostic Problems)
Authors: Mikut Ralf , Jäkel J. , Malberg H. , Bretthauer Georg
Published: August 2006

Der Beitrag befasst sich mit dem datengestützten Entwurf von Fuzzy-Systemen für medizinische Diagnoseaufgaben. Dazu werden zunächst relevante Verfahren in einem Überblick vorgestellt, wobei der Schwerpunkt auf baumorientierten Methoden zur Generierung von Fuzzy-Regeln liegt. Im zweiten Teil wird ein neues Verfahren beschrieben, das die Induktion von Entscheidungsbäumen und deren Transformation in Fuzzy-Regeln beinhaltet. Diese Regeln bilden den Ausgangspunkt für die Generierung und Bewertung neuer, generalisierter Regelhypothesen, aus denen abschließend kooperierende Regeln zu einer Regelbasis zusammengestellt werden. Die Darstellung des Verfahrens bezieht die Anwendung bei einer kardiologischen Diagnoseaufgabe ein.
Zur Online-Bestimmung von Zuverlässigkeits- und Nutzungskenngrößen innerhalb des SRCE-Konzeptes (Online-Determination of Reliability Characteristics as a Modul of the SRCE-concept)
Authors: Söffker Dirk
Published: August 2006

Im Beitrag wird die Realisierung der Online-Bestimmung von Zuverlässigkeits- und Nutzungskenngrößen innerhalb des Safety Reliability and Control Engineering Konzeptes (SRCE) vorgestellt. Das SRCE-Konzept hat das Ziel, Nutzungs- und Zuverlässigkeitseigenschaften dynamischer Systeme zu überwachen und zu regeln. Eine derartige Regelung beinhaltet daher die Verknüpfung klassischer (direkt messbarer, physikalischer) Größen mit nicht direkt messbaren, nicht physikalischen technischen Kenngrößen innerhalb des Regelkreises.

Zur Realisierung des Konzeptes ist die laufende Bestimmung der Zuverlässigkeitskenngrößen des betrachteten Systems notwendig. Hierzu werden im Beitrag Ausfallraten definiert, welche die aktuelle Beanspruchung und die Beanspruchungsgeschichte des Systems berücksichtigen. Auf Basis derartiger beanspruchungs- und lebensdauerorientierter Kenngrößen lassen sich aufsetzende Regelungs- oder Überwachungsstrategien in zahlreichen Anwendungsfeldern der Automatisierungstechnik realisieren.

Die Vorgehensweise wird am praktischen Beispiel der Überwachung eines Kfz-Reifens demonstriert.
Fahrzeugführung durch ein Fahrermodell (Trajectory Finding as Part of a Driver Model)
Authors: Preuße Ch. , Keller H. , Hunt K. J.
Published: August 2006

Ausgehend vom realen Fahrer wird im vorliegenden Aufsatz ein Fahrermodell entwickelt, das strikt zwischen der Sollwertgenerierung und einer Folgeregelung des Fahrzeugs unterscheidet. Die Sollwerte werden dabei in Anlehnung an die Struktur prädiktiver Regelungen durch sukzessive lokale Optimalsteuerungsprobleme erzeugt, die mit numerischen Verfahren gelöst werden können. Durch diesen Ansatz sind die Eigenschaften des Fahrers frei konfigurierbar. Bei der Sollwertgenerierung wird ausschließlich auf lokale (Mess-)Daten zurückgegriffen, was den Einsatz bei on-line Berechnungen ermöglicht. Der Ansatz ist dabei keineswegs auf Fahrermodelle beschränkt.
Technical Application of Hybrid Modeling Methods to specify Function Block Systems
Authors: Enste U. , Epple U.
Published: August 2006

In spite of large improvements of formal modeling methods, their technical application in industrial process control implementations is still rare. Two reasons can be pointed out. First, there is still a gap between the formal modeling languages and the control languages used in industrial process control systems respectively specified in normative standards. Second, the focus of the modeling aspects is mostly on the control algorithms itself. Looking at industrial applications, these pure control algorithms yield often just 10 % or less of the behaviour and the signal flows of a control unit. All other aspects like synchronisiation or occupying mechanisms are usually unconsidered.

As a consequence of these arguments, first a new framework was developed for specifying modular function block applications in a comprehensive and formal way. Second, a generic template for batch-oriented process control blocks was designed, which takes all aspects of operational handlings into account. Both models  the framework and the template  are described using graphgrammars and hybrid modeling methods. The whole approach appears usefull for normative commitees and for large vendors of process control systems who have to develop function block applications or maintain and merge big function block libraries.
Approaches to the Formal Verification of Hybrid Systems
Authors: Kowalewski St. , Herrmann P. , Engell Sebastian , Huuck R. , Krumm H. , Lakhnech Y. , Lukoschus B. , Treseler H.
Published: August 2006

This paper presents two different approaches to the problem of formally verifying the correctness of control systems which consist of a logic controller and a continuous plant and, thus, constitute a hybrid system. One approach aims at algorithmic verification and combines Condition/Event Systems with Timed Automata. The first framework is used to model the controller and the plant in a block-diagram representation, which is then translated into the latter model for analysis by available tools. A second approach is presented which is based on deductive verification. It allows for a structured analysis of compositional specifications formulated in a temporal logic called cTLA. This logic is a compositional style of the Temporal Logic of Actions established in Computer Science by Lamport. Both approaches are introduced using a common example and the results of their application are discussed. As an outlook, a possible strategy for integrating algorithmic and deductive verification of hybrid systems is sketched at the end of the paper.
Reglersynthese mit Hilfe linearer Ungleichungen (Controller Synthesis using Linear Inequalities)
Authors: Linnemann A.
Published: August 2006

Es wird eine Methode zur rechnergestützten Synthese linearer Regler vorgestellt. Sie beruht auf einer direkten Berechnung des freien Parameters Q in der Parametrisierung aller stabilisierenden Regler. Regelungsvorgaben im Zeit- und Frequenzbereich werden in Form von linearen Ungleichungen an Q berücksichtigt. Diese Ungleichungen werden approximiert und mittels linearer Optimierung gelöst. Die Approximation wird durch eine Diskretisierung, unter anderem der Zeit- und Frequenzachse, sowie durch eine Festlegung einiger Eigenwerte des geschlossenen Regelkreises realisiert.
Architektur und Anwendungen eines zugelassenen Medizinroboters (Architecture and Applications of an Approved Medical Robotic System)
Authors: Hein Andreas , Lüth Tim
Published: August 2006

In diesem Beitrag wird das weltweit erste am Patienten eingesetzte Robotersystem für die Mund-, Kiefer- und Gesichtschirurgie vorgestellt. Das am Fachgebiet Navigation und Robotik entwickelte System unterscheidet sich vor allem durch die vollständig interaktive Führung durch den Chirurgen von existierenden Systemen. Aus der Sicht der Telerobotik kann das System als ein kombinierter Master/Slave-Manipulator betrachtet werden. Die aus diesem Konzept resultierenden Vorteile und die neuen Problemstellungen besonders für die neue Anwendung des Roboters in der Wirbelsäulenchirurgie werden in diesem Beitrag vorgestellt.
Nachhaltiges Planen, Bauen und Wohnen im Informationszeitalter – Herausforderungen an die Automatisierungs- und Informationstechnik (Sustainable Design, Construction and Living in the Information Age – Challenges for Automation and Information Technology)
Authors: Bretthauer Georg , Dietze S. , Häfele K.-H. , Isele J. , Jäkel J.
Published: August 2006

Das Ziel der Arbeit besteht darin, eine Übersicht über den gegenwärtigen Entwicklungsstand auf den Gebieten “Planen, Bauen und Wohnen” aus der Sicht der Automatisierungstechnik und der Informationstechnik zu geben. Schwerpunkte der Betrachtungen sind der Einsatz informationstechnischer Methoden während des Lebenszyklus eines Gebäudes, die Automatisierung in der Vorfertigung und auf der Baustelle sowie die Hausautomatisierung. Beispiele für zukunftsweisende Projekte und vor allem die skizzierten Perspektiven zeigen die neuen Herausforderungen an Automatisierungs- und Informationstechnik.
Die Radontransformation in der digitalen Bildverarbeitung (The Radon Transform in Digital Image Processing)
Authors: Beyerer J. , Puente León F.
Published: August 2006

Die Radontransformation entwickelt ein zu transformierendes Bild nach einem “Funktionensystem” bestehend aus δ-Geraden. Damit stellt die Radontransformierte eines Signales b(x
1,x
2) die Menge aller Parallelprojektionen von b(x
1,x
2) dar. Die Radontransformation konzentriert geradenhafte Signalanteile in ausgeprägte Extrema, die sich sicher detektieren lassen. Die Lagekoordinaten dieser Peaks sind verlässliche Schätzwerte der geometrischen Bestimmungsstücke kollinearer Strukturen. Der Aufsatz diskutiert quantitativ den Gewinn an Signal-zu-Rauschverhältnis durch Anwendung der Radontransformation. Daneben wird gezeigt, wie die Radontransformation zur Bildverbesserung eingesetzt werden kann. Weitere Themen sind die effiziente Implementierung mit Hilfe des Zentralschnitt-Theorems, der Zusammenhang mit der Houghtransformation sowie Anwendungsbeispiele.
Echtzeit-Optimierung von Kontaktkräften in mehrfingrigen Manipulationssystemen (Realtime Optimization of Robot Hand Grasping Forces)
Authors: Schlegl Th. , Buss Martin
Published: August 2006

In diesem Beitrag wird ein für den Einsatz im geschlossenen Regelkreis geeignetes Echtzeitoptimierungsverfahren zur Berechnung von optimalen Greifkräften bei mehrfingrigen Handmanipulationsvorgängen vorgestellt. Das Verfahren basiert auf einer Problemformulierung der unilateralen mechanischen Bindungen zwischen Finger und Objekt als semidefinite Programmierungsaufgabe, die durch ein zeitdiskretisiertes Gradientenfluss-basiertes numerisches Iterationsverfahren in wenigen Millisekunden gelöst werden kann. Experimentelle Resultate mit der Tokyo Institute of Technology Hand zeigen die überlegenen Eigenschaften des Optimierungsansatzes bei mehrfingrigen Manipulationsaufgaben. In einem Multimedia-Anhang zu diesem Artikel werden eine prototypische Implementierung des Ansatzes, einige experimentelle Daten und Kurzfilme der Experimente zur Verfügung gestellt.

Den Multimedia-Download zu diesem Beitrag finden Sie unter

www.rs.tu-berlin.de/~roha
Echtzeitoptimierung verfahrenstechnischer Anlagen am Beispiel der Olefinproduktion (Real Time Optimization of Chemical Processes with Application to Olefins Production)
Authors: Abel O. , Birk J.
Published: August 2006

Dieser Beitrag beschäftigt sich mit der Anwendung eines Echtzeitoptimierungsverfahrens auf einen Steamcracker der BASF AG, Ludwigshafen. Basis dieser Optimierung ist ein detailliertes Prozessmodell, dessen Freiheitsgrade mittels Methoden der nichtlinearen Programmierung so bestimmt werden, dass unter Beachtung zahlreicher Nebenbedingungen jederzeit mit höchstmöglichem wirtschaftlichem Erfolg produziert wird. Bei der Beschreibung der seit einigen Jahren erfolgreich eingesetzten Methode wird besonderer Wert auf eine Diskussion der produktionstechnischen Voraussetzungen für ihren Erfolg gelegt. Darüber hinaus geht der Beitrag detailliert auf die Formulierung der Gütefunktion und der Nebenbedingungen ein. Zur Illustration werden die für das Betriebspersonal graphisch und tabellarisch aufbereiteten Ergebnisse dargestellt. Der Beitrag schließt mit einer wirtschaftlichen Bewertung des Projekts und einem Ausblick auf zukünfige Arbeiten.
Optimal Control of the Driving of Trains (Optimale Steuerung der Fahrweise von Zügen)
Authors: Franke R. , Meyer M. , Terwiesch Peter
Published: August 2006

The optimal control of the driving of trains has been a field of active research for many years. The optimization objective is to drive a train so that the use of energy is minimized subject to time constraints and physical limitations. Most published results are based on the analytical solution of the problem for a simple linear train model and on empirical extensions. In this paper we consider a more detailed nonlinear train model. The methods of Sequential Quadratic Programming (SQP) and Discrete Dynamic Programming (DDP) are evaluated for the numerical solution of the nonlinear optimal control problem. The advantages of the treatment as nonlinear problem and of the use of DDP in this application are discussed on practical examples. Results obtained during the on-line application in a decision support system onboard of running trains are reported.
XML in der Automatisierungstechnik – Babylon des Informationsaustausches? (XML in Industrial Automation – The Angle-bracketed Writing on the Wall?)
Authors: Albrecht Harald , Meyer D.
Published: August 2006

XML schickt sich an, die Welt des Informationsaustausches in der Automatisierungstechnik zu erobern. Dank Klartextdarstellung lassen sich XML-basierte Austauschformate in babylonischer Vielfalt notfalls mit einfachsten Texteditoren erstellen. Dieser Beitrag beleuchtet die aktuelle Situation beim Einsatz von XML zum Protokollentwurf und untersucht verschiedene Möglichkeiten der XML-Bordmittel zur Prüfung ausgetauschter Informationen auf Gültigkeit im operativen Betrieb.
Die Spezifikationssprachen MSC und SDL / Teil 2: Specification and Description Language (SDL) (Specification and Description Language (SDL))
Authors: Grabowski J. , Rudolph E. , Schmitt M.
Published: August 2006

Im Telekommunikationsbereich haben sich Message Sequence Chart (MSC) und Specification and Description Language (SDL) als wichtigste Modellierungssprachen etabliert. Im ersten Teil dieses Artikels wurde die Anforderungsspezifikation mit MSC erläutert. Der vorliegende zweite Teil geht auf die Beschreibung von verteilten Systemen mit SDL ein und skizziert den Einsatz von modernen Software-Werkzeugen.
Ein Metamodell für den operativen Betrieb automatisierungs- und prozessleittechnischer Komponenten (A Meta-Model for Operational Procedure of Automation Components)
Authors: Albrecht Harald , Meyer D.
Published: August 2006

Für ein Verständnis zwischen Kommunikationspartnern im Rahmen einer informationsorientierten Automatisierungs- und Prozessleittechnik werden gemeinsame Anwendungsmodelle benötigt. Zur Repräsentation dieser anwendungsspezifischen Modelle lassen sich gemeinsame Grundelemente finden, um so einen Wildwuchs semantisch hoch spezialisierter Schnittstellen zu vermeiden. Dieser Beitrag schlägt ein generisches Metamodell vor, das sich für eine breite Klasse von Anwendungsmodellen aus der Automatisierungs- und Prozessleittechnik eignet.
Führung eines Prozesses zur optimalen Annäherung an den vorgegebenen Sollbereich und Anwendung auf ein Grundwasserleitersystem (Optimal Process Control Realizing the Closest Approach of the Regulated Output Signal to a Given Set and the Application to a Groundwater System)
Authors: Bartholomäus R. , Hinkel H.
Published: August 2006

Behandelt wird eine Klasse von Steuerungsaufgaben, bei denen für die Regelgröße ein Sollbereich anstelle eines Sollwertes vorgegeben sein kann und bei denen dieser Sollbereich aufgrund von Stellgrößenbeschränkungen nicht realisierbar ist. Die damit unlösbare Steuerungsaufgabe wird optimal in eine lösbare Aufgabe überführt, wobei ein Abstandsmaß eingeführt und minimiert wird, das die unvermeidliche Differenz zwischen dem geforderten Sollbereich und der realisierbaren Regelgröße misst. Bestehende Freiheitsgrade werden zur Kostenminimierung genutzt. Der entwickelte Algorithmus wird zur Steuerung eines Grundwasserleiters angewendet.
Beobachtung des Patientenzustands bei Herzoperationen (Observing Patient Status during Cardiac Surgery)
Authors: Naujokat E. , Kiencke Uwe
Published: August 2006

Die meisten Eingriffe in der Herzchirurgie erfordern ein stillgelegtes, blutleeres Herz und werden daher unter extrakorporaler Zirkulation (EKZ), das heißt mit Hilfe einer Herz-Lungen-Maschine (HLM) durchgeführt. Während der EKZ sind viele wichtige Kreislaufgrößen unbekannt, da für Messsonden unzugänglich, wie zum Beispiel die Perfusion von Gehirn und Nieren, oder werden nur in größeren Zeitabständen erfasst, wie zum Beispiel die Messgrößen der Blutanalyse. In diesem Beitrag wird ein Beobachtersystem vorgestellt, das derartige Patientenparameter kontinuierlich intraoperativ schätzt. Dadurch wird die Informationsbasis für die Entscheidungen des Kardiotechnikers zur Regelung der HLM erweitert, und somit wird dazu beigetragen, postoperative Schäden für den Patienten zu vermeiden.
Modellbildung und Simulation von Gefäßwachstum, Stoffverteilung und Tumorangiogenese (Modelling and Simulation of Vascular Growth, Substance Distributions and Tumorangiogenesis)
Authors: Gödde R. , Düchting W.
Published: August 2006

Eine große Herausforderung der Medizin an die System- und Regelungstechnik stellt die Modellbildung und Simulation von Krebskrankheiten dar, die aus regelungstechnischer Sicht als strukturinstabil gewordene Regelkreise interpretiert werden können. Zur Zeit liegt ein Schwerpunkt der medizinischen Forschung bei der sogenannten Tumorangiogenese (Gefäßbildung in Tumoren). Hierbei handelt es sich darum, dass eine bereits minimale Zahl von Tumorzellen spezielle Wachstumsfaktoren (Proteine) aussendet, welche die normalen Kapillaren veranlassen, neue, weitere Gefäße zu bilden (Neovaskularisierung), mit deren Hilfen den Tumorzellen verstärkt Nährstoffe (z.B. Sauerstoff, Glukose) zugeführt werden können, was zu einem schnelleren Wachstum des Tumors führt. Andererseits führen wachsende solide Tumore unter anderem zu einer Gewebedeformation, die sich nachteilig auf die für eine Therapie notwendige medikamentöse Erreichbarkeit des Tumorgewebes auswirkt. Die dynamische Generation und Degeneration von Kapillaren (kleinste Austauschgefäße) spielt somit bei der Lösung des Krebsproblems eine ganz entscheidende Rolle. Der vorliegende Beitrag befasst sich deshalb schwerpunktmäßig mit neuartigen Ansätzen der dynamischen Strukturbildung sowie mit der Symbiose zwischen den bisher getrennten Forschungsgebieten “Morphologie” und “Physiologie”.
Automatisiertes Lokomotionstraining auf dem Laufband (Automated Locomotor Training on the Treadmill)
Authors: Colombo G. , Jörg M. , Jezernik S.
Published: August 2006

Bei der Rehabilitation von Patienten mit Gehstörungen hat sich das manuell geführte Laufbandtraining mit Gewichtsentlastung als sehr effektiv erwiesen. Um die Therapeuten von der körperlich anstrengenden Arbeit zu entlasten und die Möglichkeiten des Trainings zu verbessern, wurde eine angetriebene Orthese entwickelt, welche dieses Training automatisiert. Mit Hilfe dieser an verschiedene Patienten anpassbaren Orthese ist es möglich, Gehbehinderte auf einem Laufband passiv gehen zu lassen.
TÜV-Prüfung der Sicherheit und Fehlertoleranz elektronischer Steuerungen (TÜV Approval of Safety-aspects and Fault Tolerance of Electronic Systems)
Authors: Pofahl E.
Published: August 2006

Sicherheitsgerichtete elektronische Steuerungen dringen in Bereiche vor, in denen bisher Vorbehalte gegen Elektronik und Software bestanden haben. In den letzten Jahren sind generische Standards entstanden, die Anforderungen für Elektrik, Elektronik und Software in der Sicherheitstechnik formulieren. Auf der anderen Seite sind im Rahmen der Öffnung der europäischen Märkte viele nationalstaatliche Überwachungsfunktionen früherer Zeiten, z.B. durch die Gewerbeaufsichtsämter entfallen, mit Hinblick auf eine erweiterte Haftung im Rahmen von Produkthaftungsgesetzen. Unabhängig von behördlichen Zwängen kann die Einhaltung von Standards und Richtlinien von den Technischen Überwachungsvereinen (TÜV) als unabhängiger Stelle im Rahmen einer “Third Party Inspection” erfolgen. Der Artikel gibt einen Überblick über die dabei angewendeten Methoden.
Elektronische Multimodale Bedien- und Service-Assistenz – Das Leitprojekt EMBASSI (Electronic Multimodal Operation and Service-Assistance – Lead Project EMBASSI)
Authors: Herfet Th. , Kirste Th. , Schnaider M.
Published: August 2006

EMBASSI ist ein vom Bundesministerium für Bildung und Forschung (BMBF) gefördertes Leitprojekt, das sich mit der Entwicklung innovativer Mensch-Maschine-Interaktionstechniken befasst. Im Rahmen von EMBASSI bezieht sich der Begriff "Maschine" dabei insbesondere auf technische Systeme, die aus einer Reihe von verteilten vernetzten Geräten bestehen. Die Zielsetzung bei EMBASSI ist die Entwicklung einer generischen Architektur für intuitive, multimodale und ziel-basierte Interaktionen mit technischen Infrastrukturen des alltäglichen Lebens. In diesem Artikel werden die aktuell entwickelte Architektur und die zugrunde liegenden Konzepte vorgestellt, die anthropomorphe Interaktionen und multimodale Eingaben nutzbar machen. Darauf aufbauend werden Beispiele vorgestellt, wie die Entwicklungsergebnisse in den adressierten Anwendungsszenarien Privathaushalt, Kraftfahrzeug und Öffentliche Terminalsysteme Verwendung finden.
ARVIKA – Augmented Reality für Entwicklung, Produktion und Service (ARVIKA – Augmented Reality for Development, Production and Service)
Authors: Hamadou M. , Jahn D. , Weidenhausen J.
Published: August 2006

Augmented Reality, erweiterte Realität, ist eine Form der Mensch-Technik-Interaktion, die dem Menschen z. B. über eine Datenbrille Informationen in sein Sichtfeld einblendet und damit die von ihm wahrgenommene Realität erweitert. Dieses geschieht jedoch kontextabhängig, d. h. passend zum und abgeleitet vom betrachteten Objekt, z. B. einem Bauteil, einem Werkzeug, einer Maschine oder zu seinem Standort. So wird das reale Sichtfeld eines Facharbeiters, Technikers oder Entwicklungsingenieurs durch eingeblendete Hinweise um für ihn wichtige Informationen angereichert (Azuma, Baillot, Behringer, Feiner, Julier und MacIntyre 2001). ARVIKA entwickelt diese Technik in den Anwendungsfeldern Entwicklung, Produktion und Service der Automobil- und Flugzeugindustrie, für Kraftwerks- und Prozessanlagen und für Werkzeug- und Produktionsmaschinen. Besondere Perspektiven bietet diese Technik für mittelständische Unternehmen, die durch verbesserte Diagnose- und Wartungskompetenz flexibler und effizienter agieren können und damit eine Stärkung im globalen Wettbewerb erfahren.
E-Shopmerkmale aus Kundensicht – Ergebnisse einer Conjointanalyse (E-shop-features from a customer´s point of view - results of a Conjoint Analysis)
Authors: Silberer Günter , Engelhardt Jan-Frederik , Wasmuth N.
Published: August 2006

Ein entscheidender Erfolgsfaktor bei der Kundengewinnung und Kaufrealisierung in e-Shops ist die Gestaltung der Mensch-Medium-Schnittstelle. Hier beurteilt der Shopbesucher die formalen und inhaltlichen Merkmale des Onlineshops hinsichtlich des Nutzwertes seiner Intentionsrealisierung. Auf dieser Grundlage wird das weitere Verhalten im Shop geplant und entschieden. Die zur Bestimmung der formalen und inhaltlichen Nutzenwerte durchgeführte Studie zeichnet sich methodisch durch den Rückgriff auf die Conjointanalyse als dekompositionellen Ansatz der Präferenzmessung aus. Der Einsatz der Conjointanalyse als Verfahren zur Beurteilung von Websites ist ein bislang vernachlässigter, aber den kompositionellen Verfahren vermeintlich überlegener Ansatz. Der Beitrag präsentiert zum einen die Nutzenwerte und relativen Wichtigkeiten zentraler formaler und inhaltlicher Websitemerkmale aus Kundensicht, zeigt aber auch erste Erfahrungswerte für den Einsatz der Conjointanalyse zur Beurteilung von Websites auf.
Unterstützung von Anlagenplanung durch einen kooperativen Planungstisch (Supporting Co-operative Plant Design: The Planners´ Table)
Authors: Nett B. , Becks A. , Stork A. , Ritter A. , Herbst I. , Durissini M. , Wulf Volker , Jarke Matthias
Published: August 2006

Roomware besitzt für kooperative Anlagenplanung ein großes Potential, wenn sie domänenspezifisch gestaltet wird. Sie muss dazu erlauben, gemeinsame Absprachen ohne hohen Bedienungsaufwand für alle Beteiligten verständlich zu visualisieren und zu dokumentieren. Im vorliegenden Papier wird vorgestellt, wie auf der Basis einer empirischen Bedarfsanalyse ein kooperativer Planungstisch für den Bereich der Anlagenplanung entwickelt wird. Es wird dabei gezeigt, wie neuartige Interaktionstechno-logien zur Unterstützung realer Anwendungsszenarien genutzt werden können.
Formale Verifikation diskreter Echtzeitsysteme (Formal Verification of Discrete Real-Time Systems)
Authors: Ruf Jürgen , Kropf Thomas
Published: August 2006

Durch den Einzug von elektronischen Systemen in alle Bereiche unseres täglichen Lebens, unter anderem auch in sicherheitsrelevante Gebiete wie der Medizintechnik und der Verkehrsleittechnik, lastet immer mehr Verantwortung auf dem korrekten Entwurf dieser Komponenten. Da diese Systeme auch zunehmend in zeitkritischen Umgebungen eingesetzt werden, ist die Verifikation des zeitlichen Verhaltens immens wichtig. In diesem Artikel stellen wir einen Ansatz zur formalen Verifikation von Echtzeitsystemen vor, der es erlaubt, Systeme und Zeiteigenschaften komfortabel zu spezifizieren und der darüber hinaus effiziente Algorithmen zum automatischen Verifizieren bietet.
Eine Java-Plattform für Internet Appliances (A Java Platform for Internet Appliances)
Authors: Bauche Volker
Published: August 2006

Internet goes mobile! Mobile Endgeräte wie PDAs und Mobiltelefone entdecken das Internet und der Bedarf an entsprechenden Applikationen wächst. Um Applikationen für die enorme Gerätevielfalt nutzbar machen zu können, wurde die Microedition von Java2 entwickelt.

Der Beitrag skizziert wesentliche Merkmale der Java2-Microedition und diskutiert ihren Einsatz auf Entwicklerplattformen sowie ihre Implementierung auf mobilen Endgeräten.
Java als Sprache für mobile Agenten (Java as a Language for Mobile Agents)
Authors: Straßer Markus , Rothermel Kurt
Published: August 2006

Mobile Agenten sind seit Jahren Gegenstand universitärer und industrieller Forschung. Der vorliegende Artikel stellt zuerst das Konzept der mobilen Agenten und ihre Anwendung vor. Danach werden eingehend die Eigenschaften von Mobile-Agenten-Systemen diskutiert, wobei besonderes Augenmerk auf die Eignung von Java für die Realisierung dieser Systeme gerichtet wird. Ein besonderer Schwerpunkt der Diskussion liegt auf der Realisierung der Mobilität der Agenten, welcher durch die Einführung von Reiseroutenkonzepten vertieft wird.
Äquivalenzvergleich digitaler Schaltungen im industriellen Umfeld (Equivalence Checking of Digital Circuits in an Industrial Environment)
Authors: Drechsler Rolf
Published: August 2006

Durch den Äquivalenzvergleich auf der Basis formaler Methoden kann die Gleichheit digitaler Schaltungen bewiesen werden. Die Verfahren können auf Entwürfe mit mehreren Millionen Komponenten angewandt werden. Im Folgenden wird das bei Siemens CT, München, in den vergangenen Jahren entwickelte Werkzeug GateComp beschrieben und dessen Möglichkeiten und Limitierungen aufgezeigt. Es wird praxisnah besprochen, wie dem Anwender Zeit eingespart werden kann und man somit durch den Einsatz formaler Verifikation nicht nur die Qualität steigern, sondern auch die Kosten reduzieren kann.
Informationelle Selbstbestimmung durch Identitätsmanagement (Informational Self-Determination by Identity Management)
Authors: Köhntopp Marit , Pfitzmann Andreas
Published: August 2006

Ein Identitätsmanagementsystem ermöglicht Nutzern, Art und Umfang der Herausgabe personenbezogener Daten zu kontrollieren. Damit ist es ein wichtiger Baustein für Datenschutz und mehrseitige Sicherheit. Wir beschreiben Anforderungen und Lösungen für ein umfassendes, datenschutzförderndes Identitätsmanagementsystem, das auf Pseudonymen beruht und eine mögliche Kooperation anderer Beteiligter einbezieht. Weiterhin diskutieren wir Grenzen und Risiken solcher Systeme.