搜索资源列表
AiExpert-推理模型
- 一个面向对象的产生式推理模型，用于某专家系统的设计。提供了知识录入、编辑，自动推理，知识自检等功能。-an object-oriented production reasoning model, the expert system for a certain design. The knowledge input, editing, automated reasoning, knowledge, self-checking function.
ExhCAD_1_01a_Final
- 《管状换热器计算机辅助设计系统ExhCAD绘图系统(版本:1.01a Final)》为自由软件，采用增量软件开发模型，并用UML对软件进行 建模，以便更新。 该版本只是对换热器的最简单的形式做出设计，而且程序在计算 (包括设计、校核两部分，其中校核部分未编)、绘图过程中都作了简 化，虽然采用了参数化绘图，并能进行简单的数据管理，但没有考虑 换热器的插入件、安装(待编)等因素的影响，特别是在绘图中用 Automatuion技术绘制了管子部分,并对一些常
mops-0.9.1.tar.gz
- Mops 模型检测工具 用来对C程序进行检测,model checking c programs
arma2
- 可用于时间序列分析，包括模式判别，模型检验-For time series analysis, including model identification, model checking
NuSMV-2.4.3.tar.gz
- NuSMV是一个符号模型检测器，由CMU的SMV发展而来的。,NuSMV-2.4.3 a model checking tool
Matlab-for-Copula
- 至今最全的Copula函数计算程序，包含参数估计、模型检验、随机模拟等-Copula function has the most complete computer program, including parameter estimation, model checking, stochastic simulation, etc.
GlVideoManager
- VideoMan (Video Manager) is an open-source C++ library that helps you developing video based applications. We created VideoMan to increase our productivity developing computer vision applications, but it can be used in many other ways. With Vid
steam_0.2-1.tar
- 用来检测C++程序的正确性，是一个非常有用的工具，确保代码正确-StEAM, (State Exploring Assembly Model Checker) is a model checker for native concurrent C++ programs. It extends a virtual machine- called ICVM- to perform model checking directly on the assembly level.
Symbolic_Model_Checking_floc06
- Symbolic Model Checking
sampleproject
- VS.NET插件 可以定义模式检查代码 演示了如何开发addin-VS.NET plug-in can define the model checking code demonstrates how to develop addin
NuSMV-2.5.1.tar
- 这是模型检测的一个最新版本，希望对大家有所帮助。-This is one of the latest version of model checking, we want to help.
practical_design_verification
- Improve design efficiency and reduce costs with this practical guide to formal and simulation-based functional verification. Giving you a theoretical and practical understanding of the key issues involved, expert authors explain both formal tec
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
Economics-of-Software-Verification
- How can we determine the added value of software verification techniques over the more readily available conventional testing techniques? Formal verification techniques introduce both added costs and potential benefits. Can we show objectively
Chsrara
- 基于摄像头的人脸肤色模型检测测，采用HSV空间。 -Camera-based skin color model checking measured using the HSV color space.
chap_4_3_1_2B
- 基于matlab的模型检测，仿真，主要针对的是轮廓控制部分。带有仿真结果-Matlab based model checking, simulation, mainly for the contour control section. With simulation results
LinearRegression
- 该算法是实现多元线性回归算法。该算法包含了F检验，t检验，模型检验。-The algorithm is to achieve multiple linear regression algorithm. The algorithm includes the F-test, t test, model checking.
admesh
- 模型检测与修复的源码，很有参考、研究与借鉴价值，值得一看-Model checking and repair, it is worth learning
ABAQUS+UMAT+FORTRAN
- ABAQUS中用户材料子程序UMAT的开发主要解决两方面的问题：本构模型的建立和积分算法的选择。 本文主要研究非线性材料的UMAT实现方法，并重点研究其迭代算法部分，目前，用户材料子程序UMAT的迭代算法主要是常刚度法，常刚度法的优点在于算法原理较简单，程序编写较方便，缺点是当遇到复杂非线性材料时，其迭代次数较多，收敛速度也较慢，在这个情况下，本文采取的是一种迭代次数较少且收敛速度较快的切线刚度法，具体就是采用FORTRAN语言编制了基于Von-Mises模型的接口程序,并采用切线刚度算