一类特殊的LF-网空间

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

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

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

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.     

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

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

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

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

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

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

最小度和[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]—覆盖图

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

覆盖平面上给定点集的最小凸多边形的算法

研究求覆盖平面上给定的若干个点的最小凸多边形的算法．给出了两种算法，讨论了算法的基本思想，描述了算法步骤，得出了算法的时间复杂度．结果表明，算法的平均计算时间复杂度为平面上给定点的数量的线性函数，即为Ο（ｎｍ），在最坏情况下可为Ο（ｍ２）     

矿用牙轮钻头原理图生成的数学模型

根据矿用牙轮钻头的布齿原则，利用坐标变换的方法，建立了其生成原理图的数学模型，并开发了相应的ＣＡＤ软件．该软件还可进行覆盖系数分析，提供优化布齿的依据