电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
现有模型检测工具的形式化规范语言。如计算树逻辑（computation tree logic，简称CTL）和线性时序逻辑（Linear temporal logic，简称LTL）等的描述能力不足，无法验证∞正则性质．提出了一个命题投影时序逻辑（propositional proj ection temporal logic，简称PPTL）符号模型检测工具-PLSMC（PPTL symbolic model checker）的设计与实现过程．该工具基于著名的符号模型检测系统NuSMV，实现了PPTL的符号模型检测算法．PLSMC的规范语言PPTL具有完全正则表达能力，这使得定性性质和定量性质均可被验证．此外，PLSMC可以有效地缓解模型检测工具中容易发生的状态空间爆炸问题，最后，利用PLSMC对铁路公路交叉道口护栏控制系统的安全性质和周期性性质进行验证，实验结果表明，PPTL符号模型检测工具扩充了NuSMV系统的验证能力，使得时间敏感、并发性和周期性等实时性质可以被描述和验证．
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- Verilog复杂时序逻辑电路设计实践
- 常见的单端逻辑电平及电路符号综述 1次下载
- 可检测实时系统的正确性的符号化模型 6次下载
- 一种脱离预训练的多尺度目标检测网络模型 26次下载
- 一种基于检测器集层次聚类的否定选择算法 13次下载
- NDIR气体检测器解决方案和PID气体检测器解决方案
- 时序逻辑电路的学习课件免费下载 18次下载
- 电阻式温度检测器（RTD）基础知识及参考设计
- 车辆检测器的低功耗设计 13次下载
- 时序逻辑电路引论
- 稳健的高效MIMO检测器
- 异步时序逻辑电路 0次下载
- 同步时序逻辑电路 0次下载
- 基于线性时态逻辑的Petri网模型检测研究
- 反射式红外检测器电路及制作
- 电路检测器和电流检测器的区别 319次阅读
- 手机检测器电路图 手机检测器的功能和应用 650次阅读
- 什么是过零检测器 过零检测器的原理 2750次阅读
- 过零检测器的原理 3669次阅读
- 利用视觉语言模型对检测器进行预训练 1238次阅读
- 基于555的声光数字电平检测器电路 2856次阅读
- 时序逻辑电路设计 8199次阅读
- 时序逻辑电路的主要故障分析 6084次阅读
- 逻辑电路图符号大全 23w次阅读
- 荧光检测器工作原理及特点 4.9w次阅读
- 时序逻辑电路由什么组成_时序逻辑电路特点是什么 11w次阅读
- 时序逻辑电路分析有几个步骤（同步时序逻辑电路的分析方法） 12.5w次阅读
- 地磁车辆检测器主要组成部分 4833次阅读
- 微波运动检测器 4083次阅读
- 酸雨检测器 1.6w次阅读
上传资料赚积分下载排行
本周
- 1电子电路原理第七版PDF电子教材免费下载
- 0.00 MB | 1490次下载 | 免费
- 2单片机典型实例介绍
- 18.19 MB | 93次下载 | 1 积分
- 3S7-200PLC编程实例详细资料
- 1.17 MB | 27次下载 | 1 积分
- 4笔记本电脑主板的元件识别和讲解说明
- 4.28 MB | 18次下载 | 4 积分
- 5开关电源原理及各功能电路详解
- 0.38 MB | 11次下载 | 免费
- 6100W短波放大电路图
- 0.05 MB | 4次下载 | 3 积分
- 7基于AT89C2051/4051单片机编程器的实验
- 0.11 MB | 4次下载 | 免费
- 8基于单片机的红外风扇遥控
- 0.23 MB | 3次下载 | 免费
本月
- 1OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234313次下载 | 免费
- 2PADS 9.0 2009最新版 -下载
- 0.00 MB | 66304次下载 | 免费
- 3protel99下载protel99软件下载(中文版)
- 0.00 MB | 51209次下载 | 免费
- 4LabView 8.0 专业版下载 (3CD完整版)
- 0.00 MB | 51043次下载 | 免费
- 5555集成电路应用800例(新编版)
- 0.00 MB | 33562次下载 | 免费
- 6接口电路图大全
- 未知 | 30320次下载 | 免费
- 7Multisim 10下载Multisim 10 中文版
- 0.00 MB | 28588次下载 | 免费
- 8开关电源设计实例指南
- 未知 | 21539次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935053次下载 | 免费
- 2protel99se软件下载(可英文版转中文版)
- 78.1 MB | 537791次下载 | 免费
- 3MATLAB 7.1 下载 (含软件介绍)
- 未知 | 420026次下载 | 免费
- 4OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234313次下载 | 免费
- 5Altium DXP2002下载入口
- 未知 | 233046次下载 | 免费
- 6电路仿真软件multisim 10.0免费下载
- 340992 | 191183次下载 | 免费
- 7十天学会AVR单片机与C语言视频教程 下载
- 158M | 183277次下载 | 免费
- 8proe5.0野火版下载(中文版免费下载)
- 未知 | 138039次下载 | 免费
工商网监
评论