验证模型

验证模型技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。

资源总数
500

验证模型 热门资料

查看全部 500 份 →

基于组件的软件开发方法已成为当前软件开发的一个重要的新方法，由此,如何合理地科学地划分组件的粒度，进而使组件的重用性与可维护性达到最佳平衡,作为一个难点重点问题凸现出来。为此，文章在对空间材料综合实验

2024-02-24 3 验证模型

软件安全静态分析是检测软件安全漏洞的一种手段。本文在总结现有的软件安全静态分析方法的基础上，将在硬件设计领域得到成功应用的模型检验方法引入到软件产品的检验中，给出了一种基于自动机理论的检测软件

2024-05-04 4 验证模型

用NRTL模型，求解萘在一种离子液体中的活度系数。 求解非线性方程、非线性拟合都可以实现。 稍微对比了一下，发现还是拟合的结果好些。 Matlab源程序及结果在附件里

2015-07-21 191 验证模型

博弈模型，蓝色的格子表示采用合作的策略，红色的格子表示采用背叛的策略。

2015-09-07 142 验证模型