没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
使用度量时空逻辑指定网络物理系统安全属性
使用度量时空逻辑指定网络物理系统安全属性
研究论文
需积分: 5
0 下载量
169 浏览量
2021-04-07
10:34:49
上传
评论
收藏
313KB
PDF
举报
温馨提示
立即下载
使用度量时空逻辑指定网络物理系统安全属性
资源推荐
资源评论
网络系统安全度量综述
浏览:118
随着人们对网络系统全面和客观认识的不断提高,网络系统安全度量(NSSM)正在得到更多的研究和应用。目前,网络系统安全量化评价正朝着精确化和客观化发展。NSSM可以为攻防对抗以及应急响应决策提供客观和科学的依据...
采用威胁框架,度量和提升网络安全防护体系.pdf
浏览:115
采用威胁框架,度量和提升网络安全防护体系.pdf
论文研究-网络安全度量与评估的分析与研究 .pdf
浏览:130
网络安全度量与评估的分析与研究,张漪墁,赵小林,网络安全问题日益严重,解决网络安全问题的前提是必须能够对网络安全进行评估和度量。国内外对于网络安全问题的研究已经有几十年
py-metric-temporal-logic:用于使用度量时间逻辑 (MTL) 的 Python 库
浏览:97
度量时间逻辑是线性时间逻辑 (LTL) 的扩展,用于指定时间序列的属性(请参阅Alur )。 在使用中给出了一些实际的例子。 安装如果您只需要使用metric-temporal-logic ,您可以运行: $ pip install metric-temporal-...
论文研究-基于时间约束的Hausdorff距离的时空轨迹相似度量.pdf
浏览:145
针对在计算轨迹间相似性时忽略了轨迹的时间属性这一问题,提出一种基于时间约束的Hausdorff距离的时空轨迹相似度量,利用滑动窗口挖掘两条较长轨迹中所有相似的子轨迹,进而判断较长轨迹间的相似性。实验结果表明,...
VC++获得系统的度量信息
浏览:36
VC++获得系统的度量信息
无线通信网络安全技术
浏览:131
4星 · 用户满意度95%
简介:本书系统性地介绍了移动通信网络架构及其演进路线,并针对各种移动通信系统和技术详细分析了其安全防护基本原理、技术内涵和应用方案。本书涵盖个人移动通信、宽带无线接入、无线个域网络、无线自组织网络、...
安全工作度量指标说明.docx
浏览:29
安全工作度量指标说明,
复杂网络特征度量
浏览:150
复杂系统科学的发展目前仍处于萌芽阶段,但专家学者们广泛看好它的发展前景。近年来随着对复杂系统研 究的不断深入,人们开始在不同领域进行从整体出发的复杂网络研究,从而形成了自成体系的复杂网络理论。首先介绍...
Reissner–Nordström时空中带电粒子的运动:雅可比度量方法
浏览:5
恒定能量路径是使用雅可比度量在变分原理框架中得出的,该雅可比度量由守恒的粒子能量进行参数化。 特别令人关注的是粒子电荷和Reissner–Nordström黑洞电荷具有相同符号的情况,因为这会导致对立的力(引力(引力...
论文研究-基于遗传算法和KNN的软件度量属性选择研究.pdf
浏览:184
针对软件可靠性预测中软件度量维数灾难问题,提出一种基于自适应遗传算法和KNN算法相结合的软件度量属性选择方法,筛选出与软件可靠性关系最为密切的关键属性集。该方法在属性子集搜索上采用遗传算法进行随机搜索,...
无鬼双度量理论和时空引力的时空局部结构
浏览:141
但是,如果两个度量标准不接受时空兼容的概念,则初始值问题的表述将成为问题。 此外,根据矩阵的平方根给出相互作用势,该矩阵通常是非唯一的并且可能是非真实的。 在本文中,我们表明,这两个问题都是通过要求...
基于能力度量的网络安全实验环境多仿真规划.pdf
浏览:69
基于能力度量的网络安全实验环境多仿真规划.pdf
论文研究-一种属性相关性度量评价方法 .pdf
浏览:10
一种属性相关性度量评价方法,雷力明,孙中彬,属性选择是一种压缩数据维度的有效方式,在分类任务中,属性选择可以有效提高结果准确率,同时还能压缩数据量、提高模型的可理解
基于依赖关系图和通用漏洞评分系统的网络安全度量.pdf
浏览:136
基于依赖关系图和通用漏洞评分系统的网络安全度量.pdf
论文研究-面向逻辑设计的SDRAM控制器性能度量模型.pdf
浏览:91
以SDRAM控制器为研究对象,探讨硬件逻辑设计时其性能度量的方法,通过建立一个硬件时钟周期级上的SDRAM控制器性能度量模型,在硬件逻辑实现的层次上实现了SDRAM控制器性能的评估。根据该性能度量模型,既可以分析已...
无线分布式网络认证密钥安全度量仿真研究.pdf
浏览:144
无线分布式网络认证密钥安全度量仿真研究.pdf
验证分布式混合系统中度量时间属性的逻辑
浏览:53
验证分布式混合系统中度量时间属性的逻辑
行人惯性导航零速检测算法
浏览:40
行人惯性导航零速检测算法
混合动力汽车基于规则的控制和ECMS与优化等效因子的实时能源管理策略
浏览:86
混合动力汽车基于规则的控制和ECMS与优化等效因子的实时能源管理策略
基于CORDIC的反正弦和反余弦计算的FPGA实现
浏览:139
5星 · 资源好评率100%
基于CORDIC的反正弦和反余弦计算的FPGA实现
使用3DCNN和卷积LSTM进行手势识别学习时空特征
浏览:200
使用3DCNN和卷积LSTM进行手势识别学习时空特征
BA无标度网络中的SIR模型
浏览:128
BA无标度网络中的SIR模型
基于三次贝塞尔曲线的类汽车曲率连续路径平滑
浏览:57
本文重点研究在大型科学设施环境中工作的类似汽车的车辆的可行路径的生成。 考虑曲率连续性和最大曲率约束,一种新颖的路径平滑算法是根据三次贝塞尔曲线提出的。 在算法中,贝塞尔转弯和贝塞尔路径分别为发达。 Bezier 转弯首先设计用于连接两个任意配置。 然后可以通过以下方式获得贝塞尔路径使用贝塞尔曲线来拟合避免碰撞规划器提供的一系列目标点。 在算法的指导下,车辆可以以预定的方向到达目标点。 模拟实验进
基于机器学习的设备剩余寿命预测方法综述
浏览:147
基于机器学习的设备剩余寿命预测方法综述
基于无差拍预测控制和扰动观测器的永磁同步电机电流控制
浏览:16
基于无差拍预测控制和扰动观测器的永磁同步电机电流控制
基于FPGA的奇异值和特征值分解的快速实现。
浏览:197
基于FPGA的奇异值和特征值分解的快速实现。
基于BP神经网络的人口预测
浏览:156
基于BP神经网络的人口预测
无人机协同目标的多无人机协同搜索方法
浏览:190
无人机协同目标的多无人机协同搜索方法
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
weixin_38742453
粉丝: 15
资源:
945
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
编译原理.rar编译原理编译原理
2024年普通高等学校本科专业目录
11种经典滤波算法.docx
数据库系统工程师5天修炼
免证书连接ES的jdbc驱动
2024日常变更举证照片浏览插件
常见的资料转成txt文本文件
Python 程序开发.pdf
chrome浏览器驱动 在selenium的加持下,爬取网页信息
2024日常变更-举证DB转方位线工具箱
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功