15 Fakultätsübergreifend / Sonstige Einrichtung
Permanent URI for this collectionhttps://elib.uni-stuttgart.de/handle/11682/16
Browse
335 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 Zukunft der Optik(1970) Tiziani, Hans J.Die Optik hat in den letzten Jahren neuen Aufschwung genommen. Mitverantwortlich für diese Entwicklung sind sowohl die Verwendung von leistungsfähigen Computern als auch die Nachfrage nach immer besserer Auflösung und Bildqualität. Besonders positiv haben sich die Entwicklungen des Laser (1960) und der Holographie ausgewirkt. Immer neue Applikationen des gebündelten, kohärenten Laserlichtes werden erschlossen, doch will ich mich in diesem Zusammenhang auf die mögliche Weiterentwlckung der erwähnten Gebiete beschränken.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 Dynamische Energiemodelle als Planungs- und Entscheidungshilfe dargestellt an einem Energiemodell für die BRD(1975) Voß, Alfred; Rath-Nagel, Stefan; Schmitz, Kurt; Kolb, Gerhard; Elsinghorst, Detlev; Egberts, GerhardDie Energieversorgung kann nicht länger als ein isoliertes, technisch-ökonomisches Problem angesehen werden. Eine systemorientierte Betrachtungsweise scheint erforderlich, die ausgeht von der Energieversorgung als ein in eine technisch-ökonomisch-ökologisch-gesellschaftliche Umgebung eingebettetes System, dessen Entwicklung wesentlich von seinen Wechselwirkungen mit eben dieser Umgebung bestimmt wird. Für die Beurteilung und Planung der zukünftigen alternativen Energieversorgungssysteme ist also die Berücksichtigung der Einbettung des Energiesystems in seine Umgebung die generelle Forderung, die sich aus einer solchen systemorientierten Problembetrachtung ableitet. Die Entwicklung mathematischer Modelle scheint ein besonders geeignetes Hilfsmittel für die Erarbeitung von derartigen Entscheidungshilfen zu sein, und zwar von Entscheidungshilfen, die im Prinzip der Vielzahl der zu berücksichtigenden Zusammenhänge und der inneren Verkettung der Probleme gerechter werden als andere Analysemethoden.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 Ein Energiemodellsystem zur Analyse der Entwicklungsmöglichkeiten der Energieversorgung(1977) Voß, AlfredDas generelle Ziel der Modellentwicklungsarbeiten ist es, ein Instrumentarium für die Analyse der Entwicklungsmöglichkeiten des Energiesystems der BRD zu schaffen. Dabei sollen insbesondere die Wechselwirkungen des Systems mit seiner Umgebung, wie z. B. der gesamten Wirtschaft, der Gesellschaft und der Umwelt, berücksichtigt werden.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 A Bayesian network approach to assess and predict software quality using activity-based quality models(2009) Wagner, StefanAssessing and predicting the complex concept of software quality is still challenging in practice as well as research. Activity-based quality models break down this complex concept into more concrete definitions, more precisely facts about the system, process and environment and their impact on activities performed on and with the system. However, these models lack an operationalisation that allows to use them in assessment and prediction of quality. Bayesian Networks (BN) have been shown to be a viable means for assessment and prediction incorporating variables with uncertainty. This paper describes how activity-based quality models can be used to derive BN models for quality assessment and prediction. The proposed approach is demonstrated in a proof of concept using publicly available data.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.