模型检测理论

本专辑为您列举一些模型检测理论方面的下载的内容,模型检测理论等资源。把最新最全的模型检测理论推荐给您,让您轻松找到相关应用信息,并提供模型检测理论下载等功能。本站致力于为用户提供更好的下载体验，如未能找到模型检测理论相关内容，可进行网站注册，如有最新模型检测理论相关资源信息会推送给您。

阅读全文

模型检测理论

: 模型检测理论、方法与应用 模型检测：理论方法与应用。模型检测的经典论文，作者：林慧民、张文辉
评级：0 浏览量：266 收藏量：2 资源大小：184KB 上传时间：2018-01-16

: 模型检测理论、方法与应用.pdf 模型检测理论,原理，研究现状，存在的问题及发展方向概述
评级：4 浏览量：200 收藏量：2 资源大小：360KB 上传时间：2009-10-13

: 自动机理论与模型检测 Automata Theory and Model Checking，是一个关于自动机理论和模型检验的论文
评级：0 浏览量：139 收藏量：0 资源大小：587KB 上传时间：2018-10-16

: 基于模糊理论与关联规则的入侵检测模型 引入模糊集合技术解决连续型数据划分过程中边界过硬的问题，完成特征之间关系的实时分析与规则库的更新，搭建入侵检测BVA-IDS（Boolean vector Apriori-intrusion detection system）模型。研究结果表明，相比顺序...
评级：0 浏览量：119 收藏量：0 资源大小：789KB 上传时间：2021-01-19

: 基于启发式NDFS的模型检测新算法 chi自动机为研究对象,提出基于启发式NDFS的模型检测新算法.该算法结合on-the-fly算法与启发式NDFS算法,能较快地判断出广义Büchi自动机非空性,通过理论证明和实验验证了算法的正确性和可行性.与已有算法相比,在...
评级：0 浏览量：81 收藏量：0 资源大小：641KB 上传时间：2021-04-27

: 模型检测相关的理论与方法关于模型检测的权威论文,介绍了模型检测的涵盖的内容！
评级：3 浏览量：220 收藏量：0 资源大小：576KB 上传时间：2009-09-30

: 基于危险理论的无线传感器网络入侵检测模型 针对无线传感器网络入侵检测技术面临的挑战,利用了人工免疫技术的基本原理,提出一种基于危险理论的入侵检测模型。模型采用了分布式合作机制,与采用混杂模式监听获取全局知识的方法相比,在检测性能和能耗上都具有优势...
评级：0 浏览量：41 收藏量：0 资源大小：640KB 上传时间：2021-04-07

: matlab谐波检测模型仿真 matlab中搭建的三相电力系统谐波检测仿真模型，谐波分析，谐波补偿，利用pq方法。对于谐波检测方法，选择了目前主流的检测算法，模型已经过数据校验，与实验结果吻合良好。
评级：1 浏览量：2168 收藏量：15 资源大小：39KB 上传时间：2020-03-21

: 基于免疫学理论的入侵检测技术摘要：描述了一种基于免疫学理论的入侵检测系统的体系结构，简要说明了系统的特点，介绍了免疫检测器的生成模型和生命周期。　计算机安全的多数问题都可以归结为对自我（合法用户、授权的行动等）和非我（入侵者、...
评级：0 浏览量：80 收藏量：0 资源大小：130KB 上传时间：2020-10-22

: 多智体系统时序认知规范的SPIN模型检测本文着重讨论了如何利用ＳＰＩＮ 模型检测线性时序认知逻辑的方法，根据局部命题的理论，将模型检测知识算子和公共算子表述的规范规约为模型检测线性时序逻辑的问题，从而使...
评级：0 浏览量：81 收藏量：0 资源大小：286KB 上传时间：2021-02-23

: FRGOD 离群检测 Matlab 代码由于经典粗糙集的离群检测模型仅适用于分类属性数据，我们利用FRS对离群检测模型进行泛化，构建了基于模糊粗糙粒的广义离群检测模型。首先，定义颗粒离群度(GOD)，利用模糊逼近精度表征模糊粗糙粒的离群度；然后，...
评级：0 浏览量：61 收藏量：1 资源大小：2.54MB 上传时间：2023-05-21

: 一种基于免疫的入侵检测关联报警模型在入侵检测系统Snort的基础上，结合网络实时危险评估技术，提出了一种基于免疫的网络入侵检测报警模型SAIM。给出了网络环境下记忆细胞的表示...理论分析和试验结果均表明，SAIM模型能有效进行关联报警，提高报警质量。
评级：0 浏览量：47 收藏量：0 资源大小：248KB 上传时间：2020-10-17

: 基于延迟时间理论的n中取k系统检测区间模型延迟时间理论广泛应用于系统维修领域,能够更为细致和准确地...建立单位时间维修费用模型和设计仿真过程,以单位时间维修费用最小为目标进行优化,求解系统的最优维修检测区间.最后通过数值案例表明所提出方法的有效性.
评级：0 浏览量：83 收藏量：1 资源大小：428KB 上传时间：2021-01-12

: 一种基于免疫学理论的入侵检测系统描述了一种基于免疫学理论的入侵检测系统的体系结构，简要说明了系统的特点，介绍了免疫检测器的生成模型和生命周期。
评级：0 浏览量：57 收藏量：0 资源大小：158KB 上传时间：2020-10-26

: 论文研究-基于并发投影时序逻辑模型检测的入侵检测方法 .pdf 基于并发投影时序逻辑模型检测的入侵检测方法，朱维军，陈建辉，基于投影时序逻辑模型检测的入侵检测方法具有描述网络入侵者分段攻击的能力，然而对并发攻击仍无能为力，因为该逻辑无法直接描述
评级：0 浏览量：104 收藏量：0 资源大小：177KB 上传时间：2019-08-21

: 基于危险理论的分布式服务异常检测模型.pdf #资源达人分享计划#
评级：0 浏览量：34 收藏量：0 资源大小：318KB 上传时间：2021-08-09

: 基于粗糙集理论的入侵检测新方法提出了一种高效低负荷的异常检测方法，用于监控进程的非正常行为，该方法借助于粗糙集理论从进程正常运行情况下产生的系统调用序列中提取出一个简单的预测规则模型，能有效地检测了进程的异常运行状态，同其它方法...
评级：0 浏览量：46 收藏量：0 资源大小：242KB 上传时间：2019-05-13

: 信号检测的基本理论.ppt 信号检测理论是指在某种最佳理论基础上对信号进行有效检测的理论。它主要应用于雷达信号检测、数字通信接收机的信号检测、语音信号的识别、图象信号的识别等领域。信号检测的基本理论可以分为两大类：一类是假设...
评级：0 浏览量：34 收藏量：0 资源大小：631KB 上传时间：2021-12-07

: 分形理论在目标检测中的应用对分形理论在雷达目标检测领域中应用的相关研究进行整理与总结,以传统雷达目标检测方法中存在的不足为切入点,按照分形模型由简单到复杂的顺序,从常规雷达目标检测与图像(SAR图像)目标检测2个方面介绍了分形理论在...
评级：0 浏览量：169 收藏量：1 资源大小：646KB 上传时间：2021-02-21

: 弱散射材料中激光超声单散射理论模型 基于扩散波传输理论，针对弱散射介质中的激光超声散射，提出单散射假设，建立包含信号源、超声散射和接收信号的理论模型。理论分析结果表明横波和纵波的散射机理相同，得到了横波和纵波的单散射强度在时间域的分布...
评级：0 浏览量：74 收藏量：0 资源大小：1.26MB 上传时间：2021-02-09

: 基于机载激光雷达成像的动目标轨迹检测模型 建立了激光成像雷达探测目标的数学模型，...对比了距离像的理论和实验数据，结果表明理论模型检测的目标轨迹结果与实验结果误差控制在2%以内，具有较高的吻合度，所得结论可为目标轨迹预测以及意图判断提供参考意义。
评级：0 浏览量：192 收藏量：1 资源大小：1.34MB 上传时间：2021-02-12

: 基于机器学习的木马检测模型的设计与实现(论文)-kaic.docx 2 JavaScript 木马检测的相关理论与技术 2.1 JavaScript 语言概述 2.2 JavaScript 木马概述 2.3 机器学习及其相关算法概述 2.3.1 随机森林算法 2.3.2 SVM 算法 2.3.3 KNN 算法 3 需求与可行性分析 3.1 可行性...
评级：5 浏览量：38 收藏量：0 资源大小：299KB 上传时间：2024-04-04

: 基于分数布朗运动模型的激光雷达目标检测研究和分析了激光雷达目标回波与杂波背景的分形特性, 以分数布朗运动(FBM)数学模型为基础, 通过对不同信噪比(SNR)激光雷达回波的分析, 初步证明了激光雷达...理论分析和实验结果表明该方法具有较高的可靠性和准确性。
评级：0 浏览量：165 收藏量：0 资源大小：623KB 上传时间：2021-02-12

: 基于高阶正则与非光滑数据拟合项的图像边缘检测模型 在本文中，基于经典的Chan-Vese （CV）模型，介绍一个含有L1范数数据拟合项和二阶正则项（TV2）的分段常数图像边缘检测模型.新模型利用一个高阶正则函数对目标函数进行惩罚，将其作为新目标函数的一个约束，使得该...
评级：0 浏览量：136 收藏量：1 资源大小：1.87MB 上传时间：2021-05-06

: 多尺度红外超像素图像模型的小目标检测目的复杂背景中的红外小目标检测易受背景杂波与噪声的干扰...结论本文将超像素图像分割与多尺度理论引入低秩约束与稀疏表示联合模型，能够取得更好的背景抑制效果，并且可以适应不同大小目标的检测，实现复杂背景中红
评级：0 浏览量：334 收藏量：1 资源大小：1.75MB 上传时间：2021-03-15

: 基于模型检测的可信软件栈测试 (2010年) 基于模型检测理论，提出了一种可信软件栈的测试方法，使用计算树逻辑对可信软件栈的函数调用进行抽象描述，通过验证可信软件栈函数的接口和函数调用是否符合规范，从而确定平台中可信软件栈的正确性。测试结果表明，...
评级：0 浏览量：52 收藏量：0 资源大小：250KB 上传时间：2021-04-26

: 基于危险理论的无线传感器网络入侵检测的一种新模型基于危险理论的无线传感器网络入侵检测的一种新模型
评级：0 浏览量：27 收藏量：0 资源大小：2.37MB 上传时间：2021-04-06

: 人体姿态识别理论，创新，模型实现基于关键点的人体姿态识别可分为两个方面，即静态的人体姿态识别与动态的人体姿态识别，总的来说，人体关键点姿态识别技术主要...人体姿态识别理论、创新或模型实现。 1 引言 2 相关内容 3 模型设计 4 实验分析 5 总结
评级：0 浏览量：144 收藏量：0 资源大小：14.04MB 上传时间：2023-01-16

: 基于指纹和推导模型的泄密信息检测方案预防发布信息泄密是公开发布信息安全领域面临的一个富有挑战的问题。信息之间存在的推导关系是导致泄密的关键因素,本文将这种推导关系作为检测...最后,给出了泄密信息的检测算法,并对该算法进行了理论分析和实验验证。
评级：0 浏览量：41 收藏量：0 资源大小：1.03MB 上传时间：2021-05-17

: 论文研究-基于危险模式的IDS异常检测模型.pdf 针对当前入侵检测技术在检测新入侵的不足，分析了危险模式理论应用于异常检测的可行性，提出了一个新型的基于危险模式的自适应IDS异常检测系统模型以及相关算法。该系统有效地降低了误报率和漏报率，具有自适应、自...
评级：0 浏览量：73 收藏量：0 资源大小：152KB 上传时间：2019-07-22

: 帧级驾驶员困倦检测数据集我们部署retinaface模型来检测驾驶员的面部，并在每一帧的面部地标。自动检测到的边界框由手工检查和校正。在构建FL3D数据集时，我们提出了以下假设 1.对应于驾驶员闭上眼睛的微睡眠会话的所有顿都被标记为微睡眠。...
评级：0 浏览量：58 收藏量：0 资源大小：598.94MB 上传时间：2024-02-01

: 基于YoloV5实现的火灾检测系统python源码+文档说明+模型+数据集(2059张)+界面图片 yolov5-fire：基于YoloV5的火灾检测系统，将深度学习算法应用于火灾识别与检测领域，致力于研发准确高效的火灾识别与检测方法，实现图像中火灾区域的定位，为火灾检测技术走向实际应用提供理论和技术支持。...
评级：0 浏览量：137 收藏量：2 资源大小：20.68MB 上传时间：2024-01-14

: 论文研究-基于磁场模型的磁流体中永磁体位置检测方法研究 .pdf 基于磁场模型的磁流体中永磁体位置检测方法研究，徐晨，刘桂雄，永磁体在磁流体中能够自悬浮，准确获取悬浮位置信息是验证理论模型、调节各种影响磁场力的参数以实现悬浮位置可控的关键。采用解
评级：0 浏览量：118 收藏量：0 资源大小：486KB 上传时间：2019-08-14

: 电机控制数学模型与推导 • 双馈调速中的转差频率难以检测和控制。 • 在工程实际中常对转子绕组的电流进行整流，并以直流形式在转子中串入外加电动势，称之为串级调速。也叫低同步串级调速，这是由于转差功率只能单方向由整流器送出的缘故...
评级：0 浏览量：552 收藏量：0 资源大小：160KB 上传时间：2018-08-27

: 论文研究-基于熵理论改进混合高斯模型的运动目标检测算法.pdf 针对传统混合高斯模型学习率和背景模型阈值均采用无向导式选取方法，提出了相应的自适应更新策略。...实验结果表明，与传统算法相比，改进算法在克服光照突变、检测准确率、实时性以及目标提取完整度上均表现良好。
评级：0 浏览量：117 收藏量：0 资源大小：3.42MB 上传时间：2019-07-22

: CPVR2022论文解析PPT：DeepFusion 多模态融合3D目标检测模型论文解析高精度高效的多模态融合检测仍然是挑战。且数据对齐是模型精度遇到瓶颈的重要原因。当前多模态融合方法大多使用图像特征与原始点云融合。当前的融合方法难以进行有效的数据对齐。现存模型会对数据进行广泛的...
评级：0 浏览量：1422 收藏量：5 资源大小：6.82MB 上传时间：2023-05-02

: 采用预测模型与模糊理论的风电机组状态参数异常辨识方法为提高风电机组的停运预警能力，基于风电场...最后，以国内某风场的1.5 MW风电机组为例进行了异常分析，并与传统的风电机组状态参数异常检测方法进行了对比，实例分析结果表明所提出的异常辨识方法具有更高的准确性。
评级：0 浏览量：152 收藏量：1 资源大小：1.99MB 上传时间：2021-01-12

: 基于MATLAB的瞬时无功理论谐波检测算法仿真研究本文以谐波电流检测的平均值法为基础,对simulink下如何构建谐波检测仿真模型做了阐述,并进行了仿真。
评级：0 浏览量：255 收藏量：0 资源大小：72KB 上传时间：2020-08-05

: 论文研究-基于免疫入侵检测系统的攻击源追踪模型与算法 .pdf 基于免疫入侵检测系统的攻击源追踪模型与算法，孙刚，张凤斌，本文针对现存的各种攻击源追踪算法存在的无法动态分析网络数据流特征的缺点，采用免疫入侵检测系统的理论，提出了一种基于免疫入
评级：0 浏览量：69 收藏量：0 资源大小：513KB 上传时间：2019-08-19

: 暗物质直接检测的理论偏差分析当模型``A''适合暗物质直接检测数据时，当作为数据基础的模型是``B''时，会在拟合中引入理论偏差。我们对暗物质直接检测中的理论偏差进行了定量研究，重点是关于暗物质相互作用和速度分布的假设。我们在重的spin-1...
评级：0 浏览量：60 收藏量：0 资源大小：1.22MB 上传时间：2020-03-25

: 结构光焊缝检测传感器设计理论的研究依据透视变换理论,给出了光源倾斜照射和摄像机倾斜接收情况下,被检测物体与摄像机之间的一般坐标变换数学模型。这两个模型对结构光传感器的设计具有非常重要的指导意义,基于这两个模型设计的结构光传感已在自动焊接...
评级：0 浏览量：53 收藏量：0 资源大小：332KB 上传时间：2021-02-11

: 基于yolov5模型深度学习图片，视频目标检测小程序.zip 我们深入探讨了深度学习的基本原理、神经网络的应用、自然语言处理、语言模型、文本分类、信息检索等领域。更有深度学习、机器学习、自然语言处理和计算机视觉的实战项目源码，助您从理论走向实践，如果您已有一定...
评级：0 浏览量：33 收藏量：0 资源大小：12.68MB 上传时间：2024-02-06

: 基于LSTM神经网络模型的日志异常检测.zip 我们深入探讨了深度学习的基本原理、神经网络的应用、自然语言处理、语言模型、文本分类、信息检索等领域。更有深度学习、机器学习、自然语言处理和计算机视觉的实战项目源码，助您从理论走向实践，如果您已有一定...
评级：0 浏览量：22 收藏量：0 资源大小：82.2MB 上传时间：2024-02-02

: 在时域中进行微弱信号检测的一些方法继而研究了目前混沌系统中较为常用的达芬振子的模型，分析了使用该模型检测信号的原理并对系统的各个状态进行了仿真实验。对现在较为成熟的未知信号频率的检测方法和原理进行了研究，针对频率检测中周期...
评级：0 浏览量：232 收藏量：1 资源大小：23.67MB 上传时间：2021-07-07

: 论文研究-基于FCM与模糊粗糙集理论的交通事件检测模型.pdf 为准确及时地发现高速公路上的事故隐患，有效地减少交通延误，保障道路安全，提出了一种新的基于模糊C均值（FCM）聚类和模糊粗糙集的交通事件自动检测模型。模型分为离散化、推理规则建立和模糊推理三个步骤。在属性...
评级：0 浏览量：86 收藏量：0 资源大小：888KB 上传时间：2019-09-13

: 基于概率统计模型的遥感影像变化检测 (2008年) 基于概率统计理论，提出了一种基于t检验的遥感影像自动变化检测方法，并实现了其与相关系数法的有效结合，运用于复杂城区环境下地物类型的自动变化检测。对于高空问分辨率影像，有效引入纹理特征，减少了房屋阴影的...
评级：0 浏览量：51 收藏量：0 资源大小：230KB 上传时间：2021-04-26

: 基于图像的人脸检测方法综述人脸检测问题研究具有重大的使用价值和广阔的应用前景，被广泛应用于计算机视觉和人工智能等领域。本文首先对人脸检测研究现状进行系统全面的介绍，并将人脸检测方法进行详细分类；然后，对各种人脸检测方法的原理和...
评级：0 浏览量：259 收藏量：0 资源大小：600KB 上传时间：2021-01-29

资源推荐

相关资源标签

模型检测模型检测理论系统可靠性电机控制理论 Paper Model Checking 入侵检测磁场模型计算机软件与理论论文研究 matlab Open Access 瞬时无功理论谐波检测算法软件开发延迟时间预防性维修风电机组预测模型模糊综合评判人脸检测；人脸识别；统计理论理论模型强度分布衰减系数 scatterin theoretic intensity statistic 应用光学 applied sensor imaging 激光技术激光雷达目标检测 laser fraction fractal target 图像处理轨迹检测实验研究 image echo inte experimen ＳＰＩＮ；模型检测；线性时序逻辑研究论文无线传感器网络; 入侵检测; 人工免疫系统; 危险理论 wireless networks; intrusion detection; artificial immune system; danger theory 自然科学论文工程技术 information model 分布式分布式系统分布式开发参考文献专业指导人工智能深度学习 3D目标检测 python 数据集毕业设计课程设计项目开发资源资料机器学习远程调试