德赢Vwin官网
App
发帖 
提问 
发资料
发视频资料介绍
近年来，计算机系统的定量验证已经引起了学术界和工业界足够的关注，其中取值于度量空间的系统性质研究为定量验证的发展开辟了一条新途径。在系统验证中常用线性时间属性来刻画系统的性质，而安全性作为线性时间属性中一类至关重要的基础属性，能保证系统在运行过程中不会发生“坏”的事情，其在度量背景下的推广形式也应该得到关注。为此，文中研究伪超度量空间上安全性的扩展问题，首先对已有的度量线性时态逻辑进行适当的补充，使其能充分地刻画度量背景下的线性时间属性;然后引入距离阈值α，提出一种α安全性的概念，从而将经典的安全性提升到伪超度量空间上;最后讨论度量线性时态逻辑与α安全性之间的关系。这些结论为取值于度量空间的系统的安全性验证提供了理论依据。
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 单端逻辑电平之互联综述 2次下载
- 互联逻辑电平之差分互联综述 1次下载
- 常见的单端逻辑电平及电路符号综述 1次下载
- 逻辑互连之AC耦合电容综述 4次下载
- 基于变量依赖关系模型的变量重要性度量综述 0次下载
- 高安全性应用开发环境的时序性质验证框架 1次下载
- 广义可能性模糊时态计算树逻辑的模型检测 4次下载
- 可检测实时系统的正确性的符号化模型 6次下载
- 什么是数据库安全性数据库安全性的详细资料总结 6次下载
- 内存取证的内核完整性度量方法 2次下载
- 基于网络编码的安全性综述 0次下载
- 磁共振式无线电能传输系统应用的电磁环境安全性研究及综述 2次下载
- 一种模糊时态描述逻辑 0次下载
- 基于线性时态逻辑的Petri网模型检测研究
- 基于BAN逻辑分析Otway-Rees协议安全性
- 可靠性与安全性 5017次阅读
- 不折不扣的安全性 537次阅读
- NCM化学配比和SOC如何影响NCM电芯的安全性 6183次阅读
- 如何检测户外LED灯的安全性 3477次阅读
- 如何保证Polkadot网络的安全性 768次阅读
- 该如何提高云存储大数据的安全性 839次阅读
- 如何提升三元材料的安全性？ 3834次阅读
- 保障云应用的安全性的三大方案 1249次阅读
- FPGA技术在汽车中实现高可靠性和安全性 2271次阅读
- 从几个不同的技术层面对锂电和燃料电池的安全性进行分析对比 8223次阅读
- 影响锂离子动力电池安全性因素分析 7306次阅读
- DES算法的应用误区及安全性分析 1.6w次阅读
- 电动车安全性能及影响安全性因素有哪些 899次阅读
- 通信协议标准FlexRay总线的功能安全性详解 9545次阅读
- 如何提高智能电网端点安全性 788次阅读
上传资料赚积分下载排行
本周
- 1山景DSP芯片AP8248A2数据手册
- 1.06 MB | 532次下载 | 免费
- 2RK3399完整板原理图（支持平板，盒子VR）
- 3.28 MB | 339次下载 | 免费
- 3TC358743XBG评估板参考手册
- 1.36 MB | 330次下载 | 免费
- 4DFM软件使用教程
- 0.84 MB | 295次下载 | 免费
- 5元宇宙深度解析—未来的未来-风口还是泡沫
- 6.40 MB | 227次下载 | 免费
- 6迪文DGUS开发指南
- 31.67 MB | 194次下载 | 免费
- 7元宇宙底层硬件系列报告
- 13.42 MB | 182次下载 | 免费
- 8FP5207XR-G1中文应用手册
- 1.09 MB | 178次下载 | 免费
本月
- 1OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234315次下载 | 免费
- 2555集成电路应用800例(新编版)
- 0.00 MB | 33566次下载 | 免费
- 3接口电路图大全
- 未知 | 30323次下载 | 免费
- 4开关电源设计实例指南
- 未知 | 21549次下载 | 免费
- 5电气工程师手册免费下载(新编第二版pdf电子书)
- 0.00 MB | 15349次下载 | 免费
- 6数字电路基础pdf(下载)
- 未知 | 13750次下载 | 免费
- 7电子制作实例集锦 下载
- 未知 | 8113次下载 | 免费
- 8《LED驱动电路设计》 温德尔著
- 0.00 MB | 6656次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935054次下载 | 免费
- 2protel99se软件下载(可英文版转中文版)
- 78.1 MB | 537798次下载 | 免费
- 3MATLAB 7.1 下载 (含软件介绍)
- 未知 | 420027次下载 | 免费
- 4OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234315次下载 | 免费
- 5Altium DXP2002下载入口
- 未知 | 233046次下载 | 免费
- 6电路仿真软件multisim 10.0免费下载
- 340992 | 191187次下载 | 免费
- 7十天学会AVR单片机与C语言视频教程 下载
- 158M | 183279次下载 | 免费
- 8proe5.0野火版下载(中文版免费下载)
- 未知 | 138040次下载 | 免费
工商网监
评论