计算机科学与技术杂志，第35卷
第35卷第1期，2020年1月
前言。 1-3 安德烈·布林克曼 , 凯瑟琳·莫罗 , 魏宽于 
, 菲利普·卡尔斯 , 托尼·科尔特斯 , 斯科特·克拉斯基 , 阿尔贝托·米兰达 , 弗朗兹·约瑟夫·普弗雷恩特（Franz-Josef Pfreundt） , 罗伯特·B·罗斯 , 马克·安德烈·维夫 :
用于高性能计算的特殊文件系统。 4-26 宇通路 , 彭成 , 陈志光 :
天河二号数据存储管理系统的设计与实现。 27-46 齐晨 , 康晨 , 陈佐宁 , 魏雪 , 许继 , 杨斌 :
优化Sunway存储系统以提高应用程序I/O性能的经验教训。 47-60 奥萨穆·塔特比 , Shukuko Moriwake先生 , 小山义弘 :
Gfarm/BB-节点本地突发缓冲区的Gfarm文件系统。 61-71 马克·安德烈·维夫 , 纳菲西赫·莫蒂 , 蒂姆·苏厄 , 马库斯·塔克 , 托马索·托奇 , 拉蒙·努 , 阿尔贝托·米兰达 , 托尼·科尔特斯 , 安德烈·布林克曼 :
GekkoFS-用于HPC应用程序的临时突发缓冲文件系统。 72-91 安东尼·库卡斯 , 哈里哈兰·德瓦拉扬 , 孙贤和 :
通过多层数据缓冲和预取加速I/O。 92-120 罗伯特·B·罗斯 , 乔治·阿姆夫罗西亚迪斯 , 菲利普·卡尔斯 , 查尔斯·德克兰纳 , 马蒂厄·多利尔 , 凯文·哈姆斯 , 格雷格·甘格 , 加斯·吉布森 , 塞缪尔·古铁雷斯 , 罗伯特·拉瑟姆 , 罗伯特·罗比 , 达娜·罗宾逊 , Bradley W.Settlemyer公司 , 盖伦·M·希普曼 , 谢恩·斯奈德 , 杰罗姆·索马涅 , 清政 :
Mochi：为高性能计算环境编写数据服务。 121-144 苏伦·拜纳 , M.Scot Breitenfeld先生 , Bin Dong（宾东） , 昆西·科齐奥 , 埃琳娜·波马尔 , 达娜·罗宾逊 , 杰罗姆·索马涅 , 唐厚军 , 文卡特拉姆·维什瓦纳 , 理查德·沃伦 :
ExaHDF5：在Exascale计算系统上提供高效的并行I/O。 145-160 苏章 , 蔡华倩 , 马云（Yun Ma） , 天悦扇 , 张颖（音） , 黄刚（Gang Huang） :
SmartPipe：通过计算反射实现工业应用程序的互操作性。 161-178 张文丽（Wenli Zhang） , 柯柳（Ke Liu） , 沈一凡 , 雅珠蓝 , 宋慧 , 陈明宇 , 陈远飞 :
标签网络堆栈：用于大规模物联网设备的高一致性和低延迟云服务器框架。 179-193 郑浩锦 , 海阳市 , 胡应欣 , 李查 , 陆小一 :
CirroData：又一个高性能SQL-on-Hadoop数据分析引擎。 194-208 Sa Wang（萨旺） , 朱彦海 , 陈善培 , 田泽武 , 李文杰 , 詹旭升 , 海阳鼎 , 魏松石 , 云冈包 :
基于神经网络的阿里巴巴数据中心自适应资源管理案例。 209-220 李宇奇 , 利群晓 , 冯京华 , 徐斌（Bin Xu） , 张健（Jian Zhang） :
AquaSee：使用冷却水数据预测超级计算机的负载和冷却系统故障。 221-230
第35卷第2期，2020年3月
张敏玲 , 李玉凤 , 齐柳 :
前言。 231-233 黄胜军 , 李国祥 , 黄文宇 , 李绍元 :
带有主动查询的增量多标签学习。 234-246 贾秀仪 , 赛赛珠 , 李伟伟 :
多标签学习的联合标签特定特征和相关信息。 247-258 王云云 , 顾建民 , 王超（Chao Wang） , 陈松灿 , 慧雪 :
判别软件域对抗神经网络。 259-267 严政 , 郝建业 , 张宗章 , 赵鹏猛 , 郝晓天 :
随机合作环境中基于加权估计的高效多智能体策略优化。 268-280 杨柳 , 直隶 , 魏黄 , 童旭 , 陈恩宏 :
开发动态社会软件推荐的结构和时间影响。 281-294 伊敏文 , 刘帅（Shuai Liu） :
基于BIRCH集成和局部结构映射的数据流半监督分类。 295-304 富珍庄 , 周英敏 , 郝朝英 , 张福正 , 翔傲 , Xing Xie（谢兴） , 清河 , 辉雄 :
基于跨域新颖性搜索特征挖掘的序列推荐。 305-319 粤口 , 德隆沈 , 董丽（Dong Li） , 铁正聂 , 葛瑜 :
通过分解和嵌入异构信息网络来发现社区。 320-337 Qiang Zhou（周强） , 顾晶晶 , 赵玲 , 李文波 , 易庄 , 王健（Jian Wang） :
利用城市区域之间的多重相关性进行人群流量预测。 338-352 李小林 , 李马 , 祥东河 , 辉雄 :
你是如何表现的——大学生学业成就的时空表征学习。 353-367 周向光 , 仁彬宫 , 福庚石 , 王哲峰 :
PetroKG：中国石油上游地区知识图的构建与应用。 368-378 陈文光 , 罗英伟 , 孙广宇 :
前言。 379-381 致远洞 , 楚哲汤 , 王佳晨 , 王兆国 , 陈海波 , Binyu Zang先生 :
确定性数据库中的乐观事务处理。 382-394 魏红梅 , Jian Gao公司 , 彭青 , 康瑜 , 颜菲芳 , 李明露 :
MPI-RCDD：MPI运行时通信死锁检测框架。 395-411 陈文彦 , 叶克江 , 成都路 , 东戴周 , 徐成忠 :
协同定位容器工作负载的干扰分析：从硬件性能计数器的角度来看。 412-417 赵阳阳 , 陈明宇 , 刘余杭 , 杨宗浩 , 朱晓静 , 宗慧洪 , 郭云歌 :
IMPULP：一种通过用户级分区实现进程内内存保护的硬件方法。 418-432 西沙 , 胡靖远 , 罗英伟 , 王晓林 , 王振林 :
超大页面友好虚拟内存管理。 433-452 张云聪 , 王晓阳 , 王聪（音） , 姚旭 , 张建伟 , 林晓东 , 孙光宇 , 龚琳正 , Shan-Hui尹 , 仙金叶 , 李丽 , 詹松 , 洞洞庙 :
Bigflow：分布式计算框架的通用优化层。 453-467 张树正 , 赵振宇 , 冯朝超 , 王磊（Lei Wang） :
集成电路物理设计中加速平面布局的特征选择机器学习框架。 468-474 王树泉 , 王磊（Lei Wang） , 于登 , 杨志杰 , 郭沙沙 , 资阳康 , 郭玉凤 , 徐伟霞 :
SIES：一种在现场可编程门阵列上实现峰值卷积神经网络推理机的新方法。 475-489 朱明东 , 德隆沈 , 粤口 , 铁正聂 , 葛瑜 :
勘误表：在弦覆盖上支持树状索引的框架。 490
第35卷第3期，2020年5月
胡世民 , 盈河 , 贝伦·马西亚 :
前言。 491-492 邓亮（Dun Liang） , 袁振国 , 张绍奎 , 泰江牧 , 黄晓蕾 :
车道检测：一项具有新结果的调查。 493-505 郑曾 , 卢旺（Lu Wang） , 王贝贝（Beibei Wang） , 春梦康 , 徐燕宁 :
使用多剩余网络去除随机渐进光子映射渲染的噪声。 506-521 费芳 , 费罗 , 张洪潘 , 周华健 , 艾利克斯·L·H·周 , 肖春霞 :
复杂文本到图像合成的综合管道。 522-537 金孔佳 , 周元丰 , 邢伟浩 , 冯丽 , 基督教脱苦剂 , 张彩明 :
基于骨架的人体动作识别的双流时间卷积网络。 538-550 乐焕晶 , 盛申（Sheng Shen） , 杨靖宇 , 胡浩峰 , 陈艳芳 :
通过渐进式渠道注意网络的参考图像引导超分辨率。 551-563 吴慧思 , 刘梦舒 , 露露·尹 , 李萍 , 温振坤 , 王成议员 :
基于信息质心和优化盐度切割的视频自动分割。 564-575 马翠霞 , 宋建成 , 钱珠 , 凯文·马赫 , 黄泽元 , 王宏安 :
情感地图：地图上视频情感内容的视觉分析。 576-591 张瑞松 , 权伟泽 , 卢宾风机 , 李明虎 , 董明艳 :
使用通道和像素相关性区分计算机生成的图像和自然图像。 592-602 陈明（Ming Chen） , 李文忠 , 林倩 , 桑鲁路 , 陈道旭 :
基于递归神经网络位置兴趣挖掘的下一个POI推荐。 603-616 英定 , 李俊辉 , 郑贤功 , 周国栋 :
基于多视角神经注意机制的句子对齐的词对空关联建模。 617-628 段玉斌 , 高国驹 , 肖明军（Mingjun Xiao） , 吴杰 :
骑乘系统中基于隐形区域的乘客隐私保护。 629-646 兴港扇 , 智聪车 , 胡凤丹 , 刘涛（Tao Liu） , 徐金山 , 周小龙 :
在定向传感器网络中部署基于目标圆的效率驱动的k屏障构建方案。 647-664 莫妮迪帕·达斯 , Soumya K.Ghosh公司 :
时空分析的数据驱动方法：现状调查。 665-696 兰黄（Lan Huang） , 李大林 , 王康平 , 滕高 , 阿德里亚诺·塔瓦雷斯 :
高级综合工具性能优化综述。 697-720
第35卷第4期，2020年7月
周晓芳 , 文华 :
前言。 721-723 王一亭 , 杰申 , 李志旭 , 强阳（Qiang Yang） , 刘安 , 赵鹏鹏 , 徐家杰 , 雷昭（Lei Zhao） , 杨勋杰 :
丰富与Web数据链接的实体的上下文信息。 724-738 湄公河 , 陈宝祥 , 张立平 :
DEM：异构信息网络中的深度实体匹配。 739-750 魏晨 , 王伟庆 , 弘治印 , 方俊华 , 雷昭（Lei Zhao） :
使用位置数据跨多个平台的用户帐户链接。 751-768 李伯翰 , 刘毅（音） , 张安满 , 王文焕 , 朔湾 :
实体解析的分块技术综述。 769-793 李颖 , 徐家杰 , 赵鹏鹏 , 方俊华 , 魏晨 , 雷昭（Lei Zhao） :
ATLRec：一个用于跨领域推荐的注意力对抗转移学习网络。 794-808 斯文·普尔维特 , 罗伯特·哈顿 , 乌尔夫·库劳 , 拉尔斯·C·沃尔夫 :
无线传感器网络中包括环境影响的精确误码模拟。 809-824 扎卡里·P·兰格尔 , 顾启军（Qijun Gu） :
一种用于保护无人飞行器应用中自动相关监视广播的多点距离边界协议。 825-842 烈煌朱 , 郑保坤 , 孟申 , 冯高 , 李洪宇 , 科欣石 :
比特币系统中的数据安全和隐私：调查。 843-862 玛丽亚姆·扎勒扎德 , 哈米德·马拉 , 霍马·卡耶 :
通过安全多方计算保护软件定义的网络策略的隐私。 863-874 王华（Hua Wang） , 何晓宇 , 陈刘洋 , 尹俊如 , 李涵 , 惠亮 , 朱福宝 , 朱瑞杰 , 高志敏 , 徐明良 :
非结构化路网的认知驱动交通仿真。 875-888 张创业 , 阎牛 , Tie-Ru Wu公司 , 李西明 :
彩色图像超分辨率和增强，具有通道间细节，成本低廉。 889-899 李传康 , 张洪欣 , 刘佳欣 , 张元庆 , 邹善臣 , 俞童方 :
使用热图融合的立面窗口检测。 900-912 普尼特·库马尔 , 阿图尔·古普塔 :
分类、回归和聚类的主动学习查询策略：一项调查。 913-945 哥科·佩尼奇 , 梅特·埃米纳戈格鲁 , 科尔汉·卡拉布鲁特 :
基于IDF值差异的Android平台恶意软件检测特征选择。 946-962
第35卷第5期，2020年10月
刘冬（Dong Liu） , 任志磊 , 中天龙 , 高国军 , 何江 :
挖掘设计模式使用场景和相关设计模式对：在线帖子的案例研究。 963-978 吴永浩 , 郑丽 , 刘勇（音） , 向晨 :
FATOC：使用OPTICS聚类进行基于缺陷隔离的多故障定位。 979-998 王月焕 , 李泽南 , 徐静伟 , 平余（Ping Yu） , 陈韬略 , 马晓星 :
预测鲁棒性作为深度神经网络模型的QoS。 999-1015 德怀·韩 , 七梁·杨 , 邢建春 , 马广联 :
EasyModel：一种基于精化的自适应软件建模和验证方法。 1016-1046 王兆阳（音） , 金北虹 , 丁健阁 , 陶凤雪 :
从轨迹中检测异常总线驱动行为。 1047-1063 王桂娟 , 程宽林 , 涧西扇 , 周静亚 , 程宝磊 :
具有各种错误元素的BCube的容错哈密顿性和哈密顿连通性。 1064-1083 严碧莹 , 朝阳 , 潘登 , 乔孙 , 冯晨 , 杨瑜 :
基于时空因果关系的噪音城市感官数据治理框架。 1084-1098 朱晓军 , 徐丽杰 , 吴晓兵 , 陈兵（Bing Chen） :
大尺度射频识别系统的最小时间极值估计。 1099-1114 诺群 , 杭艳 , 邱喜鹏 , 黄宣静 :
基于BiLSTM+Semi-CRF和中继节点的中文分词。 1115-1126 安德烈亚·卡罗波 , 亚历山德罗·利昂内 , 彼得罗·西西里亚诺 :
老年人面部表情识别的深度学习模型与传统机器学习方法的比较。 1127-1146 萨拉·埃尔米达乌伊 , 莱拉·谢基 , 阿里·伊德里 , 阿兰·阿布兰 :
软件可维护性预测的机器学习技术：准确性分析。 1147-1174 陆向军 , 张驰（Chi Zhang） , 大武谷 , 刘俊荣 , 钱鹏 , 张海峰 :
评估和改进基于线性回归的轮廓：关于其正则化的选择。 1175-1197 赵惠娜（Huina Chao） , 华为Li , 宋晓宇 , 王天成 , 李晓伟 :
评估和约束缺少场景的硬件断言。 1198-1216 陈一凡 , 项昭（音） , 刘金元 , Bin Ge公司 , 张卫明 :
具有个性化功能选择的项目冷启动推荐。 1217-1230
第35卷第6期，2020年11月
陶雪 , 织金 , 李宣东 , 黄刚（Gang Huang） , 豪西·A·米勒 , 彭军（Jun Pang） , 张立军 :
前言。 1231-1233 刘斌斌 , 魏东 , 刘嘉欣 , 张亚廷 , 王代艳 :
ProSy：基于API的概率模型合成。 1234-1257 袁煌（音） , 楠佳 , 周浩杰 , 陈向平 , Zibin Zheng先生 , 汤明冬 :
学习人类编写的提交消息以记录代码更改。 1258-1277 徐一森（Yisen Xu） , 向阳佳 , 范武 , 李凌波 , 吉峰轩 :
自动识别Scala程序的调用机高阶函数以帮助测试人员。 1278-1294 辛莉（Xin Li） , 帕特里克·加迪 , 邓玉欣 , Hiroyuki Seki先生 :
模式化条件下推系统的可达性。 1295-1311 贾其寅 , 朱慧彪 , 袁飞 :
使用TLA+规范和验证Zab协议。 1312-1323 林倩倩 , 王淑玲（Shuling Wang） , 伯华詹 , Bin Gu先生 :
使用Uppaal和Simulink/Stateflow对实时发布和订阅协议进行建模和验证。 1324-1342 恒丰伟 , 芮泽堂 , 于晃（音） , 吕健（Jian Lv） :
木星变得抽象，然后变得精致。 1343-1364 刘万伟 , 傅松 , 唐浩然张 , Ji Wang（音译） :
从模型检验的角度验证ReLU神经网络。 1365-1381 查俊鹏 , 辛玉峰 , 雷乔 :
SPARCv8代码的模块化验证。 1382-1405 高凤娟 , Yu Wang（王宇） , 王林章（Linzhang Wang） , 杨子江 , 李宣东 :
自动缓冲区溢出警告验证。 1406-1427 穆罕默德·Y·Mhawish , 曼贾里·古普塔 :
预测代码气味和预测分析：使用机器学习技术和软件度量。 1428-1445 刘玉瑶 , 杨波（Bo Yang） , 贝洪斌 , Jing Huang（黄晶） :
基于属性和评论的神经可解释推荐模型。 1446-1460 李钟彬 , 泰克·李 , Hoh Peter In公司 :
基于主题建模的软件库变更集警告优先级划分。 1461-1479 计算机科学与技术杂志。 1480-1483 魏福 , 邢光宗 :
收回注释：用于连续块错误隐藏的面向边缘的空间插值。 1490
