一次走刀磨削等螺旋角铣刀前后刀面的通用算法

在建立了一次走刀磨削小尺寸等螺旋角铣刀前后刀面的数学模型后，将计算几何的分析与综合概念引入传统的啮合理论中；以累加弦长三次参数样条曲线求解过程的通用算法，满足计算机几何设计的需要     

S_2~1（△_（mn）~（2））插值样条函数的渐近展开

利用二元样条空间Ｓ_２~１（△_（ｍｎ）~（２））的Ｂ样条基，本文讨论了带适当边界条件的中心插值问题，首次获得了非来积型二元样条插值的误差渐近展开．进一步，在边界条件（Ｂ）下，得到了十分简洁的渐近展式和在特殊点上的超收敛结果．     

具有广义参数的高阶有限样条元

将５次Ｂ样条函数和２阶Ｈｅｒｍｉｔｅ函数联合使用，建立了广义参数５次有限条元的位移场函数，算例表明，这种半解析高阶有限样条元不仅保持了普通高阶条元的优点，并且可以将５次条元推广应用于变截面，变刚度等曲率不连续结构中。     

关于缺插值混合对数样条

本文讨论了亏度分别为１和２的混合对数样条的缺插值问题，并给出了问题的解的存在唯一性定理和误差估计。     

地壳变形时空参数动态模型的建立

本文将地壳变形系统看成一时变的线性动态系统，建立了时变位移分析模型，并详细讨论了其参数模型──时空参数动态模型，最终建立起了变形与时间，点位及外界环境因子之间的完整数学模型。在时空参数动态模型的讨论中，采用了Ｂ──样条函数和动态最小二乘法。     

一种分段有理逼近方法

本文给出一种较简捷的分段有理逼近方法，它归结为求解线性方程组，从而避开了一般有理逼近解复杂非线性方程组的冗长过程，使有理逼近方法更具实用性     

三次多项式局域插值样条

给出了曲线的一种图示方法，即用三次多项式局域插值样条来拟合原始数据，讨论了这种拟合的存在性，唯一性及逼近阶。     

利用泰勒公式实现样条曲线的拟合

用泰勒展开式求得分段样条曲线函数，可由用户控制的端点条件，求得通用的拟合算法，并用实例验证了拟合的曲线图形效果。     

广义不确定系统的鲁棒镇定方法

针对范数有界的广义不确定线性系统，得到了广义二次可镇定的充要条件，并设计了相应的鲁棒镇定状态反馈控制律。     

自由曲面检测中点云偏差色斑图的显示

针对基于实体CAD模型的数字化检测过程中可视化偏差表示的效率问题,提出了一种采用K-D树的近似偏差可视化表达方法.与点到自由曲面精确偏差表达不同,首先对待测CAD模型曲面进行指定尺度的离散,形成CAD模型点云数据.然后,利用K-D树的分治搜索策略,使点与面距离计算近似地表达成点与点的距离计算,使算法的运算复杂度由O(N3)降低为O(N2logN),其表达精度达到全局性观测的目的,并在ACISRⅡ与HOOPS800图形平台上通过结点颜色插值实现点云色斑图的显示.最后,以某型号车灯零件为例进行验证,取得了较好的效果.