欺诈识别 使用深度学习混合模型来检测欺诈信用卡。
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信号进行了有效的分离。
1
资源:一份源代码,一份英文报告。英文报告包括了模拟运行结果(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