PnP问题解的几何分布及其数学机械化方法

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问题解的误差估计和鲁棒性研究。