软件导刊

软件导刊杂志 省级期刊

Software Guide

杂志简介:《软件导刊》杂志经新闻出版总署批准,自2002年创刊,国内刊号为42-1671/TP,是一本综合性较强的计算机期刊。该刊是一份月刊,致力于发表计算机领域的高质量原创研究成果、综述及快报。主要栏目:人工智能、计算机软件与理论、软件设计、开发与应用、区块链技术及应用、计算机网络与通信、大数据与信息处理、图形图像处理等

主管单位:湖北省科学技术厅
主办单位:湖北省科技信息研究院
国际刊号:1672-7800
国内刊号:42-1671/TP
全年订价:¥ 730.00
创刊时间:2002
所属类别:计算机类
发行周期:月刊
发行地区:湖北
出版语言:中文
预计审稿时间:1个月内
综合影响因子:0.514
复合影响因子:0.97
总发文量:10166
总被引量:20411
H指数:31
立即指数:0.0091
期刊他引率:1
  • 基于SPIN的功能测试用例生成方法研究

    作者:李建; 杨晋吉 刊期:2016年第07期

    提出了一种自动生成系统功能测试用例的新方法。该方法使用Promela语言对软件系统的状态和行为进行描述建模,使用LTL公式描述测试覆盖标准,然后将该组LTL公式和描述状态行为的Promela模型输入SPIN模型检测工具,并利用模型检测工具自动生成相应的证据路径,最后结合正例将路径转化成满足相应覆盖标准的系统功能测试用例,并以电梯系统模型对该...

  • 虚拟社区风险评估模型

    作者:胡雨田 刊期:2016年第07期

    虚拟社区是在物理社区基础上发展起来的在线社区模式,社区健康发展依赖于社区成员相互间的信任。已有的信任获取方法可以很好地获取社区成员间的信任关系,但是仍然存在一定缺陷。为了解决推荐信任获取时存在的不确定性问题,通过对信任获取时的风险场景进行分析,构建风险模型,获取合理的信任度关系。结合信任和风险的关系以及相关不确定影响...

  • 基于集群调度的动态数字出版技术

    作者:闫国龙; 刘丹 刊期:2016年第07期

    互联网以及虚拟技术的广泛应用,推动了数字出版的普及,催生了多种出版应用模式。IT技术的进步,使得基于互联网构建以自动化排版为特征的动态数字出版解决方案成为现实。集群调度技术通过构建任务管理中心,接收并实现外部请求任务在多个业务处理模块之间的分发与调度,从而充分利用计算资源,提升任务处理效率。针对自动化排版并发性强、即时...

  • 基于DOM树的非规范化表格信息定位技术

    作者:张兴兰; 刘岩 刊期:2016年第07期

    Web表格信息提取已经成为构建本体的重要内容之一,它能自动将本体所需的属性名和属性值提取出来,节省大量人工劳动。关于非规范化表格信息提取的研究比较少,对本体构建造成大量信息缺失。提供一种基于启发式规则的非规范化表格信息定位算法,其对定位非规范化表格准确率较高。

  • Autotest自动化测试框架研究

    作者:李青; 杨晓娟; 朱博; 张新玲 刊期:2016年第07期

    Autotest是一个开源自动化测试框架,能够大规模、完全自动化地完成Linux底层系统测试,处理测试过程中出现的内核错误、硬件死机、网络故障等。Autotest易于集成现有的内核和硬件测试,便于测试人员编写简单的测试用例和加入分析工具进行测试结果分析。Autotest框架实现分布式处理大量Linux内核测试,不仅能充分测试Linux内核和硬件的稳定性、...

  • 面向NVM的混合粒度文件系统

    作者:何耀; 蔡涛; 彭长生 刊期:2016年第07期

    设计面向NVM的混合粒度文件系统UFS,首先给出混合粒度文件系统的结构;设计空间管理策略,将两类NVM存储设备的空间划分为字节区和块区;然后基于多级索引表的元数据和数据管理策略,提高元数据和数据的查找性能;设计了混合式文件数据管理策略,在两类NVM存储设备之间合理分布数据,提高数据的访问效率,解决单一NVM存储设备存储空间不足的问...

  • 基于BP神经网络的移动运营数据分析

    作者:张世睿 刊期:2016年第07期

    运营数据通常是用户对移动应用喜好最直接的体现,运营数据中存在着很多有价值的信息。如果能够更快地通过运营数据分析和了解用户、迎合用户喜好,就能赢得更多的用户,在竞争中占据有利地位。针对移动应用设计复杂、运营数据分析不直观的特点,提出一种基于BP人工神经网络的运营数据分析方法,建立了以移动应用关卡常见数据为输入,运营数据为...

  • 一种“死时间”少和自动校准容易的Wave Union TDC

    作者:许林; 周磊 刊期:2016年第07期

    编码复杂的waveUnion决定了时间数字转换器的“死时间”。如选择合适的发射器延时单元个数,改wave U-nion A的单次发射为连续发射就形成了新的WaveUnionC(WUC)。采用Wallace树和ROM结构的WUC编码器使用资源少、延时路径短,在Altera的EP3C10E144C8中,时钟频率为400MHz,延时链长度为80的情况下,仅使用了166个逻辑单元,编码时间为2.089ns...

  • 基于大数据的统计分析模型设计

    作者:刘栋; 王黎峰; 张怀锋 刊期:2016年第07期

    统计是利用尽可能少的局部样本数据来发现总体规律,处理对象往往数据规模小且数据结构单一。在大数据环境下,面临海量数据的采集与统计,传统方法已无法满足大规模数据集处理。基于Hadoop系统,利用其分布式存储和并行处理机制,设计了大数据环境下的统计分析模型,从海量数据中提取出有用的信息特征,实现数据资源共享,为相关部门决策提供信...

  • 基于HEVC的监控视频动态背景模型

    作者:胡国庆 刊期:2016年第07期

    高效视讯编码(HEVC)是新一代编码标准,在编码效率上有明显优势。监控视频结构特点是背景几乎不变,HEVC并没有考虑这种情况。使用动态背景模型(DBM)生成动态背景帧,作为HEVC帧间预测的参考帧,可以提高视频压缩效率。然而,运动缓慢的前景区域有时会被认为是背景区域,为此提出多层差值(MDM)算法,根据多层像素块差值更新背景,提高背景...

  • 分布式块存储系统中高效纠删码重构技术研究

    作者:陈付; 张淑萍 刊期:2016年第07期

    当前的海量存储压力导致三副本存储效率越来越难以满足需求。纠删码可以提供和三副本存储相同的可靠性,使用更少的存储容量和网络带宽。提出一种针对分布式块存储访问特点的纠删码故障处理方案——一种纠删码和热备副本相结合的方法,解决临时故障导致的退化读和退化更新问题,同时精细地控制永久故障延迟重构的时间点,减轻重构操作造成的对网...

  • 基于MATLAB的互联网中最优负载潮流分析

    作者:栗明 刊期:2016年第07期

    负载潮流分析是电力系统规划设计与运作的基础。运用不同方法如牛顿一拉夫逊迭代法、高斯一赛德尔和快速解耦方法,成功地解决了负载潮流测试案例中的互联配电系统问题。对IEEE-30母线网络测试结果表明,牛顿一拉夫逊法能够获得负载潮流问题的最佳解决方案。通过MATLAB编程,得到了降低功率损耗的解决方案和补救措施的实现方法。

  • 基于GJB6600的IETM数据格式标准研究

    作者:李贞良 刊期:2016年第07期

    规范IETM信息标准是IETM的前提条件,而IETM的核心是数据格式。为了便于IETM的使用和管理,需要对IETM数据格式进行规格处理。很多国家和地区基于本国国情创立了IETM技术标准,从而规范管理IETM的开发。受此影响,我国也建立了适用于我国军情的IETM创作标准——GJB6600。在对国际IETM数据格式标准进行对比分析的基础上,研究了基于GJB6600的IETM...

  • 云计算平台下OpenFlow网络资源动态算法研究

    作者:李春艳 刊期:2016年第07期

    随着互联网的迅猛发展,各种网络数据量激增,提高云计算平台各方面性能和效率的研究日益重要。资源调度优化是云平台整体性能得到优化的重点。利用OpenFlow优秀的网络资源配置能力,结合云计算平台本身的业务和任务特质,研究了云计算平台下的异构资源联合调度优化方法,从而实现云计算平台资源的优化配置。

  • 航空螺旋桨动平衡配平软件算法实现

    作者:孟现召 刊期:2016年第07期

    航空螺旋桨在工作中会产生振动,减小振动的方法是对螺旋桨进行动平衡配平。研究和工程实践表明,建模配平算法能够解决传统配平方案中遇到实际轻点位置与螺旋桨上可安装配重的标准位置不一致时需要多次配平的工程难题,确保一次性配平成功,但工程实践中单靠人工无法完成建模配平算法的全部计算过程。基于VB.NET技术对螺旋桨建模配平算法进行...