关于曲面的高斯像的一个定理

可展曲面是直纹曲面的一种类型,可展曲面就是沿每一条直母线只有一个切平面.通过几何分析方法,讨论了直纹曲面,给出了直纹曲面是可展曲面的一个充分且必要条件.得到直纹曲面是可展曲面,其充要条件是：曲面S的Gauss映射像是一条曲线.并给出这个定理应用的例子.     

高效数字化测图方法——拼音简码法

拼音简码法是编码测图的一个分支,是在外业采集细部点时,采用点名拼音简码形式快速记录点位的信息属性,单位时间测绘效率是全野外采点绘制草图法的1．5倍。介绍了拼音简码法的操作方法,并与传统誊集方法做了比较。     

中立型时滞微分方程非振动解的存在性与迭代逼近

讨论下列高阶中立型时滞微分方程dndtn[x(t)+cx(t-τ)]+∑n-1(-1)n-i+1 didtihi(t,x(σ1(t)),x(σ2(t)),…,x(σk(t)))+(-1)n+1 f(t,x(τ1(t)),x(τ2(t)),…,x(τk(t)))=g(t),t≥t0.利用压缩映象原理,得到上述方程非振动解存在性的充分条件,并给出收敛于该方程非振动解的一个Mann-型迭代逼近序列,最后进行相应的误差估计.     

基于概念匹配的本体映射算法

本体映射是解决本体异构的通用方法.根据边的类型、顶点深度、边的密度和强度以及边关联的两顶点的属性计算有向边的权重.选择最优路径构建对应本体有向层次图的无向生成树,分别定义其Laplace矩阵,并通过分析该矩阵的特征值及特征向量来构造匹配矩阵.最后根据匹配矩阵元素的大小和位置信息来实现顶点匹配,并由此生成本体映射.实验表明该方法是有效的.     

Hilbert空间中严格伪压缩映射下迭代的收敛性问题

在Hilbert空间中,均衡问题和不动点问题的迭代解成为研究的热点。Hilbert空间具有优良的特性,本文在S.Al-Homidan,Q.H.Ansari等人关于Hilbert空间均衡问题与不动点问题研究的基础上,构造一个关于均衡问题和不动点问题的迭代,讨论了该迭代在Hilbert空间中严格伪压缩映射下的弱收敛性问题,并给出其强收敛的充分必要条件。     

基于数列变换优化的灰色系统模型

提出了一种可对含负项数列建立灰色系统模型的变换方法,并利用Matlab对变换参数进行优化。针对变换函数的特点提出了一种简化变换参数优化的方法,使二维优化问题简化为一维优化,可显著减小优化计算量,同时可获得较高的模型精度,这样就可在处理含负项数列的同时获得较高的模型精度,拓展了GM模型的应用范围。具体算例验证了所提建模方法的有效性。     

在机检测中STL格式自然二次曲面特征参数的提取

根据工件的几何特征及其参数进行测量轨迹规划是在机检测系统中重要的环节之一.为了从STL(stereo lithographic)文件中提取出其所描述的工件模型的几何特征及参数,给出了一种针对其数据文件格式特点的自然二次曲面特征参数提取新方法.该方法首先根据三角面片法向量在高斯球面的映射图像判定自然二次曲面几何特征,然后将快速聚类法和Gauss-Newton法相结合,对STL文件中坐标点进行几何特征参数的计算.计算实例表明,该算法能够稳定、准确地提取出自然二次曲面的几何特征参数.     

一种能量高效的无线传感器网络等值线监测技术

针对无线传感器网络环境监测应用中的能量受限问题,提出一种基于Bezier曲线的无线传感器网络等值线监测方法——SENS-T.利用等值线来表示环境监测值的分布信息,即将等值线划分为若干Bezier曲线段,每条曲线段的信息由一个代表节点负责传回汇聚中心,汇聚中心再根据网络节点坐标与接收的曲线信息进行等值线还原.汇聚节点的数量由划分的Bezier曲线段的段数决定,从而改良了传统方法中等值线上所有节点都要进行汇聚的做法.仿真表明,SENS-T可有效节省网络能量和带宽,与传统等值线监测方案相比,在达到相同等值线绘制精度的同时,可节省约45%的网络能量.     

基于Tent映射的混沌粒子群优化算法

针对粒子群算法在迭代后期易陷入局部最优的不足,采用Tent映射所产生的混沌序列在粒子个体最优点和全局最优点附近进行混沌搜索,利用混沌搜索的全局遍历性和随机性提高了粒子群优化算法的全局搜索能力和抗早熟收敛性能。几个典型测试函数的仿真结果证明了该算法的可行性。     

一类非线性抛物方程初值问题整体解的存在唯一性

利用压缩映射原理和解的延拓定理证明一类非线性抛物方程初值问题的整体广义解和整体古典解的存在唯一性.