搜索【模型检测】的结果

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

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

2021-08-15 01:37:29 13.33MB #资源分享达人#

Fraud-Detection:使用深度学习混合模型检测欺诈信用卡-源码

欺诈识别使用深度学习混合模型来检测欺诈信用卡。

2021-06-21 14:17:40 14KB JupyterNotebook

1

基于时间区间时序逻辑的实时系统统一模型检测

2021-03-12 09:08:48 641KB 研究论文

1

工业关键系统的形式化方法：应用综述去注释.pdf

2021-03-04 19:03:24 21.55MB 工业应用 形式化方法 模型检测

1

使用无监督方式的新Haar-Weibull方差模型检测钢表面缺陷

2021-02-26 16:07:02 1.5MB 研究论文

1

隐马尔科夫模型检测LDoS攻击方法的研究

2021-02-09 14:06:08 640KB 研究论文

1

卫星AIS检测概率分析及冲突信号分离

针对卫星AIS系统天线的覆盖面积大、包含多个自组织区可能导致接收信号冲突的特点，分析了星载AIS系统接收信号重叠碰撞的机制，对卫星AIS系统进行了观测模型的建模，并在此基础上分析了卫星AIS系统对船舶的检测概率，并采用盲信号分离算法对冲突的AIS信号进行了有效的分离。

2021-01-29 11:13:27 1.26MB 卫星AIS；观测模型；检测概率；信号冲突；信号分离

1

elevator NuSMV 建模模型检测电梯

资源：一份源代码，一份英文报告。英文报告包括了模拟运行结果（20步随机），还有CTL以及CTL验证结果，最后一些简单说明。

2020-01-03 11:16:51 16KB NuSMV SMV

1

并发系统的Promela语言建模与SPIN模型检测

2019-12-21 18:51:55 2.18MB 并发系统 Promela 建模 SPIN

1