• 全部商品
  • 批量搜索
全部 >图书 > Reykjavik
4件商品
  •  Surrogate-Based Modeling and Optimization 9781493954728

    Surrogate-Based Modeling and Optimization 9781493954728

    Product Details 基本信息 ISBN-13 书号 9781493954728 Author 作者 Slawomir Koziel Reykjavik University Reykjavik Iceland Format 版本 平装-胶订 Pages Number 页数 412页 Publication Date 出版日期 2016-08-23 Product Dimensions 商品尺寸 23.4 x 15.6 x 2.2 cm Shipping Weight 商品重量 0.6 kg Language 语种 其它(含多语) Book Contents 内容简介 Contemporary engineering design is heavily based on computer simulations. Accurate, high-fidelity simulations are used not only for design verification but, even more importantly, to adjust parameters of the system to have it meet given performance requirements. Unfortunately, accurate simulations are often computationally very expensive with evaluation times as long as hours or even days per design, making design automation using conventional methods impractical. These and other problems can be alleviated by the development and employment of so-called sur

    ¥1457

    中国进口图书旗舰店

    Slawomir Koziel Reykjavik University... /2016-08-23 /暂无出版社信息

  •  【预订】Solving Computationally Expensive Engineering Problems 9

    【预订】Solving Computationally Expensive Engineering Problems 9 美国库房发货,通常付款后3-5周到货!

    Product Details 基本信息 ISBN-13 书号 9783319349787 Author 作者 Slawomir Koziel Reykjavik University Reykjavik Iceland Format 版本 平装-胶订 Pages Number 页数 335页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2016-09-22 Shipping Weight 商品重量 616g Language 语种 英语 Book Contents 内容简介 Computational complexity is a serious bottleneck for the design process in virtually any engineering area. While migration from prototyping and experimental-based design validation to verification using computer simulation models is inevitable and has a number of advantages, high computational costs of accurate, high-fidelity simulations can be a major issue that slows down the development of computer-aided design methodologies, particularly those exploiting automated design improvement procedures, e.g., numerical optimization. The continuous increase of available computational

    ¥1040

    中国进口图书旗舰店

    Slawomir Koziel Reykjavik University... /2016-09-22 /Springer Berlin Heidelberg

  •  【预订】Computational Optimization, Methods and Algorithms 97836

    【预订】Computational Optimization, Methods and Algorithms 97836 国外库房发货,通常付款后3-5周到货!

    Product Details 基本信息 ISBN-13 书号 9783662520048 Author 作者 Slawomir Koziel Reykjavik University Engin. Optimization & Format 版本 平装-胶订 Pages Number 页数 283页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2016-08-23 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.6 cm Shipping Weight 商品重量 462g Language 语种 英语 Book Contents 内容简介 Computational optimization is an important paradigm with a wide range of applications. In virtually all branches of engineering and industry, we almost always try to optimize something - whether to minimize the cost and energy consumption, or to maximize profits, outputs, performance and efficiency. In many cases, this search for optimality is challenging, either because of the high computational cost of evaluating objectives and constraints, or because of the nonlinearity, multimodality, discontinuity and uncertainty o

    ¥1431

    中国进口图书旗舰店

    Slawomir Koziel Reykjavik University... /2016-08-23 /Springer Berlin Heidelberg

  •  【预订】Models, Algorithms, Logics and Tools 9783319631202

    【预订】Models, Algorithms, Logics and Tools 9783319631202 美国库房发货,通常付款后3-5周到货!

    Product Details 基本信息 ISBN-13 书号 9783319631202 Author 作者 Luca Aceto Reykjavik University Reykjavik Iceland Format 版本 平装-胶订 Pages Number 页数 662页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2017-07-25 Shipping Weight 商品重量 1027g Language 语种 英语 Book Contents 内容简介 This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and model checking. Since 1995, he has been one of the prime movers behind the model checking tool for real-time systems UPPAAL, for which he was a co-recipient of the CAV Award in 2013.The Festsch

    ¥520.00

    中国进口图书旗舰店

    Luca Aceto Reykjavik University Rey... /2017-07-25 /Springer Berlin Heidelberg

广告