模型检查

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

资源总数
500

模型检查 热门资料

查看全部 500 份 →

提出一种利用隐马尔可夫模型对普通视频中的火焰进行分析的方法，除应用运动和颜色分析对火焰进行识别外，还通过隐马尔可夫模型对火焰的闪烁特性进行分析。实验结果表明，该方法能有效区分火焰和具有火焰颜色的普通运

2024-02-13 10 模型检查

为提高检测精度，同时保持算法复杂度在可接受范围内，提出基于特征模式的马尔可夫链异常检测模型。提取所有支持度大于阈值的系统调用短序列为特征模式，在此基础上建立改进的马尔可夫模型CPMC。在检测时，用程序

2024-05-03 9 模型检查

一个拼写检查程序，用来检查你的输入的文件中的单词是否拼写错误，并给你给出可能的拼写建议。（用Hashset实现）（卡耐基梅隆大学ssd5数据结构Option Exercise4答案） 程序参数设置（第一个为要输入的词库文件，本例中是wor...

2014-01-08 196 模型检查