双曲空间H_n(-1)中k-n型Neuberg-Pedoe不等式

应用距离几何理论与方法,研究双曲空间H_n(-1)中关于n维单形的几何不等式问题,建立了双曲空间中涉及两个n维单形体积与其k维子单形k维体积的k-n型Neuberg-Pedoe不等式与P.Chiakuei不等式,并给出它的一些应用.     

深部逆断层圆弧形断面诱发煤岩动力灾害的力学分析

为了探索逆断层附近易于发生煤岩动力灾害的力学机制,构建了由构造应力为主导的圆弧形断层面简化力学模型,得到了构造应力以及由其引起附加垂直应力的分布规律,进而建立了断层上盘逆冲滑动临界角度的数学模型。研究表明:水平构造应力与附加垂直应力随着断层倾角的增大而增大,当断层倾角接近90°时,附加垂直应力突然增大且其值数倍高于水平构造应力;基于逆断层滑动的力学分析,理论计算了煤层沿断层逆冲滑动的临界角度,这将对煤岩动力灾害的危险性预测有一定的参考意义。     

一种新型磁盘阵列结构探讨

为提高磁盘阵列的可靠性,该文提出采用扩展海明码构造阵列的存储数据,形成一种可靠磁盘阵列——RAID7.充分利用磁盘的ECC检错指示和扩展海明码的纠1检2能力实现RAID7的容错功能,可有效地提高磁盘阵列的数据有效性和系统可靠性。     

节流孔口径对流体诸变量影响的数值解析

对液流通过节流孔的过渡过程进行了数值解析计算。研究了节流孔半径对平均轴速分量ωm、惯性长I、收缩部等效长度δ、流量qs 、再附着点距离Zais和时间常数τq、τz等的影响。对ωm、I、δ、τq和τz给出简单易算并相当精确的计算式,作出了节流孔半径与ωm、I、δ、qs、Zais、τq和τz间的关系图。     

鸡体腹脂的遗传、选择方法和效果的研究进展

腹脂是鸡体蓄积脂肪的主要部位,肉用仔鸡的腹脂重和体重呈中等以上的表型相关和遗传相关,低向选择腹脂对肉用仔鸡的体重,生长速度及肉质不会产生明显影响。多项研究表明;血浆ＶＬＤＬ浓度对肉用仔鸡体腹脂进行间接选择是目前认为从遗传选择上控制鸡体脂肪沉只的既经济又现实可行的方法 。     

区间向量的数值线性相关性

引入了区间向量的线性相关性概念以及数值线性相关性概念,讨论了他们的一些性质,用我计算说明了区间向量数值线性相关程度的判断方法,为进一步研究区间矩阵的病态程度提供了依据。     

多碱光电阴极单色光电流测试技术研究

多碱光电阴极的单色光电流实质上反映的是其在该单色光照射下的量子产额。该文阐述了单色光电流的测试原理和影响量子产额的因素,介绍了多碱光电阴极多信息量测试系统,该系统可在多碱光电阴极制备过程中在线测试、处理阴极的单色光电流,测得的曲线有助于分析和指导工艺,从中还可得到光电子逸出深度的信息。该文给出并分析了在该系统应用于玻璃阴极实验管制备过程中的测试结果。     

基于形式规约的软件测试用例自动生成技术研究

在Hierons提出的一种基于Z语言软件自动测试方法的基础上进行了拓展．该方法基于软件的Z语言规约;以HierOns提出的推理规则为基础,提出了分裂树的算法,将操作模式的约束条件转换为形如ViPi∧Qi的析取范式;然后根据析取范式将Z语言描述的操作模式划分为子操作模式;依据子操作模式的前置条件和后置条件,将子操作模式作为状态转换图的转换关系,构建了被测试软件的状态转换图;依据状态转换图,提出了相应的状态覆盖准则、转换关系覆盖准则和转换关系谓词覆盖准则等测试数据选择准则．     

苹果属植物分类学研究进展

对苹果属植物分类学250年研究简史进行回顾,评述了各主要分类系统,以及实验分类学对苹果属系统研究的作用和当前研究概况,认为植物化学分类学和分子系统学方法是苹果属系统研究的重要辅助证据,苹果属植物分类系统尚不完善,需要参照更多实验证据,同时做更深入的分析。另外,在分析苹果属系统演化路线的基础上,赞同中国云南东南部、广西西南部和老挝北部及越南北部地区是苹果属植物起源中心的论断。