推荐下载
-
GAMBIT建模教程_5_使用建模工具
GAMBIT建模培训的PDF，对初学者很有用，从建模到网格划分都有详细的介绍和说明。
30 2019-01-02 -
并发的艺术
并发的艺术，Java并发编程的必读书籍，azw3格式，欢迎下载
24 2019-07-08 -
基于SPIN的Linux管道模型检测研究
针对科学实验载荷使用的Linux操作系统,对其测试方法等做了研究总结。模型检测作为一种全自动运行的形式化验证手段,在其适用领域对发现系统逻辑错误意义重大。针对操作系统测试需要,对Linux管道通信进行
4 2021-01-16 -
基于spin的测试ARINC653工具
基于spin的测试ARINC653工具，改工具提供了部分apex接口的测试用例
36 2019-04-08 -
ESpin基于SPIN的Eclipse模型检测环境
信息化社会中人们对软件可信性的要求越来越高,传统的测试技术已经不能充分保证系统的安全性,基于模型的形式化验证技术成为解决此类问题的重要途径。SPIN作为典型的模型检测工具,在学术界和工业界都得到了广泛
11 2021-04-07 -
UML系统建模对象建模
UML系统建模最适于数据建模,业务建模,对象建模,组件建模。
12 2021-04-23 -
使用Pytorch搭建模型的步骤
本来是只用Tenorflow的,但是因为TF有些Numpy特性并不支持,比如对数组使用列表进行切片,所以只能转战Pytorch了(pytorch是支持的)。还好Pytorch比较容易上手,几乎完美复制
19 2020-12-23 -
数据库建模工具的使用
使用Powerdesign建模工具完成本实验完成下列表中所描述数据库的概念数据模型设计，对关键字、控制、域完整性等做出必要的描述，根据实际情况确定联系的类型；依据所涉及的概念数据模型生成相应的物理
24 2020-02-27 -
数学建模基金的使用计划
数学建模基金的使用计划，基金，存款，国库券，奖金
26 2019-09-05 -
使用EnterpriseArchitect的UML20建模
使用EnterpriseArchitect的UML20建模
28 2019-01-07
用户评论