CDN加速镜像 | 设为首页 | 加入收藏夹
当前位置: 首页 资源下载 文档资料 软件工程 搜索资源 - 模型检验

搜索资源列表

  1. shidasuanfa

    0下载:
  2. • 1、蒙特卡罗算法(该算法又称随机性模拟算法,是通过计算机仿真来解决问题的算法,同时可以通过模拟可以来检验自己模型的正确性,是比赛时必用的方法)
  3. 所属分类:软件工程

    • 发布日期:2008-10-13
    • 文件大小:4.02kb
    • 提供者:谭永彪
  1. 435

    0下载:
  2. 优化基于模型检验的测试生成Optimal test generation based on model checking-Optimal test generation based on model checking
  3. 所属分类:software engineering

    • 发布日期:2017-04-17
    • 文件大小:222.1kb
    • 提供者:mc
  1. AMOS

    0下载:
  2. 主要讲述了SEM 基础SEM 假设使用AG建立和检验模型AMOS 输出解释 摘要:结论的实质性解释-SEM focuses on the basic assumptions used SEM to establish and test the model AG AMOS output explained Abstract: substantive interpretation of findings
  3. 所属分类:software engineering

    • 发布日期:2017-05-12
    • 文件大小:2.73mb
    • 提供者:李娟
  1. perceptron

    0下载:
  2. 4. 试将感知机学习算法用C语言编成程序,并做下述的 维随机矢量 的二值分类的模拟实验: (1) 用程序产生M个均值为0,方差为1的正态随机矢量(取维数 ,即 , ;每个 为服从N(0,1) 分布的随机变量)。要求产生三组矢量(分别取M=10,20,30), 分别用每组矢量训练一个感知机模型。对于每个训练矢量 ,给定其理想输出为 。在每组训练收敛后,再产生30个新矢量,用来检验所得到的感知机的分类性能。对每一组结果要给出收敛时所用的迭代次数 ,收敛时的权矢量值 ,和检验时所达到的正确分类率
  3. 所属分类:software engineering

    • 发布日期:2017-11-14
    • 文件大小:1.15kb
    • 提供者:小辛
  1. pqgwe

    0下载:
  2. 是国外的成品模型,脉冲响应的相关分析算法并检验,分析了该信号的时域、频域、倒谱,循环谱等。- Foreign model is finished, Related impulse response analysis algorithm and inspection, Analysis of the signal time domain, frequency domain, cepstrum, cyclic spectrum, etc.
  3. 所属分类:Software Testing

    • 发布日期:2017-12-15
    • 文件大小:7kb
    • 提供者:李玉哲
  1. dpnij

    0下载:
  2. matlab实现了五类灰色关联度模型的计算,对HARQ系统的吞吐量分析,脉冲响应的相关分析算法并检验。- matlab implements five gray correlation degree computing model, HARQ throughput analysis of the system, Related impulse response analysis algorithm and inspection.
  3. 所属分类:Software Testing

    • 发布日期:2017-12-10
    • 文件大小:4.95kb
    • 提供者:张红
搜珍网 www.dssz.com