SMV 模型检测

华为SMV1R5_DEMO（华为存储模拟器），适用于存储模拟练习

由于广泛的应用和技术上的突破,目标检测(object detection)在近些年吸引了越来越多的注意力,以飞快的速度发展着。在导致目标检测领域飞速发展的众多因素中,深度卷积神经网络和GPU算力无疑占

针对科学实验载荷使用的Linux操作系统,对其测试方法等做了研究总结。模型检测作为一种全自动运行的形式化验证手段,在其适用领域对发现系统逻辑错误意义重大。针对操作系统测试需要,对Linux管道通信进行

用于符号模型检测,可实现多种断言语言描述的系统规范的验证,很好的软件属性形式化验证工具。

Automata Theory and Model Checking,是一个关于自动机理论和模型检验的论文

为解决基于背景差分的车辆检测办法易受交通状况影响的问题,首先建立基于区间分布的自适应背景模型,然后利用改进的背景更新算法对建立的背景模型选择性更新,最后结合阈值分割和形态学处理实现运动车辆检测。实验结

这是我参加百度“人群密度检测”比赛训练的模型，可利用百度Paddle平台导入该模型对图片或视频流信号进行人流密度检测。

基于ycbcr空间的MATLAB人脸检测代码，非常简单，注释和代码都写得很好，新手也可以很容易看懂。

对MPI程序同步通信基本模型死锁检测的全部理论进行了详细阐述。相关源代码将陆续公布。文章介绍了MPI程序同步通信基本模型死锁检测的全部理论，该算法已经被《电子学报》录用，等待发表中。为方便后续文章引

这篇论文详细介绍了太阳黑子时间序列预测过程及思想。