-
形式化建模验证SMV模型检验器.rar
【实例简介】使用UML等建模工具建立模型，再将模型转换为形式的语句，编写SMV程序，输入SMV模型检验器进行验证。用于实现形式化方法模型检验
- 2021-12-08 00:35:00下载
- 积分：1
-
随机振动——经典，通俗易懂
随机过程的详细解读，包括功率谱/相关函数等，与国外教材风格一致，很通俗易懂
- 2020-12-07下载
- 积分：1
-
鲸鱼优化算法 WOA matlab源代码（详细注释）
此资源是在Seyedali Mirjalili鲸鱼优化算法matlab源代码上增加详细中文注释，方便阅读和学习
- 2020-11-28下载
- 积分：1
-
汽车操纵动力学（郭孔辉）.pdf
本书介绍了汽车操纵性与稳定性的基本概念、评价理论、试验方法等。
- 2020-06-01下载
- 积分：1
-
医学三维可视化软件demo
利用QT做的医学三维可视化软件，具备交互功能，实现三个正交面的切割的多窗口显示。
- 2020-11-03下载
- 积分：1
-
偏微分方程数值解实验报告
【实例简介】用Euler法和改进的Euler法求解，其中步长h=0.1,0.05,0.01
用三阶Adams外插法及内插法求解，步长h=0.1,0.05,0.01
- 2021-11-09 00:31:01下载
- 积分：1
-
PyQ5基本窗口控件详解
Pyqt5基本窗口控件，内涵各个控件的使用实例与方法，可以充分理解认识学习正确使用PyQt的基本控件，代码内含有详细的注释解析
- 2020-12-11下载
- 积分：1
-
sniffer源代码文件
通过研究Winpcap中常用的库函数的使用方式来实现了一个小型的网络数据包抓包器，并通过对原始包文的分析来展示当前网络的运行状况。
- 2020-11-30下载
- 积分：1
-
多重网格matlab程序
用matlab编写的多重网格程序，能有效的求出偏微分方程的精确数值解；里面即有界面又有函数接口；很好用。
- 2020-12-06下载
- 积分：1
-
大量图像去雾源代码和图像去雾质量评价标准代码
大量图像去雾源代码和图像去雾质量评价标准代码
- 2021-05-06下载
- 积分：1
|
联系客服（QQ：3324461878）
