软件学报杂志北大期刊CSCD期刊统计源期刊

软件学报 2016年第12期杂志 文档列表

软件学报杂志理论计算机科学

随机正则（k,r）-SAT问题的可满足临界第2985-2993页

关键词: 可满足临界值；  相变现象；  计算复杂性；  

Exogenous量子马尔可夫链及其可达性分析第2994-3002页

关键词: 量子马尔可夫链；  量子逻辑；  可达性；  可满足性问题；  可判定性问题；  

警示传播算法收敛的充分条件第3003-3013页

关键词: 警示传播算法；  收敛性；  可满足性问题；  因子图；  

软件学报杂志系统软件与软件工程

基于演化数据的软件缺陷预测性能改进第3014-3029页

关键词: 缺陷预测；  软件演化；  演化度量元；  

软件学报杂志模式识别与人工智能

多尺度数据挖掘方法第3030-3050页

关键词: 多尺度；  频繁项集；  关联规则；  尺度转换；  多尺度关联规则挖掘；  

软件学报杂志数据库技术

Top-k相似连接算法性能优化第3051-3066页

关键词: 事件驱动框架；  token批处理；  哈希查找优化；  

一种基于共享执行策略的间隔查询优化技术第3067-3084页

关键词: 间隔查询；  优化；  共享执行；  

软件学报杂志计算机网络与信息安全

无线传感器网络中虫洞攻击实时被动式探测第3085-3103页

关键词: 无线传感器网络；  虫洞攻击；  实时被动检测；  

一种防御DDoS攻击的软件定义安全网络机制第3104-3119页

关键词: 网络安全；  ddos；  软件定义网络；  openflow；  网络体系结构；  

有向传感器网络覆盖预测模型与数量估计第3120-3130页

关键词: 有向传感器网络；  网络覆盖率；  覆盖控制；  感知区域；  节点预测；  

软件学报杂志计算机图形学与计算机辅助设计

用于形状识别的目标轮廓无序点集描述与匹配第3131-3142页

关键词: 目标识别；  复杂网络；  形状描述；  形状匹配；  

软件学报杂志操作系统

操作系统汇编级形式化设计和验证方法第3143-3157页

关键词: 操作系统；  正确性验证；  形式化方法；  系统状态模型；  

副版本不可抢占的全局容错调度算法第3158-3171页

关键词: 多处理器；  硬实时系统；  主副版本；  容错调度；  全局调度；  

基于数据特征的内核恶意软件检测第3172-3191页

关键词: 内核恶意软件；  数据特征；  内核数据对象；  恶意软件检测；  

分布式文件系统元数据服务的负载均衡框架第3192-3207页

关键词: 元数据服务器；  分布式文件系统；  负载均衡；  预取；  缓存；