Verfügbarkeit: Möglichkeiten und Grenzen des Umformens von Stahlwerkstoffen mit hydraulischen Wirkmedien

Möglichkeiten und Grenzen des Umformens von Stahlwerkstoffen mit hydraulischen Wirkmedien:

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Lichtenberg, Sven (VerfasserIn)
Format:	Buch
Sprache:	Undetermined
Veröffentlicht:	Düsseldorf Verl. und Vertriebsges. mbH 1996
Schriftenreihe:	Forschung für die Praxis P 305
Online-Zugang:	Inhaltsverzeichnis
Beschreibung:	Getr. Zähl. Ill., graph. Darst.
ISBN:	3930621479

Internformat

MARC


LEADER	00000nam a2200000zcb4500
001	BV024719095
003	DE-604
005	20100927
007	t
008	030822s1996 ad\|\| \|\|\|\| 00\|\|\| und d
020			\|a 3930621479 \|9 3-930621-47-9
035			\|a (OCoLC)258393139
035			\|a (DE-599)BVBBV024719095
040			\|a DE-604 \|b ger
041			\|a und
049			\|a DE-634
100	1		\|a Lichtenberg, Sven \|e Verfasser \|0 (DE-588)115073515 \|4 aut
245	1	0	\|a Möglichkeiten und Grenzen des Umformens von Stahlwerkstoffen mit hydraulischen Wirkmedien \|c Sven Lichtenberg
264		1	\|a Düsseldorf \|b Verl. und Vertriebsges. mbH \|c 1996
300			\|a Getr. Zähl. \|b Ill., graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Forschung für die Praxis \|v P 305
830		0	\|a Forschung für die Praxis \|v P 305 \|w (DE-604)BV011826119 \|9 305
856	4	2	\|m HBZ Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018836946&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-018836946

Datensatz im Suchindex

_version_	1804140966127337472
adam_text	INHALTSVERZEICHNIS 1. EINLEITUNG .........................................................1 2. KONFORMITAETSTESTEN ..................................................5 2.1 DIE ENTWICKLUNG DES OSI-KONFORMITAETSTESTENS .............................5 2.2 DIE OSI-KONFORMITAETSTEST-STANDARDS ....................................6 2.2.1 TESTMETHODEN ..................................................7 2.2.2 DIE SPEZIFIKATION VON KONFORMITAETSTESTS ............................. 10 2.2.3 ANFORDERUNGEN AN KONFORMITAETSTESTS ................................ 11 2.3 DIE PROBLEMATIK DER TESTERSTELLUNG .................................... 12 2.3.1 AUTOMATISCHE TESTHERLEITUNG ...................................... 14 2.3.2 FORMALE VERIFIKATION VON KONFORMITAETSTESTS ........................... 17 2.3.3 TESTVALIDIERUNG ................................................ 17 2.3.4 KONFORMITAET UND INTEROPERABILITAET .................................. 19 2.3.5 TESTQUALITAET ..................................................20 2.4 DIE TESTNOTATION TTCN ............................................20 2.4.1 ASN.L ......................................................21 2.4.2 TTCN ......................................................23 2.4.3 DER UNTERSCHIED ZWISCHEN TESTBESCHREIBUNG UND ABSTRAKTEM TESTER .........33 2.5 EINSCHRAENKUNGEN FUER DEN AUFBAU VON TESTFALLEN ..........................34 2.6 ZUSAMMENFASSUNG DER KORREKTHEITSANFORDERUNGEN FUER TTCN-TESTSZENARIEN ......41 3. FORMALE SPEZIFIKATIONEN VON PROTOKOLLEN UND DIENSTEN .......................43 3.1 DAS AGENTEN-LNTERAKTIONS-MODELL .....................................45 3.1.1 EIGENSCHAFTEN VON INTERAKTIONEN UND INTERAKTIONSPUNKTEN ................46 3.2 SPEZIFIKATIONEN IN ESTELLE, SDL, LOTOS, CRS UND HOEHEREN PETRI-NETZEN .......48 3.2.1 ESTELLE.......................................................48 3.2.2 SDL ........................................................51 3.2.3 LOTOS ......................................................54 3.2.4 CRS ........................................................57 3.2.5 HOEHERE PETRI-NETZE .............................................60 3.2.6 ZUSAMMENFASSUNG UND VERGLEICH ...................................61 3.2.7 EXTERNE INTERAKTIONSPUNKTE OFFENER SPEZIFIKATIONEN .....................63 3.3 DAS EXTERN SICHTBARE VERHALTEN EINES AGENTEN ............................65 3.3.1 MARKIERTE TRANSITIONSSYSTEME .....................................66 3.3.2 AKTIONSBAEUME UND ACTS ........................................67 3.3.3 INTERAKTIONSBAEUME .............................................71 3.3.4 DER UNTERSCHIED ZWISCHEN INTERAKTIONEN UND INTERAKTIONSSPEZIFIKATIONEN .....73 3.3.5 KONSTRUKTION VON INTERAKTIONSBAEUMEN AUS FORMALEN SPEZIFIKATIONEN ........73 3.3.6 RELEVANZ VON INTERAKTIONSBAEUMEN FUER DIE PRAKTISCHE TESTVALIDIERUNG ........74 3.3.7 PARAMETRISIERTE SPEZIFIKATIONEN ....................................75 4. DIE KONSISTENZ EINES TTCN-TESTSZENARIOS MIT DEM ZUGRUNDELIEGENDEN PROTOKOLLSTANDARD 79 4.1 DIE BEZIEHUNG ZWISCHEN PROTOKOLLDEFMITION UND PROTOKOLLTEST ................80 4.2 TTCN UND DAS AGENTEN-INTERAKTIONS-MODELL .............................81 4.2.1 DIE EIGENSCHAFTEN DER INTERAKTIONSPUNKTE (PCOS) IN TTCN ...............82 4.3 DAS EXTERN SICHTBARE VERHALTEN EINES TESTAGENTEN .........................83 4.3.1 EINFACHE TEST-INTERAKTIONSBAEUME...................................83 4.3.2 PRIORITAETSBEHAFTETC ALTERNATIVENLISTEN ....................... 85 4.3.3 DAS OTHERWISE-KONSTRUKT ................. 86 4.3.4 DAS TIMEOUT-KONSTRUKT .......................................88 4.3.5 DER EINFLUSS VON VARIABLEN........................................89 4.3.6 DER EINFLUSS VON TEST-SUITE-PARAMETERN ..............................90 4.3.7 DIE EXPANSION VON SCHLEIFEN ......................................91 4.3.8 SPEZIFISCHE EIGENSCHAFTEN VON TEST-INTERAKTIONSBAEUMEN ..................91 4.4 DER VERGLEICH VON TESTSZENARIEN MIT FORMALEN SPEZIFIKATIONEN .... 77..........93 4.4.1 AEQUIVALENZ VON LTS-MARKIERUNGEN .................................93 4.4.2 DAS ABSTRAKTIONSNIVEAU VON VERHALTENSBESCHREIBUNGEN ..................94 4.4.3 REALISTISCHE KOMPLEXE INTERAKTIONSSPEZIFIKATIONEN ......................95 4.4.4 BEDEUTUNGSERHALTENDE TRANSFORMATION VON INTERAKTIONSSPEZIFIKATIONEN .......97 4.5 DIE LOGISCHE KORREKTHEIT EINES TTCN-TESTFALLS ........................... 100 4.5.1 KOMPLEMENTAERE INTERAKTIONSSPEZIFIKATIONEN .......................... 102 4.5.2 DIE BEDEUTUNG VON TESTURTEILEN ................................... 103 4.5.3 DER EINFLUSS SPEICHERNDER PCOS ................................... 104 4.5.4 KORREKTHEITSCRHALTENDE VERTAUSCHUNG VON TESTINTERAKTIONEN .............. 107 4.5.5 GUELTIGE PERMUTATIONEN VON INTERAKTIONSSEQUCNZEN FORMALER SPEZIFIKATIONEN . . 109 4.5.6 PERMUTATIONEN BEI MEHREREN INTERAKTIONSPUNKTEN ...................... 110 4.5.7 PRAKTISCHE ERWAEGUNGEN ZU VERSCHIEBUNGEN VON SENDEINTERAKTIONEN IN TESTSE QUENZEN ........................................................ 111 4.5.8 UNVERMEIDBARE VERTAUSCHUNGEN VON TESTINTERAKTIONEN .................. 112 4.5.9 LOGISCHE KORREKTHEIT VON PASS-UND FAIL-SEQUENZEN .................... 113 4.5.10 VOLLSTAENDIGKEIT EINES TESTFALLS ................................... 115 4.5.11 GESAMTDEFINITION ............................................. 116 4.6 PARAMETRISIERTE TESTFAELLE ........................................... 116 4.7 ALGORITHMUS ZUR VALIDIERUNG DER LOGISCHEN KORREKTHEIT EINES TESTFALLS .......... 121 4.7.1 DIE PRINZIPIELLE ARBEITSWEISE DES ALGORITHMUS......................... 121 4.7.2 ZUORDNUNG VON URTEILEN ZU DEN KANTEN EINES TEST-INTERAKTIONSBAUMS ...... 123 4.7.3 ERREICHBARE ZUSTAENDE DER UMGEBUNG DES TESTERS ...................... 124 4.7.4 DER ALGORITHMUS .............................................. 131 4.7.5 DIE ARBEITSWEISE DES ALGORITHMUS AM BEISPIEL ........................ 132 4.8 VERGLEICH MIT ANDEREN ANSAETZEN ..................................... 135 VI 5. ARCHITEKTUR UND IMPLEMENTIERUNG EINES AUTOMATISCHEN TESTVALIDIERUNGSWERKZEUGS . . . 139 5.1 DIE ARCHITEKTUR DES WERKZEUGS ...................................... 140 5.2 SIMULATION FORMALER PROTOKOLLBESCHREIBUNGEN ........................... 143 5.3 DIE SIMULATIONSUMGEBUNG CARUSO .................................. 146 5.3.1 DER KERN ................................................... 147 5.3.2 DIE SCHALEN ................................................. 147 5.3.3 DIE DARSTELLUNG VON DATEN ...................................... 153 5.3.4 OPTIMIERUNG DER CARUSO-ZUSTANDSVERWALTUNG ....................... 157 5.4 DIE TTCN-VERARBEITUNG ........................................... 160 5.4.1 DIE MASCHINENINTERNE REPRAESENTATION VON TESTSZENARIEN ................ 163 5.5 IMPLEMENTIERUNGSKONZEPTE DER VALIDIERUNGSKOMPONENTE ................... 167 5.5.1 DER AKTUELLE ZUSTAND DES TESTERS ....... ........................... 169 5.5.2 BEDEUTUNGSERHALTENDE MARKIERUNGSTRANSFORMATION IN DER PRAXIS ........... 170 5.6 ANWENDUNGSBEISPIEL: DAS X.25-TESTSZENARIO DER ISO ...................... 173 5.6.1 SYNTAKTISCHE UND SEMANTISCHE FEHLER ............................... 173 5.6.2 VERLETZUNGEN DER ZUSAETZLICHEN SEMANTISCHEN BEDINGUNGEN ................ 175 5.6.3 INKONSISTENZEN MIT DEM X.25-PROTOKOLL ............................. 177 5.6.4 ZUSAMMENFASSUNG DER VALIDIERUNGSERGEBNISSE ........................ 179 5.7 ZUVERLAESSIGKEIT DER VALIDIERUNGSERGEBNISSE .............................. 180 6. TESTQUALITAET ..................................................... 181 6.1 KOSTEN UND WERT EINES KONFORMITAETSTESTSZENARIOS ........................ 182 6.1.1 KOSTENFAKTOREN ............................................... 183 6.1.2 GUETEFAKTOREN ................................................ 184 6.1.3 ZUSAMMENFASSUNG ............................................. 188 6.2 DAS MESSEN DER QUALITAET EINES TTCN-TESTSZENARIOS ...................... 190 6.3 GEWINNUNG UND AUSWERTUNG VON ROHDATEN ZUR UEBERDECKUNGSABSCHAETZUNG ..... 191 7. ZUSAMMENFASSUNG UND AUSBLICK ....................................... 195 7.1 ENTWURF UND IMPLEMENTIERUNG EINES TESTVALIDIERUNGSWERKZEUGS .............. 195 7.2 ERFAHRUNGEN ....................................... 197 7.3 WEITERFUEHRENDE FORSCHUNGSAKTIVITAETEN ................................. 198 LITERATURVERZEICHNIS ................................................. 201 INDEX ............................................................ 211 VII
any_adam_object	1
author	Lichtenberg, Sven
author_GND	(DE-588)115073515
author_facet	Lichtenberg, Sven
author_role	aut
author_sort	Lichtenberg, Sven
author_variant	s l sl
building	Verbundindex
bvnumber	BV024719095
ctrlnum	(OCoLC)258393139 (DE-599)BVBBV024719095
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01170nam a2200289zcb4500</leader><controlfield tag="001">BV024719095</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100927 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">030822s1996 ad\|\| \|\|\|\| 00\|\|\| und d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3930621479</subfield><subfield code="9">3-930621-47-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)258393139</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV024719095</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">und</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-634</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Lichtenberg, Sven</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)115073515</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Möglichkeiten und Grenzen des Umformens von Stahlwerkstoffen mit hydraulischen Wirkmedien</subfield><subfield code="c">Sven Lichtenberg</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Düsseldorf</subfield><subfield code="b">Verl. und Vertriebsges. mbH</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">Getr. Zähl.</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">Forschung für die Praxis</subfield><subfield code="v">P 305</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Forschung für die Praxis</subfield><subfield code="v">P 305</subfield><subfield code="w">(DE-604)BV011826119</subfield><subfield code="9">305</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ 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=018836946&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-018836946</subfield></datafield></record></collection>
id	DE-604.BV024719095
illustrated	Illustrated
indexdate	2024-07-09T22:08:22Z
institution	BVB
isbn	3930621479
language	Undetermined
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-018836946
oclc_num	258393139
open_access_boolean
owner	DE-634
owner_facet	DE-634
physical	Getr. Zähl. Ill., graph. Darst.
publishDate	1996
publishDateSearch	1996
publishDateSort	1996
publisher	Verl. und Vertriebsges. mbH
record_format	marc
series	Forschung für die Praxis
series2	Forschung für die Praxis
spelling	Lichtenberg, Sven Verfasser (DE-588)115073515 aut Möglichkeiten und Grenzen des Umformens von Stahlwerkstoffen mit hydraulischen Wirkmedien Sven Lichtenberg Düsseldorf Verl. und Vertriebsges. mbH 1996 Getr. Zähl. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Forschung für die Praxis P 305 Forschung für die Praxis P 305 (DE-604)BV011826119 305 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018836946&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Lichtenberg, Sven Möglichkeiten und Grenzen des Umformens von Stahlwerkstoffen mit hydraulischen Wirkmedien Forschung für die Praxis
title	Möglichkeiten und Grenzen des Umformens von Stahlwerkstoffen mit hydraulischen Wirkmedien
title_auth	Möglichkeiten und Grenzen des Umformens von Stahlwerkstoffen mit hydraulischen Wirkmedien
title_exact_search	Möglichkeiten und Grenzen des Umformens von Stahlwerkstoffen mit hydraulischen Wirkmedien
title_full	Möglichkeiten und Grenzen des Umformens von Stahlwerkstoffen mit hydraulischen Wirkmedien Sven Lichtenberg
title_fullStr	Möglichkeiten und Grenzen des Umformens von Stahlwerkstoffen mit hydraulischen Wirkmedien Sven Lichtenberg
title_full_unstemmed	Möglichkeiten und Grenzen des Umformens von Stahlwerkstoffen mit hydraulischen Wirkmedien Sven Lichtenberg
title_short	Möglichkeiten und Grenzen des Umformens von Stahlwerkstoffen mit hydraulischen Wirkmedien
title_sort	moglichkeiten und grenzen des umformens von stahlwerkstoffen mit hydraulischen wirkmedien
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018836946&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV011826119
work_keys_str_mv	AT lichtenbergsven moglichkeitenundgrenzendesumformensvonstahlwerkstoffenmithydraulischenwirkmedien

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge