Extending the reach of automated algorithm design, optimisation and customisation

扩展自动化算法设计、优化和定制的范围

• 批准号: RGPIN-2016-04273
• 负责人: Hoos, Holger
• 金额: $ 4.59万
• 依托单位: University of British Columbia
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2017
• 资助国家: 加拿大
• 起止时间: 2017-01-01 至 2018-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=634946
• 关键词: Extending; reach; automated; algorithm; design

Challenging computational problems arise prominently in areas such as software verification, energy systems optimisation and analysis of large amounts of data. Efficient software systems for solving these problems are of crucial importance, and improvements to these systems will have considerable economic and societal benefits, e.g., in terms of more sustainable and efficient use of energy and resources. Our research aims at automatically designing, optimising and customising such software for specific application situations.

具有挑战性的计算问题在软件验证、能源系统优化和大量数据分析等领域突出出现。解决这些问题的有效软件系统是至关重要的，对这些系统的改进将有相当大的经济和社会效益，例如，在更可持续和有效地利用能源和资源方面。我们的研究旨在针对特定的应用情况自动设计、优化和定制此类软件。