基于三维激光扫描技术的城市三维建模方法

本文以拓普康GLS1500扫描仪作为实验设备,以建筑物建模为例,从数据采集、点云处理、三维模型建立和纹理映射等方面探讨了利用三维激光扫描技术进行城市三维建模的方法。     

时滞反应扩散方程周期解的存在性

利用周期上、下解方法及Schauder不动点理论研究了一类反应项非单调的时滞反应扩散方程,构造了非单调反应项的上、下控制函数,并证明了所构造的函数满足Lipschitz条件及单调性,克服了反应项非单调无法利用上、下解方法的局限性,为讨论反应项非单调的微分方程提供了一种有效的方法,并获得了此系统边值问题周期解存在性的充分条件.     

一类一阶椭圆型方程组的Schauder估计

考察在两维平面上,当边界并非光滑的情况下,一类一阶椭圆型方程组的边值问题.采取了Schauder估计的方法,选取一种加权的Hlder范数,通过将一阶椭圆组化为二阶的形式,利用二阶椭圆方程相关结果,得到了方程组的正则性和Fredholm型可解性结果.     

H-空间内的广义拟变分不等式

应用不动点和连续选择技巧,作者在局部Ｈ凸空间和Ｈ空间内证明了抽象广义拟变分不等式解的几个存在性定理．这些定理改进和推广了最近文献中某些已知结果     

融合插点和跳跃点改进A*算法的路径规划

为了解决传统A*算法在路径规划中存在的一些问题,提出了一种融合插值点跳跃搜索路径算法来改进A*算法。在对栅格环境图中具有特殊意义的多组数据进行预处理后,通过起始点和目标点确定目标函数,并搜索出一条最优路径。利用MATLAB软件平台对8组规格不同的环境图进行了路径规划仿真。实验结果表明,改进后的算法可以减少计算时间、搜索节点数量、内存占用和搜索路径长度。可见改进后的算法在搜寻最佳路径方面的效率更高。     

广义向量平衡问题的一个存在性定理

介绍集值映射下的广义向量平衡问题,并且利用不动点定理,在没有单调条件下,我们证明了广义向量平衡问题的一个存在性定理.     

基于内容特征的碎片拟合算法研究

针对碎片拟合过程中存在大量由碎纸机形成的相似、相近甚至相同的碎片边缘,再好的边缘拟合算法也难以正确选择唯一候选碎片边缘的问题。提出了基于碎片中文字、图、表等内容信息在碎片边缘留下的内容特征,判定与目标碎片匹配候选碎片的思路。界定了特征点、特征向量等碎片内容特征的概念,给出特征点、特征向量的提取算法以及基于内容的碎片拟合算法。实验结果表明该算法正确、有效,为计算机自动合成碎片奠定了基础。     

用计算程序求点群投影算符的通用方法

假设G是一个h级的分子点群和群元g_1,g_2…g_h,作用在由基本矢量x_1,x_2…x_h,组成的X空间的矩阵表示是正规表示,我们构成一个与所有群元均对易的矩阵A并对A求解本征方程,可使正规表示向不可约表示完全约化,得到G的所有不可约表示的投影算符,它是用群表示理论简化分子体系有关计算的一项基础工作,也是借助于计算机辅助设计解决群论中困难而复杂问题的一个例子。     

两参数鞅的停止定理

本文给出了强停点的一个等价定义,得出了两参数鞅关于强停点的停止定理。     

非扩张映射的不动点定理

本文研究了赋范空间中非扩张和严格非扩张映射不动点的存在性。