PnP问题解的几何分布及其数学机械化方法
批准号:
61075037
项目类别:
面上项目
资助金额:
36.0 万元
负责人:
汤建良
依托单位:
学科分类:
系统工程理论与技术
结题年份:
2013
批准年份:
2010
项目状态:
已结题
项目参与者:
张娜、李工农、顾燕红、王保华、马文鹏、符德林、王培建、王贺芝
中文摘要
PnP问题是计算机视觉界的重要问题,数学机械化证明是数学领域的重要方法。数学机械化方法已经应用到许多工程问题研究领域,例如:密码学研究、高档数控系统问题研究研究等。基于数学机械化证明方法在PnP问题研究中有着非常重要的应用。PnP问题研究包括P3P问题、P4P问题和P5P问题,本项目拟从以下几个方面对这些问题展开研究:1)P3P问题解数的充要条件只是给出了它的代数表达式,本项目从几何角度给这个代数分类给出合理解释,以及代数和几何之间的联系、P3P问题具有4个解的几何条件、唯一解分布等具体问题的探索;2)P4P问题仅有具有5个解的几何构型已经给出,那么能否给出对于2、3、4个解的情况的仅有几何构型;3)系统地对P4P问题的求解算法的误差估计和鲁棒性问题展开研究。
英文摘要
PnP 问题是计算机视觉界的重要问题,数学机械化方法是数学领域的重要方法,已经应用到许多工程问题研究领域。PnP 问题研究包括P3P 问题、P4P 问题和P5P 问题,本项目从以下几个方面对这些问题展开了研究并获得了一些重要结果:.1)关于P3P问题几何解分类理论研究;.2)关于P4P问题解的几何分布;.3)关于P4P问题解的误差估计和鲁棒性研究。
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
登录
查看更多内容
COMPETING POPULATION MODEL WITH NONLINEAR INTRASPECIFIC REGULATION AND MATURATION DELAYS
具有非线性种内调节和成熟延迟的竞争群体模型
DOI:
10.1142/s1793524512600078
发表时间:
2012-05
期刊:
International Journal of Biomathematics
影响因子:
2.2
作者:
[Liu, Shengqiang, Xie, Xizhuang, Tang, Jianliang]
通讯作者:
Tang, Jianliang
A support vector machine based MSM model for financial short-term volatility forecasting
基于支持向量机的金融短期波动预测MSM模型
DOI:
10.1007/s00521-011-0742-z
发表时间:
2011
期刊:
Neural Computing & Applications
影响因子:
--
作者:
[Baohua Wang(博士生), Hejiao Huang, Xiaolong Wang]
通讯作者:
Xiaolong Wang
A novel text mining approach to financial time series forecasting
一种新颖的文本挖掘金融时间序列预测方法
DOI:
10.1016/j.neucom.2011.12.013
发表时间:
2012-04-15
期刊:
NEUROCOMPUTING
影响因子:
6
作者:
[Wang, Baohua, Huang, Hejiao, Wang, Xiaolong]
通讯作者:
Wang, Xiaolong
SVEIR EPIDEMIOLOGICAL MODEL WITH VARYING INFECTIVITY AND DISTRIBUTED DELAYS
具有不同传染性和分布式延迟的 Sveir 流行病学模型
DOI:
10.3934/mbe.2011.8.875
发表时间:
2011-07-01
期刊:
MATHEMATICAL BIOSCIENCES AND ENGINEERING
影响因子:
2.6
作者:
[Wang, Jinliang, Huang, Gang, Liu, Shengqiang]
通讯作者:
Liu, Shengqiang
摄像机位置估计及其数学机械化计算
-
批准号:60603028
-
项目类别:青年科学基金项目
-
资助金额:25.0万元
-
批准年份:2006
-
负责人:汤建良
-
依托单位:
透视n点问题的数学机械化算法
-
批准号:10526031
-
项目类别:数学天元基金项目
-
资助金额:3.0万元
-
批准年份:2005
-
负责人:汤建良
-
依托单位:
国内基金
海外基金