-Verkehr ohne Leittechnik ist wie Laufen im Dunkeln-, so der Autor. Verkehrsleittechnik soll die komplexen Verkehrsstrome der Straen- und Schienenverkehrsnetze zuverlassig steuern und regeln. Damit Personen und Guter sicher und zugig am Ziel ankommen, darf Leittechnik nichts dem Zufall uberlassen. Das Buch bietet die solide Grundlage zur adaquaten, nachhaltigen Modellierung von Verkehrssystemen und ihren technischen Einrichtungen.
-Verkehr ohne Leittechnik ist wie Laufen im Dunkeln-, so der Autor. Verkehrsleittechnik soll die komplexen Verkehrsstrome der Straen- und Schienenv...
Complexity in automation- and safety systems in railway as well as automotive applications are dominated more and more by formal description means, methods and tools. Formal techniques provide next to correctness and integrity checkups - especially for safety relevant systems - the possibility to model, prove, simulate and check the specification of the system as well as to generate the system implementations. Requirements of the CENELEC- and IEC-Standards on formal techniques, particularly with regard to the handling of safety analysis, are to be treated in FORMS/FORMAT 2010. The main focus...
Complexity in automation- and safety systems in railway as well as automotive applications are dominated more and more by formal description means, me...
Der Band liefert erstmals eine methodische Darstellung zur Verkehrssicherheit in einem begriffs- und systemtheoretischen Ansatz, der sozial- wie technikwissenschaftliche Perspektiven integriert. Vorgestellt werden Methoden fur die Erforschung und Gestaltung von Verkehrssystemen hinsichtlich der Verkehrssicherheit. Ausgehend von der begrifflichen Analyse stellt der Band Ansatze zur Definition von Verkehrssicherheit vor, erklart anhand dieser Modelle die historische Entwicklung und leitet Prognosen fur die weitere Entwicklung der Verkehrssicherung ab.
"
Der Band liefert erstmals eine methodische Darstellung zur Verkehrssicherheit in einem begriffs- und systemtheoretischen Ansatz, der sozial- wie te...
Die Beherrschung eines Wissensgebietes setzt, neben den grundsatzIichen Einsichten in die theoretischen Zusammenhiinge, Ubung im Umgang mit den zur Prazisierung und gedank lichen Straffung dienenden Modellvorstellungen voraus. Es handelt sich dabei zu einem guten Teil urn Routine, die sich am besten durch Uben unter Anleitung erwerben l t; die aktive Mitwirkung des Lernenden ist ein wesentlicher Faktor. An den technischen Hochschulen werden Vorlesungen deshalb seit jeher von Rechenlibungen begleitet, die der Aufbereitung und Vertiefung des Wissensstoffes dienen und eine Vorstufe zur prakti...
Die Beherrschung eines Wissensgebietes setzt, neben den grundsatzIichen Einsichten in die theoretischen Zusammenhiinge, Ubung im Umgang mit den zur Pr...
Au tomatisch gesteuerte technische Prozesse haben erhebliche volkswirtschaftliche Be deutung. Spannen sich dabei die Anwendungen tiber Industrie, Verkehr und Versorgung, so ist das Medium der Steuerung weitgehend die digitale Datenverarbeitung mit den in Programmen formulierten Steuerungsaufgaben. Das gilt umsomehr, als durch zunehmende Funktion und sinkende Kosten mikroelektronischer Informationstechnik bestehende An wendungen noch wirtschaftlicher und immer weitere erschlossen werden. Wahrend die technisch-wissenschaftliche Datenverarbeitung durch den Yom Benutzer zeit lich entkoppelten und...
Au tomatisch gesteuerte technische Prozesse haben erhebliche volkswirtschaftliche Be deutung. Spannen sich dabei die Anwendungen tiber Industrie, Verk...
Automatisch gesteuerte technische Prozesse haben erhebliche volkswirtschaftliche Bedeutung. Spannen sich dabei die immer komplexeren Anwendungen uber Industrie, Energie, Verkehr und Versorgung bzw. Entsorgung, so ist das Medium der Steuerung weitgehend die digitale Datenverarbeitung mit ihren in Programmen formulierten Steuerungsaufgaben. Das gilt um so mehr, als nach wie vor durch zunehmende Funktionalitat und sinkende Kosten mikroelek- tronischer Informationstechnik, durch leistungsfahige Kommunikationssysteme sowie wach- sende Standardisierung bestehende Anwendungen noch wirtschaftlicher...
Automatisch gesteuerte technische Prozesse haben erhebliche volkswirtschaftliche Bedeutung. Spannen sich dabei die immer komplexeren Anwendungen uber ...
Der Schlussel zur Automatisierung sind geeignete Beschreibungsmittel, Methoden und Werkzeuge. In diesem Buch werden die modernen Methoden fur Ingenieure in Studium und Beruf dargestellt. Besonderer Wert wird dabei auf die praxisgerechte Auswahl anwendbarer wissenschaftlicher Methoden, speziell mit Petrinetzen und ihre durchgangige Darstellung mit durchgehenden Beispielen gelegt. "Wir glauben, dass es ein sehr wichtiges Buch ist, dass dem Interessenten einen Uberblick von erheblicher Tiefe vermittelt." (TUV Rheinland, September 1999)
Der Schlussel zur Automatisierung sind geeignete Beschreibungsmittel, Methoden und Werkzeuge. In diesem Buch werden die modernen Methoden fur Ingenieu...
Complexity in automation- and safety systems in railway as well as automotive applications are dominated more and more by formal description means, methods and tools. Formal techniques provide next to correctness and integrity checkups - especially for safety relevant systems - the possibility to model, prove, simulate and check the specification of the system as well as to generate the system implementations. Requirements of the CENELEC- and IEC-Standards on formal techniques, particularly with regard to the handling of safety analysis, are to be treated in FORMS/FORMAT 2010. The main focus...
Complexity in automation- and safety systems in railway as well as automotive applications are dominated more and more by formal description means, me...
