文件名称:
基于令牌选择的OpenStack单平面网络建模
开发工具:
文件大小: 495kb
下载次数: 0
上传时间: 2021-03-09
详细说明：CPN形式化建模适合，包含大量并发，通信，同步共享行为的软硬件系统建立形式模型，并完成系统功能和性能等方面的行为分析。在传统的CPN建模中，令牌的选取采用穷举法，生成的令牌数量庞大，并且CPN模型生成的状态空间相当庞大，甚至状态空间爆炸等问题。针对上述问题，文中提出将符号执行与CPN建模相结合，并在CPN模型的执行过程中文中通过对OpenStack云平台支持创建的单个平面网络进行CPN建模，针对传统方法和此处方法生成状态空间分析了规模的变化，验证了本文提出的方法的有效性
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
