基于NuSMV语言描述三层电梯的行为,并对相关性质进行模型检测。
是一个模型检测应用的简单例子。
2025/6/26 4:44:21 4KB 电梯,NuSMV
ETAP入门建模视频,高清,适合入门同学学习,共六集。
2025/6/25 13:57:05 27.64MB ETAP 暂态分析
Z变换具体公式,对学现代控制理论、经典控制理论都有帮助
2025/6/24 14:27:05 189KB Z变换
能用,本人2010aMATLAB,谐波滤除后THD2.3%,三五七次谐波
2025/6/24 10:03:20 119KB 滞环,ipiq
Kettle资源包下载,无需积分,关注即可下载!!!
2025/6/24 8:04:18 862.23MB 数据库 jdk
优化控制领域的经典教材,FrankW.Lewis教授是该领域的大牛,也是自适应动态规划的提出者,想对优化控制有更好理解的值得下载。
2025/6/24 8:23:44 4.89MB 优化控制 控制理论 经典教材
这个是电子科技大学模拟集成电路课件很好的资料
2025/6/24 6:22:45 9.77MB 电子科技大学 模拟集成电路
2008-2020辽宁行测.pdf
2025/6/24 5:43:46 5.53MB 行测 公考
此程序中我们实现选取路径并加载显示图片,然后还可在显示的图片中标记ROI感兴趣区域。
2025/6/23 11:07:57 18.6MB MFC OpenCV 图像显示 ROI
SIGKDD2016论文全集第三部分
2025/6/22 20:43:22 45.25MB SIGKDD2016 论文全集
共 1000 条记录 首页 上一页 下一页 尾页