混合高斯背景建模，运动检测。 建模函数是自己编写的，原理简单，便于学习，有详细注释。 处理视频是用笔记本摄像头实时采集的画面。

一个关于SPIN和Promela的简要介绍

基于python的行人检测svm hog，参考链接：https://blog.csdn.net/babyai996/article/details/117220250

Model Checking经典书籍,如果做形式化验证的话属于必读系列

Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is now widely used for the verification of hardware and software in industry. This chapter is an introduction and short survey of model checking. The chapter aims to motivate and link the individual chapters of the handbook, and to provide context for readers who are not familiar with model checking.

我搜集的数理逻辑、形式化验证、模型检测方面的经典书籍：Operating System Security (Synthesis Lectures on Information Security, Privacy, and Trust)；Formal_Correctness_of_Security_Protocols；FUNDAMENTALS OF WIRELESS COMMUNICATION；Course in Modal Logic；模态逻辑讲义

我搜集的数理逻辑、形式化验证、模型检测方面的经典书籍：Computability and Logic 5th Edition；Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions；Handbook of Philosophical Logic Volume 4；A first course in logic；计算理论简明纲要 (v1.1)

我搜集的数理逻辑、形式化验证、模型检测方面的经典书籍：Logic in Computer Science Modelling and Reasoning about Systems；A Second Course in Formal Languages and Automata Theory；Real-Time Systems Formal Specification and Automatic Verification；Computability Theory ；Computational Complexity A Modern Approach

该模型使用基于磁共振成像 (MRI) 的 ResNet-18 模型检测阿尔茨海默病 (AD)。 在该模型中，我们提出了一种在 3D CNN 中利用迁移学习的方法，该方法允许将知识从 2D 图像数据集 (ImageNet) 迁移到 3D 图像数据集。 为了构建 3D ResNet-18，2D ResNet-18 的 2D 过滤器在第三维中扩展为具有 3D 过滤器。 其余层根据新过滤器进行了调整。 然后，将整个 MRI 用于训练 3D ResNet-18，以对每个人做出一个决定。 我们的结果表明，将转移学习引入3D CNN可以提高AD检测系统的准确性。 这种方法在我们的 ADNI 数据集上实现了 96.88% 的准确度、100% 的灵敏度和 93.75% 的特异性。 此文件夹中目前有一些示例图像。 要访问更多图像，您需要将您的应用程序发送到 ADNI ( http://adni.loni

PPTL的偏序模型检测器的实现与验证实例