Symbolic algorithms for integer programming : from logic specification to solvers 整数プログラミングの記号アルゴリズム : 論理仕様から解決系へ

この論文をさがす

著者

    • 李, 強 リ, キョウ

書誌事項

タイトル

Symbolic algorithms for integer programming : from logic specification to solvers

タイトル別名

整数プログラミングの記号アルゴリズム : 論理仕様から解決系へ

著者名

李, 強

著者別名

リ, キョウ

学位授与大学

筑波大学

取得学位

博士 (工学)

学位授与番号

甲第2130号

学位授与年月日

1999-03-25

注記・抄録

博士論文

目次

  1. Contents / (0005.jp2)
  2. 1 Introduction / p1 (0006.jp2)
  3. 2 Preliminaries / p9 (0010.jp2)
  4. 2.1 Introduction / p9 (0010.jp2)
  5. 2.2 Integer programming:problem definition / p9 (0010.jp2)
  6. 2.3 Polynomial theory / p16 (0014.jp2)
  7. 3 Modelling Integer Programming with Logic / p21 (0016.jp2)
  8. 3.1 Introduction / p21 (0016.jp2)
  9. 3.2 Review of logical modelling frameworks for IP / p22 (0017.jp2)
  10. 3.3 Modelling language L⁺ / p22 (0017.jp2)
  11. 3.4 Algorithm for transformation on L⁺ / p24 (0018.jp2)
  12. 3.5 Implementation in Mathematica / p34 (0023.jp2)
  13. 4 Gröbner bases for Integer Programming / p37 (0024.jp2)
  14. 4.1 Introduction / p37 (0024.jp2)
  15. 4.2 Gröbner bases / p37 (0024.jp2)
  16. 4.3 Buchberger algorithm / p38 (0025.jp2)
  17. 4.4 Gröbner bases as test sets in IP / p40 (0026.jp2)
  18. 5 Minimised Geometric Buchberger Algorithm(MGBA) / p47 (0029.jp2)
  19. 5.1 Introduction / p47 (0029.jp2)
  20. 5.2 Strategy 1:indirect encoding / p49 (0030.jp2)
  21. 5.3 Strategy 2:direct encoding / p53 (0032.jp2)
  22. 5.4 Truncated Gröbner bases / p57 (0034.jp2)
  23. 5.5 Minimised Geometric Buchberger Algorithm / p59 (0035.jp2)
  24. 5.6 Implementation, Experiment and Comparison / p66 (0039.jp2)
  25. 5.7 Concluding remarks / p68 (0040.jp2)
  26. 6 Applying MGBA to Stochastic Integer Programming / p69 (0040.jp2)
  27. 6.1 Introduction / p69 (0040.jp2)
  28. 6.2 Chance constrained IP problem / p69 (0040.jp2)
  29. 6.3 Test set for chance constrained IP / p72 (0042.jp2)
  30. 6.4 Algorithm for chance constrained IP / p74 (0043.jp2)
  31. 6.5 Application / p79 (0045.jp2)
  32. 7 Conclusion / p87 (0049.jp2)
  33. 7.1 Contributions / p87 (0049.jp2)
  34. 7.2 Future work / p88 (0050.jp2)
  35. Appendix A / p89 (0050.jp2)
  36. Bibliography / p95 (0053.jp2)
  37. Index / p103 (0057.jp2)
  38. List of Notations / p105 (0058.jp2)
0アクセス

各種コード

  • NII論文ID(NAID)
    500000185636
  • NII著者ID(NRID)
    • 8000000185918
  • DOI(NDL)
  • NDL書誌ID
    • 000000349950
  • データ提供元
    • NDL ONLINE
    • NDLデジタルコレクション
ページトップへ