软件导刊杂志省级期刊

软件导刊 2016年第07期杂志 文档列表

软件导刊杂志软件理论与方法

基于SPIN的功能测试用例生成方法研究第1-4页

关键词: 功能测试用例；  spin；  模型检测；  promela建模；  

虚拟社区风险评估模型第4-6页

关键词: 虚拟社区；  信任；  风险；  风险因子；  风险接受度；  

基于集群调度的动态数字出版技术第7-10页

关键词: 集群调度；  自动化排版；  动态数字出版；  

基于DOM树的非规范化表格信息定位技术第10-13页

关键词: 本体；  非规范化表格；  dom树；  

Autotest自动化测试框架研究第14-16页

关键词: 自动化测试；  linux内核；  分布式；  开源框架；  

面向NVM的混合粒度文件系统第17-21页

关键词: 存储级内存；  scm；  非易失存储器；  混合文件系统；  

基于BP神经网络的移动运营数据分析第21-23页

关键词: bp神经网络；  运营数据；  游戏关卡；  

一种“死时间”少和自动校准容易的Wave Union TDC第24-27页

关键词: 时间数字转换器；  wave；  union；  c；  wallace树；  rom结构；  实时自动校准；  

基于大数据的统计分析模型设计第28-30页

关键词: 统计；  大数据；  数据挖掘；  hadoop；  

基于HEVC的监控视频动态背景模型第30-32页

关键词: 监控视频；  动态背景模型；  分层差值算法；  hevc；  帧间预测；  

分布式块存储系统中高效纠删码重构技术研究第33-35页

关键词: 云存储；  分布式块存储；  纠删码；  重构效率；  

基于MATLAB的互联网中最优负载潮流分析第36-39页

关键词: 负载潮流；  快速解耦方法；  matlab；  互联系统；  

基于GJB6600的IETM数据格式标准研究第39-41页

关键词: ietm；  gjb6600；  数据格式；  数据模块；  

软件导刊杂志算法与语言

云计算平台下OpenFlow网络资源动态算法研究第42-44页

关键词: 云计算；  openflow；  网络资源动态算法；  

航空螺旋桨动平衡配平软件算法实现第44-47页

关键词: 航空螺旋桨；  动平衡；  建模配平；  软件算法；