电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
模型检测是通信顺序进程（communicatmg sequential processes，简称CSP）形式化验证的重要手段．当前，CSP模型检测方法基于操作语义，需将进程转化为迁移系统，进而提取语义模型，但转化过程较为复杂；待验证性质采用CSP语言进行描述，虽然有利于精炼检测（refinement checking），但描述能力较弱，通用性不强．鉴于此，提出了一种新的CSP指称语义模型一一关键迹模型（critical-trace model）及基于该指称语义模型的CSP模型检测方法，并证明了其验证的可靠性，避免了上述问题．关键迹模型采用递归策略计算，待验证性质采用线性时态逻辑（linear temporal logic，简称LTL）描述，基于回答集程序设计（answer set programming，简称ASP）实现了关键迹模型的自动生成及LTL的自动验证，并开发了一个CSP模型检测原型系统-T ASP.实验结果表明：与类似系统相比，该系统的描述能力更强，验证结果的准确性更高，且可同时验证多条性质，在性质不满足时还可提供多条反例．
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 基于无人机图像的两阶段销钉缺陷检测模型 39次下载
- 基于EBPNN模型的遥感图像变化检测 24次下载
- 一种多维时间序列汽车驾驶异常点检测模型 2次下载
- 可检测实时系统的正确性的符号化模型 6次下载
- 基于YOLO改进的轻量级交通标识检测模型 12次下载
- 结合背景与前景的RGB-D图像显著性检测模型 0次下载
- 一种脱离预训练的多尺度目标检测网络模型 26次下载
- 基于深度学习的快速发现警告吸烟检测模型 124次下载
- 基于神经网络的遥感图像飞机目标检测模型 17次下载
- 基于深度学习的疲劳驾驶检测算法及模型 25次下载
- 针对社交媒体的评论讽刺检测模型 5次下载
- 如何才能构建ASP NET的应用程序 3次下载
- 基于ASP_NET三层架构的MDA模型变换_李颖颖 0次下载
- 《ASP.net Ajax开发》初识ASP.NET AJAX 0次下载
- 基于遗传算法的变迹叉指换能器进化设计
- 基于DiAD扩散模型的多类异常检测工作 889次阅读
- 如何基于深度学习模型训练实现圆检测与圆心位置预测 1362次阅读
- BGA和CSP封装技术详解 2039次阅读
- MATLAB在追迹光线计算中的应用 795次阅读
- 开发CSP产品需要解决的技术问题 504次阅读
- 软件漏洞检测场景中的深度学习模型实证研究 579次阅读
- 目标检测多模型集成方法总结 1016次阅读
- 如何使用TensorRT框架部署ONNX模型 3091次阅读
- 边缘的超低功耗关键短语检测 727次阅读
- CSP封装是什么？具有什么特点 2w次阅读
- 如何构建检测信用卡诈骗的机器学习模型？ 2985次阅读
- 海迪科研发新型光源WLCSP解决CSP技术屏障问题 4390次阅读
- CSP LED封装技术会成为主流吗？ 1w次阅读
- CSP封装的散热挑战 1109次阅读
- 什么是CSP封装,CSP封装量产测试的问题及解决方案研究 7878次阅读
上传资料赚积分下载排行
本周
- 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次下载 | 免费
工商网监
评论