基于相似依赖度的属性加权决策树算法

粗糙集分析方法利用数据本身提供的信息,不需要任何先验知识即可对已有的知识进行处理,在保留关键信息的前提下,对数据进行简化并求得属性组合。在此基础上提出了一种基于相似依赖度的属性选择算法,从约简出的属性组合中选择与决策属性最为相似的核集,根据属性的相似依赖度作为决策树的加权值,从而建立决策树。通过对影响学生成绩因素的数据进行分析表明,所提出的算法是易于实施的,而且形成的决策树的准确率也有了一定的提高。     

多带激励语音压缩算法的仿真实现

作者从语音信号的多带激励模型出发，对ＭＢＥ语音压缩算法的原理作了详细的指出了它相对于传统ＬＰＣ等算法的优越性，并在计算机上进行仿真实验，给出了实验结果。作者最后就合成语音的质量，算法复杂度等方面，对ＭＢＥ声码器和部分常用标准语音压缩编码方案作了比较，也指出了今后所要研究的方向。     

北京山区冰雪旅游资源开发

分析京郊冰雪旅游资源因素 ,主要包括气候、水文和地貌等 .论述开发冰雪资源优势 ,体现在区位、客源、技术和经济基础四个方面 .初步探讨资源的主要类型和开发的功能分区 .     

木工压刨床噪声源识别

本文通过对MB10A9型木工压刨床的实验研究,运用现代测试手段和数据处理方法,找出了木工压刨床的噪声源,通过噪声形成机理分析,确定了木工压刨床的声源特性,在此基础上采取了一些降噪措施,并收到了良好的效果。     

压剪复合应力强度因子和混凝土压剪断裂判据

含裂纹构件在压剪荷载作用下,裂纹面将闭合.本文在对裂纹前缘应力场的奇异性分析后,得出裂纹尖端只存在K_Ⅱ的结论.试验研究表明,混凝土在压剪情况下的破坏仍符合库仑-莫尔准则.因此,本文对压剪断裂提出了考虑裂纹面闭合和材料内摩擦双重影响的判据:在起裂时,是纯Ⅱ型扩展;其后是沿裂纹扩展方向剪断;并给出两个判据式.经8组单边裂纹压剪试样的试验验证,结果是令人满意的.     

农业地形气候区划的方法及其应用

本文论述了山区农业地形气候区划的原则,方法、指标和等级单位系统,监以福建省沙溪流域为例作了具体应用。文中介绍的山区农业气候资源空间分布的推算方法能有效地揭示山区农业气候资源的宏观与微观分异规律,从而为山区农业地形气候区划的开展创造了先决条件。     

基于ABAQUS强度折减法分析库水位下降对边坡稳定性影响

三峡水库自运行以来,库水下降成为滑坡复活的一个诱因.本文根据库区水位调度方案,利用ABAQUS软件模拟库水位在175～145m的下降过程,考虑饱和-非饱和渗流场与应力场耦合理论效应,并采用强度折减法分析库水下降对树坪滑坡稳定性的影响.分析结果表明:三峡水库以0.21m/d的速度由175m降至145m时,树坪滑坡前缘会产生一定的变形,滑坡后缘和中部,基本上未产生变形,目前树坪滑坡处于较稳定状态,但在库水反复变动及降雨作用下,可能会面临失稳的危险.其成果将为库区滑坡治理提供一定的理论依据.     

草莓的组织培养研究

采用组织培养方法,快速繁殖草莓,经研究认为最佳诱芽培养基是:MS+6-BA 0.5mg/l+NAA 0.01mg/l,最适宜于接种的处植体为:茎尖>叶柄>叶。而在最佳诱芽培养基 MS+6-BA 0.5mg/l+NAA 0.01mg/l 下能够很好地进行继代增殖。能大量诱根的培养基是 MS 基本培养基和 MS+IBAlmg/l。     

花生种子活力的形成

种子活力形成于种子发育过程．花生种子发育过程中，贮藏蛋白质、蛋白酶和热稳定蛋白与种子活力有密切关系．ＡＢＡ在种子活力形成过程中具有重要的调控作用．     

Formal analysis on an extended security model for database systems

In order to develop highly secure database systems to meet the requirements for class B2, the BLP （Bell-LaPudula） model is extended according to the features of database systems. A method for verifying security model for database systems is pro- posed. According to this method, an analysis by using Coq proof assistant to ensure the correctness and security of the extended model is introduced. Our formal security model has been verified secure. This work demonstrates that our verification method is effective and sufficient.