The Development of Reliable Numerical Software for the Investigation of Systems of Differential Equations

用于研究微分方程组的可靠数值软件的开发

• 批准号: RGPIN-2016-05595
• 负责人: Enright, Wayne
• 金额: $ 1.89万
• 依托单位: University of Toronto
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2017
• 资助国家: 加拿大
• 起止时间: 2017-01-01 至 2018-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=634505
• 关键词: Development; Reliable; Numerical; Software; Investigation

Mathematical modeling of real world systems is pervasive in all areas of research. In applications in physical sciences, biological sciences, engineering, medicine and finance, the mathematical models that are employed often involve systems of differential equations and the 'exact' solution of these models can, at best, only be approximated. In our research program we assume that the mathematical model being investigated is well posed and the computational (or numerical) task is to approximate the solution and key properties of the solution. In the past I have been involved, with my students and colleagues, in the development of effective numerical methods for approximating the solutions of systems of ordinary differential equations (ODEs) and the development of software tools to visualize important properties of the solution. Some of the properties of the solution, that we have developed effective tools to investigate, include tools to estimate and quantify the conditioning, tools to quantify the stability and tools to quantify the sensitivity of the solution (to changes in the parameters that define the model).

真实世界系统的数学建模在所有研究领域都很普遍。在物理科学、生物科学、工程、医学和金融领域的应用中，所使用的数学模型通常涉及微分方程系统，而这些模型的“精确”解充其量只能是近似值。在我们的研究计划中，我们假设所研究的数学模型是良好的，计算（或数值）任务是近似解和解的关键性质。在过去，我一直与我的学生和同事一起参与开发有效的数值方法来近似常微分方程（ode）系统的解，并开发软件工具来可视化解的重要性质。我们已经开发了一些有效的工具来研究解决方案的一些特性，包括用于估计和量化条件的工具，用于量化稳定性的工具和用于量化解决方案敏感性的工具（对定义模型的参数变化的工具）。