电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
近年来，计算机系统的定量验证已经引起了学术界和工业界足够的关注，其中取值于度量空间的系统性质研究为定量验证的发展开辟了一条新途径。在系统验证中常用线性时间属性来刻画系统的性质，而安全性作为线性时间属性中一类至关重要的基础属性，能保证系统在运行过程中不会发生“坏”的事情，其在度量背景下的推广形式也应该得到关注。为此，文中研究伪超度量空间上安全性的扩展问题，首先对已有的度量线性时态逻辑进行适当的补充，使其能充分地刻画度量背景下的线性时间属性;然后引入距离阈值α，提出一种α安全性的概念，从而将经典的安全性提升到伪超度量空间上;最后讨论度量线性时态逻辑与α安全性之间的关系。这些结论为取值于度量空间的系统的安全性验证提供了理论依据。
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 单端逻辑电平之互联综述 2次下载
- 互联逻辑电平之差分互联综述 1次下载
- 常见的单端逻辑电平及电路符号综述 1次下载
- 逻辑互连之AC耦合电容综述 4次下载
- 基于变量依赖关系模型的变量重要性度量综述 0次下载
- 高安全性应用开发环境的时序性质验证框架 1次下载
- 广义可能性模糊时态计算树逻辑的模型检测 4次下载
- 可检测实时系统的正确性的符号化模型 6次下载
- 什么是数据库安全性数据库安全性的详细资料总结 6次下载
- 内存取证的内核完整性度量方法 2次下载
- 基于网络编码的安全性综述 0次下载
- 磁共振式无线电能传输系统应用的电磁环境安全性研究及综述 2次下载
- 一种模糊时态描述逻辑 0次下载
- 基于线性时态逻辑的Petri网模型检测研究
- 基于BAN逻辑分析Otway-Rees协议安全性
- 车规级与消费级芯片的可靠性、安全性与成本差异 890次阅读
- 电子电器产品安全性与针焰试验的重要性 834次阅读
- 可靠性与安全性 8.2k次阅读
- 不折不扣的安全性 1.2k次阅读
- NCM化学配比和SOC如何影响NCM电芯的安全性 8k次阅读
- 如何检测户外LED灯的安全性 3.9k次阅读
- 如何保证Polkadot网络的安全性 1.1k次阅读
- 该如何提高云存储大数据的安全性 1.2k次阅读
- 如何提升三元材料的安全性？ 4.5k次阅读
- 保障云应用的安全性的三大方案 1.5k次阅读
- FPGA技术在汽车中实现高可靠性和安全性 2.6k次阅读
- 影响锂离子动力电池安全性因素分析 7.9k次阅读
- DES算法的应用误区及安全性分析 1.7w次阅读
- 电动车安全性能及影响安全性因素有哪些 1.5k次阅读
- 如何提高智能电网端点安全性 1k次阅读
上传资料赚积分下载排行
本周
- 1矽力杰 Silergy SY7215A 同步升压调节器 规格书 Datasheet 佰祥电子
- 1.12 MB | 5次下载 | 免费
- 2HT81696H 内置升压的30W立体声D类音频功放数据手册
- 1.21 MB | 1次下载 | 免费
- 3HTA6863 3W超低噪声超低功耗单声道D类音频功率放大器数据手册
- 0.87 MB | 次下载 | 免费
- 4南芯 Southchip SC8802C 充电控制器 规格书 Datasheet 佰祥电子
- 88.16 KB | 次下载 | 免费
- 5矽力杰 Silergy SY7065 同步升压转换器 规格书 Datasheet 佰祥电子
- 910.67 KB | 次下载 | 免费
- 6矽力杰 Silergy SY7066 同步升压转换器 规格书 Datasheet 佰祥电子
- 989.14 KB | 次下载 | 免费
- 7WD6208A产品规格书
- 631.24 KB | 次下载 | 免费
- 8NB685 26 V，12 A，低静态电流，大电流 同步降压变换器数据手册
- 1.64 MB | 次下载 | 2 积分
本月
- 1EMC PCB设计总结
- 0.33 MB | 12次下载 | 免费
- 2PD取电芯片 ECP5702规格书
- 0.88 MB | 5次下载 | 免费
- 3矽力杰 Silergy SY7215A 同步升压调节器 规格书 Datasheet 佰祥电子
- 1.12 MB | 5次下载 | 免费
- 4氮化镓GaN FET/GaN HEMT 功率驱动电路选型表
- 0.10 MB | 3次下载 | 免费
- 5PD取电芯片，可取5/9/12/15/20V电压ECP5702数据手册
- 0.88 MB | 3次下载 | 免费
- 6SY50655 用于高输入电压应用的伪固定频率SSR反激式稳压器英文资料
- 1.01 MB | 3次下载 | 免费
- 7怎么为半导体测试仪选择精密放大器
- 0.65 MB | 2次下载 | 免费
- 8SY52341 次级侧同步整流英文手册
- 0.94 MB | 2次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935137次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420064次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233095次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191469次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183360次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81606次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73832次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65991次下载 | 10 积分
工商网监
评论