TY - CONF AU - Gadducci, Fabio AU - Heckel, Reiko AU - Koch, Manuel ID - 8341 T2 - Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany) TI - A Fully Abstract Model for Graph-Interpreted Temporal Logic VL - 1764 ER - TY - CONF AB - This position paper weighs the benefits against the problems of using a graph rewrite system for the formal specification of an integrated software engineering model and for its implementation using the same graph rewrite system. The integrated software engineering approach, called GRIDS1, has been motivated by the shortcomings of software engineering support for real-life software projects. It is based on the formal integration of software engineering aspects for the automatic construction and well-defined manipulation of situational project frameworks. GRIDS uses the graph rewrite system PROGRES for the formal specification of the concepts and for their prototypical implementation. Without claiming to cover the entire field of graph rewrite systems, the experiences of this particular, graph-based approach are used as example for a discussion about the adequacy, the benefits, but also the shortcomings and the problems of applying a graph rewrite approach to realize automated software and method engineering support. AU - Engels, Gregor AU - Zamperoni, Andreas ID - 8342 T2 - Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands) TI - Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?! VL - 1779 ER - TY - CONF AU - Heckel, Reiko AU - Sauer, Stefan ID - 8343 IS - 2 T2 - Proceedings of the 7th GI-Workshop GROOM TI - Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML VL - 20 ER - TY - CONF AU - Heckel, Reiko AU - Sauer, Stefan ID - 8344 IS - 0006 T2 - Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany) TI - Strengthening the Semantics of UML Collaboration Diagrams ER - TY - CONF AU - Küster, Jochen AU - Stroop, Joachim ID - 8345 T2 - Proceedings of 1st Workshop on Formal Design Techniques for Real-time Systems (satellite event of the UML 2000), York (UK) TI - Towards Consistency of Dynamic Models and Analysis of Timing Constraints ER - TY - CONF AB - In den letzten Jahren ist ein deutlicher Trend zu verstärkt nebenläufiger Software festzustellen. Hierfür gibt es verschiedene Gründe, wie die rasante Verbreitung des Internets mit seinen Client/Server-Architekturen und die verstärkte Unterstützung nebenläufiger Programmierung in neuen Programmiersprachen wie z.B. Java. Softwareentwickler werden somit zunehmend mit dem Problem der Synchronisation der nebenläufigen Abläufe in der Software konfrontiert. Dabei treten immer wieder gravierende Fehler auf. Besonders problematisch ist in diesem Zusammenhang der Nichtdeterminismus nebenläufiger Abläufe, der dazu führt, dass Fehler unter Umständen bei Tests nicht auffällig werden, weil das Auftreten der Fehler von einem bestimmten Zeitverhalten abhängt, das beim Test nicht auftritt. Die Situation wird noch erschwert, wenn man nebenläufige Software aus Komponenten verschiedener Hersteller zusammensetzt. Bei der Zusammenarbeit dieser Komponenten auftretende Fehler im nebenläufigen Ablauf sind besonders schwierig zu diagnostizieren und zu beheben, da über die verwendeten Komponenten meist nichts außerhalb ihrer nicht notwendigerweise vollständigen und korrekten Spezifikation bekannt ist. Dies ist ein aktuelles Problem, da Komponententechnologien den Kern vieler moderner Anwendungen bilden. Viele Fehler in nebenläufiger Software sind auf grundsätzliche Fehler beim Entwurf der Software zurückzuführen. Auch beim Übergang vom Modell zur Implementierung entstehen Fehler, insbesondere wenn das Modell nicht direkt bei der Implementierung umsetzbar ist. Dies ist häufig der Fall, weil die Implementierung meist auf der Verwendung einfacher Synchronisationskonstrukte, wie z.B. Semaphoren, basiert, welche in der verwendeten Modellierung kein direktes Gegenstück haben. Es ist also entscheidend, dass die Softwareentwickler beim Entwurf ein klares Bild von der zu entwickelnden Software erhalten, welches leicht in der Implementierung umzusetzen ist. Wir wollen im folgenden grundlegende Strukturen nebenläufiger Softwaresysteme aufzeigen, basierend darauf Anforderungen an Modellierungssprachen für solche Systeme formulieren und existierende Modellierungssprachen auf diese Anforderungen hin untersuchen. Dabei werden wir sehen, dass sich in diesen Systemen kleinere, nahezu in sich abgeschlossene, Abläufe identifizieren lassen, die wir als Operationen bezeichnen werden. Betrachtet man die Implementation so ist festzustellen, dass hier einige einfache Konstrukte im Vordergrund stehen, auf die das Modell abgebildet werden muss. Damit ergeben sich aus unserer Sicht zwei wesentliche Forderungen an Modellierungssprachen: · Die Aufteilung in einzelne Operationen soll gefördert werden. · Gängige Synchronisationskonstrukte sollen direkt dargestellt werden, um die Lesbarkeit der Darstellung zu verbessern und um den Übergang in die Implementierung zu vereinfachen. Im nächsten Abschnitt werden wir die grundlegende Struktur nebenläufiger Software beschreiben, bevor wir dann Anforderungen diskutieren. Wir werden State Charts als eine gebräuchliche Modellierungssprache hinsichtlich dieser Anforderungen untersuchen und dabei sehen, dass diese den Forderungen nicht vollständig gerecht werden. Dies wird an einem Beispiel vertieft. Abschließend gehen wir kurz auf den Übergang von der Modellierung in die Implementierung ein. AU - Mehner, Katharina AU - Schattkowsky, Tim ID - 8346 T2 - Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung verteilter und nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany) TI - Methodische Aspekte von Modellierungssprachen für nebenläufige Software VL - 24 ER - TY - CONF AU - Mehner, Katharina AU - Wagner, Annika ID - 8347 T2 - Proceedings of the Workshop on Modelle und Modellierungssprachen in Informatik und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany) TI - Visualisierung der Synchronisation von Java-Threads mit UML VL - 15 ER - TY - CHAP AU - Kremer, H.-Hugo AU - Sloane, Peter F. E. ED - Pahl, J.-P. ED - Rach, G. ID - 8422 T2 - Zusätzliche Bildungsangebote beruflichen Lernens - Konzepte und Materialien für gewerblich-technische Berufe TI - Existenzgründung: Kapitalbedarfsermittlung und -beschaffung ER - TY - CHAP AU - Kremer, H.-Hugo AU - Sloane, Peter F. E. ED - Bader, R. ED - Sloane, P.F.E. ID - 8455 T2 - Lernen in Lernfeldern - Theoretische Analysen und Gestaltungsansätze zum Lernfeldkonzept TI - Lernfeldkonzept - Erste Umsetzungserfahrungen und Konsequenzen für die Implementation ER - TY - CHAP AU - Kremer, H.-Hugo AU - Sloane, Peter F. E. ED - Kaiser, F.J. ID - 8456 T2 - Berufliche Bildung in Deutschland für das 21. Jahrhundert TI - Lern- und Maßnahmeerfolg "Fächer- und Lernortübergreifender Lehr- Lernarrangements" - Erste Projektergebnisse ER - TY - CHAP AU - Kremer, H.-Hugo ED - Euler, D. ED - Jongebloed, H.-C. ED - Sloane, P.F.E. ID - 8457 T2 - Sozialökonomische Theorie - sozialökonomisches Handeln. Konturen und Perspektiven der Wirtschafts- und Sozialpädagogik TI - Didaktische Theorie implementieren - Innovationen gestalten ER - TY - JOUR AU - Hasenbank, T. AU - Kremer, H.-Hugo AU - Sloane, Peter F. E. ID - 8458 IS - 11 JF - Wirtschaft und Erziehung TI - Running into practice - Theorie-Praxis-Seminar zum Lernfeldkonzept ER - TY - JOUR AB - Piezoelectric ultrasonic motors have been investigated for several years and have already found their first practical applications. Their key feature is that they are able to produce a high thrust force related to their volume. Beside rotary drives like the travelling wave motor, linear drives have also been developed, but only a few are presently commercially available. In the present paper, we first describe the state of the art of linear piezoelectric motors. The motors are characterized with respect to their no-load velocity, maximum thrust force, efficiency and other technical properties. In the second part, we present a new motor, which is judged to be capable of surpassing the characteristics of other piezoelectric motors because of its unique design which allows the piezoelectric drive elements to be pre-stressed in the direction of their polarization. The piezoelectric elements convert energy using the longitudinal d33 effect which allows an improved reliability, large vibration amplitudes and excellent piezoelectric coupling. Energy loss by vibration damping is minimized, and the efficiency can be improved significantly. Experimental results show that the motor characteristics can be optimized for a particular task by choosing the appropriate operating parameters such as exciting voltage, exciting frequency and normal force. AU - Hemsel, Tobias AU - Wallaschek, Jörg ID - 8914 JF - Ultrasonics KW - Linear motor SN - 0041-624X TI - Survey of the present state of the art of piezoelectric linear motors VL - 38 ER - TY - CONF AB - Ultrasonic linear motors have now been investigated for several years. Their key features are high thrust forces related to their volume and good position-accuracy. This contribution consists of two main parts. In the first part we describe the state-of-the-art of linear piezoelectric motors. Characteristics like no-load velocity, maximum thrust force and other technical properties of commercially available devices will be reported as well as those of prototypes. In the second part we report an ongoing research and development project aiming at a linear piezoelectric motor, which is capable of surpassing some of the shortcomings of other piezoelectric motors AU - Hemsel, Tobias AU - Wallaschek, Jörg ID - 8915 KW - linear motors KW - ultrasonic motors KW - linear piezoelectric motor KW - maximum thrust force KW - no-load velocity KW - ultrasonic linear motor KW - Electromagnetic devices KW - Electromagnetic fields KW - Frequency KW - Friction KW - Gears KW - Materials science and technology KW - Piezoelectric materials KW - Research and development KW - Vibrations KW - Wheels SN - 1051-0117 T2 - Ultrasonics Symposium, 2000 IEEE TI - State of the art and development trends of ultrasonic linear motors VL - 1 ER - TY - CONF AU - Hemsel, Tobias AU - Wallaschek, Jörg ID - 8916 T2 - Tagungsband der ACTUATOR TI - Piezoelectic linear motors ER - TY - CONF AB - Piezoelektrische Schwingungsantriebe sind Kleinmotoren, deren Funktionsprinzip darin besteht, dass elektrische Energie mit Hilfe von Piezokeramiken in mechanische Schwingungsenergie gewandelt und diese dann durch hochfrequente Kontaktvorgänge auf den anzutreibenden Teil übertragen wird. Der Stand der Technik auf dem Gebiet piezoelektrischer Linearantriebe zeigt, dass viele piezoelektrische Linearantriebe bereits zufriedenstellende Leistungsmerkmale aufweisen. Gleichzeitig ist zu erwarten, dass die Leistungen dieser Antriebe noch deutlich verbessert werden können. Ein Ansatz, insbesondere den Wirkungsgrad und die mechanische Leistung zu erhöhen, wird anhand eines Motors aufgezeigt, der am Heinz Nixdorf Institut entwickelt wurde. Eine Übersicht der in ausgewählten Einsatzgebieten geforderten Leistungsdaten führt auf Entwicklungsziele für bestehende und neuartige piezoelektrische Linearantriebe. AU - Hemsel, Tobias AU - Wallaschek, Jörg ID - 8917 TI - Stand der Technik und Entwicklungsperspektiven linearer piezoelektrischer Schwingungsantriebe VL - 1533 ER - TY - JOUR AB - The paper deals with cyclic periodic structures modelling bladed disk assemblies of blades with friction elements for vibration damping. These elements placed between adjacent blades reduce the vibration amplitudes by means of dry friction resulting from centrifugal forces acting on the elements and relative displacements of the blades. However, the application of these friction elements results in an additional dynamical coupling which together with mistuning of some system parameters (e.g., blade eigenfrequency or contact parameters) may cause localization of vibration. In the present paper a linear approximation of such a system is investigated. The structure composed of cyclic periodic cells modelled each as a clamped-free beam interacting with each other by means of viscoelastic elements of complex stiffness is applied for dynamic system analysis. In case of free vibrations as well as in case of steady-state dynamic response to a harmonic pressure field, a perfect periodic structure and the structures with periodically mistuned parameters (blade eigenfrequencies and contact parameters) are studied. Some regularities in the dynamic response of the systems with mistuning have been noticed. Despite the fact that only a linear approximation has been used, the results and conclusions can be applied for models which describe the blade interaction in a nonlinear way. AU - Krzyzynski, Tomasz AU - Popp, Karl AU - Sextro, Walter ID - 8918 IS - 10 JF - Chaos, Solitons \& Fractals SN - 0960-0779 TI - On some regularities in dynamic response of cyclic periodic structures VL - 11 ER - TY - CONF AB - the vibration amplitudes of bladed disk assemblies can be reduced significantly by means of friction damping devices such as shrouds, damping wires and interblade Friction dampers. in practice, interblade Friction dampers are applied in rotating arrangements with various geometries showing curved or flat surfaces like so-called wedge-shaped dampers. this paper is focusing on a computation method to predict the dynamical behaviour of turbine blades with Friction dampers including both, curved and wedge-shaped dampers with hertzian and non-herutian contact conditions, respectively. the presented computation method uses a 3d contact model to calculate the contact forces, including normal and tangential stiffnesses, roughness and microslip effects. the relative displacements in the contact area can be expressed by means of 6 dof of the blade platforms and 6 rigid body dof of the damper including translational and rotational displacements. the relative displacement of the Friction damper with respect to the adjacent blades can be derived from the contact kinematics of the blade-damper-blade system and the equations of motion of the Friction damper. thus, the model can be applied to investigate spatial motions of the bladed disk assembly including bending and torsional vibrations. a comparison of different Friction damper designs with respect to an optimal damper geometry and damper mass is presented. the advantages and disadvantages of each design will be discussed. experimental results are shown to validate the developed computation method. AU - Panning, Lars AU - Sextro, Walter AU - Popp, Karl ID - 8919 T2 - International Gas Turbine \& Aeroengine Congress \& Exhibition, ASME TI - Optimization of Interblade Friction Damper ER - TY - CONF AU - Sextro, Walter ID - 8920 T2 - International Gas Turbine \& Aeroengine Congress \& Exhibition, ASME TI - The Calculation of the Forced Response of Shrouded Blades with Friction Contacts and Its Experimental Verification ER - TY - GEN AU - Tönnies, Merle ID - 9665 IS - 1 T2 - Journal for the Study of British Cultures TI - Lewis, J.E.: Mary Queen of Scots. Romance and Nation, 1998 VL - 7 ER -