逆向工程中点云数据与CAD数模的配准

提出了一种基于逆向工程的三维测量点云数据与CAD数模配准算法,该算法分两个步骤,即粗配准和精配准。粗配准采用主方向重合法来缩小三维测量点云数据与CAD数模的平移错位和旋转错位;精配准采用四元数法在粗配准的基础上使二者更为精准地重合在一起。该算法已通过VC 代码进行实现,结果表明这种方法能较好地使二者配准。     

四元数矩阵的行列式的复表示及应用

研究了四元数矩阵的Hadamard定理的推广及改进问题,并给出了若干新的结果.     

数系的扩展

为满足人类社会生活的需要,完善数学内部结构,伴随着人类认识水平的提高,人类对数的认识经历了一个从自然数到整数、整数到有理数、有理数到实数、实数到复数、复数到四元数的扩展过程.     

环上矩阵广义逆的协变性

本给出了一类满足广义逆协变性条件的可逆矩阵集合与常见的可逆矩阵集合之间的关系，推广了复数域，四元为数体上矩阵广义逆协变性的相应结果。     

论四元数体上广义埃尔米特矩阵的标准形

在四元数与四元数向量、矩阵空间上引入三种不同的实数表示方式,将四元数之间及四元数向量与矩阵之间的运算化为实数域上向量与矩阵之间的运算,得到的计算结果可准确转换成四元数与四元数向量和矩阵,克服四元数之间因乘积不可交换而造成的运算困难,通过代数构造的方法把数域上的对称矩阵化标准形的方法类似地推广到四元数体上广义埃尔米特矩阵化标准形的方法.     

四元数射影空间中的全实2 调和伪脐子流形

利用活动标架法研究四元数射影空间中的全实2 调和伪脐子流形, 得到了这类子流形成为极小子流形的刚性定理, 推广了Simons型积分不等式.     

高动态飞行器姿态解算及三维视景仿真研究

建立了高动态飞行器姿态解算的数学模型,探讨了利用等效旋转矢量法解算姿态角的方法,并与四元数法进行了比较。建立了飞行器、地形、地物的三维模型,利用计算出来的数据进行飞行器的实时三维视景仿真模拟。三维视景仿真对直接观察、验证高动态飞行器的运动变化规律提供了极大的便利。     

四元数矩阵方程AXB+CXD=E的M自共轭解

把实数域上的M对称矩阵的概念推广到四元数体上,形成M自共轭矩阵,然后在四元数体上讨论矩阵方程AXB+CXD=E的M自共轭解及其最佳逼近问题.利用四元数矩阵的实分解和复分解,以及M自共轭矩阵的特征结构,借助Kronecker积把约束四元数矩阵方程转化为实数域上的无约束方程,克服了四元数乘法非交换运算的困难,并得到该方程具有M自共轭解的充要条件及其通解表达式.同时在解集非空的条件下,运用矩阵的分块技术及矩阵的拉直算子,获得与预先给定的四元数矩阵有极小Frobenius范数的最佳逼近解.由于M自共轭矩阵是四元数自共轭矩阵的推广,因此所得结果拓展了该方程的结构解类型.     

四元数体上自共轭矩阵的特征多项式

根据文[3]给出的四元数体Q上行列式的定义，直接定义了Q上自共轭矩阵的特征多项式并证明了相应的Gayley-Hamilton定理仍然成立。