模型检验
模型检验技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
资源总数
500
模型检验 热门资料
查看全部 500 份 →stats 用于检验回归模型的统计量
stats 用于检验回归模型的统计量，有三个数值：相关系数r2、F值、与F对应的概率p.相关系数r2越接近1，说明回归方程越显著；F > F1-α（k，n-k-1）时拒绝H0，F越大，说明回归方程越显著；与F对应的概率p 时拒绝H0，...
2014-01-18
136
基于模型检验的软件安全静态分析研究
软件安全静态分析是检测软件安全漏洞的一种手段。本文在总结现有的软件安全静态分析方法的基础上，将在硬件设计领域得到成功应用的模型检验方法引入到软件产品的检验中，给出了一种基于自动机理论的检测软件
2024-05-04
4