15 Fakultätsübergreifend / Sonstige Einrichtung

Permanent URI for this collectionhttps://elib.uni-stuttgart.de/handle/11682/16

Browse

Subject: search.filters.subject.620Start date: 1950End date: 1979

Search Results

Now showing 1 - 9 of 9
  • Thumbnail Image
    ItemOpen Access
    Der Einfluß der Ungleichförmigkeit des Wärmeaustausches über die Rippenhöhe auf die Rippenwirksamkeit
    (1966) Migaj, V. K.; Gemberg-Wiesike (Übersetzerin)
    Lösung des Problems des Wärmeautausches einer flachen Rippe bei verschiedenen Diagrammen des Koeffizienten des Wärmeaustausches über die Rippenhöhe und die hyperbolische Veränderung von alpha über die Höhe h.
  • Thumbnail Image
    ItemOpen Access
    Das Entwurfssystem PSL/PSA und seine Erweiterung für Prozeß-Automatisierung
    (1978) Ludewig, Jochen; Streng, Wolfgang
    Aufgrund von Fehleranalysen und Erfahrungen bei der Entwicklung großer Software-Systeme hat sich die Einsicht verbreitet, daß eine Erhöhung der Zuverlässigkeit vor allem durch eine Formalisierung und Methodisierung der Spezifikation und des Entwurfs zu erreichen ist. Erst durch formalisierte Beschreibungshilfsmittel wird eine rechnergestützte Software-Entwicklung und -Prüfung ermöglicht. Bisher ist der Anwender bei der Formulierung seiner Anforderungen auf natürliche Sprachen angewiesen. Dies führt häufig zu unvollständigen, mehrdeutigen und sogar widerspruchsvollen Spezifikationen, die dann die Basis für die Software-Entwicklung bilden. Um zu prüfbaren Spezifikations- und Entwurfsbeschreibungen zu gelangen, wurden rechnergestützte Software-Entwicklungssysteme entworfen, die auf einem formalen Systembeschreibungsmodell beruhen. Angestrebt wird ein integriertes Werkzeug von aufeinander abgestimmten Hilfsmitteln zur Überdeckung des gesamten Entwicklungszyklus.
  • Thumbnail Image
    ItemOpen Access
    Überblick und Vergleich verschiedener Mittel für die Spezifikation und den Entwurf von Software
    (1978) Ludewig, Jochen; Streng, Wolfgang
    Dieser Bericht enthält eine Sichtung und Auswertung relevanter Verfahren für die Spezifikation und den Entwurf von Software. Dabei wird ein einheitliches Beschreibungsschema angewandt. Die einzelnen Ansätze werden nach verschiedenen Kriterien vergleichend gegenübergestellt.
  • Thumbnail Image
    ItemOpen Access
    Pragmatic techniques for program analysis and verification
    (1979) Plödereder, Erhard
    The Program Development System (PDS) is a collection of programming tools created as an extension of the ECL programming system23. It contains components that assist the programmer in the definition and modular structuring of large programs at different levels of algorithmic abstraction. These components are supplemented by a program analysis package that produces an information pool to be used for such tasks as source-to-source optimization, semi-automated program documentation, fault detection and program verification. This paper describes the core of the analyzing package, the Symbolic Evaluator. In its implementation we have incorporated pragmatic methods for handling data sharing patterns, and for characterizing and reasoning about the behaviour of loops and procedures. The impact of these methods upon program verification techniques is briefly discussed.
  • Thumbnail Image
    ItemOpen Access
    Registrierung der Uterusaktivität aus dem abdominal abgeleiteten Elektromyogramm
    (1978) Nagel, Joachim H.; Schaldach, Max
    Bei der Überwachung von Schwangerschaft und Geburt kommen zur Ermittlung der Uterusmotilität bisher ausschließlich mechanische Druckmeßverfahren zur Anwendung. Die Information über die Uterusaktivität ist unzureichend und unterliegt speziell bei Anwendung externer Druckaufnehmer zahlreichen Störeinflüssen. Zur Verbesserung der Kontrollmöglichkeiten wurde ein Meßsystem entwickelt, das die Bestimmung der Uterusmotilität aus dem abdominal abgeleiteten Elektromyogramm ermöglicht. Die klinischen Ergebnisse zeigen, daß es in seiner Leistungsfähigkeit den herkömmlichen Methoden überlegen ist, eine vereinfachte Handhabung bietet und die Schwangere während der Aufnahme weniger als die bisher bekannten Systeme belastet.
  • Thumbnail Image
    ItemOpen Access
    Nichtinvasive Registrierung der fetalen Herzfrequenz
    (1978) Nagel, Joachim H.; Schaldach, Max
    Die sichere Erfassung des fetalen Elektrokardiogramms (FEKG) zur Schlag-zu-Schlag Bestimmung der Herzfrequenz stellte bisher ein nicht zufriedenstellend gelöstes Problem fetaler Überwachungssysteme dar. Erst unmittelbar vor der Geburt, nach Öffnen der Fruchtblase, kann das FEKG mit Hilfe von Einschraubelektroden direkt vom Feten abgeleitet werden. Da diese Methode sich naturgemäß nicht während der Schwangerschaft anwenden läßt, muß dort auf die indirekte Ableitung vom Abdomen der Mutter zurückgegriffen werden. Die abdominalen elektrischen Signale weisen jedoch ein derart ungünstiges Signal/Störverhältnis auf, daß mit den Mitteln der bisher angewandten Filtertechniken weder ausreichende Information über die zeitlichen Veränderungen des FEKGs noch über die Mikrofluktuation der Herzfrequenz gewonnen werden konnte. Durch die Entwicklung neuer Signalverarbeitungsverfahren im Zentralinstitut wurde die Analyse des transabdominalen EKGs so weit verbessert, daß sie die für den klinischen Routineeinsatz erforderliche Zuverlässigkeit aufweist.
  • Thumbnail Image
    ItemOpen Access
    The use of optical transfer function for assessing the quality of optical systems
    (1976) Tiziani, Hans J.
    The optical transfer function (OTF) has proved to be a highly valuable aid in comparing and evaluating the quality of optical systems. The measuring instrument developed is briefly described. The OTF measurements agreed well with theoretical results obtained from lens data, especially for the modulation transfer function (MTF). With the aid of a model based on experiments, a threshold curve was obtained which enabled the results based on the MTF to be compared with those from conventional resolution tests. To enable workable focusing and quality criteria to be derived, an attempt was made to condense the profuse data resulting from the MTF.
  • Thumbnail Image
    ItemOpen Access
    Prüfmittel für die rechnergestützte Software-Entwicklung
    (1978) Ludewig, Jochen; Streng, Wolfgang
    Ausgehend von einer allgemeinen Charakterisierung einer bestimmten Klasse von Entwicklungssystemen wird ein Ansatz für ein einfaches Beschreibungsmodell für Systeme angegeben. Ein solches Modell ist die Voraussetzung, um die Beschreibung der Anforderungen und des Entwurfs eines Systems zu formalisieren . Dieses Modell bildet die Grundlage für den dann folgenden Vergleich der Beschreibungsmodelle und Prüfmittel dreier bekannter Entwicklungssysteme: SSES, PSL/PSA und SREP. Abschließend wird die Schnittstelle derartiger Systeme zu einem automatischen Testsystem diskutiert.
  • Thumbnail Image
    ItemOpen Access
    Processing of abdominal lead ECG and EMG in perinatal monitoring
    (1979) Nagel, Joachim H.; Schaldach, Max
    A new method of continuous monitoring both fetal heart rate and uterine activity during pregnancy and birth is described in the paper. Electrodes, placed on the maternal abdomen are used to obtain signals from the uterus as well as from fetal and maternal cardiac activity. By means of averaging and correlation techniques the components of the registrated signal are separated. The fetal electrocardiogram is used to compute the heart rate whereas the electromyogram is processed so as to result in the uterine activity curve. Besides a substantial improvement in the reliability of fetal heart rate monitoring, it is for the first time, that uterine activity could be registrated other than by mechanical means and without any additional signal transducers.