Universität Stuttgart
Permanent URI for this communityhttps://elib.uni-stuttgart.de/handle/11682/1
Browse
333 results
Search Results
Item Open Access Practical methods and tools for specification(1987) Ludewig, JochenThis is a course on specification. Since it is based on experiences in the field of software engineering. It applies primarily to software specifications. Many observations and reports indicate, however, that, from specification aspects, there is not much difference between information processing systems in general and software in particular. Therefore, most of this course applies also to system specification. In the first chapter, some fundamentals are discussed. These include the life cycle model and the distribution of costs over the various activities, some definitions, and a rationale for semi-formal specification. The second chapter provides a general outline of a specification system, whose desirable properties are deduced from the qualities of good specifications. In the third chapter, we present some typical specification systems. The primary goal is to show some typical features of such systems rather than to describe them in detail. The fourth chapter addresses management aspects. In chapter 5, some general conclusions are drawn. The appendix (chapter 6) contains a bibliography on specification, and a list of suppliers.Item Open Access Die Ermittlung von Steuerprofilen zur Insulinabgabe mit programmierbaren Insulininfusionssystemen(1981) Schulz, Gerhard; Beyer, Jürgen; Nagel, Joachim H.; Strack, Thomas; Krause, Ulrich; Hassinger, Wieland; Cordes, UweDer Insulinverbrauch und die Form der Insulinabgabeprofile bei intravenöser Insulintherapie mit nicht rückgekoppelten Infusionsgeräten wurde bisher nur rein empirisch ermittelt. Dabei war die Form der Insulinabgabeprofile nicht zuletzt auch von den technischen Möglichkeiten des Dosiergerätes abhängig. Unser Ziel war es, Grundsätze für die Blutzuckerführung mit Open-Loop-Systemen zu entwickeln. Die Insulinprofile sollten dem Blutzuckeranstieg und Abfall nach den Mahlzeiten möglichst gut angepaßt sein und individuell programmiert werden können, so daß der Patient zu den Mahlzeiten das entsprechende Programm abrufen kann.Item Open Access Issues in designing object management systems(1990) Clow, Geoff; Plödereder, ErhardThis paper summarizes the discussions of the Object Management System (OMS) session at the Chinon Workshop. The session identified numerous capabilities which might be required in an OMS. The facilities which were agreed upon as essential to an OMS are presented in Section 1, OMS Core Facilities. A number of issues in the realization of these and other capabilities, influenced in part by specific application scenarios, are discussed in Section 2, OMS Requirements Issues. Promising applications requiring further investigation can be found in Section 3, Perceptions for the Future. Some global observations on the past and future conduct of the OMS field are summarized in Section 4, Concluding Observations.Item Open Access Comparison of feedforward and model predictive control of wind turbines using LIDAR(2012) Schlipf, David; Pao, Lucy Y.; Cheng, Po WenLIDAR systems are able to provide preview information of wind disturbances at various distances in front of wind turbines. This technology paves the way for new control concepts such as feedforward control and model predictive control. This paper compares a nonlinear model predictive controller and a feedforward controller to a baseline controller. Realistic wind "measurements" are obtained using a detailed simulation of a LIDAR system. A full lifetime comparison shows the advantages of using the wind predictions to reduce wind turbine fatigue loads on the tower and blades as well as to limit the blade pitch rates. The results illustrate that the feedforward controller can be combined with a tower feedback controller to yield similar load reductions as the model predictive controller.Item Open Access eSciDoc-Anwendungen in der wissenschaftlichen Praxis in der MPG(2008) Renn, Jürgen; Voges, WolfgangeSciDoc ist ein gemeinsames Projekt der Max-Planck-Gesellschaft und FIZ Karlsruhe. Entwickelt wird eine integrierte Publikations- und Kommunikationsplattform, die zentrale Facetten der wissenschaftlichen Arbeit unterstützt. - Informationsgewinnung - Aufbereitung und Auswertung - Informationsverbreitung und Speicherung eScidoc berücksichtigt wissenschaftliche Arbeiten sowohl im Labor wie auch am Schreibtisch, durchgeführt von Einzelnen oder in (verteilten) Gruppen, disziplinspezifisch oder interdisziplinär.Item Open Access Computer simulation of anchoring technique in reinforced concrete beams(1990) Cervenka, Vladimir; Pukl, Radomir; Eligehausen, RolfThe load transfer in reinforced concrete structures by means of anchoring elements is very common in modern concrete technology. Anchoring elements are often inserted in the bottom surface of a structure and the load is transfered by tensile action of the concrete. In case of shear failure, the anchores are located in the most exposed tensile zone of beams. The shear failure can be thus influenced by anchoring elements. This effect was analysed by means of the finite element program SBETA, which is based on the nonlinear-elastic constitutive model. The comparison with experiments for several loading configurations was made. In the second part a computer simulation of similar experiments was conducted.Item Open Access Computer simulation: splitting tests of concrete thick-walled rings(1992) Pukl, Radomir; Schlottke, Bernd; Ozbolt, Josko; Eligehausen, RolfTwo non-linear program systems are used for a computer simulation of splitting failure of thick-walled concrete rings under internal radial pressure. Results of the numerical analyses for plane stress models, axisymmetrical model and 3D model are compared with available experimental data and empirical formulas. It is shown, that the behavior observed in experiments can be simulated, using advanced material models, namely the non local microplane model and SBETA material model based on the crack hand theory. With increasing outer radius of the ring, a size effect can be observed.Item Open Access Quantitative evaluation of clogging phenomena in river beds(1982) Geldner, Peter; Kobus, HelmutClogging phenomena in rivers are of extremely complex nature, and a development of a clogging layer depends on a large variety of influences. In this paper a quantitative approach for the evaluation of a defined hydrodynamic clogging parameter is presented. This approach is based on the inverse use of type curves representing characteristics of the interaction between surface water bodies and the aquifer. The method is applied to field data of discharge measured in seepage ditches at levee protected sites. Since conventional approaches are limited to the assumption of quasi-steady-state flow, a stochastic method for the evaluation of time-variable hydrographs is also outlined.Item Open Access Excited electronic states of flavin-containing coenzyme models(1988) Gückel, Friedemann; Schweitzer, Dieter; Becker, Katja; Schirmer, Rolf Heiner; Zipplies, Matthias F.; Staab, Heinz A.In order to gain further insight into the physical basis of flavin-catalyzed reactions, the interactions of a flavin with a second flavin and with other aromatic ring systems were studied. For this purpose compounds through 1 were synthesized These compounds contain the interacting units in defined geometric orientation. A monomeric flavin and glutathione reductase a flavoenzyme of known active-site chemistry, were included as reference molecules. The present report deals with excited triplet states of the flavin compounds as studied by optical spectroscopy and optically detected magnetic resonances (ODMR) at 1.3K.Item Open Access The synthesis of self-test control logic(1989) Haberl, Oliver F.; Wunderlich, Hans-JoachimIn recent years, many built-in self-test techniques have been proposed based on feedback shift-registers for pattern generation and signature analysis. But in general, these test-registers cannot test several modules of the chip concurrently, and they have to be controlled by external automatic test equipment. The authors propose a method to integrate additional test-control logic into the chip. On the basis of a register-transfer description of the circuit, the test control is derived, and a corresponding finite automation is synthesized. A hardware implementation is proposed, resulting in circuits where the entire self-test only consists in activating the test mode and clocking and evaluating the overall signature.