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

搜索资源列表

  1. hyplas

    8下载:
  2. ************************************************************************ * * * * * THIS IS THE H Y P L A S 2.0 README FILE * * ----------------- * * * * HYPLAS is a finite element program for implicit small and large * * strain analisys of hyperelast
  3. 所属分类:数学计算/工程计算

    • 发布日期:2011-07-29
    • 文件大小:10.5mb
    • 提供者:gtcewli3
  1. Matlab-for-Copula

    21下载:
  2. 至今最全的Copula函数计算程序,包含参数估计、模型检验、随机模拟等-Copula function has the most complete computer program, including parameter estimation, model checking, stochastic simulation, etc.
  3. 所属分类:数学计算/工程计算

    • 发布日期:2012-10-28
    • 文件大小:142.4kb
    • 提供者:闫宝伟
  1. lottery1

    0下载:
  2. 建模测试,在PRISM中实现先占先得的调度算法来检验所见模的逻辑正确性-model checking
  3. 所属分类:Algorithm

    • 发布日期:2017-04-01
    • 文件大小:877byte
    • 提供者:robin
  1. LinearRegression

    0下载:
  2. 该算法是实现多元线性回归算法。该算法包含了F检验,t检验,模型检验。-The algorithm is to achieve multiple linear regression algorithm. The algorithm includes the F-test, t test, model checking.
  3. 所属分类:Algorithm

    • 发布日期:2017-04-14
    • 文件大小:3.92kb
    • 提供者:肖皇
  1. ABAQUS+UMAT+FORTRAN

    13下载:
  2. ABAQUS中用户材料子程序UMAT的开发主要解决两方面的问题:本构模型的建立和积分算法的选择。 本文主要研究非线性材料的UMAT实现方法,并重点研究其迭代算法部分,目前,用户材料子程序UMAT的迭代算法主要是常刚度法,常刚度法的优点在于算法原理较简单,程序编写较方便,缺点是当遇到复杂非线性材料时,其迭代次数较多,收敛速度也较慢,在这个情况下,本文采取的是一种迭代次数较少且收敛速度较快的切线刚度法,具体就是采用FORTRAN语言编制了基于Von-Mises模型的接口程序,并采用切线刚度算
  3. 所属分类:数学计算

    • 发布日期:2019-07-05
    • 文件大小:12.49mb
    • 提供者:示士十
搜珍网 www.dssz.com