一类特殊的LF-网空间

本文研究了LF-网空间和它的几个子空间类,考虑了LF-k-网空间与几类广义度量化空间的关系,并且给出了LF-k-网空间的一个等价条件.     

LF-拓扑空间的拟Lindel(o)f性

在LF-拓扑空间中引入了拟Lindel(o)f的概念.给出了拟Lindel(o)f空间的几个等价刻画,并利用这些刻画证明了拟Lindel(o)f空间是一个L-好的推广.同时在LF-半正则空间中得到了拟Lindel(o)f空间与Lindel(o)f空间是等价的.     

多值依赖无分裂覆盖问题的研究

基于函数依赖规范化理论及多值依赖基本概念，给出了多值依赖的分裂、无分裂多值依赖集等定义，提出了满足无分裂多值依赖集的良好特性，以及无分裂多值依赖集的判定算法，并且提出分裂多值依赖集存在无分裂覆盖满足的条件及其算法．这对于多值依赖集化简、规范化设计和无环数据库设计提供了理论基础．     

中国西部绿化对东亚季风气候影响的数值模拟

中国西部大开发战略中的生态环境建设将在西部地区引起显著的地表覆盖变化。根据最新的全球地表特征数据库资料和21世纪初中国西部生态环境三大重点建设工程的具体规划，得出两种植被，即现实植被和虚拟植被。并利用RIEMS—TEA模式，通过一次敏感性试验，发现西部地区绿化明显影响东亚的季风系统和中国东部季风区气候。模拟试验显示，中国西部绿化会明显增强东亚夏季风，这将会加强中国东部由南向北的水汽输送，并有利于输送邻近海洋的水汽到大陆，使得中国大陆东部季风区整体出现降温、增湿和降水增加。而且，温度、湿度、气压和风速受影响的程度在垂直方向上都已超出了边界层之外。     

Contributions of different land cover types in Otindag Sandy Land and Bashang area of Hebei Province to the material source of sand stormy weather in Beijing

Different land cover types in Otindag Sandy Land and Bashang area of Hebei Province are linked to a material source of sand stormy weather in Beijing based on results of field vegetation and soil survey and laboratory works. Results of grain size analysis show that dust release potential in per unit area of moving sandy land is small,while lowland meadow and meadow steppe in stony hills have high potential of releasing dusts in per unit area during sand stormy weather occurrence. Further considering the effects of vegetation, it is inferred that the moving sandy land served as a material source of past dust storm and the possibility of dust release in per unit area is low in current time.Typical steppe in stony hills is undergoing desertification and its dust release possibility in per unit area is high. Farmland has strong potential of release dusts when they are ploughed in spring, but a large amount of therophytes grow and thus prevent dusts from release when cultivation was terminated.Potentials of dust release in per unit area in fixed sand dunes,stony mountain meadow steppe and low land meadow are lowdue to high cover of perennials. Sand dune reactivation and desiccation of lakes and lowlands under estimated future climatic change will make them serve as a future material source of sand stormy weather.     

有关李群局部生成定理的运用与研究

本由李群局部生成定理出发得出了一些结论，并对李群结构性质作了相关讨论。     

基于狭缝图像的三维虚拟漫游

基于狭缝图像的四维光场模型,设计并实现了一个完整的三维虚拟场景漫游平台系统。使用四叉树结构对场景进行组织,实现了对三维场景的自适应非均匀采样,提高了采样的效率;采用临近点插补方法,解决了重采样中出现的图像空洞;通过对漫游时的内存管理、路径预测和碰撞检测处理,提高了漫游的稳定性与连贯性;对漫游速度做了测量,对绘制图像的质量做了比较。     

遥感专家分类系统在滇西北植被信息提取中的应用试验研究

 选取滇西北香格里拉县的大中甸乡作为试验区,基于GPS定位调查对试验区典型覆盖地物的遥感多光谱信息进行测定与分析理解,集成GIS功能进行地形模型的变量处理,利用ERDASIMAGINE遥感专家分类系统模块,探索对试验区主要植被类型进行智能提取的知识库设计与分类组织实施.初步探索结果表明.相对于仅仅基于遥感光谱信息的传统分类方法,由于专家系统技术可以组织多变量参与分类信息提取,并通过专家综合分析进行灵活多变的规则知识库设计,还可根据区域特征与环境资源管理需要对专家分类过程实行反复调试的功能,因此,专家系统技术在自然环境复杂多样的云南山区植被信息提取中具有较为突出的先进性和实用性.对于试验结果,可通过适当的规则修改调整,将有关技术方法应用推广到其它广大山区.     

基于活动对象的面向对象测试策略研究

提出基于活动对象的面向对象测试策略，给出三种覆盖标准，用以处理由面向对象新特性带来的问题。其中，所有定义-使用对覆盖标准主要用于指导测试设计者设计验证对象生存期的动态行为的测试用例；所有绑定覆盖标准主要用于解决继承和多态问题，以及执行了哪个绑定；所有交互覆盖标准主要用于解决方法间的数据共享问题。     

用变分法计算介质覆盖微带线的特征阻抗和有效介电常数

本文介绍了采用变分法计算介质覆盖微带线的特性阻抗和有效介电常数的方法．计算结果与文献中的实测值一致．