利用MAX813L防止应用程序出现死循环故障

介绍了利用CPU监控芯片MAX813L防止应用程序出现死循环的方法，使用表明该方法是可行的。     

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

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

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

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

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

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

网的收敛与分离公理

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

基于小波包能量特征的滚动轴承故障监测方法

对滚动轴承的故障特点进行分析，根据小波包变换能将信号按任意时频分辨率分解到不同频段的特性，提出了小波包能量特征的概念及算法，并给出两个仿真算例，然后将小波包能量特征与径向基函数网络相结合，提出了一种新的滚动轴承故障诊断方法，数字仿真实验证实了该方法的正确性和有效性。     

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

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

地膜覆盖机械化技术

地膜覆盖机械化技术，主要是应用地膜覆盖机具与8．8～13．2千瓦的小型拖拉机配套，将地膜按农艺要求覆盖在农田地面的机械化作业技术，另外，还包括整地、作畦、播种、施肥及残膜回收等相关的配套技术。     

基于VHDL的时延Petri网仿真

在实时控制系统中,常常需要使用时延Petri网对系统进行建模、分析.作者提出了用硬件描述语言对时延Petri网进行描述,用VHDL语言中的wait语句和after语句来模拟Petri网中的时延特性,通过EDA软件工具对时延Petri网进行仿真,获得系统的动态性能,这为时延Petri网的分析提供了新的路径,并为控制系统的设计和电路实现奠定了基础.文章最后给出了一个实例,仿真波形表明了这种方法的正确性.