缪力
- 作品数：42 被引量：95H指数：5
- 供职机构：湖南大学信息科学与工程学院更多>>
- 发文基金：国家自然科学基金国防基础科研计划中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术电子电信电气工程更多>>
- 面向大数据处理的Hadoop与MongoDB整合技术研究被引量：14
- 2016年
- 随着数据种类的增多和数据规模的增大,No SQL技术与MapReduce并行处理思想越来越受到重视。Mongo DB作为NoSQL数据库的典型代表,支持对海量数据进行索引和查询,但Mongo DB提供的MapReduce还不能满足复杂的数据分析和计算。而Hadoop虽然提供了强大的MapReduce并行计算框架,却在实时服务方面存在较高延时。针对这种情况,综合考虑扩展性,数据本地化,I/O性能等因素,提出并实现Hadoop与Mongo DB四种不同的整合方案。通过设计三种具有代表性的应用作为性能的测量基准,对不同的整合方案进行性能对比实验,得出不同应用场景下的最优整合方案。实验表明,在Mongo DB与Hadoop的折衷使用过程中,若对不同的应用采用合理的方案,性能最多可以提高3倍。
- 曾强缪力秦拯
- 关键词：MONGODB
- 程序模型检测的两阶段框架被引量：3
- 2007年
- 模型检测是一种对有限状态变迁系统验证其时态逻辑性质的重要方法,可以弥补测试技术的不足。基于流分析的程序模型检测和基于语言转换的程序模型检测是当前程序模型检测的主要方法,它们都存在各自的局限性。基于对这两种程序模型检测方法各自优缺点的分析,提出了一种两阶段程序模型检测框架,通过结合两种程序模型检测方法,可有效提高程序模型检测对较大规模程序的适用性。
- 缪力张大方
- 关键词：SPIN
- 智能决策支持系统在用电管理信息系统预测决策支持子系统中的应用
- 该文根据智能决策支持系统技术的最新发展,考虑到甘肃省用电管理信息课题中系统预测决策支持系统的实际需要,提出将数据仓库与数据开采的决策支持新技术相结合,以应用于预测决策支持子系统的模型设计.数据仓库是近年来为适应辅助决策技...
- 缪力
- 关键词：智能决策支持系统数据仓库数据开采
- 文献传递
- 基于程序行为特征比较的谓词切换排序
- 2012年
- 谓词切换(Predicate Switching)通过动态改变程序中的谓词判断语句状态观察程序运行结果的变化,分析可能与错误相关的关键谓词判断语句,从而实现辅助错误定位.谓词判断语句排序算法决定了谓词切换定位关键谓词判断语句的效率.已有的排序算法如LEFS算法定位效率较低;PRIOR算法虽然提高了定位效率,但必须首先做程序动态切片找寻与错误相关的谓词判断语句集合,而后建立程序依赖图以定义谓词判断语句的优先级,这个过程需要花费大量的时间,且算法复杂度较高.在这两种算法基础上提出一种新的改进排序算法,首先通过对比成功和失败的测试用例在运行中所展现出来不同程序行为特征,以此定义谓词判断语句的优先级,然后对不同优先级别的谓词根据执行先后顺序进行反向排序.基于基准测试集Siemens Suite的程序进行了实验,结果表明本文的排序算法与LEFS算法相比定位效率更高,与PRIOR算法相比减少定义谓词优先级的耗费,且算法更易于实现.
- 苏欣缪力
- 关键词：动态切片
- 互斥并发程序的程序切片算法研究被引量：1
- 2007年
- 程序切片是一种重要的程序分析技术,随着并行技术在越来越多的程序中得到运用,需要将以往多用于顺序程序的程序切片技术也用于并发程序中。本文在文献[1,2]的基础上考虑到互斥机制作用,改进了原来的并发程序的切片算法,使之适用于互斥机制的并发程序。
- 刘震缪力
- 关键词：程序切片互斥并发程序
- 基于XML网上书店系统的设计被引量：2
- 2010年
- XML是新一代网络数据表示、传递和交换的标准,是Internet环境中跨平台的、依赖于内容的技术。XML的新特性改变了人们在网络的交换方式,加速了电子商务的发展。网上书店系统体系结构采用B/S结构,MSVS2005作为B/S结构应用程序的开发工具。在开发中采用基于XML技术及MSSQLServer2005数据库技术,实现了用户登录注册、图书信息浏览、图书搜索、购物车、书籍管理、结账、生成订单等主要功能,使系统具有方便快捷、界面友好、可移植等特点。
- 张春燕缪力
- 关键词：网上书店数据库技术XML网络数据
- 基于本体的语义相似性算法研究
- 2009年
- 随着语义Web不断发展,本体数量不断增加,为了增强Web服务语义的精确度,利用网络距离模型方法中概念层次结构树的结构信息、信息论模型方法中概念的语义信息量来进行边的权重计算,提出了一种用最短路径距离来计算概念间语义距离的简便方法.
- 曾伟缪力
- 关键词：WEB服务OWL语义相似性语义距离
- 压缩对Hadoop性能影响研究被引量：6
- 2015年
- 当今,磁盘I/O的发展速度永远赶不上遵照摩尔定律的CPU的发展速度,并且网络I/O资源稀缺,所以I/O常常成为数据处理的瓶颈。Hadoop能存储PB级数据,因此I/O问题愈加显著。压缩是I/O调优的一个重要方法,它能减少I/O的负载,加快磁盘和网络上的数据传输。首先通过分析Hadoop中各压缩算法的特点,得出一个压缩使用策略来帮助Hadoop的使用者确定如何使用压缩,并用实验得以验证补充。基于该策略,一些Hadoop应用在合理使用压缩后,效率能提高65%。
- 向丽辉缪力张大方
- 关键词：HADOOPMAPREDUCEI/O
- 利用反射实现商业软件组件(COTS)的测试
- 2006年
- 由于商业软件组件可以全面地削减开发成本和缩短开发时间,所以被越来越多的大型软件项目所采用。然而,撇开这些优点不谈,为了确保它的功能和开发商所说的相符,为了校验质量,还是需要对它们进行有效的测试。同样重要的是,我们需要确保当它们被集成到最终系统中时,不执行有害代码,比如特洛伊木马和间谍软件,为此本文提出一种测试COTS的方法,可以对这些组件进行全面的测试。
- Wahab Ismail缪力张大方
- 关键词：软件测试
- 基于SPIN的网络认证协议高效模型检测被引量：4
- 2012年
- 为了有效地提高网络认证协议建模和验证的效率,基于模型检测方法提出一个通用的网络认证协议模型描述方法,结合模型检测工具SPIN可以方便地进行性质验证。通过一些模型的简化策略,不仅可以对不同协议进行高效建模,而且减小了模型的状态空间。与现有的文献相比,自动化程度较高,模型验证的效率较好。基于该方法,对PKM认证协议进行了模型检测,实验证明该模型分析验证方法的有效性,可用于其他网络认证协议的分析验证。
- 缪力谭志华张大方
