物探技术在煤矿老空区探测中的应用

水害是煤矿采掘过程中经常遇到的地质灾害。因此，如何做好矿井防治水工作，保证矿井安全生产，也就成为矿井地质工作的重要内容。而如何做好老空区的探测工作，是当前一个非常值得大家关注和认真研究的问题。本文对几种可供选择的物探方法作一简要介绍，仅供煤矿在水文地质探测工作中参考。     

在AutoCAD中利用三维模型生成二维投影视图的技巧

快速而精确的绘制设计图纸，是每个设计人员的愿望，这里介绍一种由三维模型直接生成二维投影的方法，给设计提供一种新思路。     

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

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

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

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

用VBA实现Auto CAD2002参数化三维造型设计

对参数化绘图的基本原理进行分析,介绍AutoCAD2002环境下运用VBA(VisualBa sicApplication)编程实现参数绘图的方法,实现了对渐开线圆柱齿轮三维造型设计的参数化。     

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

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

网的收敛与分离公理

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

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

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

九十年代计算机网络发展趋势

本文详细介绍了国外计算机网络发展的最新技术，并阐明了计算机网络发展的五种趋势．     

基于框图建模的表现模型研究

讨论了表现模型的概念和构成，以及它与可视化模型和仿真模型的关系。在此基础上，以交战级仿真应用为背景，设计和实现了基于框图建模方法的表现模块库。用户可以根据需要，通过选取相应的功能模块，订购相应的仿真模型数据，建立表现模块之间的输入输出关系，和设置表现模块的功能参数来快速构建三维表现模型。该表现模型将仿真模型和仿真表现分离，在仿真演示上具有灵活、通用的特点。