logo
教育论文中心  教育论文中心   广告服务  广告服务   论文搜索  论文搜索   论文发表  论文发表   会员专区  会员专区   在线购卡   在线购卡   服务帮助  服务帮助   联系我们  联系我们   网站地图  网站地图   硕士论文  会员专区   博士论文
当前位置:教育论文中心首页--硕士论文--SPIN状态压缩:基于属性的状态向量优化
博硕论文分类列表
工业技术 交通运输 农业科学
生物科学 航空航天 历史地理
医学卫生 语言文字 环境科学
综合图书 政治法律 社会科学
马列主义、毛泽东思想 艺术
数理科学和化学 文学
天文学、地理科学 军事
文化科学、教育体育 经济
自然科学总论 哲学
查看更多分类
 
论文搜索
 
 
相关论文
环境侵权中的惩罚性赔偿研究
温州港务集团发展战略研究
基于风险检测(RBI)在海底管
钢筋混凝土框架结构整体概率抗震
基于身份公钥体系安全电子邮件系
基于图像点云模型建造及其在环境
无线传感器网络SPIN路由协议
SPIN螺钉治疗成人MasonⅡ
基于有色Petri网SPIN
基于实例颜色处理新技术研究
基于SPIN压缩感知异步电动机
面向对象软件测试技术研究
水情电报翻译研究
肌萎缩侧索硬化症基于体素分析
基于XML访问控制模型研究及
基于关键词组合向量模型文本自动
基于属性加密方案研究
名字路由协议研究与实现
基于SPINLTL属性分解方法
高层建筑结构三维模态Pushov
基于模型科学学习及其学习环境设
基于顾客品牌权益影响因素研究
 
科目列表
市场营销 管理理论 人力资源
电子商务 社会实践 先进教育
伦理道德 艺术理论 环境保护
农村研究 交通相关 烟草论文
电子电气 财务分析 融资决策
电影艺术 国学论文 材料工程
语文论文 数学论文 英语论文
政治论文 物理论文 化学论文
生物论文 美术论文 历史论文
地理论文 信息技术 班主任
音乐论文 体育论文 劳技论文
自然论文 德育管理 农村教育
素质教育 三个代表 旅游管理
国际贸易 哲学论文 工商管理
证券金融 社会学 审计论文
会计论文 建筑论文 电力论文
水利论文 园林景观 农林学
中医学 西医学 心理学
公安论文 法学法律 思想汇报
法律文书 总结报告 演讲稿
物业管理 经济学 论文指导
计算机 护理论文 社会调查
军事论文 化工论文 财政税收
保险论文 物流论文 语言教育
教育教学 给水排水 暖通论文
结构论文 综合类别 硕士论文
博士论文    
 
 
SPIN状态压缩:基于属性的状态向量优化
 
     论文目录
 
1 引言第1-10页
   ·研究背景第8-9页
   ·本文的研究工作第9页
   ·本文的组织结构第9-10页
2 SPIN模型检测器第10-18页
   ·概述第10-11页
   ·SPIN的结构第11-12页
   ·SPIN的基础第12-15页
     ·时态逻辑属性第13-15页
   ·核心算法第15-18页
     ·嵌套的深度优先遍历(NDFS)第15-16页
     ·偏序规约(Partial Order Reduction)第16-18页
3 SPIN中的状态压缩技术第18-36页
   ·无损压缩第18-27页
     ·Collapse Compression第18-22页
     ·Minimized Automaton Representation第22-27页
   ·有损压缩第27-36页
     ·Bitstate Hashing第27-33页
     ·Hash-Compact第33-36页
4 基于属性的状态向量优化(SOBP)第36-52页
   ·案例研究第36-39页
   ·SOBP的使用条件第39页
   ·SOBP的原理第39-41页
   ·SOBP的伪码实现第41-47页
     ·DFS算法的修改第42-44页
     ·BFS算法的修改第44-47页
   ·SOBP与COLLAPSE COMPRESSION的结合第47-48页
   ·性能分析第48-52页
     ·空间性能第48-50页
     ·时间性能第50-52页
5 结论与展望第52-53页
参考文献第53-56页
在学期间的研究成果第56-57页
致谢第57-58页
附录第58-59页

 
 
论文编号BS1264324,这篇论文共59
会员购买按0.35元/页下载,共需支付20.65元。        直接购买按0.5元/页下载,共需要支付29.5元 。
我还不是会员,注册会员
会员下载更优惠!充值送钱!
我只需要这篇,无需注册!
直接网上支付,方便快捷!
 您可能感兴趣的论文
论文标题页/字数分类
基于身份公钥密码系统研究142页博士论文
多授权中心基于属性签名及加密算法研究76页硕士论文
基于属性密码技术研究123页博士论文
基于双线性配对公钥加密和签密方案分析与设计67页硕士论文
基于内容视频拷贝检测算法研究114页博士论文
农资电子商务智能推荐模型研究65页硕士论文
现代企业工资制度比较分析与合理选择52页硕士论文
基于任务和角色加密CAD模型访问控制研究63页硕士论文
通用图像检索系统和高维索引技术研究68页硕士论文
面向涉密企业数字内容安全管理系统研究与实现78页硕士论文
版权申明:本目录由www.jylw.com网站制作,本站并未收录原文,如果您是作者,需要删除本篇论文目录请通过QQ或其它联系方式告知我们,我们承诺24小时内删除。
 
 
| 会员专区 | 在线购卡 | 广告服务 | 网站地图 |
版权所有 教育论文中心 Copyright(C) All Rights Reserved
联系方式: QQ:277865656 或写信给我