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

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

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

中国西部大开发战略中的生态环境建设将在西部地区引起显著的地表覆盖变化。根据最新的全球地表特征数据库资料和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遥感专家分类系统模块,探索对试验区主要植被类型进行智能提取的知识库设计与分类组织实施.初步探索结果表明.相对于仅仅基于遥感光谱信息的传统分类方法,由于专家系统技术可以组织多变量参与分类信息提取,并通过专家综合分析进行灵活多变的规则知识库设计,还可根据区域特征与环境资源管理需要对专家分类过程实行反复调试的功能,因此,专家系统技术在自然环境复杂多样的云南山区植被信息提取中具有较为突出的先进性和实用性.对于试验结果,可通过适当的规则修改调整,将有关技术方法应用推广到其它广大山区.     

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

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

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

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

最小度和[a,b」——覆盖图

设 a≤ b是整数,G=(V(G),E(G))是一个图G的一个支撑子图F称为G的一个[a,b]—因子,若对任意的v∈V(G),有a≤d_F,(v)≤b.图G称为是[a,b]—覆盖图,若对G的每一条边,存在G的一个[a,b]）—因子包含它,本文给出了一个图是[a,b]—覆盖图的关于最小度的充分条件,证明了下列结果;设1≤an (a b)-2(bn-1)~(1/2)则G是一个[a,b]—覆盖图.     

邻域并和[A,B]—覆盖图

设ａ≤ｂ是整数，Ｇ＝（Ｖ（Ｇ），Ｅ（Ｇ）是一个图。Ｇ的一个支撑子图Ｆ称为Ｇ的一个［ａ，ｂ］－因子，若对任意的υ∈Ｖ（Ｇ）有ａ≤ｄＦ（υ）≤ｂ，图Ｇ称为是［ａ，ｂ］－覆盖图，若对Ｇ的每一条边，存在Ｇ的一个［ａ，ｂ］－因子包含它。本文给出了一个图的［ａ，ｂ］－覆盖图的关于领域并的充分条件，得到了下列结果：设１≤ａ〈ｂ是整数，Ｇ是一个阶为ｎ的图，最小度δ（Ｇ）≥α且ｎ≥２（ａ＋ｂ）（ａ＋ｂ－１）１／ｂ如