基于DEM电子地图的三维量算模型

针对普通电子地图中很难对地图要素进行三维量测的问题，提出了基于DEM的电子地图的概念。它实现了三维的DEM和二维的电子地图的垂直集成。两者优势互补，不仅极大地提高了电子地图的空间表现能力和量算水平，还大大地扩展了对DEM的应用潜力。探讨了用格网DEM与电子地图的集成方法，重点探讨了在基于格网DEM的电子地图上进行三维量算的数学模型。     

Banach空间的双线性连续映射及其张量积

设E,E′,E″与F,F′,F″是Banach空间(以下简称B空间),φ:E×E′→E″与ψ:F×F′→F″是双线性连续映射。本文通过一系列命题证明了由φ与ψ可以唯一地决定一个双线性连续映射ω:(E_vF)×(E′_vF′)→E″_vF″,其中v是Cross范数,F′_vF′,E_vF与E″_vF″分别是在v下E′_vF′,E_vF与E″_vF″的完备化。     

微处理器测试图形采集程序自动编程系统的设计

提出了微处理器ＭＰ测试图形采集程序自动编程系统的一种设计方案，系统在读入测试开发人员对ＭＰ的描述后，能自动建立ＭＰ的抽象模型并产生直接在Ｓ－１０测试仪上运行的ＦＡＣＴＯＲ语言ＭＰ测试图形采集程序．     

一种基于多线性映射的高效公钥广播加密方案

针对目前广播加密用户大小子集同时存在的情况,构造了一种高效的广播加密方案。在BWZ14方案的基础上,通过引入撤销用户集合、共享广播加密的部分密文信息,提高了广播加密在同时向大小用户集合发送信息的效率。新方案密文与用户私钥长度均为常数,公钥长度仅为O(lgN)。新方案同时满足标准模型下的选择明文安全性与抗合谋特性。实验结果表明,新方案安全高效,可广泛应用于实际通信中。     

集值映射平衡点集的本质连通区及其应用

用统一的本质连通区的存在性定理重新推导出了集值映射平衡点集的本质连通区的存在性,并给出一个在不动点集中的应用。     

虚拟现实场景中提取2D导航地图的方法研究

虚拟现实技术向我们展示多姿多彩的景象，并且成为人机交互的趋势。由于Internet的普及，许多虚拟场景可以从网上直接免费获取；但是，在利用这些共享资源搭建自己的虚拟世界过程有这样一个问题：如何得到虚拟场景所对应的平面导航图。这种导航图是控制漫游路线的基础数据，但也是共享资源所欠缺的。本文提出模拟操纵法，通过模拟用户在虚拟场景漫游来获取路径数据，进而形成有效的平面导航图．     

指数调和映照的能量增长性质

讨论了一类指数调和映照的能量增长性质,利用黎曼几何中Hessi an比较定理和Lapl ace比较定理得到了能量增长的特殊估计。     

具有平行平均曲率向量场的三维子流形的2－调和等距浸入

设ｆ：Ｍ３→Ｆ３＋ｐ（ｃ）（ｃ≥０，ｐ＞１）是三维Ｒｉｅｍａｎｎ流形到３＋Ｐ维常截面曲率Ｃ的空间形式的２－调和等距浸入，且ｆ具有平行平均曲率向量。本文利用三维Ｒｉｅｍｅｎｎ流形的曲率特性，讨论ｆ为极小浸入的充分条件。     

W-空间上自映射族的唯一公共不动点

 首先引进一个新的空间,然后在该空间上讨论了具有反交换的映射族的唯一公共不动点的存在问题.所得结论推广和改进了一些相应结果.     

地质AutoCAD图件转换成MAPGIS图件的可行性研究

针对作为国土资源部门在资料汇交时要求提交利用MAPGIS软件编制的图件,虽然该软件的功能强大,但在图件的编辑上远不如AutoCAD软件方便快捷;同时,目前还有大量以AutoCAD格式存储的地质图件,需重新绘制成MAPGIS图件,浪费了大量的人力物力等问题。开展了将地质AutoCAD图件转换成MAPGIS图件的研究工作,研究发现地质AutoCAD图件不仅能够转换成MAPGIS图件,并且能够加快绘图速度,提高工作效率,具有较好实用价值。