含有集约束向量极值问题的最优性条件

在序线性拓扑空间里研究了含有集约束向量极值问题的最优性条件,并建立了充分性和必要性条件.     

一类序同态的构造

作者定义了从L_1~X到L_2~Y的映射σ,证明了σ是满足σ(x_λ~0)=σ(λ)∧σ(x_(I_1)~0)的保并映射的充要条件是σ(A)=∨g(λ)∧f(Aλ),其中f为X到L_1~Y的映射,g为L_1到L_2~Y的保并映射,且有f(X)≤g(I_1);最后证明了一类序同态的分解定理,它们是前人相应结果的推广与补充。     

I(L)值完全诱导空间

作者引入 I(L)值完全下半连续映射 ,研究其性质。利用 I(L)值完全下半连续映射定义I(L)值完全诱导空间 ,给出 I(L)值完全诱导空间的拓扑基的表达形式 ,证得两个 I(L)值完全诱导空间的映射是连续映射的充分必要条件 ,并建立了乘积空间的 I(L)值完全诱导空间与 I(L)值完全诱导空间的乘积空间的联系     

城市地下管网信息系统研发实践

参考已建城市管网信息系统的经验，详述了研发的城市地下管网信息系统的重要功能及其实现，提出了城市地下管网系统研发中的关键问题与技术，并讨论了城市地下管网信息系统的发展方向。     

遥感影像数据库设计与实现

遥感影像数据库的设计与实现,主要实现多源遥感影像数据的管理.通过调用GDAL库,实现多源遥感影像数据的读取,对影像数据进行分块,建立影像金字塔,实现影像数据和元数据入库,建立高效的索引机制;根据窗口显示范围,调取合理的金字塔层数据,并对数据进行缓冲和实施处理显示;最后,设计元数据的管理.最终实现影像数据和元数据信息的一体化管理.     

基于XML的数字出版原图元数据格式化展示

本文设计了基于XML的数字出版原图元数据的模型,提出了运用可扩展样式表语言转换（XSLT）技术对数字出版原图元数据内容以不同的展示风格进行形象化表达的方法,阐述了格式化展示的关键技术,并通过具体实例证明了该展示方法的可行性。     

地质空间信息元数据服务模式的实现

地质空间信息元数据为解决地质空间信息的共享提供了有效的手段。从地质空间信息核心元数据的标准着手,介绍了基于分布式结点自治的地质空间信息元数据服务体系的结构,给出了元数据的服务模式的解决方案。其中重点阐述了元数据的管理、发布与服务功能。将该元数据服务模式应用于国家地质空间信息网格平台,提供元数据应用的服务示范,取得了良好的信息共享应用效果。     

探地雷达数据可视化方法

采用文件映射降低大数据量探地雷达(GPR)数据显示对计算机内存的需求,同时使GPR数据可以当作一维数组进行数据处理,方便对数据的随机、实时访问;应用直接写位图、视区分割的成图方案,实现对GPR数据的实时显示;通过位图调色板实现GPR数据调色板,灵活应用该技术可使本来需要对原始数据进行大量运算的算法通过调整调色板实现,提高了GPR数据处理的速度。     

大地测量元数据共享模型

通过对大地测量元数据、数据、数据库进行综合分析,基于UML提出了元数据对数据进行语义表达和动态索引的方法模型,讨论了大地测量元数据的存取模型,在应用层面上对大地测量元数据的服务机制和基于Web的交互流程提出了符合大地测量业务逻辑的交互模型.     

纹理映射失真处理中的LOD技术

纹理映射是计算机图形学中广泛应用的一项重要技术,纹理图像可以描述景物表面各点处的反射属性,模拟景物表面丰富的纹理细节,减少建模的工作量,提高计算机生成图形的真实性.但是由于纹理都为栅格图像,放大和缩小会产生一定程度的失真,所以要对纹理进行细节分层处理.文中主要介绍纹理的重采样和建立金字塔技术,提出减少纹理映射失真的方法.