高突采煤工作面过高位裂隙钻场期间瓦斯治理技术研究

<正>矿井防治瓦斯治理工作是煤矿企业的一项重要工作,高突矿井采煤工作面回采过程中需进行高位裂隙钻孔抽放,而高位裂隙钻孔抽放也是工作面瓦斯治理的一个重要组成部分,因此,研究高突采煤工作面过高位裂隙钻场期间瓦斯治理技术,对保证工作面安全生产具有重要意义。     

中国学生英语过去时态标注习得研究

句法标注多选现象的持续性是否意味着中介语语法系统的损伤是近年来二语习得研究的热点之一.该文针对中国英语专业大学生对英语题元动词的过去时态标注情况展开研究,文中语料取自《中国学生英语口笔语语料库》,在最简方案的理论框架下,研究中国学生在口笔语中对英语题元动词一般过去时态的标注情况,验证中国学生英语中介语语法系统是否损伤.结果表明:中国学生的中介语语法系统没有受损,能够习得英语中的时态特征.     

不确定需求下应急物流系统多目标鲁棒优化模型

针对在突发事件发生的紧急救援期,应急物流系统的运载能力有限性及多种应急物资的需求不确定性,采用相对鲁棒优化方法建立了基于总时间和总成本最优的多目标数学模型.结果表明:模型合理地解决了应急物资在需求不确定条件下选址-路径的安排问题,通过算例将绝对鲁棒优化与相对鲁棒优化的对应问题以及单目标与多目标模型的最优解进行对比,验证了多目标鲁棒优化模型能够体现应急物资在需求不确定条件下选址-路径方案的最优性与鲁棒性的均衡,从而在突发事件发生时能有效保证应急物流决策的鲁棒性.     

基于数据挖掘的网络业务流分析方法

为了从业务角度对网络的性能进行评价和优化,提出了一种新的网络业务分析方法——具有时态路径约束的关联规则挖掘分析方法.该方法以网络业务为分析粒度,以与网络业务流相关的时态属性和路径属性为约束条件,对已经积累的反映网络状况的海量历史数据进行挖掘分析.在进行关联规则挖掘时,利用频繁数据项集的性质,通过引入事务标号,在求出候选频繁项集的同时也求出其支持度,避免了为求支持度而进行的扫描数据库运算,极大提高了挖掘的效率和速度.实验结果表明,进行挖掘分析的数据量越大,该方法的性能和效率就越好.     

关于双曲空间中椭圆的周长

在双曲空间中,对椭圆的周长及平均绝对曲率做出细致考察.     

简述ESP

ESP作为英语教学圈里的后起之秀,尽管起步晚,但是发展势头却非常迅猛。本文针对长期以来人们对于ESP的种种错误认识,着重阐述了到底什么是ESP,以及它与普通英语的区别所在,试图消除人们在ESP的认识上的误区,从而为ESP的进一步发展打下坚实基础。     

确定的与非确定的公式时钟自动机的等价性

本文分析了传统的时间自动机在实时系统进行形式化验证方面所存在的问题,提出了一种新的形式化验证工具——公式时钟自动机,给出了公式时钟自动机的形式化定义。在公式时钟自动机中,每一个事件对应一个命题、并且针对给定命题集上的每个时态公式,我们定义两个时钟:公式记录时钟与公式预测时钟。前者记录公式最近一次被满足时距目前的时间,后者预测下一次公式将被满足时距目前的时间。最后讨论了公式时钟自动机的确定性和非确定性,并证明了确定的公式时钟自动机和非确定的公式时钟自动机的等价性。     

可列非齐次马氏链的绝对平均强遍历性

利用非齐次马氏链的绝对平均强遍历性的概念,研究了非齐次马氏链的绝对平均强遍历性,得到了非齐次马氏链满足绝对平均强遍历的充分条件.     

绝对离差风险控制下log-最优资产组合模型

本文提出了基于绝对离差风险控制下的log-最优资产组合模型,讨论了其最优解的存在性与唯一性,设计了求解此模型的遗传算法,并进行了数值模拟。     

交错级数的比值放大判别法

近年来,多种新的有效的交错级数敛散性判别法被提出.从正项级数的比值放大法入手,得出了交错级数的一种新的审敛准则,并将其推广到更一般的形式.最后通过实例表明新的判别法具有一定的应用价值.