你好,游客 登录 注册 发布搜索
背景:
阅读新闻

[CAJ]基于Hadoop的模型检测算法研究

[日期:2014-04-13] 来源:CNKI  作者: 魏光 [字体: ]

基于Hadoop的模型检测算法研究

北方工业大学   魏光

本文采用了一个开源的分布式数据处理框架Hadoop来设计和实现模型检测算法。Hadoop框架充分利用了计算机集群的优势高速运算和存储,可以对海量数据进行分布式处理,而用户可以在不了解分布式底层细节的情况下,轻松地开发和运行处理大量数据的应用程序。本文阐述了Hadoop的基础架构,主要包括分布式文件系统(HDFS)、MapReduce编程模型。文章介绍了CTL模型检测算法的设计和实现方法,在算法的理论研究基础上,结合Kripke结构给出适合MapReduce编程范型的数据表示方法,设计并实现基于MapReduce编程框架的CTL模型检测算法。此算法实现了给定一个模型和一个计算树逻辑公式,输出满足公式的模型的状态集合,并通过实例验证了基于MapReduce对CTL公式进行检测是可行的。基于Hadoop的模型检测算法为缓解模型检测中的状态空间爆炸问题提供了一种新的思路。


基于Hadoop的模型检测算法研究

收藏 推荐 打印 | 录入:574107552 | 阅读:
相关新闻       Hadoop 云 云计算 
本文评论   查看全部评论 (0)
表情: 表情 姓名: 字数
点评:
       
评论声明
  • 尊重网上道德,遵守中华人民共和国的各项有关法律法规
  • 承担一切因您的行为而直接或间接导致的民事或刑事法律责任
  • 本站管理人员有权保留或删除其管辖留言中的任意内容
  • 本站有权在网站内转载或引用您的评论
  • 参与本评论即表明您已经阅读并接受上述条款