没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
移动终端中SAV协议的形式化建模和模型检查
移动终端中SAV协议的形式化建模和模型检查
研究论文
0 下载量
91 浏览量
2021-03-10
14:28:15
上传
评论
收藏
253KB
PDF
举报
温馨提示
立即下载
移动终端中SAV协议的形式化建模和模型检查
资源推荐
资源评论
论文研究-无线移动终端的SAV协议的形式化建模与模型检测.pdf
浏览:194
公钥数字签名方案中验证方是低运算能力的移动智能设备时,验证方在验证过程中需要借助于服务器来辅助验证。SAV(server-aided verification)协议是一个对无线移动终端实现辅助计算和签名验证的协议,利用有限状态机对该协议中签名方、验证方以及服务器进行形式化建模,并使用NuSMV工具对SAV协议模型检测,目的是验证该协议的签名方案有效性、防欺骗性和不可否认性。实验结果表明该协议存在服
移动支付.sav
浏览:96
移动支付.sav
数据-建模.sav
浏览:78
数据-建模.sav
中国电信业务总量的计量模型.sav
浏览:66
中国电信业务总量的计量模型.sav
.sav数据文件数据下载
浏览:88
5星 · 资源好评率100%
6万多条酒店数据,这下够挖了吧。数据.sav文件下载地址!
博文 “结构方程模型” 配套数据,内涵一个Excel数据集和SPSS软件适用的sav数据集。由于是自己毕辛苦整理的还是略略收收费
浏览:27
5星 · 资源好评率100%
博文 “结构方程模型” 配套数据,内涵一个Excel数据集和SPSS软件适用的sav数据集。由于是自己毕辛苦整理的还是略略收收费
sav安装sav安装sav安装sav安装sav安装sav安装
浏览:146
sav安装sav安装sav安装sav安装sav安装sav安装
bankloan_binning.sav 该假设数据文件包含 5,000 位过去客户的财务和人口统计信息。
浏览:92
统计分析及模型构建中常用的数据集、使用数据集可以对模型和算法进行快速验证,而且如果能够得到经典测试数据有助于我们复现大佬(巨佬)们提供的算法模型、达到实战联系的目的、真正从原理上开启数据分析、而不是...
Symantec_SAV_10常见问题和解决方法
浏览:19
Symantec_SAV_10常见问题和解决方法
carpet.sav 数据集
浏览:180
统计分析及模型构建中常用的数据集、使用数据集可以对模型和算法进行快速验证,而且如果能够得到经典测试数据有助于我们复现大佬(巨佬)们提供的算法模型、达到实战联系的目的、真正从原理上开启数据分析、而不是...
JAVA生成SAV格式的Util
浏览:190
有spssw-18.4.jar和demo,能快速实现sav文件生成
论文数据.sav
浏览:14
论文数据.sav
spss数据.sav
浏览:164
spss数据.sav
spss1.sav
浏览:136
spss1.sav
spss数据分析常用数据集:meancorres.sav
浏览:199
spss数据分析常用数据集:meancorres.sav 统计分析及模型构建中常用的数据集; 学习软件的时候,会苦于没有数据进行实操,而其实一般分析软件都会自带数据,现在介绍如何获取SPSS软件自带的数据。 纽约时报的一篇...
spss数据分析常用数据集:qiantao.sav
浏览:116
spss数据分析常用数据集:qiantao.sav 统计分析及模型构建中常用的数据集; 学习软件的时候,会苦于没有数据进行实操,而其实一般分析软件都会自带数据,现在介绍如何获取SPSS软件自带的数据。 纽约时报的一篇文章...
spider.sav
浏览:40
spider.sav
中国移动客户细分模型
浏览:137
综合运用聚类模型,CRM,ARPU分析,客户细分,设计不同套餐,达到效益优化。
spss数据分析常用数据集:cross.sav
浏览:96
spss数据分析常用数据集:cross.sav 统计分析及模型构建中常用的数据集; 学习软件的时候,会苦于没有数据进行实操,而其实一般分析软件都会自带数据,现在介绍如何获取SPSS软件自带的数据。 纽约时报的一篇文章报道...
行人惯性导航零速检测算法
浏览:29
行人惯性导航零速检测算法
混合动力汽车基于规则的控制和ECMS与优化等效因子的实时能源管理策略
浏览:15
混合动力汽车基于规则的控制和ECMS与优化等效因子的实时能源管理策略
基于CORDIC的反正弦和反余弦计算的FPGA实现
浏览:163
5星 · 资源好评率100%
基于CORDIC的反正弦和反余弦计算的FPGA实现
使用3DCNN和卷积LSTM进行手势识别学习时空特征
浏览:181
使用3DCNN和卷积LSTM进行手势识别学习时空特征
BA无标度网络中的SIR模型
浏览:199
BA无标度网络中的SIR模型
基于三次贝塞尔曲线的类汽车曲率连续路径平滑
浏览:58
本文重点研究在大型科学设施环境中工作的类似汽车的车辆的可行路径的生成。 考虑曲率连续性和最大曲率约束,一种新颖的路径平滑算法是根据三次贝塞尔曲线提出的。 在算法中,贝塞尔转弯和贝塞尔路径分别为发达。 Bezier 转弯首先设计用于连接两个任意配置。 然后可以通过以下方式获得贝塞尔路径使用贝塞尔曲线来拟合避免碰撞规划器提供的一系列目标点。 在算法的指导下,车辆可以以预定的方向到达目标点。 模拟实验进
基于机器学习的设备剩余寿命预测方法综述
浏览:102
基于机器学习的设备剩余寿命预测方法综述
基于无差拍预测控制和扰动观测器的永磁同步电机电流控制
浏览:42
基于无差拍预测控制和扰动观测器的永磁同步电机电流控制
基于FPGA的奇异值和特征值分解的快速实现。
浏览:189
基于FPGA的奇异值和特征值分解的快速实现。
基于BP神经网络的人口预测
浏览:32
基于BP神经网络的人口预测
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
weixin_38736562
粉丝: 5
资源:
1002
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
基于PHP + Swoole 实现的简单聊天室源码+项目说明.zip
JavaScript实现一个有趣的浏览器图片爆炸动画效果源码.zip
人事考勤签到管理系统 JAVA
基于C#编程实现事件总线源码+项目说明.zip
yolo开发详解(文档)
23套微网优化综合能源matlab cplex等多目标调度储能配电光伏预测算法.zip
基于粒子群优化算法和ANFIS.zip
体育竞赛成绩管理系统java
智能停车场管理系统java
matlab光伏负载场景预测.zip
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功