國立虎尾科技大學 |

Die Formalisierte Terminologie der Verlässlichkeit Technischer Systeme

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Die Formalisierte Terminologie der Verlässlichkeit Technischer Systeme/ von Jörg R. Müller.
作者:	Müller, Jörg R.
面頁冊數:	IX, 155 S. 81 Abb.online resource. :
Contained By:	Springer Nature eBook
標題:	Quality control. -
電子資源:	https://doi.org/10.1007/978-3-662-46922-4
ISBN:	9783662469224

Die Formalisierte Terminologie der Verlässlichkeit Technischer Systeme
Müller, Jörg R.

Die Formalisierte Terminologie der Verlässlichkeit Technischer Systeme[electronic resource] /von Jörg R. Müller. - 1st ed. 2015. - IX, 155 S. 81 Abb.online resource.

Einleitung -- Grundlagen der verwendeten Beschreibungsmittel -- Systemtheorie und Semiotik: Eigenschaften und Formalisierung -- Formalisierung der Überlebensfähigkeit als Systemeigenschaft -- Formalisierung der Instandhaltbarkeit als Systemeigenschaft -- Formalisierung der Verfügbarkeit als Systemeigenschaft -- Formalisierung von Sicherheitsbegriffen im Kontext der technischen Verlässlichkeit -- Zusammenfassung und Appell -- Index der Verlässlichkeitsbegriffe -- Sachverzeichnis.

„Die Grenzen meiner Sprache bedeuten die Grenzen meiner Welt“ – diese Erkenntnis Ludwig Wittgensteins begründet besonders hinsichtlich der Zunahme von interdisziplinären Forschungs- und Entwicklungsprojekten die Notwendigkeit forcierter Terminologiearbeit, damit interdisziplinäre Kommunikation eineindeutig interpretiert werden kann. Exemplarisch wird für den Anwendungskontext der Verlässlichkeit technischer Systeme ein mehrdimensionales Terminologiegebäude durch verschränkte Kombination von Präzisierungsmethoden aufgebaut. Begriffe werden intensional hierarchisiert; zudem wird die Interpretationsfreiheit von Bezeichnungen und damit die Begriffsunschärfe eingeschränkt. Im Ergebnis entsteht ein konsistentes und präzises Terminologiegebäude, beispielhaft für die Verlässlichkeit technischer Systeme ausgeführt. Der Übertragung der hier verwendeten Beschreibungssprachen, sowie der strukturgebenden Konzepte, auf andere Domänen steht nichts im Wege. Der Autor Priv.-Doz. Dr. rer. nat. Jörg Rudolf Müller wurde am 01.05.1972 geboren. Nach dem Studium und der Promotion in Informatik an der Universität in Koblenz (1998 und 2004), wurde er 2013 an der Fakultät für Maschinenbau der TU-Braunschweig habilitiert und erhielt die venia legendi im Bereich „Zuverlässigkeit und Sicherheit automatisierter Verkehrssysteme“. Seit Oktober 2011 ist er bei der Bombardier Transportation GmbH als Projekt- und seit Mai 2014 als Abteilungsleiter tätig. Als Mitglied im Referat K132 „Zuverlässigkeit“ der DKE hat er die Veröffentlichung des IEC-Standards 62551 „Analysis techniques for dependability – Petri-nets“ geleitet, zudem ist er Mitglied im Fachbeirat „Sicherheit und Zuverlässigkeit“ der VDI-Gesellschaft für Produkt- und Prozessgestaltung und leitet hier den Fachausschuss "Software-Zuverlässigkeit".

ISBN: 9783662469224

Standard No.: 10.1007/978-3-662-46922-4doiSubjects--Topical Terms:

573723
Quality control.

LC Class. No.: TA169.7

Dewey Class. No.: 658.56

Die Formalisierte Terminologie der Verlässlichkeit Technischer Systeme
LDR:03575nam a22003615i 4500 001 965313
003 DE-He213
005 20200713023621.0
007 cr nn 008mamaa
008 201211s2015 gw | s |||| 0|ger d
020 $a 9783662469224 $9 978-3-662-46922-4
024 7 $a 10.1007/978-3-662-46922-4 $2 doi
035 $a 978-3-662-46922-4
050 4 $a TA169.7
050 4 $a T55-55.3
072 7 $a TGPR $2 bicssc
072 7 $a TEC032000 $2 bisacsh
072 7 $a TGPR $2 thema
082 0 4 $a 658.56 $2 23
100 1 $a Müller, Jörg R. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1260893
245 1 4 $a Die Formalisierte Terminologie der Verlässlichkeit Technischer Systeme $h [electronic resource] / $c von Jörg R. Müller.
250 $a 1st ed. 2015.
264 1 $a Berlin, Heidelberg : $b Springer Berlin Heidelberg : $b Imprint: Springer Vieweg, $c 2015.
300 $a IX, 155 S. 81 Abb. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
505 0 $a Einleitung -- Grundlagen der verwendeten Beschreibungsmittel -- Systemtheorie und Semiotik: Eigenschaften und Formalisierung -- Formalisierung der Überlebensfähigkeit als Systemeigenschaft -- Formalisierung der Instandhaltbarkeit als Systemeigenschaft -- Formalisierung der Verfügbarkeit als Systemeigenschaft -- Formalisierung von Sicherheitsbegriffen im Kontext der technischen Verlässlichkeit -- Zusammenfassung und Appell -- Index der Verlässlichkeitsbegriffe -- Sachverzeichnis.
520 $a „Die Grenzen meiner Sprache bedeuten die Grenzen meiner Welt“ – diese Erkenntnis Ludwig Wittgensteins begründet besonders hinsichtlich der Zunahme von interdisziplinären Forschungs- und Entwicklungsprojekten die Notwendigkeit forcierter Terminologiearbeit, damit interdisziplinäre Kommunikation eineindeutig interpretiert werden kann. Exemplarisch wird für den Anwendungskontext der Verlässlichkeit technischer Systeme ein mehrdimensionales Terminologiegebäude durch verschränkte Kombination von Präzisierungsmethoden aufgebaut. Begriffe werden intensional hierarchisiert; zudem wird die Interpretationsfreiheit von Bezeichnungen und damit die Begriffsunschärfe eingeschränkt. Im Ergebnis entsteht ein konsistentes und präzises Terminologiegebäude, beispielhaft für die Verlässlichkeit technischer Systeme ausgeführt. Der Übertragung der hier verwendeten Beschreibungssprachen, sowie der strukturgebenden Konzepte, auf andere Domänen steht nichts im Wege. Der Autor Priv.-Doz. Dr. rer. nat. Jörg Rudolf Müller wurde am 01.05.1972 geboren. Nach dem Studium und der Promotion in Informatik an der Universität in Koblenz (1998 und 2004), wurde er 2013 an der Fakultät für Maschinenbau der TU-Braunschweig habilitiert und erhielt die venia legendi im Bereich „Zuverlässigkeit und Sicherheit automatisierter Verkehrssysteme“. Seit Oktober 2011 ist er bei der Bombardier Transportation GmbH als Projekt- und seit Mai 2014 als Abteilungsleiter tätig. Als Mitglied im Referat K132 „Zuverlässigkeit“ der DKE hat er die Veröffentlichung des IEC-Standards 62551 „Analysis techniques for dependability – Petri-nets“ geleitet, zudem ist er Mitglied im Fachbeirat „Sicherheit und Zuverlässigkeit“ der VDI-Gesellschaft für Produkt- und Prozessgestaltung und leitet hier den Fachausschuss "Software-Zuverlässigkeit".
650 0 $a Quality control. $3 573723
650 0 $a Reliability. $3 573603
650 0 $a Industrial safety. $3 568114
650 0 $a Statistical physics. $3 528048
650 0 $a Dynamical systems. $3 1249739
650 0 $a Computer software—Reusability. $3 1254984
650 0 $a Language and languages—Philosophy. $3 1254282
650 0 $a Ontology. $3 559386
650 0 $a Communication. $3 556422
650 1 4 $a Quality Control, Reliability, Safety and Risk. $3 671184
650 2 4 $a Complex Systems. $3 888664
650 2 4 $a Performance and Reliability. $3 669802
650 2 4 $a Philosophy of Language. $3 671588
650 2 4 $a Communication Studies. $3 786352
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783662469217
856 4 0 $u https://doi.org/10.1007/978-3-662-46922-4
912 $a ZDB-2-STI
950 $a Computer Science and Engineering (German Language) (SpringerNature-11774)