搜索资源列表
AiExpert-推理模型
- 一个面向对象的产生式推理模型，用于某专家系统的设计。提供了知识录入、编辑，自动推理，知识自检等功能。-an object-oriented production reasoning model, the expert system for a certain design. The knowledge input, editing, automated reasoning, knowledge, self-checking function.
jiandan0101
- 这是一个非常简单的遗传算法源代码，代码保证尽可能少，实际上也不必查错。对一特定的应用修正此代码，用户只需改变常数的定义并且定义“评价函数”即可。注意代码 的设计是求最大值，其中的目标函数只能取正值；且函数值和个体的适应值之间没有区别。该系统使用比率选择、精华模型、单点杂交和均匀变异。如果用 Gaussian变异替换均匀变异，可能得到更好的效果。代码没有任何图形，甚至也没有屏幕输出，主要是保证在平台之间的高可移植性。读者可以从ftp.uncc.edu, 目录 coe/evol中的文件prog.c中
hyplas
- ************************************************************************ * * * * * 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
arma2
- 可用于时间序列分析，包括模式判别，模型检验-For time series analysis, including model identification, model checking
Matlab-for-Copula
- 至今最全的Copula函数计算程序，包含参数估计、模型检验、随机模拟等-Copula function has the most complete computer program, including parameter estimation, model checking, stochastic simulation, etc.
NuSMV-2.5.1.tar
- 这是模型检测的一个最新版本，希望对大家有所帮助。-This is one of the latest version of model checking, we want to help.
GM
- 灰色预测模型的EXCEL案例！Microsoft Office Excel可按公式法、解矩阵法、回归法等求解灰参数,可大大减轻求解灰参数的工作 量,从而简捷地建立GM(1,1)模型 -Application of Excel in prediction and model checking of dynamic GM(1,1)
lottery1
- 建模测试，在PRISM中实现先占先得的调度算法来检验所见模的逻辑正确性-model checking
d4ef13.ZIP
- EFBS数据交换模型与完整性检查机制EFBS data exchange model and integrity checking mechanism-EFBS data exchange model and integrity checking mechanism
LinearRegression
- 该算法是实现多元线性回归算法。该算法包含了F检验，t检验，模型检验。-The algorithm is to achieve multiple linear regression algorithm. The algorithm includes the F-test, t test, model checking.
jiashejianyan
- 检验cir模型构造的模型的参数a、b及sigma(Checking the parameters of the model constructed by the CIR model)
ABAQUS+UMAT+FORTRAN
- ABAQUS中用户材料子程序UMAT的开发主要解决两方面的问题：本构模型的建立和积分算法的选择。 本文主要研究非线性材料的UMAT实现方法，并重点研究其迭代算法部分，目前，用户材料子程序UMAT的迭代算法主要是常刚度法，常刚度法的优点在于算法原理较简单，程序编写较方便，缺点是当遇到复杂非线性材料时，其迭代次数较多，收敛速度也较慢，在这个情况下，本文采取的是一种迭代次数较少且收敛速度较快的切线刚度法，具体就是采用FORTRAN语言编制了基于Von-Mises模型的接口程序,并采用切线刚度算