古书院矿支承压力区域围岩力学测试分析

通过对古书院矿23042巷围岩的地质力学测试以及对围岩强度测试的结果进行的分析,对古书院煤矿23042巷道在采动影响层、地应力分布、巷道围岩强度以及顶板岩层分布状况等方面进行了比较详细、直观的阐述,为下一步试验巷道进行锚杆支护设计及其他研究项目提供了客观、准确的基础数据。     

一种新型重于水的自治式潜水器及其先进性分析

提出了一种新型重于水的自治式潜水器(Autonomous Underwater Vehicle,AUV).该AUV可工作于负浮力条件下,利用一对较大的翼在航行过程中流体的升力来平衡其自身重量,节约了浮力部件占用的空间,使其成本与速度较传统AUV均有很大提高.阐述了该新型AUV的基本组成与工作原理,初步分析了其先进性.通过风洞试验数据与传统AUV性能参数对比,结果显示,这种重于水的AUV在能源利用与高速作业方面优势较为明显.最后,对重于水的AUV的应用前景做出了一些预测,希望待一些关键问题得到解决后,这种新型的AUV能够应用得更加广泛.     

一种基于Petri的服务组合测试模型和分析方法

测试用例选择是服务组合测试的重要内容,将直接影响服务测试的效率和正确性。采用Petri网分别对基本服务、组件和测试用例等组成部分建立形式化模型,进行形成整个服务组合的测试模型。基于模型的状态空间分析测试用例的选择和实施。借助Petri网的操作语义及相关理论,分析了该方法的有效性及正确性。具体实例结果表明:该方法能有效地简化服务组合的测试过程,有助于提高测试的质量和效率。     

分层教学改革的绩效分析

通过“经济数学”课程考试试卷统计、分析及对比,提出了影响学生学习成绩的主要因素是初等数学基础和教学模式的选择;通过分层教学改革实践,加强了学生个性化教育和有针对性的培养,提高了“经济数学”课程教学质量。     

一种Web应用测试生成与约简方法

软件测试是保证软件质量的一种重要手段,而复杂的Web应用对测试提出了新的要求.提出一种Web应用测试生成与约简方法,该方法对Web应用导航进行形式建模,使用模型检验导航安全性质所输出的反例分化模型,然后根据分化模型产生测试序列,依据Web应用的特性对测试序列集进行约简.实例演示表明该方法的有效性.     

分子生物计算在逻辑演算中的应用

DNA计算是一种基于生化反应机理的新型信息处理模式,与基于图灵机思想的电子计算机原理截然不同。近年来,DNA分子生物计算理论、实验技术的快速发展为DNA计算机的实现技术提供了一种新的理论和手段。文章首次尝试了DNA计算在逻辑演算中的应用,拓宽了DNA计算的应用领域。模型的最大优点是反应物可以在溶液中充分混合接触而进行生化反应,充分体现了DNA计算巨大并行性的优点,另外编码数和操作数都是线性增加的。     

基于多种群蚁群算法的变压器故障检测次序寻优方法研究

针对传统变压器故障检测次序的不足,在研究变压器故障树分析方法的基础上,提出了一种基于多种群蚁群算法的变压器故障检测次序寻优方法.首先给出了多种群蚁群算法的原理和模型;然后利用蚁群算法的全局优化和启发式寻优的特点,对变压器故障检测次序进行优化;最后,以分接开关故障树为例验证了多种群蚁群算法在变压器故障检测次序寻优中的可行性和有效性.     

长短桩复合地基荷载分担比的试验研究

为了研究长短桩复合地基竖向荷载分担比的变化规律,在室内模型试验的基础上,对不同桩间距、垫层厚度、长桩长度、短桩长度、长桩模量和短桩模量等情况下长短桩复合地基荷载分担比的变化性状进行了分析。结果表明,随桩间距的减小,长桩和短桩的荷载分担比均增大,桩间土的荷载分担比减小,通过减小桩间距来提高长桩荷载分担比是不经济的;随垫层厚度的增加,长桩的荷载分担比减小,桩间土的荷载分担比增大,短桩的荷载分担比变化较小,垫层的设置能明显改善桩、土荷载分担的分配;随长桩长度的增加,长桩的荷载分担比增大,桩间土的荷载分担比减小,短桩的荷载分担比变化较小,增加长桩长度能一定程度提高长桩荷载分担比;短桩长度对荷载分担比的影响较小;随长桩模量的增大,长桩的荷载分担比增大,桩间土的荷载分担比减小,短桩的荷载分担比变化较小,增加长桩模量能显著提高长桩荷载分担比;随短桩模量的增大,长桩的荷载分担比减小,短桩和桩间土荷载分担比均增大,增加短桩模量对荷载分担比分配有一定影响。     

自适应形式的计算机等级考试的应用研究

目前,计算机等级考试采用的还是基于计算机的考试形式,计算机在整个考试中所起的作用仅局限于题目的呈现和成绩的统计,起到考试"执行者"的作用。由于考试并没有因材施测,考试不能很好地考察学生的真实水平,考生抽取试题时存在"运气",考试的合理性和公平性受到很大质疑。自适应形式的计算机等级考试可以解决传统计算机等级考试固有的弊病,可以实现"因材施测",并且考试的实施和组织更加经济。对自适应形式的计算机等级考试中所涉及的几个关键技术问题进行研究,探索大规模实施自适应形式的计算机等级考试的可行性,并进行模拟研究和实证研究。     

自适应形式的计算机等级考试的选题策略研究

采用自适应形式的计算机等级考试．考试的效率更高,考试结果更公平,更能发挥讣算机等级考试对考牛计算机能力水平测试的功能。要成功地实现自适应形式的计算机等级考试,恰当的选题策略是必需的。对自通应形式的计算机等级考试采用不同的选题策略进行了研究。研究结果表明,相对其它几种选题策略（最大信息量选题策略和随机选题策略）,采用h分区a分层的多阶段选题策略,测验的表现更好,可以很好的控制测验长度,测验的精度也很好,有更高的测验效率,测验的综合表现也最优。