验证模型
验证模型技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
资源总数
500
验证模型 热门资料
查看全部 500 份 →嵌入式系统软件模拟及硬件接口设计的快速验证
该文提出了一种面向宿主机器代码编译的嵌人式软件功能验证方法.该方法从系统行为级验证系统功能，通过建立RTOS软件模拟器，实现嵌入式软件功能及硬件接口设计的快速验证，并以椭圆滤波器为例，阐述如何使用该方法验证嵌入式系统软件和硬件接口功能.
2023-09-12
7
提出了Strand空间模型中证明安全协议的一个新思路
提出了Strand空间模型中证明安全协议的一个新思路，它从安全密钥的概念出发，参照基于理想概念的 证明方法，得出证明所需的预备结论，从而对协议的秘密属性与认证属性进行证明。此外，还给出了一个针对 Yahalom．BAN协议安全性的证明实...
2015-11-08
120
活动轮廓模型之snake模型
该类方法主要指的是活动轮廓模型（active contour model）以及在其基础上发展出来的算法，其基本思想是使用连续曲线来表达目标边缘，并定义一个能量泛函使得其自变量包括边缘曲线，因此分割过程就转变为求解能量泛函...
2016-03-07
1
二极管模型和模型参数
二极管模型和模型参数二极管模型(1) 基本关系式若外加电压为：VA流过二极管的电流为：ID=IS[exp(qVA/kt)-1]所以基本直流特性中只有饱和电流I
2023-10-17
8