CDN加速镜像 | 设为首页 | 加入收藏夹
当前位置: 首页 资源下载 源码下载 数值算法/人工智能 matlab例程 搜索资源 - model checking

搜索资源列表

  1. jiandan0101

    0下载:
  2. 这是一个非常简单的遗传算法源代码,代码保证尽可能少,实际上也不必查错。对一特定的应用修正此代码,用户只需改变常数的定义并且定义“评价函数”即可。注意代码 的设计是求最大值,其中的目标函数只能取正值;且函数值和个体的适应值之间没有区别。该系统使用比率选择、精华模型、单点杂交和均匀变异。如果用 Gaussian变异替换均匀变异,可能得到更好的效果。代码没有任何图形,甚至也没有屏幕输出,主要是保证在平台之间的高可移植性。读者可以从ftp.uncc.edu, 目录 coe/evol中的文件prog.c中
  3. 所属分类:matlab例程

    • 发布日期:2008-10-13
    • 文件大小:3.67kb
    • 提供者:nokia8
  1. arma2

    0下载:
  2. 可用于时间序列分析,包括模式判别,模型检验-For time series analysis, including model identification, model checking
  3. 所属分类:matlab

    • 发布日期:2017-04-13
    • 文件大小:1.9kb
    • 提供者:刘奕嫔
  1. NuSMV-2.5.1.tar

    0下载:
  2. 这是模型检测的一个最新版本,希望对大家有所帮助。-This is one of the latest version of model checking, we want to help.
  3. 所属分类:matlab

    • 发布日期:2017-05-14
    • 文件大小:3.62mb
    • 提供者:li
  1. jiashejianyan

    0下载:
  2. 检验cir模型构造的模型的参数a、b及sigma(Checking the parameters of the model constructed by the CIR model)
  3. 所属分类:matlab例程

    • 发布日期:2018-05-06
    • 文件大小:372kb
    • 提供者:零宏
搜珍网 www.dssz.com