TY - CHAP AU - Weber, Jutta ID - 37370 T2 - Subjekt und Erkenntnis. Einsichten in feministische Theoriebildungen TI - Geschichte wird gemacht: Selbst- und Fremdkategorisierungen feministischer Theorie ER - TY - GEN AU - Grotjahn, Rebecca ED - Finscher, Ludwig ID - 37565 T2 - Die Musik in Geschichte und Gegenwart. Bd. 4 TI - Catalani, Angelica ER - TY - GEN AU - Grotjahn, Rebecca ED - Finscher, Ludwig ID - 37568 T2 - Die Musik in Geschichte und Gegenwart. Bd. 4 TI - Catalani, Angelica ER - TY - GEN AU - Grotjahn, Rebecca ED - Finscher, Ludwig ID - 37570 T2 - Die Musik in Geschichte und Gegenwart. Bd. 4 TI - Colbran, Isabella ER - TY - CONF AB - In diesem Artikel stellen wir die Anwendung von Modellprüfung für ein Fertigungssystem mit freifahrenden Transportfahrzeugen vor. Dabei konzentrieren wir uns darauf, den Materialfluss in einem Systemmodell auf die Einhaltung quantitativer und zeitlicher Bedingungen hin zu überprüfen. Zur Modellentwicklung setzen wir die graphische Beschreibungsmethode MFERT ein, die sich bereits mehrfach in Industrieprojekten bewährt hat. Wir präsentieren eine Abbildung von MFERT in zeitannotierte Zustandsübergangssysteme, die für ein bereits existierendes Werkzeug zur Modellprüfung als Eingabe einer Modellbeschreibung dienen. Bei der Modellprüfung wird diese Beschreibung auf die Einhaltung von Eigenschaften überprüft, die in einer temporalen Logik oder einer davon abstrahierten Form spezifiziert werden. AU - Flake, Stephan AU - Müller, Wolfgang AU - Pape, Ulrich AU - Ruf, Jürgen ID - 39434 TI - Modellprüfung für den Entwurf von Fertigungssteuerungssystemen ER - TY - CONF AB - Prototyping mit 3D-Modellen in virtueller Umgebung ist eine kostengünstige Alternative zur Entwicklung von physikalischen Modellen und Mock-ups. Für einige Anwendungen ergeben sich erhebliche Vorteile durch die Validierung in einer virtuellen Umgebung. In diesem Artikel stellen wir den Einsatz einer 3D-Animation zur Entwicklung und zum Test einer Fahrzeugsteuerung vor. Basierend auf dem Prinzip der schrittweisen Verfeinerung kann die Steuerung zunächst nur unter Berücksichtigung der Kommunikation zwischen den Basiskomponenten entworfen werden. Im zweiten Schritt wird die Ansteuerung der Aktoren unter Auswertung der Sensoren berücksichtigt. Letztendlich ist das System unter Einflussnahme der physikalischen Größen zu validieren. Wir stellen die Schnittstelle exemplarisch anhand einer Steuerung für fahrerlose Transportfahrzeuge im Szenario eines holonischen Transportsystems vor. AU - Braatz, A. AU - Flake, Stephan AU - Müller, Wolfgang AU - Westkämper, E. ID - 39444 TI - Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung ER - TY - CONF AB - Model checking has received wide acceptance as a valuable technique in the field of electronic design automation and is currently of growing interest in general systems design. Though its concepts and applications are well understood it often turns out that engineers have severe problems with the specification process and the underlying notation, i.e., formulation and understanding of specifications through means of temporal logic formulae. In this article, we present an approach for a natural language–oriented representation of temporal logic formulae by introducing patterns of structured English sentences for Clocked CTL (CCTL) specification. After outlining the basic patterns of the sentences we give their semantics by a translation to CCTL. A final example demonstrates their application. AU - Flake, Stephan AU - Müller, Wolfgang AU - Ruf, Jürgen ID - 39461 TI - Structured English for Model Checking Specification ER - TY - JOUR AU - Morrien, Rita ID - 39681 JF - Jahrbuch zur Literatur der Weimarer Republik TI - Nach dem Sturm: Mütterlichkeit, Sexualität und Ansätze einer kritischen Relektüre der christlichen Schöpfungs- und Heilsgeschichte bei Clara Viebig und Gabriele Reuter VL - 5 ER - TY - JOUR AU - Morrien, Rita ID - 39680 JF - Aurora TI - “O du ewige, unbegreifliche Schönheit [...], wie roh gehn auch mit dir die Menschen um” – Die Poesie der Gewalt in Ludwig Tiecks Vittoria Accorombona (1840) VL - 60 ER - TY - JOUR AU - Hinz, S AU - Sandel, D AU - Noé, Reinhold AU - Wust, F ID - 38393 IS - 16 JF - ELECTRONICS LETTERS SN - 0013-5194 TI - Optical NRZ 2 x 10Gbit/s polarisation division multiplex transmission with endless polarisation control driven by correlation signals VL - 36 ER -