计数检验

计数检验技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。

资源总数
500

计数检验 热门资料

查看全部 500 份 →

介绍一个基于GSPM的安全协议验证的图形化工具。验证工具以GSPM模型为基础形式化地描述了安全协议，并引进线性时序逻辑刻画了安全协议的性质，用基于状态搜索的模型检测方法在安全协议的验证过程中找出漏洞。

2023-12-20 7 计数检验

设计了一个可对任意一路进行定点温度数字显示的多路温度巡检仪，其包含：温度信号检测及放大部分、数字控制部分、A／D转换部分及数字显示四大部分．该系统的工作原理为：AD590传感器将温度信号转化成电

2023-06-14 4 计数检验

图像检索对多媒体数据的检索，早期的方法是用文本将多媒体数据进行标识，这显然不是基于多媒体信息本身内容的检索，对多媒体数据中包含的信息是一中及大的浪费； 　　基于内容的检索是多媒体数据库的关键技术，如何实现这块技术，是值得商榷的，而最好...

2016-05-12 98 计数检验