合理预留安全矿柱的探讨

矿床地下开采时,在没有其他安全措施的情况下,不得不采用预留安全矿柱的方法,以保护地面建筑物、构筑物和主要井巷免受因地下采矿而引起的破坏。但这会导致矿量的损失,故需要寻找合理预留安全矿柱的方法。作者用解析的方法对预留安全矿柱进行研究,突破了常用的传统方法。     

系统修复清理小精灵——Always Right

经过大量的安装和反安装操作，注册表中堆积了大量无用的文件，由于软件的删除那么他们所指向的那些文件的存放地址也就不存在了，所以这些注册表中的文件也就失去了价值。Always Right可以查找出你硬盘上同步移动过的文件和文件夹，然后帮你修正在注册表中的正确指向。随着时间的推移，你的硬盘上会堆积大量无用的文件（比如：临时文件等等），Always Right会帮你查找并删除他们，     

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

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

基于J2ME的手机订票系统的设计与实现

J2ME是近几年来诞生并飞速发展的一项新的开发技术。它定位在消费性电子产品的应用上，特别是移动无线设备上。对设备的智能化，提供了革命性的解决方案。本文介绍了J2ME的相关技术及其在订票系统中的开发应用。     

计算学科中的实验体系

本文讨论了计算学科中的实验体系,阐述了建立实验体系的框架,进入实验规划和实施方案和内容,讨论了实验改革和创新的思路,以及建立软件实验、虚拟实验的探索和建立移动实验室的构想。     

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

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

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

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

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

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

网的收敛与分离公理

用Ｍｏｏｒｅ－Ｓｍｉｔｈ收敛给出了一个拓扑空间分别是Ｔ０，Ｔ１，正则，正规空间的充要条件．     

基于随机Petri网的客户/服务器模型及其分析

提出了一种基于随机Petri网的客户 服务器模型 ,模拟了客户 服务器系统的基本工作原理 ,在此基础上 ,利用随机Petri网的时间特性对该模型进行了定量分析 .