注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 一种基于支持向量机的入侵检测模型

  2. ：支持向量机（support vector machines）是一种建立在统计学习理论基础之上的机器学习方法。基于支持向量机在处理小 样本、高维数及泛化能力强等方面的优势，该文提出了一种根据结构风险最小化原则基于支持向量机的入侵检测系统，首先 简单介绍了入侵检测系统近来的发展状况和支持向量机的分类算法，然后给出以支持向量机分类算法为基础的入侵检测模 型，以系统调用执行迹进行仿真实验，详细讨论了该模型的工作过程及核函数参数的选取对检测性能的影响。实验表明，该 模型在先验知识较小的情况下，能够较好

  3. 所属分类：网络攻防

    • 发布日期：2009-05-19
    • 文件大小：167936
    • 提供者：shicxi

  1. model checking

  2. 模型检测ppt， 理论，工具和其它相关介绍，

  3. 所属分类：专业指导

    • 发布日期：2009-05-21
    • 文件大小：734208
    • 提供者：chendaoxi

  1. 模型检测相关的理论与方法

  2. 关于模型检测的权威论文,介绍了模型检测的涵盖的内容！

  3. 所属分类：专业指导

    • 发布日期：2009-09-30
    • 文件大小：589824
    • 提供者：willow2001

  1. 模型检测理论、方法与应用.pdf

  2. 模型检测理论,原理，研究现状，存在的问题及发展方向概述

  3. 所属分类：专业指导

    • 发布日期：2009-10-13
    • 文件大小：368640
    • 提供者：tanjian131

  1. 本科毕业论文 基于支持向量机（SVM）的蘑菇毒性检测系统

  2. 本科毕业论文 基于支持向量机（SVM）的蘑菇毒性检测系统 目 录 摘 要 II 关键词 II Abstract II Key Words II 1引言 1 1.1研究意义 1 1.2国内外研究情况 1 2支持向量机理论 3 2.1支持向量机基础理论 3 2.2 C-SVM算法及其变形算法 7 2.3 V-SVM算法 9 3 LIBSVM软件 12 3.1 LIBSVM软件简介 12 3.2 LIBSVM软件的使用方法 12 3.3 LIBSVM的工具包 15 4 Qt图形库 18 5 系统的设

  3. 所属分类：其它

    • 发布日期：2010-01-13
    • 文件大小：745472
    • 提供者：macalyou

  1. 程序重构预处理在提高软件模型检测效率中的应用

  2. 针对软件模型检测目前很难处理大型程序的问题,提出用程序重构技术对待检的源代码进行预处理,以提高模型检测算法的效率.程序重构将大型程序分解成语义一致的小型过程的集合,由于模型检测算法中过程总结边可单独计算,而且在程序中对某过程的调用可能有多次,这种预处理可以避免状态空间的重复搜索,从而降低模型检测算法在空间和时间上的开销.根据表达程序性质的线性时序逻辑LTL公式的构成,给出了程序重构预处理前后程序语义相等的充分条件;并给定程序和性质公式,用blast作为程序模型检测实验工具,比较程序重构预处理前

  3. 所属分类：咨询

    • 发布日期：2011-03-29
    • 文件大小：359424
    • 提供者：iwsdiwsd

  1. UMLStatecharts的模型检验方法

  2. UMLStatecharts的模型检验方法 摘 要: 统一建模语言 UML 已广泛应用于软件开发中,验证 UML 模型是否满足某些关键性质成为一个重要 问题.提出了对 UML Statecharts 进行模型检验的方法.首先用扩展层次自动机结构化地表示 UML Statecharts,然 后给出其操作语义,通过寻找最大无冲突迁移集可以保证语义的正确性.对于具有无穷运行的系统,该操作语义 可以映射到一个 Büchi自动机.使用基于自动机理论的模型检验方法来验证 UML Statecharts 的

  3. 所属分类：专业指导

    • 发布日期：2008-12-25
    • 文件大小：285696
    • 提供者：w512577152

  1. Principles Of Model Checking

  2. 模型检测领域的权威书籍！内容涵盖了该领域的各个分支，是模型检测领域的理论基础！

  3. 所属分类：专业指导

    • 发布日期：2009-03-22
    • 文件大小：5242880
    • 提供者：hhtdeemail

  1. 手术系统中图像的边缘检测算法研究

  2. 本文的主要内容如下: 第一章主要说明了论文研究的应用背景一虚拟手术系统中数字图像的边缘检测。对虚拟手术系统的发展、组成做了简要的介绍。 第二章介绍了传统的图像边缘检测方法 第三章介绍了基于小波变换的图像边缘检测方法。 第四章对传统Snake动态轮廓模型的理论、算法及存在的不足进行了详细讨论。 第五章针对传统Snake动态轮廓模型的不足，深入研究了日前应用比较好的GVF Snake动态轮廓模型。 第六章结合小波分析理论和GVF Snak。动态轮廓模型方法，提出了种图像边缘检测的新方法:WVF(小

  3. 所属分类：其它

    • 发布日期：2009-03-24
    • 文件大小：4194304
    • 提供者：xx_0305401

  1. 模型检测理论、方法与应用

  2. 模型检测：理论方法与应用。模型检测的经典论文，作者：林慧民、张文辉

  3. 所属分类：其它

    • 发布日期：2018-01-16
    • 文件大小：188416
    • 提供者：u012440095

  1. 信号检测与估计——2-4章习题总结.ppt

  2. 第二章内容：讨论离散随机信号、连续随机信号的统计特性；研究线性系统对平稳随机性的响应；建立随机噪声的常用数学模型；简要介绍随机参量信号的统计特性。 第三章内容：信号的统计检测理论，研究在噪声干扰中，信号的有无以及信号是属于哪个状态的最佳判决问题。其数学基础就是统计判决理论,信号的统计检测又称假设检验。 假设：研究对象可能的情况或状态，对于一种情况做出一个假设。 检验：是按一定的准则进行判断，以确定哪一个假设成立的过程。 第四章内容：将第三章有关统计检测的理论，推广至噪声中信号波形的最佳检测问题；

  3. 所属分类：专业指导

    • 发布日期：2019-09-02
    • 文件大小：6291456
    • 提供者：qq_21685903

  1. 海杂波背景下小目标检测的深度信念网络方法

  2. 结合深度学习相关理论，提出了海杂波背景下小目标检测的深度信念网络方法。该方法以无标签数据逐层进行非监督贪婪训练，使每层得到一个合适的初始值；构建深度信念网络初步模型，并以带标签的数据对该种模型以误差反向算法对整个网络的参数进行调优，建立预测模型；最后利用该种预测模型检测湮没在海杂波背景下的小目标信号。以加拿大McMaster实测的IPIX雷达数据进行实验，利用均方根误差评价性能。实验结果表明，针对第54#海杂波数据，文章提出的深度信念网络方法所预测的均方根误差为0.016，与已有的选择性支持向量

  3. 所属分类：其它

    • 发布日期：2020-10-16
    • 文件大小：410624
    • 提供者：weixin_38506713

  1. 一种基于免疫的入侵检测关联报警模型

  2. 在入侵检测系统Snort的基础上，结合网络实时危险评估技术，提出了一种基于免疫的网络入侵检测报警模型SAIM。给出了网络环境下记忆细胞的表示方法，以及记忆细胞实时危险计算过程，建立了主机分类及总体实时危险计算方程，在此基础上给出了网络入侵检测报警模型。理论分析和试验结果均表明，SAIM模型能有效进行关联报警，提高报警质量。

  3. 所属分类：其它

    • 发布日期：2020-10-17
    • 文件大小：253952
    • 提供者：weixin_38686542

  1. 多智体系统时序认知规范的SPIN模型检测

  2. ＳＰＩＮ 模型检测器主要用来检测线性时序逻辑描述的规范， 而多智体系统的规范采用时序认知逻辑描述比较方便。本文着重讨论了如何利用 ＳＰＩＮ 模型检测线性时序认知逻辑的方法， 根据局部命题的理论， 将模型检 测 知 识 算 子 和 公 共 算 子 表 述 的 规 范 规 约 为 模 型 检 测 线 性 时 序 逻 辑 的 问 题， 从 而 使ＳＰＩＮ 的检测功能由线性时序逻辑扩充到线性时序认知逻辑。本文通过一个 ＲＰＣ 协议分析实例来说明模型检测线性时序认知逻辑的方法。

  3. 所属分类：其它

    • 发布日期：2021-02-23
    • 文件大小：292864
    • 提供者：weixin_38674050

  1. 一种基于免疫的入侵检测关联报警模型

  2. 在入侵检测系统Snort的基础上,结合网络实时危险评估技术,提出了一种基于免疫的网络入侵检测报警模型SAIM。给出了网络环境下记忆细胞的表示方法,以及记忆细胞实时危险计算过程,建立了主机分类及总体实时危险计算方程,在此基础上给出了网络入侵检测报警模型。理论分析和试验结果均表明,SAIM模型能有效进行关联报警,提高报警质量。

  3. 所属分类：其它

    • 发布日期：2021-02-21
    • 文件大小：180224
    • 提供者：weixin_38611254

  1. 基于启发式SCCs的广义Büchi自动机判空检测算法

  2. 基于自动机理论模型检测的一个关键算法是判断有穷状态系统是否满足属性的判空检测.对标准Büchi自动机作判空检测,容易引起状态爆炸.本文以TGBA为研究对象,提出基于启发式SCCs的广义Büchi自动机判空检测算法.该算法在on-the-fly算法的基础上结合启发式深度优先搜索和SCCs检测算法,能较快地判断TGBA的非空性.通过正确性证明、复杂性分析和实验验证了该算法的正确可行性.在TGBA非空的情况下,该算法的时空性能比已有算法更优.

  3. 所属分类：其它

    • 发布日期：2021-02-20
    • 文件大小：780288
    • 提供者：weixin_38691199

  1. 基于机载激光雷达成像的动目标轨迹检测模型

  2. 建立了激光成像雷达探测目标的数学模型，分析了目标成像点轨迹形成的整个过程，讨论了距离像上的目标回波强度与目标距离之间的关系，得出了单次脉冲成像回波峰值点在像面上的坐标分布函数。设计实验并提出了一种动目标三维轨迹检测的方法，利用自适应阈值法对激光雷达实验图像进行了处理，得到了目标成像点轨迹分布；对比了距离像的理论和实验数据，结果表明理论模型检测的目标轨迹结果与实验结果误差控制在2%以内，具有较高的吻合度，所得结论可为目标轨迹预测以及意图判断提供参考意义。

  3. 所属分类：其它

    • 发布日期：2021-02-12
    • 文件大小：1048576
    • 提供者：weixin_38538224

  1. 弱散射材料中激光超声单散射理论模型

  2. 基于扩散波传输理论，针对弱散射介质中的激光超声散射，提出单散射假设，建立包含信号源、超声散射和接收信号的理论模型。理论分析结果表明横波和纵波的散射机理相同，得到了横波和纵波的单散射强度在时间域的分布规律。进而分析统计平均深度和衰减系数对单散射强度的影响。为材料的无损检测、材料微观结构的分析及性能评价提供理论依据。

  3. 所属分类：其它

    • 发布日期：2021-02-09
    • 文件大小：1048576
    • 提供者：weixin_38629130

  1. 基于分解的多值模型的逼近关系

  2. 多值模型可用于对包含不确定与不一致信息的软件系统进行建模与验证。提出了采用基于分解的方式来刻画多值模型之间的逼近关系,这为采用抽象方法解决模型检测时所产生的状态爆炸问题奠定了理论基础。为此,首先给出了多值模型分解为多个三值模型的方法,并且证明了任意μ演算公式在多值模型上的检测结果等于在分解后所有三值模型上的检测结果的合并。进一步,由三值模型上的混合模拟关系给出了多值模型间逼近关系的结构定义,并证明对于任意给定的两个满足逼近关系的多值模型,μ演算公式在其上的检测结果在信息序关系上得以保持。

  3. 所属分类：其它

    • 发布日期：2021-02-08
    • 文件大小：657408
    • 提供者：weixin_38573171

  1. 表面疵病动态彩色编码融合成像检测技术

  2. 表面微小疵病在用不同波长的光照明时, 其光学图像会存在不同程度的非线性放大畸变现象, 对成像信息中的目标提取和信噪比(SNR)将产生一定的影响。提出利用红、绿、蓝三基色光源辐照下的疵病图像进行动态彩色编码成像的方法, 经像素级图像融合后可实现高冗余信息的图像合成, 从而在获取表面微小疵病丰富细节的同时可进一步提高信噪比。分析了针对三基色图像进行彩色编码的理论, 提出了基于图像梯度的动态权值融合成像方法, 同时给出了光谱非线性放大信号的噪声分析模型, 通过理论分析和数值模拟两方面, 充分验证了动态

  3. 所属分类：其它

    • 发布日期：2021-02-04
    • 文件大小：7340032
    • 提供者：weixin_38685455
« 12 3 4 5 6 7 8 9 10 ... 33 »