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

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

软件学报杂志大数据可用性理论、方法和技术专题

大数据可用性理论、方法和技术专题前言第1603-1604页

关键词: 信息技术；  数据可用性；  专题；  信息获取技术；  物理系统；  信息社会；  交通运输业；  医疗卫生；  

大数据可用性的研究进展第1605-1625页

关键词: 大数据；  数据可用性；  数据质量；  数据清洗；  数据管理；  

数据质量多种性质的关联关系研究第1626-1644页

关键词: 数据质量；  数据质量性质；  多性质关系；  数据清洗；  数据管理；  

统计粗糙集第1645-1654页

关键词: 随机抽样；  近似算子；  统计粗糙集；  模糊粗糙集；  

一种多源感知数据流上的连续真值发现技术第1655-1670页

关键词: 多源；  数据流；  感知数据；  真值发现；  数据源可信度；  

基于函数依赖与条件约束的数据修复方法第1671-1684页

关键词: 数据质量；  数据修复；  函数依赖；  条件约束；  等价类；  

基于可能世界模型的关系数据不一致性的修复第1685-1699页

关键词: 不一致性；  函数依赖；  修复代价；  可能世界；  修复质量；  

面向海量低质手机轨迹数据的重要位置发现第1700-1714页

关键词: 低质；  轨迹挖掘；  重要位置；  数据修正；  

面向压缩生物基因数据的高效的查询方法第1715-1728页

关键词: 基因数据；  大数据；  可伸缩性；  数据压缩；  并行计算；  

基于Henon映射的加密遥感图像的安全检索方案第1729-1740页

关键词: 遥感图像；  遥感大数据；  密文检索；  henon映射；  特征向量；  

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

含有析取语义循环的不变式生成改进方法第1741-1756页

关键词: 抽象解释；  抽象域；  不变式；  析取语义；  循环分解；  

ProMiner：系统性质驱动的双向一致性检验框架第1757-1771页

关键词: 一致性检验；  模型检测；  基于模型的测试；  线性时序逻辑；  

一种演化超图文法到状态转移系统的映射方法第1772-1788页

关键词: 软件演化；  体系结构；  模型检测；  条件超图文法；  条件状态转移；  

一种支持容错的任务并行程序设计模型第1789-1804页

关键词: 并行程序设计；  容错；  任务并行；  工作窃取调度；  负载均衡；  

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

保护位置隐私近邻查询中隐私偏好问题研究第1805-1821页

关键词: 位置服务；  近邻查询；  位置隐私保护；  隐私偏好；