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

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

KJ-90型煤矿综合监控系统在屯兰矿的应用

介绍了KJ-90型煤矿综合监控系统软、硬件在屯兰矿的应用情况，并针对存在的问题提出一些改进建议，以使其更好地满足安全生产的需要。     

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

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

网的收敛与分离公理

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

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

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

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

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

钢筋焊接网在桥梁工程中的应用

钢筋焊接网应用技术是建设部重点推广应用的新技术之一.我国钢筋焊接网于20世纪80年代初开始应用,在近几年中得到了快速的发展,尤其是在桥梁工程中得到应用已非常成熟.钢筋焊接网桥面铺装设计简单,现场施工方便、高效,施工质量得到可靠保证.大量的工程实践表明钢筋焊接网的应用具有极强的优越性.     

国务院安委会第十二督查组赴我省督查——成绩充分肯定 问题不容忽视

11月13日至21日，国务院安委会第12督查组对湖南省煤矿整顿关闭工作进行专项督查，既充分肯定湖南省煤矿整顿关闭工作的成绩，也指出了一些不容忽视的问题。湖南省委常委、省纪委书记、副省长许云昭和省长助理郭开朗分别参加了汇报会和情况通报会，表示将认真贯彻落实国务院文件精神，克服困难，坚定不移地完成煤矿整顿关闭任务。     

《高等数学》学习方法探讨

从高等数学的知识体系及其学习的特点与基本要求入手,论述了学习高等数学的基本方法,即阐述了如何接收信息、如何消化材料和所学知识如何运用等问题。     

煤矿地面生产场所照明节电探索与实践

该技术针对煤矿地面生产场所照明系统的调查分析,找出照明系统存在的浪费电能的关键因素,进而从照明时间控制、灯具合理布置、选用节能灯具、分区域控制及科学管理等方面入手,进行深入细致的节电技术研究,制定出了可操作性强、投资少及见效快的节电方案,通过在协庄煤矿地面生产场所的应用,取得了显著的经济效益和社会效益。