Formalisierte Terminologien technischer Systeme und ihrer Zuverlässigkeit:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | German |
| Veröffentlicht: |
Braunschweig
Inst. für Verkehrssystemtechnik
2010
|
| Schriftenreihe: | Berichte aus dem DLR-Institut für Verkehrssystemtechnik
10 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XVIII, 191 S. Ill., graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036452182 | ||
| 003 | DE-604 | ||
| 005 | 20190314 | ||
| 007 | t | ||
| 008 | 100514s2010 ad|| tm|| 00||| ger d | ||
| 016 | 7 | |a 100199387X |2 DE-101 | |
| 035 | |a (OCoLC)643239101 | ||
| 035 | |a (DE-599)DNB100199387X | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-706 |a DE-83 |a DE-11 | ||
| 082 | 0 | |a 620.00452014 |2 22/ger | |
| 084 | |a RB 10765 |0 (DE-625)142220:12851 |2 rvk | ||
| 084 | |a ZQ 4800 |0 (DE-625)158092: |2 rvk | ||
| 084 | |a 620 |2 sdnb | ||
| 088 | |a DLR TS 1.10 | ||
| 100 | 1 | |a Schnieder, Lars |d 1980- |e Verfasser |0 (DE-588)1041859422 |4 aut | |
| 245 | 1 | 0 | |a Formalisierte Terminologien technischer Systeme und ihrer Zuverlässigkeit |c Lars Schnieder |
| 264 | 1 | |a Braunschweig |b Inst. für Verkehrssystemtechnik |c 2010 | |
| 300 | |a XVIII, 191 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Berichte aus dem DLR-Institut für Verkehrssystemtechnik |v 10 | |
| 502 | |a Zugl.: Braunschweig, Techn. Univ., Diss. | ||
| 650 | 0 | 7 | |a Formalisierung |0 (DE-588)4123217-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Technisches System |0 (DE-588)4126276-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Terminologiearbeit |0 (DE-588)4246652-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Formalisierung |0 (DE-588)4123217-3 |D s |
| 689 | 0 | 1 | |a Technisches System |0 (DE-588)4126276-1 |D s |
| 689 | 0 | 2 | |a Terminologiearbeit |0 (DE-588)4246652-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Berichte aus dem DLR-Institut für Verkehrssystemtechnik |v 10 |w (DE-604)BV023298268 |9 10 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020324279&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-020324279 | ||
Datensatz im Suchindex
| _version_ | 1804142939488649216 |
|---|---|
| adam_text | 3.1.1 PHASENUEBERGREIFENDE INTEGRATION DER SICHTEN 24 INHALTSVERZEICHNIS
VORWORT DES HERAUSGEBERS III VORWORT DES AUTORS V ABBILDUNGSVERZEICHNIS
XI TABELLENVERZEICHNIS XIII KURZFASSUNG XV ABSTRACT XVII 1 ZIEL UND
PROBLEMSTELLUNG 1 1.1 ZIEL DER ARBEIT 1 1.2 STRUKTUR DER ARBEIT 2 1.3
BEDEUTUNG UND PROBLEME DER KOMMUNIKATION 5 1.3.1 INTRA- UND
INTERPERSONELLES KOMMUNIKATIONSMODELL 6 1.3.2 KOMMUNIKATIONSPROBLEME 7
1.3.3 KOMMUNIKATIONS- UND TRANSAKTIONSKOSTEN 8 1.4 TERMINOLOGIENORMUNG
ALS GRUNDLAGE TECHNISCHER VERSTAENDIGUNG 9 1.4.1 BEDEUTUNGSZUWACHS DER
TERMINOLOGIENORMUNG 9 1.4.2 HERAUSFORDERUNGEN DER TERMINOLOGIENORMUNG 11
2 STAND DER WISSENSCHAFT UND TECHNIK UND ANSATZ DER ARBEIT 13 2.1 STAND
DER WISSENSCHAFT UND TECHNIK 13 2.1.1 STAND DER TERMINOLOGIEGRUNDNORMUNG
13 2.1.2 STAND DER TERMINOLOGIE TECHNISCHER SYSTEME 15 2.1.3 STAND DER
TERMINOLOGIE DER VERLAESSLICHKEIT 16 2.2 ANSATZ DER ARBEIT 18 2.2.1
MODELLBASIERTES INFORMATIONSMANAGEMENT 18 2.2.2 TERMINOLOGIEMANAGEMENT
19 2.2.3 ANSATZ DER FORMALISIERTEN BEDEUTUNGSFESTLEGUNG 21 2.2.4
KOMMUNIKATIONSEFFIZIENZ DURCH WERKZEUGUNTERSTUETZUNG 22 3 FACHSPRACHLICHE
BEDEUTUNGSFESTLEGUNG DURCH INTEGRATION FORMALISIERTER TERMINI 23 3.1
ANFORDERUNGEN AN EINEN METHODISCHEN ANSATZ 24 BIBLIOGRAFISCHE
INFORMATIONEN HTTP://D-NB.INFO/100199387X DIGITALISIERT DURCH 3.1.2
MODELLBASIERTE ENTWICKLUNG 26 3.1.3 TERMINOLOGISCHE STRINGENZ 28 3.2
METHODISCHE MODELLBILDUNG 30 3.2.1 SEMIOTISCHE DIMENSION VON MODELLEN 30
3.2.2 VORGEHENSWEISE DER METHODISCHEN MODELLBILDUNG 32 3.2.3
FORMALISIERUNG DURCH BESCHREIBUNGSMITTEL 34 3.2.4 WERKZEUGUNTERSTUETZUNG
35 3.3 HERLEITUNG DES METHODISCHEN ANSATZES 36 3.3.1 VORGEHENSMODELL DER
FORMALISIERTEN BEDEUTUNGSFESTLEGUNG 37 3.3.2 FORMALISIERUNGSKONZEPT:
KLASSENDIAGRAMME UND PETRINETZE 42 3.3.3 INTEGRATIONSKONZEPT 47 3.3.4
VERIFIKATIONSANSATZ 48 4 FORMALISIERUNG DES TERMINUS ALS
METASPRACHLICHES MODELL 51 4.1 DER TERMINUS UND SEINE KONSTITUENTEN 52
4.2 BEZEICHNUNG (SIGNIFIKANT) 54 4.3 BEGRIFF (SIGNIFIKAT) 56 4.3.1
INTENSION 56 4.3.2 RELATIONEN IN TERMINOLOGIEGEBAEUDEN 62 4.3.3 EXTENSION
70 4.3.4 DEFINITION 70 4.4 DYNAMIK FACHSPRACHLICHER SEMANTIK 72 4.4.1
VARIETAETSBEZUG FACHSPRACHLICHER SEMANTIK 72 4.4.2 DIACHRONE PERSPEKTIVE
FACHSPRACHLICHER SEMANTIK 75 4.5 FORMALISIERUNG VON GESCHEHNISSEN 76
4.5.1 REVERSITAETSRELATION 77 4.5.2 KOMPLEMENTAERE INTEGRATION AUF
BESCHREIBUNGSMITTELEBENE 78 4.6 TERMINOLOGIEGEBAEUDE 80 5 FORMALISIERUNG
UND INSTANZIIERUNG GENERISCHER MODELLKONZEPTE....87 5.1 MODELLKONZEPT
DES SYSTEMS 87 5.1.1 DEFINITION UND SYSTEMEIGENSCHAFTEN 87 5.1.2
ABSTRAKTIONSHIERARCHIE DES SYSTEMS - SELBSTAEHNLICHKEIT 89 5.1.3 EMERGENZ
90 5. 5.2.3 PARTITIONIERUNG 94 5.2.4 KONFIGURATION 95 5.3 INSTANZIIERUNG
LEITTECHNISCHER SYSTEME 96 5.3.1 DEKOMPOSITION TECHNOLOGIEINVARIANTER
SICHERUNGSFUNKTIONEN 97 5.3.2 STRUKTURIERUNG ANWENDUNGSUNABHAENGIGER
RESSOURCEN 97 5.3.3 INTEGRATION VON FUNKTIONSEINHEITEN UND
FUNKTIONSTRAEGERN 100 6 MODELLIERUNG EINER FORMATIERTEN TERMINOLOGIE ZUR
VERLAESSLICHKEIT103 6.1 DEFIZITE TERMINOLOGISCHER FESTLEGUNGEN IN DEN
TECHNISCHEN NORMEN 103 6.1.1 SYNONYME VERWENDUNG VON BENENNUNGEN 103
6.1.2 INKONSISTENZ TERMINOLOGISCHER FESTLEGUNGEN 104 6.1.3 SEMANTISCHE
VAGHEIT TERMINOLOGISCHER FESTLEGUNGEN 107 6.1.4 DOMAENENSPEZIFITAET
TERMINOLOGISCHER FESTLEGUNGEN 107 6.1.5 VERLETZUNG DER GRUNDSAETZE DER
DEFINITIONSERSTELLUNG 109 6.1.6 UNVERSTAENDLICHKEIT TERMINOLOGISCHER
FESTLEGUNGEN 110 6.1.7 FAZIT 111 6.2 INSTANZIIERUNG DER ZUVERLAESSIGKEIT
111 6.3 INSTANZIIERUNG DER INSTANDHALTBARKEIT 114 6.3.1 MITTLERE ZEIT
BIS ZUR WIEDERHERSTELLUNG 115 6.3.2 BEDEUTUNG DER DIAGNOSE 116 6.3.3
MITTLERE UNKLARZEIT 117 6.4 INTEGRATION DER ZUVERLAESSIGKEIT UND
INSTANDHALTBARKEIT ZUR VERFUEGBARKEIT 119 6.5 EXPLIKATION DES
SICHERHEITSBEGRIFFS 121 6.5.1 RISIKO ALS ABGELEITETE GROESSE 121 6.5.2
VORGEHENSWEISE DER RISIKOBEARBEITUNG 123 6.5.3 SICHERHEITALS EMERGENTE
UND GENERISCHE EIGENSCHAFT 124 6.5.4 SCHUTZ DER UMWELT VOR
SYSTEMAUSWIRKUNGEN (SAFETY) 125 6.5.5 SCHUTZ DES SYSTEMS VOR
FREMDEINWIRKUNGEN (SECURITY) 127 6.6 KONTROLLIERTES ZWEISPRACHIGES
VOKABULAR DER SICHERHEIT 129 6.6. 7.2.1 TERMINOLOGIEMANAGEMENTPROZESS
141 7.2.2 TERMINOLOGIE IM DOKUMENTENLEBENSLAUF 142 7.2.3 KOOPERATIVER
VERBUND SPRACHTECHNOLOGISCHER WERKZEUGE 143 7.3 ANWENDERROLLEN UND IHRE
FUNKTIONALEN ANFORDERUNGEN 146 7.3.1 ROLLE DES TERMINOLOGEN 147 7.3.2
ROLLE DES ADMINISTRATORS 149 7.3.3 ROLLE DES INFORMATIONSSUCHENDEN 149
7.3.4 ALLGEMEINE ANFORDERUNGEN 150 7.4 REALISIERUNGSKONZEPT EINES
TERMINOLOGIEMANAGEMENTSYSTEMS 151 7.4.1 ARCHITEKTURKONZEPT 151 7.4.2
EINGABE EINES TERMINUS 153 7.4.3 RELATIONIEREN EINES TERMINUS 154 7.4.4
REALISIERUNG DES VARIETAETSBEZUGS DER TERMINI 155 7.4.5 REALISIERUNG DER
VERSIONIERUNG 155 7.4.6 REALISIERUNG DER REKURSIVITAET DES ZEICHENMODELLS
157 7.4.7 ZUSAETZLICHE LEXEMATTRIBUTE 160 8 FAZIT 161 8.1 ZUSAMMENFASSUNG
161 8.2 AUSBLICK 163 ABKUERZUNGSVERZEICHNIS 167 LITERATURVERZEICHNIS 169
NORMEN, RICHTLINIEN UND GESETZE 169 WEITERE FACHLITERATUR 175
|
| any_adam_object | 1 |
| author | Schnieder, Lars 1980- |
| author_GND | (DE-588)1041859422 |
| author_facet | Schnieder, Lars 1980- |
| author_role | aut |
| author_sort | Schnieder, Lars 1980- |
| author_variant | l s ls |
| building | Verbundindex |
| bvnumber | BV036452182 |
| classification_rvk | RB 10765 ZQ 4800 |
| ctrlnum | (OCoLC)643239101 (DE-599)DNB100199387X |
| dewey-full | 620.00452014 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 620 - Engineering and allied operations |
| dewey-raw | 620.00452014 |
| dewey-search | 620.00452014 |
| dewey-sort | 3620.00452014 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Maschinenbau / Maschinenwesen Geographie Mess-/Steuerungs-/Regelungs-/Automatisierungstechnik / Mechatronik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01938nam a2200457 cb4500</leader><controlfield tag="001">BV036452182</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20190314 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">100514s2010 ad|| tm|| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">100199387X</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)643239101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB100199387X</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">620.00452014</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">RB 10765</subfield><subfield code="0">(DE-625)142220:12851</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ZQ 4800</subfield><subfield code="0">(DE-625)158092:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">620</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">DLR TS 1.10</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Schnieder, Lars</subfield><subfield code="d">1980-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1041859422</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formalisierte Terminologien technischer Systeme und ihrer Zuverlässigkeit</subfield><subfield code="c">Lars Schnieder</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Braunschweig</subfield><subfield code="b">Inst. für Verkehrssystemtechnik</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVIII, 191 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Berichte aus dem DLR-Institut für Verkehrssystemtechnik</subfield><subfield code="v">10</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Braunschweig, Techn. Univ., Diss.</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formalisierung</subfield><subfield code="0">(DE-588)4123217-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Technisches System</subfield><subfield code="0">(DE-588)4126276-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Terminologiearbeit</subfield><subfield code="0">(DE-588)4246652-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Formalisierung</subfield><subfield code="0">(DE-588)4123217-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Technisches System</subfield><subfield code="0">(DE-588)4126276-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Terminologiearbeit</subfield><subfield code="0">(DE-588)4246652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Berichte aus dem DLR-Institut für Verkehrssystemtechnik</subfield><subfield code="v">10</subfield><subfield code="w">(DE-604)BV023298268</subfield><subfield code="9">10</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020324279&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020324279</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV036452182 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T22:39:44Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020324279 |
| oclc_num | 643239101 |
| open_access_boolean | |
| owner | DE-706 DE-83 DE-11 |
| owner_facet | DE-706 DE-83 DE-11 |
| physical | XVIII, 191 S. Ill., graph. Darst. |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Inst. für Verkehrssystemtechnik |
| record_format | marc |
| series | Berichte aus dem DLR-Institut für Verkehrssystemtechnik |
| series2 | Berichte aus dem DLR-Institut für Verkehrssystemtechnik |
| spelling | Schnieder, Lars 1980- Verfasser (DE-588)1041859422 aut Formalisierte Terminologien technischer Systeme und ihrer Zuverlässigkeit Lars Schnieder Braunschweig Inst. für Verkehrssystemtechnik 2010 XVIII, 191 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Berichte aus dem DLR-Institut für Verkehrssystemtechnik 10 Zugl.: Braunschweig, Techn. Univ., Diss. Formalisierung (DE-588)4123217-3 gnd rswk-swf Technisches System (DE-588)4126276-1 gnd rswk-swf Terminologiearbeit (DE-588)4246652-0 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Formalisierung (DE-588)4123217-3 s Technisches System (DE-588)4126276-1 s Terminologiearbeit (DE-588)4246652-0 s DE-604 Berichte aus dem DLR-Institut für Verkehrssystemtechnik 10 (DE-604)BV023298268 10 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020324279&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Schnieder, Lars 1980- Formalisierte Terminologien technischer Systeme und ihrer Zuverlässigkeit Berichte aus dem DLR-Institut für Verkehrssystemtechnik Formalisierung (DE-588)4123217-3 gnd Technisches System (DE-588)4126276-1 gnd Terminologiearbeit (DE-588)4246652-0 gnd |
| subject_GND | (DE-588)4123217-3 (DE-588)4126276-1 (DE-588)4246652-0 (DE-588)4113937-9 |
| title | Formalisierte Terminologien technischer Systeme und ihrer Zuverlässigkeit |
| title_auth | Formalisierte Terminologien technischer Systeme und ihrer Zuverlässigkeit |
| title_exact_search | Formalisierte Terminologien technischer Systeme und ihrer Zuverlässigkeit |
| title_full | Formalisierte Terminologien technischer Systeme und ihrer Zuverlässigkeit Lars Schnieder |
| title_fullStr | Formalisierte Terminologien technischer Systeme und ihrer Zuverlässigkeit Lars Schnieder |
| title_full_unstemmed | Formalisierte Terminologien technischer Systeme und ihrer Zuverlässigkeit Lars Schnieder |
| title_short | Formalisierte Terminologien technischer Systeme und ihrer Zuverlässigkeit |
| title_sort | formalisierte terminologien technischer systeme und ihrer zuverlassigkeit |
| topic | Formalisierung (DE-588)4123217-3 gnd Technisches System (DE-588)4126276-1 gnd Terminologiearbeit (DE-588)4246652-0 gnd |
| topic_facet | Formalisierung Technisches System Terminologiearbeit Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020324279&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV023298268 |
| work_keys_str_mv | AT schniederlars formalisierteterminologientechnischersystemeundihrerzuverlassigkeit |