权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Automated, Secure Homotopy Continuation and Parameter Space Exploration

自动化、安全的同伦延拓和参数空间探索

基本信息

批准号：
1719658
负责人：
Patrick Shipman
金额：
$ 24.98万
依托单位：
Colorado State University
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
2017
资助国家：
美国
起止时间：
2017-06-15 至 2021-05-31
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=1719658&HistoricalAwards=false
关键词：
Automated Secure Homotopy Continuation Parameter

项目摘要

Systems of polynomial equations arise naturally in most scientific and engineering fields. These systems describe the motion of robotic arms, the steady states of biochemical reactions, the location of radio transmitters based on sensor readings, and many other science and engineering scenarios that are rooted in physical laws and geometry. The solution of polynomial systems was nearly impossible until roughly fifty years ago, and efficient methods are still being developed and analyzed. The first broad direction of this project seeks to automate the tuning of some of these methods (so that non-experts can use them readily) and to incorporate more certainty in the computations. The second broad direction seeks to further develop methods that are particularly useful in applications and to make progress on a few particular applications, namely, biochemical reaction networks, geolocation, and population genetics. Three graduate students will be involved in the project.Homotopy continuation is a fundamental computational tool of numerical algebraic geometry, on which virtually all advanced algorithms within the field depend. While there has been much theoretical and algorithmic development on this topic over the years, there are still at least three basic problems to be addressed. First, ill-conditioning forces the use of expensive high-precision numerical computations and sometimes path failure. Second, homotopy continuation depends on a number of numerical tolerances that are highly problem-dependent and difficult to adjust, especially for non-experts. Third, numerical methods are inherently inexact, making them undesirable in some contexts. The three projects of the first research direction seek to make progress on solving these problems. Fundamental scientific and engineering questions frequently involve parameters, and their solution depends on the ability to understand and move around parameter spaces effectively. The three projects of the second direction aim to further develop numerical homotopy methods for parameter space exploration. The first project will advance our ability to collect useful data from Euclidean parameter spaces, particularly when the goal is to find points in parameter space at which a parameterized polynomial system has a special kind of solution set. The second project aims to extend homotopy continuation to general algebraic parameter spaces. The third project is an assortment of applications, as mentioned.

多项式方程组在大多数科学和工程领域中自然出现。这些系统描述了机械臂的运动、生化反应的稳态、基于传感器读数的无线电发射器的位置，以及许多其他植根于物理定律和几何学的科学和工程场景。直到大约五十年前，多项式系统的求解几乎是不可能的，并且仍在开发和分析有效的方法。该项目的第一个大方向旨在自动调整其中一些方法（以便非专家可以轻松使用它们）并在计算中纳入更多确定性。第二个大方向旨在进一步开发在应用中特别有用的方法，并在一些特定应用上取得进展，即生化反应网络、地理定位和群体遗传学。三名研究生将参与该项目。同伦延拓是数值代数几何的基本计算工具，几乎该领域内的所有高级算法都依赖于它。尽管多年来该主题在理论和算法上取得了很多进展，但仍然至少存在三个基本问题需要解决。首先，病态迫使使用昂贵的高精度数值计算，有时甚至会出现路径故障。其次，同伦延拓取决于许多数值公差，这些公差高度依赖于问题并且难以调整，特别是对于非专家而言。第三，数值方法本质上是不精确的，这使得它们在某些情况下不受欢迎。第一个研究方向的三个项目寻求在解决这些问题上取得进展。基本的科学和工程问题经常涉及参数，其解决方案取决于有效理解和移动参数空间的能力。第二个方向的三个项目旨在进一步发展参数空间探索的数值同伦方法。第一个项目将提高我们从欧几里得参数空间收集有用数据的能力，特别是当目标是找到参数空间中参数化多项式系统具有特殊类型解集的点时。第二个项目旨在将同伦延拓扩展到一般代数参数空间。如前所述，第三个项目是各种应用程序。