网站首页

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

于 2021-12-08 发布

 0  275

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

我要下载

代码说明：

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

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

发表评论

0 个回复

利用MATLAB构造线性二次型最优控制器
利用matlab中的函数[K,P,E]=lqr(A,B,Q,R)就可以得到线性二次型最优控制问题的解。其中输出变量中的K是最优反馈增益矩阵，P是黎卡提矩阵方程的对称正定解矩阵，E是最优闭环系统的极点。

2020-11-30下载

积分：1
PSF参数估计
模糊长度和尺度估计

2021-05-06下载

积分：1
大话数据结构原书+源代码完整版
大话数据结构原书+源代码

2020-12-07下载

积分：1
计算瞬时频率
介绍非平稳信号的瞬时频率计算。利用hht算法，

2020-12-10下载

积分：1
计算机网络-自顶向下方法第七版（配套资源）
计算机网络-自顶向下方法第七版配套资源（课后答案，勘误表，wireshark实验，ppt等资源).

2020-11-03下载

积分：1
NSGA-III代码
测试可以跑，根据自己情况修改下函数即可.NSGA-III 首先定义一组参考点。然后随机生成含有 N 个（原文献说最好与参考点个数相同）个体的初始种群，其中 N 是种群大小。接下来，算法进行迭代直至终止条件满足。在第 t 代，算法在当前种群 Pt的基础上，通过随机选择，模拟两点交叉（Simulated Binary Crossover，SBX）和多项式变异产生子代种群 Qt。Pt和 Qt的大小均为 N。因此，两个种群 Pt和 Qt合并会形成种群大小为 2N 的新的种群 Rt=Pt∪Qt。为了从种群 Rt中选择最好的 N 个解进入下一代，首先利用基于Pareto支配的非支配排序将 Rt分为

2020-11-29下载

积分：1
2ASK信号产生调制解调误码率分析MATLAB程序
使用MATLAB完成2ask信号的产生加噪调制解调接收误码率分析等仿真。解调采用相干解调与非相干解调两种方式。

2020-06-27下载

积分：1
d-s证据理论程序
这是关于d-s证据理论的matlab源代码，还在为写程序发愁的童鞋们有笑了

2021-05-06下载

积分：1
去趋势互相关（DCCA）
用matlab实现去趋势互相关分析的DCCA算法，将两组数据分析其协方差，最后得到DCCA指数，并进行T检验-DCCA

2020-11-29下载

积分：1
烟雾模拟源工程代码
烟雾模拟源工程代码，基于siggraph的一篇论文，代码量不多简单易读。

2020-12-08下载

积分：1

696516资源总数
106562会员总数
4今日下载

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

0 个回复

热门标签

热门下载