巷修锚杆支护的应用与探索

返修巷道时,应根据松动圈的发展特点,科学地、客观地设计支护方案。本文结合我矿三条巷道返修后的变形比较,从而证实了锚杆支护在我矿巷修中的成功应用。     

复合支护结构核爆冲击波等效静载的不确定性分析

根据中值点处展开的一次二阶矩法讨论了土中压缩波的升压时间及其不确定性，然后研究了按单自由度体系进行复合支护地下结构抗核爆设计时的动力系数（荷载系数）和等效静载的变异系数．数值结果表明，土中压缩波升压时间的不确定性，不仅与结构埋深和土参数的变异性有关，而且与土参数的均值有关，等效静载的不确定性，依赖于作用于结构上的动载变异性和结构自振频率变异性，而动载不确定性对等效静载变异性影响最大     

同步时钟系统在山西电力系统的综合应用

论证了电力系统建设时间同步网的必要性,提出网同步才是真正的同步,并结合山西电力已建的数字同步网及数据通信网,提出了利用山西电网已建的同步时钟系统实现全省各变电站时间同步的初步解决方案。     

介绍一种软土地基处理施工技术

对深层搅拌加固法在软土地基处理中的应用特点、加固原理、影响因素、施工工艺和质量检查等进行阐述,指出了存在问题和发展方向,并用实例说明深层搅拌法加固软土的效果.     

新型锚喷支护结构在萍乡矿区的应用

根据壳体结构的力学原理设计地下新型网壳喷层结构，大幅度提高喷层的抗弯能力，同时使喷层整体具有一定的可缩性，能承受强大变形地压及采动荷载，达到用较少材料又提高喷层支撑能力与让压的目标，较好解决了加强支撑、喷层合理配筋、简化施工作业、降低材料消耗等问题，在萍乡软岩巷道中进行了工业性试验。     

网络时间协议的基本原理及其在校园网络的应用

论述了网络时间协议(NTP)的基本原理、算法及其工作方式，结合校团网络中不同的设备实施网络时间统一。     

喷锚支护作为地下室外墙的应用研究

喷锚网支护技术在建筑物地基基坑开挖临时支护中的运用已经越来越广泛，而土层锚杆作为永久性支护在建筑物地下室中应用较少．拟通过广州大学广园校区体育馆工程地下室土层锚杆的施工技术，探讨土层锚杆在建筑物地下室中作为永久性地下室外墙应用的可行性．     

巷旁充填沿空留巷技术研究

本文通过转Ⅳ喷射机组成的风力充填系统输送矸石——水泥胶凝混合料的巷旁充填研究,介绍了该技术在沿空留巷中应用及效果,并对改进提出了建议。     

基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.