安全试验
安全试验技术资料下载专区,收录500份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。
资源总数
500
安全试验 热门资料
查看全部 500 份 →基于单片机的实验室安全智能报警系统
主要针对实验室的安全保障问题设计了以STC89C52单片机为核心、基于C语言编写的易于安装、高性价比的安全智能报警系统,该系统拥有防止外物入侵、火灾报警和防止有毒气体泄露的功能。通过传感器向主控单片机发射信号处理反馈,蜂鸣器报警,警示实验人...
2023-10-13
6
基于模型检验的软件安全静态分析研究
软件安全静态分析是检测软件安全漏洞的一种手段。本文在总结现有的软件安全静态分析方法的基础上,将在硬件设计领域得到成功应用的模型检验方法引入到软件产品的检验中,给出了一种基于自动机理论的检测软件
2024-05-04
4
动态多级安全系统安全标记的格模型
【摘要】分析了安全标记的概念,给出了安全标记的形式化定义,并建立了动态多级安全标记的格模型理论。格模型理论回答了动态多级安全系统的安全标记集合在数学上应形成格,解决了两安全标记比较时上、下确界的
2024-05-19
8
PCB安全距离及其相关安全要求 5页.pdf
资料->【B】电子技术->【B2】电路设计->【1】电路设计->【_电路设计综合】->PCB安全距离及其相关安全要求 5页.pdf
2024-11-02
2