×
伊斯坦·马洛斯；穆罕默德·哈龙·哈利克

优化软件的设计和实现进展。 （英语） 兹比尔1001.90004

欧洲药典。物件。 140，第2期，322-337（2002）.
总结：开发能够解决大型复杂现实问题的优化软件是一项巨大的努力。它基于对四个领域的深入了解：优化算法理论、计算机科学的相关结果、软件工程原理和计算机技术的最新发展。本文强调了优化软件的各种要求，并讨论了满足这些要求所需的成分。除了回顾当前的硬件/软件环境外，它还暗示了最近的硬件开发如何影响未来的优化软件。在对连续优化的计算成功技术进行综述后，它还概述了并行计算所提供的观点，并强调了优化建模系统的重要性。作为一篇调查论文，它包含了许多参考文献，既对优化软件领域的结果给予应有的信任，也帮助读者获得有关感兴趣问题的更详细信息。

引用于三文件

MSC公司：

90-08 运筹学和数学规划相关问题的计算方法
90C06型 数学规划中的大尺度问题
68号30 软件工程的数学方面（规范、验证、度量、需求等）

关键词：

大规模优化；优化软件；实现技术

软件：

切割机；AIMMS公司；AMPL公司；MIPLIB公司；磁粉探伤；分析；MINOS公司；优化软件的决策树；可爱的；NETLIB LP测试集；DEVEX公司；PNM公司；OSL公司
PDF格式BibTeX公司 XML格式引用
\textit{I.Maros}和\textit{M.H.Khaliq}，欧洲期刊Oper。第140号决议，第2号，322--337（2002年；Zbl 1001.90004）
全文： 内政部

参考文献：

[1] 阿伯思，O。；Schaefer，M.J.，《通过C++使用范围算术进行精确计算》，《ACM数学软件交易》，18，4，481-491（1992）·Zbl 0892.65028号
[2] Abrash，M.，Michael Abrash的图形编程黑皮书（1997），The Coriolis Group Inc
[3] 阿德勒，I。；北卡罗来纳州卡马尔卡。；重发，M.G.C。；Veiga，G.，《实现Karmarkar算法的数据结构和编程技术》，《ORSA计算杂志》，184-106（1989）·Zbl 0752.90043号
[4] AMD Athlon处理器技术简介，出版物#22054 Rev:D，1999年12月；AMD Athlon处理器技术简介，出版物编号22054，版次：D，1999年12月
[5] 安德森，E.D。；J.Gondzio。；墨西哥梅萨罗斯。；Xu，X.，大规模线性规划的内点方法的实现，（Terlaky，T.，数学规划的内点方法。数学规划的内点方法，应用优化，第5卷（1996），Kluwer学术出版社：Kluwer学术出版社Dordrecht），189-252，（第6章）·Zbl 0874.90127号
[6] 安德森，E.D。；Anderson，K.D.，线性规划的预解，数学规划，71，2，221-245（1995）·兹比尔0846.90068
[7] Benichou，M。；Gautier，J.M。；Hentges，G。；Ribiere，G.，大规模线性规划问题的有效解决，数学规划，13，280-322（1977）·Zbl 0384.90084号
[8] 宾斯托克，A。；Rex，J.，《程序员的实用算法》（1995年），艾迪森·韦斯利出版公司：马萨诸塞州雷丁市艾迪森·韦斯利出版公司·Zbl 0828.68003号
[9] Bixby，R.E.，《实现单纯形方法：初始基础》，ORSA计算杂志，4，3，267-284（1992）·Zbl 0759.90063号
[10] 比克斯比，R.E。；Ceria，S。；McZeal，C.M。；Savelsbergh，M.W.P.，更新的混合整数编程库：MIPLIB 3.0，Optima，54，12-15（1998）
[11] Bland，R.G.，单纯形法的新有限支点规则，运筹学数学，2103-107（1977）·Zbl 0408.90050号
[12] 邦加兹，I。；A.R.康涅狄格州。；新墨西哥州古尔德。；Toint，Ph.L.，CUTE：约束和非约束测试环境，ACM数学软件汇刊，21，1，123-160（1995）·Zbl 0886.65058号
[13] Brearley，A.L。；密特拉·G。；Williams，H.P.，《应用单纯形法之前的数学规划问题分析》，《数学规划》，第8期，第54-83页（1975年）·Zbl 0317.90037号
[14] 布鲁克，A。；肯德里克，D。；Meeraus，A。；Raman，R.，GAMS（1998），GAMS开发公司
[15] Bulka，D。；Mayhew，D.，《高效C++：性能编程技术》（Efficient C++：Performance Programming Techniques）（2000年），Addison-Wesley/Longman Inc：Addison-Whesley/LongmanInc Reading，马萨诸塞州/纽约
[16] Cosnard，M。；Trystram，D.，《并行算法和体系结构》（1995），国际汤普森计算机出版社
[17] 卡勒，D.E。；辛格，J.P。；Gupta，A.，《并行计算机体系结构：硬件/软件方法》（1999），Morgan Kaufmann出版社：Morgan Koufmann-Publishers Los Altos，CA
[18] 柯蒂斯，A.R。；Reid，J.K.，《关于高斯消去矩阵的自动缩放》，《数学及其应用研究所杂志》，第10期，第118-124页（1972年）·Zbl 0249.65026号
[19] Dantzig，G.B.，线性规划与扩展（1963），普林斯顿大学出版社：普林斯顿大学出版·Zbl 0108.33103号
[20] Dantzig，G.B.，线性编程对计算机开发的影响，OR/MS Today，August，12-17（1988）
[21] Dongarra，J.J。；Walker，D.W.，高性能计算机上线性代数计算的软件库，SIAM评论，37,2151-180（1995）·Zbl 0874.65014号
[22] 达夫，I.S。；埃里斯曼，A.M。；Reid，J.K.，《稀疏矩阵的直接方法》（1986），牛津科学出版社，克拉伦登出版社：牛津科学出版社·Zbl 0604.65011号
[23] Forrest，J.J。；Tomlin，J.A.，《单纯形和内点方法中的向量处理》，《运筹学年鉴》，22，71-100（1990）·Zbl 0714.90064号
[24] 福雷斯特，J.J.H。；Goldfarb，D.，线性规划的最速边单纯形算法，数学规划，57，3，341-374（1992）·Zbl 0787.90047号
[25] 福雷斯特，J.J.H。；Tomlin，J.A.，《在优化子程序库中实现内点线性编程方法》，IBM系统期刊，31，26-38（1992）·Zbl 0814.90076号
[26] 福雷斯特，J.J.H。；Tomlin，J.A.，《在优化子程序库中实现单纯形方法》，IBM系统期刊，31，11-25（1992）·兹伯利0814.90075
[27] 福勒，R。；盖伊，D.M。；科尔尼根，B.W.，《AMPL:数学编程的建模语言》（1993），达克斯伯里出版社
[28] Gay，D.M.，线性规划测试问题的电子邮件分发，COAL新闻稿，13，10-12（1985）
[29] 吉尔，体育。；默里，W。；桑德斯，医学硕士。；Wright，M.H.，线性约束优化的实用反循环程序，数学规划，45437-474（1989）·Zbl 0688.90038号
[30] Goldfarb，D。；Reid，J.，一种实用的最陡边单纯形算法，数学规划，12361-371（1977）·Zbl 0443.90058号
[31] Gondzio，J.，在应用内点方法之前对线性程序进行预解分析，INFORMS计算杂志，9，1，73-91（1997）·Zbl 0890.90143号
[32] J.Gondzio。；Terlaky，T.，内点方法的计算观点，（线性和整数规划的进展。线性和整数编程的进展，牛津数学及其应用系列讲座（1996），克拉伦登出版社：克拉伦登牛津出版社），103-144，（第3章）·Zbl 1010.90524号
[33] 新墨西哥州古尔德。；Reid，J.K.，大型线性约束系统的新碰撞程序，数学规划，45475-501（1989）·Zbl 0692.90089号
[34] H.J.Greenberg，枢轴选择策略，见：[36]，第143-174页；H.J.Greenberg，枢轴选择策略，见：[36]，第143-174页
[35] H.J.Greenberg，《矩阵包装教程》，见：[36]，第109-142页；H.J.Greenberg，《矩阵包装教程》，见：[36]，第109-142页
[36] （Greenberg，H.J.，《优化软件的设计与实现》（1978），Sijtho和Nordhoff:Sijtho和Nordhof-Alphen a/d Rijn）
[37] Greenberg，H.J.，《数学规划模型和解决方案的计算机辅助分析系统：ANALYZE用户指南》（1993年），Kluwer学术出版社：Kluwer-学术出版社，马萨诸塞州波士顿·Zbl 0819.68025号
[38] Harris，P.M.J.，Devex LP代码的枢轴选择方法，数学规划，5，1-28（1973）·Zbl 0261.90031号
[39] Hayes，J.P.，《计算机体系结构与组织》（1998年），《麦格劳-希尔公司：麦格劳公司纽约》·Zbl 0384.68001号
[40] 轩尼诗律师事务所。；Patterson，D.A.，《计算机体系结构：定量方法》（1996），Morgan Kaufmann出版社：Morgan Koufmann-Publishers Los Altos，CA·Zbl 0752.68014号
[41] Kalan，J.E.，《大规模核心内线性规划的方面》（1971年ACM年会论文集，ACM:ACM纽约），304-313
[42] 科尔尼根，B.W。；Ritchie，D.M.，《C编程语言》。C编程语言，Prentice-Hall软件系列（1988），Prentice-Hall PTR：新泽西州Prentice-Hall PTR Englewood Cliffs·Zbl 0697.68008号
[43] A.Klaiber，《克鲁索处理器背后的技术》，Transmeta Corporation，2000年1月；A.Klaiber，《克鲁索处理器背后的技术》，Transmeta公司，2000年1月
[44] U.Kulisch，《高性能计算机的第五次浮点运算》，技术报告，法国安格万特数学研究所，卡尔斯鲁厄大学，1997年；U.Kulisch，《高性能计算机的第五次浮点运算》，技术报告，法国安格万特数学研究所，卡尔斯鲁厄大学，1997年
[45] 卢斯蒂格，I.J。；Rothberg，E.，线性规划中的Gigaflops，运筹学快报，18，4157-165（1996）·Zbl 0855.90083号
[46] 卢斯蒂格，I.J。；Marsten，R.E。；Shanno，D.F.，线性规划的原对偶内点法的计算经验，线性代数及其应用，152191-222（1991）·Zbl 0731.65049号
[47] 卢斯蒂格，I.J。；Marsten，R.E。；Shanno，D.F.，《关于实现Mehrotra线性规划的预测-校正内点法》，SIAM优化杂志，2435-449（1992）·Zbl 0771.90066号
[48] 卢斯蒂格，I.J。；Marsten，R.E。；Shanno，D.F.，《线性规划的内点方法：计算现状》，ORSA计算杂志，6，1，1-14（1994）·Zbl 0798.90100号
[49] Karels，M.J。；McCusick，M.K。；Bostic，K。；Quarterman，J.S.，《4.4BSD操作系统的设计与实现》（1996），Addison-Wesley Publishing Company:Addison-Whesley Publishing Company Reading，MA
[50] Maros，I.，线性规划中的一般第一阶段方法，《欧洲运筹学杂志》，23，64-77（1986）·Zbl 0583.90060号
[51] Maros，I.，单纯形方法中的多准则决策问题，（Mitra，G.，决策支持的数学模型（1988），Springer Verlag:Springer Verlag Berlin），263-272
[52] I.Maros，网络线性规划的结构开发定价程序，研究报告18-91，RUTCOR，美国新泽西州罗格斯大学，1991年5月，15页；I.Maros，网络线性规划的结构开发定价程序，研究报告18-91，RUTCOR，美国新泽西州罗格斯大学，1991年5月，15页
[53] Maros，I.，混合整数规划中的分段线性对偶过程，（Schaible，R.；Giannesi，F.；Komlosi，S.，《数学规划的新趋势》（1998），Kluwer学术出版社：Kluwer-学术出版社Dordrecht），159-170·Zbl 0909.90217号
[54] 马洛斯，I。；梅萨罗斯，Cs。，单纯形方法的数值精确实现，《运筹学年鉴》，58，3-17（1995）·Zbl 0836.90118号
[55] 马洛斯，I。；Mészáros，C.s.，凸二次规划问题库，优化方法和软件，11和12，12月，671-681（1999）·Zbl 0973.90520号
[56] 马洛斯，I。；Mitra，G.，研究分布式内存多处理器上的稀疏单纯形算法，并行计算，26151-170（2000）·Zbl 1046.68981号
[57] 马洛斯，I。；Mitra，G.，为大规模线性规划问题创建高级基础的策略，INFORMS计算杂志，10，2，248-260（1998）·Zbl 1034.90515号
[58] Marsten，R.E.，XMP：实验数学编程的结构化子程序库，ACM数学软件汇刊，74887-497（1981）
[59] MPL建模系统，Maximal软件。可从以下位置获得网址：http://www.maximal-usa.com/mpl/; MPL建模系统，Maximal软件。可从以下位置获得网址：http://www.maximal-usa.com/mpl/
[60] McShane，K.A。；Monma，C.L。；Shanno，D.F.，线性规划的原对偶内点方法的实现，ORSA计算杂志，170-89（1989）·Zbl 0752.90047号
[61] Mehrotra，S.，《关于原对偶内点方法的实现》，SIAM优化杂志，2575-601（1992）·Zbl 0773.90047号
[62] H.D.Mittelmann，P.Spellucci，优化软件的决策树。可从<http://plato.la.asu.edu/guide.html>; H.D.Mittelmann，P.Spellucci，优化软件的决策树。可从<http://plato.la.asu.edu/guide.html>
[63] B.A.Murtagh，M.A.Saunders，MINOS 5。1用户指南，技术报告SOL 83-20R，斯坦福大学，1987年；B.A.Murtagh，M.A.Saunders，MINOS 5。1用户指南，技术报告SOL 83-20R，斯坦福大学，1987年
[64] Orchard-Hays，W.，《高级线性编程计算技术》（1968年），McGraw-Hill:McGraw-Hill纽约
[65] Pacheco，P.S.，《MPI并行编程》（1997），Morgan Kaufmann出版社：Morgan Koufmann-Publishers Los Altos，CA·Zbl 0877.68013号
[66] AIMMS，Paragon决策技术。可从<http://www.aimms.com/index.html>; AIMMS，Paragon决策技术。可从<http://www.aimms.com/index.html>
[67] 帕特森，D.A。；Hennessy，J.L.，《计算机组织与设计：硬件-软件界面》（1998），摩根考夫曼出版社：摩根考夫文出版社，加利福尼亚州洛斯阿尔托斯·Zbl 0882.68018号
[68] Ris，F。；Barkmeyer，C。；Farkas，P.，《当浮点加法不可交换时》，SIGNUM Newsletter，28，1，8-13（1993）
[69] Robertazi，T.G。；Schwartz，S.C.，浮点加法的最佳排序，ACM数学软件汇刊，14，1101-110（1988）·Zbl 0647.65033号
[70] Roos，C。；Terlaky，T。；维亚尔，J.-博士，《线性优化理论与算法》。线性优化理论与算法，离散数学与优化（1997），威利：威利纽约·Zbl 0954.65041号
[71] Rothberg，E。；Gupta，A.，利用内存层次结构在高性能工作站上进行高效稀疏矩阵分解，《数学软件ACM事务》，17，3，313-334（1991）·Zbl 0900.65066号
[72] Savelsbergh，M.W.P.，混合整数编程问题的预处理和探测，ORSA计算杂志，6445-454（1994）·Zbl 0814.90093号
[73] Smith，B.F.，《数字软件的转变：从螺母和螺栓到抽象》，SIGNUM Newsletter，33，1，7-15（1998）
[74] 斯尼尔，M。；奥托，S。；Huss-Lederman，S。；Walker，D。；Dongarra，J.，MPI-完整参考，第1卷，MPI核心。MPI-完整参考，第1卷，MPI核心，科学与工程计算系列（1999），麻省理工学院出版社：麻省理工学院出版社，马萨诸塞州剑桥
[75] Solanki，R.S。；Gorti，J.K.，使用面向对象编程实现整数优化平台，计算机与运筹学，24，6，549-557（1997）·Zbl 0882.90101号
[76] 苏尔，U.H。；Suhl，L.M.，计算大规模线性规划基的稀疏LU分解，ORSA计算杂志，2，4，325-335（1990）·Zbl 0755.90059号
[77] Swietanowski，A.，线性规划单纯形方法的新最陡边近似，计算优化与应用，10，3，271-281（1998）·Zbl 0912.90220号
[78] Tabak，D.，《高级微处理器》（1995），McGraw-Hill:McGraw-Hill纽约
[79] Toledo，S.，《改进稀疏矩阵向量乘法的存储系统性能》，IBM研究与开发期刊，41，6，711-725（1997）
[80] 特里皮，R.R。；Turban，E.，《并行处理与OR/MS》，计算机与运筹学，18，2，199-210（1991）
[81] Van Henteryck，P.，《OPL优化编程语言》（1999），麻省理工学院出版社：麻省理工学院出版社，马萨诸塞州剑桥
[82] Wallis，P.J.L.，《改进浮点编程》（1990），John Wiley&Sons Ltd：纽约John Willey&Sons有限公司
[83] Wolfe博士，《复合单纯形算法》，SIAM Review，7，1，42-54（1965）·Zbl 0133.42703号
[84] Wright，S.J.，《原始-对偶内点方法》（1996），SIAM：宾夕法尼亚州费城SIAM
[85] 山下，H。；Yabe，H.，约束优化中一些原对偶内点方法的超线性和二次收敛性，数学规划，75，377-397（1996）·Zbl 0874.90175号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。