Library

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Publication Date: 2023-04-17
    Description: A mixed-integer linear programming methodutilizing the hierarchical relationship between design and operation variables proposed ot solve the optimal design problem of energy supply systems efficiently is extended ot search K-best solutions: At the upper level, the optimal values ofdesign variables are searched with operation variables relaxed to continuous ones; At the lower level, the values of operation variables are optimized with the values of design variables given tentatively; The obtained solution is used to renew K-best incumbent solutions, and the upper bound for the value of the objective function for K-best solutions is replaced correspondingly. A practical case study is conducted, and the validity and effectiveness of the proposed method are clarified.
    Language: Japanese
    Type: article , doc-type:article
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    Publication Date: 2023-04-17
    Description: A mixed-integer linear programming (MILP) method utilizing the hierarchical relationship between design and op- eration variables is proposed to solve the optimal design problem of energy supply systems efficiently: At the upper level, the optimal values of design variables are searched by the branch and bound method; At the lower level, the values of operation variables are optimized by the branch and bound method under the values of design variables given tentatively during the search at the upper level; Lower bounds for the optimal value of the objective function are evaluated, and are utilized for the bounding operations at both the levels. This method is implemented into open and commercial MILP solvers. Illustrative and practical case studies on the optimal design of cogeneration systems are conducted, and the validity and effectiveness of the proposed method are clarified.
    Language: Japanese
    Type: article , doc-type:article
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    Publication Date: 2023-04-17
    Description: 最適化研究におけるアプリケーション駆動研究サイクルを紹介する.アプリケーション駆動研究サイクルは,学術機関での研究と企業における研究成果の利用とのつながりを良くする点では優れている.一方で,ソフトウェア開発・維持に多大な労力を要するため,日本の大学や研究機関における実施には困難さが伴う.ZIBにおいてアプリケーション駆動研究サイクルが,比較的うまく機能している背景を説明する.また,日本においてアプリケーション駆動研究サイクルを活性化するための第一歩として,論文投稿時に,論文中の数値実験に利用した全データ提出の義務化を提案したい.
    Language: Japanese
    Type: article , doc-type:article
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    Publication Date: 2023-04-17
    Description: 近年,大規模かつ複雑な最適化問題を高速に解く需要はさまざまな産業界や学術分野において急速に高まりつつある.これからの研究においては最先端理論 (Theory)+超大規模実データ (Practice)+最新計算技術(Computation) の三つを有機的に組み合わせることによって,実用に耐えうる解決策の提示と大規模最適化問題を扱う際の先例となることが求められている.本稿では最適化と計算に関する最新の傾向に触れるとともに,最適化の計算の今後についても考えていきたい.
    Language: Japanese
    Type: article , doc-type:article
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    Publication Date: 2023-04-17
    Description: 制約整数計画(CIP: Constraint Integer Programming)は,制約プログラミング(CP: Constraint Programming),混合整数計画(MIP: Mixed Integer Programming), 充足可能性問題(SAT: Satisfiability Problems)の研究分野におけるモデリング技術と解法を統合している.その結果,制約整数計画は,広いクラスの最適化問題を扱うことができる.SCIP (Solving Constraint Integer Programs)は,CIPを解くソルバとして実装され,Zuse Institute Berlin (ZIB)の研究者を中心として継続的に拡張が続けられている.本論文では,著者らによって開発されたSCIP に対する2種類の並列化拡張を紹介する. 一つは,複数計算ノード間で大規模に並列動作するParaSCIP である. もう一つは,複数コアと共有メモリを持つ1台の計算機上で(スレッド)並列で動作するFiberSCIP である. ParaSCIP は,HLRN IIスーパーコンピュータ上で, 一つのインスタンスを解くために最大7,168 コアを利用した動作実績がある.また,統計数理研究所のFujitsu PRIMERGY RX200S5上でも,最大512コアを利用した動作実績がある.統計数理研究所のFujitsu PRIMERGY RX200S5上 では,これまでに最適解が得られていなかったMIPLIB2010のインスタンスであるdg012142に最適解を与えた.
    Description: The paradigm of Constraint Integer Programming (CIP) combines modeling and solving techniques from the fields of Constraint Programming (CP), Mixed Integer Programming (MIP) and Satisfiability Problems (SAT). The paradigm allows us to address a wide range of optimization problems. SCIP is an implementation of the idea of CIP and is now continuously extended by a group of researchers centered at Zuse Institute Berlin (ZIB). This paper introduces two parallel extensions of SCIP. One is ParaSCIP, which is intended to run on a large scale distributed memory computing environment, and the other is FiberSCIP, intended to run on shared memory computing environments. ParaSCIP has successfully been run on the HLRN II supercomputer utilizing up to 7,168 cores to solve a single difficult MIP. It has also been tested on an ISM supercomputer (Fujitsu PRIMERGY RX200S5 using up to 512 cores). The previously unsolved instance dg012142 from MIPLIB2010 was solved by using the ISM supercomputer.
    Language: Japanese
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    Publication Date: 2023-05-04
    Description: 制約整数計画(CIP: Constraint Integer Programs)は,制約プログラミング(CP: Constraint Programming),混合整数計画(MIP: Mixed Integer Programming),充足可能性問題(SAT: Satisfability Problem)の研究分野におけるモデリング技術と解法を統合している.その結果,制約整数計画は,広いクラスの最適化問題を扱うことができる.SCIP(Solving Constraint Integer Programs)は,CIP を解くソルバとして実装され,Zuse Institute Berlin(ZIB)の研究者を中心として継続的に拡張が続けられている.本論文では,著者らによって開発された SCIP に対する2 種類の並列化拡張を紹介する.一つは,複数計算ノード間で大規模に並列動作する ParaSCIPである.もう一つは,複数コアと共有メモリを持つ 1 台の計算機上で(スレッド)並列で動作する FiberSCIP である.ParaSCIP は,HLRN II スーパーコンピュータ上で,一つのインスタンスを解くために最大 7,168 コアを利用した動作実績がある.また,統計数理研究所の Fujitsu PRIMERGY RX200S5 上でも,最大 512 コアを利用した動作実績がある.統計数理研究所のFujitsu PRIMERGY RX200S5 上では,これまでに最適解が得られていなかった MIPLIB2010のインスタンスである dg012142 に最適解を与えた.
    Description: The paradigm of constraint integer programming (CIP) combines modeling and solving techniques from the fields of constraint programming (CP), mixed-integer programming (MIP) and satisfability problem (SAT). This paradigm allows us to address a wide range of optimization problems. SCIP is an implementation of the idea of CIP and is now being continuously extended by a group of researchers centered at Zuse Institute Berlin (ZIB). This paper introduces two parallel extensions of SCIP. One is ParaSCIP, which is intended to run on a large scale distributed memory computing environment, and the other is FiberSCIP, intended to run on a shared memory computing environment. ParaSCIP has been run successfully on the HLRN II supercomputer utilizing up to 7,168 cores to solve a single difficult MIP. It has also been tested on an ISM supercomputer (Fujitsu PRIMERGY RX200S5 using up to 512 cores). The previously unsolved instance dg012142 from MIPLIB2010 was solved by using the ISM supercomputer.
    Language: Japanese
    Type: article , doc-type:article
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 7
    Publication Date: 2022-03-14
    Description: この論文ではソフトウェア・パッケージSCIP Optimization Suite を紹介し,その3つの構成要素:モデリン グ言語Zimpl, 線形計画(LP: linear programming) ソルバSoPlex, そして,制約整数計画(CIP: constraint integer programming) に対するソフトウェア・フレームワークSCIP, について述べる.本論文では,この3つの 構成要素を利用して,どのようにして挑戦的な混合整数線形計画問題(MIP: mixed integer linear optimization problems) や混合整数非線形計画問題(MINLP: mixed integer nonlinear optimization problems) をモデル化 し解くのかを説明する.SCIP は,現在,最も高速なMIP,MINLP ソルバの1つである.いくつかの例により, Zimpl, SCIP, SoPlex の利用方法を示すとともに,利用可能なインタフェースの概要を示す.最後に,将来の開 発計画の概要について述べる.
    Description: This paper introduces the SCIP Optimization Suite and discusses the capabilities of its three components: the modeling language Zimpl, the linear programming solver SoPlex, and the constraint integer programming framework SCIP. We explain how in concert these can be used to model and solve challenging mixed integer linear and nonlinear optimization problems. SCIP is currently one of the fastest non-commercial MIP and MINLP solvers. We demonstrate the usage of Zimpl, SCIP, and SoPlex by selected examples, we give an overview over available interfaces, and outline plans for future development.
    Language: Japanese
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    Publication Date: 2022-03-14
    Description: この論文ではソフトウェア・パッケージSCIP Optimization Suite を紹介し,その3つの構成要素:モデリン グ言語Zimpl, 線形計画(LP: linear programming) ソルバSoPlex, そして,制約整数計画(CIP: constraint integer programming) に対するソフトウェア・フレームワークSCIP, について述べる.本論文では,この3つの 構成要素を利用して,どのようにして挑戦的な混合整数線形計画問題(MIP: mixed integer linear optimization problems) や混合整数非線形計画問題(MINLP: mixed integer nonlinear optimization problems) をモデル化 し解くのかを説明する.SCIP は,現在,最も高速なMIP,MINLP ソルバの1つである.いくつかの例により, Zimpl, SCIP, SoPlex の利用方法を示すとともに,利用可能なインタフェースの概要を示す.最後に,将来の開 発計画の概要について述べる.
    Description: This paper introduces the SCIP Optimization Suite and discusses the capabilities of its three components: the modeling language Zimpl, the linear programming solver SoPlex, and the constraint integer programming framework SCIP. We explain how in concert these can be used to model and solve challenging mixed integer linear and nonlinear optimization problems. SCIP is currently one of the fastest non-commercial MIP and MINLP solvers. We demonstrate the usage of Zimpl, SCIP, and SoPlex by selected examples, we give an overview over available interfaces, and outline plans for future development.
    Language: Japanese
    Type: conferenceobject , doc-type:conferenceObject
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    Title: Information graphics /
    Author: Rendgen, Sandra
    Contributer: Wiedemann, Julius , Holmes, Nigel
    Publisher: Köln :Taschen,
    Year of publication: 2012
    Pages: 480 S. : , zahlr. Ill., graph. Darst., Kt. ; , 37,5 cm +
    ISBN: 3-8365-2879-7 , 978-3-8365-2879-5
    Type of Medium: Book
    Language: Undetermined
    Note: Text in engl., dt. und franz. Sprache
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 10
    Title: Vergabe- und Vertragsordnung fur Bauleistungen : VOB ; Teil A und B ; HOAI ; Verordnung uber die Honorare fur Leistungen der Architekten und der Ingenieure ; Textausgabe mit Sachverzeichnis und einer Einfuhrung; 5596
    Contributer: Werner, Ulrich
    Edition: Sonderausg., 28. Aufl., Stand: 1.8. 2010
    Publisher: Munchen :Dt. Taschenbuch-Verl., , [Munchen] :Beck
    Year of publication: 2010
    Pages: XLIX, 291 S. ; , 20 cm
    Series Statement: dtv 5596
    ISBN: 978-3-423-05596-3
    Type of Medium: Book
    Language: Undetermined
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 11
    Online Resource
    Online Resource
    Berlin [u.a.] :Springer,
    Title: Voxel-man 3D-navigator
    Contributer: Höhne, Karl Heinz , Universitätsklinikum 〈Hamburg〉 / Arbeitsgruppe VOXEL MAN
    Publisher: Berlin [u.a.] :Springer,
    Year of publication: 2010
    Pages: 1 DVD-ROM ; , 12 cm, in Behältnis 19 y 14 x 2 cm +
    ISBN: 978-3-642-10495-4
    Type of Medium: Online Resource
    Language: Undetermined
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 12
    Title: Photonics West 2010-OPTO: Integrated Optoelectronic Devices.
    Contributer: SPIE, The International Society for Optical Engineering
    Publisher: Bellingham, Wash. :SPIE,
    Year of publication: 2010
    Pages: CD-ROM , Optische Speicherplatte , 12 cm
    Series Statement: Proceedings of SPIE on CD-ROM
    Type of Medium: Electronic Resource
    Language: Undetermined
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 13
    Title: Nachrichtentechnische Zeitschrift : NTZ ; Zeitschrift für Informationstechnik u. Telekommunikation ; Organ der Nachrichtentechnischen Gesellschaft im VDE
    Contributer: Nachrichtentechnische Gesellschaft / Fachausschuß Informationsverarbeitung
    Publisher: Berlin :VDE-Verl.,
    Year of publication: 1955-1995
    Dates of Publication: 8.1955,10 - 40.1987,2; 40.1987,6 - 48.1995,2
    ISSN: 0027-707X
    Type of Medium: Journal/Serial
    Language: Undetermined
    Former Title: Vorg. ---〉:Fernmeldetechnische Zeitschrift
    Subsequent Title: 40.1987,3-5 u. Forts. ---〉:NTZ
    Note: Mikro-Elektronik
    Additional Information: Beih. ---〉:Nachrichtentechnische Fachberichte
    Additional Information: Index 1/10=11 von:Nachrichtentechnische Fachberichte
    Parallel Title: CD-ROM-Ausg. 1994 - 1995 ---〉:Elektronisches Zeitschriftenarchiv
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 14
    Title: Elektronische Rechenanlagen : Informationstechnik: Computer, Systeme, Anwendungen
    Contributer: Nachrichtentechnische Gesellschaft / Fachausschuß Informationsverarbeitung
    Publisher: München ; Wien :Oldenbourg,
    Year of publication: 1959-1985
    Dates of Publication: 1.1959 - 16.1974,5; 27.1985
    ISSN: 0013-5720
    Type of Medium: Book
    Language: Undetermined
    Subsequent Title: 16.1974,6 - 26.1984 ---〉:Elektronische Rechenanlagen mit Computer-Praxis
    Subsequent Title: Forts. ---〉:Informationstechnik
    Additional Information: Beil. ---〉:Computer-Praxis
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 15
    Journal/Serial
    Journal/Serial
    Sindelfingen b. Stuttgart :IBM, ; 1.1951 - 22.1972,Febr. = Nr. 104-209
    Title: IBM-Nachrichten /
    Author: Internationale Büro-Maschinen-Gesellschaft Deutschland 〈Sindelfingen〉
    Publisher: Sindelfingen b. Stuttgart :IBM,
    Year of publication: 1951-1972
    Dates of Publication: 1.1951 - 22.1972,Febr. = Nr. 104-209
    ISSN: 0018-8662
    Type of Medium: Journal/Serial
    Language: Undetermined
    Former Title: Vorg. ---〉:Hollerith-Nachrichten
    Subsequent Title: Forts. ---〉:IBM Deutschland GmbH 〈Stuttgart〉: IBM-Nachrichten
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 16
    Journal/Serial
    Journal/Serial
    Braunschweig ; Wisbaden :Vieweg, ; [1.1959] -[2.]1960 = F. 1-8; [3.]1961 = H. 1-6=F.9-14; [4.]1962 - [5.]1963,1; 5.1963,2 - 12.1970
    Title: Elektronische Datenverarbeitung : Fachberichte über programmgesteuerte Maschinen u. ihre Anwendung = Electronic data processing
    Publisher: Braunschweig ; Wisbaden :Vieweg,
    Year of publication: 1959-1970
    Dates of Publication: [1.1959] -[2.]1960 = F. 1-8; [3.]1961 = H. 1-6=F.9-14; [4.]1962 - [5.]1963,1; 5.1963,2 - 12.1970
    ISSN: 0374-3012
    Type of Medium: Journal/Serial
    Language: Undetermined
    Subsequent Title: Forts. ---〉:Angewandte Informatik
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 17
    Journal/Serial
    Journal/Serial
    Berlin ; Heidelberg [u.a.] :Springer, ; 1.1959 -
    Title: Numerische Mathematik
    Publisher: Berlin ; Heidelberg [u.a.] :Springer,
    Year of publication: 1959
    Dates of Publication: 1.1959 -
    ISSN: 0029-599X
    Type of Medium: Journal/Serial
    Language: Undetermined
    Note: A. S. Housenholder [u.a.] , Author index 1/40.1959/82 in: 41.1982,3
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 18
    Journal/Serial
    Journal/Serial
    Philadelphia, Pa. :SIAM, ; 1.1959 -
    Title: SIAM review /
    Author: Society for Industrial and Applied Mathematics
    Publisher: Philadelphia, Pa. :SIAM,
    Year of publication: 1959
    Dates of Publication: 1.1959 -
    ISSN: 0036-1445
    Type of Medium: Journal/Serial
    Language: Undetermined
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 19
    Title: Communications of the ACM : CACM ; a publ. of the Association for Computing Machinery
    Author: Association for Computing Machinery
    Publisher: New York, NY :Assoc.,
    Year of publication: 1958
    Dates of Publication: 1.1958 -
    ISSN: 0001-0782
    Type of Medium: Journal/Serial
    Language: Undetermined
    Former Title: Hauptsacht. 1.1958 - 2.1959: Communications of the Association for Computing Machinery. - Einzelne Hefte als "Special issue" bez.
    Additional Information: Suppl. ---〉:Association for Computing Machinery: Activities of the ACM
    Additional Information: Suppl. ---〉:Association for Computing Machinery: ACMemberNet
    Additional Information: 9=1 von:Symposium on Symbolic and Algebraic Manipulation: Proceedings of the Symposium on Symbolic and Algebraic Manipulation
    Additional Information: 11,5=1; 19,5=5 von:Symposium on Operating Systems Principles: Proceedings of the ... Symposium on Operating Systems Principles
    Additional Information: 23,2=7; 25,4=8 von:Symposium on Operating Systems Principles: Selected papers
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 20
    Journal/Serial
    Journal/Serial
    Oxford :Univ. Press, ; 1.1958/59 -
    Title: ¬The¬ computer journal /
    Contributer: British Computer Society
    Publisher: Oxford :Univ. Press,
    Year of publication: 1958
    Dates of Publication: 1.1958/59 -
    ISSN: 0010-4620
    Type of Medium: Journal/Serial
    Language: Undetermined
    Note: COBOL information bulletin
    Additional Information: In 32,4=1989 von:Object-oriented programming
    Parallel Title: Internetausg. ---〉:¬The¬ computer journal
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 21
    Title: IBM journal of research and development /
    Author: International Business Machines Corporation 〈Armonk, NY〉
    Publisher: Armonk, NY :IBM,
    Year of publication: 1957
    Dates of Publication: 1.1957 -
    ISSN: 0018-8646
    Type of Medium: Journal/Serial
    Language: Undetermined
    Note: Index 1/37.1957/93=37.1993,6
    Additional Information: 8,3=1 von:Conference on the Physics of Semimetals: Proceedings of the Conference on the Physics of Semimetals
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 22
    Title: Operations research : the journal of the Operations Research Society of America
    Contributer: Operations Research Society of America
    Publisher: Linthicum, Md. :INFORMS,
    Year of publication: 1956
    Dates of Publication: 4. 1956 -
    ISSN: 0030-364X
    Type of Medium: Journal/Serial
    Language: Undetermined
    Former Title: Vorg. ---〉:Operations Research Society of America: Journal of the Operations Research Society of America
    Note: Supplement
    Additional Information: Darin teils ---〉:Institute of Management Sciences: TIMS ORSA bulletin
    Additional Information: Suppl. ab 7.1959 ---〉:Operations Research Society of America: Bulletin of the Operations Research Society of America
    Additional Information: Internat. library digest service ---〉:Operations research, Management science
    Additional Information: Cumulative index ---〉:¬The¬ OR MS index
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...