基于立体视觉的三维曲面测量关键技术研究

利用立体视觉测量曲面有三个难点一是摄像机标定,建立图像点与空间点的映射关系;二是立体匹配,在左右图像上寻找对应点;三是测量大型物体时,需要拼接图像.首先根据人眼感知事物的原理,利用神经网络拟合图像点与空间点的映射关系,避开直接对摄像机标定;接着以光栅投影曲线为特征,利用小波边缘检测和搜索式无监督聚类,结合视觉几何不变性,实现亚像素级的立体精匹配;最后采用小波多尺度多非分辨率的特性,拼接图像,融合数据,实现曲面全方位测量,且测量精度在0.5mm/m以内.     

关于可数紧空间上对应的不变集

证明了Ａ１可数紧Ｔ２空间Ｘ上的上半连续闭值对应存在不变可数紧子集，Ｔ１可数紧空间Ｘ上的上半连续闭集对应存在不变可数紧子集     

数学分析中一些问题的概率方法

解数学分析中一些问题的概率方法被引入了，利用这种方法讨论了级数求和问题和积分不等式问题。     

大型古文物真三维数字化方法

古文物数字化保护已经成为关系全球的社会化问题。提出了一种以三维激光扫描技术和CCD摄像技术为主要数据获取手段的真三维、真尺寸、真纹理的古文物数字化工程方法。首先，对三维数据进行去除噪声和补洞等预处理；接着，利用一种改进的ICP算法，实现渐进式多视点三维数据配准；最后，由体绘制方法将所有视点的三维数据整合成连贯的完整的三维网格，并给出纹理映射方法，建立真三维、真纹理的古文物数字化模型。提出的方法已经在云冈石窟和古建数字化工程的实践中得到了充分验证。     

采用光学成像法的航空稳定平台振动幅度检测

针对专用航空稳定平台振动检测设备成本高、难以在高光谱成像系统平台上集成应用等问题,提出了采用光学成像法的平台振动检测方法。将面阵CCD传感器与线阵高光谱传感器呈刚性紧密安装在航空稳定平台上进行影像数据的获取,并对获取的影像序列进行简化SIFT特征提取和分层金字塔实施的光流特征跟踪。考虑到振动对光谱成像等的影响,将振动分解在沿飞行方向和垂直于飞行方向2个方向上,并根据帧间相对运动模型解算出相对运动向量,然后由单次简谐振动造成的帧间特征不匹配,推导振动过程中振幅解算模型,并根据帧间运动矢量进行振幅的解算。实验结果表明,基于光学成像法进行振动检测可以达到微米级精度,满足系统集成应用需求,且其成本仅为多普勒振动测量方法的十几分之一。     

几何造型中不同目标函数特点研究

曲线的长度最短、能量最小和曲率变化最小等目标函数被广泛应用在曲线曲面造型中。以插值三次样条为例，讨论了这些目标函数产生的曲线的形状、与型值多边形的逼近程度、拐点个数等方面的特点，还对这几种目标函数与它们的近似函数进行了比较。最后讨论了这些目标函数在导矢估计中的应用，通过实例说明曲率变化最小曲线及其近似曲线用于局部估计型值点切线方向时逼近较好。     

太原东山过境高速公路南坪头中桥加宽设计

针对太原东山过境高速公路改扩建工程南坪头中桥的现状特点，介绍了本桥的上部结构、桥墩、桥台加宽方案的选择和设计方法。     

基于正态误差的纵向数据模型的Bayes诊断

本文对线性和非线性纵向数据模型进行Bayes统计诊断,其中包括对数据删除模型（CDM）和均值漂移模型（MOSM）诊断.当MSOM中的漂移参数服从无信息先验（不管其余参数服从何种先验分布）,且回归参数的最大后验估计（MBE）在各个模型中存在唯一时,CDM与MSOM中回归参数的MBE等价,但是方差参数的MBE不等价;当MSOM中的漂移参数服从共轭先验时,CDM与MSOM所有参数的MBE一般均不等价.然后通过一组实际数据说明了对纵向数据模型的Bayes诊断的应用.     

关于Menger-PN空间的收敛性分离性与算子空间的完备性

讨论了Ｍｅｎｇｅｒ－ＰＮ空间中ｔ－模强弱变化与空间性态的关系,从而推广了关于其算子空间完备性的已有结果。