Mathematical Sciences Computing Research Environments

数学科学计算研究环境

• 批准号: 9406327
• 负责人: Peter Hammer
• 金额: $ 2.8万
• 依托单位: Rutgers University New Brunswick
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1994
• 资助国家: 美国
• 起止时间: 1994-08-01 至 1995-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9406327&HistoricalAwards=false
• 关键词: Mathematical; Sciences; Computing; Research; Environments

9406327 Hammer RUTCOR, Rutgers Center for Operations Research at Rutgers University, The State University of New Jersey will purchase high capacity computing equipment which will be dedicated to the support of research in operations research. The equipment will be used for several research projects, in particular for solving large scale satisfiability problems, for developing efficient algorithms in logic minimization, for implementing interior point algorithms for large scale linear and nonlinear programming problems, and for the solution of very large scale specially structured linear programming problems.

小行星9406327 RUTCOR，罗格斯大学罗格斯运筹学中心，新泽西的州立大学将购买高容量的计算设备，将致力于支持运筹学研究。 该设备将用于几个研究项目，特别是解决大规模的可满足性问题，开发有效的算法在逻辑最小化，实现内点算法的大规模线性和非线性规划问题，并为解决非常大规模的特殊结构的线性规划问题。