安检设备
安检设备技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
资源总数
500
安检设备 热门资料
查看全部 500 份 →#01启备变停电检修技术方案
为确保#01启备变停电检修期间，#1、2发电机组的安全稳定运行，对两台机组的厂用电运行方式必须进行合理的安排，以保障厂用电系统的安全、可靠供电。同时根据湖南省电力试验研究院关于对石门电厂“#01
2024-04-25
10
安全事件的本体建模与检测
目前安全事件知识表达各异，严重影响了安全事件的知识共享及检测。本文应用本体论，从时间、空间、功能三个不同维度对安全事件的要素以及安全事件特征、关系进行分析，建立了安全事件本体，并实现了安全事件
2024-02-12
6
基于GSPM的安全协议检验工具
介绍一个基于GSPM的安全协议验证的图形化工具。验证工具以GSPM模型为基础形式化地描述了安全协议，并引进线性时序逻辑刻画了安全协议的性质，用基于状态搜索的模型检测方法在安全协议的验证过程中找出漏洞。
2023-12-20
7