网站首页

形式化建模验证SMV模型检验器.rar

于 2021-12-08 发布

 0  233

下载积分: 1 下载次数: 1

我要下载

代码说明：

使用UML等建模工具建立模型，再将模型转换为形式的语句，编写SMV程序，输入SMV模型检验器进行验证。用于实现形式化方法模型检验

下载说明：请别用迅雷下载，失败请重下，重下不扣分！

发表评论

0 个回复

直流充电桩CAN报文充电流程解析 20190417
电动汽车直流充电桩can报文解析，以及充电流程。。

2020-12-12下载

积分：1
任务调度问题---算法导论
任务调度问题就是给定一个有穷单位时间任务的集合S，集合S中的每个任务都有一个截止期限di和超时惩罚wi，需要找出集合S的一个调度，使得因任务误期所导致的总惩罚最小，这个调度也称为S的一个最优调度。

2020-12-02下载

积分：1
visio 模具 visio2010
visio 模具 visio2010 visio2013,尽情下吧！！

2020-12-06下载

积分：1
PMSM simulink电机矢量控制模型
1.yongcitongbudianjiSVPWMshiliangkongzhifangzhen.mdl是simulink仿真文件，运行前先运行controlpara.m，否则会出错。2.RBFPID的程序已全部重写，具体请见nnrbf_it.m和dis_PID.m以及simulink文件中的NN PID模块。3.运行plot_.m文件可以画出仿真曲线。

2020-12-04下载

积分：1
ca6140车床杠杆（零件图+毛胚图+工艺工序卡片+说明书+夹具图）
cad图纸包括课程设计杠杆毛坯图.dwg 零件图.dwg 铣夹具体零件图.dwg 铣平台夹具装配图.dwg 钻25孔夹具体零件图.dwg 钻25孔装配图.dwg 钻M8低孔装配图.dwg 钻M8底孔夹具体零件图.dwg设计说明书完整版.doc工艺卡片 7张 cad工艺过程卡片 1张 cad

2021-05-06下载

积分：1
分层前推回代潮流计算
对33节点配电网进行节点分层，节点分层后计算配电网潮流可以大量提升计算效率

2020-11-28下载

积分：1
广州市行政区域图（新十一个区划分）SHP格式
包括区级行政划分、镇级行政划分，有街道。

2020-12-07下载

积分：1
vissim vap编程
vissim的vap编程语言介绍，后面附有编程的实例

2020-06-27下载

积分：1
unity3d虚拟摇杆贴图集合
unity3d虚拟摇杆贴图集合，再也不用担心缺少虚拟摇杆的图片了

2020-12-10下载

积分：1
MATLAB DL工具箱（deep learning toolbox）
一直在看Deep Learning，我目前也没能力自己去写一个toolbox。后来发现了一个matlab的Deep Learning的toolbox，发现其代码很简单，感觉比较适合用来学习算法。matlab的实现可以省略掉很多数据结构的代码，使算法思路非常清晰。有SAE、NN、DBN、CNN、CAE。有栈式自编码实现、神经网络、深度置信网络、卷积神经网络等。

2020-12-12下载

积分：1

696518资源总数
105877会员总数
14今日下载

形式化建模验证SMV模型检验器.rar

0 个回复

热门标签

热门下载