为保证铁路联锁模型的安全性，在故障分析法的基础上提出一种新的用Petri网来建立故障树的方法，动态地描述铁路联锁系统的安全性需求，并根据Petri网安全需求模型的可达标志图，提出一种能自动生成最小割集的算法。根据算法生成的最小割集，设计了一个联锁安全检测器，用于检测和控制联锁系统模型处于安全状态。最后用CPN工具对所建立的联锁系统模型进行仿真，仿真结果表明联锁安全检测器能够保证模型的安全性。
2021-12-15 19:56:22
757KB
1
教程名称：健壮性测试方法与工具
课程目录 ：
【】IO字节流节点流拷贝工具健壮性
【】Linux19-模拟宕机所有服务器角色测试MFS服务健壮性_rec
【】基于场景模型的BGP_4健壮性测试
【】基于规范变异的BGP_4健壮性测试研究
【】虚拟健
资源太大，传百度网盘了，链接在附件中，有需要的同学自取。
2021-12-15 17:36:03
125B
1
超级Ping是一个可以实现对多个主机网络状态的实时监测，并有自动记录分析结果、断网自动告警等功能的网络监测软件。监测的结果可以记录在以IP地址为文件名的文本文件中，也可以记录在Acess数据库中，用户可自由选择。
2021-12-09 17:04:21
605KB
1
2020年4月20日四川省绵阳市高中2017级第三次诊断性测试文科综合试题绵阳三诊.pdf
2021-12-09 12:04:41
6.01MB