锚杆锚索联合支护在软岩巷道中的应用

目前，我国在顶板较为软弱破碎的巷道中普遍使用锚杆锚索联合支护方式，在对锚杆锚索联合支护原理和设计方法探讨的基础上，新安煤矿在软弱破碎巷道采用高强度锚杆，锚索以及滞后安装方法进行支护，有效缓解了锚索因顶板离层而承受的集中压力，增强了锚索适应围岩变形破坏的能力，使锚杆锚索联合支护的互补作用和锚杆的加固作用得到充分发挥，有效防止因锚索破断引起的冒顶事故。     

素性检测及其实现

本文在论述素性检测对于实现RSA分开密钥密码体制重要意义的基础上,综述了素性检测的概率方法以及非概率方法,给出了笔者基于Miller-Trbovich所发现的一种确定性的方法而开发研制出的素性检测子系统。该子系统的计算机运行结果表明,它至少可以快速生成275位十进制素数。这对于提高RSA密码体制的安全强度有一定的现实意义。     

2MPS2500型螺杆混输泵机械密封的改进

1 技术讨论2 0 0 2年 1月 ,胜利油田临盘采油厂的一台2ＭＰＳ2 5 0 0— 4 0ＭＷ 4型双螺杆泵 ,机械密封泄漏严重。该泵所配密封为大弹簧式、非平衡型密封 ;动环采用镶嵌硬质合金 ,静环为浸呋喃石墨 ,动环与轴采用Ｏ形胶圈密封 ,静环与压盖也采用Ｏ形胶圈密封。密封损坏的原因有 :①摩擦副采用硬质合金 石墨 ,密封效果较好 ,但对于油、气、砂混输泵 ,由于介质含有颗粒杂质 ,故摩擦副磨损较快 ;②采用大弹簧结构 ,压力沿圆周方向分布不均匀 ,密封在旋转过程中出现偏磨现象 ;③密封端面比压过大。根据密封转速ｖ =4ｍ/ｓ ,弹簧比压 ｐｓ应为 0…     

多位高精度素数表及其计算机的实现技术

论述素数产生的理论价值与应用意义。着重介绍了十进制多位素数表的计算机实现技术,以及笔者所在的“大数分解与素性检测支撑工具集成软件的研究”课题组就多位素数表和π(10~9)之值进行研究而获得的精确计算结果,并对现有的某些中外密码学、数论专著中关于π(10~9)的引用值提出了修正数据及其印证数据。     

形式化方法在CSTA系统测试中的应用研究

系统测试中的形式化方法是将客户需求用数学规约表达出来，推导出各项功能的预期输出结果，以完善客户需求，不仅可以较好地消除需求中可能包含的矛盾、二义性、含糊性、不完整陈述以及抽象层次的混杂等，提高发现问题的工作效率和准确度，提高软件测试质量的保障系数，而且可以将行业知识封装起来，为软件测试业务外包提供一个现实可行的依据。     

入侵检测系统研究及其展望

对入侵检测系统(IDS)作了简要的分析，把它与防火墙在功能上进行了较为深入的比较；主要阐述了入侵检测系统对计算机安全系统的重要性、入侵检测系统的分类和工作原理，并针对入侵检测系统的发展趋势展开了讨论。     

人工智能在多人游戏中的应用

文章以一具体实例介绍多人游戏中的推理策略。     

锚索应力分布规律研究与应用

锚索支护技术的成功推广应用，既降低了支护成本、提高了矿区巷道支护可靠性，又简化了工作面两巷超前支护工艺，促进了安全高效发展。由开尔文问题位移解，推导出了内部锚固型锚固段的剪应力以及轴力分布规律。在此基础上讨论拉力分散锚固型锚固段的应力分布及其受力特征，并指出其优缺点及其适应条件。运用锚杆、锚索作用机理和顶板破坏机理，分析在采矿中锚索设计和施工过程中存在的问题，并提出合理解决对策。     

地下水动态平稳过程特征研究

从理论上分析了地下水动态规律符合平稳过程的一些特征，简要介绍了地下水动态数据的处理方法。采用自回归模型模拟、预测地下水水位并用F—S积分变换的频谱分析求水文地质参数，最后列出实例予以说明。     

小秦岭金矿田地质特征及矿床成因

对小秦岭金矿田的地质特征、矿化特征、矿床成因等进行了综合分析研究，并对金的成矿物质来源及富集规律以及矿床成因进行了初步探讨。