Iterative Solvers for Saddle-Point Systems

鞍点系统的迭代求解器

• 批准号: 261539-2012
• 负责人: Greif, Chen
• 金额: $ 2.04万
• 依托单位: University of British Columbia
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2015
• 资助国家: 加拿大
• 起止时间: 2015-01-01 至 2016-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=571068
• 关键词: Iterative; Solvers; Saddle; Point; Systems

This proposal concerns the investigation, analysis and implementation of numerical solution methods for a family of linear systems that arise from problems that can be generally posed as minimization problems with constraints. Such problems are extremely important, and they frequently appear in a surprisingly large scope of scientific models. Examples of relevant applications include computer graphics, data mining, image processing, medical imaging, fluid flow, electromagnetics, and many more instances. The proposal puts forward a list of objectives that include the design of new solvers for constrained optimization problems and constrained differential equations, the derivation of new algorithms that combine various solution methodologies into one optimized solver, and the investigation of questions pertaining to the best way to solve the problem, with focus on the question to what extent various reformulations affect the robustness and reliability of solution procedures. Long-term objectives include the pursuit of a unified framework that sheds light on connections among different solution methodologies and among the different applications that lead to the systems that are considered. The issues addressed in this proposal are not just of theoretical interest but also of a high practical value, including the implementation of various solvers and the involvement of highly qualified personnel. The timeliness of this proposal is driven by the continual development of new disciplines and problems that involve the solution of large-scale linear algebra systems, and the new frontiers that processing speed, parallel computing architectures and high performance computing have reached, pushing the envelope in terms of the size of problems that can be tackled.

这一建议涉及的调查，分析和实现的数值解决方法的一族线性系统产生的问题，通常可以提出的最小化问题与约束。这些问题是极其重要的，它们经常出现在令人惊讶的大范围科学模型中。相关应用的例子包括计算机图形学、数据挖掘、图像处理、医学成像、流体流动、电磁学以及更多的实例。