Numerica: a modeling language for global optimization
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge, Mass.
MIT Press
1997
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XVII, 210 S. Ill., graph. Darst. |
| ISBN: | 0262720272 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV011526000 | ||
| 003 | DE-604 | ||
| 005 | 20150504 | ||
| 007 | t | ||
| 008 | 970909s1997 ad|| |||| 00||| eng d | ||
| 020 | |a 0262720272 |9 0-262-72027-2 | ||
| 035 | |a (OCoLC)36225318 | ||
| 035 | |a (DE-599)BVBBV011526000 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T |a DE-703 |a DE-634 | ||
| 050 | 0 | |a QA402.5 | |
| 082 | 0 | |a 519.3 |2 21 | |
| 084 | |a SK 870 |0 (DE-625)143265: |2 rvk | ||
| 100 | 1 | |a Van Hentenryck, Pascal |d 1963- |e Verfasser |0 (DE-588)115539751 |4 aut | |
| 245 | 1 | 0 | |a Numerica |b a modeling language for global optimization |c Pascal VanHentenryck ; Laurent Michel ; Yves Deville |
| 264 | 1 | |a Cambridge, Mass. |b MIT Press |c 1997 | |
| 300 | |a XVII, 210 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 630 | 0 | 4 | |a Numerica |
| 650 | 4 | |a Mathematical optimization | |
| 650 | 4 | |a Nonlinear programming | |
| 650 | 0 | 7 | |a Nichtlineare Optimierung |0 (DE-588)4128192-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Globale Optimierung |0 (DE-588)4140067-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Numerisches Verfahren |0 (DE-588)4128130-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programm |0 (DE-588)4047394-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Nichtlineare Optimierung |0 (DE-588)4128192-5 |D s |
| 689 | 0 | 1 | |a Numerisches Verfahren |0 (DE-588)4128130-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Globale Optimierung |0 (DE-588)4140067-7 |D s |
| 689 | 1 | 1 | |a Numerisches Verfahren |0 (DE-588)4128130-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Globale Optimierung |0 (DE-588)4140067-7 |D s |
| 689 | 2 | 1 | |a Nichtlineare Optimierung |0 (DE-588)4128192-5 |D s |
| 689 | 2 | 2 | |a Numerisches Verfahren |0 (DE-588)4128130-5 |D s |
| 689 | 2 | 3 | |a Programm |0 (DE-588)4047394-6 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Michel, Laurent |e Verfasser |0 (DE-588)1070478253 |4 aut | |
| 700 | 1 | |a Deville, Yves |e Verfasser |4 aut | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007756390&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007756390 | ||
Datensatz im Suchindex
| _version_ | 1804126046346280960 |
|---|---|
| adam_text | IMAGE 1
NUMERICA
A MODELING LANGUAGE FOR GLOBAL OPTIMIZATION PASCAL VAN HENTENRYCK BROWN
UNIVERSITY PROVIDENCE, RHODE ISLAND
LAURENT MICHEL BROWN UNIVERSITY PROVIDENCE, RHODE ISLAND
YVES DEVILLE UNIVERSITE CATHOLIQUE DE LOUVAIN LOUVAIN-LA-NEUVE, BELGIUM
THE MIT PRESS CAMBRIDGE, MASSACHUSETTS LONDON, ENGLAND
IMAGE 2
CONTENTS
LIST OF TABLES VIII
LIST OF FIGURES IX
LIST OF STATEMENTS XI
PREFACE XIUE
L
L
6
13
16
18
19
19
22
23
25
25
26
28
28
30
33
34
36
36
37
39
40
1
1.1 1.2
1.3
1.4
1.5
2
2.1 2.2
2.3
2.4
2.5
2.6
2.7
2.8
2.9
2.10
2.11
2.12
2.13
2.14
2.15
2.16
INTRODUCTION NONLINEAR PROGRAMMING LOCAL METHODS
GLOBAL METHODS
NUMERICA
OUTLINE
A TOUR OF NUMERICA
GETTING STARTED GENERIC CONSTRAINTS
CONSTANTS
RANGES
INPUT PARAMETERS
AGGREGATION OPERATORS
FUNCTIONS
SETS/
UNCONSTRAINED OPTIMIZATION
CONSTRAINED OPTIMIZATION
LOCAL CONSTRAINT SOLVING
LOCAL UNCONSTRAINED OPTIMIZATION
SOFT CONSTRAINTS
REAL CONSTANTS AND UNCERTAIN DATA
DISPLAY
ACCURACY
IMAGE 3
VI
3 THE MEANING OF NUMERICA
3.1 INTERVAL ANALYSIS
3.2 CONSTRAINT SOLVING
3.3 UNCONSTRAINED OPTIMIZATION
3.4 INTERPRETATION OF THE RESULTS
4 MODELING IN NUMERICA
4.1 WHAT CAN GO WRONG IN NUMERICA 4.2 IMPROVING NUMERICA STATEMENTS
5
5.1 5.2
5.3
5.4
5.5
5.6
5.7
5.8
5.9
5.10
5.11
THE SYNTAX OF NUMERICA OVERALL STRUCTURE EXPRESSIONS
THE CONSTANT SECTION
THE INPUT SECTION
THE SET SECTION
THE VARIABLE SECTION
THE FUNCTION SECTION
THE BODY SECTION
THE DISPLAY SECTION
THE PRAGMA SECTION
SCOPING RULES
6 THE SEMANTICS OF NUMERICA
6.1 INTERVAL ARITHMETIC
6.2 SEMANTICS OF CONSTRAINT SOLVING
6.3 SEMANTICS OF UNCONSTRAINED MINIMIZATION
6.4 SEMANTICS OF CONSTRAINED MINIMIZATION
6.5 NON-CANONICAL BOXES
IMAGE 4
CONTENTS
V LL
7 AN IMPLEMENTATION OF NUMERICA 121
7.1 OVERVIEW OF THE ALGORITHM 121
7.2 DOMAIN-SPECINC AND MONOTONIE INTERVAL EXTENSIONS 123
7.3 CONSTRAINT SOLVING 124
7.4 UNCONSTRAINED OPTIMIZATION 128
7.5 CONSTRAINED OPTIMIZATION 131
7.6 ADVANCED TECHNIQUES 132
7.7 AN IMPLEMENTATION OF BOX CONSISTENCY 137
8 EXPERIMENTAL RESULTS 141
8.1 CONSTRAINT SOLVING 141
8.2 UNCONSTRAINED OPTIMIZATION 147
8.3 CONSTRAINED OPTIMIZATION 157
APPENDIX 1: SYNTAX OF NUMERICA 162
APPENDIX 2: BENCHMARKS 170
BIBLIOGRAPHY 203
INDEX 207
»
|
| any_adam_object | 1 |
| author | Van Hentenryck, Pascal 1963- Michel, Laurent Deville, Yves |
| author_GND | (DE-588)115539751 (DE-588)1070478253 |
| author_facet | Van Hentenryck, Pascal 1963- Michel, Laurent Deville, Yves |
| author_role | aut aut aut |
| author_sort | Van Hentenryck, Pascal 1963- |
| author_variant | h p v hp hpv l m lm y d yd |
| building | Verbundindex |
| bvnumber | BV011526000 |
| callnumber-first | Q - Science |
| callnumber-label | QA402 |
| callnumber-raw | QA402.5 |
| callnumber-search | QA402.5 |
| callnumber-sort | QA 3402.5 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 870 |
| ctrlnum | (OCoLC)36225318 (DE-599)BVBBV011526000 |
| dewey-full | 519.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 519 - Probabilities and applied mathematics |
| dewey-raw | 519.3 |
| dewey-search | 519.3 |
| dewey-sort | 3519.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02195nam a2200541 c 4500</leader><controlfield tag="001">BV011526000</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150504 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">970909s1997 ad|| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262720272</subfield><subfield code="9">0-262-72027-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)36225318</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011526000</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">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA402.5</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">519.3</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 870</subfield><subfield code="0">(DE-625)143265:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Van Hentenryck, Pascal</subfield><subfield code="d">1963-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)115539751</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Numerica</subfield><subfield code="b">a modeling language for global optimization</subfield><subfield code="c">Pascal VanHentenryck ; Laurent Michel ; Yves Deville</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass.</subfield><subfield code="b">MIT Press</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVII, 210 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="630" ind1="0" ind2="4"><subfield code="a">Numerica</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical optimization</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Nonlinear programming</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nichtlineare Optimierung</subfield><subfield code="0">(DE-588)4128192-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Globale Optimierung</subfield><subfield code="0">(DE-588)4140067-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Numerisches Verfahren</subfield><subfield code="0">(DE-588)4128130-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programm</subfield><subfield code="0">(DE-588)4047394-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Nichtlineare Optimierung</subfield><subfield code="0">(DE-588)4128192-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Numerisches Verfahren</subfield><subfield code="0">(DE-588)4128130-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Globale Optimierung</subfield><subfield code="0">(DE-588)4140067-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Numerisches Verfahren</subfield><subfield code="0">(DE-588)4128130-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Globale Optimierung</subfield><subfield code="0">(DE-588)4140067-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Nichtlineare Optimierung</subfield><subfield code="0">(DE-588)4128192-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Numerisches Verfahren</subfield><subfield code="0">(DE-588)4128130-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="3"><subfield code="a">Programm</subfield><subfield code="0">(DE-588)4047394-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Michel, Laurent</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1070478253</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Deville, Yves</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV 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=007756390&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-007756390</subfield></datafield></record></collection> |
| id | DE-604.BV011526000 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:11:13Z |
| institution | BVB |
| isbn | 0262720272 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007756390 |
| oclc_num | 36225318 |
| open_access_boolean | |
| owner | DE-29T DE-703 DE-634 |
| owner_facet | DE-29T DE-703 DE-634 |
| physical | XVII, 210 S. Ill., graph. Darst. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| publisher | MIT Press |
| record_format | marc |
| spelling | Van Hentenryck, Pascal 1963- Verfasser (DE-588)115539751 aut Numerica a modeling language for global optimization Pascal VanHentenryck ; Laurent Michel ; Yves Deville Cambridge, Mass. MIT Press 1997 XVII, 210 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Numerica Mathematical optimization Nonlinear programming Nichtlineare Optimierung (DE-588)4128192-5 gnd rswk-swf Globale Optimierung (DE-588)4140067-7 gnd rswk-swf Numerisches Verfahren (DE-588)4128130-5 gnd rswk-swf Programm (DE-588)4047394-6 gnd rswk-swf Nichtlineare Optimierung (DE-588)4128192-5 s Numerisches Verfahren (DE-588)4128130-5 s DE-604 Globale Optimierung (DE-588)4140067-7 s Programm (DE-588)4047394-6 s Michel, Laurent Verfasser (DE-588)1070478253 aut Deville, Yves Verfasser aut GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007756390&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Van Hentenryck, Pascal 1963- Michel, Laurent Deville, Yves Numerica a modeling language for global optimization Numerica Mathematical optimization Nonlinear programming Nichtlineare Optimierung (DE-588)4128192-5 gnd Globale Optimierung (DE-588)4140067-7 gnd Numerisches Verfahren (DE-588)4128130-5 gnd Programm (DE-588)4047394-6 gnd |
| subject_GND | (DE-588)4128192-5 (DE-588)4140067-7 (DE-588)4128130-5 (DE-588)4047394-6 |
| title | Numerica a modeling language for global optimization |
| title_auth | Numerica a modeling language for global optimization |
| title_exact_search | Numerica a modeling language for global optimization |
| title_full | Numerica a modeling language for global optimization Pascal VanHentenryck ; Laurent Michel ; Yves Deville |
| title_fullStr | Numerica a modeling language for global optimization Pascal VanHentenryck ; Laurent Michel ; Yves Deville |
| title_full_unstemmed | Numerica a modeling language for global optimization Pascal VanHentenryck ; Laurent Michel ; Yves Deville |
| title_short | Numerica |
| title_sort | numerica a modeling language for global optimization |
| title_sub | a modeling language for global optimization |
| topic | Numerica Mathematical optimization Nonlinear programming Nichtlineare Optimierung (DE-588)4128192-5 gnd Globale Optimierung (DE-588)4140067-7 gnd Numerisches Verfahren (DE-588)4128130-5 gnd Programm (DE-588)4047394-6 gnd |
| topic_facet | Numerica Mathematical optimization Nonlinear programming Nichtlineare Optimierung Globale Optimierung Numerisches Verfahren Programm |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007756390&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT vanhentenryckpascal numericaamodelinglanguageforglobaloptimization AT michellaurent numericaamodelinglanguageforglobaloptimization AT devilleyves numericaamodelinglanguageforglobaloptimization |