基于三角分解的参数多项式优化
项目介绍
AI项目解读
基本信息
- 批准号:11301524
- 项目类别:青年科学基金项目
- 资助金额:22.0万
- 负责人:
- 依托单位:
- 学科分类:A0410.算法复杂性与近似算法
- 结题年份:2016
- 批准年份:2013
- 项目状态:已结题
- 起止时间:2014-01-01 至2016-12-31
- 项目参与者:陈经纬; 周双; 唐卷;
- 关键词:
项目摘要
In the world of industry and engineering, there is an increasing demand on the accuracy of optimal control. For this reason, nonlinear model predictive control (NMPC) has been playing more and more important role in the design of product prototype. The implementation of such control strategy requires solving many real-time on-line optimization problems. The efficiency of NMPC can be improved by reducing many on-line problems of the same structure to one parametric off-line optimization problem and many light-weighted on-line problems. Among many off-line optimization problems, parametric polynomial optimization is a very important class. Such parametric optimization problems are usually difficult to handle by traditional numeric approach. In this project, we will study how to use triangular decomposition, a symbolic computation tool, to obtain expression formulas of such problems during the off-line stage, which in turn enables us to obtain the control strategies in an exact and efficient manner during on-line stage. More precisely, we would like to make progress on the following fronts: (1) develop the general theory and algorithms for solving parametric polynomial optimization based on triangular decomposition; (2) design special triangular decomposition algorithms by exploiting the particular structures of specific application problems in NMPC; (3) implement our algorithm by taking advantage of the latest computer architectures. This symbolic approach for solving optimization problems is expected to improve both the efficiency and accuracy of the on-line optimization computations of NMPC.
随着工业生产中对最优控制精度的要求越来越高,非线性模型预测控制(NMPC)在产品原型设计阶段扮演着越来越重要的作用。 这种控制策略需要很多实时的在线优化。研究发现可以通过将众多同构的在线优化转变为一个含参数的离线优化和很多轻量级的在线优化提高这种算法的效率。而含参数离线优化问题的重要一类是含参数的多项式优化问题。基于数值计算的传统优化方法很难处理参数问题。在本项目中,我们将研究如何用三角分解这一符号计算工具离线得到这一优化结果的表达公式,从而可在线、高效、准确地得到控制策略。具体地说,我们希望在以下几个方面取得突破:(1)发展用三角分解方法解决含参数多项式优化问题的一般理论和算法;(2)针对NMPC中出现的具体应用问题设计专门的三角分解方法;(3)利用最新的计算机体系结构,高效实现我们的算法。这一符号求解优化问题的方法有望提高NMPC在线求解的精度和效率。
结项摘要
随着很多工业生产中对过程控制精度要求的提高,非线性模型预测控制受到越来越多的重视。参数多项式优化通过把大部分计算转移到离线阶段,可以有效增强模型预测控制的实时性。三角分解方法是研究参数多项式系统精确解的基本方法之一。如何将三角分解应用于参数多项式优化是我们研究的出发点。..我们首先发展了用三角分解方法求解参数多项式优化问题的一般理论和算法。主要思想如下:基于子结式和正则最大公因子的理论以及渐进求解的思想,我们把复空间的三角分解精化为一个柱形分解树,然后通过正则列的实根隔离将其提升为一个实空间的柱形代数分解。利用Thom引理和冲突对的思想,产生一个投影因子可定义的分解,从而得到第一个基于三角分解的完备的柱形分解和量词消去算法。参数多项式优化问题则转化为特定序下的柱形代数分解问题或量词消去问题。这一系列的工作先后发表在Computer Mathematics,符号计算顶级会议ISSAC 2014及权威杂志Journal of Symbolic Computation上,并在MACIS 2013以及国际工业与应用数学大会ICIAM 2015上作了报告。..我们随后提出了利用含参多项式优化问题的具体结构设计专门的三角分解算法。主要思想是:通过KKT条件把带参数的最优化问题转化为求解一个含有等式约束的参数半代数系统,然后利用等式和不等式约束对柱形代数分解树预判剪枝,从而大大提高了分解的效率。相关成果发表在国际会议ICMS 2014,CASC 2014及CICM 2014上。..我们改进了相关算法的效率。这包括两方面的工作:一是用C++及其并行扩展CilkPlus开发了并行多项式基本运算库,高效并行实现了自适应多项式乘法、泰勒移位、正则列的实根隔离等。相关成果发表在ICMS 2014以及ACM Communications in Computer Algebra上,并在ISSAC 2016上作了报告。第二项工作是我们率先提出运用关键点集,同伦方法和数值投影的思想求解参数多项式系统,进一步提高了算法的效率,相关成果发表在CASC 2016和SYNASC 2016上。..另外,我们还将相关算法应用到含参数程序自动并行化、参数动力系统的稳定性分析、单向量子导引中。相关成果发表在CASC 2015, CASCON 2015, SYNASC 2016,Scientific Report。
项目成果
期刊论文数量(8)
专著数量(2)
科研奖励数量(0)
会议论文数量(12)
专利数量(0)
有效保留模型特征的自适应分层算法
- DOI:--
- 发表时间:2015
- 期刊:计算机应用
- 影响因子:--
- 作者:李文康;陈长波;吴文渊
- 通讯作者:吴文渊
Quantifier elimination by cylindrical algebraic decomposition based on regular chains
基于正则链的圆柱代数分解量词消除
- DOI:10.1016/j.jsc.2015.11.008
- 发表时间:2016-07-01
- 期刊:JOURNAL OF SYMBOLIC COMPUTATION
- 影响因子:0.7
- 作者:Chen, Changbo;Maza, Marc Moreno
- 通讯作者:Maza, Marc Moreno
一种识别关联维数无标度区间的新方法
- DOI:--
- 发表时间:2015
- 期刊:物理学报
- 影响因子:--
- 作者:周双;冯勇;吴文渊
- 通讯作者:吴文渊
一种基于模糊C均值聚类小数据量计算最大Lyapunov指数的新方法
- DOI:--
- 发表时间:2015
- 期刊:物理学报
- 影响因子:--
- 作者:周双;冯勇;吴文渊;汪维华
- 通讯作者:汪维华
太阳高纬和低纬活动现象的混沌与分形特征
- DOI:--
- 发表时间:2015
- 期刊:物理学报
- 影响因子:--
- 作者:周双;冯勇;吴文渊
- 通讯作者:吴文渊
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:{{ item.doi || "--"}}
- 发表时间:{{ item.publish_year || "--" }}
- 期刊:{{ item.journal_name }}
- 影响因子:{{ item.factor || "--"}}
- 作者:{{ item.authors }}
- 通讯作者:{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ patent.updateTime }}
其他文献
基于同态门限密码体制的投票协议
- DOI:--
- 发表时间:2018
- 期刊:计算机应用
- 影响因子:--
- 作者:代小康;陈长波;吴文渊
- 通讯作者:吴文渊
基于分级神经网络的柱形代数分解变元序选择
- DOI:--
- 发表时间:2020
- 期刊:计算机科学
- 影响因子:--
- 作者:朱章鹏;陈长波
- 通讯作者:陈长波
基于机器学习的柱形代数分解变元择序
- DOI:--
- 发表时间:2020
- 期刊:系统科学与数学
- 影响因子:--
- 作者:朱章鹏;陈长波
- 通讯作者:陈长波
基于混合数据结构的实时GPU光线跟踪算法
- DOI:--
- 发表时间:--
- 期刊:计算机仿真
- 影响因子:--
- 作者:谢智歌;熊岳山;陈长波;王彦臻
- 通讯作者:王彦臻
压力对固体氩中杂质钠原子吸收光谱的影响
- DOI:--
- 发表时间:--
- 期刊:中国科学 G 辑 物理学 力学 天文学 34(2)
- 影响因子:--
- 作者:崔田;尹宏伟;马琰铭;陈长波;何文炯;邹广田;韦孟伏;陈长安
- 通讯作者:陈长安
其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:{{ item.doi || "--" }}
- 发表时间:{{ item.publish_year || "--"}}
- 期刊:{{ item.journal_name }}
- 影响因子:{{ item.factor || "--" }}
- 作者:{{ item.authors }}
- 通讯作者:{{ item.author }}

内容获取失败,请点击重试

查看分析示例
此项目为已结题,我已根据课题信息分析并撰写以下内容,帮您拓宽课题思路:
AI项目摘要
AI项目思路
AI技术路线图

请为本次AI项目解读的内容对您的实用性打分
非常不实用
非常实用
1
2
3
4
5
6
7
8
9
10
您认为此功能如何分析更能满足您的需求,请填写您的反馈:
陈长波的其他基金
参数半代数系统的误差可控计算理论与算法
- 批准号:11771421
- 批准年份:2017
- 资助金额:48.0 万元
- 项目类别:面上项目
相似国自然基金
{{ item.name }}
- 批准号:{{ item.ratify_no }}
- 批准年份:{{ item.approval_year }}
- 资助金额:{{ item.support_num }}
- 项目类别:{{ item.project_type }}
相似海外基金
{{
item.name }}
{{ item.translate_name }}
- 批准号:{{ item.ratify_no }}
- 财政年份:{{ item.approval_year }}
- 资助金额:{{ item.support_num }}
- 项目类别:{{ item.project_type }}