Strategieverbesserungsalgorithmen für exakte Programmanalysen:
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | German |
| Published: |
München
Verl. Dr. Hut
2009
|
| Edition: | 1. Aufl. |
| Series: | Informatik
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | X, 293 S. |
| ISBN: | 9783868532432 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV035849485 | ||
| 003 | DE-604 | ||
| 005 | 20091218 | ||
| 007 | t | ||
| 008 | 091127s2009 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 |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-018707574 | ||
Record in the Search Index
| _version_ | 1804140821953380352 |
|---|---|
| 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>01695nam 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 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="999" ind1=" " 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-07-09T22:06:05Z |
| 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 |
| spelling | Gawlitza, Thomas Martin Verfasser aut Strategieverbesserungsalgorithmen für exakte Programmanalysen Thomas Martin Gawlitza 1. Aufl. München Verl. Dr. Hut 2009 X, 293 S. txt rdacontent n rdamedia nc rdacarrier Informatik Zugl.: München, Techn. Univ., Diss., 2009 Statische Analyse (DE-588)4325372-6 gnd rswk-swf Gleichungssystem (DE-588)4128766-6 gnd rswk-swf Zweipersonen-Nullsummenspiel (DE-588)4191246-9 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Statische Analyse (DE-588)4325372-6 s Gleichungssystem (DE-588)4128766-6 s Zweipersonen-Nullsummenspiel (DE-588)4191246-9 s DE-604 DNB Datenaustausch application/pdf 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 Inhaltsverzeichnis |
| 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 |