安全检修
安全检修技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
资源总数
500
安全检修 全部资料 500 份
C8051F320列车安全巡检仪的设计
提出了一种基于C8051F320的列车安全巡检仪的设计方案，详细阐述了巡检仪的各个模块的硬、软件设计。巡检仪集信息采集、轴温检测、照明和记录存储等功能于一体，实现了对列车安全巡检工作有效的监督和科学管理。系统软件采用C51编写，对单片机进行...
2013-12-22
96
安全事件的本体建模与检测
目前安全事件知识表达各异，严重影响了安全事件的知识共享及检测。本文应用本体论，从时间、空间、功能三个不同维度对安全事件的要素以及安全事件特征、关系进行分析，建立了安全事件本体，并实现了安全事件
2024-02-12
6
基于GSPM的安全协议检验工具
介绍一个基于GSPM的安全协议验证的图形化工具。验证工具以GSPM模型为基础形式化地描述了安全协议，并引进线性时序逻辑刻画了安全协议的性质，用基于状态搜索的模型检测方法在安全协议的验证过程中找出漏洞。
2023-12-20
7
软件安全漏洞的静态检测技术
软件安全漏洞问题日益严重，静态漏洞检测提供从软件结构和代码中寻找漏洞的方法。该文研究软件漏洞静态检测的两个主要方面：静态分析和程序验证，重点分析词法分析、规则检查、类型推导、模型检测、定理证明和符号执
2024-05-03
10