资料介绍
近年来,计算机系统的定量验证已经引起了学术界和工业界足够的关注,其中取值于度量空间的系统性质研究为定量验证的发展开辟了一条新途径。在系统验证中常用线性时间属性来刻画系统的性质,而安全性作为线性时间属性中一类至关重要的基础属性,能保证系统在运行过程中不会发生“坏”的事情,其在度量背景下的推广形式也应该得到关注。为此,文中研究伪超度量空间上安全性的扩展问题,首先对已有的度量线性时态逻辑进行适当的补充,使其能充分地刻画度量背景下的线性时间属性;然后引入距离阈值α,提出一种α安全性的概念,从而将经典的安全性提升到伪超度量空间上;最后讨论度量线性时态逻辑与α安全性之间的关系。这些结论为取值于度量空间的系统的安全性验证提供了理论依据。
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 单端逻辑电平之互联综述 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次阅读
下载排行
本周
- 1ADI高性能电源管理解决方案
- 2.43 MB | 449次下载 | 免费
- 2免费开源CC3D飞控资料(电路图&PCB源文件、BOM、
- 5.67 MB | 136次下载 | 1 积分
- 3基于STM32单片机智能手环心率计步器体温显示设计
- 0.10 MB | 123次下载 | 免费
- 4550W充电机原理图
- 0.13 MB | 2次下载 | 6 积分
- 5USB的PD快充协议电压诱骗控制器FS312A中文手册
- 1.51 MB | 2次下载 | 免费
- 6USB的PD和OC快充协议电压诱骗控制器FS312B中文手册
- 1.35 MB | 2次下载 | 免费
- 7USB Type_C PD快充协议智能触发芯片FS8025B应用手册
- 1.48 MB | 1次下载 | 免费
- 8ADI公司串行端口开发和故障排除指南
- 343.09KB | 1次下载 | 免费
本月
- 1ADI高性能电源管理解决方案
- 2.43 MB | 449次下载 | 免费
- 2免费开源CC3D飞控资料(电路图&PCB源文件、BOM、
- 5.67 MB | 136次下载 | 1 积分
- 3基于STM32单片机智能手环心率计步器体温显示设计
- 0.10 MB | 123次下载 | 免费
- 4使用单片机实现七人表决器的程序和仿真资料免费下载
- 2.96 MB | 44次下载 | 免费
- 53314A函数发生器维修手册
- 16.30 MB | 31次下载 | 免费
- 6美的电磁炉维修手册大全
- 1.56 MB | 22次下载 | 5 积分
- 7使用TL431设计电源
- 0.67 MB | 10次下载 | 免费
- 8感应笔电路图
- 0.06 MB | 10次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935119次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420062次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233084次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191367次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183335次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81581次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73807次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65987次下载 | 10 积分
评论
查看更多