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 - TY - BOOK AB - Die Publikation stellt einen Beitrag zur öffentlichen Relevanz der Erziehungswissenschaften dar. Renommierte Vertreterinnen und Vertreter hatten sich im Rahmen einer studentisch initierten Veranstaltungsreihe am Erziehungswissenschaftlichen Seminar der Universität Heidelberg geäußert: AG "Kleiner Bildungsgipfel", Micha Brumlik, Ingrid Gogolin, Franz Hamburger, Elke Kleinau, Eckard König, Heinz Sünker, Hans Thiersch, Heinz-Elmar Tenorth, Michael Winkler, Dieter Wunder. Aus dem ·Die deutschen Erziehungswissenschaften - eine Geschichte von Ablehnung und Anerkennung ·Bildung und Gesellschaft: Erziehungswissenschaft als Sozialwissenschaft ·Pädagogik als Humanwissenschaft ·Wer erzieht die Erzieher? Lehrerbildung und Schulentwicklung ·Die Herausgeber sind Mitarbeiter erziehungswissenschaftlicher Forschungsprojekte und pädagogischer Einrichtungen ED - Böhme, Peter ED - Kessl, Fabian ED - Heil, Ragnar ED - Reinke, Thilo ID - 36301 KW - Sozialwissenschaft KW - Pädagogik KW - Erziehungswissenschaft KW - Lehrerbildung KW - Schulentwicklung SN - ISBN-13 ‏ : ‎ 978-3407253361 TI - Von der Notwendigkeit der Erziehungswissenschaft: Begründungsversuche und Reflexion ER - TY - CONF AB - This article presents SAL (Synchronous Agent Language), a general-purpose grid{based 2D programming language for parallel system specication, implementation, and visualization. SAL agents have a depiction and a behavior. The behavior is dened by the means of state transition rules. The depiction is given by the drawing area on its surface. Actions in rules can execute drawing operations for dynamically changing the depiction during runtime. For a broader range of applications, SAL incorporates mobile code, code modication during runtime, and tool integration facilities. AU - Müller, Wolfgang AU - Meyer, Arne AU - Zabel, Henning ID - 39435 T2 - Proceedings of the IEEE Symposium on Visual Languages TI - A Visual Framework for the Scripting of Parallel Agents ER - TY - CONF AU - Bhatt, P. C. P. AU - Müller, Wolfgang ID - 39439 T2 - Proceedings of IECON 2000 TI - A Methodology for the Protocol-Centered Design of Agent-Based Systems ER - TY - CONF AU - Bhatt, P. C. P. AU - Müller, Wolfgang ID - 39442 T2 - Proceedings of UKPEW 2000 TI - Morphic Nets: Model Based Design Diagrams ER - TY - CONF AU - Flake, Stephan AU - Müller, Wolfgang AU - Ruf, Jürgen ID - 39464 T2 - Proceedings of AVI 2000 TI - An Advanced Visual Capture for Model Checking Specifications ER - TY - BOOK ED - Morrien, Rita ED - Brueckel, Ina ID - 39706 SN - 382601815X TI - Bei Gefahr des Untergangs. Phantasien des Aufbrechens ER - TY - CHAP AU - Morrien, Rita ED - Tebben, Karin ID - 39683 SN - 3525012276 T2 - Frauen-Körper-Kunst. Literarische Inszenierungen weiblicher Sexualität TI - Können Frauen sublimieren? Zur Verflechtung von sexueller und künstlerischer Entfaltung in Clara Viebigs Es lebe die Kunst! und Grete Meisel-Hess’ Fanny Roth. Eine Jung-Frauengeschichte ER - TY - CHAP AU - Morrien, Rita ED - Brueckel, Ina ED - Morrien, Rita ID - 39684 SN - 382601815X T2 - Bei Gefahr des Untergangs. Phantasien des Aufbrechens TI - “Scared of Something?” – Liebe und andere Verbrechen in Bernard Roses Horrorfilm Candyman ER - TY - JOUR AU - Röder, Th. AU - Paelke, L. AU - Held, N. AU - Vinzelberg, S. AU - Kitzerow, Heinz-Siegfried ID - 40084 IS - 7 JF - Review of Scientific Instruments KW - Instrumentation SN - 0034-6748 TI - Imaging of liquid crystals using a new scanning near-field optical microscope with microfabricated tips and shear force detection VL - 71 ER - TY - JOUR AU - Glossmann, Jochen AU - Hoischen, Andreas AU - Roder, Thorsten AU - Kitzerow, Heinz-Siegfried ID - 40083 IS - 1 JF - Ferroelectrics KW - Condensed Matter Physics KW - Electronic KW - Optical and Magnetic Materials SN - 0015-0193 TI - Asymmetric switching and storage effects in ferroelectric and antiferroelectric gels and polymers VL - 243 ER -