Fri frakt över 249 kr
•
Snabba leveranser
•
Billiga böcker

Sista dagarna på sommarens kampanjer →

Zuverlässigkeitsbewertung technischer Systeme

Modelle für Zuverlässigkeitsstrukturen und ihre analytische Auswertung

Häftad, Tyska, 1997

Del 21 i serien Teubner Texte zur Informatik

508 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1997-01-01
Mått:170 x 244 x 13 mm
Vikt:395 g
Format:Häftad
Språk:Tyska
Serie:Teubner Texte zur Informatik
Antal sidor:220
Upplaga:1997
Förlag:Springer Fachmedien Wiesbaden
ISBN:9783815423066

Utforska kategorier

Teknik: allmänt inom Naturvetenskap och teknik

Innehållsförteckning

1 Einleitung.- 1.1 Bedeutung der Zuverlässigkeit und ihrer Berechnung.- 1.2 Zuverlässigkeitsbewertung bei der Systementwicklung.- 1.3 Grundlegende Begriffe und Konzepte.- 2 Elementare Zuverlässigkeitsstrukturen.- 2.1 Modellbildung.- 2.2 Serien- und Parallelsysteme.- 2.3 k-von-n Struktur.- 3 Das Boolesche Zuverlässigkeitsmodell.- 3.1 Intakt- und Defektkombinationen.- 3.2 Darstellungen der Zuverlässigkeitsstruktur.- 3.3 Berechnung der Intaktwahrscheinlichkeit.- 3.4 Monotone Systeme.- 3.5 Probabilistische Zuverlässigkeitskenngrößen.- 4 Netzstrukturen.- 4.1 Deterministische Verläßlichkeitskenngrößen.- 4.2 Probabilistische Verläßlichkeitskenngrößen.- 4.3 Reduktion.- 4.4 Probabilistische Zuverlässigkeitsanalyse nichtreduzierbarer Netze.- 4.5 Integration verschiedener Zuverlässigkeitsaspekte.- 5 Bewertung mit Hilfe temporaler Logik.- 5.1 Zur Anwendung des temporallogischen Modells.- 5.2 Das temporallogische Zuverlässigkeitsmodell.- 5.3 Spezifikation verschiedener Redundanz- und Umschaltarten.- 5.4 Deterministische Modellierung dynamischer Systeme.- 5.5 Probabilistische Auswertung temporallogischer Spezifikationen.- 5.6 Probabilistische Zuverlässigkeitsanalyse dynamischer Systeme.- Symbole und Abkürzungen.- Sachwortverzeichnis.

Du kanske också är intresserad av

Evolution in Objekt-Datenbanken, Häftad

Del 10

Evolution in Objekt-Datenbanken

Springer Fachmedien Wiesbaden

Häftad, 1995

508 kr

Günther Hotz - Algorithmische Informationstheorie, Häftad

Del 23

Algorithmische Informationstheorie

Günther Hotz

Häftad, 1997

368 kr

Gerd Wechsung - Vorlesungen zur Komplexitätstheorie, Häftad

Del 32

Vorlesungen zur Komplexitätstheorie

Gerd Wechsung

Häftad, 2000

626 kr

Petrinetze, lineare Algebra und lineare Programmierung, Häftad

Del 26

Petrinetze, lineare Algebra und lineare Programmierung

Springer Fachmedien Wiesbaden

Häftad, 1998

458 kr

Formale Semantik eines erweiterten Entity-Relationship-Modells, Häftad

Formale Semantik eines erweiterten Entity-Relationship-Modells

Springer Fachmedien Wiesbaden

Häftad, 1993

508 kr

Christoph Walther - Semantik und Programmverifikation, Häftad

Del 34

Semantik und Programmverifikation

Christoph Walther

Häftad, 2001

388 kr

Georg Stellner - Dynamic Load Distribution for Parallel Applications, Häftad

Del 24

Dynamic Load Distribution for Parallel Applications

Georg Stellner

Häftad, 1997

508 kr

Harald Ganzinger, Wolfgang J. Paul - Informatik, Häftad

Del 1

Informatik

Harald Ganzinger, Wolfgang J. Paul

Häftad, 1992

508 kr

Georg Lausen, Andreas Oberweis, Gunter Schlageter - Angewandte Informatik und Formale Beschreibungsverfahren, Häftad

Del 29

Angewandte Informatik und Formale Beschreibungsverfahren

Georg Lausen, Andreas Oberweis, Gunter Schlageter

Häftad, 1999

508 kr

Herbert Stoyan - Begründungsverwaltung, Häftad

Del 162

Begründungsverwaltung

Herbert Stoyan

Häftad, 1988

1 111 kr