电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
精化检测是一种重要的形式化验证方法，将系统实现和性质规约用相同的形式化语言进行建模，如能证明两者间存在某种精化关系，且该关系能够维持性质，可得出系统实现满足性质规约，为验证不同类型的系统性质，traces，stable failures和failures-divergence精化检测方法已被提出．精化检测算法依赖于子集构造，因而其面临状态空间爆炸问题，近年来，已有学者针对NFA语言包含问题提出了基于模拟关系的状态空间消减方法，极大地提高了算法的性能，且该方法能够直接用于traces精化检测．在此基础上，提出了基于模拟关系的stable failures和failures-divergence精化检测方法，此外，还将精化检测扩展到了时间系统的验证中，提出了基于模拟关系的时间自动机traces精化检测方法，实验结果表明，基于模拟关系的算法效率有很大提高．
检测方法
加入交流群
扫码添加小助手
加入工程师交流群
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 基于Arduino和OLED的元胞自动机 0次下载
- 同步有界偏序自动机的同步性问题研究 5次下载
- 自动机终结字查找算法实现优化综述 3次下载
- 基于统计的AC自动机空间优化 0次下载
- 异步多进程时间自动机的可覆盖性问题 0次下载
- 建立描述OWL-S的服务过程自动机 0次下载
- 自动机械设计 0次下载
- 元胞自动机的介绍资料 4次下载
- [自动机与自动线].李绍炎.扫描版 0次下载
- 基于时间自动机的Ad hoc网络入侵检测
- 用于信息加密的分子自动机的编码研究
- 基于时间自动机的风洞试验自动控制研究
- 复杂网络上病毒传播的元胞自动机模拟
- 加性细胞自动机的同构性分析
- NFA→FA→GFA自动机转换算法
- 太阳光模拟器 | 在汽车自动驾驶开发中的应用 505次阅读
- 电动机的常规控制方法 2.8k次阅读
- 工业机器人、PLC与自动化之间的关系 3.1k次阅读
- 机器视觉检测技术在工业自动化中的应用 1.8k次阅读
- 电动机故障检测方法有哪些 4.7k次阅读
- 电动机的位置、速度检测方法 4.1k次阅读
- 电机检测方法及标准 1.4w次阅读
- 基于单片机控制实现汽车发动机故障模拟试验台的应用方案 3.8k次阅读
- 时间继电器控制双速电动机自动加速控制电路 2w次阅读
- 模拟电路检测方法与技巧 4.6k次阅读
- 自动机器学习的研究动机 4.4k次阅读
- 数字化电能表检测功能的新型模拟标准表的设计 1.3k次阅读
- 各种知识图谱精化方法,为国内同行介绍本领域的最新研究成果 7.5k次阅读
- 基于数字微流控与表面增强拉曼的超灵敏自动化免疫检测的新仪器新方法 5.9k次阅读
- PCB行业新技能：自动化设备+工业机器人 5.9k次阅读
上传资料赚积分下载排行
本周
- 1MDD品牌三极管MMBT3906数据手册
- 2.33 MB | 次下载 | 免费
- 2MDD品牌三极管S9012数据手册
- 2.62 MB | 次下载 | 免费
- 3联想flex2-14D/15D说明书
- 4.92 MB | 次下载 | 免费
- 4收音环绕扩音机 AVR-1507手册
- 2.50 MB | 次下载 | 免费
- 524Pin Type-C连接器设计报告
- 1.06 MB | 次下载 | 免费
- 6新一代网络可视化（NPB 2.0）
- 3.40 MB | 次下载 | 免费
- 7MS1000TA 超声波测量模拟前端芯片技术手册
- 0.60 MB | 次下载 | 免费
- 8MS1022高精度时间测量(TDC)电路数据手册
- 1.81 MB | 次下载 | 免费
本月
- 1爱华AIWA HS-J202维修手册
- 3.34 MB | 37次下载 | 免费
- 2PC5502负载均流控制电路数据手册
- 1.63 MB | 23次下载 | 免费
- 3NB-IoT芯片厂商的资料说明
- 0.31 MB | 22次下载 | 1 积分
- 4H110主板CPU PWM芯片ISL95858HRZ-T核心供电电路图资料
- 0.63 MB | 6次下载 | 1 积分
- 5UWB653Pro USB口测距通信定位模块规格书
- 838.47 KB | 5次下载 | 免费
- 6技嘉H110主板IT8628E_BX IO电路图资料
- 2.61 MB | 4次下载 | 1 积分
- 7苏泊尔DCL6907(即CHK-S007)单芯片电磁炉原理图资料
- 0.04 MB | 4次下载 | 1 积分
- 8100W准谐振反激式恒流电源电路图资料
- 0.09 MB | 2次下载 | 1 积分
总榜
- 1matlab软件下载入口
- 未知 | 935137次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420064次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233089次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191439次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183353次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81602次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73822次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65991次下载 | 10 积分
工商网监
评论