UML 2.0通信图的一种测试用例生成方法

提出了一种UML2.0通信图生成测试用例的方法.首先根据通信图构建一棵通信树,利用后序遍历了所构造的树,从通信图中选择条件断言,然后转换条件断言并通过求解函数最小值的方法来生成测试用例.该测试用例满足消息路径覆盖和边界覆盖.     

中国产蕗蕨属(膜蕨科)的分类学修订

基于大量植物标本的研究,对中国产蕗蕨属植物进行了分类修订,认为中国产的蕗蕨属植物为17种并给出了各个种的形态描述,地理分布及分种检索表.     

四阶非线性奇异边值问题正解的存在性

本文研究奇异的四阶边值问题正解的存在性，借助于锥上的一个不动点定理，得到问题正解的存在性结果。     

可信软件系统中基于模糊集理论的信任推理模型研究

通过分析可信软件系统的信任变化特性，引入母体参数和基本参数，在保证转移矩阵随机性的前提下，利用模糊推理的方法模拟了可信软件系统中信誉的变化情况．实验表明：利用模糊非齐次马尔可夫系统管理软件系统的信誉方法是切实有效的．     

鄂尔多斯北部地下水动态特征及其成因模式

鄂尔多斯盆深部煤层开采导致地下水流场系统生变化,并诱发严重生态环境问题.以鄂尔多斯北部某矿为例,采用遥感与统计分析方法获得地下水位动态变化与和地下水流场特征,并从沉积环境、地质构造及采动模拟分析了其控制因素,结果表明:白垩系地下水动态受大气降水和蒸发影响大而煤层顶板疏放水影响小,但采后其发生变化显著,反映了采动产生垂向裂隙带不仅破坏含水层间的隔水层,且延伸至白垩系含水层内部,使得整个含水层系统地下水流由水平方向转为垂向方向,表征了地下水流动系统演化过程,为深井地下水合理疏放与生态环境保护提供了参考依据.     

动态非光滑Nash协商解必要条件的研究

本文利用非光滑分析理论，采用公理化方法研究了非光滑情形下的动态协商对策问题，给出其Ｎａｓｈ协商解的必要条件，并给予了严格的数学证明．     

A Capital Investment Appraisal Model Based Cognitive Influence Diagrams

ＡＣａｐｉｔａｌＩｎｖｅｓｔｍｅｎｔＡｐｐｒａｉｓａｌＭｏｄｅｌＢａｓｅｄＣｏｇｎｉｔｉｖｅＩｎｆｌｕｅｎｃｅＤｉａｇｒａｍｓＬＩＵＪｉｎｌａｎ；ＨＡＮＷｅｎｘｉｕ；ＬＩＧｕａｎｇｑｕａｎ（ＴｉａｎｊｉｎＵｎｉｖｅｒｓｉｔｙ，３０００７２，Ｃｈｉｎａ...     

动态多人递阶决策问题——结构,非光滑性及必要条件

利用非光滑分析、集值映射和微分包含理论，分析了动态递阶决策问题的结构、性质，给出了解决这类问题的一个通用性结构化模型，并利用这一模型在非凸非光滑条件下导出了最优策略存在的必要条件     

超球体支持向量机的不完全二叉树多类分类算法

针对现有的支持向量机多类分类方法的不足之处,提出了一种基于超球体支持向量机的不完全二叉树多类分类算法。该算法首先采用超球体SVM算法,计算各类样本群的分布范围。再利用距离公式,计算各类样本间的距离,基于将最容易分离出来的类最先分割出来的原则,设计二叉树结构,从而提高分类精度。通过仿真实验,分析比较各种方法的性能,从而验证了该算法的有效性。     

低能N+注入凤仙花的变异检测

以低能N 注入凤仙花(Impatiens balsaminaL)种子后获得了高茎、矮茎2个变异品系.对其进行过氧化物同工酶(POD)检测的结果表明,2个变异品系叶片的POD分子大小、表达强度和条带数目与对照相比都发生了一定变化.随机扩增多态性DNA(random amplified polymorphic DNA,RAPD)分析结果也表明变异品系DNA链的脱氧核苷酸序列发生了变异,从25个随机引物中筛选出了9个具有多态性.实验证明适当剂量的低能N 注入能够在基因水平引起凤仙花的变异,为花卉产业的发展提供了一种遗传育种手段.