大型实验设备共享平台中离心机的安全管理

高校大型设备共享平台能为用户提供多种仪器设备,离心机是众多仪器中的基础设备。高速离心机及超速离心机等贵重设备丰富了设备共享平台中离心机的种类。由于离心机的使用需要遵循一定的安全守则,仪器种类和数量增多而配备管理员岗位较少成为仪器运行和管理中的一个问题。为使多台离心机能安全高效地运行,更好地为教学和科研服务,针对离心机的安全管理模式和维护经验进行了探讨。     

扩展的语义分析的WAP协议缺陷测试

首先介绍了一种基于语义分析的缺陷测试技术.该测试方法利用语义测试及软件错误注入来进行测试.它比传统测试的成本要小,同时能达到很好的效果.但该方法只能检测协议实现级别的漏洞,而不能检测协议设计中可能存在的缺陷.本文结合了Petri网在协议测试方面的优点提出了一种扩展的语义分析的协议缺陷测试方法.它能通过对协议Petri网模型的分析来捕获协议层面的缺陷,而为此所需的额外开销是很小的.这弥补了原缺陷测试在协议层面的不足.之后对该方法各个阶段进行了介绍.对WAP-WSP协议的进行了缺陷测试,并对结果进行了分析,证明其可行性.