Verfügbarkeit: Strategieverbesserungsalgorithmen für exakte Programmanalysen

Strategieverbesserungsalgorithmen für exakte Programmanalysen:

Gespeichert in:

Bibliographische Detailangaben
Beteilige Person:	Gawlitza, Thomas Martin (VerfasserIn)
Format:	Hochschulschrift/Dissertation Buch
Sprache:	Deutsch
Veröffentlicht:	München Verl. Dr. Hut 2009
Ausgabe:	1. Aufl.
Schriftenreihe:	Informatik
Schlagwörter:	Statische Analyse Gleichungssystem Zweipersonen-Nullsummenspiel Hochschulschrift
Links:	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018707574&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Umfang:	X, 293 S.
ISBN:	9783868532432

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV035849485
003	DE-604
005	20091218
007	t\|
008	091127s2009 xx m\|\|\| 00\|\|\| ger d
020			\|a 9783868532432 \|9 978-3-86853-243-2
035			\|a (OCoLC)575172196
035			\|a (DE-599)BVBBV035849485
040			\|a DE-604 \|b ger \|e rakwb
041	0		\|a ger
049			\|a DE-91 \|a DE-91G \|a DE-19 \|a DE-12
082	0		\|a 005.12015193 \|2 22/ger
084			\|a DAT 510f \|2 stub
084			\|a DAT 325f \|2 stub
100	1		\|a Gawlitza, Thomas Martin \|e Verfasser \|4 aut
245	1	0	\|a Strategieverbesserungsalgorithmen für exakte Programmanalysen \|c Thomas Martin Gawlitza
250			\|a 1. Aufl.
264		1	\|a München \|b Verl. Dr. Hut \|c 2009
300			\|a X, 293 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Informatik
502			\|a Zugl.: München, Techn. Univ., Diss., 2009
650	0	7	\|a Statische Analyse \|0 (DE-588)4325372-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Gleichungssystem \|0 (DE-588)4128766-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Zweipersonen-Nullsummenspiel \|0 (DE-588)4191246-9 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)4113937-9 \|a Hochschulschrift \|2 gnd-content
689	0	0	\|a Statische Analyse \|0 (DE-588)4325372-6 \|D s
689	0	1	\|a Gleichungssystem \|0 (DE-588)4128766-6 \|D s
689	0	2	\|a Zweipersonen-Nullsummenspiel \|0 (DE-588)4191246-9 \|D s
689	0		\|5 DE-604
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=018707574&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-018707574

Datensatz im Suchindex

DE-BY-TUM_call_number	0001 DM 27895 0109 DM 27895
DE-BY-TUM_katkey	1714148
DE-BY-TUM_location	Mag 01
DE-BY-TUM_media_number	TEMP3193729 040010222858
_version_	1821934796505350144
adam_text	INHALTSVERZEICHNIS 1 EINLEITUNG 1 1.1 PROBLEMSTELLUNGEN 1 1.2 ZIELSETZUNG DER ARBEIT 5 1.3 AUFBAU DER ARBEIT 9 2 PRAELIMINARIEN 11 2.1 KONVENTIONEN 11 2.2 DAS BERECHNUNGSMODEU 11 2.3 VOLLSTAENDIGE VERBAENDE 12 2.4 FIXPUNKTE UND MONOTONE FUNKTIONEN 14 2.5 HUELLENSYSTEME UND HUELLENOPERATOREN 15 2.6 NEGATION UND DUALITAET 17 2.7 ABSTRAKTE INTERPRETATION NICHTDETERMINISTISCHER PROGRAMME 17 3 SYSTEME MONOTONER GLEICHUNGEN 21 3.1 GLEICHUNGSSYSTEME 21 3.2 SYSTEME MONOTONER GLEICHUNGEN 24 3.3 STRATEGIEN 24 3.4 DUALE GLEICHUNGSSYSTEME 27 4 SYSTEME GANZZAHLIGER GLEICHUNGEN 29 4.1 DEFINITION UND ELEMENTARE EIGENSCHAFTEN 29 4.2 ADAPTION DES ALGORITHMUS VON BELLMAN UND FORD 35 BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/999018485 DIGITALISIERT DURCH 8.7 KLEINSTE ZULAESSIGE LOESUNGEN MITTELS LINEARER PROGRAMMIERUNG 134 5 DER STRATEGIEVERBESSERUNGSALGORITHMUS 43 5.1 STRATEGIEVERBESSERUNGSOPERATOREN 44 5.2 DER ALGORITHMUS 47 6 DER STRATEGIEVERBESSERUNGSALGORITHMUS FUER SYSTEME GANZZAHLIGER GLEICHUNGEN 51 6.1 ZULAESSIGKEIT 52 6.2 STRATEGIEVERBESSERUNG ERHAELT ZULAESSIGKEIT 55 6.3 DER STRATEGIEVERBESSERUNGSALGORITHMUS 56 6.4 BESTIMMEN EINER ZULAESSIGEN V-STRATEGIE 57 6.5 SPEEDUP DURCH INITIALE FIXPUNKT-ITERATION 60 6.6 SYSTEME DISJUNKTIVER GANZZAHLIGER GLEICHUNGEN 63 6.7 AUSBLICK UND OFFENE FRAGEN 67 7 SYSTEME GANZZAHLIGER GLEICHUNGEN IN DER ABSTRAKTEN INTERPRETATION ... 71 7.1 SYSTEME GANZZAHLIGER INTERVALL-GLEICHUNGEN 73 7.2 SYSTEME ERWEITERTER GANZZAHLIGER INTERVALL-GLEICHUNGEN 86 7.3 INTERVALL-ANALYSE 88 7.4 SYSTEME GANZZAHLIGER GLEICHUNGEN MITTELS PRAEZISER INTERVALL-ANALYSE 93 7.5 DIFFERENCE-BOUND MATRIZEN 97 7.6 ZONEN-ANALYSE 107 8 DER STRATEGIEVERBESSERUNGSALGORITHMUS FUER SYSTEME RATIONALER GLEICHUNGEN 113 8.1 SYSTEME RATIONALER GLEICHUNGEN 115 8.2 LINEARE PROGRAMMIERUNG 116 8.3 SYSTEME DISJUNKTIVER RATIONALER GLEICHUNGEN 118 8.4 SPEZIALISIERUNG DES STRATEGIEVERBESSERUNGSALGORITHMUS 121 8.5 SYSTEME DISJUNKTIVER RATIONALER GLEICHUNGEN 128 8.6 DIE UNENDLICHKEITSABSTRAKTION 131 253 8.8 KLEINSTE ZULAESSIGE LOESUNGEN MITTELS STRATEGIE-ITERATION 137 8.9 SYSTEME RATIONALER LP-GLEICHUNGEN 141 9 PRAEZISE TCM-ANALYSE 153 9.1 AFFINE NICHTDETERMINISTISCHE PROGRAMME 154 9.2 DIE TCM-DOMAENE 156 9.3 BERECHNUNG DER ABSTRAKTEN SEMANTIK 157 10 APPROXIMATIVES LOESEN VON SYSTEMEN MONOTONER POLYNOMIELLER GLEICHUNGEN 163 10.1 SYSTEME MONOTONER POLYNOMIELLER GLEICHUNGEN 165 10.2 DIE T-METHODE 171 11 HIERARCHISCHE SYSTEME STOCHASTISCHER GLEICHUNGEN 183 11.1 HIERARCHISCHE SYSTEME STOCHASTISCHER GLEICHUNGEN 185 11.2 BERECHNUNG KANONISCHER LOESUNGEN 189 11.3 REDUKTION AUF SYSTEME EINFACHER GANZZAHLIGER GLEICHUNGEN 207 12 ZWEI-PERSONEN-NULLSUMMEN-SPIELE 213 12.1 ZWEI-PERSONEN-NULLSUMMEN-AUSZAHLUNGSSPIELE 216 12.2 DETERMINISTISCHE DURCHSCHNITTSAUSZAHLUNGSSPIELE 223 12.3 DAS LOESEN VON DETERMINISTISCHEN TOTALAUSZAHLUNGSSPIELEN 225 12.4 SYSTEME EINFACHER GANZZAHLIGER GLEICHUNGEN 229 12.5 STOCHASTISCHE LIMINF-AUSZAHLUNGSSPIELE 233 12.6 BESCHRAENKTE STOCHASTISCHE TOTALAUSZAHLUNGSSPIELE 238 12.7 STOCHASTISCHE PARITAETSSPIELE 242 13 ERGEBNISSE UND AUSBLICK 249 13.1 ERGEBNISSE 249 13.2 AUSBLICK 251 LITERATUR A.10 ZUSAETZLICHE LEMMATA 292 SYMBOLVERZEICHNIS 261 ABBILDUNGSVERZEICHNIS 263 ALGORITHMENVERZEICHNIS 265 INDEX 267 ANHANG 269 A.L IN KAPITEL 3 AUSGELASSENE BEWEISE 269 A.2 IN KAPITEL 4 AUSGELASSENE BEWEISE 270 A.3 IN KAPITEL 6 AUSGELASSENE BEWEISE 272 A.4 IN KAPITEL 7 AUSGELASSENE BEWEISE 273 A.5 IN KAPITEL 8 AUSGELASSENE BEWEISE 277 A.6 IN KAPITEL 9 AUSGELASSENE BEWEISE 281 A.7 IN KAPITEL 10 AUSGELASSENE BEWEISE 283 A.8 IN KAPITEL 11 AUSGELASSENE BEWEISE 286 A.9 IN KAPITEL 12 AUSGELASSENE BEWEISE 290
any_adam_object	1
author	Gawlitza, Thomas Martin
author_facet	Gawlitza, Thomas Martin
author_role	aut
author_sort	Gawlitza, Thomas Martin
author_variant	t m g tm tmg
building	Verbundindex
bvnumber	BV035849485
classification_tum	DAT 510f DAT 325f
ctrlnum	(OCoLC)575172196 (DE-599)BVBBV035849485
dewey-full	005.12015193
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.12015193
dewey-search	005.12015193
dewey-sort	15.12015193
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
edition	1. Aufl.
format	Thesis Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01696nam a2200433 c 4500</leader><controlfield tag="001">BV035849485</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20091218 </controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">091127s2009 xx m\|\|\| 00\|\|\| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783868532432</subfield><subfield code="9">978-3-86853-243-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)575172196</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035849485</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-12</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.12015193</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 510f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Gawlitza, Thomas Martin</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Strategieverbesserungsalgorithmen für exakte Programmanalysen</subfield><subfield code="c">Thomas Martin Gawlitza</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="b">Verl. Dr. Hut</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 293 S.</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="0" ind2=" "><subfield code="a">Informatik</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: München, Techn. Univ., Diss., 2009</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Statische Analyse</subfield><subfield code="0">(DE-588)4325372-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Gleichungssystem</subfield><subfield code="0">(DE-588)4128766-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zweipersonen-Nullsummenspiel</subfield><subfield code="0">(DE-588)4191246-9</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">Statische Analyse</subfield><subfield code="0">(DE-588)4325372-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Gleichungssystem</subfield><subfield code="0">(DE-588)4128766-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Zweipersonen-Nullsummenspiel</subfield><subfield code="0">(DE-588)4191246-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</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=018707574&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-018707574</subfield></datafield></record></collection>
genre	(DE-588)4113937-9 Hochschulschrift gnd-content
genre_facet	Hochschulschrift
id	DE-604.BV035849485
illustrated	Not Illustrated
indexdate	2024-12-20T14:01:36Z
institution	BVB
isbn	9783868532432
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-018707574
oclc_num	575172196
open_access_boolean
owner	DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-12
owner_facet	DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-12
physical	X, 293 S.
publishDate	2009
publishDateSearch	2009
publishDateSort	2009
publisher	Verl. Dr. Hut
record_format	marc
series2	Informatik
spellingShingle	Gawlitza, Thomas Martin Strategieverbesserungsalgorithmen für exakte Programmanalysen Statische Analyse (DE-588)4325372-6 gnd Gleichungssystem (DE-588)4128766-6 gnd Zweipersonen-Nullsummenspiel (DE-588)4191246-9 gnd
subject_GND	(DE-588)4325372-6 (DE-588)4128766-6 (DE-588)4191246-9 (DE-588)4113937-9
title	Strategieverbesserungsalgorithmen für exakte Programmanalysen
title_auth	Strategieverbesserungsalgorithmen für exakte Programmanalysen
title_exact_search	Strategieverbesserungsalgorithmen für exakte Programmanalysen
title_full	Strategieverbesserungsalgorithmen für exakte Programmanalysen Thomas Martin Gawlitza
title_fullStr	Strategieverbesserungsalgorithmen für exakte Programmanalysen Thomas Martin Gawlitza
title_full_unstemmed	Strategieverbesserungsalgorithmen für exakte Programmanalysen Thomas Martin Gawlitza
title_short	Strategieverbesserungsalgorithmen für exakte Programmanalysen
title_sort	strategieverbesserungsalgorithmen fur exakte programmanalysen
topic	Statische Analyse (DE-588)4325372-6 gnd Gleichungssystem (DE-588)4128766-6 gnd Zweipersonen-Nullsummenspiel (DE-588)4191246-9 gnd
topic_facet	Statische Analyse Gleichungssystem Zweipersonen-Nullsummenspiel Hochschulschrift
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018707574&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT gawlitzathomasmartin strategieverbesserungsalgorithmenfurexakteprogrammanalysen

Verfügbarkeit

Bestellen (Login erforderlich)

Inhaltsverzeichnis
Paper/Kapitel scannen lassen

Bibliotheksmagazin

Bestandsangaben von Bibliotheksmagazin
Signatur:	0001 DM 27895 Lageplan
Exemplar 1	Ausleihbar Am Standort

Teilbibliothek Mathematik & Informatik, Dissertationen und Abschlussarbeiten

Bestandsangaben von Teilbibliothek Mathematik & Informatik, Dissertationen und Abschlussarbeiten
Signatur:	0109 DM 27895 Lageplan
Exemplar 1	Ausleihbar Am Standort