电子发烧友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次下载
- UXGA-CMOS图像传感器GC2145 CSP数据手册 77次下载
- VGA CMOS图像传感器GC032A CSP数据手册 140次下载
- 基于YOLO改进的轻量级交通标识检测模型 12次下载
- 结合背景与前景的RGB-D图像显著性检测模型 0次下载
- 一种脱离预训练的多尺度目标检测网络模型 26次下载
- 基于深度学习的快速发现警告吸烟检测模型 124次下载
- 基于神经网络的遥感图像飞机目标检测模型 17次下载
- 基于深度学习的疲劳驾驶检测算法及模型 25次下载
- 针对社交媒体的评论讽刺检测模型 5次下载
- 如何才能构建ASP NET的应用程序 3次下载
- 基于ASP_NET三层架构的MDA模型变换_李颖颖 0次下载
- 基于遗传算法的变迹叉指换能器进化设计
- 脑电伪迹系列之脑电伪迹处理与技术剖析 2.1k次阅读
- 基于DiAD扩散模型的多类异常检测工作 2.8k次阅读
- 如何基于深度学习模型训练实现圆检测与圆心位置预测 3.8k次阅读
- BGA和CSP封装技术详解 4.7k次阅读
- MATLAB在追迹光线计算中的应用 2.5k次阅读
- 开发CSP产品需要解决的技术问题 1.2k次阅读
- 软件漏洞检测场景中的深度学习模型实证研究 1.4k次阅读
- 目标检测多模型集成方法总结 1.7k次阅读
- 如何使用TensorRT框架部署ONNX模型 4.6k次阅读
- 边缘的超低功耗关键短语检测 1.4k次阅读
- CSP封装是什么？具有什么特点 2.2w次阅读
- 海迪科研发新型光源WLCSP解决CSP技术屏障问题 5.3k次阅读
- CSP LED封装技术会成为主流吗？ 1.1w次阅读
- CSP封装的散热挑战 1.6k次阅读
- 什么是CSP封装,CSP封装量产测试的问题及解决方案研究 8.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 积分
工商网监
评论