模型验证
模型验证是指测定标定后的交通模型对未来数据的预测能力(即可信程度）的过程。根据具体要求和可能，可用的验证方法有:①灵敏度分析,着重于确保模型预测值不会背离期望值，如相差太大，可判断应调整前者还是后者,另外还能确保模型与假定条件充分协调。②拟合度分析，类似于模型标定，校核观测值和预测值的吻合程度。[1...
资源总数
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